Data & Web Science
computational services
systems
processes
docs & api
< prev
|
next >
ELOG process
(v1.0.181)
ID: 07218755-ff52-40f4-81a5-5cb4df43a5b0
(
canceled
)
State:
canceled
/
restart
date / time / ip
added:
2021-03-18 20:14:00
start:
2021-03-18 20:16:31
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/07218755-ff52-40f4-81a5-5cb4df43a5b0/merge.txt /home/timo/app/core/data/07218755-ff52-40f4-81a5-5cb4df43a5b0/out.owl ==================================================== Read ontology from file: /home/timo/app/core/data/07218755-ff52-40f4-81a5-5cb4df43a5b0/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 18633 milliseconds. ==================================================== Computing the maximum a-posteriori state: the most probable coherent ontology ==================================================== ===== Start Standard Grounder =====Thu Mar 18 20:16:52 CET 2021 ...............PutDataIntoTables duration: 226 6 hidden Predicates 15 observed Predicates 19 number of formulas 43721 evidence atoms ===== Start Standard Solver =====Thu Mar 18 20:16:53 CET 2021 ---- Start Loop 0 ----Thu Mar 18 20:16:54 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.11s Explored 0 nodes (0 simplex iterations) in 0.14 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:16:57 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.23s Explored 0 nodes (0 simplex iterations) in 0.26 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:17:09 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.12s Explored 0 nodes (0 simplex iterations) in 1.38 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% CANCELED BY USER
restart option:
Restart this process.
Create a new process.
version of ELOG:
1.0.181 (last selection)
1.0.179
1.0