Data & Web Science
computational services
systems
processes
docs & api
< prev
|
next >
rockit process
(v0.5.227)
ID: a2649854-3f8a-4e55-9591-60d83314207d
(
error
)
State:
error
/
restart
date / time / ip
added:
2021-04-07 19:27:54
start:
2021-04-07 19:27:54
user IP:
130.236.70.123
input information
gap:
0.01
inference:
map
input:
rule.txt
data:
t.txt
log
process created java -Xmx8G -jar /home/timo/app/core/systems/rockit/0.5.227/rockit.jar -data /home/timo/app/core/data/a2649854-3f8a-4e55-9591-60d83314207d/t.txt -gap 0.01 -input /home/timo/app/core/data/a2649854-3f8a-4e55-9591-60d83314207d/rule.txt -output /home/timo/app/core/data/a2649854-3f8a-4e55-9591-60d83314207d/output.db -para /home/timo/app/core/data/a2649854-3f8a-4e55-9591-60d83314207d/rockit.properties ==== Start RockIt =====Wed Apr 07 19:27:55 CEST 2021 -input /home/timo/app/core/data/a2649854-3f8a-4e55-9591-60d83314207d/rule.txt -data /home/timo/app/core/data/a2649854-3f8a-4e55-9591-60d83314207d/t.txt -output /home/timo/app/core/data/a2649854-3f8a-4e55-9591-60d83314207d/output.db -para: use rockit.properties file. -gap 0.01 -debug output false -use MAP inference line 15:10 no viable alternative at input ( line 3:9 no viable alternative at input ( ===== Start Standard Grounder =====Wed Apr 07 19:27:55 CEST 2021 ...PutDataIntoTables duration: 4 5 hidden Predicates 3 observed Predicates 5 number of formulas 8 evidence atoms ===== Start Standard Solver =====Wed Apr 07 19:27:55 CEST 2021 com.googlecode.rockit.exception.DatabaseException: =========================================================================== RockIt terminated with an error in the SQL Query. There are two reasons for this error: (a) The most common reason for this is that your model is too large. In this case you will get timeout errors or SQLException: Incorrect key file for table errors. Either your -data file contains too many entries or your -input file contains formulas with too many variables (more than 3 variables might be already critical) Please make your -data file much smaller (not more than 20 entries) and try again. (b) If you still get an SQL Error (typically saying You have an error in your SQL syntax), this is presumably a bug. Please generate a ticket at https://code.google.com/p/rockit/issues/list and upload your MLN and data file. Furthermore, please post the following error messages into the ticket: - Query SELECT FROM () as xx - Message You have an error in your SQL syntax; check the manual that corresponds to your MariaDB server version for the right syntax to use near FROM () as xx at line 1 Thank you for your help in improving RockIt. =========================================================================== at com.googlecode.rockit.conn.sql.MySQLConnector.executeSelectQuery(MySQLConnector.java:186) at com.googlecode.rockit.app.solver.thread.FormulaRestrictionBuilder.generateRestrictions(FormulaRestrictionBuilder.java:98) at com.googlecode.rockit.app.solver.thread.FormulaRestrictionBuilder.run(FormulaRestrictionBuilder.java:73) at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1145) at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:615) at java.lang.Thread.run(Thread.java:745) ---- Start Loop 0 ----Wed Apr 07 19:27:56 CEST 2021 add 3 constraints (total number = 3) Optimize a model with 3 rows, 3 columns and 3 nonzeros Found heuristic solution: objective -0 Presolve removed 3 rows and 3 columns Presolve time: 0.00s Explored 0 nodes (0 simplex iterations) in 0.00 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 1.00e-02) Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0% ---- Start Loop 1 ----Wed Apr 07 19:27:56 CEST 2021 add 1 constraints (total number = 4) Optimize a model with 4 rows, 4 columns and 4 nonzeros Found heuristic solution: objective -0 Presolve removed 4 rows and 4 columns Presolve time: 0.00s Explored 0 nodes (0 simplex iterations) in 0.00 seconds Thread count was 1 (of 8 available processors) Optimal solution found (tolerance 1.00e-02) Best objective -0.000000000000e+00, best bound -0.000000000000e+00, gap 0.0% Dispose model Dispose environment Database connection terminated Rockit runtime was 1726 milliseconds. An unexpected error occured!
restart option:
Restart this process.
Create a new process.
version of rockit:
0.5.227 (last selection)
0.4.276
0.4.257
0.4.253
0.4.236
0.4.234
0.3.233
0.3.230
0.3.228
0.3
0.1