Trace number 3312485

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? (TO) 2421.02 1302.6

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf
MD5SUM2ca6073d25d8d5f2648d590c0edc75c0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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.11/0.11	55:12 INFO : Reading from input HOME/instance-3312485-1304117712.cnf
1.13/0.92	Executor set job limit to 1000000
1.13/0.92	Executor set job limit to 1000000
1.13/0.92	Executor set job limit to 1000000
1.13/0.92	Executor set job limit to 1000000
1.13/0.92	Starting Executor!
1.13/0.92	Starting Executor!
1.13/0.92	Starting Executor!
1.13/0.92	Starting Executor!
4.11/2.51	55:15 INFO : 39839 variables remaining out of 40000
4.11/2.51	55:15 INFO : 667852 literals remaining out of 672000
1298.35/352.54	01:05 ERROR: Failed to solve instance
1298.35/352.54	java.lang.OutOfMemoryError: Java heap space
1298.35/352.54		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1298.35/352.54		at gnu.trove.THash.postInsertHook(THash.java:370)
1298.35/352.54		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1298.35/352.54		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1298.35/352.54		at ibis.structure.Subsumming.run(Subsumming.java:58)
1298.35/352.54		at ibis.structure.Solver.simplify(Solver.java:205)
1298.35/352.54		at ibis.structure.Solver.solve(Solver.java:113)
1298.35/352.54		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1298.35/352.54		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1298.35/352.54		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1298.35/352.54		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1298.35/352.54		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1298.35/352.54		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1298.35/352.54		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1298.35/352.54		at ibis.constellation.Executor.processActivities(Executor.java:75)
1298.35/352.54		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1298.35/352.54		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1298.35/352.54		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1300.66/354.87	01:07 ERROR: Failed to solve instance
1300.66/354.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1300.66/354.87		at ibis.structure.ImplicationsGraph.create(ImplicationsGraph.java:627)
1300.66/354.87		at ibis.structure.ImplicationsGraph.<init>(ImplicationsGraph.java:27)
1300.66/354.87		at ibis.structure.Solver.<init>(Solver.java:36)
1300.66/354.87		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1300.66/354.87		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1300.66/354.87		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1300.66/354.87		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1300.66/354.87		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1300.66/354.87		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1300.66/354.87		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1300.66/354.87		at ibis.constellation.Executor.processActivities(Executor.java:75)
1300.66/354.87		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1300.66/354.87		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1300.66/354.87		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1311.75/364.63	01:17 ERROR: Failed to solve instance
1311.75/364.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1311.75/364.63		at ibis.structure.WatchLists.build(WatchLists.java:47)
1311.75/364.63		at ibis.structure.Solver.<init>(Solver.java:45)
1311.75/364.63		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1311.75/364.63		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1311.75/364.63		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1311.75/364.63		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1311.75/364.63		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1311.75/364.63		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1311.75/364.63		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1311.75/364.63		at ibis.constellation.Executor.processActivities(Executor.java:75)
1311.75/364.63		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1311.75/364.63		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1311.75/364.63		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1314.77/367.68	01:20 ERROR: Failed to solve instance
1314.77/367.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1314.77/367.68		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1314.77/367.68		at gnu.trove.THash.<init>(THash.java:128)
1314.77/367.68		at gnu.trove.THash.<init>(THash.java:97)
1314.77/367.68		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1314.77/367.68		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1314.77/367.68		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1314.77/367.68		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1314.77/367.68		at ibis.structure.WatchLists.build(WatchLists.java:47)
1314.77/367.68		at ibis.structure.Solver.<init>(Solver.java:45)
1314.77/367.68		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1314.77/367.68		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1314.77/367.68		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1314.77/367.68		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1314.77/367.68		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1314.77/367.68		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1314.77/367.68		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1314.77/367.68		at ibis.constellation.Executor.processActivities(Executor.java:75)
1314.77/367.68		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1314.77/367.68		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1314.77/367.68		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1317.38/370.28	01:23 ERROR: Failed to solve instance
1317.38/370.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1318.00/370.87	01:23 ERROR: Failed to solve instance
1318.00/370.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1318.73/371.50	01:24 ERROR: Failed to solve instance
1318.73/371.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1328.62/379.44	01:32 ERROR: Failed to solve instance
1328.62/379.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1331.04/381.85	01:34 ERROR: Failed to solve instance
1331.04/381.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1333.45/384.20	01:37 ERROR: Failed to solve instance
1333.45/384.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1334.37/385.12	01:37 ERROR: Failed to solve instance
1334.37/385.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1334.90/385.64	01:38 ERROR: Failed to solve instance
1334.90/385.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1335.46/386.23	01:39 ERROR: Failed to solve instance
1335.46/386.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.30/394.21	01:46 ERROR: Failed to solve instance
1345.30/394.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.82/394.73	01:47 ERROR: Failed to solve instance
1345.82/394.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.34/395.30	01:48 ERROR: Failed to solve instance
1346.34/395.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.96/395.90	01:48 ERROR: Failed to solve instance
1346.96/395.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1352.17/400.24	01:53 ERROR: Failed to solve instance
1352.17/400.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1353.10/401.17	01:53 ERROR: Failed to solve instance
1353.10/401.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1353.62/401.68	01:54 ERROR: Failed to solve instance
1353.62/401.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1354.25/402.23	01:55 ERROR: Failed to solve instance
1354.25/402.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1354.88/402.81	01:55 ERROR: Failed to solve instance
1354.88/402.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1360.25/407.40	02:00 ERROR: Failed to solve instance
1360.25/407.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1362.78/409.86	02:02 ERROR: Failed to solve instance
1362.78/409.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1366.90/413.16	02:06 ERROR: Failed to solve instance
1366.90/413.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1367.92/414.16	02:06 ERROR: Failed to solve instance
1367.92/414.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1368.54/414.72	02:07 ERROR: Failed to solve instance
1368.54/414.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1369.17/415.35	02:08 ERROR: Failed to solve instance
1369.17/415.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1379.63/423.75	02:16 ERROR: Failed to solve instance
1379.63/423.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1380.14/424.22	02:17 ERROR: Failed to solve instance
1380.14/424.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1380.66/424.73	02:17 ERROR: Failed to solve instance
1380.66/424.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1381.59/425.69	02:18 ERROR: Failed to solve instance
1381.59/425.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1382.22/426.23	02:19 ERROR: Failed to solve instance
1382.22/426.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1382.66/426.70	02:19 ERROR: Failed to solve instance
1382.66/426.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1386.23/429.60	02:22 ERROR: Failed to solve instance
1386.23/429.60	java.lang.OutOfMemoryError: Java heap space
1386.44/429.89	02:22 ERROR: Failed to solve instance
1386.44/429.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1392.95/435.02	02:27 ERROR: Failed to solve instance
1392.95/435.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1393.47/435.54	02:28 ERROR: Failed to solve instance
1393.47/435.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1394.10/436.11	02:28 ERROR: Failed to solve instance
1394.10/436.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1398.42/439.83	02:32 ERROR: Failed to solve instance
1398.42/439.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1398.94/440.33	02:33 ERROR: Failed to solve instance
1398.94/440.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1399.46/440.86	02:33 ERROR: Failed to solve instance
1399.46/440.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1400.39/441.77	02:34 ERROR: Failed to solve instance
1400.39/441.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1400.91/442.28	02:35 ERROR: Failed to solve instance
1400.91/442.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1401.55/442.86	02:35 ERROR: Failed to solve instance
1401.55/442.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1410.52/449.84	02:42 ERROR: Failed to solve instance
1410.52/449.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.04/450.34	02:43 ERROR: Failed to solve instance
1411.04/450.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.56/450.88	02:43 ERROR: Failed to solve instance
1411.56/450.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1418.86/456.82	02:49 ERROR: Failed to solve instance
1418.86/456.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1419.79/457.79	02:50 ERROR: Failed to solve instance
1419.79/457.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1420.40/458.33	02:51 ERROR: Failed to solve instance
1420.40/458.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.02/458.94	02:51 ERROR: Failed to solve instance
1421.02/458.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.55/459.40	02:52 ERROR: Failed to solve instance
1421.55/459.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1424.96/462.30	02:55 ERROR: Failed to solve instance
1424.96/462.30	java.lang.OutOfMemoryError: Java heap space
1424.96/462.30	02:55 ERROR: Failed to solve instance
1424.96/462.30	java.lang.OutOfMemoryError: Java heap space
1429.37/466.08	02:58 ERROR: Failed to solve instance
1429.37/466.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1430.10/466.71	02:59 ERROR: Failed to solve instance
1430.10/466.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1430.72/467.37	03:00 ERROR: Failed to solve instance
1430.72/467.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1440.68/475.18	03:08 ERROR: Failed to solve instance
1440.68/475.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1441.32/475.76	03:08 ERROR: Failed to solve instance
1441.32/475.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1444.39/478.47	03:11 ERROR: Failed to solve instance
1444.39/478.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1444.91/479.00	03:11 ERROR: Failed to solve instance
1444.91/479.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1446.04/480.08	03:12 ERROR: Failed to solve instance
1446.04/480.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1446.66/480.69	03:13 ERROR: Failed to solve instance
1446.66/480.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1447.38/481.36	03:14 ERROR: Failed to solve instance
1447.38/481.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1457.06/488.98	03:21 ERROR: Failed to solve instance
1457.06/488.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1457.57/489.47	03:22 ERROR: Failed to solve instance
1457.57/489.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1458.09/490.00	03:22 ERROR: Failed to solve instance
1458.09/490.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1458.70/490.57	03:23 ERROR: Failed to solve instance
1458.70/490.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1465.36/495.90	03:28 ERROR: Failed to solve instance
1465.36/495.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1465.87/496.40	03:29 ERROR: Failed to solve instance
1465.87/496.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1468.56/498.61	03:31 ERROR: Failed to solve instance
1468.56/498.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1469.09/499.15	03:32 ERROR: Failed to solve instance
1469.09/499.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.22/500.22	03:32 ERROR: Failed to solve instance
1470.22/500.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.89/500.80	03:33 ERROR: Failed to solve instance
1470.89/500.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1477.83/506.46	03:39 ERROR: Failed to solve instance
1477.83/506.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1481.34/509.39	03:42 ERROR: Failed to solve instance
1481.34/509.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1481.96/509.90	03:42 ERROR: Failed to solve instance
1481.96/509.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1482.78/510.77	03:43 ERROR: Failed to solve instance
1482.78/510.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.29/511.25	03:44 ERROR: Failed to solve instance
1483.29/511.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.81/511.76	03:44 ERROR: Failed to solve instance
1483.81/511.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1484.34/512.30	03:45 ERROR: Failed to solve instance
1484.34/512.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1490.37/517.43	03:50 ERROR: Failed to solve instance
1490.37/517.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1490.87/517.92	03:50 ERROR: Failed to solve instance
1490.87/517.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1491.40/518.51	03:51 ERROR: Failed to solve instance
1491.40/518.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1503.61/528.17	04:01 ERROR: Failed to solve instance
1503.61/528.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1504.13/528.65	04:01 ERROR: Failed to solve instance
1504.13/528.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1504.64/529.16	04:02 ERROR: Failed to solve instance
1504.64/529.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1505.26/529.71	04:02 ERROR: Failed to solve instance
1505.26/529.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1508.76/532.81	04:05 ERROR: Failed to solve instance
1508.76/532.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1509.38/533.32	04:06 ERROR: Failed to solve instance
1509.38/533.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1509.80/533.76	04:06 ERROR: Failed to solve instance
1509.80/533.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1510.83/534.73	04:07 ERROR: Failed to solve instance
1510.83/534.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.34/535.22	04:08 ERROR: Failed to solve instance
1511.34/535.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1515.54/538.69	04:11 ERROR: Failed to solve instance
1515.54/538.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1516.06/539.20	04:12 ERROR: Failed to solve instance
1516.06/539.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1516.67/539.76	04:12 ERROR: Failed to solve instance
1516.67/539.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1527.79/548.80	04:21 ERROR: Failed to solve instance
1527.79/548.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1528.81/549.79	04:22 ERROR: Failed to solve instance
1528.81/549.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1529.43/550.34	04:23 ERROR: Failed to solve instance
1529.43/550.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1530.06/550.93	04:23 ERROR: Failed to solve instance
1530.06/550.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1530.59/551.46	04:24 ERROR: Failed to solve instance
1530.59/551.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1535.85/555.82	04:28 ERROR: Failed to solve instance
1535.85/555.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1536.27/556.30	04:29 ERROR: Failed to solve instance
1536.27/556.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1536.79/556.78	04:29 ERROR: Failed to solve instance
1536.79/556.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1540.66/559.92	04:32 ERROR: Failed to solve instance
1540.66/559.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1541.58/560.87	04:33 ERROR: Failed to solve instance
1541.58/560.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1542.09/561.37	04:34 ERROR: Failed to solve instance
1542.09/561.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1542.61/561.89	04:34 ERROR: Failed to solve instance
1542.61/561.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1543.22/562.46	04:35 ERROR: Failed to solve instance
1543.22/562.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1552.88/570.27	04:43 ERROR: Failed to solve instance
1552.88/570.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1553.80/571.17	04:44 ERROR: Failed to solve instance
1553.80/571.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1554.31/571.66	04:44 ERROR: Failed to solve instance
1554.31/571.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1554.95/572.23	04:45 ERROR: Failed to solve instance
1554.95/572.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1558.28/574.92	04:47 ERROR: Failed to solve instance
1558.28/574.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1558.79/575.43	04:48 ERROR: Failed to solve instance
1558.79/575.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1559.72/576.34	04:49 ERROR: Failed to solve instance
1559.72/576.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.25/576.86	04:49 ERROR: Failed to solve instance
1560.25/576.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.87/577.42	04:50 ERROR: Failed to solve instance
1560.87/577.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.43/578.01	04:50 ERROR: Failed to solve instance
1561.43/578.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1571.10/585.51	04:58 ERROR: Failed to solve instance
1571.10/585.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1571.62/586.03	04:58 ERROR: Failed to solve instance
1571.62/586.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1572.14/586.58	04:59 ERROR: Failed to solve instance
1572.14/586.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1579.93/592.67	05:05 ERROR: Failed to solve instance
1579.93/592.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1580.45/593.18	05:06 ERROR: Failed to solve instance
1580.45/593.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1581.48/594.14	05:07 ERROR: Failed to solve instance
1581.48/594.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1582.00/594.68	05:07 ERROR: Failed to solve instance
1582.00/594.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1582.63/595.27	05:08 ERROR: Failed to solve instance
1582.63/595.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1594.32/604.82	05:17 ERROR: Failed to solve instance
1594.32/604.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1597.71/607.74	05:20 ERROR: Failed to solve instance
1597.71/607.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1598.72/608.73	05:21 ERROR: Failed to solve instance
1598.72/608.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1599.22/609.25	05:22 ERROR: Failed to solve instance
1599.22/609.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1599.84/609.87	05:22 ERROR: Failed to solve instance
1599.84/609.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1600.56/610.54	05:23 ERROR: Failed to solve instance
1600.56/610.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1601.59/611.54	05:24 ERROR: Failed to solve instance
1601.59/611.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1601.90/611.88	05:24 ERROR: Failed to solve instance
1601.90/611.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1605.62/615.05	05:27 ERROR: Failed to solve instance
1605.62/615.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.55/615.91	05:28 ERROR: Failed to solve instance
1606.55/615.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1607.48/616.86	05:29 ERROR: Failed to solve instance
1607.48/616.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1615.85/623.63	05:36 ERROR: Failed to solve instance
1615.85/623.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1616.38/624.20	05:37 ERROR: Failed to solve instance
1616.38/624.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1617.73/625.42	05:38 ERROR: Failed to solve instance
1617.73/625.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1618.29/625.92	05:38 ERROR: Failed to solve instance
1618.29/625.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1626.38/632.28	05:45 ERROR: Failed to solve instance
1626.38/632.28	java.lang.OutOfMemoryError: Java heap space
1627.21/633.03	05:45 ERROR: Failed to solve instance
1627.21/633.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1627.82/633.66	05:46 ERROR: Failed to solve instance
1627.82/633.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1631.33/636.60	05:49 ERROR: Failed to solve instance
1631.33/636.60	java.lang.OutOfMemoryError: Java heap space
1632.07/637.21	05:50 ERROR: Failed to solve instance
1632.07/637.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.81/640.39	05:53 ERROR: Failed to solve instance
1635.81/640.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.33/640.88	05:53 ERROR: Failed to solve instance
1636.33/640.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1637.36/641.84	05:54 ERROR: Failed to solve instance
1637.36/641.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1637.87/642.37	05:55 ERROR: Failed to solve instance
1637.87/642.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1638.51/642.96	05:55 ERROR: Failed to solve instance
1638.51/642.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1646.66/649.25	06:02 ERROR: Failed to solve instance
1646.66/649.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.28/652.32	06:05 ERROR: Failed to solve instance
1650.28/652.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.82/652.82	06:05 ERROR: Failed to solve instance
1650.82/652.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1651.33/653.35	06:06 ERROR: Failed to solve instance
1651.33/653.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.27/654.27	06:07 ERROR: Failed to solve instance
1652.27/654.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.58/654.54	06:07 ERROR: Failed to solve instance
1652.58/654.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1656.45/657.71	06:10 ERROR: Failed to solve instance
1656.45/657.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1656.97/658.23	06:11 ERROR: Failed to solve instance
1656.97/658.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1658.00/659.30	06:12 ERROR: Failed to solve instance
1658.00/659.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1658.62/659.86	06:12 ERROR: Failed to solve instance
1658.62/659.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1659.35/660.57	06:13 ERROR: Failed to solve instance
1659.35/660.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1671.28/669.99	06:22 ERROR: Failed to solve instance
1671.28/669.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1671.79/670.48	06:23 ERROR: Failed to solve instance
1671.79/670.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1672.39/671.01	06:23 ERROR: Failed to solve instance
1672.39/671.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1673.51/672.15	06:24 ERROR: Failed to solve instance
1673.51/672.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1674.23/672.85	06:25 ERROR: Failed to solve instance
1674.23/672.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1674.96/673.58	06:26 ERROR: Failed to solve instance
1674.96/673.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1675.79/674.35	06:27 ERROR: Failed to solve instance
1675.79/674.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1685.65/682.18	06:35 ERROR: Failed to solve instance
1685.65/682.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.28/682.74	06:35 ERROR: Failed to solve instance
1686.28/682.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.90/683.32	06:36 ERROR: Failed to solve instance
1686.90/683.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1692.09/687.64	06:40 ERROR: Failed to solve instance
1692.09/687.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.02/688.60	06:41 ERROR: Failed to solve instance
1693.02/688.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.65/689.16	06:42 ERROR: Failed to solve instance
1693.65/689.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1696.36/691.42	06:44 ERROR: Failed to solve instance
1696.36/691.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1696.87/691.92	06:44 ERROR: Failed to solve instance
1696.87/691.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1699.58/694.34	06:47 ERROR: Failed to solve instance
1699.58/694.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1700.09/694.82	06:47 ERROR: Failed to solve instance
1700.09/694.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1710.13/703.10	06:55 ERROR: Failed to solve instance
1710.13/703.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1710.75/703.62	06:56 ERROR: Failed to solve instance
1710.75/703.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1711.28/704.19	06:57 ERROR: Failed to solve instance
1711.28/704.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.25/705.02	06:57 ERROR: Failed to solve instance
1712.25/705.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1715.17/707.60	07:00 ERROR: Failed to solve instance
1715.17/707.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1715.79/708.13	07:00 ERROR: Failed to solve instance
1715.79/708.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1716.41/708.70	07:01 ERROR: Failed to solve instance
1716.41/708.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1717.31/709.52	07:02 ERROR: Failed to solve instance
1717.31/709.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1726.76/716.96	07:09 ERROR: Failed to solve instance
1726.76/716.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1727.28/717.47	07:10 ERROR: Failed to solve instance
1727.28/717.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1727.89/718.02	07:10 ERROR: Failed to solve instance
1727.89/718.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1734.85/723.71	07:16 ERROR: Failed to solve instance
1734.85/723.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1737.35/725.79	07:18 ERROR: Failed to solve instance
1737.35/725.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.38/726.71	07:19 ERROR: Failed to solve instance
1738.38/726.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.91/727.21	07:20 ERROR: Failed to solve instance
1738.91/727.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1741.48/729.41	07:22 ERROR: Failed to solve instance
1741.48/729.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1741.99/729.92	07:22 ERROR: Failed to solve instance
1741.99/729.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1743.03/730.93	07:23 ERROR: Failed to solve instance
1743.03/730.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1743.54/731.46	07:24 ERROR: Failed to solve instance
1743.54/731.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1744.17/732.02	07:24 ERROR: Failed to solve instance
1744.17/732.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1744.80/732.63	07:25 ERROR: Failed to solve instance
1744.80/732.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1752.90/739.05	07:31 ERROR: Failed to solve instance
1752.90/739.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1753.92/740.06	07:32 ERROR: Failed to solve instance
1753.92/740.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1754.54/740.63	07:33 ERROR: Failed to solve instance
1754.54/740.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.65/743.98	07:36 ERROR: Failed to solve instance
1758.65/743.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1759.67/744.95	07:37 ERROR: Failed to solve instance
1759.67/744.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1760.30/745.51	07:38 ERROR: Failed to solve instance
1760.30/745.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1760.82/746.09	07:38 ERROR: Failed to solve instance
1760.82/746.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1767.96/751.89	07:44 ERROR: Failed to solve instance
1767.96/751.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1768.58/752.42	07:45 ERROR: Failed to solve instance
1768.58/752.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1769.10/752.97	07:45 ERROR: Failed to solve instance
1769.10/752.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1776.57/759.11	07:51 ERROR: Failed to solve instance
1776.57/759.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1777.49/760.01	07:52 ERROR: Failed to solve instance
1777.49/760.01	java.lang.OutOfMemoryError: Java heap space
1777.49/760.01	07:52 ERROR: Failed to solve instance
1777.49/760.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1778.14/760.67	07:53 ERROR: Failed to solve instance
1778.14/760.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1781.61/763.46	07:56 ERROR: Failed to solve instance
1781.61/763.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1782.14/763.97	07:56 ERROR: Failed to solve instance
1782.14/763.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1782.75/764.51	07:57 ERROR: Failed to solve instance
1782.75/764.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1783.78/765.52	07:58 ERROR: Failed to solve instance
1783.78/765.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.30/766.07	07:58 ERROR: Failed to solve instance
1784.30/766.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.93/766.67	07:59 ERROR: Failed to solve instance
1784.93/766.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1796.50/775.61	08:08 ERROR: Failed to solve instance
1796.50/775.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1796.92/776.09	08:08 ERROR: Failed to solve instance
1796.92/776.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1797.52/776.62	08:09 ERROR: Failed to solve instance
1797.52/776.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.79/781.04	08:13 ERROR: Failed to solve instance
1802.79/781.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1803.32/781.55	08:14 ERROR: Failed to solve instance
1803.32/781.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1803.82/782.09	08:14 ERROR: Failed to solve instance
1803.82/782.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.16/784.93	08:17 ERROR: Failed to solve instance
1807.16/784.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.68/785.45	08:18 ERROR: Failed to solve instance
1807.68/785.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1808.41/786.17	08:19 ERROR: Failed to solve instance
1808.41/786.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1819.99/795.68	08:28 ERROR: Failed to solve instance
1819.99/795.68	java.lang.OutOfMemoryError: Java heap space
1820.29/795.91	08:28 ERROR: Failed to solve instance
1820.29/795.91	java.lang.OutOfMemoryError: Java heap space
1820.81/796.43	08:29 ERROR: Failed to solve instance
1820.81/796.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1821.84/797.46	08:30 ERROR: Failed to solve instance
1821.84/797.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1822.36/798.00	08:30 ERROR: Failed to solve instance
1822.36/798.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1822.98/798.57	08:31 ERROR: Failed to solve instance
1822.98/798.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1823.61/799.17	08:32 ERROR: Failed to solve instance
1823.61/799.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1829.43/803.63	08:36 ERROR: Failed to solve instance
1829.43/803.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1830.28/804.44	08:37 ERROR: Failed to solve instance
1830.28/804.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1830.81/804.98	08:37 ERROR: Failed to solve instance
1830.81/804.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.95/808.34	08:41 ERROR: Failed to solve instance
1834.95/808.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1835.97/809.32	08:42 ERROR: Failed to solve instance
1835.97/809.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1836.48/809.84	08:42 ERROR: Failed to solve instance
1836.48/809.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1836.99/810.39	08:43 ERROR: Failed to solve instance
1836.99/810.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1837.61/810.96	08:43 ERROR: Failed to solve instance
1837.61/810.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1844.32/816.30	08:49 ERROR: Failed to solve instance
1844.32/816.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1845.75/817.65	08:50 ERROR: Failed to solve instance
1845.75/817.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1849.06/820.42	08:53 ERROR: Failed to solve instance
1849.06/820.42	java.lang.OutOfMemoryError: Java heap space
1849.27/820.69	08:53 ERROR: Failed to solve instance
1849.27/820.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1852.72/823.76	08:56 ERROR: Failed to solve instance
1852.72/823.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1859.52/829.29	09:02 ERROR: Failed to solve instance
1859.52/829.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.03/829.70	09:02 ERROR: Failed to solve instance
1860.03/829.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1863.77/832.86	09:05 ERROR: Failed to solve instance
1863.77/832.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1864.28/833.36	09:06 ERROR: Failed to solve instance
1864.28/833.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1864.79/833.89	09:06 ERROR: Failed to solve instance
1864.79/833.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1865.92/834.91	09:07 ERROR: Failed to solve instance
1865.92/834.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1866.44/835.46	09:08 ERROR: Failed to solve instance
1866.44/835.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1867.07/836.04	09:08 ERROR: Failed to solve instance
1867.07/836.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1876.35/843.44	09:16 ERROR: Failed to solve instance
1876.35/843.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1876.87/843.92	09:16 ERROR: Failed to solve instance
1876.87/843.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1877.40/844.46	09:17 ERROR: Failed to solve instance
1877.40/844.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1880.83/847.24	09:20 ERROR: Failed to solve instance
1880.83/847.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1884.84/850.61	09:23 ERROR: Failed to solve instance
1884.84/850.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1885.25/851.10	09:23 ERROR: Failed to solve instance
1885.25/851.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1886.37/852.12	09:24 ERROR: Failed to solve instance
1886.37/852.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1886.90/852.66	09:25 ERROR: Failed to solve instance
1886.90/852.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1887.52/853.26	09:26 ERROR: Failed to solve instance
1887.52/853.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1896.07/859.89	09:32 ERROR: Failed to solve instance
1896.07/859.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1897.00/860.80	09:33 ERROR: Failed to solve instance
1897.00/860.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1897.51/861.30	09:34 ERROR: Failed to solve instance
1897.51/861.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1898.15/861.82	09:34 ERROR: Failed to solve instance
1898.15/861.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1898.66/862.31	09:35 ERROR: Failed to solve instance
1898.66/862.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1906.17/868.53	09:41 ERROR: Failed to solve instance
1906.17/868.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.09/869.47	09:42 ERROR: Failed to solve instance
1907.09/869.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.60/869.93	09:42 ERROR: Failed to solve instance
1907.60/869.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1908.12/870.44	09:43 ERROR: Failed to solve instance
1908.12/870.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1908.78/871.01	09:43 ERROR: Failed to solve instance
1908.78/871.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1919.85/880.01	09:52 ERROR: Failed to solve instance
1919.85/880.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1920.26/880.50	09:53 ERROR: Failed to solve instance
1920.26/880.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1920.86/881.00	09:53 ERROR: Failed to solve instance
1920.86/881.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.78/881.99	09:54 ERROR: Failed to solve instance
1921.78/881.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.40/882.53	09:55 ERROR: Failed to solve instance
1922.40/882.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1923.03/883.15	09:55 ERROR: Failed to solve instance
1923.03/883.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1931.80/890.29	10:03 ERROR: Failed to solve instance
1931.80/890.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1932.34/890.76	10:03 ERROR: Failed to solve instance
1932.34/890.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.28/891.61	10:04 ERROR: Failed to solve instance
1933.28/891.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.70/892.11	10:04 ERROR: Failed to solve instance
1933.70/892.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1937.24/895.03	10:07 ERROR: Failed to solve instance
1937.24/895.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1937.77/895.56	10:08 ERROR: Failed to solve instance
1937.77/895.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1944.79/901.24	10:14 ERROR: Failed to solve instance
1944.79/901.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1945.82/902.20	10:15 ERROR: Failed to solve instance
1945.82/902.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1946.23/902.68	10:15 ERROR: Failed to solve instance
1946.23/902.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1946.76/903.16	10:16 ERROR: Failed to solve instance
1946.76/903.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1947.39/903.71	10:16 ERROR: Failed to solve instance
1947.39/903.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1956.00/910.48	10:23 ERROR: Failed to solve instance
1956.00/910.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1956.52/910.97	10:23 ERROR: Failed to solve instance
1956.52/910.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1957.04/911.49	10:24 ERROR: Failed to solve instance
1957.04/911.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1958.07/912.42	10:25 ERROR: Failed to solve instance
1958.07/912.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1958.59/912.95	10:25 ERROR: Failed to solve instance
1958.59/912.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1959.22/913.53	10:26 ERROR: Failed to solve instance
1959.22/913.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1968.95/921.41	10:34 ERROR: Failed to solve instance
1968.95/921.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.36/923.65	10:36 ERROR: Failed to solve instance
1971.36/923.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.98/924.22	10:37 ERROR: Failed to solve instance
1971.98/924.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1972.52/924.70	10:37 ERROR: Failed to solve instance
1972.52/924.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1976.15/927.85	10:40 ERROR: Failed to solve instance
1976.15/927.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1976.98/928.67	10:41 ERROR: Failed to solve instance
1976.98/928.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1977.61/929.29	10:42 ERROR: Failed to solve instance
1977.61/929.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1985.97/935.63	10:48 ERROR: Failed to solve instance
1985.97/935.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1986.49/936.13	10:48 ERROR: Failed to solve instance
1986.49/936.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1987.01/936.67	10:49 ERROR: Failed to solve instance
1987.01/936.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1991.44/940.49	10:53 ERROR: Failed to solve instance
1991.44/940.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.07/941.03	10:53 ERROR: Failed to solve instance
1992.07/941.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.70/941.63	10:54 ERROR: Failed to solve instance
1992.70/941.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1996.65/944.91	10:57 ERROR: Failed to solve instance
1996.65/944.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2000.56/948.29	11:01 ERROR: Failed to solve instance
2000.56/948.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2001.18/948.80	11:01 ERROR: Failed to solve instance
2001.18/948.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.01/949.68	11:02 ERROR: Failed to solve instance
2002.01/949.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2011.39/957.19	11:10 ERROR: Failed to solve instance
2011.39/957.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.22/957.94	11:10 ERROR: Failed to solve instance
2012.22/957.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.85/958.51	11:11 ERROR: Failed to solve instance
2012.85/958.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2016.61/961.79	11:14 ERROR: Failed to solve instance
2016.61/961.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2017.63/962.75	11:15 ERROR: Failed to solve instance
2017.63/962.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.14/963.27	11:16 ERROR: Failed to solve instance
2018.14/963.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.76/963.83	11:16 ERROR: Failed to solve instance
2018.76/963.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.38/964.42	11:17 ERROR: Failed to solve instance
2019.38/964.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2025.36/969.13	11:21 ERROR: Failed to solve instance
2025.36/969.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2025.88/969.63	11:22 ERROR: Failed to solve instance
2025.88/969.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2031.74/974.21	11:27 ERROR: Failed to solve instance
2031.74/974.21	java.lang.OutOfMemoryError: Java heap space
2032.14/974.63	11:27 ERROR: Failed to solve instance
2032.14/974.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2032.57/975.08	11:27 ERROR: Failed to solve instance
2032.57/975.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2033.09/975.60	11:28 ERROR: Failed to solve instance
2033.09/975.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2033.73/976.17	11:29 ERROR: Failed to solve instance
2033.73/976.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2042.41/982.95	11:35 ERROR: Failed to solve instance
2042.41/982.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2043.45/983.92	11:36 ERROR: Failed to solve instance
2043.45/983.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2043.96/984.44	11:37 ERROR: Failed to solve instance
2043.96/984.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2044.49/984.99	11:37 ERROR: Failed to solve instance
2044.49/984.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2045.00/985.47	11:38 ERROR: Failed to solve instance
2045.00/985.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2049.80/989.43	11:42 ERROR: Failed to solve instance
2049.80/989.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2050.31/989.96	11:42 ERROR: Failed to solve instance
2050.31/989.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2051.34/990.99	11:43 ERROR: Failed to solve instance
2051.34/990.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2058.87/996.71	11:49 ERROR: Failed to solve instance
2058.87/996.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2059.80/997.67	11:50 ERROR: Failed to solve instance
2059.80/997.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2060.32/998.17	11:51 ERROR: Failed to solve instance
2060.32/998.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2060.85/998.70	11:51 ERROR: Failed to solve instance
2060.85/998.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2065.46/1002.44	11:55 ERROR: Failed to solve instance
2065.46/1002.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2065.97/1002.91	11:55 ERROR: Failed to solve instance
2065.97/1002.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2066.48/1003.43	11:56 ERROR: Failed to solve instance
2066.48/1003.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2067.00/1004.00	11:56 ERROR: Failed to solve instance
2067.00/1004.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2073.60/1009.24	12:02 ERROR: Failed to solve instance
2073.60/1009.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2074.62/1010.22	12:02 ERROR: Failed to solve instance
2074.62/1010.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.14/1010.78	12:03 ERROR: Failed to solve instance
2075.14/1010.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.87/1011.51	12:04 ERROR: Failed to solve instance
2075.87/1011.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.64/1019.23	12:12 ERROR: Failed to solve instance
2085.64/1019.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2086.15/1019.76	12:12 ERROR: Failed to solve instance
2086.15/1019.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2086.68/1020.25	12:13 ERROR: Failed to solve instance
2086.68/1020.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2087.59/1021.19	12:14 ERROR: Failed to solve instance
2087.59/1021.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2088.22/1021.73	12:14 ERROR: Failed to solve instance
2088.22/1021.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2088.73/1022.25	12:15 ERROR: Failed to solve instance
2088.73/1022.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2093.71/1026.31	12:19 ERROR: Failed to solve instance
2093.71/1026.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2094.25/1026.86	12:19 ERROR: Failed to solve instance
2094.25/1026.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2094.87/1027.46	12:20 ERROR: Failed to solve instance
2094.87/1027.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2099.79/1031.47	12:24 ERROR: Failed to solve instance
2099.79/1031.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2100.64/1032.25	12:25 ERROR: Failed to solve instance
2100.64/1032.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2104.15/1035.26	12:28 ERROR: Failed to solve instance
2104.15/1035.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2104.98/1036.07	12:28 ERROR: Failed to solve instance
2104.98/1036.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.61/1036.64	12:29 ERROR: Failed to solve instance
2105.61/1036.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2106.47/1037.48	12:30 ERROR: Failed to solve instance
2106.47/1037.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2118.07/1046.41	12:39 ERROR: Failed to solve instance
2118.07/1046.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2118.49/1046.88	12:39 ERROR: Failed to solve instance
2118.49/1046.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2119.01/1047.39	12:40 ERROR: Failed to solve instance
2119.01/1047.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2119.63/1047.94	12:40 ERROR: Failed to solve instance
2119.63/1047.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2127.86/1054.88	12:47 ERROR: Failed to solve instance
2127.86/1054.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2128.38/1055.37	12:48 ERROR: Failed to solve instance
2128.38/1055.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2128.99/1055.91	12:48 ERROR: Failed to solve instance
2128.99/1055.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.04/1056.95	12:49 ERROR: Failed to solve instance
2130.04/1056.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.39/1057.25	12:50 ERROR: Failed to solve instance
2130.39/1057.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2134.10/1060.44	12:53 ERROR: Failed to solve instance
2134.10/1060.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2134.73/1061.01	12:53 ERROR: Failed to solve instance
2134.73/1061.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2135.56/1061.82	12:54 ERROR: Failed to solve instance
2135.56/1061.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2143.82/1068.55	13:01 ERROR: Failed to solve instance
2143.82/1068.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2144.45/1069.14	13:01 ERROR: Failed to solve instance
2144.45/1069.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2144.97/1069.64	13:02 ERROR: Failed to solve instance
2144.97/1069.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2148.98/1073.07	13:05 ERROR: Failed to solve instance
2148.98/1073.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.38/1078.18	13:11 ERROR: Failed to solve instance
2155.38/1078.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2159.07/1081.26	13:14 ERROR: Failed to solve instance
2159.07/1081.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2160.08/1082.24	13:15 ERROR: Failed to solve instance
2160.08/1082.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2160.59/1082.75	13:15 ERROR: Failed to solve instance
2160.59/1082.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2161.10/1083.29	13:16 ERROR: Failed to solve instance
2161.10/1083.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2161.61/1083.75	13:16 ERROR: Failed to solve instance
2161.61/1083.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2166.00/1087.44	13:20 ERROR: Failed to solve instance
2166.00/1087.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2166.52/1087.95	13:20 ERROR: Failed to solve instance
2166.52/1087.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2167.24/1088.63	13:21 ERROR: Failed to solve instance
2167.24/1088.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2168.61/1089.93	13:22 ERROR: Failed to solve instance
2168.61/1089.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.02/1090.41	13:23 ERROR: Failed to solve instance
2169.02/1090.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2179.02/1098.41	13:31 ERROR: Failed to solve instance
2179.02/1098.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2179.54/1098.91	13:31 ERROR: Failed to solve instance
2179.54/1098.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2180.07/1099.44	13:32 ERROR: Failed to solve instance
2180.07/1099.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2180.98/1100.36	13:33 ERROR: Failed to solve instance
2180.98/1100.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2181.39/1100.80	13:33 ERROR: Failed to solve instance
2181.39/1100.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2182.01/1101.36	13:34 ERROR: Failed to solve instance
2182.01/1101.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2190.92/1108.31	13:41 ERROR: Failed to solve instance
2190.92/1108.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.43/1108.82	13:41 ERROR: Failed to solve instance
2191.43/1108.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2192.37/1109.73	13:42 ERROR: Failed to solve instance
2192.37/1109.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2192.89/1110.22	13:43 ERROR: Failed to solve instance
2192.89/1110.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2193.41/1110.74	13:43 ERROR: Failed to solve instance
2193.41/1110.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2194.15/1111.46	13:44 ERROR: Failed to solve instance
2194.15/1111.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2204.04/1119.52	13:52 ERROR: Failed to solve instance
2204.04/1119.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2204.90/1120.31	13:53 ERROR: Failed to solve instance
2204.90/1120.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2205.31/1120.77	13:53 ERROR: Failed to solve instance
2205.31/1120.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2209.16/1123.91	13:56 ERROR: Failed to solve instance
2209.16/1123.91	java.lang.OutOfMemoryError: Java heap space
2210.41/1125.13	13:57 ERROR: Failed to solve instance
2210.41/1125.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2210.94/1125.62	13:58 ERROR: Failed to solve instance
2210.94/1125.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2211.47/1126.15	13:59 ERROR: Failed to solve instance
2211.47/1126.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2217.08/1130.93	14:03 ERROR: Failed to solve instance
2217.08/1130.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2217.38/1131.30	14:04 ERROR: Failed to solve instance
2217.38/1131.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2223.57/1136.14	14:08 ERROR: Failed to solve instance
2223.57/1136.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2224.60/1137.16	14:10 ERROR: Failed to solve instance
2224.60/1137.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2225.23/1137.74	14:10 ERROR: Failed to solve instance
2225.23/1137.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2225.75/1138.25	14:11 ERROR: Failed to solve instance
2225.75/1138.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2226.28/1138.74	14:11 ERROR: Failed to solve instance
2226.28/1138.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2229.81/1141.66	14:14 ERROR: Failed to solve instance
2229.81/1141.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.34/1142.20	14:15 ERROR: Failed to solve instance
2230.34/1142.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2231.40/1143.18	14:16 ERROR: Failed to solve instance
2231.40/1143.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2232.05/1143.75	14:16 ERROR: Failed to solve instance
2232.05/1143.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2240.67/1150.48	14:23 ERROR: Failed to solve instance
2240.67/1150.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2241.51/1151.28	14:24 ERROR: Failed to solve instance
2241.51/1151.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.02/1151.78	14:24 ERROR: Failed to solve instance
2242.02/1151.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2245.91/1155.03	14:27 ERROR: Failed to solve instance
2245.91/1155.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2250.45/1158.74	14:31 ERROR: Failed to solve instance
2250.45/1158.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2250.96/1159.24	14:32 ERROR: Failed to solve instance
2250.96/1159.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2251.59/1159.81	14:32 ERROR: Failed to solve instance
2251.59/1159.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2263.10/1169.28	14:42 ERROR: Failed to solve instance
2263.10/1169.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2263.61/1169.76	14:42 ERROR: Failed to solve instance
2263.61/1169.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2264.12/1170.30	14:43 ERROR: Failed to solve instance
2264.12/1170.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2265.25/1171.34	14:44 ERROR: Failed to solve instance
2265.25/1171.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2265.87/1171.93	14:44 ERROR: Failed to solve instance
2265.87/1171.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2266.39/1172.49	14:45 ERROR: Failed to solve instance
2266.39/1172.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2267.03/1173.11	14:45 ERROR: Failed to solve instance
2267.03/1173.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2276.07/1180.06	14:52 ERROR: Failed to solve instance
2276.07/1180.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2276.59/1180.53	14:53 ERROR: Failed to solve instance
2276.59/1180.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2277.11/1181.06	14:53 ERROR: Failed to solve instance
2277.11/1181.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2278.27/1182.13	14:54 ERROR: Failed to solve instance
2278.27/1182.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2278.80/1182.65	14:55 ERROR: Failed to solve instance
2278.80/1182.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.88/1185.96	14:58 ERROR: Failed to solve instance
2282.88/1185.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2283.39/1186.44	14:59 ERROR: Failed to solve instance
2283.39/1186.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2283.90/1186.97	14:59 ERROR: Failed to solve instance
2283.90/1186.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2285.04/1188.06	15:00 ERROR: Failed to solve instance
2285.04/1188.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2285.57/1188.57	15:01 ERROR: Failed to solve instance
2285.57/1188.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2294.75/1195.62	15:08 ERROR: Failed to solve instance
2294.75/1195.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2295.28/1196.13	15:08 ERROR: Failed to solve instance
2295.28/1196.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2295.90/1196.71	15:09 ERROR: Failed to solve instance
2295.90/1196.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2301.34/1201.28	15:14 ERROR: Failed to solve instance
2301.34/1201.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2301.96/1201.82	15:14 ERROR: Failed to solve instance
2301.96/1201.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2302.48/1202.31	15:15 ERROR: Failed to solve instance
2302.48/1202.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2306.18/1205.39	15:18 ERROR: Failed to solve instance
2306.18/1205.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2306.71/1205.90	15:18 ERROR: Failed to solve instance
2306.71/1205.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2307.83/1206.92	15:19 ERROR: Failed to solve instance
2307.83/1206.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.34/1207.42	15:20 ERROR: Failed to solve instance
2308.34/1207.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.76/1207.88	15:20 ERROR: Failed to solve instance
2308.76/1207.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2309.38/1208.45	15:21 ERROR: Failed to solve instance
2309.38/1208.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2318.71/1215.75	15:28 ERROR: Failed to solve instance
2318.71/1215.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2319.73/1216.74	15:29 ERROR: Failed to solve instance
2319.73/1216.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2320.25/1217.25	15:30 ERROR: Failed to solve instance
2320.25/1217.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2320.77/1217.79	15:30 ERROR: Failed to solve instance
2320.77/1217.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2321.39/1218.37	15:31 ERROR: Failed to solve instance
2321.39/1218.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2330.36/1225.53	15:38 ERROR: Failed to solve instance
2330.36/1225.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2331.28/1226.45	15:39 ERROR: Failed to solve instance
2331.28/1226.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2331.80/1226.95	15:39 ERROR: Failed to solve instance
2331.80/1226.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2332.32/1227.49	15:40 ERROR: Failed to solve instance
2332.32/1227.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2332.95/1228.04	15:40 ERROR: Failed to solve instance
2332.95/1228.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2341.46/1234.61	15:47 ERROR: Failed to solve instance
2341.46/1234.61	java.lang.OutOfMemoryError: Java heap space
2342.08/1235.29	15:48 ERROR: Failed to solve instance
2342.08/1235.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2342.60/1235.77	15:48 ERROR: Failed to solve instance
2342.60/1235.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2343.13/1236.29	15:49 ERROR: Failed to solve instance
2343.13/1236.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2346.18/1238.81	15:51 ERROR: Failed to solve instance
2346.18/1238.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2347.02/1239.61	15:52 ERROR: Failed to solve instance
2347.02/1239.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2347.55/1240.14	15:53 ERROR: Failed to solve instance
2347.55/1240.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2348.40/1240.93	15:53 ERROR: Failed to solve instance
2348.40/1240.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.33/1245.14	15:57 ERROR: Failed to solve instance
2353.33/1245.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.84/1245.61	15:58 ERROR: Failed to solve instance
2353.84/1245.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2354.35/1246.16	15:59 ERROR: Failed to solve instance
2354.35/1246.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2354.98/1246.77	15:59 ERROR: Failed to solve instance
2354.98/1246.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2364.58/1254.21	16:07 ERROR: Failed to solve instance
2364.58/1254.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2365.75/1255.33	16:08 ERROR: Failed to solve instance
2365.75/1255.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2366.16/1255.81	16:08 ERROR: Failed to solve instance
2366.16/1255.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2370.95/1259.70	16:12 ERROR: Failed to solve instance
2370.95/1259.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2371.86/1260.68	16:13 ERROR: Failed to solve instance
2371.86/1260.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2372.47/1261.21	16:14 ERROR: Failed to solve instance
2372.47/1261.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2372.98/1261.77	16:14 ERROR: Failed to solve instance
2372.98/1261.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2373.61/1262.39	16:15 ERROR: Failed to solve instance
2373.61/1262.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2383.19/1269.83	16:22 ERROR: Failed to solve instance
2383.19/1269.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2383.70/1270.32	16:23 ERROR: Failed to solve instance
2383.70/1270.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2384.21/1270.85	16:23 ERROR: Failed to solve instance
2384.21/1270.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2384.72/1271.39	16:24 ERROR: Failed to solve instance
2384.72/1271.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2387.93/1274.15	16:27 ERROR: Failed to solve instance
2387.93/1274.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2388.44/1274.66	16:27 ERROR: Failed to solve instance
2388.44/1274.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2389.06/1275.22	16:28 ERROR: Failed to solve instance
2389.06/1275.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2400.31/1284.39	16:37 ERROR: Failed to solve instance
2400.31/1284.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2400.83/1284.88	16:37 ERROR: Failed to solve instance
2400.83/1284.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2401.44/1285.41	16:38 ERROR: Failed to solve instance
2401.44/1285.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2402.06/1286.01	16:38 ERROR: Failed to solve instance
2402.06/1286.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2407.03/1290.18	16:43 ERROR: Failed to solve instance
2407.03/1290.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2407.86/1290.92	16:43 ERROR: Failed to solve instance
2407.86/1290.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2408.40/1291.44	16:44 ERROR: Failed to solve instance
2408.40/1291.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2411.48/1294.04	16:46 ERROR: Failed to solve instance
2411.48/1294.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2412.30/1294.82	16:47 ERROR: Failed to solve instance
2412.30/1294.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2412.83/1295.38	16:48 ERROR: Failed to solve instance
2412.83/1295.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2413.76/1296.21	16:49 ERROR: Failed to solve instance
2413.76/1296.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2418.00/1299.72	16:52 ERROR: Failed to solve instance
2418.00/1299.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2418.93/1300.62	16:53 ERROR: Failed to solve instance
2418.93/1300.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2419.45/1301.14	16:53 ERROR: Failed to solve instance
2419.45/1301.14	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-3312485-1304117712/watcher-3312485-1304117712 -o /tmp/evaluation-result-3312485-1304117712/solver-3312485-1304117712 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312485-1304117712.cnf 

running on 4 cores: 0,2,4,6

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: 3.64 3.99 4.79 4/194 4008
/proc/meminfo: memFree=29366224/32951124 swapFree=67111348/67111528
[pid=4008] ppid=4006 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/4008/stat : 4008 (java) R 4006 4008 3438 0 -1 4202496 1221 0 0 0 0 0 0 0 21 0 1 0 504186703 23580672 706 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 47362519011327 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/4008/statm: 5757 716 530 9 0 124 0

[startup+0.0675189 s]
/proc/loadavg: 3.64 3.99 4.79 4/194 4008
/proc/meminfo: memFree=29366224/32951124 swapFree=67111348/67111528
[pid=4008] ppid=4006 vsize=15609780 CPUtime=0.06 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4006 4008 3438 0 -1 4202496 4394 0 1 0 6 0 0 0 21 0 18 0 504186703 15984414720 3832 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4008/statm: 3902445 3833 1778 9 0 3893164 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15609780

[startup+0.10049 s]
/proc/loadavg: 3.64 3.99 4.79 4/194 4008
/proc/meminfo: memFree=29366224/32951124 swapFree=67111348/67111528
[pid=4008] ppid=4006 vsize=15676584 CPUtime=0.11 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4006 4008 3438 0 -1 4202496 5607 0 1 0 10 1 0 0 21 0 18 0 504186703 16052822016 5025 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4008/statm: 3919146 5026 2117 9 0 3909865 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676584

[startup+0.300445 s]
/proc/loadavg: 3.64 3.99 4.79 4/194 4008
/proc/meminfo: memFree=29366224/32951124 swapFree=67111348/67111528
[pid=4008] ppid=4006 vsize=15682092 CPUtime=0.52 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4006 4008 3438 0 -1 4202496 15459 0 1 0 50 2 0 0 21 0 18 0 504186703 16058462208 13655 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4008/statm: 3920523 13661 2207 9 0 3911242 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15682092

[startup+0.700376 s]
/proc/loadavg: 3.64 3.99 4.79 4/194 4008
/proc/meminfo: memFree=29366224/32951124 swapFree=67111348/67111528
[pid=4008] ppid=4006 vsize=15682092 CPUtime=0.94 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4006 4008 3438 0 -1 4202496 41837 0 1 0 89 5 0 0 21 0 18 0 504186703 16058462208 40030 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4008/statm: 3920523 40030 2223 9 0 3911242 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 15682092

[startup+1.5012 s]
/proc/loadavg: 3.64 3.99 4.79 12/220 4034
/proc/meminfo: memFree=29008528/32951124 swapFree=67111348/67111528
[pid=4008] ppid=4006 vsize=15715384 CPUtime=2.26 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4006 4008 3438 0 -1 4202496 56184 0 1 0 219 7 0 0 21 0 22 0 504186703 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4008/statm: 3928846 51153 2255 9 0 3919565 0
[pid=4008/tid=4010] ppid=4006 vsize=15715384 CPUtime=1.47 cores=0,2,4,6
/proc/4008/task/4010/stat : 4010 (java) R 4006 4008 3438 0 -1 4202560 35628 0 1 0 143 4 0 0 18 0 22 0 504186703 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 47362514326357 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3438 0 -1 4202560 1468 0 0 0 0 0 0 0 16 0 22 0 504186704 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4012] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3438 0 -1 4202560 29 0 0 0 0 0 0 0 16 0 22 0 504186704 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3438 0 -1 4202560 620 0 0 0 0 0 0 0 16 0 22 0 504186704 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 504186704 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3438 0 -1 4202560 685 0 0 0 0 0 0 0 16 0 22 0 504186704 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4016] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3438 0 -1 4202560 38 0 0 0 0 0 0 0 16 0 22 0 504186704 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3438 0 -1 4202560 188 0 0 0 0 0 0 0 16 0 22 0 504186704 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4018] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4018/stat : 4018 (java) S 4006 4008 3438 0 -1 4202560 2093 0 0 0 0 0 0 0 16 0 22 0 504186704 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4019] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4019/stat : 4019 (java) S 4006 4008 3438 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 22 0 504186705 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 0 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4020] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4020/stat : 4020 (java) S 4006 4008 3438 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 504186705 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4021] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4021/stat : 4021 (java) S 4006 4008 3438 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 504186705 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4022] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4022/stat : 4022 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504186707 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107274673 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4023] ppid=4006 vsize=15715384 CPUtime=0.19 cores=0,2,4,6
/proc/4008/task/4023/stat : 4023 (java) S 4006 4008 3438 0 -1 4202560 1768 0 0 0 19 0 0 0 15 0 22 0 504186707 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4024] ppid=4006 vsize=15715384 CPUtime=0.52 cores=0,2,4,6
/proc/4008/task/4024/stat : 4024 (java) R 4006 4008 3438 0 -1 4202560 12165 0 0 0 52 0 0 0 18 0 22 0 504186707 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 47362515158435 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4008/tid=4025] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4025/stat : 4025 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504186707 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4026] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4026/stat : 4026 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 504186707 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4031] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4031/stat : 4031 (java) S 4006 4008 3438 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 504186795 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4032] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4032/stat : 4032 (java) S 4006 4008 3438 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 504186795 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4033] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4033/stat : 4033 (java) S 4006 4008 3438 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 504186796 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4034] ppid=4006 vsize=15715384 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4034/stat : 4034 (java) S 4006 4008 3438 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 504186796 16092553216 51153 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 15715384

[startup+3.10491 s]
/proc/loadavg: 3.64 3.99 4.79 8/220 4034
/proc/meminfo: memFree=28751848/32951124 swapFree=67111348/67111528
[pid=4008] ppid=4006 vsize=15714380 CPUtime=5.44 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4006 4008 3438 0 -1 4202496 74574 0 1 0 534 10 0 0 21 0 22 0 504186703 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4008/statm: 3928595 62447 2275 9 0 3919314 0
[pid=4008/tid=4010] ppid=4006 vsize=15714380 CPUtime=2.49 cores=0,2,4,6
/proc/4008/task/4010/stat : 4010 (java) S 4006 4008 3438 0 -1 4202560 35688 0 1 0 245 4 0 0 20 0 22 0 504186703 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=15714380 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3438 0 -1 4202560 1468 0 0 0 0 0 0 0 15 0 22 0 504186704 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4012] ppid=4006 vsize=15714380 CPUtime=0.02 cores=0,2,4,6
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3438 0 -1 4202560 1930 0 0 0 2 0 0 0 16 0 22 0 504186704 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=15714380 CPUtime=0.02 cores=0,2,4,6
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3438 0 -1 4202560 4107 0 0 0 1 1 0 0 16 0 22 0 504186704 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=15714380 CPUtime=0.01 cores=0,2,4,6
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3438 0 -1 4202560 2944 0 0 0 1 0 0 0 16 0 22 0 504186704 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=15714380 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3438 0 -1 4202560 685 0 0 0 0 0 0 0 15 0 22 0 504186704 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4016] ppid=4006 vsize=15714380 CPUtime=0.01 cores=0,2,4,6
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3438 0 -1 4202560 2662 0 0 0 1 0 0 0 16 0 22 0 504186704 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=15714380 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3438 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 22 0 504186704 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4018] ppid=4006 vsize=15714380 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4018/stat : 4018 (java) S 4006 4008 3438 0 -1 4202560 2093 0 0 0 0 0 0 0 15 0 22 0 504186704 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4019] ppid=4006 vsize=15714380 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4019/stat : 4019 (java) S 4006 4008 3438 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 22 0 504186705 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 0 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4020] ppid=4006 vsize=15714380 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4020/stat : 4020 (java) S 4006 4008 3438 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 504186705 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4021] ppid=4006 vsize=15714380 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4021/stat : 4021 (java) S 4006 4008 3438 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 504186705 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4022] ppid=4006 vsize=15714380 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4022/stat : 4022 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504186707 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107274673 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4023] ppid=4006 vsize=15714380 CPUtime=0.99 cores=0,2,4,6
/proc/4008/task/4023/stat : 4023 (java) R 4006 4008 3438 0 -1 4202560 7862 0 0 0 98 1 0 0 15 0 22 0 504186707 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 47362513187837 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4008/tid=4024] ppid=4006 vsize=15714380 CPUtime=0.96 cores=0,2,4,6
/proc/4008/task/4024/stat : 4024 (java) S 4006 4008 3438 0 -1 4202560 13413 0 0 0 95 1 0 0 15 0 22 0 504186707 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4025] ppid=4006 vsize=15714380 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4025/stat : 4025 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504186707 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4026] ppid=4006 vsize=15714380 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4026/stat : 4026 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 504186707 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4031] ppid=4006 vsize=15714380 CPUtime=0.09 cores=0,2,4,6
/proc/4008/task/4031/stat : 4031 (java) S 4006 4008 3438 0 -1 4202560 27 0 0 0 9 0 0 0 15 0 22 0 504186795 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4032] ppid=4006 vsize=15714380 CPUtime=0.37 cores=0,2,4,6
/proc/4008/task/4032/stat : 4032 (java) S 4006 4008 3438 0 -1 4202560 7 0 0 0 37 0 0 0 15 0 22 0 504186795 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4033] ppid=4006 vsize=15714380 CPUtime=0.01 cores=0,2,4,6
/proc/4008/task/4033/stat : 4033 (java) R 4006 4008 3438 0 -1 4202560 8 0 0 0 1 0 0 0 15 0 22 0 504186796 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 46912506399520 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4008/tid=4034] ppid=4006 vsize=15714380 CPUtime=0.36 cores=0,2,4,6
/proc/4008/task/4034/stat : 4034 (java) S 4006 4008 3438 0 -1 4202560 11 0 0 0 36 0 0 0 15 0 22 0 504186796 16091525120 62447 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.44
Current children cumulated vsize (KiB) 15714380

[startup+6.30128 s]
/proc/loadavg: 4.15 4.09 4.82 9/220 4034
/proc/meminfo: memFree=27204032/32951124 swapFree=67111348/67111528
[pid=4008] ppid=4006 vsize=15708732 CPUtime=17.91 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4006 4008 3438 0 -1 4202496 279559 0 1 0 1749 42 0 0 21 0 22 0 504186703 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4008/statm: 3927183 265289 2275 9 0 3917902 0
[pid=4008/tid=4010] ppid=4006 vsize=15708732 CPUtime=2.49 cores=0,2,4,6
/proc/4008/task/4010/stat : 4010 (java) S 4006 4008 3438 0 -1 4202560 35688 0 1 0 245 4 0 0 20 0 22 0 504186703 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=15708732 CPUtime=0.19 cores=0,2,4,6
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3438 0 -1 4202560 33752 0 0 0 14 5 0 0 15 0 22 0 504186704 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4012] ppid=4006 vsize=15708732 CPUtime=0.1 cores=0,2,4,6
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3438 0 -1 4202560 14261 0 0 0 8 2 0 0 15 0 22 0 504186704 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=15708732 CPUtime=0.1 cores=0,2,4,6
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3438 0 -1 4202560 16043 0 0 0 8 2 0 0 15 0 22 0 504186704 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=15708732 CPUtime=0.24 cores=0,2,4,6
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3438 0 -1 4202560 38965 0 0 0 18 6 0 0 15 0 22 0 504186704 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=15708732 CPUtime=0.16 cores=0,2,4,6
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3438 0 -1 4202560 22027 0 0 0 13 3 0 0 15 0 22 0 504186704 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4016] ppid=4006 vsize=15708732 CPUtime=0.16 cores=0,2,4,6
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3438 0 -1 4202560 19069 0 0 0 14 2 0 0 15 0 22 0 504186704 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=15708732 CPUtime=0.04 cores=0,2,4,6
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3438 0 -1 4202560 8512 0 0 0 3 1 0 0 16 0 22 0 504186704 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4018] ppid=4006 vsize=15708732 CPUtime=0.2 cores=0,2,4,6
/proc/4008/task/4018/stat : 4018 (java) S 4006 4008 3438 0 -1 4202560 28410 0 0 0 17 3 0 0 16 0 22 0 504186704 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4019] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4019/stat : 4019 (java) S 4006 4008 3438 0 -1 4202560 455 0 0 0 0 0 0 0 15 0 22 0 504186705 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 0 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4020] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4020/stat : 4020 (java) S 4006 4008 3438 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 504186705 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4021] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4021/stat : 4021 (java) S 4006 4008 3438 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 504186705 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4022] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4022/stat : 4022 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504186707 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107274673 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4023] ppid=4006 vsize=15708732 CPUtime=1.05 cores=0,2,4,6
/proc/4008/task/4023/stat : 4023 (java) S 4006 4008 3438 0 -1 4202560 7869 0 0 0 104 1 0 0 15 0 22 0 504186707 16085741568 265289 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0

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

[pid=4008/tid=4021] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4021/stat : 4021 (java) S 4006 4008 3438 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 504186705 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4022] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4022/stat : 4022 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107274673 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4023] ppid=4006 vsize=15708732 CPUtime=1.27 cores=0,2,4,6
/proc/4008/task/4023/stat : 4023 (java) S 4006 4008 3438 0 -1 4202560 8460 0 0 0 125 2 0 0 15 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4024] ppid=4006 vsize=15708732 CPUtime=0.97 cores=0,2,4,6
/proc/4008/task/4024/stat : 4024 (java) S 4006 4008 3438 0 -1 4202560 13416 0 0 0 96 1 0 0 16 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4025] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4025/stat : 4025 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4026] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4026/stat : 4026 (java) S 4006 4008 3438 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4031] ppid=4006 vsize=15708732 CPUtime=358.13 cores=0,2,4,6
/proc/4008/task/4031/stat : 4031 (java) S 4006 4008 3438 0 -1 4202560 64527 0 0 0 35798 15 0 0 15 0 22 0 504186795 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4032] ppid=4006 vsize=15708732 CPUtime=360.08 cores=0,2,4,6
/proc/4008/task/4032/stat : 4032 (java) S 4006 4008 3438 0 -1 4202560 74416 0 0 0 35991 17 0 0 15 0 22 0 504186795 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4033] ppid=4006 vsize=15708732 CPUtime=359.72 cores=0,2,4,6
/proc/4008/task/4033/stat : 4033 (java) S 4006 4008 3438 0 -1 4202560 77291 0 0 0 35955 17 0 0 15 0 22 0 504186796 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4034] ppid=4006 vsize=15708732 CPUtime=359.58 cores=0,2,4,6
/proc/4008/task/4034/stat : 4034 (java) S 4006 4008 3438 0 -1 4202560 66082 0 0 0 35943 15 0 0 15 0 22 0 504186796 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2278.5
Current children cumulated vsize (KiB) 15708732

[startup+1242.3 s]
/proc/loadavg: 5.96 5.43 5.48 6/220 4127
/proc/meminfo: memFree=12140860/32951124 swapFree=67111348/67111528
[pid=4008] ppid=4006 vsize=15708732 CPUtime=2350.08 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4006 4008 3438 0 -1 4202496 3887551 0 1 0 234293 715 0 0 21 0 22 0 504186703 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4008/statm: 3927183 3852044 2294 9 0 3917902 0
[pid=4008/tid=4010] ppid=4006 vsize=15708732 CPUtime=2.49 cores=0,2,4,6
/proc/4008/task/4010/stat : 4010 (java) S 4006 4008 3438 0 -1 4202560 35688 0 1 0 245 4 0 0 20 0 22 0 504186703 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=15708732 CPUtime=3.04 cores=0,2,4,6
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3438 0 -1 4202560 426815 0 0 0 232 72 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4012] ppid=4006 vsize=15708732 CPUtime=2.92 cores=0,2,4,6
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3438 0 -1 4202560 326400 0 0 0 238 54 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=15708732 CPUtime=3.3 cores=0,2,4,6
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3438 0 -1 4202560 394225 0 0 0 261 69 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=15708732 CPUtime=2.57 cores=0,2,4,6
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3438 0 -1 4202560 275981 0 0 0 209 48 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=15708732 CPUtime=2.81 cores=0,2,4,6
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3438 0 -1 4202560 371395 0 0 0 214 67 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4016] ppid=4006 vsize=15708732 CPUtime=2.28 cores=0,2,4,6
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3438 0 -1 4202560 295419 0 0 0 174 54 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=15708732 CPUtime=2.81 cores=0,2,4,6
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3438 0 -1 4202560 365741 0 0 0 217 64 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4018] ppid=4006 vsize=15708732 CPUtime=3.63 cores=0,2,4,6
/proc/4008/task/4018/stat : 4018 (java) S 4006 4008 3438 0 -1 4202560 462694 0 0 0 285 78 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4019] ppid=4006 vsize=15708732 CPUtime=868.82 cores=0,2,4,6
/proc/4008/task/4019/stat : 4019 (java) R 4006 4008 3438 0 -1 4202560 627130 0 0 0 86752 130 0 0 18 0 22 0 504186705 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 47362513610560 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=4008/tid=4020] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4020/stat : 4020 (java) S 4006 4008 3438 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 504186705 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4021] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4021/stat : 4021 (java) S 4006 4008 3438 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 504186705 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4022] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4022/stat : 4022 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107274673 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4023] ppid=4006 vsize=15708732 CPUtime=1.27 cores=0,2,4,6
/proc/4008/task/4023/stat : 4023 (java) S 4006 4008 3438 0 -1 4202560 8460 0 0 0 125 2 0 0 15 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4024] ppid=4006 vsize=15708732 CPUtime=0.97 cores=0,2,4,6
/proc/4008/task/4024/stat : 4024 (java) S 4006 4008 3438 0 -1 4202560 13416 0 0 0 96 1 0 0 16 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4025] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4025/stat : 4025 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4026] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4026/stat : 4026 (java) S 4006 4008 3438 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4031] ppid=4006 vsize=15708732 CPUtime=362.01 cores=0,2,4,6
/proc/4008/task/4031/stat : 4031 (java) S 4006 4008 3438 0 -1 4202560 64625 0 0 0 36185 16 0 0 15 0 22 0 504186795 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4032] ppid=4006 vsize=15708732 CPUtime=363.96 cores=0,2,4,6
/proc/4008/task/4032/stat : 4032 (java) S 4006 4008 3438 0 -1 4202560 74500 0 0 0 36379 17 0 0 15 0 22 0 504186795 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4033] ppid=4006 vsize=15708732 CPUtime=363.61 cores=0,2,4,6
/proc/4008/task/4033/stat : 4033 (java) S 4006 4008 3438 0 -1 4202560 77428 0 0 0 36344 17 0 0 15 0 22 0 504186796 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4034] ppid=4006 vsize=15708732 CPUtime=363.44 cores=0,2,4,6
/proc/4008/task/4034/stat : 4034 (java) S 4006 4008 3438 0 -1 4202560 66177 0 0 0 36329 15 0 0 15 0 22 0 504186796 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2350.08
Current children cumulated vsize (KiB) 15708732



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 5.55 5.41 5.46 6/220 4129
/proc/meminfo: memFree=12100064/32951124 swapFree=67111348/67111528
[pid=4008] ppid=4006 vsize=15708732 CPUtime=2418.31 cores=0,2,4,6
/proc/4008/stat : 4008 (java) S 4006 4008 3438 0 -1 4202496 3887930 0 1 0 241111 720 0 0 21 0 22 0 504186703 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4008/statm: 3927183 3852044 2294 9 0 3917902 0
[pid=4008/tid=4010] ppid=4006 vsize=15708732 CPUtime=2.49 cores=0,2,4,6
/proc/4008/task/4010/stat : 4010 (java) S 4006 4008 3438 0 -1 4202560 35688 0 1 0 245 4 0 0 20 0 22 0 504186703 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4011] ppid=4006 vsize=15708732 CPUtime=3.04 cores=0,2,4,6
/proc/4008/task/4011/stat : 4011 (java) S 4006 4008 3438 0 -1 4202560 426815 0 0 0 232 72 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4012] ppid=4006 vsize=15708732 CPUtime=2.92 cores=0,2,4,6
/proc/4008/task/4012/stat : 4012 (java) S 4006 4008 3438 0 -1 4202560 326400 0 0 0 238 54 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4013] ppid=4006 vsize=15708732 CPUtime=3.3 cores=0,2,4,6
/proc/4008/task/4013/stat : 4013 (java) S 4006 4008 3438 0 -1 4202560 394225 0 0 0 261 69 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4014] ppid=4006 vsize=15708732 CPUtime=2.57 cores=0,2,4,6
/proc/4008/task/4014/stat : 4014 (java) S 4006 4008 3438 0 -1 4202560 275981 0 0 0 209 48 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4015] ppid=4006 vsize=15708732 CPUtime=2.81 cores=0,2,4,6
/proc/4008/task/4015/stat : 4015 (java) S 4006 4008 3438 0 -1 4202560 371395 0 0 0 214 67 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4016] ppid=4006 vsize=15708732 CPUtime=2.28 cores=0,2,4,6
/proc/4008/task/4016/stat : 4016 (java) S 4006 4008 3438 0 -1 4202560 295419 0 0 0 174 54 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4017] ppid=4006 vsize=15708732 CPUtime=2.81 cores=0,2,4,6
/proc/4008/task/4017/stat : 4017 (java) S 4006 4008 3438 0 -1 4202560 365741 0 0 0 217 64 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4018] ppid=4006 vsize=15708732 CPUtime=3.63 cores=0,2,4,6
/proc/4008/task/4018/stat : 4018 (java) S 4006 4008 3438 0 -1 4202560 462694 0 0 0 285 78 0 0 16 0 22 0 504186704 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4019] ppid=4006 vsize=15708732 CPUtime=922.93 cores=0,2,4,6
/proc/4008/task/4019/stat : 4019 (java) R 4006 4008 3438 0 -1 4202560 627135 0 0 0 92159 134 0 0 18 0 22 0 504186705 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 47362518808064 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=4008/tid=4020] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4020/stat : 4020 (java) S 4006 4008 3438 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 504186705 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4021] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4021/stat : 4021 (java) S 4006 4008 3438 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 504186705 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4022] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4022/stat : 4022 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107274673 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4023] ppid=4006 vsize=15708732 CPUtime=1.27 cores=0,2,4,6
/proc/4008/task/4023/stat : 4023 (java) S 4006 4008 3438 0 -1 4202560 8460 0 0 0 125 2 0 0 15 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4024] ppid=4006 vsize=15708732 CPUtime=0.97 cores=0,2,4,6
/proc/4008/task/4024/stat : 4024 (java) S 4006 4008 3438 0 -1 4202560 13416 0 0 0 96 1 0 0 16 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4025] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4025/stat : 4025 (java) S 4006 4008 3438 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4026] ppid=4006 vsize=15708732 CPUtime=0 cores=0,2,4,6
/proc/4008/task/4026/stat : 4026 (java) S 4006 4008 3438 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 504186707 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107267584 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
[pid=4008/tid=4031] ppid=4006 vsize=15708732 CPUtime=365.53 cores=0,2,4,6
/proc/4008/task/4031/stat : 4031 (java) S 4006 4008 3438 0 -1 4202560 64671 0 0 0 36537 16 0 0 15 0 22 0 504186795 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 0 0 0 0
[pid=4008/tid=4032] ppid=4006 vsize=15708732 CPUtime=367.49 cores=0,2,4,6
/proc/4008/task/4032/stat : 4032 (java) S 4006 4008 3438 0 -1 4202560 74577 0 0 0 36732 17 0 0 15 0 22 0 504186795 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 2 0 0 0
[pid=4008/tid=4033] ppid=4006 vsize=15708732 CPUtime=367.14 cores=0,2,4,6
/proc/4008/task/4033/stat : 4033 (java) S 4006 4008 3438 0 -1 4202560 77562 0 0 0 36696 18 0 0 15 0 22 0 504186796 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 6 0 0 0
[pid=4008/tid=4034] ppid=4006 vsize=15708732 CPUtime=366.98 cores=0,2,4,6
/proc/4008/task/4034/stat : 4034 (java) S 4006 4008 3438 0 -1 4202560 66291 0 0 0 36682 16 0 0 15 0 22 0 504186796 16085741568 3852044 33554432000 1073741824 1073778376 140735796639440 18446744073709551615 228107266969 0 4 0 16800975 18446604453985579968 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2418.31
Current children cumulated vsize (KiB) 15708732

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -4008

[startup+1302.3 s]
/proc/loadavg: 5.55 5.41 5.46 6/221 4130
/proc/meminfo: memFree=12109080/32951124 swapFree=67111348/67111528
[pid=4008] ppid=4006 vsize=0 CPUtime=2420.71 cores=0,2,4,6
/proc/4008/stat : 4008 (java) Z 4006 4008 3438 0 -1 4203548 3887960 0 1 0 241322 749 0 0 18 0 2 0 504186703 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4008/statm: 0 0 0 0 0 0 0
[pid=4008/tid=4033] ppid=4006 vsize=0 CPUtime=367.46 cores=0,2,4,6
/proc/4008/task/4033/stat : 4033 (java) R 4006 4008 3438 0 -1 4203588 77562 0 0 0 36700 46 0 0 16 0 2 0 504186796 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2420.71
Current children cumulated vsize (KiB) 0

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

[startup+1302.5 s]
/proc/loadavg: 5.55 5.41 5.46 6/221 4130
/proc/meminfo: memFree=12109080/32951124 swapFree=67111348/67111528
[pid=4008] ppid=4006 vsize=0 CPUtime=2420.91 cores=0,2,4,6
/proc/4008/stat : 4008 (java) Z 4006 4008 3438 0 -1 4203548 3887960 0 1 0 241322 769 0 0 18 0 2 0 504186703 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4008/statm: 0 0 0 0 0 0 0
[pid=4008/tid=4033] ppid=4006 vsize=0 CPUtime=367.66 cores=0,2,4,6
/proc/4008/task/4033/stat : 4033 (java) R 4006 4008 3438 0 -1 4203588 77562 0 0 0 36700 66 0 0 16 0 2 0 504186796 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2420.91
Current children cumulated vsize (KiB) 0

[startup+1302.6 s]
/proc/loadavg: 5.55 5.41 5.46 6/221 4130
/proc/meminfo: memFree=12109080/32951124 swapFree=67111348/67111528
[pid=4008] ppid=4006 vsize=0 CPUtime=2421.01 cores=0,2,4,6
/proc/4008/stat : 4008 (java) Z 4006 4008 3438 0 -1 4203548 3887960 0 1 0 241322 779 0 0 18 0 2 0 504186703 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4008/statm: 0 0 0 0 0 0 0
[pid=4008/tid=4033] ppid=4006 vsize=0 CPUtime=367.76 cores=0,2,4,6
/proc/4008/task/4033/stat : 4033 (java) R 4006 4008 3438 0 -1 4203588 77562 0 0 0 36700 76 0 0 16 0 2 0 504186796 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2421.01
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.6
CPU time (s): 2421.02
CPU user time (s): 2413.23
CPU system time (s): 7.79581
CPU usage (%): 185.86
Max. virtual memory (cumulated for all children) (KiB): 15715680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2413.23
system time used= 7.79581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3887960
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= 73634
involuntary context switches= 38238

runsolver used 2.22566 second user time and 5.11822 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-30 00:55:12
IDJOB=3312485
IDBENCH=82670
IDSOLVER=1699
FILE ID=node142/3312485-1304117712
RUNJOBID= node142-1304117712-3971
PBS_JOBID= 13170697
Free space on /tmp= 71308 MiB

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

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

MD5SUM BENCH= 2ca6073d25d8d5f2648d590c0edc75c0
RANDOM SEED=2032486580

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.81
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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29366372 kB
Buffers:       1067476 kB
Cached:        1941008 kB
SwapCached:        176 kB
Active:         157184 kB
Inactive:      2932328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29366372 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            6716 kB
Writeback:           0 kB
AnonPages:       80192 kB
Mapped:          22624 kB
Slab:           431868 kB
PageTables:       5124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   779604 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= 71308 MiB
End job on node142 at 2011-04-30 01:16:55