Trace number 3312424

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) 2413.44 1302.64

General information on the benchmark

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

Solver Data 

0.11/0.11	55:54 INFO : Reading from input HOME/instance-3312424-1304114154.cnf
1.03/0.84	Executor set job limit to 1000000
1.03/0.84	Executor set job limit to 1000000
1.03/0.84	Executor set job limit to 1000000
1.03/0.84	Executor set job limit to 1000000
1.03/0.84	Starting Executor!
1.03/0.84	Starting Executor!
1.03/0.84	Starting Executor!
1.03/0.84	Starting Executor!
3.13/2.03	55:56 INFO : 34861 variables remaining out of 35000
3.13/2.03	55:56 INFO : 584480 literals remaining out of 588000
1271.67/347.88	01:42 ERROR: Failed to solve instance
1271.67/347.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1271.67/347.88		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1271.67/347.88		at gnu.trove.THash.<init>(THash.java:128)
1271.67/347.88		at gnu.trove.THash.<init>(THash.java:97)
1271.67/347.88		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1271.67/347.88		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1271.67/347.88		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1271.67/347.88		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1271.67/347.88		at ibis.structure.WatchLists.build(WatchLists.java:47)
1271.67/347.88		at ibis.structure.Solver.<init>(Solver.java:45)
1271.67/347.88		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1271.67/347.88		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1271.67/347.88		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1271.67/347.88		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1271.67/347.88		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1271.67/347.88		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1271.67/347.89		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1271.67/347.89		at ibis.constellation.Executor.processActivities(Executor.java:75)
1271.67/347.89		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1271.67/347.89		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1271.67/347.89		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1274.29/350.49	01:45 ERROR: Failed to solve instance
1274.29/350.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1274.29/350.49		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:169)
1274.29/350.49		at gnu.trove.THash.postInsertHook(THash.java:370)
1274.29/350.49		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1274.29/350.49		at ibis.structure.WatchLists.build(WatchLists.java:56)
1274.29/350.49		at ibis.structure.Solver.<init>(Solver.java:45)
1274.29/350.49		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1274.29/350.49		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1274.29/350.49		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1274.29/350.49		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1274.29/350.49		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1274.29/350.49		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1274.29/350.49		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1274.29/350.49		at ibis.constellation.Executor.processActivities(Executor.java:75)
1274.29/350.49		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1274.29/350.49		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1274.29/350.49		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1276.81/352.96	01:47 ERROR: Failed to solve instance
1276.81/352.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1276.81/352.96		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1276.81/352.96		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83)
1276.81/352.96		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1276.81/352.96		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1276.81/352.96		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1276.81/352.96		at ibis.structure.WatchLists.build(WatchLists.java:47)
1276.81/352.96		at ibis.structure.Solver.<init>(Solver.java:45)
1276.81/352.96		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1276.81/352.96		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1276.81/352.96		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1276.81/352.96		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1276.81/352.96		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1276.81/352.96		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1276.81/352.96		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1276.81/352.96		at ibis.constellation.Executor.processActivities(Executor.java:75)
1276.81/352.96		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1276.81/352.96		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1276.81/352.96		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1279.33/355.46	01:50 ERROR: Failed to solve instance
1279.33/355.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1279.33/355.46		at gnu.trove.TPrimitiveHash.setUp(TPrimitiveHash.java:123)
1279.33/355.46		at gnu.trove.TIntHash.setUp(TIntHash.java:133)
1279.33/355.46		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83)
1279.33/355.46		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1279.33/355.46		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1279.33/355.46		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1279.33/355.46		at ibis.structure.WatchLists.build(WatchLists.java:47)
1279.33/355.46		at ibis.structure.Solver.<init>(Solver.java:45)
1279.33/355.46		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1279.33/355.46		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1279.33/355.46		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1279.33/355.46		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1279.33/355.46		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1279.33/355.46		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1279.33/355.46		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1279.33/355.46		at ibis.constellation.Executor.processActivities(Executor.java:75)
1279.33/355.46		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1279.33/355.46		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1279.33/355.46		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1282.42/358.41	01:53 ERROR: Failed to solve instance
1282.42/358.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1282.83/358.90	01:53 ERROR: Failed to solve instance
1282.83/358.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1283.45/359.45	01:54 ERROR: Failed to solve instance
1283.45/359.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1290.51/364.84	01:59 ERROR: Failed to solve instance
1290.51/364.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1291.24/365.57	02:00 ERROR: Failed to solve instance
1291.24/365.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1291.86/366.10	02:00 ERROR: Failed to solve instance
1291.86/366.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1297.50/371.29	02:05 ERROR: Failed to solve instance
1297.50/371.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1298.02/371.76	02:06 ERROR: Failed to solve instance
1298.02/371.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1298.54/372.29	02:06 ERROR: Failed to solve instance
1298.54/372.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1299.56/373.25	02:07 ERROR: Failed to solve instance
1299.56/373.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1300.08/373.77	02:08 ERROR: Failed to solve instance
1300.08/373.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1304.86/377.34	02:11 ERROR: Failed to solve instance
1304.86/377.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1305.42/377.85	02:12 ERROR: Failed to solve instance
1305.42/377.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1313.72/384.58	02:19 ERROR: Failed to solve instance
1313.72/384.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1314.24/385.04	02:19 ERROR: Failed to solve instance
1314.24/385.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1314.76/385.54	02:20 ERROR: Failed to solve instance
1314.76/385.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1317.38/388.11	02:22 ERROR: Failed to solve instance
1317.38/388.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1318.03/388.80	02:23 ERROR: Failed to solve instance
1318.03/388.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1318.57/389.30	02:23 ERROR: Failed to solve instance
1318.57/389.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1319.09/389.77	02:24 ERROR: Failed to solve instance
1319.09/389.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1322.44/392.57	02:27 ERROR: Failed to solve instance
1322.44/392.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1323.17/393.29	02:27 ERROR: Failed to solve instance
1323.17/393.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1332.40/400.86	02:35 ERROR: Failed to solve instance
1332.40/400.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1332.91/401.31	02:35 ERROR: Failed to solve instance
1332.91/401.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1333.33/401.80	02:36 ERROR: Failed to solve instance
1333.33/401.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1334.36/402.73	02:37 ERROR: Failed to solve instance
1334.36/402.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1334.88/403.24	02:37 ERROR: Failed to solve instance
1334.88/403.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1335.45/403.83	02:38 ERROR: Failed to solve instance
1335.45/403.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1338.55/406.24	02:40 ERROR: Failed to solve instance
1338.55/406.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1341.90/409.03	02:43 ERROR: Failed to solve instance
1341.90/409.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.42/411.96	02:46 ERROR: Failed to solve instance
1345.42/411.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.94/412.46	02:47 ERROR: Failed to solve instance
1345.94/412.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.46/413.00	02:47 ERROR: Failed to solve instance
1346.46/413.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1349.62/415.58	02:50 ERROR: Failed to solve instance
1349.62/415.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1350.82/416.61	02:51 ERROR: Failed to solve instance
1350.82/416.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1351.23/417.03	02:51 ERROR: Failed to solve instance
1351.23/417.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1351.75/417.51	02:52 ERROR: Failed to solve instance
1351.75/417.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1352.27/418.05	02:52 ERROR: Failed to solve instance
1352.27/418.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1359.57/423.62	02:58 ERROR: Failed to solve instance
1359.57/423.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1360.50/424.57	02:59 ERROR: Failed to solve instance
1360.50/424.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1361.02/425.05	02:59 ERROR: Failed to solve instance
1361.02/425.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1361.55/425.55	03:00 ERROR: Failed to solve instance
1361.55/425.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1362.07/426.04	03:00 ERROR: Failed to solve instance
1362.07/426.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1370.17/432.51	03:07 ERROR: Failed to solve instance
1370.17/432.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1370.59/432.99	03:07 ERROR: Failed to solve instance
1370.59/432.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1371.53/433.89	03:08 ERROR: Failed to solve instance
1371.53/433.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1372.05/434.38	03:08 ERROR: Failed to solve instance
1372.05/434.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1372.58/434.92	03:09 ERROR: Failed to solve instance
1372.58/434.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1378.29/439.34	03:13 ERROR: Failed to solve instance
1378.29/439.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1378.80/439.83	03:14 ERROR: Failed to solve instance
1378.80/439.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1379.73/440.80	03:15 ERROR: Failed to solve instance
1379.73/440.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1385.19/445.07	03:19 ERROR: Failed to solve instance
1385.19/445.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1385.70/445.56	03:20 ERROR: Failed to solve instance
1385.70/445.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1386.23/446.10	03:20 ERROR: Failed to solve instance
1386.23/446.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1389.24/448.51	03:23 ERROR: Failed to solve instance
1389.24/448.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1389.98/449.28	03:23 ERROR: Failed to solve instance
1389.98/449.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1390.52/449.78	03:24 ERROR: Failed to solve instance
1390.52/449.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1394.26/452.99	03:27 ERROR: Failed to solve instance
1394.26/452.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1394.78/453.47	03:28 ERROR: Failed to solve instance
1394.78/453.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1395.81/454.44	03:28 ERROR: Failed to solve instance
1395.81/454.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1396.33/454.97	03:29 ERROR: Failed to solve instance
1396.33/454.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1396.86/455.47	03:30 ERROR: Failed to solve instance
1396.86/455.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1404.19/460.92	03:35 ERROR: Failed to solve instance
1404.19/460.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1404.71/461.43	03:36 ERROR: Failed to solve instance
1404.71/461.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1405.66/462.39	03:36 ERROR: Failed to solve instance
1405.66/462.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1406.00/462.66	03:37 ERROR: Failed to solve instance
1406.00/462.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1408.65/464.87	03:39 ERROR: Failed to solve instance
1408.65/464.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1409.55/465.68	03:40 ERROR: Failed to solve instance
1409.55/465.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1412.91/468.41	03:43 ERROR: Failed to solve instance
1412.91/468.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1413.44/468.93	03:43 ERROR: Failed to solve instance
1413.44/468.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1414.42/469.96	03:44 ERROR: Failed to solve instance
1414.42/469.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.96/475.61	03:49 ERROR: Failed to solve instance
1421.96/475.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.96/475.61	03:50 ERROR: Failed to solve instance
1421.96/475.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1422.78/476.45	03:51 ERROR: Failed to solve instance
1422.78/476.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1423.37/476.99	03:51 ERROR: Failed to solve instance
1423.37/476.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1425.33/478.53	03:53 ERROR: Failed to solve instance
1425.33/478.53	java.lang.OutOfMemoryError: Java heap space
1426.77/479.86	03:54 ERROR: Failed to solve instance
1426.77/479.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1434.75/486.09	04:00 ERROR: Failed to solve instance
1434.75/486.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1435.27/486.54	04:01 ERROR: Failed to solve instance
1435.27/486.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1436.23/487.46	04:02 ERROR: Failed to solve instance
1436.23/487.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1436.76/487.94	04:02 ERROR: Failed to solve instance
1436.76/487.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1437.17/488.39	04:02 ERROR: Failed to solve instance
1437.17/488.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1437.69/488.83	04:03 ERROR: Failed to solve instance
1437.69/488.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1440.89/491.56	04:06 ERROR: Failed to solve instance
1440.89/491.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1441.92/492.51	04:06 ERROR: Failed to solve instance
1441.92/492.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1442.43/493.01	04:07 ERROR: Failed to solve instance
1442.43/493.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1442.95/493.53	04:08 ERROR: Failed to solve instance
1442.95/493.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1447.45/496.83	04:11 ERROR: Failed to solve instance
1447.45/496.83	java.lang.OutOfMemoryError: Java heap space
1447.65/497.08	04:11 ERROR: Failed to solve instance
1447.65/497.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1453.17/501.43	04:16 ERROR: Failed to solve instance
1453.17/501.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.26/502.41	04:17 ERROR: Failed to solve instance
1454.26/502.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.47/502.64	04:17 ERROR: Failed to solve instance
1454.47/502.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1457.42/505.07	04:19 ERROR: Failed to solve instance
1457.42/505.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1457.94/505.56	04:20 ERROR: Failed to solve instance
1457.94/505.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1461.85/508.81	04:23 ERROR: Failed to solve instance
1461.85/508.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1462.27/509.30	04:23 ERROR: Failed to solve instance
1462.27/509.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1462.80/509.81	04:24 ERROR: Failed to solve instance
1462.80/509.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.74/516.10	04:30 ERROR: Failed to solve instance
1470.74/516.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1471.26/516.55	04:31 ERROR: Failed to solve instance
1471.26/516.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1471.77/517.04	04:31 ERROR: Failed to solve instance
1471.77/517.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1472.18/517.45	04:32 ERROR: Failed to solve instance
1472.18/517.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1473.28/518.48	04:33 ERROR: Failed to solve instance
1473.28/518.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1473.79/518.92	04:33 ERROR: Failed to solve instance
1473.79/518.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1476.16/520.89	04:35 ERROR: Failed to solve instance
1476.16/520.89	java.lang.OutOfMemoryError: Java heap space
1476.46/521.16	04:35 ERROR: Failed to solve instance
1476.46/521.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1482.67/526.04	04:40 ERROR: Failed to solve instance
1482.67/526.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.19/526.55	04:41 ERROR: Failed to solve instance
1483.19/526.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.70/527.03	04:41 ERROR: Failed to solve instance
1483.70/527.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1489.04/531.26	04:45 ERROR: Failed to solve instance
1489.04/531.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1489.25/531.49	04:46 ERROR: Failed to solve instance
1489.25/531.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1490.07/532.26	04:46 ERROR: Failed to solve instance
1490.07/532.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1492.90/534.57	04:49 ERROR: Failed to solve instance
1492.90/534.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1493.73/535.31	04:49 ERROR: Failed to solve instance
1493.73/535.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1494.14/535.73	04:50 ERROR: Failed to solve instance
1494.14/535.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1497.73/538.71	04:53 ERROR: Failed to solve instance
1497.73/538.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1498.50/539.45	04:54 ERROR: Failed to solve instance
1498.50/539.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.17/540.02	04:54 ERROR: Failed to solve instance
1499.17/540.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.70/540.62	04:55 ERROR: Failed to solve instance
1499.70/540.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1506.73/545.85	05:00 ERROR: Failed to solve instance
1506.73/545.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1509.94/548.53	05:03 ERROR: Failed to solve instance
1509.94/548.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1510.87/549.44	05:03 ERROR: Failed to solve instance
1510.87/549.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.37/549.95	05:04 ERROR: Failed to solve instance
1511.37/549.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.90/550.42	05:05 ERROR: Failed to solve instance
1511.90/550.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1519.50/556.38	05:10 ERROR: Failed to solve instance
1519.50/556.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1520.00/556.82	05:11 ERROR: Failed to solve instance
1520.00/556.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1520.83/557.63	05:12 ERROR: Failed to solve instance
1520.83/557.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.24/558.07	05:12 ERROR: Failed to solve instance
1521.24/558.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.77/558.53	05:13 ERROR: Failed to solve instance
1521.77/558.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1522.31/559.03	05:13 ERROR: Failed to solve instance
1522.31/559.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1525.32/561.54	05:16 ERROR: Failed to solve instance
1525.32/561.54	java.lang.OutOfMemoryError: Java heap space
1525.52/561.79	05:16 ERROR: Failed to solve instance
1525.52/561.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1531.57/566.62	05:21 ERROR: Failed to solve instance
1531.57/566.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1532.30/567.33	05:21 ERROR: Failed to solve instance
1532.30/567.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.08/568.05	05:22 ERROR: Failed to solve instance
1533.08/568.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.61/568.57	05:23 ERROR: Failed to solve instance
1533.61/568.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1534.13/569.06	05:23 ERROR: Failed to solve instance
1534.13/569.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1537.48/571.87	05:26 ERROR: Failed to solve instance
1537.48/571.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1542.93/576.13	05:30 ERROR: Failed to solve instance
1542.93/576.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1543.35/576.60	05:31 ERROR: Failed to solve instance
1543.35/576.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1543.97/577.14	05:31 ERROR: Failed to solve instance
1543.97/577.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1544.48/577.68	05:32 ERROR: Failed to solve instance
1544.48/577.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1552.30/583.93	05:38 ERROR: Failed to solve instance
1552.30/583.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1552.72/584.39	05:38 ERROR: Failed to solve instance
1552.72/584.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1553.23/584.88	05:39 ERROR: Failed to solve instance
1553.23/584.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1554.15/585.74	05:40 ERROR: Failed to solve instance
1554.15/585.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1554.68/586.21	05:40 ERROR: Failed to solve instance
1554.68/586.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1555.22/586.74	05:41 ERROR: Failed to solve instance
1555.22/586.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1558.45/589.38	05:43 ERROR: Failed to solve instance
1558.45/589.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1558.96/589.85	05:44 ERROR: Failed to solve instance
1558.96/589.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1559.89/590.79	05:45 ERROR: Failed to solve instance
1559.89/590.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.50/591.33	05:45 ERROR: Failed to solve instance
1560.50/591.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.13/591.95	05:46 ERROR: Failed to solve instance
1561.13/591.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1570.16/599.10	05:53 ERROR: Failed to solve instance
1570.16/599.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1570.68/599.54	05:54 ERROR: Failed to solve instance
1570.68/599.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1571.14/600.01	05:54 ERROR: Failed to solve instance
1571.14/600.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1574.61/602.73	05:57 ERROR: Failed to solve instance
1574.61/602.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1575.28/603.35	05:57 ERROR: Failed to solve instance
1575.28/603.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1578.09/605.61	06:00 ERROR: Failed to solve instance
1578.09/605.61	java.lang.OutOfMemoryError: Java heap space
1578.30/605.85	06:00 ERROR: Failed to solve instance
1578.30/605.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1582.74/609.66	06:04 ERROR: Failed to solve instance
1582.74/609.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1583.16/610.09	06:04 ERROR: Failed to solve instance
1583.16/610.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1586.61/612.85	06:07 ERROR: Failed to solve instance
1586.61/612.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1587.67/613.87	06:08 ERROR: Failed to solve instance
1587.67/613.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1588.09/614.30	06:08 ERROR: Failed to solve instance
1588.09/614.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1588.61/614.74	06:09 ERROR: Failed to solve instance
1588.61/614.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1589.12/615.24	06:09 ERROR: Failed to solve instance
1589.12/615.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1596.89/621.28	06:15 ERROR: Failed to solve instance
1596.89/621.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1597.41/621.77	06:16 ERROR: Failed to solve instance
1597.41/621.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1598.43/622.75	06:17 ERROR: Failed to solve instance
1598.43/622.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1598.95/623.25	06:17 ERROR: Failed to solve instance
1598.95/623.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1599.47/623.78	06:18 ERROR: Failed to solve instance
1599.47/623.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1600.09/624.34	06:18 ERROR: Failed to solve instance
1600.09/624.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1605.18/628.25	06:22 ERROR: Failed to solve instance
1605.18/628.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1605.70/628.76	06:23 ERROR: Failed to solve instance
1605.70/628.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.33/629.33	06:23 ERROR: Failed to solve instance
1606.33/629.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1610.97/633.14	06:27 ERROR: Failed to solve instance
1610.97/633.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1611.38/633.54	06:28 ERROR: Failed to solve instance
1611.38/633.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1614.14/635.70	06:30 ERROR: Failed to solve instance
1614.14/635.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1615.07/636.65	06:31 ERROR: Failed to solve instance
1615.07/636.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1615.49/637.05	06:31 ERROR: Failed to solve instance
1615.49/637.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1618.06/639.10	06:33 ERROR: Failed to solve instance
1618.06/639.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1618.90/639.83	06:34 ERROR: Failed to solve instance
1618.90/639.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1619.49/640.37	06:34 ERROR: Failed to solve instance
1619.49/640.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1622.68/643.02	06:37 ERROR: Failed to solve instance
1622.68/643.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1623.20/643.51	06:38 ERROR: Failed to solve instance
1623.20/643.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1624.08/644.32	06:38 ERROR: Failed to solve instance
1624.08/644.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1631.54/650.15	06:44 ERROR: Failed to solve instance
1631.54/650.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1632.09/650.65	06:45 ERROR: Failed to solve instance
1632.09/650.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1633.08/651.61	06:46 ERROR: Failed to solve instance
1633.08/651.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.39/653.47	06:48 ERROR: Failed to solve instance
1635.39/653.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.96/654.82	06:49 ERROR: Failed to solve instance
1636.96/654.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1637.69/655.57	06:50 ERROR: Failed to solve instance
1637.69/655.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.72/658.04	06:52 ERROR: Failed to solve instance
1640.72/658.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1641.25/658.56	06:53 ERROR: Failed to solve instance
1641.25/658.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.30/661.03	06:55 ERROR: Failed to solve instance
1644.30/661.03	java.lang.OutOfMemoryError: Java heap space
1644.51/661.30	06:55 ERROR: Failed to solve instance
1644.51/661.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.22/667.20	07:01 ERROR: Failed to solve instance
1652.22/667.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1653.16/668.12	07:02 ERROR: Failed to solve instance
1653.16/668.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1653.57/668.60	07:03 ERROR: Failed to solve instance
1653.57/668.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1654.47/669.16	07:03 ERROR: Failed to solve instance
1654.47/669.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1660.50/673.90	07:08 ERROR: Failed to solve instance
1660.50/673.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1661.02/674.38	07:08 ERROR: Failed to solve instance
1661.02/674.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1662.04/675.31	07:09 ERROR: Failed to solve instance
1662.04/675.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1662.57/675.82	07:10 ERROR: Failed to solve instance
1662.57/675.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1663.09/676.36	07:10 ERROR: Failed to solve instance
1663.09/676.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1668.05/680.17	07:14 ERROR: Failed to solve instance
1668.05/680.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1668.90/680.94	07:15 ERROR: Failed to solve instance
1668.90/680.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1671.02/682.73	07:17 ERROR: Failed to solve instance
1671.02/682.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1671.54/683.23	07:17 ERROR: Failed to solve instance
1671.54/683.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1672.46/684.19	07:18 ERROR: Failed to solve instance
1672.46/684.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1672.98/684.70	07:19 ERROR: Failed to solve instance
1672.98/684.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1673.60/685.27	07:19 ERROR: Failed to solve instance
1673.60/685.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1679.38/689.73	07:24 ERROR: Failed to solve instance
1679.38/689.73	java.lang.OutOfMemoryError: Java heap space
1679.68/690.07	07:24 ERROR: Failed to solve instance
1679.68/690.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1682.86/692.62	07:27 ERROR: Failed to solve instance
1682.86/692.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.27/695.48	07:30 ERROR: Failed to solve instance
1686.27/695.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.59/701.13	07:35 ERROR: Failed to solve instance
1693.59/701.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.90/701.49	07:36 ERROR: Failed to solve instance
1693.90/701.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1694.52/702.09	07:36 ERROR: Failed to solve instance
1694.52/702.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.39/702.86	07:37 ERROR: Failed to solve instance
1695.39/702.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1698.25/705.25	07:39 ERROR: Failed to solve instance
1698.25/705.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1698.78/705.80	07:40 ERROR: Failed to solve instance
1698.78/705.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1703.17/709.49	07:44 ERROR: Failed to solve instance
1703.17/709.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1703.70/709.96	07:44 ERROR: Failed to solve instance
1703.70/709.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.21/710.49	07:45 ERROR: Failed to solve instance
1704.21/710.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1710.35/715.44	07:50 ERROR: Failed to solve instance
1710.35/715.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1710.86/715.91	07:50 ERROR: Failed to solve instance
1710.86/715.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1711.38/716.44	07:51 ERROR: Failed to solve instance
1711.38/716.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1715.18/719.50	07:54 ERROR: Failed to solve instance
1715.18/719.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1715.91/720.27	07:54 ERROR: Failed to solve instance
1715.91/720.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1716.42/720.76	07:55 ERROR: Failed to solve instance
1716.42/720.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1716.93/721.22	07:55 ERROR: Failed to solve instance
1716.93/721.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1720.33/723.96	07:58 ERROR: Failed to solve instance
1720.33/723.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1721.36/724.91	07:59 ERROR: Failed to solve instance
1721.36/724.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1721.88/725.41	08:00 ERROR: Failed to solve instance
1721.88/725.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1722.39/725.94	08:00 ERROR: Failed to solve instance
1722.39/725.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1722.92/726.50	08:01 ERROR: Failed to solve instance
1722.92/726.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1731.41/733.01	08:07 ERROR: Failed to solve instance
1731.41/733.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1732.47/734.03	08:08 ERROR: Failed to solve instance
1732.47/734.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1732.88/734.42	08:09 ERROR: Failed to solve instance
1732.88/734.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1734.67/735.97	08:10 ERROR: Failed to solve instance
1734.67/735.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1735.29/736.50	08:11 ERROR: Failed to solve instance
1735.29/736.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.02/738.93	08:13 ERROR: Failed to solve instance
1738.02/738.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.44/739.40	08:13 ERROR: Failed to solve instance
1738.44/739.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.95/739.81	08:14 ERROR: Failed to solve instance
1738.95/739.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.88/740.77	08:15 ERROR: Failed to solve instance
1739.88/740.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1740.39/741.24	08:15 ERROR: Failed to solve instance
1740.39/741.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1740.92/741.80	08:16 ERROR: Failed to solve instance
1740.92/741.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1748.55/747.60	08:22 ERROR: Failed to solve instance
1748.55/747.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1749.08/748.09	08:22 ERROR: Failed to solve instance
1749.08/748.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1749.70/748.63	08:23 ERROR: Failed to solve instance
1749.70/748.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.08/755.13	08:29 ERROR: Failed to solve instance
1758.08/755.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1759.00/756.04	08:30 ERROR: Failed to solve instance
1759.00/756.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1759.51/756.53	08:31 ERROR: Failed to solve instance
1759.51/756.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1760.03/757.07	08:31 ERROR: Failed to solve instance
1760.03/757.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1761.98/758.65	08:33 ERROR: Failed to solve instance
1761.98/758.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1763.05/759.63	08:34 ERROR: Failed to solve instance
1763.05/759.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1763.47/760.11	08:34 ERROR: Failed to solve instance
1763.47/760.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1767.61/763.44	08:38 ERROR: Failed to solve instance
1767.61/763.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1768.02/763.90	08:38 ERROR: Failed to solve instance
1768.02/763.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1770.86/766.04	08:40 ERROR: Failed to solve instance
1770.86/766.04	java.lang.OutOfMemoryError: Java heap space
1771.05/766.32	08:40 ERROR: Failed to solve instance
1771.05/766.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1778.36/771.93	08:46 ERROR: Failed to solve instance
1778.36/771.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1779.11/772.68	08:47 ERROR: Failed to solve instance
1779.11/772.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1782.20/775.21	08:49 ERROR: Failed to solve instance
1782.20/775.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1782.96/775.98	08:50 ERROR: Failed to solve instance
1782.96/775.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1783.47/776.42	08:51 ERROR: Failed to solve instance
1783.47/776.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.45/777.34	08:51 ERROR: Failed to solve instance
1784.45/777.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1785.00/777.85	08:52 ERROR: Failed to solve instance
1785.00/777.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.73/780.07	08:54 ERROR: Failed to solve instance
1787.73/780.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1794.30/785.34	08:59 ERROR: Failed to solve instance
1794.30/785.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1794.83/785.83	09:00 ERROR: Failed to solve instance
1794.83/785.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1795.35/786.37	09:00 ERROR: Failed to solve instance
1795.35/786.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1799.15/789.58	09:04 ERROR: Failed to solve instance
1799.15/789.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1801.80/791.68	09:06 ERROR: Failed to solve instance
1801.80/791.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.32/792.16	09:06 ERROR: Failed to solve instance
1802.32/792.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.93/792.71	09:07 ERROR: Failed to solve instance
1802.93/792.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1808.17/796.84	09:11 ERROR: Failed to solve instance
1808.17/796.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1808.89/797.57	09:12 ERROR: Failed to solve instance
1808.89/797.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1810.86/799.19	09:13 ERROR: Failed to solve instance
1810.86/799.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1811.47/799.70	09:14 ERROR: Failed to solve instance
1811.47/799.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1812.24/800.48	09:15 ERROR: Failed to solve instance
1812.24/800.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1815.84/803.36	09:17 ERROR: Failed to solve instance
1815.84/803.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1816.36/803.84	09:18 ERROR: Failed to solve instance
1816.36/803.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1816.88/804.36	09:18 ERROR: Failed to solve instance
1816.88/804.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1824.11/810.10	09:24 ERROR: Failed to solve instance
1824.11/810.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1824.62/810.53	09:25 ERROR: Failed to solve instance
1824.62/810.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.57/811.48	09:26 ERROR: Failed to solve instance
1825.57/811.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.09/811.94	09:26 ERROR: Failed to solve instance
1826.09/811.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.62/812.44	09:27 ERROR: Failed to solve instance
1826.62/812.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1827.14/812.98	09:27 ERROR: Failed to solve instance
1827.14/812.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1830.60/815.72	09:30 ERROR: Failed to solve instance
1830.60/815.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1831.14/816.23	09:30 ERROR: Failed to solve instance
1831.14/816.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1836.96/820.90	09:35 ERROR: Failed to solve instance
1836.96/820.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1837.37/821.37	09:35 ERROR: Failed to solve instance
1837.37/821.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1837.99/821.93	09:36 ERROR: Failed to solve instance
1837.99/821.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1838.57/822.52	09:37 ERROR: Failed to solve instance
1838.57/822.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1842.49/825.57	09:40 ERROR: Failed to solve instance
1842.49/825.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1846.03/828.49	09:43 ERROR: Failed to solve instance
1846.03/828.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1846.54/828.95	09:43 ERROR: Failed to solve instance
1846.54/828.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1847.04/829.44	09:44 ERROR: Failed to solve instance
1847.04/829.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1847.97/830.40	09:44 ERROR: Failed to solve instance
1847.97/830.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1848.61/830.97	09:45 ERROR: Failed to solve instance
1848.61/830.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1856.87/837.38	09:51 ERROR: Failed to solve instance
1856.87/837.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1857.39/837.85	09:52 ERROR: Failed to solve instance
1857.39/837.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1857.90/838.35	09:52 ERROR: Failed to solve instance
1857.90/838.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1858.43/838.88	09:53 ERROR: Failed to solve instance
1858.43/838.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1864.88/844.17	09:58 ERROR: Failed to solve instance
1864.88/844.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1865.40/844.67	09:59 ERROR: Failed to solve instance
1865.40/844.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1866.43/845.70	10:00 ERROR: Failed to solve instance
1866.43/845.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1866.85/846.03	10:00 ERROR: Failed to solve instance
1866.85/846.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1870.25/848.83	10:03 ERROR: Failed to solve instance
1870.25/848.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1870.45/849.06	10:03 ERROR: Failed to solve instance
1870.45/849.06	java.lang.OutOfMemoryError: Java heap space
1870.75/849.31	10:03 ERROR: Failed to solve instance
1870.75/849.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1871.26/849.81	10:04 ERROR: Failed to solve instance
1871.26/849.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1872.19/850.78	10:05 ERROR: Failed to solve instance
1872.19/850.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1872.80/851.32	10:05 ERROR: Failed to solve instance
1872.80/851.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1873.37/851.87	10:06 ERROR: Failed to solve instance
1873.37/851.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1881.45/858.06	10:12 ERROR: Failed to solve instance
1881.45/858.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1881.98/858.56	10:13 ERROR: Failed to solve instance
1881.98/858.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1882.60/859.12	10:13 ERROR: Failed to solve instance
1882.60/859.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1885.03/861.22	10:15 ERROR: Failed to solve instance
1885.03/861.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1885.55/861.72	10:16 ERROR: Failed to solve instance
1885.55/861.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1886.47/862.67	10:17 ERROR: Failed to solve instance
1886.47/862.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1886.99/863.21	10:17 ERROR: Failed to solve instance
1886.99/863.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1887.65/863.76	10:18 ERROR: Failed to solve instance
1887.65/863.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1895.60/869.80	10:24 ERROR: Failed to solve instance
1895.60/869.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1896.02/870.27	10:24 ERROR: Failed to solve instance
1896.02/870.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1896.53/870.79	10:25 ERROR: Failed to solve instance
1896.53/870.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1897.15/871.33	10:25 ERROR: Failed to solve instance
1897.15/871.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1899.76/873.54	10:28 ERROR: Failed to solve instance
1899.76/873.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.21/877.21	10:31 ERROR: Failed to solve instance
1904.21/877.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.72/877.70	10:32 ERROR: Failed to solve instance
1904.72/877.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.60/878.53	10:33 ERROR: Failed to solve instance
1905.60/878.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1909.15/881.43	10:36 ERROR: Failed to solve instance
1909.15/881.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1909.57/881.90	10:36 ERROR: Failed to solve instance
1909.57/881.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1910.19/882.41	10:37 ERROR: Failed to solve instance
1910.19/882.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1911.26/883.41	10:37 ERROR: Failed to solve instance
1911.26/883.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1919.47/889.82	10:44 ERROR: Failed to solve instance
1919.47/889.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1919.88/890.30	10:44 ERROR: Failed to solve instance
1919.88/890.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1920.39/890.79	10:45 ERROR: Failed to solve instance
1920.39/890.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.31/891.66	10:46 ERROR: Failed to solve instance
1921.31/891.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.82/892.12	10:46 ERROR: Failed to solve instance
1921.82/892.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.35/892.65	10:47 ERROR: Failed to solve instance
1922.35/892.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.87/893.16	10:47 ERROR: Failed to solve instance
1922.87/893.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1931.59/900.07	10:54 ERROR: Failed to solve instance
1931.59/900.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1931.99/900.45	10:55 ERROR: Failed to solve instance
1931.99/900.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1932.91/901.33	10:55 ERROR: Failed to solve instance
1932.91/901.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.43/901.84	10:56 ERROR: Failed to solve instance
1933.43/901.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.91/902.30	10:56 ERROR: Failed to solve instance
1933.91/902.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1936.90/904.67	10:59 ERROR: Failed to solve instance
1936.90/904.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1937.41/905.18	10:59 ERROR: Failed to solve instance
1937.41/905.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1941.48/908.67	11:03 ERROR: Failed to solve instance
1941.48/908.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1941.89/909.11	11:03 ERROR: Failed to solve instance
1941.89/909.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1942.40/909.55	11:04 ERROR: Failed to solve instance
1942.40/909.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1942.92/910.04	11:04 ERROR: Failed to solve instance
1942.92/910.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1943.92/911.00	11:05 ERROR: Failed to solve instance
1943.92/911.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1944.55/911.54	11:06 ERROR: Failed to solve instance
1944.55/911.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1945.06/912.07	11:06 ERROR: Failed to solve instance
1945.06/912.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1951.34/916.57	11:11 ERROR: Failed to solve instance
1951.34/916.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1951.86/917.08	11:11 ERROR: Failed to solve instance
1951.86/917.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1952.48/917.61	11:12 ERROR: Failed to solve instance
1952.48/917.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1957.84/921.89	11:16 ERROR: Failed to solve instance
1957.84/921.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1958.86/922.84	11:17 ERROR: Failed to solve instance
1958.86/922.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1959.38/923.35	11:17 ERROR: Failed to solve instance
1959.38/923.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1959.90/923.90	11:18 ERROR: Failed to solve instance
1959.90/923.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1968.30/930.36	11:24 ERROR: Failed to solve instance
1968.30/930.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1969.15/931.12	11:25 ERROR: Failed to solve instance
1969.15/931.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.66/933.31	11:27 ERROR: Failed to solve instance
1971.66/933.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1972.07/933.78	11:28 ERROR: Failed to solve instance
1972.07/933.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1973.15/934.76	11:29 ERROR: Failed to solve instance
1973.15/934.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1975.09/936.37	11:30 ERROR: Failed to solve instance
1975.09/936.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1975.61/936.89	11:31 ERROR: Failed to solve instance
1975.61/936.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1980.64/941.06	11:35 ERROR: Failed to solve instance
1980.64/941.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1981.16/941.56	11:36 ERROR: Failed to solve instance
1981.16/941.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1981.69/942.10	11:36 ERROR: Failed to solve instance
1981.69/942.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1989.99/948.61	11:43 ERROR: Failed to solve instance
1989.99/948.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1990.81/949.46	11:44 ERROR: Failed to solve instance
1990.81/949.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1991.33/949.92	11:44 ERROR: Failed to solve instance
1991.33/949.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1991.85/950.45	11:45 ERROR: Failed to solve instance
1991.85/950.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1994.84/952.81	11:47 ERROR: Failed to solve instance
1994.84/952.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1997.75/955.23	11:49 ERROR: Failed to solve instance
1997.75/955.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1998.67/956.17	11:50 ERROR: Failed to solve instance
1998.67/956.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1999.18/956.67	11:51 ERROR: Failed to solve instance
1999.18/956.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1999.70/957.19	11:51 ERROR: Failed to solve instance
1999.70/957.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2004.44/960.79	11:55 ERROR: Failed to solve instance
2004.44/960.79	java.lang.OutOfMemoryError: Java heap space
2005.16/961.47	11:55 ERROR: Failed to solve instance
2005.16/961.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2008.46/964.15	11:58 ERROR: Failed to solve instance
2008.46/964.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2009.55/965.14	11:59 ERROR: Failed to solve instance
2009.55/965.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2010.07/965.62	12:00 ERROR: Failed to solve instance
2010.07/965.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2010.60/966.13	12:00 ERROR: Failed to solve instance
2010.60/966.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2011.12/966.67	12:01 ERROR: Failed to solve instance
2011.12/966.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.28/973.18	12:07 ERROR: Failed to solve instance
2019.28/973.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.80/973.67	12:08 ERROR: Failed to solve instance
2019.80/973.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2020.42/974.20	12:08 ERROR: Failed to solve instance
2020.42/974.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2021.28/975.11	12:09 ERROR: Failed to solve instance
2021.28/975.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2024.98/978.24	12:12 ERROR: Failed to solve instance
2024.98/978.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2024.98/978.24	12:12 ERROR: Failed to solve instance
2024.98/978.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2025.72/978.95	12:13 ERROR: Failed to solve instance
2025.72/978.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2029.09/981.75	12:16 ERROR: Failed to solve instance
2029.09/981.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2029.29/982.01	12:16 ERROR: Failed to solve instance
2029.29/982.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.14/988.03	12:22 ERROR: Failed to solve instance
2037.14/988.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.66/988.50	12:23 ERROR: Failed to solve instance
2037.66/988.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2038.07/988.96	12:23 ERROR: Failed to solve instance
2038.07/988.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2038.59/989.49	12:24 ERROR: Failed to solve instance
2038.59/989.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2042.28/992.60	12:27 ERROR: Failed to solve instance
2042.28/992.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2042.80/993.07	12:27 ERROR: Failed to solve instance
2042.80/993.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2043.32/993.59	12:28 ERROR: Failed to solve instance
2043.32/993.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2044.38/994.56	12:29 ERROR: Failed to solve instance
2044.38/994.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2044.89/995.06	12:29 ERROR: Failed to solve instance
2044.89/995.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2052.09/1000.57	12:35 ERROR: Failed to solve instance
2052.09/1000.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2052.61/1001.04	12:35 ERROR: Failed to solve instance
2052.61/1001.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2053.54/1001.97	12:36 ERROR: Failed to solve instance
2053.54/1001.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.06/1002.48	12:37 ERROR: Failed to solve instance
2054.06/1002.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.72/1003.02	12:37 ERROR: Failed to solve instance
2054.72/1003.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2062.77/1009.46	12:44 ERROR: Failed to solve instance
2062.77/1009.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2063.29/1009.93	12:44 ERROR: Failed to solve instance
2063.29/1009.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2064.11/1010.77	12:45 ERROR: Failed to solve instance
2064.11/1010.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2064.63/1011.24	12:45 ERROR: Failed to solve instance
2064.63/1011.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2065.15/1011.72	12:46 ERROR: Failed to solve instance
2065.15/1011.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2065.67/1012.24	12:46 ERROR: Failed to solve instance
2065.67/1012.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.24/1016.08	12:50 ERROR: Failed to solve instance
2070.24/1016.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.75/1016.56	12:51 ERROR: Failed to solve instance
2070.75/1016.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2077.02/1021.38	12:55 ERROR: Failed to solve instance
2077.02/1021.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2077.54/1021.85	12:56 ERROR: Failed to solve instance
2077.54/1021.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2078.47/1022.78	12:57 ERROR: Failed to solve instance
2078.47/1022.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2078.98/1023.22	12:57 ERROR: Failed to solve instance
2078.98/1023.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2079.50/1023.72	12:58 ERROR: Failed to solve instance
2079.50/1023.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2080.07/1024.26	12:58 ERROR: Failed to solve instance
2080.07/1024.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2083.83/1027.36	13:01 ERROR: Failed to solve instance
2083.83/1027.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.36/1027.86	13:02 ERROR: Failed to solve instance
2084.36/1027.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.29/1028.73	13:03 ERROR: Failed to solve instance
2085.29/1028.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.82/1029.22	13:03 ERROR: Failed to solve instance
2085.82/1029.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2086.37/1029.76	13:04 ERROR: Failed to solve instance
2086.37/1029.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2093.36/1034.98	13:09 ERROR: Failed to solve instance
2093.36/1034.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2093.88/1035.48	13:10 ERROR: Failed to solve instance
2093.88/1035.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2094.50/1036.03	13:10 ERROR: Failed to solve instance
2094.50/1036.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2100.45/1040.88	13:15 ERROR: Failed to solve instance
2100.45/1040.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2101.17/1041.45	13:16 ERROR: Failed to solve instance
2101.17/1041.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2103.64/1043.40	13:17 ERROR: Failed to solve instance
2103.64/1043.40	java.lang.OutOfMemoryError: Java heap space
2103.84/1043.68	13:18 ERROR: Failed to solve instance
2103.84/1043.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2110.37/1048.78	13:23 ERROR: Failed to solve instance
2110.37/1048.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2111.09/1049.45	13:24 ERROR: Failed to solve instance
2111.09/1049.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2111.77/1050.04	13:24 ERROR: Failed to solve instance
2111.77/1050.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2114.21/1052.12	13:26 ERROR: Failed to solve instance
2114.21/1052.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2114.61/1052.57	13:27 ERROR: Failed to solve instance
2114.61/1052.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2118.15/1055.38	13:29 ERROR: Failed to solve instance
2118.15/1055.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2121.28/1057.95	13:32 ERROR: Failed to solve instance
2121.28/1057.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2121.68/1058.39	13:32 ERROR: Failed to solve instance
2121.68/1058.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2122.42/1059.09	13:33 ERROR: Failed to solve instance
2122.42/1059.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2124.93/1061.16	13:35 ERROR: Failed to solve instance
2124.93/1061.16	java.lang.OutOfMemoryError: Java heap space
2125.23/1061.43	13:36 ERROR: Failed to solve instance
2125.23/1061.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2126.48/1062.57	13:37 ERROR: Failed to solve instance
2126.48/1062.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2132.65/1067.38	13:41 ERROR: Failed to solve instance
2132.65/1067.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2136.49/1070.47	13:45 ERROR: Failed to solve instance
2136.49/1070.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2137.00/1070.93	13:45 ERROR: Failed to solve instance
2137.00/1070.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2137.52/1071.45	13:46 ERROR: Failed to solve instance
2137.52/1071.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2138.36/1072.24	13:46 ERROR: Failed to solve instance
2138.36/1072.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.39/1074.66	13:49 ERROR: Failed to solve instance
2141.39/1074.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.91/1075.14	13:49 ERROR: Failed to solve instance
2141.91/1075.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2142.82/1076.08	13:50 ERROR: Failed to solve instance
2142.82/1076.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2143.34/1076.59	13:51 ERROR: Failed to solve instance
2143.34/1076.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2143.97/1077.16	13:51 ERROR: Failed to solve instance
2143.97/1077.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2152.30/1083.56	13:58 ERROR: Failed to solve instance
2152.30/1083.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2152.82/1084.03	13:58 ERROR: Failed to solve instance
2152.82/1084.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2153.33/1084.55	13:59 ERROR: Failed to solve instance
2153.33/1084.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2154.22/1085.34	13:59 ERROR: Failed to solve instance
2154.22/1085.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2157.77/1088.22	14:02 ERROR: Failed to solve instance
2157.77/1088.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2158.68/1089.11	14:03 ERROR: Failed to solve instance
2158.68/1089.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2159.10/1089.60	14:04 ERROR: Failed to solve instance
2159.10/1089.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2159.70/1090.10	14:04 ERROR: Failed to solve instance
2159.70/1090.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2160.23/1090.63	14:05 ERROR: Failed to solve instance
2160.23/1090.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2168.84/1097.50	14:12 ERROR: Failed to solve instance
2168.84/1097.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.36/1097.99	14:12 ERROR: Failed to solve instance
2169.36/1097.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2170.29/1098.86	14:13 ERROR: Failed to solve instance
2170.29/1098.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2170.82/1099.34	14:13 ERROR: Failed to solve instance
2170.82/1099.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2171.34/1099.86	14:14 ERROR: Failed to solve instance
2171.34/1099.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2173.30/1101.48	14:16 ERROR: Failed to solve instance
2173.30/1101.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2175.74/1103.54	14:18 ERROR: Failed to solve instance
2175.74/1103.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2176.65/1104.45	14:18 ERROR: Failed to solve instance
2176.65/1104.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2177.18/1104.95	14:19 ERROR: Failed to solve instance
2177.18/1104.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2177.70/1105.48	14:20 ERROR: Failed to solve instance
2177.70/1105.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2185.43/1111.20	14:25 ERROR: Failed to solve instance
2185.43/1111.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2185.84/1111.67	14:26 ERROR: Failed to solve instance
2185.84/1111.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2190.65/1115.79	14:30 ERROR: Failed to solve instance
2190.65/1115.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.16/1116.24	14:30 ERROR: Failed to solve instance
2191.16/1116.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.66/1116.73	14:31 ERROR: Failed to solve instance
2191.66/1116.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2192.58/1117.68	14:32 ERROR: Failed to solve instance
2192.58/1117.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2193.21/1118.24	14:32 ERROR: Failed to solve instance
2193.21/1118.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2200.22/1123.50	14:38 ERROR: Failed to solve instance
2200.22/1123.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2200.83/1124.07	14:38 ERROR: Failed to solve instance
2200.83/1124.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2201.76/1124.92	14:39 ERROR: Failed to solve instance
2201.76/1124.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.18/1125.39	14:39 ERROR: Failed to solve instance
2202.18/1125.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.71/1125.90	14:40 ERROR: Failed to solve instance
2202.71/1125.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2203.37/1126.45	14:41 ERROR: Failed to solve instance
2203.37/1126.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2207.22/1129.66	14:44 ERROR: Failed to solve instance
2207.22/1129.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2207.74/1130.16	14:44 ERROR: Failed to solve instance
2207.74/1130.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2208.72/1131.11	14:45 ERROR: Failed to solve instance
2208.72/1131.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2209.37/1131.66	14:46 ERROR: Failed to solve instance
2209.37/1131.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2209.97/1132.13	14:46 ERROR: Failed to solve instance
2209.97/1132.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.07/1136.65	14:51 ERROR: Failed to solve instance
2216.07/1136.65	java.lang.OutOfMemoryError: Java heap space
2216.80/1137.40	14:51 ERROR: Failed to solve instance
2216.80/1137.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2222.32/1141.78	14:56 ERROR: Failed to solve instance
2222.32/1141.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2222.85/1142.24	14:56 ERROR: Failed to solve instance
2222.85/1142.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2223.36/1142.70	14:57 ERROR: Failed to solve instance
2223.36/1142.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2223.88/1143.22	14:57 ERROR: Failed to solve instance
2223.88/1143.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.39/1148.46	15:03 ERROR: Failed to solve instance
2230.39/1148.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.92/1148.97	15:03 ERROR: Failed to solve instance
2230.92/1148.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2231.53/1149.50	15:04 ERROR: Failed to solve instance
2231.53/1149.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2234.54/1151.92	15:06 ERROR: Failed to solve instance
2234.54/1151.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2236.63/1153.73	15:08 ERROR: Failed to solve instance
2236.63/1153.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2237.15/1154.25	15:08 ERROR: Failed to solve instance
2237.15/1154.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2237.99/1155.03	15:09 ERROR: Failed to solve instance
2237.99/1155.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2247.95/1163.15	15:17 ERROR: Failed to solve instance
2247.95/1163.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2248.44/1163.60	15:18 ERROR: Failed to solve instance
2248.44/1163.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2249.35/1164.53	15:19 ERROR: Failed to solve instance
2249.35/1164.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2249.55/1164.73	15:19 ERROR: Failed to solve instance
2249.55/1164.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2250.34/1165.47	15:20 ERROR: Failed to solve instance
2250.34/1165.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2253.02/1167.65	15:22 ERROR: Failed to solve instance
2253.02/1167.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2254.87/1169.31	15:23 ERROR: Failed to solve instance
2254.87/1169.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2255.30/1169.79	15:24 ERROR: Failed to solve instance
2255.30/1169.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2255.92/1170.31	15:24 ERROR: Failed to solve instance
2255.92/1170.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2259.77/1173.48	15:28 ERROR: Failed to solve instance
2259.77/1173.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2260.28/1173.96	15:28 ERROR: Failed to solve instance
2260.28/1173.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2261.21/1174.89	15:29 ERROR: Failed to solve instance
2261.21/1174.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2261.89/1175.43	15:29 ERROR: Failed to solve instance
2261.89/1175.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2270.08/1181.78	15:36 ERROR: Failed to solve instance
2270.08/1181.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2272.18/1183.52	15:38 ERROR: Failed to solve instance
2272.18/1183.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2273.10/1184.46	15:39 ERROR: Failed to solve instance
2273.10/1184.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2273.62/1184.97	15:39 ERROR: Failed to solve instance
2273.62/1184.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2274.14/1185.49	15:40 ERROR: Failed to solve instance
2274.14/1185.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2280.91/1190.81	15:45 ERROR: Failed to solve instance
2280.91/1190.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2281.82/1191.71	15:46 ERROR: Failed to solve instance
2281.82/1191.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.23/1192.18	15:46 ERROR: Failed to solve instance
2282.23/1192.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.74/1192.67	15:47 ERROR: Failed to solve instance
2282.74/1192.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2283.26/1193.19	15:47 ERROR: Failed to solve instance
2283.26/1193.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2289.19/1197.93	15:52 ERROR: Failed to solve instance
2289.19/1197.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2289.61/1198.40	15:53 ERROR: Failed to solve instance
2289.61/1198.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2290.75/1199.46	15:54 ERROR: Failed to solve instance
2290.75/1199.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2290.95/1199.69	15:54 ERROR: Failed to solve instance
2290.95/1199.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2294.01/1202.11	15:56 ERROR: Failed to solve instance
2294.01/1202.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2297.24/1204.81	15:59 ERROR: Failed to solve instance
2297.24/1204.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2297.66/1205.29	15:59 ERROR: Failed to solve instance
2297.66/1205.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2298.28/1205.82	16:00 ERROR: Failed to solve instance
2298.28/1205.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2303.64/1210.04	16:04 ERROR: Failed to solve instance
2303.64/1210.04	java.lang.OutOfMemoryError: Java heap space
2306.82/1212.68	16:07 ERROR: Failed to solve instance
2306.82/1212.68	java.lang.OutOfMemoryError: Java heap space
2307.12/1212.99	16:07 ERROR: Failed to solve instance
2307.12/1212.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2309.99/1215.28	16:09 ERROR: Failed to solve instance
2309.99/1215.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2314.05/1218.60	16:13 ERROR: Failed to solve instance
2314.05/1218.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2314.47/1219.09	16:13 ERROR: Failed to solve instance
2314.47/1219.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2315.09/1219.62	16:14 ERROR: Failed to solve instance
2315.09/1219.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2321.04/1224.45	16:19 ERROR: Failed to solve instance
2321.04/1224.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2322.06/1225.40	16:19 ERROR: Failed to solve instance
2322.06/1225.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2322.58/1225.94	16:20 ERROR: Failed to solve instance
2322.58/1225.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2330.15/1232.04	16:26 ERROR: Failed to solve instance
2330.15/1232.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2330.57/1232.48	16:27 ERROR: Failed to solve instance
2330.57/1232.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2331.08/1232.94	16:27 ERROR: Failed to solve instance
2331.08/1232.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2332.01/1233.84	16:28 ERROR: Failed to solve instance
2332.01/1233.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2332.53/1234.38	16:28 ERROR: Failed to solve instance
2332.53/1234.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2333.17/1234.97	16:29 ERROR: Failed to solve instance
2333.17/1234.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2340.66/1240.91	16:35 ERROR: Failed to solve instance
2340.66/1240.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2341.59/1241.85	16:36 ERROR: Failed to solve instance
2341.59/1241.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2342.11/1242.35	16:36 ERROR: Failed to solve instance
2342.11/1242.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2342.53/1242.81	16:37 ERROR: Failed to solve instance
2342.53/1242.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2346.34/1245.84	16:40 ERROR: Failed to solve instance
2346.34/1245.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2347.28/1246.71	16:41 ERROR: Failed to solve instance
2347.28/1246.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2347.69/1247.17	16:41 ERROR: Failed to solve instance
2347.69/1247.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2348.21/1247.64	16:42 ERROR: Failed to solve instance
2348.21/1247.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2348.73/1248.14	16:42 ERROR: Failed to solve instance
2348.73/1248.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2352.58/1251.30	16:45 ERROR: Failed to solve instance
2352.58/1251.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.51/1252.25	16:46 ERROR: Failed to solve instance
2353.51/1252.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2354.02/1252.75	16:47 ERROR: Failed to solve instance
2354.02/1252.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2354.53/1253.27	16:47 ERROR: Failed to solve instance
2354.53/1253.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2355.16/1253.83	16:48 ERROR: Failed to solve instance
2355.16/1253.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2363.56/1260.40	16:54 ERROR: Failed to solve instance
2363.56/1260.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2364.18/1260.91	16:55 ERROR: Failed to solve instance
2364.18/1260.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2364.94/1261.70	16:56 ERROR: Failed to solve instance
2364.94/1261.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2366.87/1263.28	16:57 ERROR: Failed to solve instance
2366.87/1263.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2368.95/1265.06	16:59 ERROR: Failed to solve instance
2368.95/1265.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2369.48/1265.55	17:00 ERROR: Failed to solve instance
2369.48/1265.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2370.00/1266.06	17:00 ERROR: Failed to solve instance
2370.00/1266.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2370.77/1266.71	17:01 ERROR: Failed to solve instance
2370.77/1266.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2375.15/1270.34	17:04 ERROR: Failed to solve instance
2375.15/1270.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2376.07/1271.26	17:05 ERROR: Failed to solve instance
2376.07/1271.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2379.67/1274.07	17:08 ERROR: Failed to solve instance
2379.67/1274.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2380.19/1274.53	17:09 ERROR: Failed to solve instance
2380.19/1274.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2384.17/1277.82	17:12 ERROR: Failed to solve instance
2384.17/1277.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2385.10/1278.74	17:13 ERROR: Failed to solve instance
2385.10/1278.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2385.61/1279.26	17:13 ERROR: Failed to solve instance
2385.61/1279.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2386.20/1279.74	17:14 ERROR: Failed to solve instance
2386.20/1279.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2393.34/1285.16	17:19 ERROR: Failed to solve instance
2393.34/1285.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2393.86/1285.66	17:20 ERROR: Failed to solve instance
2393.86/1285.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2394.88/1286.62	17:21 ERROR: Failed to solve instance
2394.88/1286.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2395.40/1287.13	17:21 ERROR: Failed to solve instance
2395.40/1287.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2396.02/1287.76	17:22 ERROR: Failed to solve instance
2396.02/1287.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2402.33/1292.81	17:27 ERROR: Failed to solve instance
2402.33/1292.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2402.74/1293.26	17:27 ERROR: Failed to solve instance
2402.74/1293.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2403.26/1293.76	17:28 ERROR: Failed to solve instance
2403.26/1293.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2406.59/1296.41	17:31 ERROR: Failed to solve instance
2406.59/1296.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2407.51/1297.34	17:31 ERROR: Failed to solve instance
2407.51/1297.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2408.02/1297.83	17:32 ERROR: Failed to solve instance
2408.02/1297.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2408.32/1298.12	17:32 ERROR: Failed to solve instance
2408.32/1298.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2408.95/1298.76	17:33 ERROR: Failed to solve instance
2408.95/1298.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2410.99/1300.55	17:35 ERROR: Failed to solve instance
2410.99/1300.55	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-3312424-1304114154/watcher-3312424-1304114154 -o /tmp/evaluation-result-3312424-1304114154/solver-3312424-1304114154 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312424-1304114154.cnf 

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

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


[startup+0 s]
/proc/loadavg: 4.96 5.23 5.64 3/198 27226
/proc/meminfo: memFree=27157444/32951124 swapFree=67111524/67111528
[pid=27226] ppid=27224 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/27226/stat : 27226 (java) S 27224 27226 26898 0 -1 4202496 1412 0 0 0 0 0 0 0 23 0 2 0 523013380 26714112 884 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134516709 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/27226/statm: 6522 884 678 9 0 381 0
[pid=27226/tid=27227] ppid=27224 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27227/stat : 27227 (java) S 27224 27226 26898 0 -1 4202560 56 0 0 0 0 0 0 0 24 0 2 0 523013381 26714112 884 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228117790343 0 2147483391 4096 0 18446744071699207358 0 0 -1 3 0 0 0

[startup+0.108617 s]
/proc/loadavg: 4.96 5.23 5.64 3/198 27226
/proc/meminfo: memFree=27157444/32951124 swapFree=67111524/67111528
[pid=27226] ppid=27224 vsize=15676336 CPUtime=0.11 cores=1,3,5,7
/proc/27226/stat : 27226 (java) S 27224 27226 26898 0 -1 4202496 5729 0 1 0 10 1 0 0 23 0 18 0 523013380 16052568064 5131 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27226/statm: 3919084 5131 2120 9 0 3909803 0
[pid=27226/tid=27227] ppid=27224 vsize=15676336 CPUtime=0.09 cores=1,3,5,7
/proc/27226/task/27227/stat : 27227 (java) R 27224 27226 26898 0 -1 4202560 3566 0 1 0 9 0 0 0 18 0 18 0 523013381 16052568064 5131 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676336

[startup+0.200545 s]
/proc/loadavg: 4.96 5.23 5.64 3/198 27226
/proc/meminfo: memFree=27157444/32951124 swapFree=67111524/67111528
[pid=27226] ppid=27224 vsize=15676888 CPUtime=0.29 cores=1,3,5,7
/proc/27226/stat : 27226 (java) S 27224 27226 26898 0 -1 4202496 7202 0 1 0 28 1 0 0 23 0 18 0 523013380 16053133312 6515 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27226/statm: 3919222 6516 2188 9 0 3909941 0
[pid=27226/tid=27227] ppid=27224 vsize=15676888 CPUtime=0.18 cores=1,3,5,7
/proc/27226/task/27227/stat : 27227 (java) R 27224 27226 26898 0 -1 4202560 4542 0 1 0 18 0 0 0 18 0 18 0 523013381 16053133312 6516 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 47738248354612 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15676888

[startup+0.300567 s]
/proc/loadavg: 4.96 5.23 5.64 3/198 27226
/proc/meminfo: memFree=27157444/32951124 swapFree=67111524/67111528
[pid=27226] ppid=27224 vsize=15681712 CPUtime=0.52 cores=1,3,5,7
/proc/27226/stat : 27226 (java) S 27224 27226 26898 0 -1 4202496 15910 0 1 0 50 2 0 0 23 0 18 0 523013380 16058073088 14075 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27226/statm: 3920428 14082 2207 9 0 3911147 0
[pid=27226/tid=27227] ppid=27224 vsize=15681712 CPUtime=0.28 cores=1,3,5,7
/proc/27226/task/27227/stat : 27227 (java) R 27224 27226 26898 0 -1 4202560 10735 0 1 0 27 1 0 0 18 0 18 0 523013381 16058073088 14085 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 46912505588620 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15681712

[startup+0.700489 s]
/proc/loadavg: 4.96 5.23 5.64 3/198 27226
/proc/meminfo: memFree=27157444/32951124 swapFree=67111524/67111528
[pid=27226] ppid=27224 vsize=15681712 CPUtime=0.93 cores=1,3,5,7
/proc/27226/stat : 27226 (java) S 27224 27226 26898 0 -1 4202496 41872 0 1 0 87 6 0 0 23 0 18 0 523013380 16058073088 40035 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27226/statm: 3920428 40035 2223 9 0 3911147 0
[pid=27226/tid=27227] ppid=27224 vsize=15681712 CPUtime=0.67 cores=1,3,5,7
/proc/27226/task/27227/stat : 27227 (java) R 27224 27226 26898 0 -1 4202560 35504 0 1 0 63 4 0 0 18 0 18 0 523013381 16058073088 40035 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 46912505642993 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15681712

[startup+1.50131 s]
/proc/loadavg: 4.96 5.23 5.64 7/220 27248
/proc/meminfo: memFree=26747572/32951124 swapFree=67111524/67111528
[pid=27226] ppid=27224 vsize=15688796 CPUtime=2.22 cores=1,3,5,7
/proc/27226/stat : 27226 (java) S 27224 27226 26898 0 -1 4202496 48018 0 1 0 215 7 0 0 23 0 22 0 523013380 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27226/statm: 3922199 43637 2265 9 0 3912918 0
[pid=27226/tid=27227] ppid=27224 vsize=15688796 CPUtime=1.48 cores=1,3,5,7
/proc/27226/task/27227/stat : 27227 (java) R 27224 27226 26898 0 -1 4202560 35612 0 1 0 143 5 0 0 21 0 22 0 523013381 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 46912505228109 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27226/tid=27229] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27229/stat : 27229 (java) S 27224 27226 26898 0 -1 4202560 27 0 0 0 0 0 0 0 16 0 22 0 523013381 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27230] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27230/stat : 27230 (java) S 27224 27226 26898 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 523013381 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27231] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27231/stat : 27231 (java) S 27224 27226 26898 0 -1 4202560 320 0 0 0 0 0 0 0 18 0 22 0 523013381 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27232] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27232/stat : 27232 (java) S 27224 27226 26898 0 -1 4202560 677 0 0 0 0 0 0 0 15 0 22 0 523013381 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27233] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27233/stat : 27233 (java) S 27224 27226 26898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523013381 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 5 0 0 0
[pid=27226/tid=27234] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27234/stat : 27234 (java) S 27224 27226 26898 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 523013381 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27235] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27235/stat : 27235 (java) S 27224 27226 26898 0 -1 4202560 406 0 0 0 0 0 0 0 18 0 22 0 523013381 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 5 0 0 0
[pid=27226/tid=27236] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27236/stat : 27236 (java) S 27224 27226 26898 0 -1 4202560 73 0 0 0 0 0 0 0 18 0 22 0 523013381 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27237] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27237/stat : 27237 (java) S 27224 27226 26898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523013383 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134530560 0 0 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27238] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27238/stat : 27238 (java) S 27224 27226 26898 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 523013383 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27239] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27239/stat : 27239 (java) S 27224 27226 26898 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 523013383 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27240] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27240/stat : 27240 (java) S 27224 27226 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523013385 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134537649 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27241] ppid=27224 vsize=15688796 CPUtime=0.39 cores=1,3,5,7
/proc/27226/task/27241/stat : 27241 (java) R 27224 27226 26898 0 -1 4202560 5464 0 0 0 39 0 0 0 17 0 22 0 523013385 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 47738246552617 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27226/tid=27242] ppid=27224 vsize=15688796 CPUtime=0.3 cores=1,3,5,7
/proc/27226/task/27242/stat : 27242 (java) R 27224 27226 26898 0 -1 4202560 3995 0 0 0 30 0 0 0 15 0 22 0 523013385 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228122405232 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27226/tid=27243] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27243/stat : 27243 (java) S 27224 27226 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523013385 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27244] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27244/stat : 27244 (java) S 27224 27226 26898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523013385 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134530560 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27245] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27245/stat : 27245 (java) S 27224 27226 26898 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 523013465 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134530560 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27246] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27246/stat : 27246 (java) S 27224 27226 26898 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 523013465 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134530560 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27247] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27247/stat : 27247 (java) S 27224 27226 26898 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523013465 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134530560 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27248] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27248/stat : 27248 (java) S 27224 27226 26898 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523013465 16065327104 43637 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134530560 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 15688796

[startup+3.10606 s]
/proc/loadavg: 4.96 5.23 5.64 8/220 27248
/proc/meminfo: memFree=26495736/32951124 swapFree=67111524/67111528
[pid=27226] ppid=27224 vsize=15688796 CPUtime=6.08 cores=1,3,5,7
/proc/27226/stat : 27226 (java) S 27224 27226 26898 0 -1 4202496 84693 0 1 0 595 13 0 0 23 0 22 0 523013380 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27226/statm: 3922199 79887 2275 9 0 3912918 0
[pid=27226/tid=27227] ppid=27224 vsize=15688796 CPUtime=2.01 cores=1,3,5,7
/proc/27226/task/27227/stat : 27227 (java) S 27224 27226 26898 0 -1 4202560 35663 0 1 0 196 5 0 0 22 0 22 0 523013381 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27229] ppid=27224 vsize=15688796 CPUtime=0.06 cores=1,3,5,7
/proc/27226/task/27229/stat : 27229 (java) S 27224 27226 26898 0 -1 4202560 8241 0 0 0 5 1 0 0 15 0 22 0 523013381 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27230] ppid=27224 vsize=15688796 CPUtime=0.01 cores=1,3,5,7
/proc/27226/task/27230/stat : 27230 (java) S 27224 27226 26898 0 -1 4202560 1429 0 0 0 1 0 0 0 15 0 22 0 523013381 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27231] ppid=27224 vsize=15688796 CPUtime=0.03 cores=1,3,5,7
/proc/27226/task/27231/stat : 27231 (java) S 27224 27226 26898 0 -1 4202560 7147 0 0 0 3 0 0 0 16 0 22 0 523013381 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27232] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27232/stat : 27232 (java) S 27224 27226 26898 0 -1 4202560 1393 0 0 0 0 0 0 0 15 0 22 0 523013381 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27233] ppid=27224 vsize=15688796 CPUtime=0.05 cores=1,3,5,7
/proc/27226/task/27233/stat : 27233 (java) S 27224 27226 26898 0 -1 4202560 6538 0 0 0 4 1 0 0 15 0 22 0 523013381 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27234] ppid=27224 vsize=15688796 CPUtime=0.04 cores=1,3,5,7
/proc/27226/task/27234/stat : 27234 (java) S 27224 27226 26898 0 -1 4202560 8613 0 0 0 3 1 0 0 16 0 22 0 523013381 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27235] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27235/stat : 27235 (java) S 27224 27226 26898 0 -1 4202560 406 0 0 0 0 0 0 0 15 0 22 0 523013381 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27236] ppid=27224 vsize=15688796 CPUtime=0.02 cores=1,3,5,7
/proc/27226/task/27236/stat : 27236 (java) S 27224 27226 26898 0 -1 4202560 3903 0 0 0 2 0 0 0 15 0 22 0 523013381 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27237] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27237/stat : 27237 (java) S 27224 27226 26898 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 22 0 523013383 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134530560 0 0 0 16800975 18446604471098582144 0 0 -1 5 0 0 0
[pid=27226/tid=27238] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27238/stat : 27238 (java) S 27224 27226 26898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523013383 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27239] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27239/stat : 27239 (java) S 27224 27226 26898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523013383 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27240] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27240/stat : 27240 (java) S 27224 27226 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523013385 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134537649 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27241] ppid=27224 vsize=15688796 CPUtime=1 cores=1,3,5,7
/proc/27226/task/27241/stat : 27241 (java) S 27224 27226 26898 0 -1 4202560 5760 0 0 0 100 0 0 0 15 0 22 0 523013385 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27242] ppid=27224 vsize=15688796 CPUtime=0.6 cores=1,3,5,7
/proc/27226/task/27242/stat : 27242 (java) S 27224 27226 26898 0 -1 4202560 4032 0 0 0 60 0 0 0 15 0 22 0 523013385 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27243] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27243/stat : 27243 (java) S 27224 27226 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523013385 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27244] ppid=27224 vsize=15688796 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27244/stat : 27244 (java) S 27224 27226 26898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523013385 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134530560 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27245] ppid=27224 vsize=15688796 CPUtime=0.72 cores=1,3,5,7
/proc/27226/task/27245/stat : 27245 (java) R 27224 27226 26898 0 -1 4202560 15 0 0 0 72 0 0 0 16 0 22 0 523013465 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 46912506151215 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27226/tid=27246] ppid=27224 vsize=15688796 CPUtime=0.62 cores=1,3,5,7
/proc/27226/task/27246/stat : 27246 (java) R 27224 27226 26898 0 -1 4202560 16 0 0 0 62 0 0 0 15 0 22 0 523013465 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 46912506373350 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27226/tid=27247] ppid=27224 vsize=15688796 CPUtime=0.38 cores=1,3,5,7
/proc/27226/task/27247/stat : 27247 (java) R 27224 27226 26898 0 -1 4202560 8 0 0 0 38 0 0 0 15 0 22 0 523013465 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 46912506372327 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27226/tid=27248] ppid=27224 vsize=15688796 CPUtime=0.41 cores=1,3,5,7
/proc/27226/task/27248/stat : 27248 (java) S 27224 27226 26898 0 -1 4202560 18 0 0 0 41 0 0 0 15 0 22 0 523013465 16065327104 79887 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134530560 0 4 0 16800975 18446604471098582144 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 15688796

[startup+6.30145 s]
/proc/loadavg: 5.37 5.31 5.66 11/220 27248
/proc/meminfo: memFree=25164008/32951124 swapFree=67111524/67111528
[pid=27226] ppid=27224 vsize=15688796 CPUtime=18.71 cores=1,3,5,7
/proc/27226/stat : 27226 (java) S 27224 27226 26898 0 -1 4202496 259120 0 1 0 1832 39 0 0 23 0 22 0 523013380 16065327104 252866 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27226/statm: 3922199 252866 2275 9 0 3912918 0
[pid=27226/tid=27227] ppid=27224 vsize=15688796 CPUtime=2.01 cores=1,3,5,7
/proc/27226/task/27227/stat : 27227 (java) S 27224 27226 26898 0 -1 4202560 35663 0 1 0 196 5 0 0 22 0 22 0 523013381 16065327104 252866 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27229] ppid=27224 vsize=15688796 CPUtime=0.22 cores=1,3,5,7
/proc/27226/task/27229/stat : 27229 (java) S 27224 27226 26898 0 -1 4202560 31791 0 0 0 17 5 0 0 15 0 22 0 523013381 16065327104 252866 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 5 0 0 0
[pid=27226/tid=27230] ppid=27224 vsize=15688796 CPUtime=0.16 cores=1,3,5,7
/proc/27226/task/27230/stat : 27230 (java) S 27224 27226 26898 0 -1 4202560 36177 0 0 0 11 5 0 0 15 0 22 0 523013381 16065327104 252866 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27231] ppid=27224 vsize=15688796 CPUtime=0.15 cores=1,3,5,7
/proc/27226/task/27231/stat : 27231 (java) S 27224 27226 26898 0 -1 4202560 31292 0 0 0 11 4 0 0 15 0 22 0 523013381 16065327104 252866 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27232] ppid=27224 vsize=15688796 CPUtime=0.16 cores=1,3,5,7
/proc/27226/task/27232/stat : 27232 (java) S 27224 27226 26898 0 -1 4202560 24613 0 0 0 13 3 0 0 15 0 22 0 523013381 16065327104 252866 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27233] ppid=27224 vsize=15688796 CPUtime=0.1 cores=1,3,5,7
/proc/27226/task/27233/stat : 27233 (java) S 27224 27226 26898 0 -1 4202560 13305 0 0 0 8 2 0 0 15 0 22 0 523013381 16065327104 252866 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27234] ppid=27224 vsize=15688796 CPUtime=0.15 cores=1,3,5,7
/proc/27226/task/27234/stat : 27234 (java) S 27224 27226 26898 0 -1 4202560 22615 0 0 0 11 4 0 0 16 0 22 0 523013381 16065327104 252866 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27235] ppid=27224 vsize=15688796 CPUtime=0.04 cores=1,3,5,7
/proc/27226/task/27235/stat : 27235 (java) S 27224 27226 26898 0 -1 4202560 9497 0 0 0 3 1 0 0 15 0 22 0 523013381 16065327104 252866 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27236] ppid=27224 vsize=15688796 CPUtime=0.05 cores=1,3,5,7
/proc/27226/task/27236/stat : 27236 (java) S 27224 27226 26898 0 -1 4202560 8416 0 0 0 5 0 0 0 15 0 22 0 523013381 16065327104 252866 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0

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

[pid=27226/tid=27239] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27239/stat : 27239 (java) S 27224 27226 26898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523013383 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27240] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27240/stat : 27240 (java) S 27224 27226 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134537649 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27241] ppid=27224 vsize=15685884 CPUtime=1.13 cores=1,3,5,7
/proc/27226/task/27241/stat : 27241 (java) S 27224 27226 26898 0 -1 4202560 5783 0 0 0 113 0 0 0 15 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27242] ppid=27224 vsize=15685884 CPUtime=0.78 cores=1,3,5,7
/proc/27226/task/27242/stat : 27242 (java) S 27224 27226 26898 0 -1 4202560 4050 0 0 0 78 0 0 0 16 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27243] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27243/stat : 27243 (java) S 27224 27226 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27244] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27244/stat : 27244 (java) S 27224 27226 26898 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134530560 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27245] ppid=27224 vsize=15685884 CPUtime=357.39 cores=1,3,5,7
/proc/27226/task/27245/stat : 27245 (java) S 27224 27226 26898 0 -1 4202560 56102 0 0 0 35725 14 0 0 15 0 22 0 523013465 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27246] ppid=27224 vsize=15685884 CPUtime=357.76 cores=1,3,5,7
/proc/27226/task/27246/stat : 27246 (java) S 27224 27226 26898 0 -1 4202560 70754 0 0 0 35761 15 0 0 15 0 22 0 523013465 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27247] ppid=27224 vsize=15685884 CPUtime=357.31 cores=1,3,5,7
/proc/27226/task/27247/stat : 27247 (java) S 27224 27226 26898 0 -1 4202560 66302 0 0 0 35714 17 0 0 15 0 22 0 523013465 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27248] ppid=27224 vsize=15685884 CPUtime=356.96 cores=1,3,5,7
/proc/27226/task/27248/stat : 27248 (java) S 27224 27226 26898 0 -1 4202560 67439 0 0 0 35681 15 0 0 15 0 22 0 523013465 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2270.8
Current children cumulated vsize (KiB) 15685884

[startup+1242.3 s]
/proc/loadavg: 2.02 2.37 3.72 3/220 27293
/proc/meminfo: memFree=131420/32951124 swapFree=67111444/67111528
[pid=27226] ppid=27224 vsize=15685884 CPUtime=2342.11 cores=1,3,5,7
/proc/27226/stat : 27226 (java) S 27224 27226 26898 0 -1 4202496 3876287 0 1 0 233335 876 0 0 23 0 22 0 523013380 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27226/statm: 3921471 3837623 2294 9 0 3912190 0
[pid=27226/tid=27227] ppid=27224 vsize=15685884 CPUtime=2.01 cores=1,3,5,7
/proc/27226/task/27227/stat : 27227 (java) S 27224 27226 26898 0 -1 4202560 35663 0 1 0 196 5 0 0 22 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27229] ppid=27224 vsize=15685884 CPUtime=3.11 cores=1,3,5,7
/proc/27226/task/27229/stat : 27229 (java) S 27224 27226 26898 0 -1 4202560 414869 0 0 0 238 73 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27230] ppid=27224 vsize=15685884 CPUtime=2.2 cores=1,3,5,7
/proc/27226/task/27230/stat : 27230 (java) S 27224 27226 26898 0 -1 4202560 288116 0 0 0 142 78 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27231] ppid=27224 vsize=15685884 CPUtime=3.09 cores=1,3,5,7
/proc/27226/task/27231/stat : 27231 (java) S 27224 27226 26898 0 -1 4202560 400626 0 0 0 211 98 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27232] ppid=27224 vsize=15685884 CPUtime=3.41 cores=1,3,5,7
/proc/27226/task/27232/stat : 27232 (java) S 27224 27226 26898 0 -1 4202560 464617 0 0 0 253 88 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27233] ppid=27224 vsize=15685884 CPUtime=2.89 cores=1,3,5,7
/proc/27226/task/27233/stat : 27233 (java) S 27224 27226 26898 0 -1 4202560 348333 0 0 0 218 71 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27234] ppid=27224 vsize=15685884 CPUtime=2.59 cores=1,3,5,7
/proc/27226/task/27234/stat : 27234 (java) S 27224 27226 26898 0 -1 4202560 303106 0 0 0 203 56 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27235] ppid=27224 vsize=15685884 CPUtime=2.33 cores=1,3,5,7
/proc/27226/task/27235/stat : 27235 (java) S 27224 27226 26898 0 -1 4202560 266774 0 0 0 176 57 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27236] ppid=27224 vsize=15685884 CPUtime=3.42 cores=1,3,5,7
/proc/27226/task/27236/stat : 27236 (java) S 27224 27226 26898 0 -1 4202560 437528 0 0 0 243 99 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27237] ppid=27224 vsize=15685884 CPUtime=870.4 cores=1,3,5,7
/proc/27226/task/27237/stat : 27237 (java) R 27224 27226 26898 0 -1 4202560 644372 0 0 0 86863 177 0 0 18 0 22 0 523013383 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 47738243862170 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=27226/tid=27238] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27238/stat : 27238 (java) S 27224 27226 26898 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 523013383 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27239] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27239/stat : 27239 (java) S 27224 27226 26898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523013383 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27240] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27240/stat : 27240 (java) S 27224 27226 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134537649 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27241] ppid=27224 vsize=15685884 CPUtime=1.13 cores=1,3,5,7
/proc/27226/task/27241/stat : 27241 (java) S 27224 27226 26898 0 -1 4202560 5783 0 0 0 113 0 0 0 15 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27242] ppid=27224 vsize=15685884 CPUtime=0.78 cores=1,3,5,7
/proc/27226/task/27242/stat : 27242 (java) S 27224 27226 26898 0 -1 4202560 4050 0 0 0 78 0 0 0 16 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27243] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27243/stat : 27243 (java) S 27224 27226 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27244] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27244/stat : 27244 (java) S 27224 27226 26898 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134530560 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27245] ppid=27224 vsize=15685884 CPUtime=361.19 cores=1,3,5,7
/proc/27226/task/27245/stat : 27245 (java) S 27224 27226 26898 0 -1 4202560 56177 0 0 0 36104 15 0 0 16 0 22 0 523013465 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 5 0 0 0
[pid=27226/tid=27246] ppid=27224 vsize=15685884 CPUtime=361.54 cores=1,3,5,7
/proc/27226/task/27246/stat : 27246 (java) S 27224 27226 26898 0 -1 4202560 70870 0 0 0 36138 16 0 0 15 0 22 0 523013465 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27247] ppid=27224 vsize=15685884 CPUtime=361.08 cores=1,3,5,7
/proc/27226/task/27247/stat : 27247 (java) S 27224 27226 26898 0 -1 4202560 66382 0 0 0 36091 17 0 0 15 0 22 0 523013465 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27248] ppid=27224 vsize=15685884 CPUtime=360.74 cores=1,3,5,7
/proc/27226/task/27248/stat : 27248 (java) S 27224 27226 26898 0 -1 4202560 67572 0 0 0 36058 16 0 0 16 0 22 0 523013465 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2342.11
Current children cumulated vsize (KiB) 15685884



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.01 2.31 3.62 2/196 27317
/proc/meminfo: memFree=15578464/32951124 swapFree=67111444/67111528
[pid=27226] ppid=27224 vsize=15685884 CPUtime=2410.49 cores=1,3,5,7
/proc/27226/stat : 27226 (java) S 27224 27226 26898 0 -1 4202496 3876695 0 1 0 240167 882 0 0 23 0 22 0 523013380 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27226/statm: 3921471 3837623 2294 9 0 3912190 0
[pid=27226/tid=27227] ppid=27224 vsize=15685884 CPUtime=2.01 cores=1,3,5,7
/proc/27226/task/27227/stat : 27227 (java) S 27224 27226 26898 0 -1 4202560 35663 0 1 0 196 5 0 0 22 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27229] ppid=27224 vsize=15685884 CPUtime=3.11 cores=1,3,5,7
/proc/27226/task/27229/stat : 27229 (java) S 27224 27226 26898 0 -1 4202560 414869 0 0 0 238 73 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27230] ppid=27224 vsize=15685884 CPUtime=2.2 cores=1,3,5,7
/proc/27226/task/27230/stat : 27230 (java) S 27224 27226 26898 0 -1 4202560 288116 0 0 0 142 78 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27231] ppid=27224 vsize=15685884 CPUtime=3.09 cores=1,3,5,7
/proc/27226/task/27231/stat : 27231 (java) S 27224 27226 26898 0 -1 4202560 400626 0 0 0 211 98 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27232] ppid=27224 vsize=15685884 CPUtime=3.41 cores=1,3,5,7
/proc/27226/task/27232/stat : 27232 (java) S 27224 27226 26898 0 -1 4202560 464617 0 0 0 253 88 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27233] ppid=27224 vsize=15685884 CPUtime=2.89 cores=1,3,5,7
/proc/27226/task/27233/stat : 27233 (java) S 27224 27226 26898 0 -1 4202560 348333 0 0 0 218 71 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27234] ppid=27224 vsize=15685884 CPUtime=2.59 cores=1,3,5,7
/proc/27226/task/27234/stat : 27234 (java) S 27224 27226 26898 0 -1 4202560 303106 0 0 0 203 56 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27235] ppid=27224 vsize=15685884 CPUtime=2.33 cores=1,3,5,7
/proc/27226/task/27235/stat : 27235 (java) S 27224 27226 26898 0 -1 4202560 266774 0 0 0 176 57 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27236] ppid=27224 vsize=15685884 CPUtime=3.42 cores=1,3,5,7
/proc/27226/task/27236/stat : 27236 (java) S 27224 27226 26898 0 -1 4202560 437528 0 0 0 243 99 0 0 16 0 22 0 523013381 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27237] ppid=27224 vsize=15685884 CPUtime=924.46 cores=1,3,5,7
/proc/27226/task/27237/stat : 27237 (java) R 27224 27226 26898 0 -1 4202560 644376 0 0 0 92265 181 0 0 18 0 22 0 523013383 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 47738243159872 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=27226/tid=27238] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27238/stat : 27238 (java) S 27224 27226 26898 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 523013383 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27239] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27239/stat : 27239 (java) S 27224 27226 26898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523013383 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27240] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27240/stat : 27240 (java) S 27224 27226 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134537649 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27241] ppid=27224 vsize=15685884 CPUtime=1.13 cores=1,3,5,7
/proc/27226/task/27241/stat : 27241 (java) S 27224 27226 26898 0 -1 4202560 5786 0 0 0 113 0 0 0 15 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27242] ppid=27224 vsize=15685884 CPUtime=0.78 cores=1,3,5,7
/proc/27226/task/27242/stat : 27242 (java) S 27224 27226 26898 0 -1 4202560 4050 0 0 0 78 0 0 0 16 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27243] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27243/stat : 27243 (java) S 27224 27226 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27244] ppid=27224 vsize=15685884 CPUtime=0 cores=1,3,5,7
/proc/27226/task/27244/stat : 27244 (java) S 27224 27226 26898 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 523013385 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134530560 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27245] ppid=27224 vsize=15685884 CPUtime=364.75 cores=1,3,5,7
/proc/27226/task/27245/stat : 27245 (java) S 27224 27226 26898 0 -1 4202560 56292 0 0 0 36460 15 0 0 15 0 22 0 523013465 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 7 0 0 0
[pid=27226/tid=27246] ppid=27224 vsize=15685884 CPUtime=365.12 cores=1,3,5,7
/proc/27226/task/27246/stat : 27246 (java) S 27224 27226 26898 0 -1 4202560 70983 0 0 0 36496 16 0 0 15 0 22 0 523013465 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 3 0 0 0
[pid=27226/tid=27247] ppid=27224 vsize=15685884 CPUtime=364.66 cores=1,3,5,7
/proc/27226/task/27247/stat : 27247 (java) S 27224 27226 26898 0 -1 4202560 66462 0 0 0 36448 18 0 0 15 0 22 0 523013465 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 1 0 0 0
[pid=27226/tid=27248] ppid=27224 vsize=15685884 CPUtime=364.33 cores=1,3,5,7
/proc/27226/task/27248/stat : 27248 (java) S 27224 27226 26898 0 -1 4202560 67661 0 0 0 36417 16 0 0 15 0 22 0 523013465 16062345216 3837623 33554432000 1073741824 1073778376 140733898461440 18446744073709551615 228134529945 0 4 0 16800975 18446604471098582144 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2410.49
Current children cumulated vsize (KiB) 15685884

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -27226

[startup+1302.3 s]
/proc/loadavg: 2.01 2.30 3.61 4/220 27347
/proc/meminfo: memFree=15388556/32951124 swapFree=67111444/67111528
[pid=27226] ppid=27224 vsize=0 CPUtime=2413.09 cores=1,3,5,7
/proc/27226/stat : 27226 (java) Z 27224 27226 26898 0 -1 4203548 3876736 0 1 0 240398 911 0 0 18 0 2 0 523013380 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27226/statm: 0 0 0 0 0 0 0
[pid=27226/tid=27227] ppid=27224 vsize=0 CPUtime=2.29 cores=1,3,5,7
/proc/27226/task/27227/stat : 27227 (java) R 27224 27226 26898 0 -1 4203588 35663 0 1 0 196 33 0 0 18 0 2 0 523013381 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2413.09
Current children cumulated vsize (KiB) 0

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

[startup+1302.5 s]
/proc/loadavg: 2.01 2.30 3.61 4/220 27347
/proc/meminfo: memFree=15388556/32951124 swapFree=67111444/67111528
[pid=27226] ppid=27224 vsize=0 CPUtime=2413.29 cores=1,3,5,7
/proc/27226/stat : 27226 (java) Z 27224 27226 26898 0 -1 4203548 3876736 0 1 0 240398 931 0 0 18 0 2 0 523013380 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27226/statm: 0 0 0 0 0 0 0
[pid=27226/tid=27227] ppid=27224 vsize=0 CPUtime=2.49 cores=1,3,5,7
/proc/27226/task/27227/stat : 27227 (java) R 27224 27226 26898 0 -1 4203588 35663 0 1 0 196 53 0 0 18 0 2 0 523013381 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2413.29
Current children cumulated vsize (KiB) 0

[startup+1302.6 s]
/proc/loadavg: 2.01 2.30 3.61 4/220 27347
/proc/meminfo: memFree=15388556/32951124 swapFree=67111444/67111528
[pid=27226] ppid=27224 vsize=0 CPUtime=2413.39 cores=1,3,5,7
/proc/27226/stat : 27226 (java) Z 27224 27226 26898 0 -1 4203548 3876736 0 1 0 240398 941 0 0 18 0 2 0 523013380 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27226/statm: 0 0 0 0 0 0 0
[pid=27226/tid=27227] ppid=27224 vsize=0 CPUtime=2.59 cores=1,3,5,7
/proc/27226/task/27227/stat : 27227 (java) R 27224 27226 26898 0 -1 4203588 35663 0 1 0 196 63 0 0 18 0 2 0 523013381 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2413.39
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.64
CPU time (s): 2413.44
CPU user time (s): 2403.99
CPU system time (s): 9.45056
CPU usage (%): 185.273
Max. virtual memory (cumulated for all children) (KiB): 15690256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2403.99
system time used= 9.45056
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3876736
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= 75096
involuntary context switches= 38500

runsolver used 2.19567 second user time and 5.2792 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-29 23:55:54
IDJOB=3312424
IDBENCH=82609
IDSOLVER=1699
FILE ID=node138/3312424-1304114154
RUNJOBID= node138-1304111642-26917
PBS_JOBID= 13170689
Free space on /tmp= 71808 MiB

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

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

MD5SUM BENCH= 4a57833314362e0939d4095b3206ad82
RANDOM SEED=1911284679

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27157592 kB
Buffers:       1142668 kB
Cached:        3867108 kB
SwapCached:          4 kB
Active:         417384 kB
Inactive:      4907556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27157592 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            9764 kB
Writeback:          40 kB
AnonPages:      314712 kB
Mapped:          23428 kB
Slab:           405704 kB
PageTables:       5456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   996436 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= 71808 MiB
End job on node138 at 2011-04-30 00:17:37