Trace number 3311237

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 2249.61 1300.85

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf
MD5SUM48acd8df0141c3f57a132eb6d7253d5f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark130.328
Satisfiable
(Un)Satisfiability was proved
Number of variables35000
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	14:34 INFO : Reading from input HOME/instance-3311237-1304115273.cnf
1.03/0.85	Executor set job limit to 1000000
1.03/0.85	Executor set job limit to 1000000
1.03/0.85	Executor set job limit to 1000000
1.03/0.85	Executor set job limit to 1000000
1.03/0.85	Starting Executor!
1.03/0.85	Starting Executor!
1.03/0.85	Starting Executor!
1.03/0.85	Starting Executor!
3.12/2.06	14:36 INFO : 34869 variables remaining out of 35000
3.12/2.06	14:36 INFO : 584620 literals remaining out of 588000
1262.12/344.91	20:18 ERROR: Failed to solve instance
1262.12/344.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1262.12/344.91		at gnu.trove.TIntArrayList.ensureCapacity(TIntArrayList.java:100)
1262.12/344.91		at gnu.trove.TIntArrayList.add(TIntArrayList.java:144)
1262.12/344.91		at ibis.structure.Subsumming.run(Subsumming.java:57)
1262.12/344.91		at ibis.structure.Solver.simplify(Solver.java:205)
1262.12/344.91		at ibis.structure.Solver.solve(Solver.java:113)
1262.12/344.91		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1262.12/344.91		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1262.12/344.91		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1262.12/344.91		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1262.12/344.91		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1262.12/344.91		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1262.12/344.91		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1262.12/344.91		at ibis.constellation.Executor.processActivities(Executor.java:75)
1262.12/344.91		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1262.12/344.91		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1262.12/344.91		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1264.55/347.40	20:21 ERROR: Failed to solve instance
1264.55/347.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1264.55/347.40		at gnu.trove.TPrimitiveHash.setUp(TPrimitiveHash.java:123)
1264.55/347.40		at gnu.trove.TIntHash.setUp(TIntHash.java:133)
1264.55/347.40		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83)
1264.55/347.40		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1264.55/347.40		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1264.55/347.40		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1264.55/347.40		at ibis.structure.WatchLists.build(WatchLists.java:47)
1264.55/347.40		at ibis.structure.Solver.<init>(Solver.java:45)
1264.55/347.40		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1264.55/347.40		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1264.55/347.40		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1264.55/347.40		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1264.55/347.40		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1264.55/347.40		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1264.55/347.40		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1264.55/347.40		at ibis.constellation.Executor.processActivities(Executor.java:75)
1264.55/347.40		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1264.55/347.40		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1264.55/347.40		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1266.88/349.67	20:23 ERROR: Failed to solve instance
1266.88/349.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1266.88/349.67		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:169)
1266.88/349.67		at gnu.trove.THash.postInsertHook(THash.java:370)
1266.88/349.67		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1266.88/349.67		at ibis.structure.WatchLists.build(WatchLists.java:56)
1266.88/349.67		at ibis.structure.Solver.<init>(Solver.java:45)
1266.88/349.67		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1266.88/349.67		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1266.88/349.67		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1266.88/349.67		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1266.88/349.67		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1266.88/349.67		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1266.88/349.67		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1266.88/349.67		at ibis.constellation.Executor.processActivities(Executor.java:75)
1266.88/349.67		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1266.88/349.67		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1266.88/349.67		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1269.54/352.31	20:26 ERROR: Failed to solve instance
1269.54/352.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1269.54/352.31		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1269.54/352.31		at gnu.trove.THash.postInsertHook(THash.java:370)
1269.54/352.31		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1269.54/352.31		at ibis.structure.WatchLists.build(WatchLists.java:56)
1269.54/352.31		at ibis.structure.Solver.<init>(Solver.java:45)
1269.54/352.31		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1269.54/352.31		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1269.54/352.31		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1269.54/352.31		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1269.54/352.31		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1269.54/352.31		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1269.54/352.31		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1269.54/352.31		at ibis.constellation.Executor.processActivities(Executor.java:75)
1269.54/352.31		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1269.54/352.31		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1269.54/352.31		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1271.68/354.33	20:28 ERROR: Failed to solve instance
1271.68/354.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1276.88/359.15	20:33 ERROR: Failed to solve instance
1276.88/359.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1277.41/359.66	20:33 ERROR: Failed to solve instance
1277.41/359.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1277.92/360.12	20:34 ERROR: Failed to solve instance
1277.92/360.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1284.92/365.75	20:39 ERROR: Failed to solve instance
1284.92/365.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1285.65/366.47	20:40 ERROR: Failed to solve instance
1285.65/366.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1293.16/372.56	20:46 ERROR: Failed to solve instance
1293.16/372.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1294.11/373.44	20:47 ERROR: Failed to solve instance
1294.11/373.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1294.32/373.65	20:47 ERROR: Failed to solve instance
1294.32/373.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1295.05/374.34	20:48 ERROR: Failed to solve instance
1295.05/374.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1295.56/374.83	20:48 ERROR: Failed to solve instance
1295.56/374.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1300.72/379.29	20:53 ERROR: Failed to solve instance
1300.72/379.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1301.23/379.73	20:53 ERROR: Failed to solve instance
1301.23/379.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1301.63/380.19	20:54 ERROR: Failed to solve instance
1301.63/380.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1302.14/380.70	20:54 ERROR: Failed to solve instance
1302.14/380.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1312.61/389.29	21:03 ERROR: Failed to solve instance
1312.61/389.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1313.13/389.73	21:03 ERROR: Failed to solve instance
1313.13/389.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1313.54/390.19	21:04 ERROR: Failed to solve instance
1313.54/390.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1314.06/390.66	21:04 ERROR: Failed to solve instance
1314.06/390.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1314.99/391.54	21:05 ERROR: Failed to solve instance
1314.99/391.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1315.42/391.96	21:05 ERROR: Failed to solve instance
1315.42/391.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1318.52/394.48	21:08 ERROR: Failed to solve instance
1318.52/394.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1319.03/394.93	21:08 ERROR: Failed to solve instance
1319.03/394.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1319.54/395.41	21:09 ERROR: Failed to solve instance
1319.54/395.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1320.36/396.23	21:10 ERROR: Failed to solve instance
1320.36/396.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1321.01/396.88	21:10 ERROR: Failed to solve instance
1321.01/396.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1321.65/397.43	21:11 ERROR: Failed to solve instance
1321.65/397.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1331.07/404.66	21:18 ERROR: Failed to solve instance
1331.07/404.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1331.48/405.11	21:19 ERROR: Failed to solve instance
1331.48/405.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1331.98/405.58	21:19 ERROR: Failed to solve instance
1331.98/405.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1332.50/406.09	21:20 ERROR: Failed to solve instance
1332.50/406.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1335.90/409.09	21:22 ERROR: Failed to solve instance
1335.90/409.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1336.42/409.55	21:23 ERROR: Failed to solve instance
1336.42/409.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1336.93/410.06	21:23 ERROR: Failed to solve instance
1336.93/410.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1337.57/410.61	21:24 ERROR: Failed to solve instance
1337.57/410.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.75/417.04	21:30 ERROR: Failed to solve instance
1345.75/417.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.15/417.45	21:31 ERROR: Failed to solve instance
1346.15/417.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1347.23/418.41	21:32 ERROR: Failed to solve instance
1347.23/418.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1347.64/418.85	21:32 ERROR: Failed to solve instance
1347.64/418.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1350.19/420.96	21:34 ERROR: Failed to solve instance
1350.19/420.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1350.91/421.65	21:35 ERROR: Failed to solve instance
1350.91/421.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1351.43/422.12	21:36 ERROR: Failed to solve instance
1351.43/422.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1353.95/424.36	21:38 ERROR: Failed to solve instance
1353.95/424.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1354.77/425.13	21:39 ERROR: Failed to solve instance
1354.77/425.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1355.30/425.69	21:39 ERROR: Failed to solve instance
1355.30/425.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1360.68/429.77	Exception in thread "SingleThreadedConstellation 2" java.lang.OutOfMemoryError: GC overhead limit exceeded
1368.72/436.34	21:43 ERROR: Failed to solve instance
1368.72/436.34	21:50 ERROR: Failed to solve instance
1368.72/436.34	java.lang.OutOfMemoryError: Java heap space
1369.35/436.93	21:50 ERROR: Failed to solve instance
1369.35/436.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1375.03/441.86	21:55 ERROR: Failed to solve instance
1375.03/441.86	java.lang.OutOfMemoryError: Java heap space
1375.23/442.05	21:55 ERROR: Failed to solve instance
1375.23/442.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.95/443.64	21:57 ERROR: Failed to solve instance
1376.95/443.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1377.35/444.04	21:57 ERROR: Failed to solve instance
1377.35/444.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1380.07/446.41	22:00 ERROR: Failed to solve instance
1380.07/446.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1383.00/448.92	22:02 ERROR: Failed to solve instance
1383.00/448.92	java.lang.OutOfMemoryError: Java heap space
1383.21/449.10	22:03 ERROR: Failed to solve instance
1383.21/449.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1388.51/453.40	22:07 ERROR: Failed to solve instance
1388.51/453.40	java.lang.OutOfMemoryError: Java heap space
1388.61/453.59	22:07 ERROR: Failed to solve instance
1388.61/453.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1390.82/455.52	22:09 ERROR: Failed to solve instance
1390.82/455.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1391.23/455.95	22:09 ERROR: Failed to solve instance
1391.23/455.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1395.10/459.08	22:13 ERROR: Failed to solve instance
1395.10/459.08	java.lang.OutOfMemoryError: Java heap space
1398.40/461.99	22:15 ERROR: Failed to solve instance
1398.40/461.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1401.29/464.46	22:18 ERROR: Failed to solve instance
1401.29/464.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1402.10/465.21	22:19 ERROR: Failed to solve instance
1402.10/465.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1402.51/465.62	22:19 ERROR: Failed to solve instance
1402.51/465.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1402.92/466.04	22:19 ERROR: Failed to solve instance
1402.92/466.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1403.33/466.40	22:20 ERROR: Failed to solve instance
1403.33/466.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1409.27/471.36	22:25 ERROR: Failed to solve instance
1409.27/471.36	java.lang.OutOfMemoryError: Java heap space
1410.83/472.75	22:26 ERROR: Failed to solve instance
1410.83/472.75	java.lang.OutOfMemoryError: Java heap space
1412.44/474.28	Exception in thread "SingleThreadedConstellation 4" java.lang.OutOfMemoryError: GC overhead limit exceeded
1420.88/481.64	22:27 ERROR: Failed to solve instance
1420.88/481.64	22:35 ERROR: Failed to solve instance
1420.88/481.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.18/481.93	22:35 ERROR: Failed to solve instance
1421.18/481.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.49/482.24	22:36 ERROR: Failed to solve instance
1421.49/482.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.80/482.59	22:36 ERROR: Failed to solve instance
1421.80/482.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1425.80/485.94	22:39 ERROR: Failed to solve instance
1425.80/485.94	java.lang.OutOfMemoryError: Java heap space
1428.31/488.20	22:42 ERROR: Failed to solve instance
1428.31/488.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1428.62/488.51	22:42 ERROR: Failed to solve instance
1428.62/488.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1430.32/490.04	22:43 ERROR: Failed to solve instance
1430.32/490.04	java.lang.OutOfMemoryError: Java heap space
1435.96/494.99	22:48 ERROR: Failed to solve instance
1435.96/494.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1436.27/495.28	22:49 ERROR: Failed to solve instance
1436.27/495.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1436.57/495.59	22:49 ERROR: Failed to solve instance
1436.57/495.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1436.98/495.96	22:49 ERROR: Failed to solve instance
1436.98/495.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1440.35/498.78	22:52 ERROR: Failed to solve instance
1440.35/498.78	java.lang.OutOfMemoryError: Java heap space
1445.02/503.08	22:56 ERROR: Failed to solve instance
1445.02/503.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.32/503.37	22:57 ERROR: Failed to solve instance
1445.32/503.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.72/503.70	22:57 ERROR: Failed to solve instance
1445.72/503.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1449.36/506.84	23:00 ERROR: Failed to solve instance
1449.36/506.84	java.lang.OutOfMemoryError: Java heap space
1450.76/508.14	23:02 ERROR: Failed to solve instance
1450.76/508.14	java.lang.OutOfMemoryError: Java heap space
1451.07/508.48	23:02 ERROR: Failed to solve instance
1451.07/508.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1452.39/509.62	23:03 ERROR: Failed to solve instance
1452.39/509.62	java.lang.OutOfMemoryError: Java heap space
1458.12/514.63	23:08 ERROR: Failed to solve instance
1458.12/514.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1458.42/514.92	23:08 ERROR: Failed to solve instance
1458.42/514.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1458.73/515.23	23:09 ERROR: Failed to solve instance
1458.73/515.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1459.14/515.60	23:09 ERROR: Failed to solve instance
1459.14/515.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1463.29/519.21	23:13 ERROR: Failed to solve instance
1463.29/519.21	java.lang.OutOfMemoryError: Java heap space
1465.39/521.22	23:15 ERROR: Failed to solve instance
1465.39/521.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.34/525.68	23:19 ERROR: Failed to solve instance
1470.34/525.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.75/526.01	23:19 ERROR: Failed to solve instance
1470.75/526.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1474.64/529.56	23:23 ERROR: Failed to solve instance
1474.64/529.56	java.lang.OutOfMemoryError: Java heap space
1477.19/531.98	23:25 ERROR: Failed to solve instance
1477.19/531.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1477.70/532.46	23:26 ERROR: Failed to solve instance
1477.70/532.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1479.67/534.22	23:28 ERROR: Failed to solve instance
1479.67/534.22	java.lang.OutOfMemoryError: Java heap space
1483.50/537.67	23:31 ERROR: Failed to solve instance
1483.50/537.67	java.lang.OutOfMemoryError: Java heap space
1483.70/537.81	23:31 ERROR: Failed to solve instance
1483.70/537.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1487.99/541.64	23:35 ERROR: Failed to solve instance
1487.99/541.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1488.29/541.95	23:35 ERROR: Failed to solve instance
1488.29/541.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1488.90/542.52	23:36 ERROR: Failed to solve instance
1488.90/542.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1489.21/542.83	23:36 ERROR: Failed to solve instance
1489.21/542.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1493.56/546.61	23:40 ERROR: Failed to solve instance
1493.56/546.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1493.66/546.76	23:40 ERROR: Failed to solve instance
1493.66/546.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1498.40/550.95	23:44 ERROR: Failed to solve instance
1498.40/550.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1498.71/551.26	23:45 ERROR: Failed to solve instance
1498.71/551.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.32/551.83	23:45 ERROR: Failed to solve instance
1499.32/551.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.62/552.15	23:46 ERROR: Failed to solve instance
1499.62/552.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1503.67/555.68	23:49 ERROR: Failed to solve instance
1503.67/555.68	java.lang.OutOfMemoryError: Java heap space
1503.88/555.82	23:49 ERROR: Failed to solve instance
1503.88/555.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1508.23/559.74	23:53 ERROR: Failed to solve instance
1508.23/559.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1508.53/560.04	23:53 ERROR: Failed to solve instance
1508.53/560.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.33/562.70	Exception in thread "SingleThreadedConstellation 3" java.lang.OutOfMemoryError: GC overhead limit exceeded
1517.34/568.66	23:56 ERROR: Failed to solve instance
1517.34/568.66	24:02 ERROR: Failed to solve instance
1517.34/568.66	java.lang.OutOfMemoryError: Java heap space
1518.34/569.61	24:03 ERROR: Failed to solve instance
1518.34/569.61	java.lang.OutOfMemoryError: Java heap space
1521.25/572.52	24:06 ERROR: Failed to solve instance
1521.25/572.52	java.lang.OutOfMemoryError: Java heap space
1522.45/573.73	24:07 ERROR: Failed to solve instance
1522.45/573.73	java.lang.OutOfMemoryError: Java heap space
1524.26/575.53	24:09 ERROR: Failed to solve instance
1524.26/575.53	java.lang.OutOfMemoryError: Java heap space
1525.15/576.49	24:10 ERROR: Failed to solve instance
1525.15/576.49	java.lang.OutOfMemoryError: Java heap space
1528.66/579.98	24:13 ERROR: Failed to solve instance
1528.66/579.98	java.lang.OutOfMemoryError: Java heap space
1529.86/581.19	24:15 ERROR: Failed to solve instance
1529.86/581.19	java.lang.OutOfMemoryError: Java heap space
1531.66/582.99	24:16 ERROR: Failed to solve instance
1531.66/582.99	java.lang.OutOfMemoryError: Java heap space
1532.66/583.94	24:17 ERROR: Failed to solve instance
1532.66/583.94	java.lang.OutOfMemoryError: Java heap space
1535.36/586.63	24:20 ERROR: Failed to solve instance
1535.36/586.63	java.lang.OutOfMemoryError: Java heap space
1536.25/587.58	24:21 ERROR: Failed to solve instance
1536.25/587.58	java.lang.OutOfMemoryError: Java heap space
1539.05/590.36	24:24 ERROR: Failed to solve instance
1539.05/590.36	java.lang.OutOfMemoryError: Java heap space
1540.06/591.31	24:25 ERROR: Failed to solve instance
1540.06/591.31	java.lang.OutOfMemoryError: Java heap space
1541.66/592.97	24:26 ERROR: Failed to solve instance
1541.66/592.97	java.lang.OutOfMemoryError: Java heap space
1542.65/593.92	24:27 ERROR: Failed to solve instance
1542.65/593.92	java.lang.OutOfMemoryError: Java heap space
1546.75/598.01	24:31 ERROR: Failed to solve instance
1546.75/598.01	java.lang.OutOfMemoryError: Java heap space
1547.95/599.22	24:33 ERROR: Failed to solve instance
1547.95/599.22	java.lang.OutOfMemoryError: Java heap space
1549.75/601.02	24:34 ERROR: Failed to solve instance
1549.75/601.02	java.lang.OutOfMemoryError: Java heap space
1550.66/601.97	24:35 ERROR: Failed to solve instance
1550.66/601.97	java.lang.OutOfMemoryError: Java heap space
1553.36/604.66	24:38 ERROR: Failed to solve instance
1553.36/604.66	java.lang.OutOfMemoryError: Java heap space
1554.36/605.62	24:39 ERROR: Failed to solve instance
1554.36/605.62	java.lang.OutOfMemoryError: Java heap space
1557.05/608.39	24:42 ERROR: Failed to solve instance
1557.05/608.39	java.lang.OutOfMemoryError: Java heap space
1558.05/609.33	24:43 ERROR: Failed to solve instance
1558.05/609.33	java.lang.OutOfMemoryError: Java heap space
1559.65/610.99	24:44 ERROR: Failed to solve instance
1559.65/610.99	java.lang.OutOfMemoryError: Java heap space
1560.66/611.95	24:45 ERROR: Failed to solve instance
1560.66/611.95	java.lang.OutOfMemoryError: Java heap space
1563.66/614.96	24:48 ERROR: Failed to solve instance
1563.66/614.96	java.lang.OutOfMemoryError: Java heap space
1564.66/615.91	24:49 ERROR: Failed to solve instance
1564.66/615.91	java.lang.OutOfMemoryError: Java heap space
1567.45/618.70	24:52 ERROR: Failed to solve instance
1567.45/618.70	java.lang.OutOfMemoryError: Java heap space
1568.36/619.64	24:53 ERROR: Failed to solve instance
1568.36/619.64	java.lang.OutOfMemoryError: Java heap space
1570.06/621.30	24:55 ERROR: Failed to solve instance
1570.06/621.30	java.lang.OutOfMemoryError: Java heap space
1570.96/622.26	24:56 ERROR: Failed to solve instance
1570.96/622.26	java.lang.OutOfMemoryError: Java heap space
1574.35/625.62	24:59 ERROR: Failed to solve instance
1574.35/625.62	java.lang.OutOfMemoryError: Java heap space
1575.25/626.57	25:00 ERROR: Failed to solve instance
1575.25/626.57	java.lang.OutOfMemoryError: Java heap space
1576.95/628.23	25:02 ERROR: Failed to solve instance
1576.95/628.23	java.lang.OutOfMemoryError: Java heap space
1577.85/629.19	25:03 ERROR: Failed to solve instance
1577.85/629.19	java.lang.OutOfMemoryError: Java heap space
1580.56/631.87	25:05 ERROR: Failed to solve instance
1580.56/631.87	java.lang.OutOfMemoryError: Java heap space
1581.56/632.82	25:06 ERROR: Failed to solve instance
1581.56/632.82	java.lang.OutOfMemoryError: Java heap space
1584.35/635.60	25:09 ERROR: Failed to solve instance
1584.35/635.60	java.lang.OutOfMemoryError: Java heap space
1585.25/636.55	25:10 ERROR: Failed to solve instance
1585.25/636.55	java.lang.OutOfMemoryError: Java heap space
1586.95/638.21	25:12 ERROR: Failed to solve instance
1586.95/638.21	java.lang.OutOfMemoryError: Java heap space
1587.86/639.16	25:13 ERROR: Failed to solve instance
1587.86/639.16	java.lang.OutOfMemoryError: Java heap space
1592.56/643.86	25:17 ERROR: Failed to solve instance
1592.56/643.86	java.lang.OutOfMemoryError: Java heap space
1593.76/645.07	25:19 ERROR: Failed to solve instance
1593.76/645.07	java.lang.OutOfMemoryError: Java heap space
1595.55/646.87	25:20 ERROR: Failed to solve instance
1595.55/646.87	java.lang.OutOfMemoryError: Java heap space
1596.55/647.82	25:21 ERROR: Failed to solve instance
1596.55/647.82	java.lang.OutOfMemoryError: Java heap space
1599.25/650.51	25:24 ERROR: Failed to solve instance
1599.25/650.51	java.lang.OutOfMemoryError: Java heap space
1600.15/651.46	25:25 ERROR: Failed to solve instance
1600.15/651.46	java.lang.OutOfMemoryError: Java heap space
1602.96/654.24	25:28 ERROR: Failed to solve instance
1602.96/654.24	java.lang.OutOfMemoryError: Java heap space
1603.86/655.19	25:29 ERROR: Failed to solve instance
1603.86/655.19	java.lang.OutOfMemoryError: Java heap space
1605.55/656.85	25:30 ERROR: Failed to solve instance
1605.55/656.85	java.lang.OutOfMemoryError: Java heap space
1606.55/657.81	25:31 ERROR: Failed to solve instance
1606.55/657.81	java.lang.OutOfMemoryError: Java heap space
1609.45/660.80	25:34 ERROR: Failed to solve instance
1609.45/660.80	java.lang.OutOfMemoryError: Java heap space
1610.46/661.75	25:35 ERROR: Failed to solve instance
1610.46/661.75	java.lang.OutOfMemoryError: Java heap space
1613.26/664.54	25:38 ERROR: Failed to solve instance
1613.26/664.54	java.lang.OutOfMemoryError: Java heap space
1614.16/665.49	25:39 ERROR: Failed to solve instance
1614.16/665.49	java.lang.OutOfMemoryError: Java heap space
1615.85/667.15	25:41 ERROR: Failed to solve instance
1615.85/667.15	java.lang.OutOfMemoryError: Java heap space
1616.85/668.11	25:42 ERROR: Failed to solve instance
1616.85/668.11	java.lang.OutOfMemoryError: Java heap space
1620.15/671.48	25:45 ERROR: Failed to solve instance
1620.15/671.48	java.lang.OutOfMemoryError: Java heap space
1621.16/672.42	25:46 ERROR: Failed to solve instance
1621.16/672.42	java.lang.OutOfMemoryError: Java heap space
1622.76/674.08	25:48 ERROR: Failed to solve instance
1622.76/674.08	java.lang.OutOfMemoryError: Java heap space
1623.76/675.04	25:48 ERROR: Failed to solve instance
1623.76/675.04	java.lang.OutOfMemoryError: Java heap space
1626.45/677.72	25:51 ERROR: Failed to solve instance
1626.45/677.72	java.lang.OutOfMemoryError: Java heap space
1627.36/678.67	25:52 ERROR: Failed to solve instance
1627.36/678.67	java.lang.OutOfMemoryError: Java heap space
1630.15/681.46	25:55 ERROR: Failed to solve instance
1630.15/681.46	java.lang.OutOfMemoryError: Java heap space
1631.15/682.40	25:56 ERROR: Failed to solve instance
1631.15/682.40	java.lang.OutOfMemoryError: Java heap space
1632.76/684.06	25:58 ERROR: Failed to solve instance
1632.76/684.06	java.lang.OutOfMemoryError: Java heap space
1633.76/685.02	25:58 ERROR: Failed to solve instance
1633.76/685.02	java.lang.OutOfMemoryError: Java heap space
1637.26/688.60	26:02 ERROR: Failed to solve instance
1637.26/688.60	java.lang.OutOfMemoryError: Java heap space
1638.25/689.55	26:03 ERROR: Failed to solve instance
1638.25/689.55	java.lang.OutOfMemoryError: Java heap space
1641.05/692.33	26:06 ERROR: Failed to solve instance
1641.05/692.33	java.lang.OutOfMemoryError: Java heap space
1641.96/693.27	26:07 ERROR: Failed to solve instance
1641.96/693.27	java.lang.OutOfMemoryError: Java heap space
1643.66/694.93	26:08 ERROR: Failed to solve instance
1643.66/694.93	java.lang.OutOfMemoryError: Java heap space
1644.56/695.89	26:09 ERROR: Failed to solve instance
1644.56/695.89	java.lang.OutOfMemoryError: Java heap space
1647.95/699.25	26:13 ERROR: Failed to solve instance
1647.95/699.25	java.lang.OutOfMemoryError: Java heap space
1648.95/700.20	26:14 ERROR: Failed to solve instance
1648.95/700.20	java.lang.OutOfMemoryError: Java heap space
1650.56/701.86	26:15 ERROR: Failed to solve instance
1650.56/701.86	java.lang.OutOfMemoryError: Java heap space
1651.56/702.82	26:16 ERROR: Failed to solve instance
1651.56/702.82	java.lang.OutOfMemoryError: Java heap space
1654.16/705.49	26:19 ERROR: Failed to solve instance
1654.16/705.49	java.lang.OutOfMemoryError: Java heap space
1655.16/706.45	26:20 ERROR: Failed to solve instance
1655.16/706.45	java.lang.OutOfMemoryError: Java heap space
1657.95/709.24	26:23 ERROR: Failed to solve instance
1657.95/709.24	java.lang.OutOfMemoryError: Java heap space
1658.86/710.18	26:24 ERROR: Failed to solve instance
1658.86/710.18	java.lang.OutOfMemoryError: Java heap space
1660.55/711.84	26:25 ERROR: Failed to solve instance
1660.55/711.84	java.lang.OutOfMemoryError: Java heap space
1661.55/712.80	26:26 ERROR: Failed to solve instance
1661.55/712.80	java.lang.OutOfMemoryError: Java heap space
1665.45/716.79	26:30 ERROR: Failed to solve instance
1665.45/716.79	java.lang.OutOfMemoryError: Java heap space
1666.46/717.73	26:31 ERROR: Failed to solve instance
1666.46/717.73	java.lang.OutOfMemoryError: Java heap space
1668.06/719.39	26:33 ERROR: Failed to solve instance
1668.06/719.39	java.lang.OutOfMemoryError: Java heap space
1669.06/720.35	26:34 ERROR: Failed to solve instance
1669.06/720.35	java.lang.OutOfMemoryError: Java heap space
1671.76/723.03	26:36 ERROR: Failed to solve instance
1671.76/723.03	java.lang.OutOfMemoryError: Java heap space
1672.65/723.99	26:37 ERROR: Failed to solve instance
1672.65/723.99	java.lang.OutOfMemoryError: Java heap space
1675.46/726.76	26:40 ERROR: Failed to solve instance
1675.46/726.76	java.lang.OutOfMemoryError: Java heap space
1676.46/727.71	26:41 ERROR: Failed to solve instance
1676.46/727.71	java.lang.OutOfMemoryError: Java heap space
1678.06/729.37	26:43 ERROR: Failed to solve instance
1678.06/729.37	java.lang.OutOfMemoryError: Java heap space
1679.06/730.32	26:44 ERROR: Failed to solve instance
1679.06/730.32	java.lang.OutOfMemoryError: Java heap space
1682.05/733.33	26:47 ERROR: Failed to solve instance
1682.05/733.33	java.lang.OutOfMemoryError: Java heap space
1682.95/734.29	26:48 ERROR: Failed to solve instance
1682.95/734.29	java.lang.OutOfMemoryError: Java heap space
1685.76/737.06	26:51 ERROR: Failed to solve instance
1685.76/737.06	java.lang.OutOfMemoryError: Java heap space
1686.76/738.01	26:51 ERROR: Failed to solve instance
1686.76/738.01	java.lang.OutOfMemoryError: Java heap space
1688.35/739.67	26:53 ERROR: Failed to solve instance
1688.35/739.67	java.lang.OutOfMemoryError: Java heap space
1689.36/740.63	26:54 ERROR: Failed to solve instance
1689.36/740.63	java.lang.OutOfMemoryError: Java heap space
1692.66/743.98	26:57 ERROR: Failed to solve instance
1692.66/743.98	java.lang.OutOfMemoryError: Java heap space
1693.66/744.92	26:58 ERROR: Failed to solve instance
1693.66/744.92	java.lang.OutOfMemoryError: Java heap space
1695.25/746.58	27:00 ERROR: Failed to solve instance
1695.25/746.58	java.lang.OutOfMemoryError: Java heap space
1696.26/747.54	27:01 ERROR: Failed to solve instance
1696.26/747.54	java.lang.OutOfMemoryError: Java heap space
1698.95/750.22	27:04 ERROR: Failed to solve instance
1698.95/750.22	java.lang.OutOfMemoryError: Java heap space
1699.85/751.18	27:05 ERROR: Failed to solve instance
1699.85/751.18	java.lang.OutOfMemoryError: Java heap space
1702.66/753.95	27:07 ERROR: Failed to solve instance
1702.66/753.95	java.lang.OutOfMemoryError: Java heap space
1703.56/754.90	27:08 ERROR: Failed to solve instance
1703.56/754.90	java.lang.OutOfMemoryError: Java heap space
1705.25/756.56	27:10 ERROR: Failed to solve instance
1705.25/756.56	java.lang.OutOfMemoryError: Java heap space
1706.25/757.52	27:11 ERROR: Failed to solve instance
1706.25/757.52	java.lang.OutOfMemoryError: Java heap space
1711.05/762.35	27:16 ERROR: Failed to solve instance
1711.05/762.35	java.lang.OutOfMemoryError: Java heap space
1712.05/763.31	27:17 ERROR: Failed to solve instance
1712.05/763.31	java.lang.OutOfMemoryError: Java heap space
1714.95/766.21	27:20 ERROR: Failed to solve instance
1714.95/766.21	java.lang.OutOfMemoryError: Java heap space
1716.15/767.41	27:21 ERROR: Failed to solve instance
1716.15/767.41	java.lang.OutOfMemoryError: Java heap space
1717.96/769.21	27:23 ERROR: Failed to solve instance
1717.96/769.21	java.lang.OutOfMemoryError: Java heap space
1718.86/770.17	27:24 ERROR: Failed to solve instance
1718.86/770.17	java.lang.OutOfMemoryError: Java heap space
1722.35/773.67	27:27 ERROR: Failed to solve instance
1722.35/773.67	java.lang.OutOfMemoryError: Java heap space
1723.56/774.87	27:28 ERROR: Failed to solve instance
1723.56/774.87	java.lang.OutOfMemoryError: Java heap space
1725.35/776.67	27:30 ERROR: Failed to solve instance
1725.35/776.67	java.lang.OutOfMemoryError: Java heap space
1726.35/777.63	27:31 ERROR: Failed to solve instance
1726.35/777.63	java.lang.OutOfMemoryError: Java heap space
1729.05/780.31	27:34 ERROR: Failed to solve instance
1729.05/780.31	java.lang.OutOfMemoryError: Java heap space
1729.95/781.27	27:35 ERROR: Failed to solve instance
1729.95/781.27	java.lang.OutOfMemoryError: Java heap space
1732.75/784.05	27:37 ERROR: Failed to solve instance
1732.75/784.05	java.lang.OutOfMemoryError: Java heap space
1733.65/785.00	27:38 ERROR: Failed to solve instance
1733.65/785.00	java.lang.OutOfMemoryError: Java heap space
1735.35/786.66	27:40 ERROR: Failed to solve instance
1735.35/786.66	java.lang.OutOfMemoryError: Java heap space
1736.35/787.61	27:41 ERROR: Failed to solve instance
1736.35/787.61	java.lang.OutOfMemoryError: Java heap space
1740.35/791.69	27:45 ERROR: Failed to solve instance
1740.35/791.69	java.lang.OutOfMemoryError: Java heap space
1741.65/792.90	27:46 ERROR: Failed to solve instance
1741.65/792.90	java.lang.OutOfMemoryError: Java heap space
1743.45/794.70	27:48 ERROR: Failed to solve instance
1743.45/794.70	java.lang.OutOfMemoryError: Java heap space
1744.36/795.66	27:49 ERROR: Failed to solve instance
1744.36/795.66	java.lang.OutOfMemoryError: Java heap space
1747.05/798.34	27:52 ERROR: Failed to solve instance
1747.05/798.34	java.lang.OutOfMemoryError: Java heap space
1748.05/799.30	27:53 ERROR: Failed to solve instance
1748.05/799.30	java.lang.OutOfMemoryError: Java heap space
1750.75/802.08	27:56 ERROR: Failed to solve instance
1750.75/802.08	java.lang.OutOfMemoryError: Java heap space
1751.75/803.03	27:56 ERROR: Failed to solve instance
1751.75/803.03	java.lang.OutOfMemoryError: Java heap space
1753.35/804.69	27:58 ERROR: Failed to solve instance
1753.35/804.69	java.lang.OutOfMemoryError: Java heap space
1754.35/805.64	27:59 ERROR: Failed to solve instance
1754.35/805.64	java.lang.OutOfMemoryError: Java heap space
1757.35/808.63	28:02 ERROR: Failed to solve instance
1757.35/808.63	java.lang.OutOfMemoryError: Java heap space
1758.25/809.59	28:03 ERROR: Failed to solve instance
1758.25/809.59	java.lang.OutOfMemoryError: Java heap space
1761.05/812.37	28:06 ERROR: Failed to solve instance
1761.05/812.37	java.lang.OutOfMemoryError: Java heap space
1762.05/813.31	28:07 ERROR: Failed to solve instance
1762.05/813.31	java.lang.OutOfMemoryError: Java heap space
1763.65/814.97	28:08 ERROR: Failed to solve instance
1763.65/814.97	java.lang.OutOfMemoryError: Java heap space
1764.65/815.93	28:09 ERROR: Failed to solve instance
1764.65/815.93	java.lang.OutOfMemoryError: Java heap space
1767.95/819.29	28:13 ERROR: Failed to solve instance
1767.95/819.29	java.lang.OutOfMemoryError: Java heap space
1768.95/820.24	28:14 ERROR: Failed to solve instance
1768.95/820.24	java.lang.OutOfMemoryError: Java heap space
1770.55/821.90	28:15 ERROR: Failed to solve instance
1770.55/821.90	java.lang.OutOfMemoryError: Java heap space
1771.55/822.86	28:16 ERROR: Failed to solve instance
1771.55/822.86	java.lang.OutOfMemoryError: Java heap space
1774.25/825.53	28:19 ERROR: Failed to solve instance
1774.25/825.53	java.lang.OutOfMemoryError: Java heap space
1775.16/826.49	28:20 ERROR: Failed to solve instance
1775.16/826.49	java.lang.OutOfMemoryError: Java heap space
1777.95/829.27	28:23 ERROR: Failed to solve instance
1777.95/829.27	java.lang.OutOfMemoryError: Java heap space
1778.95/830.22	28:24 ERROR: Failed to solve instance
1778.95/830.22	java.lang.OutOfMemoryError: Java heap space
1780.55/831.87	28:25 ERROR: Failed to solve instance
1780.55/831.87	java.lang.OutOfMemoryError: Java heap space
1781.55/832.83	28:26 ERROR: Failed to solve instance
1781.55/832.83	java.lang.OutOfMemoryError: Java heap space
1786.25/837.51	28:31 ERROR: Failed to solve instance
1786.25/837.51	java.lang.OutOfMemoryError: Java heap space
1787.45/838.72	28:32 ERROR: Failed to solve instance
1787.45/838.72	java.lang.OutOfMemoryError: Java heap space
1789.25/840.52	28:34 ERROR: Failed to solve instance
1789.25/840.52	java.lang.OutOfMemoryError: Java heap space
1790.15/841.48	28:35 ERROR: Failed to solve instance
1790.15/841.48	java.lang.OutOfMemoryError: Java heap space
1792.85/844.16	28:38 ERROR: Failed to solve instance
1792.85/844.16	java.lang.OutOfMemoryError: Java heap space
1793.85/845.12	28:39 ERROR: Failed to solve instance
1793.85/845.12	java.lang.OutOfMemoryError: Java heap space
1796.65/847.90	28:41 ERROR: Failed to solve instance
1796.65/847.90	java.lang.OutOfMemoryError: Java heap space
1797.55/848.84	28:42 ERROR: Failed to solve instance
1797.55/848.84	java.lang.OutOfMemoryError: Java heap space
1799.15/850.50	28:44 ERROR: Failed to solve instance
1799.15/850.50	java.lang.OutOfMemoryError: Java heap space
1800.16/851.46	28:45 ERROR: Failed to solve instance
1800.16/851.46	java.lang.OutOfMemoryError: Java heap space
1803.15/854.44	28:48 ERROR: Failed to solve instance
1803.15/854.44	java.lang.OutOfMemoryError: Java heap space
1804.15/855.40	28:49 ERROR: Failed to solve instance
1804.15/855.40	java.lang.OutOfMemoryError: Java heap space
1806.85/858.18	28:52 ERROR: Failed to solve instance
1806.85/858.18	java.lang.OutOfMemoryError: Java heap space
1807.85/859.13	28:53 ERROR: Failed to solve instance
1807.85/859.13	java.lang.OutOfMemoryError: Java heap space
1809.45/860.79	28:54 ERROR: Failed to solve instance
1809.45/860.79	java.lang.OutOfMemoryError: Java heap space
1810.45/861.75	28:55 ERROR: Failed to solve instance
1810.45/861.75	java.lang.OutOfMemoryError: Java heap space
1813.85/865.11	28:59 ERROR: Failed to solve instance
1813.85/865.11	java.lang.OutOfMemoryError: Java heap space
1814.76/866.06	28:59 ERROR: Failed to solve instance
1814.76/866.06	java.lang.OutOfMemoryError: Java heap space
1816.45/867.71	29:01 ERROR: Failed to solve instance
1816.45/867.71	java.lang.OutOfMemoryError: Java heap space
1817.35/868.67	29:02 ERROR: Failed to solve instance
1817.35/868.67	java.lang.OutOfMemoryError: Java heap space
1820.05/871.35	29:05 ERROR: Failed to solve instance
1820.05/871.35	java.lang.OutOfMemoryError: Java heap space
1821.05/872.31	29:06 ERROR: Failed to solve instance
1821.05/872.31	java.lang.OutOfMemoryError: Java heap space
1823.75/875.07	29:09 ERROR: Failed to solve instance
1823.75/875.07	java.lang.OutOfMemoryError: Java heap space
1824.75/876.01	29:09 ERROR: Failed to solve instance
1824.75/876.01	java.lang.OutOfMemoryError: Java heap space
1826.35/877.65	29:11 ERROR: Failed to solve instance
1826.35/877.65	java.lang.OutOfMemoryError: Java heap space
1827.35/878.61	29:12 ERROR: Failed to solve instance
1827.35/878.61	java.lang.OutOfMemoryError: Java heap space
1830.85/882.18	29:16 ERROR: Failed to solve instance
1830.85/882.18	java.lang.OutOfMemoryError: Java heap space
1831.85/883.14	29:17 ERROR: Failed to solve instance
1831.85/883.14	java.lang.OutOfMemoryError: Java heap space
1834.66/885.92	29:19 ERROR: Failed to solve instance
1834.66/885.92	java.lang.OutOfMemoryError: Java heap space
1835.56/886.86	29:20 ERROR: Failed to solve instance
1835.56/886.86	java.lang.OutOfMemoryError: Java heap space
1837.25/888.52	29:22 ERROR: Failed to solve instance
1837.25/888.52	java.lang.OutOfMemoryError: Java heap space
1838.15/889.48	29:23 ERROR: Failed to solve instance
1838.15/889.48	java.lang.OutOfMemoryError: Java heap space
1841.56/892.84	29:26 ERROR: Failed to solve instance
1841.56/892.84	java.lang.OutOfMemoryError: Java heap space
1842.45/893.79	29:27 ERROR: Failed to solve instance
1842.45/893.79	java.lang.OutOfMemoryError: Java heap space
1844.15/895.45	29:29 ERROR: Failed to solve instance
1844.15/895.45	java.lang.OutOfMemoryError: Java heap space
1845.15/896.40	29:30 ERROR: Failed to solve instance
1845.15/896.40	java.lang.OutOfMemoryError: Java heap space
1847.76/899.08	29:33 ERROR: Failed to solve instance
1847.76/899.08	java.lang.OutOfMemoryError: Java heap space
1848.76/900.04	29:33 ERROR: Failed to solve instance
1848.76/900.04	java.lang.OutOfMemoryError: Java heap space
1851.55/902.82	29:36 ERROR: Failed to solve instance
1851.55/902.82	java.lang.OutOfMemoryError: Java heap space
1852.45/903.76	29:37 ERROR: Failed to solve instance
1852.45/903.76	java.lang.OutOfMemoryError: Java heap space
1854.15/905.42	29:39 ERROR: Failed to solve instance
1854.15/905.42	java.lang.OutOfMemoryError: Java heap space
1855.05/906.38	29:40 ERROR: Failed to solve instance
1855.05/906.38	java.lang.OutOfMemoryError: Java heap space
1859.05/910.34	29:44 ERROR: Failed to solve instance
1859.05/910.34	java.lang.OutOfMemoryError: Java heap space
1859.95/911.29	29:45 ERROR: Failed to solve instance
1859.95/911.29	java.lang.OutOfMemoryError: Java heap space
1861.66/912.95	29:46 ERROR: Failed to solve instance
1861.66/912.95	java.lang.OutOfMemoryError: Java heap space
1862.66/913.91	29:47 ERROR: Failed to solve instance
1862.66/913.91	java.lang.OutOfMemoryError: Java heap space
1865.26/916.58	29:50 ERROR: Failed to solve instance
1865.26/916.58	java.lang.OutOfMemoryError: Java heap space
1866.25/917.54	29:51 ERROR: Failed to solve instance
1866.25/917.54	java.lang.OutOfMemoryError: Java heap space
1869.05/920.31	29:54 ERROR: Failed to solve instance
1869.05/920.31	java.lang.OutOfMemoryError: Java heap space
1869.95/921.25	29:55 ERROR: Failed to solve instance
1869.95/921.25	java.lang.OutOfMemoryError: Java heap space
1871.65/922.91	29:56 ERROR: Failed to solve instance
1871.65/922.91	java.lang.OutOfMemoryError: Java heap space
1872.55/923.87	29:57 ERROR: Failed to solve instance
1872.55/923.87	java.lang.OutOfMemoryError: Java heap space
1875.55/926.88	30:00 ERROR: Failed to solve instance
1875.55/926.88	java.lang.OutOfMemoryError: Java heap space
1876.55/927.83	30:01 ERROR: Failed to solve instance
1876.55/927.83	java.lang.OutOfMemoryError: Java heap space
1879.36/930.62	30:04 ERROR: Failed to solve instance
1879.36/930.62	java.lang.OutOfMemoryError: Java heap space
1880.26/931.56	30:05 ERROR: Failed to solve instance
1880.26/931.56	java.lang.OutOfMemoryError: Java heap space
1881.95/933.22	30:07 ERROR: Failed to solve instance
1881.95/933.22	java.lang.OutOfMemoryError: Java heap space
1882.86/934.18	30:08 ERROR: Failed to solve instance
1882.86/934.18	java.lang.OutOfMemoryError: Java heap space
1886.26/937.52	30:11 ERROR: Failed to solve instance
1886.26/937.52	java.lang.OutOfMemoryError: Java heap space
1887.15/938.47	30:12 ERROR: Failed to solve instance
1887.15/938.47	java.lang.OutOfMemoryError: Java heap space
1888.85/940.13	30:14 ERROR: Failed to solve instance
1888.85/940.13	java.lang.OutOfMemoryError: Java heap space
1889.75/941.09	30:15 ERROR: Failed to solve instance
1889.75/941.09	java.lang.OutOfMemoryError: Java heap space
1892.45/943.77	30:17 ERROR: Failed to solve instance
1892.45/943.77	java.lang.OutOfMemoryError: Java heap space
1893.45/944.72	30:18 ERROR: Failed to solve instance
1893.45/944.72	java.lang.OutOfMemoryError: Java heap space
1896.26/947.51	30:21 ERROR: Failed to solve instance
1896.26/947.51	java.lang.OutOfMemoryError: Java heap space
1897.16/948.45	30:22 ERROR: Failed to solve instance
1897.16/948.45	java.lang.OutOfMemoryError: Java heap space
1898.85/950.12	30:24 ERROR: Failed to solve instance
1898.85/950.12	java.lang.OutOfMemoryError: Java heap space
1899.75/951.08	30:25 ERROR: Failed to solve instance
1899.75/951.08	java.lang.OutOfMemoryError: Java heap space
1905.05/956.30	30:30 ERROR: Failed to solve instance
1905.05/956.30	java.lang.OutOfMemoryError: Java heap space
1906.25/957.51	30:31 ERROR: Failed to solve instance
1906.25/957.51	java.lang.OutOfMemoryError: Java heap space
1908.05/959.31	30:33 ERROR: Failed to solve instance
1908.05/959.31	java.lang.OutOfMemoryError: Java heap space
1908.96/960.26	30:34 ERROR: Failed to solve instance
1908.96/960.26	java.lang.OutOfMemoryError: Java heap space
1911.65/962.95	30:36 ERROR: Failed to solve instance
1911.65/962.95	java.lang.OutOfMemoryError: Java heap space
1912.55/963.90	30:37 ERROR: Failed to solve instance
1912.55/963.90	java.lang.OutOfMemoryError: Java heap space
1915.35/966.68	30:40 ERROR: Failed to solve instance
1915.35/966.68	java.lang.OutOfMemoryError: Java heap space
1916.36/967.62	30:41 ERROR: Failed to solve instance
1916.36/967.62	java.lang.OutOfMemoryError: Java heap space
1917.95/969.28	30:43 ERROR: Failed to solve instance
1917.95/969.28	java.lang.OutOfMemoryError: Java heap space
1918.95/970.24	30:44 ERROR: Failed to solve instance
1918.95/970.24	java.lang.OutOfMemoryError: Java heap space
1921.96/973.23	30:47 ERROR: Failed to solve instance
1921.96/973.23	java.lang.OutOfMemoryError: Java heap space
1922.85/974.18	30:48 ERROR: Failed to solve instance
1922.85/974.18	java.lang.OutOfMemoryError: Java heap space
1925.65/976.97	30:50 ERROR: Failed to solve instance
1925.65/976.97	java.lang.OutOfMemoryError: Java heap space
1926.65/977.91	30:51 ERROR: Failed to solve instance
1926.65/977.91	java.lang.OutOfMemoryError: Java heap space
1928.25/979.57	30:53 ERROR: Failed to solve instance
1928.25/979.57	java.lang.OutOfMemoryError: Java heap space
1929.25/980.53	30:54 ERROR: Failed to solve instance
1929.25/980.53	java.lang.OutOfMemoryError: Java heap space
1932.55/983.89	30:57 ERROR: Failed to solve instance
1932.55/983.89	java.lang.OutOfMemoryError: Java heap space
1933.56/984.84	30:58 ERROR: Failed to solve instance
1933.56/984.84	java.lang.OutOfMemoryError: Java heap space
1935.15/986.49	31:00 ERROR: Failed to solve instance
1935.15/986.49	java.lang.OutOfMemoryError: Java heap space
1936.15/987.45	31:01 ERROR: Failed to solve instance
1936.15/987.45	java.lang.OutOfMemoryError: Java heap space
1938.85/990.13	31:04 ERROR: Failed to solve instance
1938.85/990.13	java.lang.OutOfMemoryError: Java heap space
1939.75/991.09	31:05 ERROR: Failed to solve instance
1939.75/991.09	java.lang.OutOfMemoryError: Java heap space
1942.55/993.85	31:07 ERROR: Failed to solve instance
1942.55/993.85	java.lang.OutOfMemoryError: Java heap space
1943.55/994.80	31:08 ERROR: Failed to solve instance
1943.55/994.80	java.lang.OutOfMemoryError: Java heap space
1945.15/996.45	31:10 ERROR: Failed to solve instance
1945.15/996.45	java.lang.OutOfMemoryError: Java heap space
1946.15/997.41	31:11 ERROR: Failed to solve instance
1946.15/997.41	java.lang.OutOfMemoryError: Java heap space
1949.65/1000.99	31:14 ERROR: Failed to solve instance
1949.65/1000.99	java.lang.OutOfMemoryError: Java heap space
1950.65/1001.95	31:15 ERROR: Failed to solve instance
1950.65/1001.95	java.lang.OutOfMemoryError: Java heap space
1953.45/1004.72	31:18 ERROR: Failed to solve instance
1953.45/1004.72	java.lang.OutOfMemoryError: Java heap space
1954.35/1005.67	31:19 ERROR: Failed to solve instance
1954.35/1005.67	java.lang.OutOfMemoryError: Java heap space
1956.05/1007.33	31:21 ERROR: Failed to solve instance
1956.05/1007.33	java.lang.OutOfMemoryError: Java heap space
1956.95/1008.29	31:22 ERROR: Failed to solve instance
1956.95/1008.29	java.lang.OutOfMemoryError: Java heap space
1960.35/1011.65	31:25 ERROR: Failed to solve instance
1960.35/1011.65	java.lang.OutOfMemoryError: Java heap space
1961.25/1012.59	31:26 ERROR: Failed to solve instance
1961.25/1012.59	java.lang.OutOfMemoryError: Java heap space
1962.95/1014.25	31:28 ERROR: Failed to solve instance
1962.95/1014.25	java.lang.OutOfMemoryError: Java heap space
1963.95/1015.21	31:29 ERROR: Failed to solve instance
1963.95/1015.21	java.lang.OutOfMemoryError: Java heap space
1966.55/1017.89	31:31 ERROR: Failed to solve instance
1966.55/1017.89	java.lang.OutOfMemoryError: Java heap space
1967.55/1018.85	31:32 ERROR: Failed to solve instance
1967.55/1018.85	java.lang.OutOfMemoryError: Java heap space
1970.35/1021.63	31:35 ERROR: Failed to solve instance
1970.35/1021.63	java.lang.OutOfMemoryError: Java heap space
1971.25/1022.57	31:36 ERROR: Failed to solve instance
1971.25/1022.57	java.lang.OutOfMemoryError: Java heap space
1972.95/1024.24	31:38 ERROR: Failed to solve instance
1972.95/1024.24	java.lang.OutOfMemoryError: Java heap space
1973.85/1025.19	31:39 ERROR: Failed to solve instance
1973.85/1025.19	java.lang.OutOfMemoryError: Java heap space
1977.85/1029.19	31:43 ERROR: Failed to solve instance
1977.85/1029.19	java.lang.OutOfMemoryError: Java heap space
1978.85/1030.13	31:44 ERROR: Failed to solve instance
1978.85/1030.13	java.lang.OutOfMemoryError: Java heap space
1980.45/1031.79	31:45 ERROR: Failed to solve instance
1980.45/1031.79	java.lang.OutOfMemoryError: Java heap space
1981.45/1032.75	31:46 ERROR: Failed to solve instance
1981.45/1032.75	java.lang.OutOfMemoryError: Java heap space
1984.16/1035.43	31:49 ERROR: Failed to solve instance
1984.16/1035.43	java.lang.OutOfMemoryError: Java heap space
1985.05/1036.38	31:50 ERROR: Failed to solve instance
1985.05/1036.38	java.lang.OutOfMemoryError: Java heap space
1987.85/1039.16	31:53 ERROR: Failed to solve instance
1987.85/1039.16	java.lang.OutOfMemoryError: Java heap space
1988.85/1040.11	31:54 ERROR: Failed to solve instance
1988.85/1040.11	java.lang.OutOfMemoryError: Java heap space
1990.44/1041.77	31:55 ERROR: Failed to solve instance
1990.44/1041.77	java.lang.OutOfMemoryError: Java heap space
1991.45/1042.73	31:56 ERROR: Failed to solve instance
1991.45/1042.73	java.lang.OutOfMemoryError: Java heap space
1994.45/1045.73	31:59 ERROR: Failed to solve instance
1994.45/1045.73	java.lang.OutOfMemoryError: Java heap space
1995.35/1046.69	32:00 ERROR: Failed to solve instance
1995.35/1046.69	java.lang.OutOfMemoryError: Java heap space
1998.15/1049.47	32:03 ERROR: Failed to solve instance
1998.15/1049.47	java.lang.OutOfMemoryError: Java heap space
1999.15/1050.41	32:04 ERROR: Failed to solve instance
1999.15/1050.41	java.lang.OutOfMemoryError: Java heap space
2000.75/1052.05	32:05 ERROR: Failed to solve instance
2000.75/1052.05	java.lang.OutOfMemoryError: Java heap space
2001.75/1053.01	32:06 ERROR: Failed to solve instance
2001.75/1053.01	java.lang.OutOfMemoryError: Java heap space
2005.05/1056.36	32:10 ERROR: Failed to solve instance
2005.05/1056.36	java.lang.OutOfMemoryError: Java heap space
2006.05/1057.31	32:11 ERROR: Failed to solve instance
2006.05/1057.31	java.lang.OutOfMemoryError: Java heap space
2007.65/1058.97	32:12 ERROR: Failed to solve instance
2007.65/1058.97	java.lang.OutOfMemoryError: Java heap space
2008.65/1059.92	32:13 ERROR: Failed to solve instance
2008.65/1059.92	java.lang.OutOfMemoryError: Java heap space
2011.35/1062.60	32:16 ERROR: Failed to solve instance
2011.35/1062.60	java.lang.OutOfMemoryError: Java heap space
2012.25/1063.56	32:17 ERROR: Failed to solve instance
2012.25/1063.56	java.lang.OutOfMemoryError: Java heap space
2015.04/1066.34	32:20 ERROR: Failed to solve instance
2015.04/1066.34	java.lang.OutOfMemoryError: Java heap space
2015.96/1067.29	32:21 ERROR: Failed to solve instance
2015.96/1067.29	java.lang.OutOfMemoryError: Java heap space
2017.65/1068.96	32:22 ERROR: Failed to solve instance
2017.65/1068.96	java.lang.OutOfMemoryError: Java heap space
2018.65/1069.92	32:23 ERROR: Failed to solve instance
2018.65/1069.92	java.lang.OutOfMemoryError: Java heap space
2022.85/1074.10	32:28 ERROR: Failed to solve instance
2022.85/1074.10	java.lang.OutOfMemoryError: Java heap space
2023.75/1075.06	32:28 ERROR: Failed to solve instance
2023.75/1075.06	java.lang.OutOfMemoryError: Java heap space
2026.55/1077.83	32:31 ERROR: Failed to solve instance
2026.55/1077.83	java.lang.OutOfMemoryError: Java heap space
2027.45/1078.78	32:32 ERROR: Failed to solve instance
2027.45/1078.78	java.lang.OutOfMemoryError: Java heap space
2029.15/1080.44	32:34 ERROR: Failed to solve instance
2029.15/1080.44	java.lang.OutOfMemoryError: Java heap space
2030.05/1081.40	32:35 ERROR: Failed to solve instance
2030.05/1081.40	java.lang.OutOfMemoryError: Java heap space
2033.45/1084.77	32:38 ERROR: Failed to solve instance
2033.45/1084.77	java.lang.OutOfMemoryError: Java heap space
2034.45/1085.72	32:39 ERROR: Failed to solve instance
2034.45/1085.72	java.lang.OutOfMemoryError: Java heap space
2036.04/1087.38	32:41 ERROR: Failed to solve instance
2036.04/1087.38	java.lang.OutOfMemoryError: Java heap space
2037.04/1088.33	32:42 ERROR: Failed to solve instance
2037.04/1088.33	java.lang.OutOfMemoryError: Java heap space
2039.75/1091.02	32:44 ERROR: Failed to solve instance
2039.75/1091.02	java.lang.OutOfMemoryError: Java heap space
2040.65/1091.97	32:45 ERROR: Failed to solve instance
2040.65/1091.97	java.lang.OutOfMemoryError: Java heap space
2043.46/1094.76	32:48 ERROR: Failed to solve instance
2043.46/1094.76	java.lang.OutOfMemoryError: Java heap space
2044.45/1095.71	32:49 ERROR: Failed to solve instance
2044.45/1095.71	java.lang.OutOfMemoryError: Java heap space
2046.05/1097.37	32:51 ERROR: Failed to solve instance
2046.05/1097.37	java.lang.OutOfMemoryError: Java heap space
2047.05/1098.33	32:52 ERROR: Failed to solve instance
2047.05/1098.33	java.lang.OutOfMemoryError: Java heap space
2051.05/1102.32	32:56 ERROR: Failed to solve instance
2051.05/1102.32	java.lang.OutOfMemoryError: Java heap space
2051.95/1103.26	32:57 ERROR: Failed to solve instance
2051.95/1103.26	java.lang.OutOfMemoryError: Java heap space
2053.64/1104.92	32:58 ERROR: Failed to solve instance
2053.64/1104.92	java.lang.OutOfMemoryError: Java heap space
2054.56/1105.87	32:59 ERROR: Failed to solve instance
2054.56/1105.87	java.lang.OutOfMemoryError: Java heap space
2057.25/1108.55	33:02 ERROR: Failed to solve instance
2057.25/1108.55	java.lang.OutOfMemoryError: Java heap space
2058.25/1109.51	33:03 ERROR: Failed to solve instance
2058.25/1109.51	java.lang.OutOfMemoryError: Java heap space
2060.95/1112.27	33:06 ERROR: Failed to solve instance
2060.95/1112.27	java.lang.OutOfMemoryError: Java heap space
2061.95/1113.22	33:07 ERROR: Failed to solve instance
2061.95/1113.22	java.lang.OutOfMemoryError: Java heap space
2063.55/1114.87	33:08 ERROR: Failed to solve instance
2063.55/1114.87	java.lang.OutOfMemoryError: Java heap space
2064.55/1115.83	33:09 ERROR: Failed to solve instance
2064.55/1115.83	java.lang.OutOfMemoryError: Java heap space
2067.55/1118.84	33:12 ERROR: Failed to solve instance
2067.55/1118.84	java.lang.OutOfMemoryError: Java heap space
2068.45/1119.80	33:13 ERROR: Failed to solve instance
2068.45/1119.80	java.lang.OutOfMemoryError: Java heap space
2071.25/1122.57	33:16 ERROR: Failed to solve instance
2071.25/1122.57	java.lang.OutOfMemoryError: Java heap space
2072.25/1123.52	33:17 ERROR: Failed to solve instance
2072.25/1123.52	java.lang.OutOfMemoryError: Java heap space
2073.85/1125.17	33:19 ERROR: Failed to solve instance
2073.85/1125.17	java.lang.OutOfMemoryError: Java heap space
2074.84/1126.13	33:20 ERROR: Failed to solve instance
2074.84/1126.13	java.lang.OutOfMemoryError: Java heap space
2078.25/1129.50	33:23 ERROR: Failed to solve instance
2078.25/1129.50	java.lang.OutOfMemoryError: Java heap space
2079.15/1130.44	33:24 ERROR: Failed to solve instance
2079.15/1130.44	java.lang.OutOfMemoryError: Java heap space
2080.85/1132.10	33:26 ERROR: Failed to solve instance
2080.85/1132.10	java.lang.OutOfMemoryError: Java heap space
2081.75/1133.06	33:27 ERROR: Failed to solve instance
2081.75/1133.06	java.lang.OutOfMemoryError: Java heap space
2084.45/1135.74	33:29 ERROR: Failed to solve instance
2084.45/1135.74	java.lang.OutOfMemoryError: Java heap space
2085.35/1136.70	33:30 ERROR: Failed to solve instance
2085.35/1136.70	java.lang.OutOfMemoryError: Java heap space
2088.14/1139.47	33:33 ERROR: Failed to solve instance
2088.14/1139.47	java.lang.OutOfMemoryError: Java heap space
2089.14/1140.42	33:34 ERROR: Failed to solve instance
2089.14/1140.42	java.lang.OutOfMemoryError: Java heap space
2090.76/1142.08	33:36 ERROR: Failed to solve instance
2090.76/1142.08	java.lang.OutOfMemoryError: Java heap space
2091.75/1143.04	33:36 ERROR: Failed to solve instance
2091.75/1143.04	java.lang.OutOfMemoryError: Java heap space
2096.25/1147.60	33:41 ERROR: Failed to solve instance
2096.25/1147.60	java.lang.OutOfMemoryError: Java heap space
2097.24/1148.54	33:42 ERROR: Failed to solve instance
2097.24/1148.54	java.lang.OutOfMemoryError: Java heap space
2098.94/1150.21	33:44 ERROR: Failed to solve instance
2098.94/1150.21	java.lang.OutOfMemoryError: Java heap space
2099.85/1151.16	33:45 ERROR: Failed to solve instance
2099.85/1151.16	java.lang.OutOfMemoryError: Java heap space
2102.55/1153.84	33:47 ERROR: Failed to solve instance
2102.55/1153.84	java.lang.OutOfMemoryError: Java heap space
2103.55/1154.80	33:48 ERROR: Failed to solve instance
2103.55/1154.80	java.lang.OutOfMemoryError: Java heap space
2106.25/1157.58	33:51 ERROR: Failed to solve instance
2106.25/1157.58	java.lang.OutOfMemoryError: Java heap space
2107.26/1158.53	33:52 ERROR: Failed to solve instance
2107.26/1158.53	java.lang.OutOfMemoryError: Java heap space
2108.85/1160.19	33:54 ERROR: Failed to solve instance
2108.85/1160.19	java.lang.OutOfMemoryError: Java heap space
2109.85/1161.15	33:55 ERROR: Failed to solve instance
2109.85/1161.15	java.lang.OutOfMemoryError: Java heap space
2112.85/1164.15	33:58 ERROR: Failed to solve instance
2112.85/1164.15	java.lang.OutOfMemoryError: Java heap space
2113.85/1165.11	33:59 ERROR: Failed to solve instance
2113.85/1165.11	java.lang.OutOfMemoryError: Java heap space
2116.55/1167.87	34:01 ERROR: Failed to solve instance
2116.55/1167.87	java.lang.OutOfMemoryError: Java heap space
2117.55/1168.82	34:02 ERROR: Failed to solve instance
2117.55/1168.82	java.lang.OutOfMemoryError: Java heap space
2119.15/1170.48	34:04 ERROR: Failed to solve instance
2119.15/1170.48	java.lang.OutOfMemoryError: Java heap space
2120.15/1171.44	34:05 ERROR: Failed to solve instance
2120.15/1171.44	java.lang.OutOfMemoryError: Java heap space
2123.44/1174.79	34:08 ERROR: Failed to solve instance
2123.44/1174.79	java.lang.OutOfMemoryError: Java heap space
2124.44/1175.73	34:09 ERROR: Failed to solve instance
2124.44/1175.73	java.lang.OutOfMemoryError: Java heap space
2126.06/1177.39	34:11 ERROR: Failed to solve instance
2126.06/1177.39	java.lang.OutOfMemoryError: Java heap space
2127.06/1178.35	34:12 ERROR: Failed to solve instance
2127.06/1178.35	java.lang.OutOfMemoryError: Java heap space
2129.75/1181.03	34:14 ERROR: Failed to solve instance
2129.75/1181.03	java.lang.OutOfMemoryError: Java heap space
2130.65/1181.98	34:15 ERROR: Failed to solve instance
2130.65/1181.98	java.lang.OutOfMemoryError: Java heap space
2133.45/1184.76	34:18 ERROR: Failed to solve instance
2133.45/1184.76	java.lang.OutOfMemoryError: Java heap space
2134.45/1185.71	34:19 ERROR: Failed to solve instance
2134.45/1185.71	java.lang.OutOfMemoryError: Java heap space
2136.05/1187.37	34:21 ERROR: Failed to solve instance
2136.05/1187.37	java.lang.OutOfMemoryError: Java heap space
2137.06/1188.33	34:22 ERROR: Failed to solve instance
2137.06/1188.33	java.lang.OutOfMemoryError: Java heap space
2140.65/1191.91	34:25 ERROR: Failed to solve instance
2140.65/1191.91	java.lang.OutOfMemoryError: Java heap space
2141.55/1192.87	34:26 ERROR: Failed to solve instance
2141.55/1192.87	java.lang.OutOfMemoryError: Java heap space
2144.35/1195.64	34:29 ERROR: Failed to solve instance
2144.35/1195.64	java.lang.OutOfMemoryError: Java heap space
2145.25/1196.59	34:30 ERROR: Failed to solve instance
2145.25/1196.59	java.lang.OutOfMemoryError: Java heap space
2146.96/1198.25	34:32 ERROR: Failed to solve instance
2146.96/1198.25	java.lang.OutOfMemoryError: Java heap space
2147.95/1199.21	34:33 ERROR: Failed to solve instance
2147.95/1199.21	java.lang.OutOfMemoryError: Java heap space
2151.25/1202.57	34:36 ERROR: Failed to solve instance
2151.25/1202.57	java.lang.OutOfMemoryError: Java heap space
2152.24/1203.51	34:37 ERROR: Failed to solve instance
2152.24/1203.51	java.lang.OutOfMemoryError: Java heap space
2153.85/1205.17	34:39 ERROR: Failed to solve instance
2153.85/1205.17	java.lang.OutOfMemoryError: Java heap space
2154.85/1206.13	34:40 ERROR: Failed to solve instance
2154.85/1206.13	java.lang.OutOfMemoryError: Java heap space
2157.55/1208.81	34:42 ERROR: Failed to solve instance
2157.55/1208.81	java.lang.OutOfMemoryError: Java heap space
2158.45/1209.77	34:43 ERROR: Failed to solve instance
2158.45/1209.77	java.lang.OutOfMemoryError: Java heap space
2161.25/1212.55	34:46 ERROR: Failed to solve instance
2161.25/1212.55	java.lang.OutOfMemoryError: Java heap space
2162.14/1213.49	34:47 ERROR: Failed to solve instance
2162.14/1213.49	java.lang.OutOfMemoryError: Java heap space
2163.85/1215.16	34:49 ERROR: Failed to solve instance
2163.85/1215.16	java.lang.OutOfMemoryError: Java heap space
2164.85/1216.12	34:50 ERROR: Failed to solve instance
2164.85/1216.12	java.lang.OutOfMemoryError: Java heap space
2168.74/1220.08	34:54 ERROR: Failed to solve instance
2168.74/1220.08	java.lang.OutOfMemoryError: Java heap space
2169.74/1221.02	34:54 ERROR: Failed to solve instance
2169.74/1221.02	java.lang.OutOfMemoryError: Java heap space
2171.34/1222.68	34:56 ERROR: Failed to solve instance
2171.34/1222.68	java.lang.OutOfMemoryError: Java heap space
2172.34/1223.64	34:57 ERROR: Failed to solve instance
2172.34/1223.64	java.lang.OutOfMemoryError: Java heap space
2175.05/1226.32	35:00 ERROR: Failed to solve instance
2175.05/1226.32	java.lang.OutOfMemoryError: Java heap space
2175.95/1227.28	35:01 ERROR: Failed to solve instance
2175.95/1227.28	java.lang.OutOfMemoryError: Java heap space
2178.75/1230.06	35:03 ERROR: Failed to solve instance
2178.75/1230.06	java.lang.OutOfMemoryError: Java heap space
2179.74/1231.01	35:04 ERROR: Failed to solve instance
2179.74/1231.01	java.lang.OutOfMemoryError: Java heap space
2181.34/1232.67	35:06 ERROR: Failed to solve instance
2181.34/1232.67	java.lang.OutOfMemoryError: Java heap space
2182.34/1233.63	35:07 ERROR: Failed to solve instance
2182.34/1233.63	java.lang.OutOfMemoryError: Java heap space
2185.35/1236.61	35:10 ERROR: Failed to solve instance
2185.35/1236.61	java.lang.OutOfMemoryError: Java heap space
2186.25/1237.56	35:11 ERROR: Failed to solve instance
2186.25/1237.56	java.lang.OutOfMemoryError: Java heap space
2189.05/1240.35	35:14 ERROR: Failed to solve instance
2189.05/1240.35	java.lang.OutOfMemoryError: Java heap space
2189.95/1241.29	35:15 ERROR: Failed to solve instance
2189.95/1241.29	java.lang.OutOfMemoryError: Java heap space
2191.64/1242.96	35:16 ERROR: Failed to solve instance
2191.64/1242.96	java.lang.OutOfMemoryError: Java heap space
2192.65/1243.92	35:17 ERROR: Failed to solve instance
2192.65/1243.92	java.lang.OutOfMemoryError: Java heap space
2195.95/1247.29	35:21 ERROR: Failed to solve instance
2195.95/1247.29	java.lang.OutOfMemoryError: Java heap space
2196.95/1248.24	35:22 ERROR: Failed to solve instance
2196.95/1248.24	java.lang.OutOfMemoryError: Java heap space
2198.65/1249.90	35:23 ERROR: Failed to solve instance
2198.65/1249.90	java.lang.OutOfMemoryError: Java heap space
2199.55/1250.86	35:24 ERROR: Failed to solve instance
2199.55/1250.86	java.lang.OutOfMemoryError: Java heap space
2202.25/1253.54	35:27 ERROR: Failed to solve instance
2202.25/1253.54	java.lang.OutOfMemoryError: Java heap space
2203.25/1254.50	35:28 ERROR: Failed to solve instance
2203.25/1254.50	java.lang.OutOfMemoryError: Java heap space
2205.95/1257.28	35:31 ERROR: Failed to solve instance
2205.95/1257.28	java.lang.OutOfMemoryError: Java heap space
2206.94/1258.22	35:32 ERROR: Failed to solve instance
2206.94/1258.22	java.lang.OutOfMemoryError: Java heap space
2208.55/1259.89	35:33 ERROR: Failed to solve instance
2208.55/1259.89	java.lang.OutOfMemoryError: Java heap space
2209.55/1260.85	35:34 ERROR: Failed to solve instance
2209.55/1260.85	java.lang.OutOfMemoryError: Java heap space
2214.75/1266.00	35:39 ERROR: Failed to solve instance
2214.75/1266.00	java.lang.OutOfMemoryError: Java heap space
2215.65/1266.96	35:40 ERROR: Failed to solve instance
2215.65/1266.96	java.lang.OutOfMemoryError: Java heap space
2218.54/1269.87	35:43 ERROR: Failed to solve instance
2218.54/1269.87	java.lang.OutOfMemoryError: Java heap space
2219.75/1271.07	35:45 ERROR: Failed to solve instance
2219.75/1271.07	java.lang.OutOfMemoryError: Java heap space
2221.55/1272.87	35:46 ERROR: Failed to solve instance
2221.55/1272.87	java.lang.OutOfMemoryError: Java heap space
2222.55/1273.83	35:47 ERROR: Failed to solve instance
2222.55/1273.83	java.lang.OutOfMemoryError: Java heap space
2226.05/1277.32	35:51 ERROR: Failed to solve instance
2226.05/1277.32	java.lang.OutOfMemoryError: Java heap space
2227.26/1278.53	35:52 ERROR: Failed to solve instance
2227.26/1278.53	java.lang.OutOfMemoryError: Java heap space
2229.05/1280.33	35:54 ERROR: Failed to solve instance
2229.05/1280.33	java.lang.OutOfMemoryError: Java heap space
2229.95/1281.29	35:55 ERROR: Failed to solve instance
2229.95/1281.29	java.lang.OutOfMemoryError: Java heap space
2232.65/1283.97	35:57 ERROR: Failed to solve instance
2232.65/1283.97	java.lang.OutOfMemoryError: Java heap space
2233.64/1284.93	35:58 ERROR: Failed to solve instance
2233.64/1284.93	java.lang.OutOfMemoryError: Java heap space
2236.45/1287.70	36:01 ERROR: Failed to solve instance
2236.45/1287.70	java.lang.OutOfMemoryError: Java heap space
2237.35/1288.65	36:02 ERROR: Failed to solve instance
2237.35/1288.65	java.lang.OutOfMemoryError: Java heap space
2239.05/1290.31	36:04 ERROR: Failed to solve instance
2239.05/1290.31	java.lang.OutOfMemoryError: Java heap space
2239.95/1291.26	36:05 ERROR: Failed to solve instance
2239.95/1291.26	java.lang.OutOfMemoryError: Java heap space
2244.04/1295.35	36:09 ERROR: Failed to solve instance
2244.04/1295.35	java.lang.OutOfMemoryError: Java heap space
2245.24/1296.56	36:10 ERROR: Failed to solve instance
2245.24/1296.56	java.lang.OutOfMemoryError: Java heap space
2247.06/1298.35	36:12 ERROR: Failed to solve instance
2247.06/1298.35	java.lang.OutOfMemoryError: Java heap space
2248.06/1299.31	36:13 ERROR: Failed to solve instance
2248.06/1299.31	java.lang.OutOfMemoryError: Java heap space

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3311237-1304115273/watcher-3311237-1304115273 -o /tmp/evaluation-result-3311237-1304115273/solver-3311237-1304115273 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311237-1304115273.cnf -hbr 2 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 5.11 5.11 5.55 2/174 28912
/proc/meminfo: memFree=30203960/32950928 swapFree=67086612/67111528
[pid=28912] ppid=28910 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/28912/stat : 28912 (java) S 28910 28912 28616 0 -1 4202496 667 0 0 0 0 0 0 0 21 0 1 0 523124406 9318400 156 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239471771271 0 2147483391 4096 0 18446744071699207358 0 0 17 3 0 0 0
/proc/28912/statm: 2275 156 126 9 0 67 0

[startup+0.043595 s]
/proc/loadavg: 5.11 5.11 5.55 2/174 28912
/proc/meminfo: memFree=30203960/32950928 swapFree=67086612/67111528
[pid=28912] ppid=28910 vsize=15604248 CPUtime=0.02 cores=1,3,5,7
/proc/28912/stat : 28912 (java) S 28910 28912 28616 0 -1 4202496 3773 0 1 0 2 0 0 0 21 0 13 0 523124406 15978749952 3213 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488497637 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/28912/statm: 3901062 3213 1682 9 0 3891810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248

[startup+0.100528 s]
/proc/loadavg: 5.11 5.11 5.55 2/174 28912
/proc/meminfo: memFree=30203960/32950928 swapFree=67086612/67111528
[pid=28912] ppid=28910 vsize=15677100 CPUtime=0.1 cores=1,3,5,7
/proc/28912/stat : 28912 (java) S 28910 28912 28616 0 -1 4202496 5571 0 1 0 9 1 0 0 21 0 18 0 523124406 16053350400 4976 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28912/statm: 3919275 4976 2117 9 0 3909994 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677100

[startup+0.300485 s]
/proc/loadavg: 5.11 5.11 5.55 2/174 28912
/proc/meminfo: memFree=30203960/32950928 swapFree=67086612/67111528
[pid=28912] ppid=28910 vsize=15682584 CPUtime=0.52 cores=1,3,5,7
/proc/28912/stat : 28912 (java) S 28910 28912 28616 0 -1 4202496 14547 0 1 0 49 3 0 0 21 0 18 0 523124406 16058966016 12742 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28912/statm: 3920646 12749 2207 9 0 3911365 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15682584

[startup+0.700419 s]
/proc/loadavg: 5.11 5.11 5.55 2/174 28912
/proc/meminfo: memFree=30203960/32950928 swapFree=67086612/67111528
[pid=28912] ppid=28910 vsize=15682584 CPUtime=0.93 cores=1,3,5,7
/proc/28912/stat : 28912 (java) S 28910 28912 28616 0 -1 4202496 41875 0 1 0 86 7 0 0 21 0 18 0 523124406 16058966016 40066 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28912/statm: 3920646 40066 2223 9 0 3911365 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15682584

[startup+1.50126 s]
/proc/loadavg: 5.11 5.11 5.55 3/220 28976
/proc/meminfo: memFree=29892684/32950928 swapFree=67086612/67111528
[pid=28912] ppid=28910 vsize=15690432 CPUtime=2.23 cores=1,3,5,7
/proc/28912/stat : 28912 (java) S 28910 28912 28616 0 -1 4202496 47728 0 1 0 215 8 0 0 21 0 22 0 523124406 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28912/statm: 3922608 43678 2265 9 0 3913327 0
[pid=28912/tid=28914] ppid=28910 vsize=15690432 CPUtime=1.47 cores=1,3,5,7
/proc/28912/task/28914/stat : 28914 (java) R 28910 28912 28616 0 -1 4202560 35654 0 1 0 141 6 0 0 22 0 22 0 523124406 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 46912505228565 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28912/tid=28915] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28616 0 -1 4202560 729 0 0 0 0 0 0 0 16 0 22 0 523124407 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28916] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28616 0 -1 4202560 60 0 0 0 0 0 0 0 17 0 22 0 523124407 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28917] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28616 0 -1 4202560 65 0 0 0 0 0 0 0 16 0 22 0 523124407 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
[pid=28912/tid=28918] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28616 0 -1 4202560 20 0 0 0 0 0 0 0 18 0 22 0 523124407 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28919] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28616 0 -1 4202560 277 0 0 0 0 0 0 0 18 0 22 0 523124407 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28920] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28616 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523124407 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28921] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28616 0 -1 4202560 357 0 0 0 0 0 0 0 18 0 22 0 523124407 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
[pid=28912/tid=28922] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28616 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 523124407 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28923] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28616 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523124408 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488511488 0 0 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
[pid=28912/tid=28924] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28616 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 523124409 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28925] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28925/stat : 28925 (java) S 28910 28912 28616 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 523124409 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28936] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28936/stat : 28936 (java) S 28910 28912 28616 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523124411 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488518577 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28937] ppid=28910 vsize=15690432 CPUtime=0.4 cores=1,3,5,7
/proc/28912/task/28937/stat : 28937 (java) R 28910 28912 28616 0 -1 4202560 4140 0 0 0 40 0 0 0 15 0 22 0 523124411 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 47478857501055 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28912/tid=28938] ppid=28910 vsize=15690432 CPUtime=0.31 cores=1,3,5,7
/proc/28912/task/28938/stat : 28938 (java) S 28910 28912 28616 0 -1 4202560 4988 0 0 0 31 0 0 0 15 0 22 0 523124411 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28939] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28939/stat : 28939 (java) S 28910 28912 28616 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523124411 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28940] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28940/stat : 28940 (java) S 28910 28912 28616 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523124411 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488511488 0 4 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
[pid=28912/tid=28969] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28969/stat : 28969 (java) S 28910 28912 28616 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 523124491 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488511488 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28970] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28970/stat : 28970 (java) S 28910 28912 28616 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523124491 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488511488 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28971] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28971/stat : 28971 (java) S 28910 28912 28616 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 523124491 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488511488 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28972] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28972/stat : 28972 (java) S 28910 28912 28616 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523124491 16067002368 43678 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488511488 0 4 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 15690432

[startup+3.10795 s]
/proc/loadavg: 5.02 5.09 5.54 2/220 28976
/proc/meminfo: memFree=29845836/32950928 swapFree=67086612/67111528
[pid=28912] ppid=28910 vsize=15690432 CPUtime=5.74 cores=1,3,5,7
/proc/28912/stat : 28912 (java) S 28910 28912 28616 0 -1 4202496 67878 0 1 0 564 10 0 0 21 0 22 0 523124406 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28912/statm: 3922608 63433 2275 9 0 3913327 0
[pid=28912/tid=28914] ppid=28910 vsize=15690432 CPUtime=2.04 cores=1,3,5,7
/proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28616 0 -1 4202560 35706 0 1 0 198 6 0 0 18 0 22 0 523124406 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28915] ppid=28910 vsize=15690432 CPUtime=0.01 cores=1,3,5,7
/proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28616 0 -1 4202560 4656 0 0 0 1 0 0 0 16 0 22 0 523124407 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28916] ppid=28910 vsize=15690432 CPUtime=0.01 cores=1,3,5,7
/proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28616 0 -1 4202560 2815 0 0 0 1 0 0 0 15 0 22 0 523124407 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28917] ppid=28910 vsize=15690432 CPUtime=0.01 cores=1,3,5,7
/proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28616 0 -1 4202560 2224 0 0 0 1 0 0 0 16 0 22 0 523124407 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28918] ppid=28910 vsize=15690432 CPUtime=0.01 cores=1,3,5,7
/proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28616 0 -1 4202560 2688 0 0 0 1 0 0 0 15 0 22 0 523124407 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28919] ppid=28910 vsize=15690432 CPUtime=0.02 cores=1,3,5,7
/proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28616 0 -1 4202560 3808 0 0 0 2 0 0 0 15 0 22 0 523124407 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28920] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28616 0 -1 4202560 1592 0 0 0 0 0 0 0 15 0 22 0 523124407 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28921] ppid=28910 vsize=15690432 CPUtime=0.01 cores=1,3,5,7
/proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28616 0 -1 4202560 1483 0 0 0 1 0 0 0 15 0 22 0 523124407 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28922] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28616 0 -1 4202560 1693 0 0 0 0 0 0 0 15 0 22 0 523124407 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28923] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28616 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 22 0 523124408 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488511488 0 0 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28924] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28616 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523124409 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28925] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28925/stat : 28925 (java) S 28910 28912 28616 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523124409 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28936] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28936/stat : 28936 (java) S 28910 28912 28616 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523124411 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488518577 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28937] ppid=28910 vsize=15690432 CPUtime=0.74 cores=1,3,5,7
/proc/28912/task/28937/stat : 28937 (java) S 28910 28912 28616 0 -1 4202560 4187 0 0 0 74 0 0 0 15 0 22 0 523124411 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28938] ppid=28910 vsize=15690432 CPUtime=0.87 cores=1,3,5,7
/proc/28912/task/28938/stat : 28938 (java) S 28910 28912 28616 0 -1 4202560 5492 0 0 0 87 0 0 0 15 0 22 0 523124411 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
[pid=28912/tid=28939] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28939/stat : 28939 (java) S 28910 28912 28616 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523124411 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28940] ppid=28910 vsize=15690432 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28940/stat : 28940 (java) S 28910 28912 28616 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523124411 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488511488 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28969] ppid=28910 vsize=15690432 CPUtime=0.66 cores=1,3,5,7
/proc/28912/task/28969/stat : 28969 (java) R 28910 28912 28616 0 -1 4202560 17 0 0 0 66 0 0 0 16 0 22 0 523124491 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 47478861977590 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28912/tid=28970] ppid=28910 vsize=15690432 CPUtime=0.61 cores=1,3,5,7
/proc/28912/task/28970/stat : 28970 (java) R 28910 28912 28616 0 -1 4202560 20 0 0 0 61 0 0 0 15 0 22 0 523124491 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 46912506238458 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28912/tid=28971] ppid=28910 vsize=15690432 CPUtime=0.39 cores=1,3,5,7
/proc/28912/task/28971/stat : 28971 (java) R 28910 28912 28616 0 -1 4202560 11 0 0 0 39 0 0 0 15 0 22 0 523124491 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 47478861975776 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28912/tid=28972] ppid=28910 vsize=15690432 CPUtime=0.26 cores=1,3,5,7
/proc/28912/task/28972/stat : 28972 (java) S 28910 28912 28616 0 -1 4202560 8 0 0 0 26 0 0 0 15 0 22 0 523124491 16067002368 63433 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488511488 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 15690432

[startup+6.30128 s]
/proc/loadavg: 5.02 5.09 5.54 10/220 28976
/proc/meminfo: memFree=28527580/32950928 swapFree=67086612/67111528
[pid=28912] ppid=28910 vsize=15686176 CPUtime=18.47 cores=1,3,5,7
/proc/28912/stat : 28912 (java) S 28910 28912 28616 0 -1 4202496 267339 0 1 0 1811 36 0 0 21 0 22 0 523124406 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28912/statm: 3921544 260953 2275 9 0 3912263 0
[pid=28912/tid=28914] ppid=28910 vsize=15686176 CPUtime=2.04 cores=1,3,5,7
/proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28616 0 -1 4202560 35706 0 1 0 198 6 0 0 18 0 22 0 523124406 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28915] ppid=28910 vsize=15686176 CPUtime=0.2 cores=1,3,5,7
/proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28616 0 -1 4202560 38426 0 0 0 16 4 0 0 16 0 22 0 523124407 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
[pid=28912/tid=28916] ppid=28910 vsize=15686176 CPUtime=0.02 cores=1,3,5,7
/proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28616 0 -1 4202560 7555 0 0 0 2 0 0 0 15 0 22 0 523124407 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28917] ppid=28910 vsize=15686176 CPUtime=0.15 cores=1,3,5,7
/proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28616 0 -1 4202560 22556 0 0 0 13 2 0 0 15 0 22 0 523124407 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28918] ppid=28910 vsize=15686176 CPUtime=0.1 cores=1,3,5,7
/proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28616 0 -1 4202560 11071 0 0 0 9 1 0 0 15 0 22 0 523124407 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28919] ppid=28910 vsize=15686176 CPUtime=0.18 cores=1,3,5,7
/proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28616 0 -1 4202560 37463 0 0 0 14 4 0 0 15 0 22 0 523124407 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28920] ppid=28910 vsize=15686176 CPUtime=0.08 cores=1,3,5,7
/proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28616 0 -1 4202560 12301 0 0 0 7 1 0 0 15 0 22 0 523124407 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28921] ppid=28910 vsize=15686176 CPUtime=0.12 cores=1,3,5,7
/proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28616 0 -1 4202560 12087 0 0 0 11 1 0 0 15 0 22 0 523124407 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28922] ppid=28910 vsize=15686176 CPUtime=0.15 cores=1,3,5,7
/proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28616 0 -1 4202560 21378 0 0 0 12 3 0 0 15 0 22 0 523124407 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28923] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28923/stat : 28923 (java) S 28910 28912 28616 0 -1 4202560 487 0 0 0 0 0 0 0 15 0 22 0 523124408 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488511488 0 0 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28924] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28616 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523124409 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28925] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28925/stat : 28925 (java) S 28910 28912 28616 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523124409 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28936] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28936/stat : 28936 (java) S 28910 28912 28616 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523124411 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488518577 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28937] ppid=28910 vsize=15686176 CPUtime=0.74 cores=1,3,5,7
/proc/28912/task/28937/stat : 28937 (java) S 28910 28912 28616 0 -1 4202560 4187 0 0 0 74 0 0 0 15 0 22 0 523124411 16062644224 260953 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0

################
# More data... #
################

[pid=28912/tid=28914] ppid=28910 vsize=15686176 CPUtime=2.04 cores=1,3,5,7
/proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28616 0 -1 4202560 35706 0 1 0 198 6 0 0 18 0 19 0 523124406 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28915] ppid=28910 vsize=15686176 CPUtime=2.15 cores=1,3,5,7
/proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28616 0 -1 4202560 313240 0 0 0 165 50 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
[pid=28912/tid=28916] ppid=28910 vsize=15686176 CPUtime=3.1 cores=1,3,5,7
/proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28616 0 -1 4202560 430757 0 0 0 240 70 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28917] ppid=28910 vsize=15686176 CPUtime=2.63 cores=1,3,5,7
/proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28616 0 -1 4202560 380822 0 0 0 201 62 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28918] ppid=28910 vsize=15686176 CPUtime=2.21 cores=1,3,5,7
/proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28616 0 -1 4202560 241630 0 0 0 180 41 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28919] ppid=28910 vsize=15686176 CPUtime=2.78 cores=1,3,5,7
/proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28616 0 -1 4202560 371916 0 0 0 219 59 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28920] ppid=28910 vsize=15686176 CPUtime=3.17 cores=1,3,5,7
/proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28616 0 -1 4202560 473810 0 0 0 242 75 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28921] ppid=28910 vsize=15686176 CPUtime=3.07 cores=1,3,5,7
/proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28616 0 -1 4202560 411869 0 0 0 238 69 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
[pid=28912/tid=28922] ppid=28910 vsize=15686176 CPUtime=2.83 cores=1,3,5,7
/proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28616 0 -1 4202560 289641 0 0 0 234 49 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28923] ppid=28910 vsize=15686176 CPUtime=718.92 cores=1,3,5,7
/proc/28912/task/28923/stat : 28923 (java) R 28910 28912 28616 0 -1 4202560 668176 0 0 0 71750 142 0 0 15 0 19 0 523124408 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 47478861744144 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=28912/tid=28924] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28616 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 523124409 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28925] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28925/stat : 28925 (java) S 28910 28912 28616 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 523124409 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28936] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28936/stat : 28936 (java) S 28910 28912 28616 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 523124411 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488518577 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28937] ppid=28910 vsize=15686176 CPUtime=0.8 cores=1,3,5,7
/proc/28912/task/28937/stat : 28937 (java) S 28910 28912 28616 0 -1 4202560 4188 0 0 0 80 0 0 0 15 0 19 0 523124411 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28938] ppid=28910 vsize=15686176 CPUtime=1.11 cores=1,3,5,7
/proc/28912/task/28938/stat : 28938 (java) S 28910 28912 28616 0 -1 4202560 5530 0 0 0 111 0 0 0 15 0 19 0 523124411 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28939] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28939/stat : 28939 (java) S 28910 28912 28616 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 523124411 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28940] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28940/stat : 28940 (java) S 28910 28912 28616 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 19 0 523124411 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488511488 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28969] ppid=28910 vsize=15686176 CPUtime=515.1 cores=1,3,5,7
/proc/28912/task/28969/stat : 28969 (java) S 28910 28912 28616 0 -1 4202560 64741 0 0 0 51486 24 0 0 15 0 19 0 523124491 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2191.04
Current children cumulated vsize (KiB) 15686176



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 5.09 5.15 5.48 6/217 29062
/proc/meminfo: memFree=8811480/32950928 swapFree=67086612/67111528
[pid=28912] ppid=28910 vsize=15686176 CPUtime=2248.76 cores=1,3,5,7
/proc/28912/stat : 28912 (java) S 28910 28912 28616 0 -1 4202496 3889101 0 1 0 224185 691 0 0 21 0 19 0 523124406 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28912/statm: 3921544 3856784 2295 9 0 3912263 0
[pid=28912/tid=28914] ppid=28910 vsize=15686176 CPUtime=2.04 cores=1,3,5,7
/proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28616 0 -1 4202560 35706 0 1 0 198 6 0 0 18 0 19 0 523124406 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28915] ppid=28910 vsize=15686176 CPUtime=2.15 cores=1,3,5,7
/proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28616 0 -1 4202560 313240 0 0 0 165 50 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
[pid=28912/tid=28916] ppid=28910 vsize=15686176 CPUtime=3.1 cores=1,3,5,7
/proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28616 0 -1 4202560 430757 0 0 0 240 70 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28917] ppid=28910 vsize=15686176 CPUtime=2.63 cores=1,3,5,7
/proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28616 0 -1 4202560 380822 0 0 0 201 62 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28918] ppid=28910 vsize=15686176 CPUtime=2.21 cores=1,3,5,7
/proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28616 0 -1 4202560 241630 0 0 0 180 41 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28919] ppid=28910 vsize=15686176 CPUtime=2.78 cores=1,3,5,7
/proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28616 0 -1 4202560 371916 0 0 0 219 59 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28920] ppid=28910 vsize=15686176 CPUtime=3.17 cores=1,3,5,7
/proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28616 0 -1 4202560 473810 0 0 0 242 75 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28921] ppid=28910 vsize=15686176 CPUtime=3.07 cores=1,3,5,7
/proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28616 0 -1 4202560 411869 0 0 0 238 69 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
[pid=28912/tid=28922] ppid=28910 vsize=15686176 CPUtime=2.83 cores=1,3,5,7
/proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28616 0 -1 4202560 289641 0 0 0 234 49 0 0 16 0 19 0 523124407 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28923] ppid=28910 vsize=15686176 CPUtime=759.91 cores=1,3,5,7
/proc/28912/task/28923/stat : 28923 (java) R 28910 28912 28616 0 -1 4202560 668182 0 0 0 75844 147 0 0 15 0 19 0 523124408 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 47478861129512 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=28912/tid=28924] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28616 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 523124409 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28925] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28925/stat : 28925 (java) S 28910 28912 28616 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 523124409 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28936] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28936/stat : 28936 (java) S 28910 28912 28616 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 523124411 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488518577 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28937] ppid=28910 vsize=15686176 CPUtime=0.8 cores=1,3,5,7
/proc/28912/task/28937/stat : 28937 (java) S 28910 28912 28616 0 -1 4202560 4188 0 0 0 80 0 0 0 15 0 19 0 523124411 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28938] ppid=28910 vsize=15686176 CPUtime=1.11 cores=1,3,5,7
/proc/28912/task/28938/stat : 28938 (java) S 28910 28912 28616 0 -1 4202560 5530 0 0 0 111 0 0 0 15 0 19 0 523124411 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28939] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28939/stat : 28939 (java) S 28910 28912 28616 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 523124411 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28940] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28940/stat : 28940 (java) S 28910 28912 28616 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 523124411 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488511488 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28969] ppid=28910 vsize=15686176 CPUtime=531.81 cores=1,3,5,7
/proc/28912/task/28969/stat : 28969 (java) S 28910 28912 28616 0 -1 4202560 65157 0 0 0 53156 25 0 0 15 0 19 0 523124491 16062644224 3856784 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2248.76
Current children cumulated vsize (KiB) 15686176

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1300.11 s]
/proc/loadavg: 5.09 5.15 5.48 6/217 29062
/proc/meminfo: memFree=8811480/32950928 swapFree=67086612/67111528
[pid=28912] ppid=28910 vsize=15686176 CPUtime=2248.86 cores=1,3,5,7
/proc/28912/stat : 28912 (java) S 28910 28912 28616 0 -1 4202496 3889109 0 1 0 224195 691 0 0 18 0 20 0 523124406 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28912/statm: 3921544 3856790 2295 9 0 3912263 0
[pid=28912/tid=28914] ppid=28910 vsize=15686176 CPUtime=2.04 cores=1,3,5,7
/proc/28912/task/28914/stat : 28914 (java) S 28910 28912 28616 0 -1 4202560 35706 0 1 0 198 6 0 0 18 0 20 0 523124406 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28915] ppid=28910 vsize=15686176 CPUtime=2.15 cores=1,3,5,7
/proc/28912/task/28915/stat : 28915 (java) S 28910 28912 28616 0 -1 4202560 313240 0 0 0 165 50 0 0 16 0 20 0 523124407 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
[pid=28912/tid=28916] ppid=28910 vsize=15686176 CPUtime=3.1 cores=1,3,5,7
/proc/28912/task/28916/stat : 28916 (java) S 28910 28912 28616 0 -1 4202560 430757 0 0 0 240 70 0 0 16 0 20 0 523124407 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28917] ppid=28910 vsize=15686176 CPUtime=2.63 cores=1,3,5,7
/proc/28912/task/28917/stat : 28917 (java) S 28910 28912 28616 0 -1 4202560 380822 0 0 0 201 62 0 0 16 0 20 0 523124407 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28918] ppid=28910 vsize=15686176 CPUtime=2.21 cores=1,3,5,7
/proc/28912/task/28918/stat : 28918 (java) S 28910 28912 28616 0 -1 4202560 241630 0 0 0 180 41 0 0 16 0 20 0 523124407 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28919] ppid=28910 vsize=15686176 CPUtime=2.78 cores=1,3,5,7
/proc/28912/task/28919/stat : 28919 (java) S 28910 28912 28616 0 -1 4202560 371916 0 0 0 219 59 0 0 16 0 20 0 523124407 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28920] ppid=28910 vsize=15686176 CPUtime=3.17 cores=1,3,5,7
/proc/28912/task/28920/stat : 28920 (java) S 28910 28912 28616 0 -1 4202560 473810 0 0 0 242 75 0 0 16 0 20 0 523124407 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28921] ppid=28910 vsize=15686176 CPUtime=3.07 cores=1,3,5,7
/proc/28912/task/28921/stat : 28921 (java) S 28910 28912 28616 0 -1 4202560 411869 0 0 0 238 69 0 0 16 0 20 0 523124407 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
[pid=28912/tid=28922] ppid=28910 vsize=15686176 CPUtime=2.83 cores=1,3,5,7
/proc/28912/task/28922/stat : 28922 (java) S 28910 28912 28616 0 -1 4202560 289641 0 0 0 234 49 0 0 16 0 20 0 523124407 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28923] ppid=28910 vsize=15686176 CPUtime=760.02 cores=1,3,5,7
/proc/28912/task/28923/stat : 28923 (java) R 28910 28912 28616 0 -1 4202560 668182 0 0 0 75855 147 0 0 16 0 20 0 523124408 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 47478861016207 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=28912/tid=28924] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28924/stat : 28924 (java) S 28910 28912 28616 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 20 0 523124409 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28925] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28925/stat : 28925 (java) S 28910 28912 28616 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 20 0 523124409 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
[pid=28912/tid=28936] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28936/stat : 28936 (java) S 28910 28912 28616 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 20 0 523124411 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488518577 0 4 0 16800975 18446604462527531712 0 0 -1 7 0 0 0
[pid=28912/tid=28937] ppid=28910 vsize=15686176 CPUtime=0.8 cores=1,3,5,7
/proc/28912/task/28937/stat : 28937 (java) S 28910 28912 28616 0 -1 4202560 4188 0 0 0 80 0 0 0 15 0 20 0 523124411 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28938] ppid=28910 vsize=15686176 CPUtime=1.11 cores=1,3,5,7
/proc/28912/task/28938/stat : 28938 (java) S 28910 28912 28616 0 -1 4202560 5530 0 0 0 111 0 0 0 15 0 20 0 523124411 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28939] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28939/stat : 28939 (java) S 28910 28912 28616 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 20 0 523124411 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 3 0 0 0
[pid=28912/tid=28940] ppid=28910 vsize=15686176 CPUtime=0 cores=1,3,5,7
/proc/28912/task/28940/stat : 28940 (java) S 28910 28912 28616 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 20 0 523124411 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488511488 0 4 0 16800975 18446604462527531712 0 0 -1 1 0 0 0
[pid=28912/tid=28969] ppid=28910 vsize=15686176 CPUtime=531.81 cores=1,3,5,7
/proc/28912/task/28969/stat : 28969 (java) S 28910 28912 28616 0 -1 4202560 65157 0 0 0 53156 25 0 0 15 0 20 0 523124491 16062644224 3856790 33554432000 1073741824 1073778376 140733964108400 18446744073709551615 239488510873 0 4 0 16800975 18446604462527531712 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2248.86
Current children cumulated vsize (KiB) 15686176

[startup+1300.51 s]
/proc/loadavg: 5.09 5.15 5.48 6/201 29065
/proc/meminfo: memFree=10154704/32950928 swapFree=67086612/67111528
[pid=28912] ppid=28910 vsize=0 CPUtime=2249.26 cores=1,3,5,7
/proc/28912/stat : 28912 (java) Z 28910 28912 28616 0 -1 4203548 3889115 0 1 0 224220 706 0 0 15 0 2 0 523124406 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28912/statm: 0 0 0 0 0 0 0
[pid=28912/tid=28919] ppid=28910 vsize=0 CPUtime=2.93 cores=1,3,5,7
/proc/28912/task/28919/stat : 28919 (java) R 28910 28912 28616 0 -1 4203588 371916 0 0 0 219 74 0 0 16 0 2 0 523124407 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2249.26
Current children cumulated vsize (KiB) 0

[startup+1300.7 s]
/proc/loadavg: 5.09 5.15 5.48 6/201 29065
/proc/meminfo: memFree=10154704/32950928 swapFree=67086612/67111528
[pid=28912] ppid=28910 vsize=0 CPUtime=2249.45 cores=1,3,5,7
/proc/28912/stat : 28912 (java) Z 28910 28912 28616 0 -1 4203548 3889115 0 1 0 224220 725 0 0 15 0 2 0 523124406 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28912/statm: 0 0 0 0 0 0 0
[pid=28912/tid=28919] ppid=28910 vsize=0 CPUtime=3.13 cores=1,3,5,7
/proc/28912/task/28919/stat : 28919 (java) R 28910 28912 28616 0 -1 4203588 371916 0 0 0 219 94 0 0 16 0 2 0 523124407 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2249.45
Current children cumulated vsize (KiB) 0

[startup+1300.8 s]
/proc/loadavg: 5.09 5.15 5.48 6/201 29065
/proc/meminfo: memFree=10154704/32950928 swapFree=67086612/67111528
[pid=28912] ppid=28910 vsize=0 CPUtime=2249.55 cores=1,3,5,7
/proc/28912/stat : 28912 (java) Z 28910 28912 28616 0 -1 4203548 3889115 0 1 0 224220 735 0 0 15 0 2 0 523124406 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/28912/statm: 0 0 0 0 0 0 0
[pid=28912/tid=28919] ppid=28910 vsize=0 CPUtime=3.23 cores=1,3,5,7
/proc/28912/task/28919/stat : 28919 (java) R 28910 28912 28616 0 -1 4203588 371916 0 0 0 219 104 0 0 16 0 2 0 523124407 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2249.55
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1300.85
CPU time (s): 2249.61
CPU user time (s): 2242.2
CPU system time (s): 7.41087
CPU usage (%): 172.934
Max. virtual memory (cumulated for all children) (KiB): 15690432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2242.2
system time used= 7.41087
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3889115
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47411
involuntary context switches= 21759

runsolver used 2.26365 second user time and 4.91825 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-30 00:14:33
IDJOB=3311237
IDBENCH=82622
IDSOLVER=1698
FILE ID=node148/3311237-1304115273
RUNJOBID= node148-1304112761-28635
PBS_JOBID= 13170695
Free space on /tmp= 71428 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311237-1304115273/watcher-3311237-1304115273 -o /tmp/evaluation-result-3311237-1304115273/solver-3311237-1304115273 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311237-1304115273.cnf -hbr 2

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 48acd8df0141c3f57a132eb6d7253d5f
RANDOM SEED=1198944315

node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30204116 kB
Buffers:        707464 kB
Cached:        1631848 kB
SwapCached:       3696 kB
Active:         123352 kB
Inactive:      2259936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30204116 kB
SwapTotal:    67111528 kB
SwapFree:     67086612 kB
Dirty:            4616 kB
Writeback:          12 kB
AnonPages:       42584 kB
Mapped:          13744 kB
Slab:           300452 kB
PageTables:       4444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   192032 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71428 MiB
End job on node148 at 2011-04-30 00:36:15