n-rockit eb95b120-d105-446d-bfe3-375b5eb017db | Research Group Data and Web Science

< prev | next >

n-rockit process (v0.5.277)

ID: eb95b120-d105-446d-bfe3-375b5eb017db (complete)

State: complete / restart

date / time / ip

added:

2022-09-16 11:24:53

start:

2022-09-16 11:24:53

end:

2022-09-16 11:30:10

user IP:

86.242.16.90

input information

inference:

map

input:

tsub_map.mln

data:

rockit_wikidata_25_50k.csv

result

file:

output.db

duration:

05:17 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/eb95b120-d105-446d-bfe3-375b5eb017db/rockit_wikidata_25_50k.csv -input /home/timo/app/core/data/eb95b120-d105-446d-bfe3-375b5eb017db/tsub_map.mln -output /home/timo/app/core/data/eb95b120-d105-446d-bfe3-375b5eb017db/output.db -para /home/timo/app/core/data/eb95b120-d105-446d-bfe3-375b5eb017db/rockit.properties
==== Start RockIt =====Fri Sep 16 11:24:53 CEST 2022
-input /home/timo/app/core/data/eb95b120-d105-446d-bfe3-375b5eb017db/tsub_map.mln
-data /home/timo/app/core/data/eb95b120-d105-446d-bfe3-375b5eb017db/rockit_wikidata_25_50k.csv
-output /home/timo/app/core/data/eb95b120-d105-446d-bfe3-375b5eb017db/output.db
-para: use rockit.properties file.
-gap: use gurobi standard gap.
-debug output false
-use MAP inference
===== Start Standard Grounder =====Fri Sep 16 11:24:55 CEST 2022
.........PutDataIntoTables duration: 685
8 hidden Predicates
9 observed Predicates
18 number of formulas
325353 evidence atoms
===== Start Standard Solver =====Fri Sep 16 11:24:56 CEST 2022
---- Start  Loop 0 ----Fri Sep 16 11:24:58 CEST 2022
add 0 constraints (total number = 0)
Optimize a model with 0 rows, 62500 columns and 0 nonzeros
Found heuristic solution: objective 2.12138e+20
Presolve removed 0 rows and 62500 columns
Presolve time: 0.04s
Explored 0 nodes (0 simplex iterations) in 0.05 seconds
Thread count was 1 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 2.121375568477e+20, best bound 2.121375568477e+20, gap 0.0%
---- Start  Loop 1 ----Fri Sep 16 11:27:49 CEST 2022
add 2576245 constraints (total number = 2576245)
Optimize a model with 2576245 rows, 63256 columns and 5163846 nonzeros
Found heuristic solution: objective 8.30103e+19
Presolve removed 1934348 rows and 30000 columns (presolve time = 5s) ...
Presolve removed 1934461 rows and 30118 columns (presolve time = 12s) ...
Presolve removed 1934461 rows and 30118 columns (presolve time = 15s) ...
Presolve removed 1934461 rows and 30118 columns (presolve time = 20s) ...
Presolve removed 1934461 rows and 30118 columns (presolve time = 25s) ...
Presolve removed 1934461 rows and 30118 columns (presolve time = 30s) ...
Presolve removed 1934461 rows and 30118 columns (presolve time = 35s) ...
Presolve removed 1934461 rows and 30118 columns (presolve time = 40s) ...
Presolve removed 1935418 rows and 30368 columns (presolve time = 45s) ...
Presolve removed 1935472 rows and 30458 columns (presolve time = 56s) ...
Presolve removed 1935472 rows and 30458 columns (presolve time = 60s) ...
Presolve removed 1935699 rows and 30522 columns
Presolve time: 63.81s
Presolved: 640546 rows, 32734 columns, 1777043 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R0 by 1.00
Variable types: 0 continuous, 32734 integer (32472 binary)
Warning: Markowitz tolerance tightened to 0.5
Root simplex log...
Iteration    Objective       Primal Inf.    Dual Inf.      Time
   70952    2.0291418e+20   0.000000e+00   1.232606e+04      5s
  106740    2.0291418e+20   0.000000e+00   0.000000e+00     10s
  106740    2.0291418e+20   0.000000e+00   0.000000e+00     10s
  106740    2.0291418e+20   0.000000e+00   0.000000e+00     10s
Root relaxation: objective 2.029142e+20, 106740 iterations, 10.45 seconds
Total elapsed time = 75.03s
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
     0     0 2.0291e+20    0 13718 8.3010e+19 2.0291e+20   144%     -   79s
H    0     0                    2.029142e+20 2.0291e+20  0.00%     -   87s
Explored 0 nodes (106746 simplex iterations) in 87.53 seconds
Thread count was 8 (of 8 available processors)
Optimal solution found (tolerance 1.00e-04)
Best objective 2.029141848108e+20, best bound 2.029141848108e+20, gap 0.0%
Dispose model
Dispose environment
Database connection terminated
Rockit runtime was 316688 milliseconds.
Finished!

Data & Web Science computational services

n-rockit process (v0.5.277)

ID: eb95b120-d105-446d-bfe3-375b5eb017db (complete)

date / time / ip

input information

result

log