rockit f703e515-be17-4c19-9fa3-82a8bd4c717d | Research Group Data and Web Science

< prev | next >
rockit process (v0.5.227)

ID: f703e515-be17-4c19-9fa3-82a8bd4c717d (complete)

State: complete / restart
date / time / ip

added:
2021-02-13 07:19:33
start:
2021-02-13 07:19:34
end:
2021-02-13 08:05:13
user IP:
118.185.70.25
input information

gap:
default
inference:
approximative marginal
input:
protein.mln
data:
interaction.db
result

file:
output.db
duration:
45:39 min
log

process created
java -Xmx8G -jar /home/timo/app/core/systems/rockit/0.5.227/rockit.jar -data /home/timo/app/core/data/f703e515-be17-4c19-9fa3-82a8bd4c717d/interaction.db -gap -1 -input /home/timo/app/core/data/f703e515-be17-4c19-9fa3-82a8bd4c717d/protein.mln -output /home/timo/app/core/data/f703e515-be17-4c19-9fa3-82a8bd4c717d/output.db -para /home/timo/app/core/data/f703e515-be17-4c19-9fa3-82a8bd4c717d/rockit.properties -marginal
==== Start RockIt =====Sat Feb 13 07:19:34 CET 2021
-input /home/timo/app/core/data/f703e515-be17-4c19-9fa3-82a8bd4c717d/protein.mln
-data /home/timo/app/core/data/f703e515-be17-4c19-9fa3-82a8bd4c717d/interaction.db
-output /home/timo/app/core/data/f703e515-be17-4c19-9fa3-82a8bd4c717d/output.db
-para: use rockit.properties file.
-gap: use gurobi standard gap.
-debug output false
-use GIBBS Sampling
Set both CPI and CPA to false, since they both can not be used for sampling.
line 19:18 required (...)+ loop did not match anything at character f
line 19:19 no viable alternative at input 1
line 19:20 mismatched input ) expecting ID
line 19:38 required (...)+ loop did not match anything at character f
line 19:39 no viable alternative at input 2
line 19:40 mismatched input ) expecting ID
------ find coherent world (MAP state) as starting point -------
===== Start Standard Grounder =====Sat Feb 13 07:19:34 CET 2021
.............PutDataIntoTables duration: 59
1 hidden Predicates
13 observed Predicates
3 number of formulas
3399 evidence atoms
===== Start Standard Solver =====Sat Feb 13 07:19:35 CET 2021
---- Start  Loop 0 ----Sat Feb 13 07:21:53 CET 2021
add 12530940 constraints (total number = 12530940)
Optimize a model with 12530940 rows, 6474319 columns and 36510590 nonzeros
Found heuristic solution: objective 6.01676e+06
Presolve removed 25162 rows and 0 columns (presolve time = 7s) ...
Presolve removed 540953 rows and 12743 columns (presolve time = 28s) ...
Presolve removed 548210 rows and 20000 columns (presolve time = 34s) ...
Presolve removed 1056906 rows and 528696 columns (presolve time = 37s) ...
Presolve removed 1057068 rows and 528991 columns (presolve time = 45s) ...
Presolve removed 1057068 rows and 528991 columns (presolve time = 51s) ...
Presolve removed 1057068 rows and 528991 columns (presolve time = 62s) ...
Presolve removed 1057068 rows and 528991 columns
Presolve time: 61.65s
Presolved: 11473872 rows, 5945328 columns, 34421616 nonzeros
Found heuristic solution: objective 1.193409e+07
Variable types: 0 continuous, 5945328 integer (5945328 binary)
Explored 0 nodes (0 simplex iterations) in 109.35 seconds
Thread count was 8 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.193409399990e+07, best bound 1.193409399990e+07, gap 0.0000%
- convert to GIBBS data structure
- number of literals 208849
- start 100000000 GIBBS sampling rounds (feedback every 10 seconds).
Sampled 84700 of 100000000 in 10287 ms.
Sampled 567300 of 100000000 in 20001 ms.
Sampled 1182000 of 100000000 in 30002 ms.
Sampled 1807400 of 100000000 in 40002 ms.
Sampled 2426800 of 100000000 in 50002 ms.
Sampled 3028300 of 100000000 in 60002 ms.
Sampled 3645000 of 100000000 in 70001 ms.
Sampled 4260900 of 100000000 in 80001 ms.
Sampled 4880200 of 100000000 in 90002 ms.
Sampled 5499500 of 100000000 in 100001 ms.
Sampled 6124600 of 100000000 in 110001 ms.
Sampled 6749200 of 100000000 in 120001 ms.
Sampled 7369800 of 100000000 in 130002 ms.
Sampled 7994900 of 100000000 in 140001 ms.
Sampled 8605200 of 100000000 in 150002 ms.
Sampled 9224600 of 100000000 in 160001 ms.
Sampled 9848800 of 100000000 in 170001 ms.
Sampled 10466300 of 100000000 in 180001 ms.
Sampled 11087000 of 100000000 in 190002 ms.
Sampled 11711700 of 100000000 in 200032 ms.
Sampled 12337200 of 100000000 in 210002 ms.
Sampled 12953100 of 100000000 in 220001 ms.
Sampled 13548500 of 100000000 in 230001 ms.
Sampled 14154900 of 100000000 in 240001 ms.
Sampled 14736700 of 100000000 in 250001 ms.
Sampled 15310600 of 100000000 in 260001 ms.
Sampled 15907900 of 100000000 in 270001 ms.
Sampled 16522400 of 100000000 in 280001 ms.
Sampled 17138900 of 100000000 in 290001 ms.
Sampled 17752700 of 100000000 in 300001 ms.
Sampled 18349800 of 100000000 in 310001 ms.
Sampled 18951600 of 100000000 in 320002 ms.
Sampled 19577800 of 100000000 in 330002 ms.
Sampled 20206200 of 100000000 in 340002 ms.
Sampled 20833200 of 100000000 in 350002 ms.
Sampled 21456900 of 100000000 in 360001 ms.
Sampled 22082700 of 100000000 in 370002 ms.
Sampled 22712700 of 100000000 in 380001 ms.
Sampled 23340400 of 100000000 in 390001 ms.
Sampled 23971400 of 100000000 in 400001 ms.
Sampled 24602700 of 100000000 in 410002 ms.
Sampled 25240300 of 100000000 in 420002 ms.
Sampled 25873600 of 100000000 in 430002 ms.
Sampled 26503300 of 100000000 in 440002 ms.
Sampled 27136200 of 100000000 in 450002 ms.
Sampled 27770100 of 100000000 in 460002 ms.
Sampled 28398400 of 100000000 in 470001 ms.
Sampled 29016200 of 100000000 in 480001 ms.
Sampled 29642300 of 100000000 in 490001 ms.
Sampled 30274600 of 100000000 in 500002 ms.
Sampled 30911600 of 100000000 in 510001 ms.
Sampled 31548400 of 100000000 in 520002 ms.
Sampled 32181400 of 100000000 in 530001 ms.
Sampled 32765700 of 100000000 in 540002 ms.
Sampled 33393900 of 100000000 in 550002 ms.
Sampled 33987600 of 100000000 in 560002 ms.
Sampled 34619900 of 100000000 in 570001 ms.
Sampled 35252600 of 100000000 in 580001 ms.
Sampled 35879900 of 100000000 in 590002 ms.
Sampled 36511300 of 100000000 in 600001 ms.
Sampled 37140800 of 100000000 in 610001 ms.
Sampled 37771900 of 100000000 in 620026 ms.
Sampled 38408500 of 100000000 in 630002 ms.
Sampled 39041200 of 100000000 in 640001 ms.
Sampled 39670200 of 100000000 in 650002 ms.
Sampled 40290900 of 100000000 in 660002 ms.
Sampled 40922000 of 100000000 in 670002 ms.
Sampled 41558300 of 100000000 in 680002 ms.
Sampled 42188900 of 100000000 in 690001 ms.
Sampled 42823800 of 100000000 in 700001 ms.
Sampled 43463400 of 100000000 in 710001 ms.
Sampled 44097500 of 100000000 in 720002 ms.
Sampled 44731200 of 100000000 in 730001 ms.
Sampled 45359000 of 100000000 in 740002 ms.
Sampled 45992000 of 100000000 in 750001 ms.
Sampled 46626000 of 100000000 in 760001 ms.
Sampled 47261000 of 100000000 in 770002 ms.
Sampled 47886500 of 100000000 in 780002 ms.
Sampled 48516000 of 100000000 in 790002 ms.
Sampled 49145800 of 100000000 in 800001 ms.
Sampled 49746200 of 100000000 in 810004 ms.
Sampled 50338300 of 100000000 in 820001 ms.
Sampled 50966700 of 100000000 in 830002 ms.
Sampled 51595200 of 100000000 in 840002 ms.
Sampled 52189900 of 100000000 in 850002 ms.
Sampled 52811900 of 100000000 in 860001 ms.
Sampled 53423300 of 100000000 in 870002 ms.
Sampled 54046500 of 100000000 in 880002 ms.
Sampled 54665500 of 100000000 in 890001 ms.
Sampled 55292200 of 100000000 in 900001 ms.
Sampled 55924500 of 100000000 in 910001 ms.
Sampled 56539000 of 100000000 in 920001 ms.
Sampled 57140400 of 100000000 in 930002 ms.
Sampled 57761400 of 100000000 in 940001 ms.
Sampled 58392200 of 100000000 in 950002 ms.
Sampled 59017800 of 100000000 in 960001 ms.
Sampled 59642700 of 100000000 in 970001 ms.
Sampled 60267300 of 100000000 in 980002 ms.
Sampled 60884600 of 100000000 in 990002 ms.
Sampled 61513700 of 100000000 in 1000001 ms.
Sampled 62128800 of 100000000 in 1010001 ms.
Sampled 62745000 of 100000000 in 1020001 ms.
Sampled 63376400 of 100000000 in 1030002 ms.
Sampled 64010700 of 100000000 in 1040002 ms.
Sampled 64642600 of 100000000 in 1050001 ms.
Sampled 65273300 of 100000000 in 1060001 ms.
Sampled 65884100 of 100000000 in 1070001 ms.
Sampled 66453300 of 100000000 in 1080002 ms.
Sampled 67054000 of 100000000 in 1090001 ms.
Sampled 67639400 of 100000000 in 1100001 ms.
Sampled 68231200 of 100000000 in 1110002 ms.
Sampled 68848600 of 100000000 in 1120002 ms.
Sampled 69465100 of 100000000 in 1130001 ms.
Sampled 70075100 of 100000000 in 1140001 ms.
Sampled 70680800 of 100000000 in 1150001 ms.
Sampled 71303400 of 100000000 in 1160002 ms.
Sampled 71915100 of 100000000 in 1170001 ms.
Sampled 72517900 of 100000000 in 1180001 ms.
Sampled 73129800 of 100000000 in 1190001 ms.
Sampled 73741400 of 100000000 in 1200002 ms.
Sampled 74358500 of 100000000 in 1210002 ms.
Sampled 74994900 of 100000000 in 1220001 ms.
Sampled 75632600 of 100000000 in 1230002 ms.
Sampled 76264400 of 100000000 in 1240001 ms.
Sampled 76896600 of 100000000 in 1250001 ms.
Sampled 77527900 of 100000000 in 1260001 ms.
Sampled 78127300 of 100000000 in 1270002 ms.
Sampled 78762500 of 100000000 in 1280001 ms.
Sampled 79373300 of 100000000 in 1290001 ms.
Sampled 79977400 of 100000000 in 1300001 ms.
Sampled 80576100 of 100000000 in 1310001 ms.
Sampled 81196300 of 100000000 in 1320001 ms.
Sampled 81814300 of 100000000 in 1330001 ms.
Sampled 82443500 of 100000000 in 1340001 ms.
Sampled 83069000 of 100000000 in 1350001 ms.
Sampled 83703800 of 100000000 in 1360002 ms.
Sampled 84335700 of 100000000 in 1370002 ms.
Sampled 84904800 of 100000000 in 1380002 ms.
Sampled 85538000 of 100000000 in 1390001 ms.
Sampled 86177100 of 100000000 in 1400001 ms.
Sampled 86815500 of 100000000 in 1410001 ms.
Sampled 87446500 of 100000000 in 1420001 ms.
Sampled 88084900 of 100000000 in 1430001 ms.
Sampled 88719500 of 100000000 in 1440001 ms.
Sampled 89351400 of 100000000 in 1450001 ms.
Sampled 89986900 of 100000000 in 1460002 ms.
Sampled 90621100 of 100000000 in 1470002 ms.
Sampled 91255200 of 100000000 in 1480037 ms.
Sampled 91882900 of 100000000 in 1490001 ms.
Sampled 92514400 of 100000000 in 1500001 ms.
Sampled 93151000 of 100000000 in 1510001 ms.
Sampled 93785600 of 100000000 in 1520001 ms.
Sampled 94423100 of 100000000 in 1530002 ms.
Sampled 95058600 of 100000000 in 1540002 ms.
Sampled 95695600 of 100000000 in 1550001 ms.
Sampled 96329700 of 100000000 in 1560001 ms.
Sampled 96966600 of 100000000 in 1570001 ms.
Sampled 97597500 of 100000000 in 1580002 ms.
Sampled 98229400 of 100000000 in 1590001 ms.
Sampled 98861700 of 100000000 in 1600001 ms.
Sampled 99492300 of 100000000 in 1610002 ms.
Sampled 99953900 of 100000000 in 1620001 ms.
Finished: Sampled 100000000 in 1620900 ms.
Rockit runtime was 2738601 milliseconds.
Finished!
Data & Web Science computational services

rockit process (v0.5.227)

ID: f703e515-be17-4c19-9fa3-82a8bd4c717d (complete)

date / time / ip

input information

result

log
