Data & Web Science
computational services
systems
processes
docs & api
< prev
|
next >
ELOG process
(v1.0.181)
ID: c140083d-7b8f-49c9-b8cf-c1a9f1b00450
(
error
)
State:
error
/
restart
date / time / ip
added:
2021-03-18 20:01:49
start:
2021-03-18 20:01:49
user IP:
130.236.70.123
input information
mode:
EL reasoner
ontology:
merge.txt
log
process created java -Xmx8G -jar /home/timo/app/core/systems/elog/1.0.181/elog.jar -r /home/timo/app/core/data/c140083d-7b8f-49c9-b8cf-c1a9f1b00450/merge.txt /home/timo/app/core/data/c140083d-7b8f-49c9-b8cf-c1a9f1b00450/out.owl ==================================================== Read ontology from file: /home/timo/app/core/data/c140083d-7b8f-49c9-b8cf-c1a9f1b00450/merge.txt ==================================================== Loading ontology Axioms:44414 The following axioms are more expressive than OWL2 EL. They are removed from the ontology: Thrown 19348 axioms away. Normalizing range restriction axioms... this might take some time... -- start complex -- finished complex -- start transitive -- finished transitive Statistics: concepts : 6043 properties : 4 subsumes axioms: hard 6617 soft 0 intersection axioms: hard 17 soft 0 opsub axioms: hard 0 soft 0 opsup axioms: hard 3299 soft 0 psubsumes axioms: hard 0 soft 0 pcom axioms: hard 1 soft 0 complex soft axioms: 3018 Successfully read in 10111 milliseconds. ==================================================== Computing the maximum a-posteriori state: the most probable coherent ontology ==================================================== ===== Start Standard Grounder =====Thu Mar 18 20:02:01 CET 2021 ...............PutDataIntoTables duration: 123 6 hidden Predicates 15 observed Predicates 19 number of formulas 43721 evidence atoms ===== Start Standard Solver =====Thu Mar 18 20:02:01 CET 2021 ---- Start Loop 0 ----Thu Mar 18 20:02:02 CET 2021 add 52771 constraints (total number = 52771) Optimize a model with 52771 rows, 50035 columns and 58807 nonzeros Found heuristic solution: objective 1971.51 Presolve removed 52771 rows and 50035 columns Presolve time: 0.09s 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 1.971507069664e+03, best bound 1.971507069664e+03, gap 0.0% ---- Start Loop 1 ----Thu Mar 18 20:02:04 CET 2021 add 61130 constraints (total number = 113901) Optimize a model with 113901 rows, 103082 columns and 183994 nonzeros Found heuristic solution: objective -0 Presolve removed 113901 rows and 103082 columns Presolve time: 0.19s Explored 0 nodes (0 simplex iterations) in 0.22 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.971507069664e+03, best bound 1.971507069664e+03, gap 0.0% ---- Start Loop 2 ----Thu Mar 18 20:02:12 CET 2021 add 500384 constraints (total number = 614285) Optimize a model with 614285 rows, 366585 columns and 1521535 nonzeros Found heuristic solution: objective -0 Presolve removed 614285 rows and 366585 columns Presolve time: 1.25s Explored 0 nodes (0 simplex iterations) in 1.52 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 1.00e-04) Best objective 1.934771314088e+03, best bound 1.934771314088e+03, gap 0.0% ---- Start Loop 3 ----Thu Mar 18 20:06:38 CET 2021 add 8687375 constraints (total number = 9301660) Exception in thread "main" java.lang.OutOfMemoryError: Java heap space at java.util.Arrays.copyOf(Arrays.java:2219) at java.util.Vector.grow(Vector.java:262) at java.util.Vector.ensureCapacityHelper(Vector.java:242) at java.util.Vector.addElement(Vector.java:616) at gurobi.GRBModel.addConstr(GRBModel.java:1095) at gurobi.GRBModel.addConstr(GRBModel.java:1026) at com.googlecode.rockit.conn.ilpSolver.GurobiConstrs.addToModel(GurobiConstrs.java:47) at com.googlecode.rockit.conn.ilpSolver.GurobiConnector.addPendingVariablesAndConstraintsToILP(GurobiConnector.java:1046) at com.googlecode.rockit.conn.ilpSolver.GurobiConnector.solve(GurobiConnector.java:1168) at com.googlecode.rockit.app.solver.StandardSolver.runCuttingPlaneInference(StandardSolver.java:340) at com.googlecode.rockit.app.solver.StandardSolver.solve(StandardSolver.java:216) at de.elog.elReasoner.Reasoner.main(Reasoner.java:105) at de.elog.Application.main(Application.java:37) An unexpected error occured!
restart option:
Restart this process.
Create a new process.
version of ELOG:
1.0.181 (last selection)
1.0.179
1.0