Trace number 3311232

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) 2407.39 1302.56

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf
MD5SUMc0e1e71ade06eb64bd0f5dbaf6b892a1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark138.192
Satisfiable
(Un)Satisfiability was proved
Number of variables40000
Number of clauses168000
Sum of the clauses size504000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3168000
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	08:48 INFO : Reading from input HOME/instance-3311232-1304114928.cnf
1.13/0.90	Executor set job limit to 1000000
1.13/0.91	Executor set job limit to 1000000
1.13/0.91	Executor set job limit to 1000000
1.13/0.91	Executor set job limit to 1000000
1.13/0.91	Starting Executor!
1.13/0.91	Starting Executor!
1.13/0.91	Starting Executor!
1.13/0.91	Starting Executor!
3.86/2.47	08:51 INFO : 39837 variables remaining out of 40000
3.86/2.47	08:51 INFO : 667920 literals remaining out of 672000
1259.59/342.25	14:30 ERROR: Failed to solve instance
1259.59/342.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1259.59/342.25		at gnu.trove.TIntArrayList.ensureCapacity(TIntArrayList.java:100)
1259.59/342.25		at gnu.trove.TIntArrayList.add(TIntArrayList.java:144)
1259.59/342.25		at ibis.structure.Subsumming.run(Subsumming.java:57)
1259.59/342.25		at ibis.structure.Solver.simplify(Solver.java:205)
1259.59/342.25		at ibis.structure.Solver.solve(Solver.java:113)
1259.59/342.25		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1259.59/342.25		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1259.59/342.25		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1259.59/342.25		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1259.59/342.25		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1259.59/342.25		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1259.59/342.25		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1259.59/342.25		at ibis.constellation.Executor.processActivities(Executor.java:75)
1259.59/342.25		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1259.59/342.25		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1259.59/342.25		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1262.23/344.84	14:33 ERROR: Failed to solve instance
1262.23/344.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1262.23/344.84		at gnu.trove.TPrimitiveHash.setUp(TPrimitiveHash.java:123)
1262.23/344.84		at gnu.trove.TIntHash.setUp(TIntHash.java:133)
1262.23/344.84		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83)
1262.23/344.84		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1262.23/344.84		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1262.23/344.84		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1262.23/344.84		at ibis.structure.WatchLists.build(WatchLists.java:47)
1262.23/344.84		at ibis.structure.Solver.<init>(Solver.java:45)
1262.23/344.84		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1262.23/344.84		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1262.23/344.84		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1262.23/344.84		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1262.23/344.84		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1262.23/344.84		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1262.23/344.84		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1262.23/344.84		at ibis.constellation.Executor.processActivities(Executor.java:75)
1262.23/344.84		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1262.23/344.84		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1262.23/344.84		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1264.66/347.23	14:35 ERROR: Failed to solve instance
1264.66/347.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1264.66/347.23		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:169)
1264.66/347.23		at gnu.trove.THash.postInsertHook(THash.java:370)
1264.66/347.23		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1264.66/347.23		at ibis.structure.WatchLists.build(WatchLists.java:56)
1264.66/347.23		at ibis.structure.Solver.<init>(Solver.java:45)
1264.66/347.23		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1264.66/347.23		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1264.66/347.23		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1264.66/347.23		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1264.66/347.23		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1264.66/347.23		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1264.66/347.23		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1264.66/347.23		at ibis.constellation.Executor.processActivities(Executor.java:75)
1264.66/347.23		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1264.66/347.23		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1264.66/347.23		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1266.98/349.54	14:38 ERROR: Failed to solve instance
1266.98/349.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1266.98/349.54		at ibis.structure.WatchLists.build(WatchLists.java:47)
1266.98/349.54		at ibis.structure.Solver.<init>(Solver.java:45)
1266.98/349.54		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1266.98/349.54		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1266.98/349.54		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1266.98/349.54		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1266.98/349.54		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1266.98/349.54		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1266.98/349.54		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1266.98/349.54		at ibis.constellation.Executor.processActivities(Executor.java:75)
1266.98/349.54		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1266.98/349.54		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1266.98/349.54		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1273.52/355.27	14:43 ERROR: Failed to solve instance
1273.52/355.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1275.84/357.60	14:46 ERROR: Failed to solve instance
1275.84/357.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1276.46/358.15	14:46 ERROR: Failed to solve instance
1276.46/358.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1281.34/362.06	14:50 ERROR: Failed to solve instance
1281.34/362.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1284.17/364.87	14:53 ERROR: Failed to solve instance
1284.17/364.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1284.79/365.44	14:54 ERROR: Failed to solve instance
1284.79/365.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1288.29/368.21	14:56 ERROR: Failed to solve instance
1288.29/368.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1288.82/368.72	14:57 ERROR: Failed to solve instance
1288.82/368.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1289.84/369.76	14:58 ERROR: Failed to solve instance
1289.84/369.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1290.36/370.28	14:58 ERROR: Failed to solve instance
1290.36/370.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1290.87/370.76	14:59 ERROR: Failed to solve instance
1290.87/370.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1291.54/371.34	15:00 ERROR: Failed to solve instance
1291.54/371.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1300.24/378.00	15:06 ERROR: Failed to solve instance
1300.24/378.00	java.lang.OutOfMemoryError: Java heap space
1300.44/378.26	15:06 ERROR: Failed to solve instance
1300.44/378.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1308.70/384.72	15:13 ERROR: Failed to solve instance
1308.70/384.72	java.lang.OutOfMemoryError: Java heap space
1309.10/385.19	15:13 ERROR: Failed to solve instance
1309.10/385.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1310.12/386.18	15:14 ERROR: Failed to solve instance
1310.12/386.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1310.73/386.70	15:15 ERROR: Failed to solve instance
1310.73/386.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1311.24/387.28	15:15 ERROR: Failed to solve instance
1311.24/387.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1319.01/393.32	15:22 ERROR: Failed to solve instance
1319.01/393.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1319.84/394.16	15:22 ERROR: Failed to solve instance
1319.84/394.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1320.24/394.55	15:23 ERROR: Failed to solve instance
1320.24/394.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1320.75/395.02	15:23 ERROR: Failed to solve instance
1320.75/395.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1321.17/395.48	15:24 ERROR: Failed to solve instance
1321.17/395.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1322.20/396.43	15:25 ERROR: Failed to solve instance
1322.20/396.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1322.73/396.95	15:25 ERROR: Failed to solve instance
1322.73/396.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1326.83/400.24	15:28 ERROR: Failed to solve instance
1326.83/400.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1327.36/400.74	15:29 ERROR: Failed to solve instance
1327.36/400.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1328.01/401.31	15:29 ERROR: Failed to solve instance
1328.01/401.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1332.59/405.23	15:33 ERROR: Failed to solve instance
1332.59/405.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1333.12/405.78	15:34 ERROR: Failed to solve instance
1333.12/405.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1333.75/406.36	15:35 ERROR: Failed to solve instance
1333.75/406.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1339.66/410.97	15:39 ERROR: Failed to solve instance
1339.66/410.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1340.17/411.43	15:40 ERROR: Failed to solve instance
1340.17/411.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1340.71/412.00	15:40 ERROR: Failed to solve instance
1340.71/412.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1344.82/415.29	15:43 ERROR: Failed to solve instance
1344.82/415.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.84/416.25	15:44 ERROR: Failed to solve instance
1345.84/416.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.36/416.77	15:45 ERROR: Failed to solve instance
1346.36/416.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.98/417.32	15:46 ERROR: Failed to solve instance
1346.98/417.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1347.60/417.91	15:46 ERROR: Failed to solve instance
1347.60/417.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1358.08/425.96	15:54 ERROR: Failed to solve instance
1358.08/425.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1358.60/426.45	15:55 ERROR: Failed to solve instance
1358.60/426.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1359.11/426.98	15:55 ERROR: Failed to solve instance
1359.11/426.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1360.15/428.00	15:56 ERROR: Failed to solve instance
1360.15/428.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1360.78/428.55	15:57 ERROR: Failed to solve instance
1360.78/428.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1361.40/429.17	15:57 ERROR: Failed to solve instance
1361.40/429.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1368.72/434.85	16:03 ERROR: Failed to solve instance
1368.72/434.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1369.74/435.83	16:04 ERROR: Failed to solve instance
1369.74/435.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1370.27/436.38	16:05 ERROR: Failed to solve instance
1370.27/436.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1374.94/440.15	16:08 ERROR: Failed to solve instance
1374.94/440.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1375.45/440.65	16:09 ERROR: Failed to solve instance
1375.45/440.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.08/441.21	16:09 ERROR: Failed to solve instance
1376.08/441.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1377.12/442.27	16:10 ERROR: Failed to solve instance
1377.12/442.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1377.66/442.83	16:11 ERROR: Failed to solve instance
1377.66/442.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1387.28/450.27	16:18 ERROR: Failed to solve instance
1387.28/450.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1387.97/450.96	16:19 ERROR: Failed to solve instance
1387.97/450.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1388.48/451.46	16:20 ERROR: Failed to solve instance
1388.48/451.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1389.51/452.49	16:21 ERROR: Failed to solve instance
1389.51/452.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1389.91/452.89	16:21 ERROR: Failed to solve instance
1389.91/452.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1390.43/453.39	16:22 ERROR: Failed to solve instance
1390.43/453.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1391.06/453.95	16:22 ERROR: Failed to solve instance
1391.06/453.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1394.36/456.58	16:25 ERROR: Failed to solve instance
1394.36/456.58	java.lang.OutOfMemoryError: Java heap space
1402.10/462.57	16:31 ERROR: Failed to solve instance
1402.10/462.57	java.lang.OutOfMemoryError: Java heap space
1402.61/463.05	16:31 ERROR: Failed to solve instance
1402.61/463.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1403.63/464.06	16:32 ERROR: Failed to solve instance
1403.63/464.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1404.15/464.59	16:33 ERROR: Failed to solve instance
1404.15/464.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1404.77/465.16	16:33 ERROR: Failed to solve instance
1404.77/465.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1409.83/468.95	16:37 ERROR: Failed to solve instance
1409.83/468.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1410.86/469.92	16:38 ERROR: Failed to solve instance
1410.86/469.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.38/470.46	16:39 ERROR: Failed to solve instance
1411.38/470.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.92/471.01	16:39 ERROR: Failed to solve instance
1411.92/471.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1420.17/477.49	16:46 ERROR: Failed to solve instance
1420.17/477.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1420.68/477.94	16:46 ERROR: Failed to solve instance
1420.68/477.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.19/478.43	16:47 ERROR: Failed to solve instance
1421.19/478.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.61/478.90	16:47 ERROR: Failed to solve instance
1421.61/478.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1422.53/479.80	16:48 ERROR: Failed to solve instance
1422.53/479.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1423.05/480.29	16:48 ERROR: Failed to solve instance
1423.05/480.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1423.67/480.81	16:49 ERROR: Failed to solve instance
1423.67/480.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1424.20/481.36	16:50 ERROR: Failed to solve instance
1424.20/481.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1431.75/487.50	16:56 ERROR: Failed to solve instance
1431.75/487.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1432.37/488.01	16:56 ERROR: Failed to solve instance
1432.37/488.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1432.90/488.57	16:57 ERROR: Failed to solve instance
1432.90/488.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1442.33/496.14	17:04 ERROR: Failed to solve instance
1442.33/496.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1442.73/496.54	17:05 ERROR: Failed to solve instance
1442.73/496.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1443.16/496.99	17:05 ERROR: Failed to solve instance
1443.16/496.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1444.08/497.88	17:06 ERROR: Failed to solve instance
1444.08/497.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1444.59/498.36	17:07 ERROR: Failed to solve instance
1444.59/498.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.12/498.88	17:07 ERROR: Failed to solve instance
1445.12/498.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.75/499.44	17:08 ERROR: Failed to solve instance
1445.75/499.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1450.19/503.12	17:11 ERROR: Failed to solve instance
1450.19/503.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1450.91/503.87	17:12 ERROR: Failed to solve instance
1450.91/503.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1451.54/504.42	17:13 ERROR: Failed to solve instance
1451.54/504.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1457.72/509.38	17:18 ERROR: Failed to solve instance
1457.72/509.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1461.98/512.97	17:21 ERROR: Failed to solve instance
1461.98/512.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1462.49/513.44	17:22 ERROR: Failed to solve instance
1462.49/513.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1463.01/513.95	17:22 ERROR: Failed to solve instance
1463.01/513.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1464.03/514.95	17:23 ERROR: Failed to solve instance
1464.03/514.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1464.71/515.51	17:24 ERROR: Failed to solve instance
1464.71/515.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1465.21/516.10	17:24 ERROR: Failed to solve instance
1465.21/516.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1474.58/523.58	17:32 ERROR: Failed to solve instance
1474.58/523.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1475.10/524.08	17:32 ERROR: Failed to solve instance
1475.10/524.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1475.73/524.63	17:33 ERROR: Failed to solve instance
1475.73/524.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1476.61/525.49	17:34 ERROR: Failed to solve instance
1476.61/525.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1479.75/528.05	17:36 ERROR: Failed to solve instance
1479.75/528.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1480.92/529.11	17:37 ERROR: Failed to solve instance
1480.92/529.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1481.43/529.64	17:38 ERROR: Failed to solve instance
1481.43/529.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1485.58/533.04	17:41 ERROR: Failed to solve instance
1485.58/533.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1486.10/533.57	17:42 ERROR: Failed to solve instance
1486.10/533.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1486.73/534.14	17:42 ERROR: Failed to solve instance
1486.73/534.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1498.23/543.03	17:51 ERROR: Failed to solve instance
1498.23/543.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1500.32/544.82	17:53 ERROR: Failed to solve instance
1500.32/544.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1500.84/545.32	17:54 ERROR: Failed to solve instance
1500.84/545.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1501.82/546.21	17:54 ERROR: Failed to solve instance
1501.82/546.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1503.74/547.86	17:56 ERROR: Failed to solve instance
1503.74/547.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1504.26/548.39	17:57 ERROR: Failed to solve instance
1504.26/548.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1505.29/549.38	17:58 ERROR: Failed to solve instance
1505.29/549.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1505.91/549.92	17:58 ERROR: Failed to solve instance
1505.91/549.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1506.44/550.53	17:59 ERROR: Failed to solve instance
1506.44/550.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1513.67/556.06	18:04 ERROR: Failed to solve instance
1513.67/556.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1514.70/557.05	18:05 ERROR: Failed to solve instance
1514.70/557.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1515.21/557.57	18:06 ERROR: Failed to solve instance
1515.21/557.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1515.83/558.12	18:06 ERROR: Failed to solve instance
1515.83/558.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1516.36/558.70	18:07 ERROR: Failed to solve instance
1516.36/558.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1526.26/566.44	18:15 ERROR: Failed to solve instance
1526.26/566.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1526.78/566.92	18:15 ERROR: Failed to solve instance
1526.78/566.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1527.29/567.45	18:16 ERROR: Failed to solve instance
1527.29/567.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1528.22/568.36	18:17 ERROR: Failed to solve instance
1528.22/568.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1528.89/568.91	18:17 ERROR: Failed to solve instance
1528.89/568.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1529.30/569.34	18:18 ERROR: Failed to solve instance
1529.30/569.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1532.78/572.26	18:20 ERROR: Failed to solve instance
1532.78/572.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.41/572.83	18:21 ERROR: Failed to solve instance
1533.41/572.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1541.00/578.82	18:27 ERROR: Failed to solve instance
1541.00/578.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1543.75/581.23	18:29 ERROR: Failed to solve instance
1543.75/581.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1544.27/581.74	18:30 ERROR: Failed to solve instance
1544.27/581.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1545.38/582.79	18:31 ERROR: Failed to solve instance
1545.38/582.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1545.89/583.24	18:31 ERROR: Failed to solve instance
1545.89/583.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1546.54/583.83	18:32 ERROR: Failed to solve instance
1546.54/583.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1547.10/584.40	18:33 ERROR: Failed to solve instance
1547.10/584.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1550.61/587.21	18:35 ERROR: Failed to solve instance
1550.61/587.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.40/594.52	18:43 ERROR: Failed to solve instance
1560.40/594.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.91/595.00	18:43 ERROR: Failed to solve instance
1560.91/595.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.93/596.01	18:44 ERROR: Failed to solve instance
1561.93/596.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1562.46/596.56	18:45 ERROR: Failed to solve instance
1562.46/596.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1563.09/597.13	18:45 ERROR: Failed to solve instance
1563.09/597.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1571.20/603.47	18:52 ERROR: Failed to solve instance
1571.20/603.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1571.83/604.01	18:52 ERROR: Failed to solve instance
1571.83/604.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1574.92/606.76	18:55 ERROR: Failed to solve instance
1574.92/606.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1575.44/607.26	18:55 ERROR: Failed to solve instance
1575.44/607.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1575.96/607.80	18:56 ERROR: Failed to solve instance
1575.96/607.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1576.65/608.40	18:57 ERROR: Failed to solve instance
1576.65/608.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1577.40/609.08	18:57 ERROR: Failed to solve instance
1577.40/609.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1586.60/616.22	19:04 ERROR: Failed to solve instance
1586.60/616.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1587.42/617.02	19:05 ERROR: Failed to solve instance
1587.42/617.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1587.84/617.48	19:06 ERROR: Failed to solve instance
1587.84/617.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.13/620.30	19:08 ERROR: Failed to solve instance
1591.13/620.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.96/621.07	19:09 ERROR: Failed to solve instance
1591.96/621.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1595.09/623.64	19:12 ERROR: Failed to solve instance
1595.09/623.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1598.69/626.56	19:15 ERROR: Failed to solve instance
1598.69/626.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1599.72/627.55	19:16 ERROR: Failed to solve instance
1599.72/627.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1600.24/628.09	19:16 ERROR: Failed to solve instance
1600.24/628.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1600.87/628.71	19:17 ERROR: Failed to solve instance
1600.87/628.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1609.20/635.05	19:23 ERROR: Failed to solve instance
1609.20/635.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1609.72/635.57	19:24 ERROR: Failed to solve instance
1609.72/635.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1610.35/636.12	19:24 ERROR: Failed to solve instance
1610.35/636.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1617.12/641.61	19:30 ERROR: Failed to solve instance
1617.12/641.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1617.63/642.11	19:30 ERROR: Failed to solve instance
1617.63/642.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1618.66/643.15	19:31 ERROR: Failed to solve instance
1618.66/643.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1619.18/643.69	19:32 ERROR: Failed to solve instance
1619.18/643.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1619.80/644.30	19:32 ERROR: Failed to solve instance
1619.80/644.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1629.09/651.46	19:40 ERROR: Failed to solve instance
1629.09/651.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1629.60/651.95	19:40 ERROR: Failed to solve instance
1629.60/651.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1630.12/652.47	19:41 ERROR: Failed to solve instance
1630.12/652.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1630.75/653.06	19:41 ERROR: Failed to solve instance
1630.75/653.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.48/656.94	19:45 ERROR: Failed to solve instance
1635.48/656.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1638.03/659.05	19:47 ERROR: Failed to solve instance
1638.03/659.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1638.96/659.94	19:48 ERROR: Failed to solve instance
1638.96/659.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1639.33/660.22	19:48 ERROR: Failed to solve instance
1639.33/660.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1642.36/662.83	19:51 ERROR: Failed to solve instance
1642.36/662.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1642.89/663.35	19:52 ERROR: Failed to solve instance
1642.89/663.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1643.41/663.88	19:52 ERROR: Failed to solve instance
1643.41/663.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.38/664.73	19:53 ERROR: Failed to solve instance
1644.38/664.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1648.13/667.75	19:56 ERROR: Failed to solve instance
1648.13/667.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1649.16/668.72	19:57 ERROR: Failed to solve instance
1649.16/668.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1649.67/669.21	19:57 ERROR: Failed to solve instance
1649.67/669.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.20/669.76	19:58 ERROR: Failed to solve instance
1650.20/669.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.74/670.33	19:58 ERROR: Failed to solve instance
1650.74/670.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1659.42/676.95	20:05 ERROR: Failed to solve instance
1659.42/676.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1659.93/677.45	20:06 ERROR: Failed to solve instance
1659.93/677.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1664.24/681.07	20:09 ERROR: Failed to solve instance
1664.24/681.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1665.21/681.93	20:10 ERROR: Failed to solve instance
1665.21/681.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1665.86/682.52	20:11 ERROR: Failed to solve instance
1665.86/682.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1670.52/686.38	20:15 ERROR: Failed to solve instance
1670.52/686.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1671.14/686.90	20:15 ERROR: Failed to solve instance
1671.14/686.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1676.14/691.02	20:19 ERROR: Failed to solve instance
1676.14/691.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1678.91/693.43	20:22 ERROR: Failed to solve instance
1678.91/693.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1679.43/693.95	20:22 ERROR: Failed to solve instance
1679.43/693.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1680.05/694.51	20:23 ERROR: Failed to solve instance
1680.05/694.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1680.93/695.35	20:24 ERROR: Failed to solve instance
1680.93/695.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1685.83/699.49	20:28 ERROR: Failed to solve instance
1685.83/699.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.45/700.02	20:28 ERROR: Failed to solve instance
1686.45/700.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.98/700.60	20:29 ERROR: Failed to solve instance
1686.98/700.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.18/706.95	20:35 ERROR: Failed to solve instance
1695.18/706.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.70/707.45	20:36 ERROR: Failed to solve instance
1695.70/707.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1696.33/708.01	20:36 ERROR: Failed to solve instance
1696.33/708.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1697.26/708.93	20:37 ERROR: Failed to solve instance
1697.26/708.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1697.78/709.44	20:38 ERROR: Failed to solve instance
1697.78/709.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1698.31/710.00	20:38 ERROR: Failed to solve instance
1698.31/710.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1707.76/717.51	20:46 ERROR: Failed to solve instance
1707.76/717.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1708.16/717.93	20:46 ERROR: Failed to solve instance
1708.16/717.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1708.68/718.40	20:47 ERROR: Failed to solve instance
1708.68/718.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1709.62/719.33	20:48 ERROR: Failed to solve instance
1709.62/719.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1710.14/719.84	20:48 ERROR: Failed to solve instance
1710.14/719.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1710.67/720.43	20:49 ERROR: Failed to solve instance
1710.67/720.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1720.11/727.92	20:56 ERROR: Failed to solve instance
1720.11/727.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1722.23/729.86	20:58 ERROR: Failed to solve instance
1722.23/729.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1722.85/730.44	20:59 ERROR: Failed to solve instance
1722.85/730.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1723.36/730.90	20:59 ERROR: Failed to solve instance
1723.36/730.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1730.95/737.21	21:05 ERROR: Failed to solve instance
1730.95/737.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1733.16/739.28	21:07 ERROR: Failed to solve instance
1733.16/739.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1734.09/740.16	21:08 ERROR: Failed to solve instance
1734.09/740.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1734.62/740.72	21:09 ERROR: Failed to solve instance
1734.62/740.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.25/743.62	21:12 ERROR: Failed to solve instance
1738.25/743.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.97/744.36	21:13 ERROR: Failed to solve instance
1738.97/744.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.09/746.80	21:15 ERROR: Failed to solve instance
1742.09/746.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1743.01/747.77	21:16 ERROR: Failed to solve instance
1743.01/747.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1743.54/748.30	21:16 ERROR: Failed to solve instance
1743.54/748.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1744.17/748.89	21:17 ERROR: Failed to solve instance
1744.17/748.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1744.69/749.39	21:18 ERROR: Failed to solve instance
1744.69/749.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1756.59/758.78	21:27 ERROR: Failed to solve instance
1756.59/758.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1757.52/759.67	21:28 ERROR: Failed to solve instance
1757.52/759.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.04/760.15	21:28 ERROR: Failed to solve instance
1758.04/760.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.56/760.69	21:29 ERROR: Failed to solve instance
1758.56/760.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1759.08/761.15	21:29 ERROR: Failed to solve instance
1759.08/761.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1762.20/763.76	21:32 ERROR: Failed to solve instance
1762.20/763.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1764.10/765.48	21:34 ERROR: Failed to solve instance
1764.10/765.48	java.lang.OutOfMemoryError: Java heap space
1764.40/765.76	21:34 ERROR: Failed to solve instance
1764.40/765.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1765.07/766.36	21:35 ERROR: Failed to solve instance
1765.07/766.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1775.31/774.43	21:43 ERROR: Failed to solve instance
1775.31/774.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1775.83/774.93	21:43 ERROR: Failed to solve instance
1775.83/774.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1776.35/775.49	21:44 ERROR: Failed to solve instance
1776.35/775.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1780.70/779.06	21:47 ERROR: Failed to solve instance
1780.70/779.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1781.22/779.56	21:48 ERROR: Failed to solve instance
1781.22/779.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1781.74/780.09	21:48 ERROR: Failed to solve instance
1781.74/780.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1782.91/781.11	21:49 ERROR: Failed to solve instance
1782.91/781.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1783.44/781.62	21:50 ERROR: Failed to solve instance
1783.44/781.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1783.97/782.18	21:50 ERROR: Failed to solve instance
1783.97/782.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.60/782.73	21:51 ERROR: Failed to solve instance
1784.60/782.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1793.30/789.44	21:58 ERROR: Failed to solve instance
1793.30/789.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1794.13/790.22	21:58 ERROR: Failed to solve instance
1794.13/790.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1794.77/790.81	21:59 ERROR: Failed to solve instance
1794.77/790.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1803.20/797.58	22:06 ERROR: Failed to solve instance
1803.20/797.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1803.73/798.07	22:06 ERROR: Failed to solve instance
1803.73/798.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1806.99/800.75	22:09 ERROR: Failed to solve instance
1806.99/800.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.52/801.24	22:09 ERROR: Failed to solve instance
1807.52/801.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1808.04/801.77	22:10 ERROR: Failed to solve instance
1808.04/801.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1809.10/802.77	22:11 ERROR: Failed to solve instance
1809.10/802.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1809.63/803.27	22:11 ERROR: Failed to solve instance
1809.63/803.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1810.30/803.83	22:12 ERROR: Failed to solve instance
1810.30/803.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1810.83/804.34	22:13 ERROR: Failed to solve instance
1810.83/804.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1815.84/808.57	22:17 ERROR: Failed to solve instance
1815.84/808.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1816.35/809.06	22:17 ERROR: Failed to solve instance
1816.35/809.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.78/816.50	22:25 ERROR: Failed to solve instance
1825.78/816.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.17/816.87	22:25 ERROR: Failed to solve instance
1826.17/816.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1827.07/817.62	22:26 ERROR: Failed to solve instance
1827.07/817.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1829.55/819.80	22:28 ERROR: Failed to solve instance
1829.55/819.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1830.17/820.35	22:29 ERROR: Failed to solve instance
1830.17/820.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1831.05/821.17	22:29 ERROR: Failed to solve instance
1831.05/821.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.25/823.81	22:32 ERROR: Failed to solve instance
1834.25/823.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.78/824.37	22:33 ERROR: Failed to solve instance
1834.78/824.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1835.44/824.97	22:33 ERROR: Failed to solve instance
1835.44/824.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1838.92/827.70	22:36 ERROR: Failed to solve instance
1838.92/827.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1839.92/828.67	22:37 ERROR: Failed to solve instance
1839.92/828.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1840.54/829.24	22:37 ERROR: Failed to solve instance
1840.54/829.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1841.07/829.72	22:38 ERROR: Failed to solve instance
1841.07/829.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1848.72/835.31	22:44 ERROR: Failed to solve instance
1848.72/835.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1849.76/836.32	22:45 ERROR: Failed to solve instance
1849.76/836.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1850.38/836.96	22:45 ERROR: Failed to solve instance
1850.38/836.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1858.65/843.55	22:52 ERROR: Failed to solve instance
1858.65/843.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1859.18/844.06	22:52 ERROR: Failed to solve instance
1859.18/844.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.21/845.04	22:53 ERROR: Failed to solve instance
1860.21/845.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.73/845.61	22:54 ERROR: Failed to solve instance
1860.73/845.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1869.36/852.48	23:01 ERROR: Failed to solve instance
1869.36/852.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1870.19/853.24	23:01 ERROR: Failed to solve instance
1870.19/853.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1870.61/853.69	23:02 ERROR: Failed to solve instance
1870.61/853.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1871.56/854.59	23:03 ERROR: Failed to solve instance
1871.56/854.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1872.08/855.01	23:03 ERROR: Failed to solve instance
1872.08/855.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1872.50/855.52	23:04 ERROR: Failed to solve instance
1872.50/855.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1876.66/858.94	23:07 ERROR: Failed to solve instance
1876.66/858.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1877.18/859.43	23:08 ERROR: Failed to solve instance
1877.18/859.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1878.19/860.42	23:09 ERROR: Failed to solve instance
1878.19/860.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1878.70/860.99	23:09 ERROR: Failed to solve instance
1878.70/860.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1879.34/861.61	23:10 ERROR: Failed to solve instance
1879.34/861.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1880.07/862.24	23:10 ERROR: Failed to solve instance
1880.07/862.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1890.87/870.51	23:19 ERROR: Failed to solve instance
1890.87/870.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.39/871.01	23:19 ERROR: Failed to solve instance
1891.39/871.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.91/871.56	23:20 ERROR: Failed to solve instance
1891.91/871.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1897.17/875.95	23:24 ERROR: Failed to solve instance
1897.17/875.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1897.70/876.50	23:25 ERROR: Failed to solve instance
1897.70/876.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1898.68/877.38	23:26 ERROR: Failed to solve instance
1898.68/877.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1903.50/881.43	23:30 ERROR: Failed to solve instance
1903.50/881.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.01/881.91	23:30 ERROR: Failed to solve instance
1904.01/881.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.53/882.44	23:31 ERROR: Failed to solve instance
1904.53/882.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.55/883.44	23:32 ERROR: Failed to solve instance
1905.55/883.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1906.18/884.02	23:32 ERROR: Failed to solve instance
1906.18/884.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1906.71/884.57	23:33 ERROR: Failed to solve instance
1906.71/884.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.33/885.16	23:33 ERROR: Failed to solve instance
1907.33/885.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1914.82/890.79	23:39 ERROR: Failed to solve instance
1914.82/890.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1915.35/891.30	23:39 ERROR: Failed to solve instance
1915.35/891.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1915.98/891.85	23:40 ERROR: Failed to solve instance
1915.98/891.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.36/896.95	23:45 ERROR: Failed to solve instance
1922.36/896.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1923.29/897.86	23:46 ERROR: Failed to solve instance
1923.29/897.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1923.81/898.40	23:47 ERROR: Failed to solve instance
1923.81/898.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1924.32/898.84	23:47 ERROR: Failed to solve instance
1924.32/898.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1924.84/899.40	23:48 ERROR: Failed to solve instance
1924.84/899.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1929.26/902.84	23:51 ERROR: Failed to solve instance
1929.26/902.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1935.64/907.82	23:56 ERROR: Failed to solve instance
1935.64/907.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1936.16/908.35	23:57 ERROR: Failed to solve instance
1936.16/908.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1940.48/911.97	24:00 ERROR: Failed to solve instance
1940.48/911.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1941.00/912.45	24:01 ERROR: Failed to solve instance
1941.00/912.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1941.51/912.96	24:01 ERROR: Failed to solve instance
1941.51/912.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1942.03/913.50	24:02 ERROR: Failed to solve instance
1942.03/913.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1943.16/914.59	24:03 ERROR: Failed to solve instance
1943.16/914.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1943.68/915.11	24:03 ERROR: Failed to solve instance
1943.68/915.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1947.61/918.21	24:06 ERROR: Failed to solve instance
1947.61/918.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1956.94/925.82	24:14 ERROR: Failed to solve instance
1956.94/925.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1957.46/926.31	24:14 ERROR: Failed to solve instance
1957.46/926.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1957.97/926.83	24:15 ERROR: Failed to solve instance
1957.97/926.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1958.90/927.75	24:16 ERROR: Failed to solve instance
1958.90/927.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1959.44/928.28	24:16 ERROR: Failed to solve instance
1959.44/928.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1962.94/931.06	24:19 ERROR: Failed to solve instance
1962.94/931.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1970.22/936.97	24:25 ERROR: Failed to solve instance
1970.22/936.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.24/937.92	24:26 ERROR: Failed to solve instance
1971.24/937.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.87/938.52	24:27 ERROR: Failed to solve instance
1971.87/938.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1972.51/939.19	24:27 ERROR: Failed to solve instance
1972.51/939.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1977.56/943.28	24:31 ERROR: Failed to solve instance
1977.56/943.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.21/943.84	24:32 ERROR: Failed to solve instance
1978.21/943.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1981.46/946.61	24:35 ERROR: Failed to solve instance
1981.46/946.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1981.99/947.13	24:35 ERROR: Failed to solve instance
1981.99/947.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1982.61/947.77	24:36 ERROR: Failed to solve instance
1982.61/947.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1983.69/948.70	24:37 ERROR: Failed to solve instance
1983.69/948.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.63/955.76	24:44 ERROR: Failed to solve instance
1992.63/955.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1993.16/956.28	24:44 ERROR: Failed to solve instance
1993.16/956.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1994.18/957.26	24:45 ERROR: Failed to solve instance
1994.18/957.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1994.70/957.78	24:46 ERROR: Failed to solve instance
1994.70/957.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1995.34/958.36	24:47 ERROR: Failed to solve instance
1995.34/958.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1995.85/958.84	24:47 ERROR: Failed to solve instance
1995.85/958.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.42/964.11	24:52 ERROR: Failed to solve instance
2002.42/964.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2006.43/967.57	24:56 ERROR: Failed to solve instance
2006.43/967.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2007.16/968.22	24:56 ERROR: Failed to solve instance
2007.16/968.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2011.48/971.86	25:00 ERROR: Failed to solve instance
2011.48/971.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2015.42/975.14	25:03 ERROR: Failed to solve instance
2015.42/975.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2016.44/976.11	25:04 ERROR: Failed to solve instance
2016.44/976.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2016.95/976.63	25:05 ERROR: Failed to solve instance
2016.95/976.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2017.62/977.23	25:05 ERROR: Failed to solve instance
2017.62/977.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.24/977.86	25:06 ERROR: Failed to solve instance
2018.24/977.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2022.10/980.94	25:09 ERROR: Failed to solve instance
2022.10/980.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.60/987.74	25:16 ERROR: Failed to solve instance
2030.60/987.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2031.53/988.70	25:17 ERROR: Failed to solve instance
2031.53/988.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2032.17/989.28	25:17 ERROR: Failed to solve instance
2032.17/989.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2032.68/989.77	25:18 ERROR: Failed to solve instance
2032.68/989.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2035.64/992.13	25:20 ERROR: Failed to solve instance
2035.64/992.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2036.16/992.67	25:21 ERROR: Failed to solve instance
2036.16/992.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.22/993.70	25:22 ERROR: Failed to solve instance
2037.22/993.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.88/994.21	25:22 ERROR: Failed to solve instance
2037.88/994.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2038.41/994.76	25:23 ERROR: Failed to solve instance
2038.41/994.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2038.93/995.27	25:23 ERROR: Failed to solve instance
2038.93/995.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2048.92/1003.19	25:31 ERROR: Failed to solve instance
2048.92/1003.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2049.99/1004.14	25:32 ERROR: Failed to solve instance
2049.99/1004.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2055.01/1008.38	25:37 ERROR: Failed to solve instance
2055.01/1008.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2056.02/1009.31	25:37 ERROR: Failed to solve instance
2056.02/1009.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2056.53/1009.82	25:38 ERROR: Failed to solve instance
2056.53/1009.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2057.04/1010.33	25:39 ERROR: Failed to solve instance
2057.04/1010.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2057.56/1010.88	25:39 ERROR: Failed to solve instance
2057.56/1010.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2058.53/1011.77	25:40 ERROR: Failed to solve instance
2058.53/1011.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2067.33/1018.63	25:47 ERROR: Failed to solve instance
2067.33/1018.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2067.85/1019.12	25:47 ERROR: Failed to solve instance
2067.85/1019.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2068.80/1020.08	25:48 ERROR: Failed to solve instance
2068.80/1020.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2069.32/1020.61	25:49 ERROR: Failed to solve instance
2069.32/1020.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2069.98/1021.20	25:49 ERROR: Failed to solve instance
2069.98/1021.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.59/1021.75	25:50 ERROR: Failed to solve instance
2070.59/1021.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2078.26/1027.56	25:56 ERROR: Failed to solve instance
2078.26/1027.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2078.78/1028.07	25:56 ERROR: Failed to solve instance
2078.78/1028.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2083.28/1031.90	26:00 ERROR: Failed to solve instance
2083.28/1031.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2083.70/1032.38	26:01 ERROR: Failed to solve instance
2083.70/1032.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.72/1033.39	26:02 ERROR: Failed to solve instance
2084.72/1033.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.33/1033.92	26:02 ERROR: Failed to solve instance
2085.33/1033.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2086.03/1034.50	26:03 ERROR: Failed to solve instance
2086.03/1034.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2094.37/1040.90	26:09 ERROR: Failed to solve instance
2094.37/1040.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2094.98/1041.41	26:10 ERROR: Failed to solve instance
2094.98/1041.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2095.52/1041.98	26:10 ERROR: Failed to solve instance
2095.52/1041.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2098.10/1044.17	26:12 ERROR: Failed to solve instance
2098.10/1044.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2098.94/1044.96	26:13 ERROR: Failed to solve instance
2098.94/1044.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2099.60/1045.51	26:14 ERROR: Failed to solve instance
2099.60/1045.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2102.60/1048.07	26:16 ERROR: Failed to solve instance
2102.60/1048.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2103.14/1048.57	26:17 ERROR: Failed to solve instance
2103.14/1048.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2104.16/1049.58	26:18 ERROR: Failed to solve instance
2104.16/1049.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2104.78/1050.12	26:18 ERROR: Failed to solve instance
2104.78/1050.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.30/1050.71	26:19 ERROR: Failed to solve instance
2105.30/1050.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2116.39/1059.23	26:27 ERROR: Failed to solve instance
2116.39/1059.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2116.91/1059.71	26:28 ERROR: Failed to solve instance
2116.91/1059.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2117.33/1060.19	26:28 ERROR: Failed to solve instance
2117.33/1060.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2121.74/1063.80	26:32 ERROR: Failed to solve instance
2121.74/1063.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2124.85/1066.48	26:35 ERROR: Failed to solve instance
2124.85/1066.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2125.78/1067.34	26:36 ERROR: Failed to solve instance
2125.78/1067.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2126.50/1068.01	26:36 ERROR: Failed to solve instance
2126.50/1068.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2127.03/1068.56	26:37 ERROR: Failed to solve instance
2127.03/1068.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2127.76/1069.21	26:37 ERROR: Failed to solve instance
2127.76/1069.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2134.80/1074.72	26:43 ERROR: Failed to solve instance
2134.80/1074.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.22/1079.26	26:47 ERROR: Failed to solve instance
2140.22/1079.26	java.lang.OutOfMemoryError: Java heap space
2140.43/1079.49	26:48 ERROR: Failed to solve instance
2140.43/1079.49	java.lang.OutOfMemoryError: Java heap space
2140.72/1079.76	26:48 ERROR: Failed to solve instance
2140.72/1079.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.65/1080.60	26:49 ERROR: Failed to solve instance
2141.65/1080.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2142.27/1081.24	26:49 ERROR: Failed to solve instance
2142.27/1081.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2142.90/1081.89	26:50 ERROR: Failed to solve instance
2142.90/1081.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2148.86/1086.51	26:55 ERROR: Failed to solve instance
2148.86/1086.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2149.39/1087.02	26:55 ERROR: Failed to solve instance
2149.39/1087.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2150.41/1088.10	26:56 ERROR: Failed to solve instance
2150.41/1088.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2151.14/1088.76	26:57 ERROR: Failed to solve instance
2151.14/1088.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2151.91/1089.48	26:58 ERROR: Failed to solve instance
2151.91/1089.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2161.50/1096.95	27:05 ERROR: Failed to solve instance
2161.50/1096.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2162.02/1097.49	27:06 ERROR: Failed to solve instance
2162.02/1097.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2162.53/1097.96	27:06 ERROR: Failed to solve instance
2162.53/1097.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2165.12/1100.15	27:08 ERROR: Failed to solve instance
2165.12/1100.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2166.14/1101.12	27:09 ERROR: Failed to solve instance
2166.14/1101.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2166.67/1101.65	27:10 ERROR: Failed to solve instance
2166.67/1101.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2167.30/1102.31	27:10 ERROR: Failed to solve instance
2167.30/1102.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2168.15/1103.02	27:11 ERROR: Failed to solve instance
2168.15/1103.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2175.94/1109.26	27:17 ERROR: Failed to solve instance
2175.94/1109.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2176.99/1110.12	27:18 ERROR: Failed to solve instance
2176.99/1110.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2181.26/1113.55	27:22 ERROR: Failed to solve instance
2181.26/1113.55	java.lang.OutOfMemoryError: Java heap space
2181.46/1113.79	27:22 ERROR: Failed to solve instance
2181.46/1113.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.39/1116.27	27:24 ERROR: Failed to solve instance
2184.39/1116.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.91/1116.78	27:25 ERROR: Failed to solve instance
2184.91/1116.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2185.64/1117.44	27:26 ERROR: Failed to solve instance
2185.64/1117.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2186.16/1117.97	27:26 ERROR: Failed to solve instance
2186.16/1117.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.64/1122.05	27:30 ERROR: Failed to solve instance
2191.64/1122.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2192.71/1123.07	27:31 ERROR: Failed to solve instance
2192.71/1123.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2193.23/1123.53	27:32 ERROR: Failed to solve instance
2193.23/1123.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2193.86/1124.20	27:32 ERROR: Failed to solve instance
2193.86/1124.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2203.08/1131.51	27:40 ERROR: Failed to solve instance
2203.08/1131.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2204.01/1132.49	27:41 ERROR: Failed to solve instance
2204.01/1132.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2204.41/1132.88	27:41 ERROR: Failed to solve instance
2204.41/1132.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2204.94/1133.39	27:42 ERROR: Failed to solve instance
2204.94/1133.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2205.60/1133.95	27:42 ERROR: Failed to solve instance
2205.60/1133.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2210.36/1138.03	27:46 ERROR: Failed to solve instance
2210.36/1138.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2210.88/1138.55	27:47 ERROR: Failed to solve instance
2210.88/1138.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2211.52/1139.13	27:47 ERROR: Failed to solve instance
2211.52/1139.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2221.27/1146.84	27:55 ERROR: Failed to solve instance
2221.27/1146.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2222.30/1147.81	27:56 ERROR: Failed to solve instance
2222.30/1147.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2222.82/1148.36	27:57 ERROR: Failed to solve instance
2222.82/1148.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2223.48/1149.00	27:57 ERROR: Failed to solve instance
2223.48/1149.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2228.25/1152.88	28:01 ERROR: Failed to solve instance
2228.25/1152.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2228.76/1153.32	28:02 ERROR: Failed to solve instance
2228.76/1153.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2229.59/1154.20	28:02 ERROR: Failed to solve instance
2229.59/1154.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.10/1154.69	28:03 ERROR: Failed to solve instance
2230.10/1154.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.74/1155.24	28:03 ERROR: Failed to solve instance
2230.74/1155.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2231.40/1155.83	28:04 ERROR: Failed to solve instance
2231.40/1155.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2240.43/1162.87	28:11 ERROR: Failed to solve instance
2240.43/1162.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2241.06/1163.41	28:12 ERROR: Failed to solve instance
2241.06/1163.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.09/1164.41	28:13 ERROR: Failed to solve instance
2242.09/1164.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.72/1165.12	28:13 ERROR: Failed to solve instance
2242.72/1165.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2247.09/1168.44	28:17 ERROR: Failed to solve instance
2247.09/1168.44	java.lang.OutOfMemoryError: Java heap space
2247.28/1168.70	28:17 ERROR: Failed to solve instance
2247.28/1168.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2247.91/1169.24	28:17 ERROR: Failed to solve instance
2247.91/1169.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2257.73/1177.16	28:25 ERROR: Failed to solve instance
2257.73/1177.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.26/1177.62	28:26 ERROR: Failed to solve instance
2258.26/1177.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2259.18/1178.54	28:27 ERROR: Failed to solve instance
2259.18/1178.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2259.80/1179.18	28:27 ERROR: Failed to solve instance
2259.80/1179.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2260.53/1179.92	28:28 ERROR: Failed to solve instance
2260.53/1179.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2268.90/1186.47	28:35 ERROR: Failed to solve instance
2268.90/1186.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2269.44/1186.99	28:35 ERROR: Failed to solve instance
2269.44/1186.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2270.52/1187.95	28:36 ERROR: Failed to solve instance
2270.52/1187.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2271.07/1188.43	28:37 ERROR: Failed to solve instance
2271.07/1188.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2271.61/1188.99	28:37 ERROR: Failed to solve instance
2271.61/1188.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2272.14/1189.49	28:38 ERROR: Failed to solve instance
2272.14/1189.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2275.51/1192.48	28:41 ERROR: Failed to solve instance
2275.51/1192.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2276.14/1193.05	28:41 ERROR: Failed to solve instance
2276.14/1193.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.05/1197.65	28:46 ERROR: Failed to solve instance
2282.05/1197.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.58/1198.17	28:46 ERROR: Failed to solve instance
2282.58/1198.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2286.47/1201.35	28:50 ERROR: Failed to solve instance
2286.47/1201.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2287.00/1201.86	28:50 ERROR: Failed to solve instance
2287.00/1201.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2287.52/1202.40	28:51 ERROR: Failed to solve instance
2287.52/1202.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2288.59/1203.36	28:52 ERROR: Failed to solve instance
2288.59/1203.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2292.04/1206.14	28:54 ERROR: Failed to solve instance
2292.04/1206.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2292.54/1206.61	28:55 ERROR: Failed to solve instance
2292.54/1206.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2293.47/1207.56	28:56 ERROR: Failed to solve instance
2293.47/1207.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2293.99/1208.04	28:56 ERROR: Failed to solve instance
2293.99/1208.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2303.28/1215.36	29:04 ERROR: Failed to solve instance
2303.28/1215.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2304.31/1216.33	29:05 ERROR: Failed to solve instance
2304.31/1216.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2304.84/1216.84	29:05 ERROR: Failed to solve instance
2304.84/1216.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2305.36/1217.40	29:06 ERROR: Failed to solve instance
2305.36/1217.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2306.20/1218.14	29:06 ERROR: Failed to solve instance
2306.20/1218.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2311.01/1221.92	29:10 ERROR: Failed to solve instance
2311.01/1221.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2311.95/1222.89	29:11 ERROR: Failed to solve instance
2311.95/1222.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2312.69/1223.56	29:12 ERROR: Failed to solve instance
2312.69/1223.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2318.45/1228.08	29:16 ERROR: Failed to solve instance
2318.45/1228.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2318.97/1228.56	29:17 ERROR: Failed to solve instance
2318.97/1228.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2319.48/1229.10	29:17 ERROR: Failed to solve instance
2319.48/1229.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2320.11/1229.70	29:18 ERROR: Failed to solve instance
2320.11/1229.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2326.48/1234.78	29:23 ERROR: Failed to solve instance
2326.48/1234.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2327.00/1235.29	29:23 ERROR: Failed to solve instance
2327.00/1235.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2328.12/1236.31	29:24 ERROR: Failed to solve instance
2328.12/1236.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2328.65/1236.88	29:25 ERROR: Failed to solve instance
2328.65/1236.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2329.32/1237.50	29:26 ERROR: Failed to solve instance
2329.32/1237.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2338.35/1244.45	29:33 ERROR: Failed to solve instance
2338.35/1244.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2338.86/1244.99	29:33 ERROR: Failed to solve instance
2338.86/1244.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2339.49/1245.56	29:34 ERROR: Failed to solve instance
2339.49/1245.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2344.07/1249.28	29:37 ERROR: Failed to solve instance
2344.07/1249.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2344.59/1249.77	29:38 ERROR: Failed to solve instance
2344.59/1249.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2345.21/1250.31	29:38 ERROR: Failed to solve instance
2345.21/1250.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2346.15/1251.22	29:39 ERROR: Failed to solve instance
2346.15/1251.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2346.47/1251.51	29:40 ERROR: Failed to solve instance
2346.47/1251.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2350.12/1254.61	29:43 ERROR: Failed to solve instance
2350.12/1254.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2350.63/1255.12	29:43 ERROR: Failed to solve instance
2350.63/1255.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2351.15/1255.68	29:44 ERROR: Failed to solve instance
2351.15/1255.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2352.20/1256.66	29:45 ERROR: Failed to solve instance
2352.20/1256.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2361.18/1263.51	29:52 ERROR: Failed to solve instance
2361.18/1263.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2361.70/1264.04	29:52 ERROR: Failed to solve instance
2361.70/1264.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2368.14/1269.43	29:58 ERROR: Failed to solve instance
2368.14/1269.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2368.66/1269.92	29:58 ERROR: Failed to solve instance
2368.66/1269.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2369.17/1270.44	29:59 ERROR: Failed to solve instance
2369.17/1270.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2369.79/1271.01	29:59 ERROR: Failed to solve instance
2369.79/1271.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2374.24/1274.67	30:03 ERROR: Failed to solve instance
2374.24/1274.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2375.26/1275.64	30:04 ERROR: Failed to solve instance
2375.26/1275.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2375.90/1276.22	30:04 ERROR: Failed to solve instance
2375.90/1276.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2376.32/1276.69	30:05 ERROR: Failed to solve instance
2376.32/1276.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2376.87/1277.21	30:05 ERROR: Failed to solve instance
2376.87/1277.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2380.43/1280.03	30:08 ERROR: Failed to solve instance
2380.43/1280.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2380.83/1280.48	30:09 ERROR: Failed to solve instance
2380.83/1280.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2381.76/1281.39	30:09 ERROR: Failed to solve instance
2381.76/1281.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2382.30/1281.91	30:10 ERROR: Failed to solve instance
2382.30/1281.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2382.98/1282.46	30:11 ERROR: Failed to solve instance
2382.98/1282.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2397.34/1293.51	30:22 ERROR: Failed to solve instance
2397.34/1293.51	java.lang.OutOfMemoryError: Java heap space
2397.54/1293.75	30:22 ERROR: Failed to solve instance
2397.54/1293.75	java.lang.OutOfMemoryError: Java heap space
2397.84/1294.02	30:22 ERROR: Failed to solve instance
2397.84/1294.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2398.56/1294.79	30:23 ERROR: Failed to solve instance
2398.56/1294.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2399.18/1295.37	30:24 ERROR: Failed to solve instance
2399.18/1295.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2404.08/1299.30	30:27 ERROR: Failed to solve instance
2404.08/1299.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2404.59/1299.81	30:28 ERROR: Failed to solve instance
2404.59/1299.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2405.61/1300.80	30:29 ERROR: Failed to solve instance
2405.61/1300.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2406.11/1301.31	30:29 ERROR: Failed to solve instance
2406.11/1301.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2406.62/1301.81	30:30 ERROR: Failed to solve instance
2406.62/1301.81	java.lang.OutOfMemoryError: GC overhead limit exceeded

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-3311232-1304114928/watcher-3311232-1304114928 -o /tmp/evaluation-result-3311232-1304114928/solver-3311232-1304114928 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311232-1304114928.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: 4.81 5.09 5.52 3/194 9775
/proc/meminfo: memFree=28219044/32951124 swapFree=67111524/67111528
[pid=9775] ppid=9773 vsize=5592 CPUtime=0 cores=1,3,5,7
/proc/9775/stat : 9775 (java) R 9773 9775 9441 0 -1 4194304 548 0 0 0 0 0 0 0 25 0 1 0 523093263 5726208 52 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230804242055 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/9775/statm: 1399 55 43 9 0 28 0

[startup+0.0940199 s]
/proc/loadavg: 4.81 5.09 5.52 3/194 9775
/proc/meminfo: memFree=28219044/32951124 swapFree=67111524/67111528
[pid=9775] ppid=9773 vsize=15741932 CPUtime=0.08 cores=1,3,5,7
/proc/9775/stat : 9775 (java) S 9773 9775 9441 0 -1 4202496 5508 0 1 0 8 0 0 0 25 0 18 0 523093263 16119738368 4912 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9775/statm: 3935483 4913 2116 9 0 3926202 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15741932

[startup+0.101015 s]
/proc/loadavg: 4.81 5.09 5.52 3/194 9775
/proc/meminfo: memFree=28219044/32951124 swapFree=67111524/67111528
[pid=9775] ppid=9773 vsize=15741932 CPUtime=0.1 cores=1,3,5,7
/proc/9775/stat : 9775 (java) S 9773 9775 9441 0 -1 4202496 5567 0 1 0 9 1 0 0 25 0 18 0 523093263 16119738368 4971 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9775/statm: 3935483 4971 2117 9 0 3926202 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741932

[startup+0.301011 s]
/proc/loadavg: 4.81 5.09 5.52 3/194 9775
/proc/meminfo: memFree=28219044/32951124 swapFree=67111524/67111528
[pid=9775] ppid=9773 vsize=15745072 CPUtime=0.5 cores=1,3,5,7
/proc/9775/stat : 9775 (java) S 9773 9775 9441 0 -1 4202496 15303 0 1 0 48 2 0 0 25 0 18 0 523093263 16122953728 13731 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9775/statm: 3936268 13737 2207 9 0 3926987 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15745072

[startup+0.700921 s]
/proc/loadavg: 4.81 5.09 5.52 3/194 9775
/proc/meminfo: memFree=28219044/32951124 swapFree=67111524/67111528
[pid=9775] ppid=9773 vsize=15745072 CPUtime=0.91 cores=1,3,5,7
/proc/9775/stat : 9775 (java) S 9773 9775 9441 0 -1 4202496 41840 0 1 0 86 5 0 0 25 0 18 0 523093263 16122953728 40264 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9775/statm: 3936268 40264 2223 9 0 3926987 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 15745072

[startup+1.50076 s]
/proc/loadavg: 4.81 5.09 5.52 6/220 9801
/proc/meminfo: memFree=27879696/32951124 swapFree=67111524/67111528
[pid=9775] ppid=9773 vsize=15751948 CPUtime=2.25 cores=1,3,5,7
/proc/9775/stat : 9775 (java) S 9773 9775 9441 0 -1 4202496 55842 0 1 0 218 7 0 0 25 0 22 0 523093263 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9775/statm: 3937987 51453 2261 9 0 3928706 0
[pid=9775/tid=9777] ppid=9773 vsize=15751948 CPUtime=1.46 cores=1,3,5,7
/proc/9775/task/9777/stat : 9777 (java) R 9773 9775 9441 0 -1 4202560 35661 0 1 0 141 5 0 0 22 0 22 0 523093264 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 46912505205044 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9775/tid=9778] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9778/stat : 9778 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 523093264 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9779] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9779/stat : 9779 (java) S 9773 9775 9441 0 -1 4202560 765 0 0 0 0 0 0 0 16 0 22 0 523093264 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9780] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9780/stat : 9780 (java) S 9773 9775 9441 0 -1 4202560 317 0 0 0 0 0 0 0 15 0 22 0 523093264 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9781] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9781/stat : 9781 (java) S 9773 9775 9441 0 -1 4202560 520 0 0 0 0 0 0 0 16 0 22 0 523093264 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9782] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9782/stat : 9782 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 523093264 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9783] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9783/stat : 9783 (java) S 9773 9775 9441 0 -1 4202560 2375 0 0 0 0 0 0 0 16 0 22 0 523093264 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9784] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9784/stat : 9784 (java) S 9773 9775 9441 0 -1 4202560 1096 0 0 0 0 0 0 0 16 0 22 0 523093264 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9785] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9785/stat : 9785 (java) S 9773 9775 9441 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 22 0 523093264 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9786] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9786/stat : 9786 (java) S 9773 9775 9441 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 22 0 523093265 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 0 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9787] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9787/stat : 9787 (java) S 9773 9775 9441 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 523093266 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9788] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9788/stat : 9788 (java) S 9773 9775 9441 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 523093266 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9789] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9789/stat : 9789 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093268 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820989361 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9790] ppid=9773 vsize=15751948 CPUtime=0.17 cores=1,3,5,7
/proc/9775/task/9790/stat : 9790 (java) S 9773 9775 9441 0 -1 4202560 1317 0 0 0 17 0 0 0 17 0 22 0 523093268 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9791] ppid=9773 vsize=15751948 CPUtime=0.57 cores=1,3,5,7
/proc/9775/task/9791/stat : 9791 (java) R 9773 9775 9441 0 -1 4202560 12238 0 0 0 56 1 0 0 16 0 22 0 523093268 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 47283868644771 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9775/tid=9792] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9792/stat : 9792 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093268 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9793] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9793/stat : 9793 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523093268 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9798] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9798/stat : 9798 (java) S 9773 9775 9441 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 523093354 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9799] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9799/stat : 9799 (java) S 9773 9775 9441 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 523093354 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9800] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9800/stat : 9800 (java) S 9773 9775 9441 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 22 0 523093354 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9801] ppid=9773 vsize=15751948 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9801/stat : 9801 (java) S 9773 9775 9441 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 523093354 16129994752 51453 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 15751948

[startup+3.10147 s]
/proc/loadavg: 4.81 5.09 5.52 9/220 9801
/proc/meminfo: memFree=27802716/32951124 swapFree=67111524/67111528
[pid=9775] ppid=9773 vsize=15749976 CPUtime=5.39 cores=1,3,5,7
/proc/9775/stat : 9775 (java) S 9773 9775 9441 0 -1 4202496 70287 0 1 0 529 10 0 0 25 0 22 0 523093263 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9775/statm: 3937494 62632 2275 9 0 3928213 0
[pid=9775/tid=9777] ppid=9773 vsize=15749976 CPUtime=2.44 cores=1,3,5,7
/proc/9775/task/9777/stat : 9777 (java) S 9773 9775 9441 0 -1 4202560 35715 0 1 0 239 5 0 0 25 0 22 0 523093264 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9778] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9778/stat : 9778 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523093264 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9779] ppid=9773 vsize=15749976 CPUtime=0.02 cores=1,3,5,7
/proc/9775/task/9779/stat : 9779 (java) S 9773 9775 9441 0 -1 4202560 3311 0 0 0 2 0 0 0 16 0 22 0 523093264 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9780] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9780/stat : 9780 (java) S 9773 9775 9441 0 -1 4202560 2421 0 0 0 0 0 0 0 16 0 22 0 523093264 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9781] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9781/stat : 9781 (java) S 9773 9775 9441 0 -1 4202560 520 0 0 0 0 0 0 0 15 0 22 0 523093264 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9782] ppid=9773 vsize=15749976 CPUtime=0.01 cores=1,3,5,7
/proc/9775/task/9782/stat : 9782 (java) S 9773 9775 9441 0 -1 4202560 1460 0 0 0 1 0 0 0 16 0 22 0 523093264 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9783] ppid=9773 vsize=15749976 CPUtime=0.02 cores=1,3,5,7
/proc/9775/task/9783/stat : 9783 (java) S 9773 9775 9441 0 -1 4202560 4765 0 0 0 2 0 0 0 16 0 22 0 523093264 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9784] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9784/stat : 9784 (java) S 9773 9775 9441 0 -1 4202560 1096 0 0 0 0 0 0 0 15 0 22 0 523093264 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9785] ppid=9773 vsize=15749976 CPUtime=0.02 cores=1,3,5,7
/proc/9775/task/9785/stat : 9785 (java) S 9773 9775 9441 0 -1 4202560 2476 0 0 0 2 0 0 0 16 0 22 0 523093264 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9786] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9786/stat : 9786 (java) S 9773 9775 9441 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 22 0 523093265 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 0 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9787] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9787/stat : 9787 (java) S 9773 9775 9441 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 523093266 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9788] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9788/stat : 9788 (java) S 9773 9775 9441 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 523093266 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9789] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9789/stat : 9789 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093268 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820989361 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9790] ppid=9773 vsize=15749976 CPUtime=0.68 cores=1,3,5,7
/proc/9775/task/9790/stat : 9790 (java) S 9773 9775 9441 0 -1 4202560 3076 0 0 0 68 0 0 0 15 0 22 0 523093268 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9791] ppid=9773 vsize=15749976 CPUtime=1.2 cores=1,3,5,7
/proc/9775/task/9791/stat : 9791 (java) R 9773 9775 9441 0 -1 4202560 13909 0 0 0 119 1 0 0 15 0 22 0 523093268 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 47283867394145 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9775/tid=9792] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9792/stat : 9792 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093268 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9793] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9793/stat : 9793 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523093268 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9798] ppid=9773 vsize=15749976 CPUtime=0.09 cores=1,3,5,7
/proc/9775/task/9798/stat : 9798 (java) S 9773 9775 9441 0 -1 4202560 24 0 0 0 9 0 0 0 15 0 22 0 523093354 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9799] ppid=9773 vsize=15749976 CPUtime=0.37 cores=1,3,5,7
/proc/9775/task/9799/stat : 9799 (java) S 9773 9775 9441 0 -1 4202560 11 0 0 0 37 0 0 0 15 0 22 0 523093354 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9800] ppid=9773 vsize=15749976 CPUtime=0.07 cores=1,3,5,7
/proc/9775/task/9800/stat : 9800 (java) R 9773 9775 9441 0 -1 4202560 15 0 0 0 7 0 0 0 16 0 22 0 523093354 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 47283871613083 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9775/tid=9801] ppid=9773 vsize=15749976 CPUtime=0.37 cores=1,3,5,7
/proc/9775/task/9801/stat : 9801 (java) S 9773 9775 9441 0 -1 4202560 7 0 0 0 37 0 0 0 15 0 22 0 523093354 16127975424 62632 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 15749976

[startup+6.30085 s]
/proc/loadavg: 5.07 5.13 5.54 10/220 9801
/proc/meminfo: memFree=26406732/32951124 swapFree=67111524/67111528
[pid=9775] ppid=9773 vsize=15749976 CPUtime=17.05 cores=1,3,5,7
/proc/9775/stat : 9775 (java) S 9773 9775 9441 0 -1 4202496 259429 0 1 0 1666 39 0 0 25 0 22 0 523093263 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9775/statm: 3937494 250504 2275 9 0 3928213 0
[pid=9775/tid=9777] ppid=9773 vsize=15749976 CPUtime=2.44 cores=1,3,5,7
/proc/9775/task/9777/stat : 9777 (java) S 9773 9775 9441 0 -1 4202560 35715 0 1 0 239 5 0 0 25 0 22 0 523093264 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9778] ppid=9773 vsize=15749976 CPUtime=0.14 cores=1,3,5,7
/proc/9775/task/9778/stat : 9778 (java) S 9773 9775 9441 0 -1 4202560 24597 0 0 0 10 4 0 0 16 0 22 0 523093264 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9779] ppid=9773 vsize=15749976 CPUtime=0.13 cores=1,3,5,7
/proc/9775/task/9779/stat : 9779 (java) S 9773 9775 9441 0 -1 4202560 19256 0 0 0 10 3 0 0 15 0 22 0 523093264 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9780] ppid=9773 vsize=15749976 CPUtime=0.22 cores=1,3,5,7
/proc/9775/task/9780/stat : 9780 (java) S 9773 9775 9441 0 -1 4202560 32025 0 0 0 18 4 0 0 15 0 22 0 523093264 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9781] ppid=9773 vsize=15749976 CPUtime=0.11 cores=1,3,5,7
/proc/9775/task/9781/stat : 9781 (java) S 9773 9775 9441 0 -1 4202560 13799 0 0 0 9 2 0 0 16 0 22 0 523093264 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9782] ppid=9773 vsize=15749976 CPUtime=0.16 cores=1,3,5,7
/proc/9775/task/9782/stat : 9782 (java) S 9773 9775 9441 0 -1 4202560 22510 0 0 0 13 3 0 0 15 0 22 0 523093264 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9783] ppid=9773 vsize=15749976 CPUtime=0.09 cores=1,3,5,7
/proc/9775/task/9783/stat : 9783 (java) S 9773 9775 9441 0 -1 4202560 21085 0 0 0 7 2 0 0 16 0 22 0 523093264 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9784] ppid=9773 vsize=15749976 CPUtime=0.17 cores=1,3,5,7
/proc/9775/task/9784/stat : 9784 (java) S 9773 9775 9441 0 -1 4202560 33907 0 0 0 13 4 0 0 15 0 22 0 523093264 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9785] ppid=9773 vsize=15749976 CPUtime=0.02 cores=1,3,5,7
/proc/9775/task/9785/stat : 9785 (java) S 9773 9775 9441 0 -1 4202560 2476 0 0 0 2 0 0 0 15 0 22 0 523093264 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9786] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9786/stat : 9786 (java) S 9773 9775 9441 0 -1 4202560 429 0 0 0 0 0 0 0 15 0 22 0 523093265 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 0 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9787] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9787/stat : 9787 (java) S 9773 9775 9441 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 523093266 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9788] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9788/stat : 9788 (java) S 9773 9775 9441 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 523093266 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9789] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9789/stat : 9789 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093268 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820989361 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9790] ppid=9773 vsize=15749976 CPUtime=0.68 cores=1,3,5,7
/proc/9775/task/9790/stat : 9790 (java) S 9773 9775 9441 0 -1 4202560 3076 0 0 0 68 0 0 0 15 0 22 0 523093268 16127975424 250504 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0

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

/proc/9775/task/9782/stat : 9782 (java) S 9773 9775 9441 0 -1 4202560 373013 0 0 0 275 59 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9783] ppid=9773 vsize=15749976 CPUtime=2.47 cores=1,3,5,7
/proc/9775/task/9783/stat : 9783 (java) S 9773 9775 9441 0 -1 4202560 332530 0 0 0 193 54 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9784] ppid=9773 vsize=15749976 CPUtime=3.1 cores=1,3,5,7
/proc/9775/task/9784/stat : 9784 (java) S 9773 9775 9441 0 -1 4202560 349738 0 0 0 253 57 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9785] ppid=9773 vsize=15749976 CPUtime=2.64 cores=1,3,5,7
/proc/9775/task/9785/stat : 9785 (java) S 9773 9775 9441 0 -1 4202560 309949 0 0 0 213 51 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9786] ppid=9773 vsize=15749976 CPUtime=817.51 cores=1,3,5,7
/proc/9775/task/9786/stat : 9786 (java) R 9773 9775 9441 0 -1 4202560 774865 0 0 0 81616 135 0 0 18 0 22 0 523093265 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 47283868704895 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=9775/tid=9787] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9787/stat : 9787 (java) S 9773 9775 9441 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523093266 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9788] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9788/stat : 9788 (java) S 9773 9775 9441 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 523093266 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9789] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9789/stat : 9789 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820989361 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9790] ppid=9773 vsize=15749976 CPUtime=0.7 cores=1,3,5,7
/proc/9775/task/9790/stat : 9790 (java) S 9773 9775 9441 0 -1 4202560 3076 0 0 0 70 0 0 0 16 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9791] ppid=9773 vsize=15749976 CPUtime=1.47 cores=1,3,5,7
/proc/9775/task/9791/stat : 9791 (java) S 9773 9775 9441 0 -1 4202560 13941 0 0 0 146 1 0 0 15 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9792] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9792/stat : 9792 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9793] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9793/stat : 9793 (java) S 9773 9775 9441 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9798] ppid=9773 vsize=15749976 CPUtime=354.34 cores=1,3,5,7
/proc/9775/task/9798/stat : 9798 (java) S 9773 9775 9441 0 -1 4202560 72891 0 0 0 35416 18 0 0 15 0 22 0 523093354 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9799] ppid=9773 vsize=15749976 CPUtime=353.53 cores=1,3,5,7
/proc/9775/task/9799/stat : 9799 (java) S 9773 9775 9441 0 -1 4202560 79763 0 0 0 35332 21 0 0 16 0 22 0 523093354 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9800] ppid=9773 vsize=15749976 CPUtime=354.93 cores=1,3,5,7
/proc/9775/task/9800/stat : 9800 (java) S 9773 9775 9441 0 -1 4202560 85384 0 0 0 35476 17 0 0 15 0 22 0 523093354 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9801] ppid=9773 vsize=15749976 CPUtime=354.5 cores=1,3,5,7
/proc/9775/task/9801/stat : 9801 (java) S 9773 9775 9441 0 -1 4202560 87678 0 0 0 35428 22 0 0 15 0 22 0 523093354 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2263.76
Current children cumulated vsize (KiB) 15749976

[startup+1242.3 s]
/proc/loadavg: 5.16 5.32 5.65 6/220 9885
/proc/meminfo: memFree=10053556/32951124 swapFree=67111524/67111528
[pid=9775] ppid=9773 vsize=15749976 CPUtime=2336.05 cores=1,3,5,7
/proc/9775/stat : 9775 (java) S 9773 9775 9441 0 -1 4202496 3898033 0 1 0 232923 682 0 0 25 0 22 0 523093263 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9775/statm: 3937494 3866854 2294 9 0 3928213 0
[pid=9775/tid=9777] ppid=9773 vsize=15749976 CPUtime=2.44 cores=1,3,5,7
/proc/9775/task/9777/stat : 9777 (java) S 9773 9775 9441 0 -1 4202560 35715 0 1 0 239 5 0 0 25 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9778] ppid=9773 vsize=15749976 CPUtime=3.47 cores=1,3,5,7
/proc/9775/task/9778/stat : 9778 (java) S 9773 9775 9441 0 -1 4202560 427606 0 0 0 274 73 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9779] ppid=9773 vsize=15749976 CPUtime=3.02 cores=1,3,5,7
/proc/9775/task/9779/stat : 9779 (java) S 9773 9775 9441 0 -1 4202560 286433 0 0 0 254 48 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9780] ppid=9773 vsize=15749976 CPUtime=3.11 cores=1,3,5,7
/proc/9775/task/9780/stat : 9780 (java) S 9773 9775 9441 0 -1 4202560 362128 0 0 0 252 59 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9781] ppid=9773 vsize=15749976 CPUtime=3.02 cores=1,3,5,7
/proc/9775/task/9781/stat : 9781 (java) S 9773 9775 9441 0 -1 4202560 301460 0 0 0 254 48 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9782] ppid=9773 vsize=15749976 CPUtime=3.34 cores=1,3,5,7
/proc/9775/task/9782/stat : 9782 (java) S 9773 9775 9441 0 -1 4202560 373013 0 0 0 275 59 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9783] ppid=9773 vsize=15749976 CPUtime=2.47 cores=1,3,5,7
/proc/9775/task/9783/stat : 9783 (java) S 9773 9775 9441 0 -1 4202560 332530 0 0 0 193 54 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9784] ppid=9773 vsize=15749976 CPUtime=3.1 cores=1,3,5,7
/proc/9775/task/9784/stat : 9784 (java) S 9773 9775 9441 0 -1 4202560 349738 0 0 0 253 57 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9785] ppid=9773 vsize=15749976 CPUtime=2.64 cores=1,3,5,7
/proc/9775/task/9785/stat : 9785 (java) S 9773 9775 9441 0 -1 4202560 309949 0 0 0 213 51 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9786] ppid=9773 vsize=15749976 CPUtime=873.35 cores=1,3,5,7
/proc/9775/task/9786/stat : 9786 (java) R 9773 9775 9441 0 -1 4202560 774868 0 0 0 87196 139 0 0 18 0 22 0 523093265 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 47283870653583 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=9775/tid=9787] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9787/stat : 9787 (java) S 9773 9775 9441 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523093266 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9788] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9788/stat : 9788 (java) S 9773 9775 9441 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 523093266 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9789] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9789/stat : 9789 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820989361 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9790] ppid=9773 vsize=15749976 CPUtime=0.7 cores=1,3,5,7
/proc/9775/task/9790/stat : 9790 (java) S 9773 9775 9441 0 -1 4202560 3076 0 0 0 70 0 0 0 16 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9791] ppid=9773 vsize=15749976 CPUtime=1.47 cores=1,3,5,7
/proc/9775/task/9791/stat : 9791 (java) S 9773 9775 9441 0 -1 4202560 13941 0 0 0 146 1 0 0 15 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9792] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9792/stat : 9792 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9793] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9793/stat : 9793 (java) S 9773 9775 9441 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9798] ppid=9773 vsize=15749976 CPUtime=358.45 cores=1,3,5,7
/proc/9775/task/9798/stat : 9798 (java) S 9773 9775 9441 0 -1 4202560 73046 0 0 0 35826 19 0 0 15 0 22 0 523093354 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9799] ppid=9773 vsize=15749976 CPUtime=357.66 cores=1,3,5,7
/proc/9775/task/9799/stat : 9799 (java) S 9773 9775 9441 0 -1 4202560 79842 0 0 0 35745 21 0 0 16 0 22 0 523093354 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9800] ppid=9773 vsize=15749976 CPUtime=359.03 cores=1,3,5,7
/proc/9775/task/9800/stat : 9800 (java) S 9773 9775 9441 0 -1 4202560 85474 0 0 0 35885 18 0 0 15 0 22 0 523093354 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9801] ppid=9773 vsize=15749976 CPUtime=358.61 cores=1,3,5,7
/proc/9775/task/9801/stat : 9801 (java) S 9773 9775 9441 0 -1 4202560 87762 0 0 0 35839 22 0 0 15 0 22 0 523093354 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2336.05
Current children cumulated vsize (KiB) 15749976



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 5.36 5.37 5.65 6/220 9886
/proc/meminfo: memFree=10711896/32951124 swapFree=67111524/67111528
[pid=9775] ppid=9773 vsize=15749976 CPUtime=2404.8 cores=1,3,5,7
/proc/9775/stat : 9775 (java) S 9773 9775 9441 0 -1 4202496 3898440 0 1 0 239792 688 0 0 25 0 22 0 523093263 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9775/statm: 3937494 3866854 2294 9 0 3928213 0
[pid=9775/tid=9777] ppid=9773 vsize=15749976 CPUtime=2.44 cores=1,3,5,7
/proc/9775/task/9777/stat : 9777 (java) S 9773 9775 9441 0 -1 4202560 35715 0 1 0 239 5 0 0 25 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9778] ppid=9773 vsize=15749976 CPUtime=3.47 cores=1,3,5,7
/proc/9775/task/9778/stat : 9778 (java) S 9773 9775 9441 0 -1 4202560 427606 0 0 0 274 73 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9779] ppid=9773 vsize=15749976 CPUtime=3.02 cores=1,3,5,7
/proc/9775/task/9779/stat : 9779 (java) S 9773 9775 9441 0 -1 4202560 286433 0 0 0 254 48 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9780] ppid=9773 vsize=15749976 CPUtime=3.11 cores=1,3,5,7
/proc/9775/task/9780/stat : 9780 (java) S 9773 9775 9441 0 -1 4202560 362128 0 0 0 252 59 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9781] ppid=9773 vsize=15749976 CPUtime=3.02 cores=1,3,5,7
/proc/9775/task/9781/stat : 9781 (java) S 9773 9775 9441 0 -1 4202560 301460 0 0 0 254 48 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9782] ppid=9773 vsize=15749976 CPUtime=3.34 cores=1,3,5,7
/proc/9775/task/9782/stat : 9782 (java) S 9773 9775 9441 0 -1 4202560 373013 0 0 0 275 59 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9783] ppid=9773 vsize=15749976 CPUtime=2.47 cores=1,3,5,7
/proc/9775/task/9783/stat : 9783 (java) S 9773 9775 9441 0 -1 4202560 332530 0 0 0 193 54 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9784] ppid=9773 vsize=15749976 CPUtime=3.1 cores=1,3,5,7
/proc/9775/task/9784/stat : 9784 (java) S 9773 9775 9441 0 -1 4202560 349738 0 0 0 253 57 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9785] ppid=9773 vsize=15749976 CPUtime=2.64 cores=1,3,5,7
/proc/9775/task/9785/stat : 9785 (java) S 9773 9775 9441 0 -1 4202560 309949 0 0 0 213 51 0 0 16 0 22 0 523093264 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9786] ppid=9773 vsize=15749976 CPUtime=927.3 cores=1,3,5,7
/proc/9775/task/9786/stat : 9786 (java) R 9773 9775 9441 0 -1 4202560 774872 0 0 0 92588 142 0 0 18 0 22 0 523093265 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 47283868688700 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=9775/tid=9787] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9787/stat : 9787 (java) S 9773 9775 9441 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523093266 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9788] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9788/stat : 9788 (java) S 9773 9775 9441 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 523093266 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9789] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9789/stat : 9789 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820989361 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9790] ppid=9773 vsize=15749976 CPUtime=0.7 cores=1,3,5,7
/proc/9775/task/9790/stat : 9790 (java) S 9773 9775 9441 0 -1 4202560 3076 0 0 0 70 0 0 0 16 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9791] ppid=9773 vsize=15749976 CPUtime=1.47 cores=1,3,5,7
/proc/9775/task/9791/stat : 9791 (java) S 9773 9775 9441 0 -1 4202560 13941 0 0 0 146 1 0 0 15 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
[pid=9775/tid=9792] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9792/stat : 9792 (java) S 9773 9775 9441 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9793] ppid=9773 vsize=15749976 CPUtime=0 cores=1,3,5,7
/proc/9775/task/9793/stat : 9793 (java) S 9773 9775 9441 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 523093268 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820982272 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9798] ppid=9773 vsize=15749976 CPUtime=362.15 cores=1,3,5,7
/proc/9775/task/9798/stat : 9798 (java) S 9773 9775 9441 0 -1 4202560 73155 0 0 0 36196 19 0 0 15 0 22 0 523093354 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 1 0 0 0
[pid=9775/tid=9799] ppid=9773 vsize=15749976 CPUtime=361.36 cores=1,3,5,7
/proc/9775/task/9799/stat : 9799 (java) S 9773 9775 9441 0 -1 4202560 79958 0 0 0 36114 22 0 0 15 0 22 0 523093354 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 3 0 0 0
[pid=9775/tid=9800] ppid=9773 vsize=15749976 CPUtime=362.73 cores=1,3,5,7
/proc/9775/task/9800/stat : 9800 (java) S 9773 9775 9441 0 -1 4202560 85548 0 0 0 36255 18 0 0 16 0 22 0 523093354 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 5 0 0 0
[pid=9775/tid=9801] ppid=9773 vsize=15749976 CPUtime=362.31 cores=1,3,5,7
/proc/9775/task/9801/stat : 9801 (java) S 9773 9775 9441 0 -1 4202560 87862 0 0 0 36208 23 0 0 15 0 22 0 523093354 16127975424 3866854 33554432000 1073741824 1073778376 140733653616800 18446744073709551615 230820981657 0 4 0 16800975 18446604469943425984 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2404.8
Current children cumulated vsize (KiB) 15749976

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9775

[startup+1302.3 s]
/proc/loadavg: 5.36 5.37 5.65 6/222 9889
/proc/meminfo: memFree=10715476/32951124 swapFree=67111524/67111528
[pid=9775] ppid=9773 vsize=0 CPUtime=2407.12 cores=1,3,5,7
/proc/9775/stat : 9775 (java) Z 9773 9775 9441 0 -1 4203548 3898476 0 1 0 239995 717 0 0 18 0 2 0 523093263 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9775/statm: 0 0 0 0 0 0 0
[pid=9775/tid=9801] ppid=9773 vsize=0 CPUtime=362.6 cores=1,3,5,7
/proc/9775/task/9801/stat : 9801 (java) R 9773 9775 9441 0 -1 4203588 87862 0 0 0 36209 51 0 0 16 0 2 0 523093354 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2407.12
Current children cumulated vsize (KiB) 0

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

[startup+1302.5 s]
/proc/loadavg: 5.36 5.37 5.65 6/222 9889
/proc/meminfo: memFree=10715476/32951124 swapFree=67111524/67111528
[pid=9775] ppid=9773 vsize=0 CPUtime=2407.32 cores=1,3,5,7
/proc/9775/stat : 9775 (java) Z 9773 9775 9441 0 -1 4203548 3898476 0 1 0 239995 737 0 0 18 0 2 0 523093263 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9775/statm: 0 0 0 0 0 0 0
[pid=9775/tid=9801] ppid=9773 vsize=0 CPUtime=362.8 cores=1,3,5,7
/proc/9775/task/9801/stat : 9801 (java) R 9773 9775 9441 0 -1 4203588 87862 0 0 0 36209 71 0 0 16 0 2 0 523093354 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2407.32
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.56
CPU time (s): 2407.39
CPU user time (s): 2399.96
CPU system time (s): 7.43587
CPU usage (%): 184.82
Max. virtual memory (cumulated for all children) (KiB): 15754204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.96
system time used= 7.43587
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3898476
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= 75536
involuntary context switches= 39635

runsolver used 2.19667 second user time and 5.20221 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-30 00:08:48
IDJOB=3311232
IDBENCH=82617
IDSOLVER=1698
FILE ID=node104/3311232-1304114928
RUNJOBID= node104-1304112416-9460
PBS_JOBID= 13170692
Free space on /tmp= 71544 MiB

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

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

MD5SUM BENCH= c0e1e71ade06eb64bd0f5dbaf6b892a1
RANDOM SEED=1383516983

node104.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.855
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.71
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.855
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.83
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.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.83
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.855
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.75
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28219316 kB
Buffers:       1249292 kB
Cached:        2898240 kB
SwapCached:          4 kB
Active:         156356 kB
Inactive:      4068164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28219316 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7852 kB
Writeback:           0 kB
AnonPages:       76804 kB
Mapped:          22244 kB
Slab:           442452 kB
PageTables:       5032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   778056 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= 71544 MiB
End job on node104 at 2011-04-30 00:30:31