Trace number 3312468

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) 2371.11 1301.15

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf
MD5SUMcd155ee9ac243c838c94577589f0455b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark221.016
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	38:13 INFO : Reading from input HOME/instance-3312468-1304116692.cnf
1.03/0.83	Executor set job limit to 1000000
1.03/0.83	Executor set job limit to 1000000
1.03/0.83	Executor set job limit to 1000000
1.03/0.83	Executor set job limit to 1000000
1.03/0.83	Starting Executor!
1.03/0.83	Starting Executor!
1.03/0.83	Starting Executor!
1.03/0.83	Starting Executor!
3.14/2.01	38:15 INFO : 34851 variables remaining out of 35000
3.14/2.01	38:15 INFO : 584136 literals remaining out of 588000
1242.29/337.09	43:50 ERROR: Failed to solve instance
1242.29/337.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1242.29/337.09		at ibis.structure.WatchLists.build(WatchLists.java:47)
1242.29/337.09		at ibis.structure.Solver.<init>(Solver.java:45)
1242.29/337.09		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1242.29/337.09		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1242.29/337.09		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1242.29/337.09		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1242.29/337.09		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1242.29/337.09		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1242.29/337.09		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1242.29/337.09		at ibis.constellation.Executor.processActivities(Executor.java:75)
1242.29/337.09		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1242.29/337.09		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1242.29/337.09		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1244.71/339.41	43:52 ERROR: Failed to solve instance
1244.71/339.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1244.71/339.41		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:169)
1244.71/339.41		at gnu.trove.THash.postInsertHook(THash.java:370)
1244.71/339.41		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1244.71/339.41		at ibis.structure.WatchLists.build(WatchLists.java:56)
1244.71/339.41		at ibis.structure.Solver.<init>(Solver.java:45)
1244.71/339.41		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1244.71/339.41		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1244.71/339.41		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1244.71/339.41		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1244.71/339.41		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1244.71/339.41		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1244.71/339.41		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1244.71/339.41		at ibis.constellation.Executor.processActivities(Executor.java:75)
1244.71/339.41		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1244.71/339.41		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1244.71/339.41		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1251.90/346.19	43:59 ERROR: Failed to solve instance
1251.90/346.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1251.90/346.19		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:221)
1251.90/346.19		at gnu.trove.THash.postInsertHook(THash.java:370)
1251.90/346.19		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1251.90/346.19		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1251.90/346.19		at ibis.structure.Subsumming.run(Subsumming.java:58)
1251.90/346.19		at ibis.structure.Solver.simplify(Solver.java:205)
1251.90/346.19		at ibis.structure.Solver.solve(Solver.java:113)
1251.90/346.19		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1251.90/346.19		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1251.90/346.19		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1251.90/346.19		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1251.90/346.19		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1251.90/346.19		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1251.90/346.19		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1251.90/346.19		at ibis.constellation.Executor.processActivities(Executor.java:75)
1251.90/346.19		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1251.90/346.19		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1251.90/346.19		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1255.77/349.87	44:02 ERROR: Failed to solve instance
1255.77/349.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1255.77/349.87		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1255.77/349.87		at gnu.trove.THash.postInsertHook(THash.java:370)
1255.77/349.87		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1255.77/349.87		at ibis.structure.WatchLists.build(WatchLists.java:56)
1255.77/349.87		at ibis.structure.Solver.<init>(Solver.java:45)
1255.77/349.87		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1255.77/349.87		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1255.77/349.87		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1255.77/349.87		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1255.77/349.87		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1255.77/349.87		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1255.77/349.87		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1255.77/349.87		at ibis.constellation.Executor.processActivities(Executor.java:75)
1255.77/349.87		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1255.77/349.87		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1255.77/349.87		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1258.20/352.23	44:05 ERROR: Failed to solve instance
1258.20/352.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1260.98/354.98	44:07 ERROR: Failed to solve instance
1260.98/354.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1264.81/358.04	44:11 ERROR: Failed to solve instance
1264.81/358.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1267.11/360.32	44:13 ERROR: Failed to solve instance
1267.11/360.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1271.34/363.89	44:16 ERROR: Failed to solve instance
1271.34/363.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1271.85/364.35	44:17 ERROR: Failed to solve instance
1271.85/364.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1272.88/365.31	44:18 ERROR: Failed to solve instance
1272.88/365.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1273.40/365.81	44:18 ERROR: Failed to solve instance
1273.40/365.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1273.92/366.36	44:19 ERROR: Failed to solve instance
1273.92/366.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1281.91/372.53	44:25 ERROR: Failed to solve instance
1281.91/372.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1282.32/372.95	44:26 ERROR: Failed to solve instance
1282.32/372.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1282.84/373.42	44:26 ERROR: Failed to solve instance
1282.84/373.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1283.76/374.31	44:27 ERROR: Failed to solve instance
1283.76/374.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1284.19/374.79	44:27 ERROR: Failed to solve instance
1284.19/374.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1284.85/375.35	44:28 ERROR: Failed to solve instance
1284.85/375.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1288.63/378.41	44:31 ERROR: Failed to solve instance
1288.63/378.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1289.05/378.86	44:31 ERROR: Failed to solve instance
1289.05/378.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1289.55/379.36	44:32 ERROR: Failed to solve instance
1289.55/379.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1290.07/379.87	44:32 ERROR: Failed to solve instance
1290.07/379.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1298.82/386.74	44:39 ERROR: Failed to solve instance
1298.82/386.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1299.23/387.18	44:40 ERROR: Failed to solve instance
1299.23/387.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1299.75/387.68	44:40 ERROR: Failed to solve instance
1299.75/387.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1300.26/388.18	44:41 ERROR: Failed to solve instance
1300.26/388.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1305.43/392.57	44:45 ERROR: Failed to solve instance
1305.43/392.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1305.94/393.01	44:46 ERROR: Failed to solve instance
1305.94/393.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1306.36/393.47	44:46 ERROR: Failed to solve instance
1306.36/393.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1306.88/393.97	44:47 ERROR: Failed to solve instance
1306.88/393.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1311.23/397.65	44:50 ERROR: Failed to solve instance
1311.23/397.65	java.lang.OutOfMemoryError: Java heap space
1311.63/398.09	44:51 ERROR: Failed to solve instance
1311.63/398.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1312.34/398.79	44:51 ERROR: Failed to solve instance
1312.34/398.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1312.85/399.28	44:52 ERROR: Failed to solve instance
1312.85/399.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1313.87/400.23	44:53 ERROR: Failed to solve instance
1313.87/400.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1314.41/400.74	44:53 ERROR: Failed to solve instance
1314.41/400.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1322.61/407.18	45:00 ERROR: Failed to solve instance
1322.61/407.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1323.53/408.09	45:01 ERROR: Failed to solve instance
1323.53/408.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1324.05/408.58	45:01 ERROR: Failed to solve instance
1324.05/408.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1324.56/409.10	45:02 ERROR: Failed to solve instance
1324.56/409.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1325.18/409.61	45:02 ERROR: Failed to solve instance
1325.18/409.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1330.60/413.98	45:07 ERROR: Failed to solve instance
1330.60/413.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1331.45/414.71	45:07 ERROR: Failed to solve instance
1331.45/414.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1333.46/416.49	45:09 ERROR: Failed to solve instance
1333.46/416.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1337.92/420.12	45:13 ERROR: Failed to solve instance
1337.92/420.12	java.lang.OutOfMemoryError: Java heap space
1338.32/420.55	45:13 ERROR: Failed to solve instance
1338.32/420.55	java.lang.OutOfMemoryError: Java heap space
1338.62/420.82	45:13 ERROR: Failed to solve instance
1338.62/420.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.15/426.25	45:19 ERROR: Failed to solve instance
1345.15/426.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.66/426.71	45:19 ERROR: Failed to solve instance
1345.66/426.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.18/427.24	45:20 ERROR: Failed to solve instance
1346.18/427.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1348.54/429.24	45:22 ERROR: Failed to solve instance
1348.54/429.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1349.36/430.08	45:23 ERROR: Failed to solve instance
1349.36/430.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1349.88/430.57	45:23 ERROR: Failed to solve instance
1349.88/430.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1354.42/434.31	45:27 ERROR: Failed to solve instance
1354.42/434.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1358.85/438.00	45:31 ERROR: Failed to solve instance
1358.85/438.00	java.lang.OutOfMemoryError: Java heap space
1359.06/438.22	45:31 ERROR: Failed to solve instance
1359.06/438.22	java.lang.OutOfMemoryError: Java heap space
1359.57/438.70	45:31 ERROR: Failed to solve instance
1359.57/438.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1359.98/439.13	45:32 ERROR: Failed to solve instance
1359.98/439.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1360.90/440.01	45:33 ERROR: Failed to solve instance
1360.90/440.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1361.46/440.53	45:33 ERROR: Failed to solve instance
1361.46/440.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1365.65/444.08	45:37 ERROR: Failed to solve instance
1365.65/444.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1366.16/444.52	45:37 ERROR: Failed to solve instance
1366.16/444.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1366.58/445.00	45:38 ERROR: Failed to solve instance
1366.58/445.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1367.19/445.54	45:38 ERROR: Failed to solve instance
1367.19/445.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1375.35/451.91	45:45 ERROR: Failed to solve instance
1375.35/451.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.27/452.82	45:45 ERROR: Failed to solve instance
1376.27/452.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.68/453.28	45:46 ERROR: Failed to solve instance
1376.68/453.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1377.20/453.77	45:46 ERROR: Failed to solve instance
1377.20/453.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1377.81/454.31	45:47 ERROR: Failed to solve instance
1377.81/454.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1383.62/459.03	45:52 ERROR: Failed to solve instance
1383.62/459.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1384.03/459.44	45:52 ERROR: Failed to solve instance
1384.03/459.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1384.86/460.27	45:53 ERROR: Failed to solve instance
1384.86/460.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1385.37/460.78	45:53 ERROR: Failed to solve instance
1385.37/460.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1386.02/461.34	45:54 ERROR: Failed to solve instance
1386.02/461.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1389.25/463.93	45:57 ERROR: Failed to solve instance
1389.25/463.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1390.08/464.78	45:57 ERROR: Failed to solve instance
1390.08/464.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1390.61/465.27	45:58 ERROR: Failed to solve instance
1390.61/465.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1391.02/465.70	45:58 ERROR: Failed to solve instance
1391.02/465.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1391.65/466.21	45:59 ERROR: Failed to solve instance
1391.65/466.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1399.36/472.35	46:05 ERROR: Failed to solve instance
1399.36/472.35	java.lang.OutOfMemoryError: Java heap space
1399.55/472.58	46:05 ERROR: Failed to solve instance
1399.55/472.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1402.60/475.02	46:08 ERROR: Failed to solve instance
1402.60/475.02	java.lang.OutOfMemoryError: Java heap space
1403.36/475.72	46:08 ERROR: Failed to solve instance
1403.36/475.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1406.42/478.29	46:11 ERROR: Failed to solve instance
1406.42/478.29	java.lang.OutOfMemoryError: Java heap space
1410.11/481.43	46:14 ERROR: Failed to solve instance
1410.11/481.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1410.63/481.90	46:15 ERROR: Failed to solve instance
1410.63/481.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.37/482.68	46:15 ERROR: Failed to solve instance
1411.37/482.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1415.39/485.96	46:19 ERROR: Failed to solve instance
1415.39/485.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.40/490.83	46:23 ERROR: Failed to solve instance
1421.40/490.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.93/491.32	46:24 ERROR: Failed to solve instance
1421.93/491.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1422.44/491.81	46:24 ERROR: Failed to solve instance
1422.44/491.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1426.68/495.40	46:28 ERROR: Failed to solve instance
1426.68/495.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1427.20/495.86	46:28 ERROR: Failed to solve instance
1427.20/495.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1427.71/496.37	46:29 ERROR: Failed to solve instance
1427.71/496.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1428.74/497.33	46:30 ERROR: Failed to solve instance
1428.74/497.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1429.26/497.85	46:30 ERROR: Failed to solve instance
1429.26/497.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1437.78/504.56	46:37 ERROR: Failed to solve instance
1437.78/504.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1438.19/504.98	46:38 ERROR: Failed to solve instance
1438.19/504.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1438.70/505.44	46:38 ERROR: Failed to solve instance
1438.70/505.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1439.21/505.92	46:39 ERROR: Failed to solve instance
1439.21/505.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1440.14/506.87	46:39 ERROR: Failed to solve instance
1440.14/506.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1447.27/512.50	46:45 ERROR: Failed to solve instance
1447.27/512.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1447.68/512.96	46:46 ERROR: Failed to solve instance
1447.68/512.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1448.20/513.47	46:46 ERROR: Failed to solve instance
1448.20/513.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1449.23/514.45	46:47 ERROR: Failed to solve instance
1449.23/514.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1449.75/514.97	46:48 ERROR: Failed to solve instance
1449.75/514.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.17/519.25	46:52 ERROR: Failed to solve instance
1455.17/519.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.69/519.76	46:52 ERROR: Failed to solve instance
1455.69/519.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.21/520.25	46:53 ERROR: Failed to solve instance
1456.21/520.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1459.54/522.87	46:55 ERROR: Failed to solve instance
1459.54/522.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.06/523.36	46:56 ERROR: Failed to solve instance
1460.06/523.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.89/524.20	46:57 ERROR: Failed to solve instance
1460.89/524.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1461.41/524.66	46:57 ERROR: Failed to solve instance
1461.41/524.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1461.95/525.18	46:58 ERROR: Failed to solve instance
1461.95/525.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1462.46/525.69	46:58 ERROR: Failed to solve instance
1462.46/525.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1466.25/528.84	47:01 ERROR: Failed to solve instance
1466.25/528.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1467.17/529.76	47:02 ERROR: Failed to solve instance
1467.17/529.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1467.69/530.26	47:03 ERROR: Failed to solve instance
1467.69/530.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1468.22/530.79	47:03 ERROR: Failed to solve instance
1468.22/530.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1476.07/536.78	47:09 ERROR: Failed to solve instance
1476.07/536.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1476.60/537.27	47:10 ERROR: Failed to solve instance
1476.60/537.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1477.12/537.79	47:10 ERROR: Failed to solve instance
1477.12/537.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1477.76/538.35	47:11 ERROR: Failed to solve instance
1477.76/538.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1479.56/539.93	47:13 ERROR: Failed to solve instance
1479.56/539.93	java.lang.OutOfMemoryError: Java heap space
1479.76/540.18	47:13 ERROR: Failed to solve instance
1479.76/540.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.22/543.07	47:16 ERROR: Failed to solve instance
1483.22/543.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.74/543.54	47:16 ERROR: Failed to solve instance
1483.74/543.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1484.25/544.06	47:17 ERROR: Failed to solve instance
1484.25/544.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1491.84/549.90	47:23 ERROR: Failed to solve instance
1491.84/549.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1492.67/550.77	47:23 ERROR: Failed to solve instance
1492.67/550.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1493.19/551.23	47:24 ERROR: Failed to solve instance
1493.19/551.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1493.71/551.74	47:24 ERROR: Failed to solve instance
1493.71/551.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.43/556.31	47:29 ERROR: Failed to solve instance
1499.43/556.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.85/556.77	47:29 ERROR: Failed to solve instance
1499.85/556.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1500.38/557.23	47:30 ERROR: Failed to solve instance
1500.38/557.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1501.30/558.12	47:31 ERROR: Failed to solve instance
1501.30/558.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1501.72/558.60	47:31 ERROR: Failed to solve instance
1501.72/558.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1502.34/559.14	47:32 ERROR: Failed to solve instance
1502.34/559.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1509.92/564.94	47:38 ERROR: Failed to solve instance
1509.92/564.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1510.73/565.73	47:38 ERROR: Failed to solve instance
1510.73/565.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.14/566.13	47:39 ERROR: Failed to solve instance
1511.14/566.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.55/566.57	47:39 ERROR: Failed to solve instance
1511.55/566.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1512.07/567.03	47:40 ERROR: Failed to solve instance
1512.07/567.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1515.52/569.92	47:43 ERROR: Failed to solve instance
1515.52/569.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1516.25/570.67	47:43 ERROR: Failed to solve instance
1516.25/570.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1516.77/571.12	47:44 ERROR: Failed to solve instance
1516.77/571.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1520.40/574.21	47:47 ERROR: Failed to solve instance
1520.40/574.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1520.82/574.66	47:47 ERROR: Failed to solve instance
1520.82/574.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.33/575.16	47:48 ERROR: Failed to solve instance
1521.33/575.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.84/575.67	47:48 ERROR: Failed to solve instance
1521.84/575.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1530.24/582.14	47:55 ERROR: Failed to solve instance
1530.24/582.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1530.96/582.87	47:55 ERROR: Failed to solve instance
1530.96/582.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.31/584.85	47:57 ERROR: Failed to solve instance
1533.31/584.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1534.23/585.75	47:58 ERROR: Failed to solve instance
1534.23/585.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1534.75/586.24	47:59 ERROR: Failed to solve instance
1534.75/586.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1535.27/586.79	47:59 ERROR: Failed to solve instance
1535.27/586.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1544.02/593.67	48:06 ERROR: Failed to solve instance
1544.02/593.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1544.95/594.54	48:07 ERROR: Failed to solve instance
1544.95/594.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1545.35/595.00	48:08 ERROR: Failed to solve instance
1545.35/595.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1545.87/595.47	48:08 ERROR: Failed to solve instance
1545.87/595.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1546.40/595.96	48:09 ERROR: Failed to solve instance
1546.40/595.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1550.20/599.09	48:12 ERROR: Failed to solve instance
1550.20/599.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1551.12/600.00	48:12 ERROR: Failed to solve instance
1551.12/600.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1551.63/600.52	48:13 ERROR: Failed to solve instance
1551.63/600.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.67/608.63	48:21 ERROR: Failed to solve instance
1561.67/608.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1562.08/609.06	48:22 ERROR: Failed to solve instance
1562.08/609.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1562.59/609.54	48:22 ERROR: Failed to solve instance
1562.59/609.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1563.50/610.47	48:23 ERROR: Failed to solve instance
1563.50/610.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1564.03/610.98	48:24 ERROR: Failed to solve instance
1564.03/610.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1568.27/614.47	48:27 ERROR: Failed to solve instance
1568.27/614.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1569.19/615.34	48:28 ERROR: Failed to solve instance
1569.19/615.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1569.60/615.80	48:28 ERROR: Failed to solve instance
1569.60/615.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1570.12/616.29	48:29 ERROR: Failed to solve instance
1570.12/616.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1570.64/616.79	48:29 ERROR: Failed to solve instance
1570.64/616.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1575.03/620.43	48:33 ERROR: Failed to solve instance
1575.03/620.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1575.45/620.89	48:33 ERROR: Failed to solve instance
1575.45/620.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1575.96/621.40	48:34 ERROR: Failed to solve instance
1575.96/621.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1576.59/621.93	48:35 ERROR: Failed to solve instance
1576.59/621.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1586.96/630.15	48:43 ERROR: Failed to solve instance
1586.96/630.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1587.36/630.58	48:43 ERROR: Failed to solve instance
1587.36/630.58	java.lang.OutOfMemoryError: Java heap space
1587.67/630.84	48:43 ERROR: Failed to solve instance
1587.67/630.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1588.17/631.35	48:44 ERROR: Failed to solve instance
1588.17/631.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1594.49/636.51	48:49 ERROR: Failed to solve instance
1594.49/636.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1594.90/636.96	48:50 ERROR: Failed to solve instance
1594.90/636.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1595.42/637.48	48:50 ERROR: Failed to solve instance
1595.42/637.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1599.93/641.18	48:54 ERROR: Failed to solve instance
1599.93/641.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1600.46/641.70	48:54 ERROR: Failed to solve instance
1600.46/641.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1603.84/644.46	48:57 ERROR: Failed to solve instance
1603.84/644.46	java.lang.OutOfMemoryError: Java heap space
1604.04/644.67	48:57 ERROR: Failed to solve instance
1604.04/644.67	java.lang.OutOfMemoryError: Java heap space
1604.35/644.93	48:58 ERROR: Failed to solve instance
1604.35/644.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1605.06/645.65	48:58 ERROR: Failed to solve instance
1605.06/645.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1605.58/646.16	48:59 ERROR: Failed to solve instance
1605.58/646.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.62/647.13	49:00 ERROR: Failed to solve instance
1606.62/647.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1607.14/647.67	49:00 ERROR: Failed to solve instance
1607.14/647.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1614.44/653.15	49:06 ERROR: Failed to solve instance
1614.44/653.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1615.41/654.07	49:07 ERROR: Failed to solve instance
1615.41/654.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1615.93/654.51	49:07 ERROR: Failed to solve instance
1615.93/654.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1616.36/655.02	49:08 ERROR: Failed to solve instance
1616.36/655.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1619.53/657.67	49:10 ERROR: Failed to solve instance
1619.53/657.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1623.60/661.01	49:14 ERROR: Failed to solve instance
1623.60/661.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1624.02/661.45	49:14 ERROR: Failed to solve instance
1624.02/661.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1624.53/661.93	49:15 ERROR: Failed to solve instance
1624.53/661.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1628.87/665.55	49:18 ERROR: Failed to solve instance
1628.87/665.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1629.28/665.95	49:19 ERROR: Failed to solve instance
1629.28/665.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1629.79/666.42	49:19 ERROR: Failed to solve instance
1629.79/666.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1633.42/669.54	49:22 ERROR: Failed to solve instance
1633.42/669.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1633.94/670.01	49:23 ERROR: Failed to solve instance
1633.94/670.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1634.46/670.53	49:23 ERROR: Failed to solve instance
1634.46/670.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.41/671.42	49:24 ERROR: Failed to solve instance
1635.41/671.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.82/671.89	49:24 ERROR: Failed to solve instance
1635.82/671.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.46/672.48	49:25 ERROR: Failed to solve instance
1636.46/672.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.79/679.01	49:32 ERROR: Failed to solve instance
1644.79/679.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1645.23/679.50	49:32 ERROR: Failed to solve instance
1645.23/679.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1648.87/682.55	49:35 ERROR: Failed to solve instance
1648.87/682.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1649.28/682.99	49:36 ERROR: Failed to solve instance
1649.28/682.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1649.80/683.46	49:36 ERROR: Failed to solve instance
1649.80/683.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.31/683.97	49:37 ERROR: Failed to solve instance
1650.31/683.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.97/684.54	49:37 ERROR: Failed to solve instance
1650.97/684.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1658.61/690.52	49:43 ERROR: Failed to solve instance
1658.61/690.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1659.34/691.23	49:44 ERROR: Failed to solve instance
1659.34/691.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1659.86/691.72	49:44 ERROR: Failed to solve instance
1659.86/691.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1662.89/694.41	49:47 ERROR: Failed to solve instance
1662.89/694.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1663.41/694.93	49:48 ERROR: Failed to solve instance
1663.41/694.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1663.94/695.48	49:48 ERROR: Failed to solve instance
1663.94/695.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1669.35/699.58	49:52 ERROR: Failed to solve instance
1669.35/699.58	java.lang.OutOfMemoryError: Java heap space
1674.66/703.77	49:56 ERROR: Failed to solve instance
1674.66/703.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1675.59/704.68	49:57 ERROR: Failed to solve instance
1675.59/704.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1676.10/705.18	49:58 ERROR: Failed to solve instance
1676.10/705.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1676.72/705.75	49:58 ERROR: Failed to solve instance
1676.72/705.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.80/713.62	50:06 ERROR: Failed to solve instance
1686.80/713.62	java.lang.OutOfMemoryError: Java heap space
1687.20/714.06	50:07 ERROR: Failed to solve instance
1687.20/714.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1687.71/714.54	50:07 ERROR: Failed to solve instance
1687.71/714.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1688.74/715.55	50:08 ERROR: Failed to solve instance
1688.74/715.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1689.04/715.87	50:08 ERROR: Failed to solve instance
1689.04/715.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1692.06/718.31	50:11 ERROR: Failed to solve instance
1692.06/718.31	java.lang.OutOfMemoryError: Java heap space
1692.61/718.85	50:11 ERROR: Failed to solve instance
1692.61/718.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1694.79/720.63	50:13 ERROR: Failed to solve instance
1694.79/720.63	java.lang.OutOfMemoryError: Java heap space
1695.89/721.69	50:14 ERROR: Failed to solve instance
1695.89/721.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1702.04/726.68	50:19 ERROR: Failed to solve instance
1702.04/726.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1702.57/727.16	50:20 ERROR: Failed to solve instance
1702.57/727.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1703.09/727.65	50:20 ERROR: Failed to solve instance
1703.09/727.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1706.64/730.65	50:23 ERROR: Failed to solve instance
1706.64/730.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1707.57/731.56	50:24 ERROR: Failed to solve instance
1707.57/731.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1708.10/732.03	50:25 ERROR: Failed to solve instance
1708.10/732.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1708.61/732.57	50:25 ERROR: Failed to solve instance
1708.61/732.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1715.76/738.02	50:31 ERROR: Failed to solve instance
1715.76/738.02	java.lang.OutOfMemoryError: Java heap space
1718.68/740.51	50:33 ERROR: Failed to solve instance
1718.68/740.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1719.10/740.98	50:34 ERROR: Failed to solve instance
1719.10/740.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1720.13/741.93	50:34 ERROR: Failed to solve instance
1720.13/741.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1720.64/742.42	50:35 ERROR: Failed to solve instance
1720.64/742.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1721.17/742.94	50:36 ERROR: Failed to solve instance
1721.17/742.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1721.68/743.46	50:36 ERROR: Failed to solve instance
1721.68/743.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1722.55/744.25	50:37 ERROR: Failed to solve instance
1722.55/744.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1729.42/749.47	50:42 ERROR: Failed to solve instance
1729.42/749.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1730.34/750.39	50:43 ERROR: Failed to solve instance
1730.34/750.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1730.86/750.87	50:43 ERROR: Failed to solve instance
1730.86/750.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1731.38/751.38	50:44 ERROR: Failed to solve instance
1731.38/751.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1732.01/751.93	50:45 ERROR: Failed to solve instance
1732.01/751.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.40/757.71	50:50 ERROR: Failed to solve instance
1739.40/757.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.82/758.18	50:51 ERROR: Failed to solve instance
1739.82/758.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1743.37/761.13	50:54 ERROR: Failed to solve instance
1743.37/761.13	java.lang.OutOfMemoryError: Java heap space
1743.58/761.35	50:54 ERROR: Failed to solve instance
1743.58/761.35	java.lang.OutOfMemoryError: Java heap space
1743.78/761.60	50:54 ERROR: Failed to solve instance
1743.78/761.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1744.81/762.54	50:55 ERROR: Failed to solve instance
1744.81/762.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1745.34/763.06	50:56 ERROR: Failed to solve instance
1745.34/763.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1745.98/763.68	50:56 ERROR: Failed to solve instance
1745.98/763.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1746.50/764.16	50:57 ERROR: Failed to solve instance
1746.50/764.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1753.85/769.78	51:02 ERROR: Failed to solve instance
1753.85/769.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1754.38/770.28	51:03 ERROR: Failed to solve instance
1754.38/770.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1755.40/771.24	51:04 ERROR: Failed to solve instance
1755.40/771.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1761.97/776.33	51:09 ERROR: Failed to solve instance
1761.97/776.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1762.39/776.77	51:09 ERROR: Failed to solve instance
1762.39/776.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1762.90/777.23	51:10 ERROR: Failed to solve instance
1762.90/777.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1763.42/777.73	51:10 ERROR: Failed to solve instance
1763.42/777.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1764.87/779.04	51:12 ERROR: Failed to solve instance
1764.87/779.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1767.33/781.15	51:14 ERROR: Failed to solve instance
1767.33/781.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1769.46/783.05	51:16 ERROR: Failed to solve instance
1769.46/783.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1769.99/783.57	51:16 ERROR: Failed to solve instance
1769.99/783.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1773.35/786.38	51:19 ERROR: Failed to solve instance
1773.35/786.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1780.21/791.92	51:25 ERROR: Failed to solve instance
1780.21/791.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1780.63/792.39	51:25 ERROR: Failed to solve instance
1780.63/792.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1781.25/792.92	51:26 ERROR: Failed to solve instance
1781.25/792.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.88/798.48	51:31 ERROR: Failed to solve instance
1787.88/798.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1788.39/798.95	51:32 ERROR: Failed to solve instance
1788.39/798.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1788.90/799.47	51:32 ERROR: Failed to solve instance
1788.90/799.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1791.34/801.54	51:34 ERROR: Failed to solve instance
1791.34/801.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1792.27/802.46	51:35 ERROR: Failed to solve instance
1792.27/802.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1792.78/802.96	51:36 ERROR: Failed to solve instance
1792.78/802.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1793.32/803.51	51:36 ERROR: Failed to solve instance
1793.32/803.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1801.81/810.19	51:43 ERROR: Failed to solve instance
1801.81/810.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.31/810.63	51:43 ERROR: Failed to solve instance
1802.31/810.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.83/811.10	51:44 ERROR: Failed to solve instance
1802.83/811.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1803.74/812.07	51:45 ERROR: Failed to solve instance
1803.74/812.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1804.36/812.61	51:45 ERROR: Failed to solve instance
1804.36/812.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1804.89/813.19	51:46 ERROR: Failed to solve instance
1804.89/813.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1810.25/817.32	51:50 ERROR: Failed to solve instance
1810.25/817.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1810.98/818.04	51:51 ERROR: Failed to solve instance
1810.98/818.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1813.32/820.02	51:53 ERROR: Failed to solve instance
1813.32/820.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1814.23/820.93	51:53 ERROR: Failed to solve instance
1814.23/820.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1814.74/821.42	51:54 ERROR: Failed to solve instance
1814.74/821.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1815.25/821.93	51:55 ERROR: Failed to solve instance
1815.25/821.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1815.78/822.47	51:55 ERROR: Failed to solve instance
1815.78/822.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1824.63/829.44	52:02 ERROR: Failed to solve instance
1824.63/829.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.47/830.27	52:03 ERROR: Failed to solve instance
1825.47/830.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.89/830.70	52:03 ERROR: Failed to solve instance
1825.89/830.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.41/831.19	52:04 ERROR: Failed to solve instance
1826.41/831.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.93/831.65	52:04 ERROR: Failed to solve instance
1826.93/831.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1830.28/834.57	52:07 ERROR: Failed to solve instance
1830.28/834.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1831.15/835.35	52:08 ERROR: Failed to solve instance
1831.15/835.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1831.56/835.80	52:08 ERROR: Failed to solve instance
1831.56/835.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.27/837.98	52:11 ERROR: Failed to solve instance
1834.27/837.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1835.19/838.88	52:11 ERROR: Failed to solve instance
1835.19/838.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1835.71/839.38	52:12 ERROR: Failed to solve instance
1835.71/839.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1836.33/839.90	52:13 ERROR: Failed to solve instance
1836.33/839.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1836.86/840.49	52:13 ERROR: Failed to solve instance
1836.86/840.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1845.12/846.57	52:19 ERROR: Failed to solve instance
1845.12/846.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1845.63/847.02	52:20 ERROR: Failed to solve instance
1845.63/847.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1846.15/847.51	52:20 ERROR: Failed to solve instance
1846.15/847.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1847.17/848.51	52:21 ERROR: Failed to solve instance
1847.17/848.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1847.48/848.86	52:21 ERROR: Failed to solve instance
1847.48/848.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1852.35/852.93	52:26 ERROR: Failed to solve instance
1852.35/852.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1852.75/853.41	52:26 ERROR: Failed to solve instance
1852.75/853.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.46/859.59	52:32 ERROR: Failed to solve instance
1860.46/859.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.97/860.03	52:33 ERROR: Failed to solve instance
1860.97/860.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1861.49/860.52	52:33 ERROR: Failed to solve instance
1861.49/860.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.00/861.05	52:34 ERROR: Failed to solve instance
1862.00/861.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1868.32/866.28	52:39 ERROR: Failed to solve instance
1868.32/866.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1868.83/866.74	52:39 ERROR: Failed to solve instance
1868.83/866.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1869.46/867.32	52:40 ERROR: Failed to solve instance
1869.46/867.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1872.18/869.77	52:42 ERROR: Failed to solve instance
1872.18/869.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1872.69/870.25	52:43 ERROR: Failed to solve instance
1872.69/870.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1875.59/872.71	52:45 ERROR: Failed to solve instance
1875.59/872.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1876.51/873.64	52:46 ERROR: Failed to solve instance
1876.51/873.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1877.03/874.15	52:47 ERROR: Failed to solve instance
1877.03/874.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1879.47/876.24	52:49 ERROR: Failed to solve instance
1879.47/876.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1879.99/876.71	52:49 ERROR: Failed to solve instance
1879.99/876.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1880.61/877.32	52:50 ERROR: Failed to solve instance
1880.61/877.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1890.43/885.34	52:58 ERROR: Failed to solve instance
1890.43/885.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.34/886.22	52:59 ERROR: Failed to solve instance
1891.34/886.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.86/886.71	52:59 ERROR: Failed to solve instance
1891.86/886.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1892.37/887.22	53:00 ERROR: Failed to solve instance
1892.37/887.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1892.90/887.77	53:00 ERROR: Failed to solve instance
1892.90/887.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1900.23/893.63	53:06 ERROR: Failed to solve instance
1900.23/893.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1900.64/894.09	53:07 ERROR: Failed to solve instance
1900.64/894.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1901.26/894.60	53:07 ERROR: Failed to solve instance
1901.26/894.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1902.02/895.35	Exception in thread "SingleThreadedConstellation 4" java.lang.OutOfMemoryError: GC overhead limit exceeded
1909.76/901.70	53:14 ERROR: Failed to solve instance
1909.76/901.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1910.07/902.08	53:15 ERROR: Failed to solve instance
1910.07/902.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1910.49/902.49	53:15 ERROR: Failed to solve instance
1910.49/902.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1911.10/903.01	53:16 ERROR: Failed to solve instance
1911.10/903.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1917.43/908.20	53:21 ERROR: Failed to solve instance
1917.43/908.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1917.74/908.58	53:21 ERROR: Failed to solve instance
1917.74/908.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1918.15/908.99	53:22 ERROR: Failed to solve instance
1918.15/908.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1920.16/910.72	53:23 ERROR: Failed to solve instance
1920.16/910.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1920.87/911.47	53:24 ERROR: Failed to solve instance
1920.87/911.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.28/911.88	53:24 ERROR: Failed to solve instance
1921.28/911.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.80/912.39	53:25 ERROR: Failed to solve instance
1921.80/912.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1928.23/917.63	53:30 ERROR: Failed to solve instance
1928.23/917.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1928.64/918.01	53:31 ERROR: Failed to solve instance
1928.64/918.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1929.05/918.42	53:31 ERROR: Failed to solve instance
1929.05/918.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1929.46/918.86	53:31 ERROR: Failed to solve instance
1929.46/918.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1934.46/922.97	53:36 ERROR: Failed to solve instance
1934.46/922.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1934.87/923.37	53:36 ERROR: Failed to solve instance
1934.87/923.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1935.68/924.12	53:37 ERROR: Failed to solve instance
1935.68/924.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1936.10/924.54	53:37 ERROR: Failed to solve instance
1936.10/924.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1936.61/925.06	53:38 ERROR: Failed to solve instance
1936.61/925.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1942.94/930.29	53:43 ERROR: Failed to solve instance
1942.94/930.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1943.35/930.68	53:43 ERROR: Failed to solve instance
1943.35/930.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1943.87/931.11	53:44 ERROR: Failed to solve instance
1943.87/931.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1950.25/936.64	53:49 ERROR: Failed to solve instance
1950.25/936.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1950.96/937.32	53:50 ERROR: Failed to solve instance
1950.96/937.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1951.26/937.68	53:50 ERROR: Failed to solve instance
1951.26/937.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1951.77/938.13	53:51 ERROR: Failed to solve instance
1951.77/938.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1952.18/938.50	53:51 ERROR: Failed to solve instance
1952.18/938.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1954.72/940.78	53:53 ERROR: Failed to solve instance
1954.72/940.78	java.lang.OutOfMemoryError: Java heap space
1954.92/940.97	53:54 ERROR: Failed to solve instance
1954.92/940.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1960.16/945.19	53:58 ERROR: Failed to solve instance
1960.16/945.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1960.97/945.94	53:59 ERROR: Failed to solve instance
1960.97/945.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1961.38/946.34	53:59 ERROR: Failed to solve instance
1961.38/946.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1961.89/946.82	53:59 ERROR: Failed to solve instance
1961.89/946.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1968.58/952.10	54:05 ERROR: Failed to solve instance
1968.58/952.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1968.88/952.47	54:05 ERROR: Failed to solve instance
1968.88/952.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1969.29/952.87	54:05 ERROR: Failed to solve instance
1969.29/952.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1969.80/953.36	54:06 ERROR: Failed to solve instance
1969.80/953.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1976.25/958.67	54:11 ERROR: Failed to solve instance
1976.25/958.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1976.65/959.05	54:12 ERROR: Failed to solve instance
1976.65/959.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.56/960.77	54:13 ERROR: Failed to solve instance
1978.56/960.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1979.38/961.51	54:14 ERROR: Failed to solve instance
1979.38/961.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1979.80/961.91	54:15 ERROR: Failed to solve instance
1979.80/961.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1980.31/962.41	54:15 ERROR: Failed to solve instance
1980.31/962.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1986.98/967.74	54:20 ERROR: Failed to solve instance
1986.98/967.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1987.70/968.48	54:21 ERROR: Failed to solve instance
1987.70/968.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1988.10/968.80	54:21 ERROR: Failed to solve instance
1988.10/968.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1988.52/969.29	54:22 ERROR: Failed to solve instance
1988.52/969.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1988.93/969.67	54:22 ERROR: Failed to solve instance
1988.93/969.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.56/972.88	54:25 ERROR: Failed to solve instance
1992.56/972.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.97/973.28	54:26 ERROR: Failed to solve instance
1992.97/973.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1998.12/977.36	54:30 ERROR: Failed to solve instance
1998.12/977.36	java.lang.OutOfMemoryError: Java heap space
1998.74/977.92	54:31 ERROR: Failed to solve instance
1998.74/977.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2000.51/979.57	54:32 ERROR: Failed to solve instance
2000.51/979.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2001.22/980.20	54:33 ERROR: Failed to solve instance
2001.22/980.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2001.53/980.55	54:33 ERROR: Failed to solve instance
2001.53/980.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2007.19/985.30	54:38 ERROR: Failed to solve instance
2007.19/985.30	java.lang.OutOfMemoryError: Java heap space
2008.73/986.70	54:39 ERROR: Failed to solve instance
2008.73/986.70	java.lang.OutOfMemoryError: Java heap space
2009.17/987.14	54:40 ERROR: Failed to solve instance
2009.17/987.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2009.47/987.50	54:40 ERROR: Failed to solve instance
2009.47/987.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.20/989.86	54:42 ERROR: Failed to solve instance
2012.20/989.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.73/990.35	54:43 ERROR: Failed to solve instance
2012.73/990.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2020.81/996.72	54:49 ERROR: Failed to solve instance
2020.81/996.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2022.96/998.72	54:51 ERROR: Failed to solve instance
2022.96/998.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2023.37/999.12	54:52 ERROR: Failed to solve instance
2023.37/999.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2023.78/999.50	54:52 ERROR: Failed to solve instance
2023.78/999.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.25/1005.07	54:58 ERROR: Failed to solve instance
2030.25/1005.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.76/1005.53	54:58 ERROR: Failed to solve instance
2030.76/1005.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2031.07/1005.85	54:58 ERROR: Failed to solve instance
2031.07/1005.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2034.10/1008.51	55:01 ERROR: Failed to solve instance
2034.10/1008.51	java.lang.OutOfMemoryError: Java heap space
2034.30/1008.71	55:01 ERROR: Failed to solve instance
2034.30/1008.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2042.39/1015.44	55:08 ERROR: Failed to solve instance
2042.39/1015.44	java.lang.OutOfMemoryError: Java heap space
2042.59/1015.61	55:08 ERROR: Failed to solve instance
2042.59/1015.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2044.66/1017.50	55:10 ERROR: Failed to solve instance
2044.66/1017.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2045.18/1018.09	55:11 ERROR: Failed to solve instance
2045.18/1018.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2045.68/1018.50	55:11 ERROR: Failed to solve instance
2045.68/1018.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2046.41/1019.24	55:12 ERROR: Failed to solve instance
2046.41/1019.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2052.08/1024.02	55:17 ERROR: Failed to solve instance
2052.08/1024.02	java.lang.OutOfMemoryError: Java heap space
2053.50/1025.39	55:18 ERROR: Failed to solve instance
2053.50/1025.39	java.lang.OutOfMemoryError: Java heap space
2054.13/1025.96	55:18 ERROR: Failed to solve instance
2054.13/1025.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2060.67/1031.41	55:24 ERROR: Failed to solve instance
2060.67/1031.41	java.lang.OutOfMemoryError: Java heap space
2061.38/1032.13	55:25 ERROR: Failed to solve instance
2061.38/1032.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2061.79/1032.52	55:25 ERROR: Failed to solve instance
2061.79/1032.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2062.20/1032.92	55:26 ERROR: Failed to solve instance
2062.20/1032.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2062.61/1033.36	55:26 ERROR: Failed to solve instance
2062.61/1033.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2069.59/1039.26	55:32 ERROR: Failed to solve instance
2069.59/1039.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.02/1039.66	55:32 ERROR: Failed to solve instance
2070.02/1039.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.43/1040.04	55:33 ERROR: Failed to solve instance
2070.43/1040.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.44/1044.39	55:37 ERROR: Failed to solve instance
2075.44/1044.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.85/1044.77	55:37 ERROR: Failed to solve instance
2075.85/1044.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2076.36/1045.22	55:38 ERROR: Failed to solve instance
2076.36/1045.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2083.13/1051.16	55:44 ERROR: Failed to solve instance
2083.13/1051.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2083.54/1051.55	55:44 ERROR: Failed to solve instance
2083.54/1051.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2083.95/1051.94	55:45 ERROR: Failed to solve instance
2083.95/1051.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.37/1052.36	55:45 ERROR: Failed to solve instance
2084.37/1052.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2090.87/1057.94	55:51 ERROR: Failed to solve instance
2090.87/1057.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2091.27/1058.30	55:51 ERROR: Failed to solve instance
2091.27/1058.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2091.58/1058.69	55:51 ERROR: Failed to solve instance
2091.58/1058.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2092.39/1059.44	55:52 ERROR: Failed to solve instance
2092.39/1059.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2092.80/1059.85	55:52 ERROR: Failed to solve instance
2092.80/1059.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2093.21/1060.28	55:53 ERROR: Failed to solve instance
2093.21/1060.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2100.25/1066.13	55:59 ERROR: Failed to solve instance
2100.25/1066.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2100.67/1066.51	55:59 ERROR: Failed to solve instance
2100.67/1066.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2101.08/1066.94	56:00 ERROR: Failed to solve instance
2101.08/1066.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2103.19/1068.83	56:01 ERROR: Failed to solve instance
2103.19/1068.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.71/1071.08	56:04 ERROR: Failed to solve instance
2105.71/1071.08	java.lang.OutOfMemoryError: Java heap space
2105.91/1071.26	56:04 ERROR: Failed to solve instance
2105.91/1071.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2109.39/1074.33	56:07 ERROR: Failed to solve instance
2109.39/1074.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2109.80/1074.71	56:07 ERROR: Failed to solve instance
2109.80/1074.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2110.22/1075.15	56:08 ERROR: Failed to solve instance
2110.22/1075.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2116.97/1080.78	56:13 ERROR: Failed to solve instance
2116.97/1080.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2117.37/1081.16	56:14 ERROR: Failed to solve instance
2117.37/1081.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2120.18/1083.66	56:16 ERROR: Failed to solve instance
2120.18/1083.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2122.82/1085.96	56:19 ERROR: Failed to solve instance
2122.82/1085.96	java.lang.OutOfMemoryError: Java heap space
2127.77/1089.98	56:23 ERROR: Failed to solve instance
2127.77/1089.98	java.lang.OutOfMemoryError: Java heap space
2129.92/1091.94	56:25 ERROR: Failed to solve instance
2129.92/1091.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.33/1092.37	56:25 ERROR: Failed to solve instance
2130.33/1092.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.75/1092.78	56:25 ERROR: Failed to solve instance
2130.75/1092.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2136.29/1097.36	56:30 ERROR: Failed to solve instance
2136.29/1097.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2136.70/1097.76	56:30 ERROR: Failed to solve instance
2136.70/1097.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2138.62/1099.46	56:32 ERROR: Failed to solve instance
2138.62/1099.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2139.46/1100.23	56:33 ERROR: Failed to solve instance
2139.46/1100.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2139.77/1100.57	56:33 ERROR: Failed to solve instance
2139.77/1100.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2145.94/1105.82	56:38 ERROR: Failed to solve instance
2145.94/1105.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2146.75/1106.60	56:39 ERROR: Failed to solve instance
2146.75/1106.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2146.97/1106.83	56:39 ERROR: Failed to solve instance
2146.97/1106.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2148.61/1108.38	56:41 ERROR: Failed to solve instance
2148.61/1108.38	java.lang.OutOfMemoryError: Java heap space
2148.81/1108.57	56:41 ERROR: Failed to solve instance
2148.81/1108.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2150.72/1110.29	56:43 ERROR: Failed to solve instance
2150.72/1110.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2151.23/1110.71	56:43 ERROR: Failed to solve instance
2151.23/1110.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2151.95/1111.48	56:44 ERROR: Failed to solve instance
2151.95/1111.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2152.46/1111.96	56:45 ERROR: Failed to solve instance
2152.46/1111.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2158.65/1116.75	56:49 ERROR: Failed to solve instance
2158.65/1116.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2161.38/1119.16	56:52 ERROR: Failed to solve instance
2161.38/1119.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2163.92/1121.34	56:54 ERROR: Failed to solve instance
2163.92/1121.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2164.63/1122.08	56:55 ERROR: Failed to solve instance
2164.63/1122.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2165.04/1122.47	56:55 ERROR: Failed to solve instance
2165.04/1122.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2165.44/1122.89	56:55 ERROR: Failed to solve instance
2165.44/1122.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2165.85/1123.21	56:56 ERROR: Failed to solve instance
2165.85/1123.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2170.90/1127.20	57:00 ERROR: Failed to solve instance
2170.90/1127.20	java.lang.OutOfMemoryError: Java heap space
2175.67/1131.23	57:04 ERROR: Failed to solve instance
2175.67/1131.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2176.08/1131.61	57:04 ERROR: Failed to solve instance
2176.08/1131.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2182.18/1136.80	57:09 ERROR: Failed to solve instance
2182.18/1136.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2182.89/1137.53	57:10 ERROR: Failed to solve instance
2182.89/1137.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2183.31/1137.92	57:11 ERROR: Failed to solve instance
2183.31/1137.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2183.71/1138.33	57:11 ERROR: Failed to solve instance
2183.71/1138.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.12/1138.78	57:11 ERROR: Failed to solve instance
2184.12/1138.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2190.02/1143.74	57:16 ERROR: Failed to solve instance
2190.02/1143.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2190.43/1144.13	57:17 ERROR: Failed to solve instance
2190.43/1144.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2190.84/1144.55	57:17 ERROR: Failed to solve instance
2190.84/1144.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2194.70/1147.95	57:20 ERROR: Failed to solve instance
2194.70/1147.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.11/1148.33	57:21 ERROR: Failed to solve instance
2195.11/1148.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.52/1148.73	57:21 ERROR: Failed to solve instance
2195.52/1148.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2201.01/1153.35	57:26 ERROR: Failed to solve instance
2201.01/1153.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2201.72/1154.09	57:27 ERROR: Failed to solve instance
2201.72/1154.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.13/1154.48	57:27 ERROR: Failed to solve instance
2202.13/1154.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.64/1154.90	57:28 ERROR: Failed to solve instance
2202.64/1154.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2203.06/1155.37	57:28 ERROR: Failed to solve instance
2203.06/1155.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2209.70/1160.80	57:33 ERROR: Failed to solve instance
2209.70/1160.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2210.42/1161.56	57:34 ERROR: Failed to solve instance
2210.42/1161.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2210.83/1161.97	57:35 ERROR: Failed to solve instance
2210.83/1161.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2214.25/1164.93	57:37 ERROR: Failed to solve instance
2214.25/1164.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2214.67/1165.30	57:38 ERROR: Failed to solve instance
2214.67/1165.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2215.07/1165.70	57:38 ERROR: Failed to solve instance
2215.07/1165.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2215.49/1166.13	57:39 ERROR: Failed to solve instance
2215.49/1166.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2223.08/1172.67	57:45 ERROR: Failed to solve instance
2223.08/1172.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2223.89/1173.42	57:46 ERROR: Failed to solve instance
2223.89/1173.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2224.30/1173.81	57:46 ERROR: Failed to solve instance
2224.30/1173.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2224.61/1174.19	57:47 ERROR: Failed to solve instance
2224.61/1174.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2225.01/1174.51	57:47 ERROR: Failed to solve instance
2225.01/1174.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2227.93/1177.14	57:50 ERROR: Failed to solve instance
2227.93/1177.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2231.82/1180.60	57:53 ERROR: Failed to solve instance
2231.82/1180.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2232.12/1180.97	57:54 ERROR: Failed to solve instance
2232.12/1180.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2232.63/1181.45	57:54 ERROR: Failed to solve instance
2232.63/1181.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2239.46/1187.18	58:00 ERROR: Failed to solve instance
2239.46/1187.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2239.87/1187.55	58:00 ERROR: Failed to solve instance
2239.87/1187.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2241.79/1189.30	58:02 ERROR: Failed to solve instance
2241.79/1189.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.61/1190.06	58:03 ERROR: Failed to solve instance
2242.61/1190.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2243.03/1190.46	58:03 ERROR: Failed to solve instance
2243.03/1190.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2243.54/1190.96	58:04 ERROR: Failed to solve instance
2243.54/1190.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2249.89/1196.11	58:09 ERROR: Failed to solve instance
2249.89/1196.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2250.19/1196.49	58:09 ERROR: Failed to solve instance
2250.19/1196.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2250.60/1196.90	58:10 ERROR: Failed to solve instance
2250.60/1196.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2254.09/1199.80	58:12 ERROR: Failed to solve instance
2254.09/1199.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2254.71/1200.40	58:13 ERROR: Failed to solve instance
2254.71/1200.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2255.12/1200.81	58:13 ERROR: Failed to solve instance
2255.12/1200.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2257.46/1202.80	58:15 ERROR: Failed to solve instance
2257.46/1202.80	java.lang.OutOfMemoryError: Java heap space
2262.89/1207.34	58:20 ERROR: Failed to solve instance
2262.89/1207.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2263.30/1207.74	58:20 ERROR: Failed to solve instance
2263.30/1207.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2264.02/1208.49	58:21 ERROR: Failed to solve instance
2264.02/1208.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2264.53/1208.90	58:22 ERROR: Failed to solve instance
2264.53/1208.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2264.95/1209.34	58:22 ERROR: Failed to solve instance
2264.95/1209.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2269.28/1212.98	58:26 ERROR: Failed to solve instance
2269.28/1212.98	java.lang.OutOfMemoryError: Java heap space
2271.55/1214.91	58:28 ERROR: Failed to solve instance
2271.55/1214.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2273.70/1216.91	58:30 ERROR: Failed to solve instance
2273.70/1216.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2274.11/1217.31	58:30 ERROR: Failed to solve instance
2274.11/1217.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2276.65/1219.55	58:32 ERROR: Failed to solve instance
2276.65/1219.55	java.lang.OutOfMemoryError: Java heap space
2282.83/1224.96	58:38 ERROR: Failed to solve instance
2282.83/1224.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2283.25/1225.36	58:38 ERROR: Failed to solve instance
2283.25/1225.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2283.97/1226.05	58:39 ERROR: Failed to solve instance
2283.97/1226.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2286.28/1228.09	58:41 ERROR: Failed to solve instance
2286.28/1228.09	java.lang.OutOfMemoryError: Java heap space
2286.47/1228.29	58:41 ERROR: Failed to solve instance
2286.47/1228.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2292.76/1233.42	58:46 ERROR: Failed to solve instance
2292.76/1233.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2293.07/1233.79	58:46 ERROR: Failed to solve instance
2293.07/1233.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2293.58/1234.21	58:47 ERROR: Failed to solve instance
2293.58/1234.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2297.47/1237.41	58:50 ERROR: Failed to solve instance
2297.47/1237.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2299.70/1239.36	58:52 ERROR: Failed to solve instance
2299.70/1239.36	java.lang.OutOfMemoryError: Java heap space
2301.94/1241.35	58:54 ERROR: Failed to solve instance
2301.94/1241.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2302.55/1241.96	58:55 ERROR: Failed to solve instance
2302.55/1241.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2303.06/1242.41	58:55 ERROR: Failed to solve instance
2303.06/1242.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2307.85/1246.44	58:59 ERROR: Failed to solve instance
2307.85/1246.44	java.lang.OutOfMemoryError: Java heap space
2308.05/1246.62	58:59 ERROR: Failed to solve instance
2308.05/1246.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2310.08/1248.39	59:01 ERROR: Failed to solve instance
2310.08/1248.39	java.lang.OutOfMemoryError: Java heap space
2312.44/1250.38	59:03 ERROR: Failed to solve instance
2312.44/1250.38	java.lang.OutOfMemoryError: Java heap space
2315.19/1252.75	59:05 ERROR: Failed to solve instance
2315.19/1252.75	java.lang.OutOfMemoryError: Java heap space
2315.49/1253.04	59:06 ERROR: Failed to solve instance
2315.49/1253.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2321.08/1257.66	59:10 ERROR: Failed to solve instance
2321.08/1257.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2321.69/1258.24	59:11 ERROR: Failed to solve instance
2321.69/1258.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2322.10/1258.70	59:11 ERROR: Failed to solve instance
2322.10/1258.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2324.72/1260.92	59:14 ERROR: Failed to solve instance
2324.72/1260.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2325.14/1261.35	59:14 ERROR: Failed to solve instance
2325.14/1261.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2325.77/1261.99	59:15 ERROR: Failed to solve instance
2325.77/1261.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2332.15/1267.38	59:20 ERROR: Failed to solve instance
2332.15/1267.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2332.97/1268.15	59:21 ERROR: Failed to solve instance
2332.97/1268.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2333.38/1268.55	59:21 ERROR: Failed to solve instance
2333.38/1268.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2333.90/1269.06	59:22 ERROR: Failed to solve instance
2333.90/1269.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2334.52/1269.63	59:22 ERROR: Failed to solve instance
2334.52/1269.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2343.17/1276.98	59:30 ERROR: Failed to solve instance
2343.17/1276.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2343.98/1277.72	59:30 ERROR: Failed to solve instance
2343.98/1277.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2344.39/1278.10	59:31 ERROR: Failed to solve instance
2344.39/1278.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2344.90/1278.61	59:31 ERROR: Failed to solve instance
2344.90/1278.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2345.41/1279.18	59:32 ERROR: Failed to solve instance
2345.41/1279.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2351.98/1284.64	59:37 ERROR: Failed to solve instance
2351.98/1284.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2352.79/1285.40	59:38 ERROR: Failed to solve instance
2352.79/1285.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.20/1285.81	59:38 ERROR: Failed to solve instance
2353.20/1285.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.50/1286.15	59:39 ERROR: Failed to solve instance
2353.50/1286.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.92/1286.54	59:39 ERROR: Failed to solve instance
2353.92/1286.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2355.85/1288.19	59:41 ERROR: Failed to solve instance
2355.85/1288.19	java.lang.OutOfMemoryError: Java heap space
2358.64/1290.59	59:43 ERROR: Failed to solve instance
2358.64/1290.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2359.05/1290.99	59:44 ERROR: Failed to solve instance
2359.05/1290.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2359.56/1291.42	59:44 ERROR: Failed to solve instance
2359.56/1291.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2365.86/1296.66	59:49 ERROR: Failed to solve instance
2365.86/1296.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2366.27/1297.07	59:50 ERROR: Failed to solve instance
2366.27/1297.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2366.68/1297.46	59:50 ERROR: Failed to solve instance
2366.68/1297.46	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-3312468-1304116692/watcher-3312468-1304116692 -o /tmp/evaluation-result-3312468-1304116692/solver-3312468-1304116692 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312468-1304116692.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: 7.52 7.95 7.97 5/198 22491
/proc/meminfo: memFree=29504124/32951124 swapFree=67111364/67111528
[pid=22491] ppid=22489 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/22491/stat : 22491 (java) S 22489 22491 22152 0 -1 4202496 1414 0 0 0 0 0 0 0 25 0 2 0 523269651 26714112 885 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652662245 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/22491/statm: 6793 885 678 9 0 381 0
[pid=22491/tid=22492] ppid=22489 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22492/stat : 22492 (java) S 22489 22491 22152 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 523269652 27824128 894 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253635935879 0 2147483391 4096 0 18446744071699199166 0 0 -1 1 0 0 0

[startup+0.00782599 s]
/proc/loadavg: 7.52 7.95 7.97 5/198 22491
/proc/meminfo: memFree=29504124/32951124 swapFree=67111364/67111528
[pid=22491] ppid=22489 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/22491/stat : 22491 (java) S 22489 22491 22152 0 -1 4202496 1580 0 0 0 0 0 0 0 25 0 2 0 523269651 36646912 1024 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652662245 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/22491/statm: 8955 1025 791 9 0 386 0
[pid=22491/tid=22492] ppid=22489 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22492/stat : 22492 (java) R 22489 22491 22152 0 -1 4202560 232 0 1 0 0 0 0 0 25 0 2 0 523269652 36679680 1035 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 47869148256224 0 0 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 35788

[startup+0.100813 s]
/proc/loadavg: 7.52 7.95 7.97 5/198 22491
/proc/meminfo: memFree=29504124/32951124 swapFree=67111364/67111528
[pid=22491] ppid=22489 vsize=15676840 CPUtime=0.11 cores=1,3,5,7
/proc/22491/stat : 22491 (java) S 22489 22491 22152 0 -1 4202496 5633 0 1 0 10 1 0 0 25 0 18 0 523269651 16053084160 5043 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22491/statm: 3919210 5043 2118 9 0 3909929 0
[pid=22491/tid=22492] ppid=22489 vsize=15676840 CPUtime=0.08 cores=1,3,5,7
/proc/22491/task/22492/stat : 22492 (java) R 22489 22491 22152 0 -1 4202560 3474 0 1 0 8 0 0 0 25 0 18 0 523269652 16053084160 5043 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 47869143899655 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676840

[startup+0.300778 s]
/proc/loadavg: 7.52 7.95 7.97 5/198 22491
/proc/meminfo: memFree=29504124/32951124 swapFree=67111364/67111528
[pid=22491] ppid=22489 vsize=15682052 CPUtime=0.52 cores=1,3,5,7
/proc/22491/stat : 22491 (java) S 22489 22491 22152 0 -1 4202496 16243 0 1 0 49 3 0 0 25 0 18 0 523269651 16058421248 14431 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22491/statm: 3920513 14431 2207 9 0 3911232 0
[pid=22491/tid=22492] ppid=22489 vsize=15682052 CPUtime=0.29 cores=1,3,5,7
/proc/22491/task/22492/stat : 22492 (java) R 22489 22491 22152 0 -1 4202560 11088 0 1 0 27 2 0 0 25 0 18 0 523269652 16058421248 14431 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 46912505552112 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15682052

[startup+0.700753 s]
/proc/loadavg: 7.52 7.95 7.97 5/198 22491
/proc/meminfo: memFree=29504124/32951124 swapFree=67111364/67111528
[pid=22491] ppid=22489 vsize=15682052 CPUtime=0.93 cores=1,3,5,7
/proc/22491/stat : 22491 (java) S 22489 22491 22152 0 -1 4202496 41842 0 1 0 86 7 0 0 25 0 18 0 523269651 16058421248 40028 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22491/statm: 3920513 40028 2223 9 0 3911232 0
[pid=22491/tid=22492] ppid=22489 vsize=15682052 CPUtime=0.67 cores=1,3,5,7
/proc/22491/task/22492/stat : 22492 (java) R 22489 22491 22152 0 -1 4202560 35508 0 1 0 62 5 0 0 25 0 18 0 523269652 16058421248 40028 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652686283 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15682052

[startup+1.50159 s]
/proc/loadavg: 7.52 7.95 7.97 7/220 22513
/proc/meminfo: memFree=29046264/32951124 swapFree=67111364/67111528
[pid=22491] ppid=22489 vsize=15689788 CPUtime=2.22 cores=1,3,5,7
/proc/22491/stat : 22491 (java) S 22489 22491 22152 0 -1 4202496 47874 0 1 0 214 8 0 0 25 0 22 0 523269651 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22491/statm: 3922447 43767 2265 9 0 3913166 0
[pid=22491/tid=22492] ppid=22489 vsize=15689788 CPUtime=1.48 cores=1,3,5,7
/proc/22491/task/22492/stat : 22492 (java) R 22489 22491 22152 0 -1 4202560 35626 0 1 0 142 6 0 0 18 0 22 0 523269652 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 46912505925770 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22491/tid=22494] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22494/stat : 22494 (java) S 22489 22491 22152 0 -1 4202560 26 0 0 0 0 0 0 0 18 0 22 0 523269652 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22495] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22495/stat : 22495 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 523269652 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22496] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22496/stat : 22496 (java) S 22489 22491 22152 0 -1 4202560 89 0 0 0 0 0 0 0 18 0 22 0 523269652 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22497] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22497/stat : 22497 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523269652 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22498] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22498/stat : 22498 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523269652 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22499] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22499/stat : 22499 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523269652 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22500] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22500/stat : 22500 (java) S 22489 22491 22152 0 -1 4202560 1314 0 0 0 0 0 0 0 16 0 22 0 523269652 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=22491/tid=22501] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22501/stat : 22501 (java) S 22489 22491 22152 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 22 0 523269652 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22502] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22502/stat : 22502 (java) S 22489 22491 22152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523269653 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652676096 0 0 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22503] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22503/stat : 22503 (java) S 22489 22491 22152 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 523269653 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22504] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22504/stat : 22504 (java) S 22489 22491 22152 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 523269653 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22505] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22505/stat : 22505 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523269656 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652683185 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22506] ppid=22489 vsize=15689788 CPUtime=0.31 cores=1,3,5,7
/proc/22491/task/22506/stat : 22506 (java) S 22489 22491 22152 0 -1 4202560 3743 0 0 0 31 0 0 0 16 0 22 0 523269656 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=22491/tid=22507] ppid=22489 vsize=15689788 CPUtime=0.4 cores=1,3,5,7
/proc/22491/task/22507/stat : 22507 (java) S 22489 22491 22152 0 -1 4202560 5563 0 0 0 39 1 0 0 16 0 22 0 523269656 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22508] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22508/stat : 22508 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523269656 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22509] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22509/stat : 22509 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523269656 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22510] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22510/stat : 22510 (java) S 22489 22491 22152 0 -1 4202560 13 0 0 0 0 0 0 0 19 0 22 0 523269734 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22511] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22511/stat : 22511 (java) S 22489 22491 22152 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 523269734 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22512] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22512/stat : 22512 (java) S 22489 22491 22152 0 -1 4202560 12 0 0 0 0 0 0 0 19 0 22 0 523269734 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22513] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22513/stat : 22513 (java) S 22489 22491 22152 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 22 0 523269734 16066342912 43767 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 15689788

[startup+3.16926 s]
/proc/loadavg: 7.52 7.95 7.97 7/220 22513
/proc/meminfo: memFree=29028796/32951124 swapFree=67111364/67111528
[pid=22491] ppid=22489 vsize=15689788 CPUtime=6.57 cores=1,3,5,7
/proc/22491/stat : 22491 (java) S 22489 22491 22152 0 -1 4202496 87395 0 1 0 644 13 0 0 25 0 22 0 523269651 16066342912 83027 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22491/statm: 3922447 83030 2275 9 0 3913166 0
[pid=22491/tid=22492] ppid=22489 vsize=15689788 CPUtime=2 cores=1,3,5,7
/proc/22491/task/22492/stat : 22492 (java) S 22489 22491 22152 0 -1 4202560 35670 0 1 0 194 6 0 0 19 0 22 0 523269652 16066342912 83030 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22494] ppid=22489 vsize=15689788 CPUtime=0.02 cores=1,3,5,7
/proc/22491/task/22494/stat : 22494 (java) S 22489 22491 22152 0 -1 4202560 4411 0 0 0 2 0 0 0 15 0 22 0 523269652 16066342912 83032 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=22491/tid=22495] ppid=22489 vsize=15689788 CPUtime=0.04 cores=1,3,5,7
/proc/22491/task/22495/stat : 22495 (java) S 22489 22491 22152 0 -1 4202560 6313 0 0 0 4 0 0 0 16 0 22 0 523269652 16066342912 83034 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22496] ppid=22489 vsize=15689788 CPUtime=0.01 cores=1,3,5,7
/proc/22491/task/22496/stat : 22496 (java) S 22489 22491 22152 0 -1 4202560 3402 0 0 0 1 0 0 0 15 0 22 0 523269652 16066342912 83034 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=22491/tid=22497] ppid=22489 vsize=15689788 CPUtime=0.03 cores=1,3,5,7
/proc/22491/task/22497/stat : 22497 (java) S 22489 22491 22152 0 -1 4202560 4565 0 0 0 3 0 0 0 16 0 22 0 523269652 16066342912 83036 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=22491/tid=22498] ppid=22489 vsize=15689788 CPUtime=0.01 cores=1,3,5,7
/proc/22491/task/22498/stat : 22498 (java) S 22489 22491 22152 0 -1 4202560 1764 0 0 0 1 0 0 0 15 0 22 0 523269652 16066342912 83038 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22499] ppid=22489 vsize=15689788 CPUtime=0.04 cores=1,3,5,7
/proc/22491/task/22499/stat : 22499 (java) S 22489 22491 22152 0 -1 4202560 6978 0 0 0 4 0 0 0 15 0 22 0 523269652 16066342912 83038 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22500] ppid=22489 vsize=15689788 CPUtime=0.05 cores=1,3,5,7
/proc/22491/task/22500/stat : 22500 (java) S 22489 22491 22152 0 -1 4202560 9855 0 0 0 4 1 0 0 16 0 22 0 523269652 16066342912 83040 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22501] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22501/stat : 22501 (java) S 22489 22491 22152 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 22 0 523269652 16066342912 83041 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=22491/tid=22502] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22502/stat : 22502 (java) S 22489 22491 22152 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 22 0 523269653 16066342912 83042 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652676096 0 0 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22503] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22503/stat : 22503 (java) S 22489 22491 22152 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523269653 16066342912 83044 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22504] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22504/stat : 22504 (java) S 22489 22491 22152 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 523269653 16066342912 83045 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22505] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22505/stat : 22505 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523269656 16066342912 83046 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652683185 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22506] ppid=22489 vsize=15689788 CPUtime=0.67 cores=1,3,5,7
/proc/22491/task/22506/stat : 22506 (java) S 22489 22491 22152 0 -1 4202560 3790 0 0 0 67 0 0 0 15 0 22 0 523269656 16066342912 83048 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22507] ppid=22489 vsize=15689788 CPUtime=0.93 cores=1,3,5,7
/proc/22491/task/22507/stat : 22507 (java) S 22489 22491 22152 0 -1 4202560 5652 0 0 0 92 1 0 0 15 0 22 0 523269656 16066342912 83049 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22508] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22508/stat : 22508 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523269656 16066342912 83050 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22509] ppid=22489 vsize=15689788 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22509/stat : 22509 (java) R 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523269656 16066342912 83052 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652676096 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22491/tid=22510] ppid=22489 vsize=15689788 CPUtime=0.95 cores=1,3,5,7
/proc/22491/task/22510/stat : 22510 (java) R 22489 22491 22152 0 -1 4202560 483 0 0 0 95 0 0 0 16 0 22 0 523269734 16066342912 83052 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 46912506232470 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22491/tid=22511] ppid=22489 vsize=15689788 CPUtime=0.42 cores=1,3,5,7
/proc/22491/task/22511/stat : 22511 (java) R 22489 22491 22152 0 -1 4202560 473 0 0 0 42 0 0 0 16 0 22 0 523269734 16066342912 83054 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 46912506232573 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22491/tid=22512] ppid=22489 vsize=15689788 CPUtime=0.6 cores=1,3,5,7
/proc/22491/task/22512/stat : 22512 (java) R 22489 22491 22152 0 -1 4202560 1908 0 0 0 60 0 0 0 16 0 22 0 523269734 16066342912 83055 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 46912506288554 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22491/tid=22513] ppid=22489 vsize=15689788 CPUtime=0.7 cores=1,3,5,7
/proc/22491/task/22513/stat : 22513 (java) R 22489 22491 22152 0 -1 4202560 571 0 0 0 70 0 0 0 16 0 22 0 523269734 16066342912 83056 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 46912506205641 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 15689788

[startup+6.30474 s]
/proc/loadavg: 7.87 8.02 7.99 9/220 22513
/proc/meminfo: memFree=28097436/32951124 swapFree=67111364/67111528
[pid=22491] ppid=22489 vsize=15686864 CPUtime=19.01 cores=1,3,5,7
/proc/22491/stat : 22491 (java) S 22489 22491 22152 0 -1 4202496 312284 0 1 0 1859 42 0 0 25 0 22 0 523269651 16063348736 306297 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22491/statm: 3921716 306297 2279 9 0 3912435 0
[pid=22491/tid=22492] ppid=22489 vsize=15686864 CPUtime=2 cores=1,3,5,7
/proc/22491/task/22492/stat : 22492 (java) S 22489 22491 22152 0 -1 4202560 35670 0 1 0 194 6 0 0 19 0 22 0 523269652 16063348736 306297 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22494] ppid=22489 vsize=15686864 CPUtime=0.1 cores=1,3,5,7
/proc/22491/task/22494/stat : 22494 (java) S 22489 22491 22152 0 -1 4202560 16611 0 0 0 9 1 0 0 15 0 22 0 523269652 16063348736 306297 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22495] ppid=22489 vsize=15686864 CPUtime=0.15 cores=1,3,5,7
/proc/22491/task/22495/stat : 22495 (java) S 22489 22491 22152 0 -1 4202560 19360 0 0 0 13 2 0 0 16 0 22 0 523269652 16063348736 306297 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22496] ppid=22489 vsize=15686864 CPUtime=0.3 cores=1,3,5,7
/proc/22491/task/22496/stat : 22496 (java) S 22489 22491 22152 0 -1 4202560 59383 0 0 0 24 6 0 0 16 0 22 0 523269652 16063348736 306297 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22497] ppid=22489 vsize=15686864 CPUtime=0.13 cores=1,3,5,7
/proc/22491/task/22497/stat : 22497 (java) S 22489 22491 22152 0 -1 4202560 17348 0 0 0 11 2 0 0 15 0 22 0 523269652 16063348736 306297 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22498] ppid=22489 vsize=15686864 CPUtime=0.2 cores=1,3,5,7
/proc/22491/task/22498/stat : 22498 (java) S 22489 22491 22152 0 -1 4202560 32529 0 0 0 16 4 0 0 16 0 22 0 523269652 16063348736 306297 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22499] ppid=22489 vsize=15686864 CPUtime=0.18 cores=1,3,5,7
/proc/22491/task/22499/stat : 22499 (java) S 22489 22491 22152 0 -1 4202560 28845 0 0 0 14 4 0 0 15 0 22 0 523269652 16063348736 306297 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=22491/tid=22500] ppid=22489 vsize=15686864 CPUtime=0.19 cores=1,3,5,7
/proc/22491/task/22500/stat : 22500 (java) S 22489 22491 22152 0 -1 4202560 44663 0 0 0 14 5 0 0 16 0 22 0 523269652 16063348736 306297 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=22491/tid=22501] ppid=22489 vsize=15686864 CPUtime=0.12 cores=1,3,5,7
/proc/22491/task/22501/stat : 22501 (java) S 22489 22491 22152 0 -1 4202560 18495 0 0 0 10 2 0 0 15 0 22 0 523269652 16063348736 306297 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0

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

/proc/22491/task/22492/stat : 22492 (java) S 22489 22491 22152 0 -1 4202560 35670 0 1 0 194 6 0 0 19 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22494] ppid=22489 vsize=15686864 CPUtime=2.72 cores=1,3,5,7
/proc/22491/task/22494/stat : 22494 (java) S 22489 22491 22152 0 -1 4202560 299243 0 0 0 225 47 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22495] ppid=22489 vsize=15686864 CPUtime=2.5 cores=1,3,5,7
/proc/22491/task/22495/stat : 22495 (java) S 22489 22491 22152 0 -1 4202560 266355 0 0 0 206 44 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22496] ppid=22489 vsize=15686864 CPUtime=2.98 cores=1,3,5,7
/proc/22491/task/22496/stat : 22496 (java) S 22489 22491 22152 0 -1 4202560 356811 0 0 0 241 57 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22497] ppid=22489 vsize=15686864 CPUtime=2.29 cores=1,3,5,7
/proc/22491/task/22497/stat : 22497 (java) S 22489 22491 22152 0 -1 4202560 306993 0 0 0 179 50 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22498] ppid=22489 vsize=15686864 CPUtime=3.69 cores=1,3,5,7
/proc/22491/task/22498/stat : 22498 (java) S 22489 22491 22152 0 -1 4202560 510006 0 0 0 287 82 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22499] ppid=22489 vsize=15686864 CPUtime=3.09 cores=1,3,5,7
/proc/22491/task/22499/stat : 22499 (java) S 22489 22491 22152 0 -1 4202560 419205 0 0 0 240 69 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22500] ppid=22489 vsize=15686864 CPUtime=2.66 cores=1,3,5,7
/proc/22491/task/22500/stat : 22500 (java) S 22489 22491 22152 0 -1 4202560 411042 0 0 0 200 66 0 0 15 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22501] ppid=22489 vsize=15686864 CPUtime=3.38 cores=1,3,5,7
/proc/22491/task/22501/stat : 22501 (java) S 22489 22491 22152 0 -1 4202560 430981 0 0 0 274 64 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22502] ppid=22489 vsize=15686864 CPUtime=875.63 cores=1,3,5,7
/proc/22491/task/22502/stat : 22502 (java) R 22489 22491 22152 0 -1 4202560 641726 0 0 0 87435 128 0 0 18 0 21 0 523269653 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 47869144736093 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=22491/tid=22503] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22503/stat : 22503 (java) S 22489 22491 22152 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 21 0 523269653 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=22491/tid=22504] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22504/stat : 22504 (java) S 22489 22491 22152 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 21 0 523269653 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22505] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22505/stat : 22505 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 523269656 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652683185 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22506] ppid=22489 vsize=15686864 CPUtime=0.91 cores=1,3,5,7
/proc/22491/task/22506/stat : 22506 (java) S 22489 22491 22152 0 -1 4202560 3827 0 0 0 90 1 0 0 15 0 21 0 523269656 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22507] ppid=22489 vsize=15686864 CPUtime=1 cores=1,3,5,7
/proc/22491/task/22507/stat : 22507 (java) S 22489 22491 22152 0 -1 4202560 5654 0 0 0 99 1 0 0 16 0 21 0 523269656 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22508] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22508/stat : 22508 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 523269656 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22509] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22509/stat : 22509 (java) S 22489 22491 22152 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 21 0 523269656 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22510] ppid=22489 vsize=15686864 CPUtime=356.22 cores=1,3,5,7
/proc/22491/task/22510/stat : 22510 (java) S 22489 22491 22152 0 -1 4202560 41262 0 0 0 35604 18 0 0 15 0 21 0 523269734 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22511] ppid=22489 vsize=15686864 CPUtime=356.52 cores=1,3,5,7
/proc/22491/task/22511/stat : 22511 (java) S 22489 22491 22152 0 -1 4202560 46318 0 0 0 35636 16 0 0 15 0 21 0 523269734 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22512] ppid=22489 vsize=15686864 CPUtime=357.28 cores=1,3,5,7
/proc/22491/task/22512/stat : 22512 (java) S 22489 22491 22152 0 -1 4202560 58305 0 0 0 35711 17 0 0 15 0 21 0 523269734 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2302.96
Current children cumulated vsize (KiB) 15686864



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 1.84 4.15 5.72 4/192 22568
/proc/meminfo: memFree=14929412/32951124 swapFree=67111364/67111528
[pid=22491] ppid=22489 vsize=15686864 CPUtime=2369.95 cores=1,3,5,7
/proc/22491/stat : 22491 (java) S 22489 22491 22152 0 -1 4202496 3876777 0 1 0 236305 690 0 0 25 0 21 0 523269651 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22491/statm: 3921716 3843999 2295 9 0 3912435 0
[pid=22491/tid=22492] ppid=22489 vsize=15686864 CPUtime=2 cores=1,3,5,7
/proc/22491/task/22492/stat : 22492 (java) S 22489 22491 22152 0 -1 4202560 35670 0 1 0 194 6 0 0 19 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22494] ppid=22489 vsize=15686864 CPUtime=2.72 cores=1,3,5,7
/proc/22491/task/22494/stat : 22494 (java) S 22489 22491 22152 0 -1 4202560 299243 0 0 0 225 47 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22495] ppid=22489 vsize=15686864 CPUtime=2.5 cores=1,3,5,7
/proc/22491/task/22495/stat : 22495 (java) S 22489 22491 22152 0 -1 4202560 266355 0 0 0 206 44 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22496] ppid=22489 vsize=15686864 CPUtime=2.98 cores=1,3,5,7
/proc/22491/task/22496/stat : 22496 (java) S 22489 22491 22152 0 -1 4202560 356811 0 0 0 241 57 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22497] ppid=22489 vsize=15686864 CPUtime=2.29 cores=1,3,5,7
/proc/22491/task/22497/stat : 22497 (java) S 22489 22491 22152 0 -1 4202560 306993 0 0 0 179 50 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22498] ppid=22489 vsize=15686864 CPUtime=3.69 cores=1,3,5,7
/proc/22491/task/22498/stat : 22498 (java) S 22489 22491 22152 0 -1 4202560 510006 0 0 0 287 82 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22499] ppid=22489 vsize=15686864 CPUtime=3.09 cores=1,3,5,7
/proc/22491/task/22499/stat : 22499 (java) S 22489 22491 22152 0 -1 4202560 419205 0 0 0 240 69 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22500] ppid=22489 vsize=15686864 CPUtime=2.66 cores=1,3,5,7
/proc/22491/task/22500/stat : 22500 (java) S 22489 22491 22152 0 -1 4202560 411042 0 0 0 200 66 0 0 15 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22501] ppid=22489 vsize=15686864 CPUtime=3.38 cores=1,3,5,7
/proc/22491/task/22501/stat : 22501 (java) S 22489 22491 22152 0 -1 4202560 430981 0 0 0 274 64 0 0 16 0 21 0 523269652 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22502] ppid=22489 vsize=15686864 CPUtime=928.53 cores=1,3,5,7
/proc/22491/task/22502/stat : 22502 (java) S 22489 22491 22152 0 -1 4202560 641728 0 0 0 92720 133 0 0 17 0 21 0 523269653 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652676096 0 0 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22503] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22503/stat : 22503 (java) S 22489 22491 22152 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 21 0 523269653 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=22491/tid=22504] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22504/stat : 22504 (java) S 22489 22491 22152 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 21 0 523269653 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22505] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22505/stat : 22505 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 523269656 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652683185 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22506] ppid=22489 vsize=15686864 CPUtime=0.91 cores=1,3,5,7
/proc/22491/task/22506/stat : 22506 (java) S 22489 22491 22152 0 -1 4202560 3828 0 0 0 90 1 0 0 15 0 21 0 523269656 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22507] ppid=22489 vsize=15686864 CPUtime=1 cores=1,3,5,7
/proc/22491/task/22507/stat : 22507 (java) S 22489 22491 22152 0 -1 4202560 5654 0 0 0 99 1 0 0 16 0 21 0 523269656 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22508] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22508/stat : 22508 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 523269656 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22509] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22509/stat : 22509 (java) S 22489 22491 22152 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 21 0 523269656 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22510] ppid=22489 vsize=15686864 CPUtime=360.91 cores=1,3,5,7
/proc/22491/task/22510/stat : 22510 (java) R 22489 22491 22152 0 -1 4202560 41443 0 0 0 36072 19 0 0 15 0 21 0 523269734 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 47869147686465 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22491/tid=22511] ppid=22489 vsize=15686864 CPUtime=361.21 cores=1,3,5,7
/proc/22491/task/22511/stat : 22511 (java) R 22489 22491 22152 0 -1 4202560 46427 0 0 0 36105 16 0 0 15 0 21 0 523269734 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 46912506205641 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22491/tid=22512] ppid=22489 vsize=15686864 CPUtime=361.97 cores=1,3,5,7
/proc/22491/task/22512/stat : 22512 (java) R 22489 22491 22152 0 -1 4202560 58447 0 0 0 36180 17 0 0 15 0 21 0 523269734 16063348736 3843999 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 46912506292924 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2369.95
Current children cumulated vsize (KiB) 15686864

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

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

[startup+1300.3 s]
/proc/loadavg: 1.84 4.15 5.72 4/192 22568
/proc/meminfo: memFree=14929412/32951124 swapFree=67111364/67111528
[pid=22491] ppid=22489 vsize=15686864 CPUtime=2370.26 cores=1,3,5,7
/proc/22491/stat : 22491 (java) S 22489 22491 22152 0 -1 4202496 3876787 0 1 0 236336 690 0 0 18 0 22 0 523269651 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/22491/statm: 3921716 3844007 2295 9 0 3912435 0
[pid=22491/tid=22492] ppid=22489 vsize=15686864 CPUtime=2 cores=1,3,5,7
/proc/22491/task/22492/stat : 22492 (java) S 22489 22491 22152 0 -1 4202560 35670 0 1 0 194 6 0 0 19 0 22 0 523269652 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22494] ppid=22489 vsize=15686864 CPUtime=2.72 cores=1,3,5,7
/proc/22491/task/22494/stat : 22494 (java) S 22489 22491 22152 0 -1 4202560 299243 0 0 0 225 47 0 0 16 0 22 0 523269652 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22495] ppid=22489 vsize=15686864 CPUtime=2.5 cores=1,3,5,7
/proc/22491/task/22495/stat : 22495 (java) S 22489 22491 22152 0 -1 4202560 266355 0 0 0 206 44 0 0 16 0 22 0 523269652 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22496] ppid=22489 vsize=15686864 CPUtime=2.98 cores=1,3,5,7
/proc/22491/task/22496/stat : 22496 (java) S 22489 22491 22152 0 -1 4202560 356811 0 0 0 241 57 0 0 16 0 22 0 523269652 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22497] ppid=22489 vsize=15686864 CPUtime=2.29 cores=1,3,5,7
/proc/22491/task/22497/stat : 22497 (java) S 22489 22491 22152 0 -1 4202560 306993 0 0 0 179 50 0 0 16 0 22 0 523269652 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22498] ppid=22489 vsize=15686864 CPUtime=3.69 cores=1,3,5,7
/proc/22491/task/22498/stat : 22498 (java) S 22489 22491 22152 0 -1 4202560 510006 0 0 0 287 82 0 0 16 0 22 0 523269652 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22499] ppid=22489 vsize=15686864 CPUtime=3.09 cores=1,3,5,7
/proc/22491/task/22499/stat : 22499 (java) S 22489 22491 22152 0 -1 4202560 419205 0 0 0 240 69 0 0 16 0 22 0 523269652 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22500] ppid=22489 vsize=15686864 CPUtime=2.66 cores=1,3,5,7
/proc/22491/task/22500/stat : 22500 (java) S 22489 22491 22152 0 -1 4202560 411042 0 0 0 200 66 0 0 15 0 22 0 523269652 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22501] ppid=22489 vsize=15686864 CPUtime=3.38 cores=1,3,5,7
/proc/22491/task/22501/stat : 22501 (java) S 22489 22491 22152 0 -1 4202560 430981 0 0 0 274 64 0 0 16 0 22 0 523269652 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22502] ppid=22489 vsize=15686864 CPUtime=928.82 cores=1,3,5,7
/proc/22491/task/22502/stat : 22502 (java) R 22489 22491 22152 0 -1 4202560 641728 0 0 0 92749 133 0 0 17 0 22 0 523269653 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 47869146725519 0 0 0 16800975 0 0 0 -1 7 0 0 0
[pid=22491/tid=22503] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22503/stat : 22503 (java) S 22489 22491 22152 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 523269653 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
[pid=22491/tid=22504] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22504/stat : 22504 (java) S 22489 22491 22152 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 523269653 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22505] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22505/stat : 22505 (java) S 22489 22491 22152 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 523269656 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652683185 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22506] ppid=22489 vsize=15686864 CPUtime=0.91 cores=1,3,5,7
/proc/22491/task/22506/stat : 22506 (java) S 22489 22491 22152 0 -1 4202560 3828 0 0 0 90 1 0 0 15 0 22 0 523269656 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22507] ppid=22489 vsize=15686864 CPUtime=1 cores=1,3,5,7
/proc/22491/task/22507/stat : 22507 (java) S 22489 22491 22152 0 -1 4202560 5654 0 0 0 99 1 0 0 16 0 22 0 523269656 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22508] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22508/stat : 22508 (java) S 22489 22491 22152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523269656 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22509] ppid=22489 vsize=15686864 CPUtime=0 cores=1,3,5,7
/proc/22491/task/22509/stat : 22509 (java) S 22489 22491 22152 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 523269656 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652676096 0 4 0 16800975 18446604454223471552 0 0 -1 7 0 0 0
[pid=22491/tid=22510] ppid=22489 vsize=15686864 CPUtime=360.92 cores=1,3,5,7
/proc/22491/task/22510/stat : 22510 (java) S 22489 22491 22152 0 -1 4202560 41444 0 0 0 36073 19 0 0 15 0 22 0 523269734 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 1 0 0 0
[pid=22491/tid=22511] ppid=22489 vsize=15686864 CPUtime=361.21 cores=1,3,5,7
/proc/22491/task/22511/stat : 22511 (java) S 22489 22491 22152 0 -1 4202560 46427 0 0 0 36105 16 0 0 15 0 22 0 523269734 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 3 0 0 0
[pid=22491/tid=22512] ppid=22489 vsize=15686864 CPUtime=361.98 cores=1,3,5,7
/proc/22491/task/22512/stat : 22512 (java) S 22489 22491 22152 0 -1 4202560 58447 0 0 0 36181 17 0 0 15 0 22 0 523269734 16063348736 3844007 33554432000 1073741824 1073778376 140733593660224 18446744073709551615 253652675481 0 4 0 16800975 18446604454223471552 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2370.26
Current children cumulated vsize (KiB) 15686864

[startup+1300.71 s]
/proc/loadavg: 1.84 4.15 5.72 2/192 22571
/proc/meminfo: memFree=14929412/32951124 swapFree=67111364/67111528
[pid=22491] ppid=22489 vsize=0 CPUtime=2370.66 cores=1,3,5,7
/proc/22491/stat : 22491 (java) Z 22489 22491 22152 0 -1 4203548 3876798 0 1 0 236370 696 0 0 15 0 2 0 523269651 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/22491/statm: 0 0 0 0 0 0 0
[pid=22491/tid=22508] ppid=22489 vsize=0 CPUtime=0.06 cores=1,3,5,7
/proc/22491/task/22508/stat : 22508 (java) R 22489 22491 22152 0 -1 4203588 1 0 0 0 0 6 0 0 18 0 2 0 523269656 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2370.66
Current children cumulated vsize (KiB) 0

[startup+1301.1 s]
/proc/loadavg: 1.84 4.15 5.72 2/192 22571
/proc/meminfo: memFree=14929412/32951124 swapFree=67111364/67111528
[pid=22491] ppid=22489 vsize=0 CPUtime=2371.05 cores=1,3,5,7
/proc/22491/stat : 22491 (java) Z 22489 22491 22152 0 -1 4203548 3876798 0 1 0 236370 735 0 0 15 0 2 0 523269651 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/22491/statm: 0 0 0 0 0 0 0
[pid=22491/tid=22508] ppid=22489 vsize=0 CPUtime=0.45 cores=1,3,5,7
/proc/22491/task/22508/stat : 22508 (java) R 22489 22491 22152 0 -1 4203588 1 0 0 0 0 45 0 0 18 0 2 0 523269656 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2371.05
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1301.15
CPU time (s): 2371.11
CPU user time (s): 2363.71
CPU system time (s): 7.40087
CPU usage (%): 182.233
Max. virtual memory (cumulated for all children) (KiB): 15690624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2363.71
system time used= 7.40087
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3876798
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= 74273
involuntary context switches= 43607

runsolver used 2.17367 second user time and 5.10622 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-30 00:38:13
IDJOB=3312468
IDBENCH=82653
IDSOLVER=1699
FILE ID=node106/3312468-1304116692
RUNJOBID= node106-1304114276-22171
PBS_JOBID= 13170704
Free space on /tmp= 72156 MiB

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

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

MD5SUM BENCH= cd155ee9ac243c838c94577589f0455b
RANDOM SEED=1226909921

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29505768 kB
Buffers:        261620 kB
Cached:        2086464 kB
SwapCached:         88 kB
Active:        1623248 kB
Inactive:      1608692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29505768 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            6768 kB
Writeback:          36 kB
AnonPages:      882876 kB
Mapped:          23472 kB
Slab:           147540 kB
PageTables:       6284 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1765296 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= 72156 MiB
End job on node106 at 2011-04-30 00:59:55