n-rockit 0a673784-265b-4fba-8de8-4e064fc82099 | Research Group Data and Web Science

< prev | next >
n-rockit process (v0.5.277)

ID: 0a673784-265b-4fba-8de8-4e064fc82099 (complete)

State: complete / restart
date / time / ip

added:
2022-09-16 11:34:58
start:
2022-09-16 11:34:58
end:
2022-09-16 11:41:26
user IP:
86.242.16.90
input information

inference:
map
input:
tsub_map.mln
data:
rockit_wikidata_75_50k.csv
result

file:
output.db
duration:
06:28 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/0a673784-265b-4fba-8de8-4e064fc82099/rockit_wikidata_75_50k.csv -input /home/timo/app/core/data/0a673784-265b-4fba-8de8-4e064fc82099/tsub_map.mln -output /home/timo/app/core/data/0a673784-265b-4fba-8de8-4e064fc82099/output.db -para /home/timo/app/core/data/0a673784-265b-4fba-8de8-4e064fc82099/rockit.properties
==== Start RockIt =====Fri Sep 16 11:34:58 CEST 2022
-input /home/timo/app/core/data/0a673784-265b-4fba-8de8-4e064fc82099/tsub_map.mln
-data /home/timo/app/core/data/0a673784-265b-4fba-8de8-4e064fc82099/rockit_wikidata_75_50k.csv
-output /home/timo/app/core/data/0a673784-265b-4fba-8de8-4e064fc82099/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:35:01 CEST 2022
.........PutDataIntoTables duration: 752
8 hidden Predicates
9 observed Predicates
18 number of formulas
417500 evidence atoms
===== Start Standard Solver =====Fri Sep 16 11:35:03 CEST 2022
---- Start  Loop 0 ----Fri Sep 16 11:35:04 CEST 2022
add 0 constraints (total number = 0)
Optimize a model with 0 rows, 87500 columns and 0 nonzeros
Found heuristic solution: objective 2.12138e+20
Presolve removed 0 rows and 87500 columns
Presolve time: 0.06s
Explored 0 nodes (0 simplex iterations) in 0.10 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:38:23 CEST 2022
add 3318794 constraints (total number = 3318794)
Optimize a model with 3318794 rows, 88837 columns and 6658899 nonzeros
Found heuristic solution: objective 8.30103e+19
Presolve removed 2486691 rows and 44544 columns (presolve time = 6s) ...
Presolve removed 2488633 rows and 47468 columns (presolve time = 12s) ...
Presolve removed 2488633 rows and 47468 columns (presolve time = 15s) ...
Presolve removed 2488633 rows and 47468 columns (presolve time = 20s) ...
Presolve removed 2488633 rows and 47468 columns (presolve time = 25s) ...
Presolve removed 2488633 rows and 47468 columns (presolve time = 30s) ...
Presolve removed 2488633 rows and 47468 columns (presolve time = 35s) ...
Presolve removed 2488633 rows and 47468 columns (presolve time = 40s) ...
Presolve removed 2488633 rows and 47468 columns (presolve time = 45s) ...
Presolve removed 2489699 rows and 47768 columns (presolve time = 50s) ...
Presolve removed 2489776 rows and 47908 columns (presolve time = 61s) ...
Presolve removed 2489776 rows and 47908 columns (presolve time = 65s) ...
Presolve removed 2490106 rows and 48003 columns (presolve time = 70s) ...
Presolve removed 2490106 rows and 48003 columns
Presolve time: 70.46s
Presolved: 828688 rows, 40834 columns, 2288575 nonzeros
MIP start did not produce a feasible solution
MIP start violates constraint R0 by 1.00
Variable types: 0 continuous, 40834 integer (40331 binary)
Optimize a model with 828688 rows, 40834 columns and 2288575 nonzeros
Deterministic concurrent LP optimizer: primal simplex, dual simplex, and barrier
Showing barrier log only...
Presolved: 40834 rows, 869522 columns, 2329409 nonzeros
Root barrier log...
Ordering time: 0.15s
Barrier statistics:
 AA NZ     : 9.147e+05
 Factor NZ  : 1.015e+06 (roughly 400 MBytes of memory)
 Factor Ops : 6.067e+07 (less than 1 second per iteration)
 Threads    : 6
                  Objective                Residual
Iter       Primal          Dual         Primal    Dual     Compl     Time
   0   7.37971515e+19  7.37869763e+19  9.22e+18 0.00e+00  1.67e+10     4s
   1   7.37971521e+19  8.98248304e+19  9.22e+18 5.48e-01  1.67e+10     5s
   2   7.37971569e+19  1.57508834e+20  9.22e+18 5.24e-01  1.67e+10     5s
   3   7.37971515e+19  7.37869763e+19  9.22e+18 0.00e+00  1.00e+13     5s
   4   7.37971518e+19 -3.26767253e+22  9.22e+18 9.94e+02  1.00e+13     6s
   5   7.37971533e+19 -5.54961170e+22  9.22e+18 9.93e+02  1.00e+13     6s
   6   7.37971574e+19 -1.93993986e+22  9.22e+18 9.91e+02  1.00e+13     6s
   7   7.37971594e+19  6.17786802e+21  9.22e+18 9.85e+02  1.00e+13     7s
   8   7.37971605e+19  2.49787166e+22  9.22e+18 9.37e+02  1.00e+13     7s
   9   7.37971634e+19  7.61122285e+21  9.22e+18 9.95e+02  1.00e+13     7s
  10   7.37971801e+19  1.93712573e+22  9.22e+18 9.92e+02  1.01e+13     7s
  11   7.37971894e+19  1.27303668e+22  9.22e+18 9.86e+02  1.01e+13     8s
  12   7.37972072e+19  1.01645280e+22  9.22e+18 9.85e+02  1.00e+13     8s
  13   7.37972259e+19  8.25930773e+21  9.22e+18 9.82e+02  1.00e+13     8s
  14   7.37972525e+19  5.38874459e+21  9.22e+18 9.48e+02  1.00e+13     9s
  15   7.37972680e+19  4.85768381e+21  9.22e+18 9.10e+02  1.00e+13     9s
  16   7.37972924e+19  5.00120694e+21  9.22e+18 8.75e+02  1.00e+13     9s
  17   7.37973722e+19  5.07254380e+21  9.22e+18 8.72e+02  1.00e+13     9s
  18   7.37975785e+19  4.67862525e+21  9.22e+18 8.77e+02  1.00e+13    10s
  19   7.37995871e+19  5.51474738e+21  9.22e+18 9.11e+02  1.03e+13    10s
  20   7.38005553e+19  6.96203121e+21  9.22e+18 8.82e+02  1.04e+13    10s
  21   7.38014143e+19  1.14712516e+22  9.22e+18 8.81e+02  1.09e+13    11s
Barrier performed 21 iterations in 10.78 seconds
Numerical trouble encountered
Model may be infeasible or unbounded.  Consider using the
homogeneous algorithm (through parameter BarHomogeneous)
Root simplex log...
Iteration    Objective       Primal Inf.    Dual Inf.      Time
       0    7.3786976e+19   1.291272e+20   0.000000e+00     11s
   49208    2.0291418e+20   7.185195e+03   0.000000e+00     15s
   75219    2.0291418e+20   0.000000e+00   0.000000e+00     20s
   75220    2.0291418e+20   0.000000e+00   0.000000e+00     20s
   75220    2.0291418e+20   0.000000e+00   0.000000e+00     20s
   75220    2.0291418e+20   0.000000e+00   0.000000e+00     21s
Concurrent spin time: 7.94s
Solved with barrier
Solved in 75220 iterations and 23.01 seconds
Optimal objective -2.029141848e+20
Root relaxation: objective 2.029142e+20, 75220 iterations, 23.05 seconds
Total elapsed time = 97.96s
    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time
     0     0 2.0291e+20    0 16621 8.3010e+19 2.0291e+20   144%     -   99s
H    0     0                    2.029142e+20 2.0291e+20  0.00%     -  116s
Explored 0 nodes (75221 simplex iterations) in 116.57 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 387723 milliseconds.
Finished!
Data & Web Science computational services

n-rockit process (v0.5.277)

ID: 0a673784-265b-4fba-8de8-4e064fc82099 (complete)

date / time / ip

input information

result

log
