n-rockit 4ca50b31-7e01-4be7-90f7-36f5f79594a5 | Research Group Data and Web Science

< prev | next >

n-rockit process (v0.5.277)

ID: 4ca50b31-7e01-4be7-90f7-36f5f79594a5 (complete)

State: complete / restart

date / time / ip

added:

2022-09-12 17:13:49

start:

2022-09-12 17:13:49

end:

2022-09-12 17:15:05

user IP:

86.242.16.90

input information

inference:

map

input:

tsub_map.mln

data:

rockit_wikidata_0_25k.csv

result

file:

output.db

duration:

01:16 min

log

process created
java -Xmx8G -jar /home/timo/app/core/systems/n-rockit/0.5.277/n-rockit.jar -data /home/timo/app/core/data/4ca50b31-7e01-4be7-90f7-36f5f79594a5/rockit_wikidata_0_25k.csv -input /home/timo/app/core/data/4ca50b31-7e01-4be7-90f7-36f5f79594a5/tsub_map.mln -output /home/timo/app/core/data/4ca50b31-7e01-4be7-90f7-36f5f79594a5/output.db -para /home/timo/app/core/data/4ca50b31-7e01-4be7-90f7-36f5f79594a5/rockit.properties
==== Start RockIt =====Mon Sep 12 17:13:49 CEST 2022
-input /home/timo/app/core/data/4ca50b31-7e01-4be7-90f7-36f5f79594a5/tsub_map.mln
-data /home/timo/app/core/data/4ca50b31-7e01-4be7-90f7-36f5f79594a5/rockit_wikidata_0_25k.csv
-output /home/timo/app/core/data/4ca50b31-7e01-4be7-90f7-36f5f79594a5/output.db
-para: use rockit.properties file.
-gap: use gurobi standard gap.
-debug output false
-use MAP inference
===== Start Standard Grounder =====Mon Sep 12 17:13:50 CEST 2022
.........PutDataIntoTables duration: 341
8 hidden Predicates
9 observed Predicates
18 number of formulas
139019 evidence atoms
===== Start Standard Solver =====Mon Sep 12 17:13:51 CEST 2022
---- Start  Loop 0 ----Mon Sep 12 17:13:51 CEST 2022
add 0 constraints (total number = 0)
Optimize a model with 0 rows, 25000 columns and 0 nonzeros
Found heuristic solution: objective 1.19904e+20
Presolve removed 0 rows and 25000 columns
Presolve time: 0.01s
Explored 0 nodes (0 simplex iterations) in 0.02 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.199038364791e+20, best bound 1.199038364791e+20, gap 0.0%
---- Start  Loop 1 ----Mon Sep 12 17:14:40 CEST 2022
add 613779 constraints (total number = 613779)
Optimize a model with 613779 rows, 25208 columns and 1228095 nonzeros
Found heuristic solution: objective 3.68935e+19
Presolve removed 463033 rows and 12395 columns (presolve time = 6s) ...
Presolve removed 463453 rows and 12505 columns
Presolve time: 8.18s
Presolved: 150326 rows, 12703 columns, 519639 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R137 by 1.00
Variable types: 0 continuous, 12703 integer (12609 binary)
Root relaxation: objective 1.106805e+20, 15041 iterations, 1.06 seconds
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
     0     0 1.1068e+20    0 1470 3.6893e+19 1.1068e+20   200%     -   10s
H    0     0                    1.106805e+20 1.1068e+20  0.00%     -   10s
Explored 0 nodes (15049 simplex iterations) in 10.64 seconds
Thread count was 8 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 1.106804644423e+20, best bound 1.106804644423e+20, gap 0.0000%
Dispose model
Dispose environment
Database connection terminated
Rockit runtime was 75948 milliseconds.
Finished!

Data & Web Science computational services

n-rockit process (v0.5.277)

ID: 4ca50b31-7e01-4be7-90f7-36f5f79594a5 (complete)

date / time / ip

input information

result

log