Trace number 3311192

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 2505.25 1301.62

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf
MD5SUM0ad997eea0def3552b6d7e45aac8ca7c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables49999
Number of clauses210000
Sum of the clauses size630000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3210000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	46:30 INFO : Reading from input HOME/instance-3311192-1304113589.cnf
1.22/1.07	Executor set job limit to 1000000
1.22/1.07	Executor set job limit to 1000000
1.22/1.07	Executor set job limit to 1000000
1.22/1.07	Executor set job limit to 1000000
1.22/1.07	Starting Executor!
1.22/1.07	Starting Executor!
1.22/1.07	Starting Executor!
1.22/1.07	Starting Executor!
5.10/3.23	46:33 INFO : 49817 variables remaining out of 49999
5.10/3.23	46:33 INFO : 835232 literals remaining out of 840000
1416.65/383.19	52:53 ERROR: Failed to solve instance
1416.65/383.19	java.lang.OutOfMemoryError: Java heap space
1416.65/383.19		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1416.65/383.19		at gnu.trove.THash.postInsertHook(THash.java:370)
1416.65/383.19		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1416.65/383.19		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1416.65/383.19		at ibis.structure.Subsumming.run(Subsumming.java:58)
1416.65/383.19		at ibis.structure.Solver.simplify(Solver.java:205)
1416.65/383.19		at ibis.structure.Solver.solve(Solver.java:113)
1416.65/383.19		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1416.65/383.19		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1416.65/383.19		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1416.65/383.19		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1416.65/383.19		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1416.65/383.19		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1416.65/383.19		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1416.65/383.19		at ibis.constellation.Executor.processActivities(Executor.java:75)
1416.65/383.19		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1416.65/383.19		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1416.65/383.19		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1419.07/385.60	52:55 ERROR: Failed to solve instance
1419.07/385.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1419.07/385.60		at ibis.structure.ImplicationsGraph.<init>(ImplicationsGraph.java:22)
1419.07/385.60		at ibis.structure.Solver.<init>(Solver.java:36)
1419.07/385.60		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1419.07/385.60		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1419.07/385.60		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1419.07/385.60		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1419.07/385.60		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1419.07/385.60		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1419.07/385.60		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1419.07/385.60		at ibis.constellation.Executor.processActivities(Executor.java:75)
1419.07/385.60		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1419.07/385.60		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1419.07/385.60		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1421.70/388.14	52:58 ERROR: Failed to solve instance
1421.70/388.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.70/388.14		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1421.70/388.14		at gnu.trove.THash.postInsertHook(THash.java:370)
1421.70/388.14		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1421.70/388.14		at ibis.structure.WatchLists.build(WatchLists.java:56)
1421.70/388.14		at ibis.structure.Solver.<init>(Solver.java:45)
1421.70/388.14		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1421.70/388.14		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1421.70/388.14		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1421.70/388.14		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1421.70/388.14		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1421.70/388.14		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1421.70/388.14		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1421.70/388.14		at ibis.constellation.Executor.processActivities(Executor.java:75)
1421.70/388.14		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1421.70/388.14		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1421.70/388.14		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1424.13/390.57	53:00 ERROR: Failed to solve instance
1424.13/390.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1424.13/390.57		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1424.13/390.57		at gnu.trove.THash.postInsertHook(THash.java:370)
1424.13/390.57		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1424.13/390.57		at ibis.structure.WatchLists.build(WatchLists.java:56)
1424.13/390.57		at ibis.structure.Solver.<init>(Solver.java:45)
1424.13/390.57		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1424.13/390.57		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1424.13/390.57		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1424.13/390.57		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1424.13/390.57		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1424.13/390.57		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1424.13/390.57		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1424.13/390.57		at ibis.constellation.Executor.processActivities(Executor.java:75)
1424.13/390.57		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1424.13/390.57		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1424.13/390.57		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1435.17/399.97	53:10 ERROR: Failed to solve instance
1435.17/399.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1435.80/400.54	53:10 ERROR: Failed to solve instance
1435.80/400.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1436.83/401.57	53:11 ERROR: Failed to solve instance
1436.83/401.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1437.46/402.14	53:12 ERROR: Failed to solve instance
1437.46/402.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1438.10/402.82	53:13 ERROR: Failed to solve instance
1438.10/402.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1450.14/412.48	53:22 ERROR: Failed to solve instance
1450.14/412.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1453.17/415.45	53:25 ERROR: Failed to solve instance
1453.17/415.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1453.69/415.98	53:26 ERROR: Failed to solve instance
1453.69/415.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.21/418.40	53:28 ERROR: Failed to solve instance
1456.21/418.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.71/418.92	53:29 ERROR: Failed to solve instance
1456.71/418.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1457.86/420.02	53:30 ERROR: Failed to solve instance
1457.86/420.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1458.52/420.66	53:30 ERROR: Failed to solve instance
1458.52/420.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1469.56/429.41	53:39 ERROR: Failed to solve instance
1469.56/429.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.39/430.21	53:40 ERROR: Failed to solve instance
1470.39/430.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1471.12/431.00	53:41 ERROR: Failed to solve instance
1471.12/431.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1471.87/431.61	53:41 ERROR: Failed to solve instance
1471.87/431.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1472.39/432.18	53:42 ERROR: Failed to solve instance
1472.39/432.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1477.10/436.09	53:46 ERROR: Failed to solve instance
1477.10/436.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1477.72/436.66	53:46 ERROR: Failed to solve instance
1477.72/436.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1478.35/437.28	53:47 ERROR: Failed to solve instance
1478.35/437.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1479.58/438.46	53:48 ERROR: Failed to solve instance
1479.58/438.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1480.32/439.13	53:49 ERROR: Failed to solve instance
1480.32/439.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1493.45/449.16	53:59 ERROR: Failed to solve instance
1493.45/449.16	java.lang.OutOfMemoryError: Java heap space
1493.85/449.55	53:59 ERROR: Failed to solve instance
1493.85/449.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1494.97/450.68	54:00 ERROR: Failed to solve instance
1494.97/450.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1495.58/451.30	54:01 ERROR: Failed to solve instance
1495.58/451.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1496.31/451.95	54:02 ERROR: Failed to solve instance
1496.31/451.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1497.04/452.64	54:02 ERROR: Failed to solve instance
1497.04/452.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1505.26/459.24	54:09 ERROR: Failed to solve instance
1505.26/459.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1505.89/459.84	54:10 ERROR: Failed to solve instance
1505.89/459.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1506.62/460.53	54:10 ERROR: Failed to solve instance
1506.62/460.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1515.53/467.88	54:18 ERROR: Failed to solve instance
1515.53/467.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1516.15/468.47	54:18 ERROR: Failed to solve instance
1516.15/468.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.83/473.29	54:23 ERROR: Failed to solve instance
1521.83/473.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1522.56/473.91	54:24 ERROR: Failed to solve instance
1522.56/473.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1523.06/474.41	54:24 ERROR: Failed to solve instance
1523.06/474.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1524.10/475.48	54:25 ERROR: Failed to solve instance
1524.10/475.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1528.06/478.71	54:28 ERROR: Failed to solve instance
1528.06/478.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1528.88/479.56	54:29 ERROR: Failed to solve instance
1528.88/479.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1528.88/479.56	54:29 ERROR: Failed to solve instance
1528.88/479.56	java.lang.OutOfMemoryError: Java heap space
1534.64/484.40	54:34 ERROR: Failed to solve instance
1534.64/484.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1535.25/484.97	54:35 ERROR: Failed to solve instance
1535.25/484.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1535.87/485.60	54:35 ERROR: Failed to solve instance
1535.87/485.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1537.11/486.79	54:36 ERROR: Failed to solve instance
1537.11/486.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1537.84/487.43	54:37 ERROR: Failed to solve instance
1537.84/487.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1538.58/488.15	54:38 ERROR: Failed to solve instance
1538.58/488.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1549.45/495.81	54:46 ERROR: Failed to solve instance
1549.45/495.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1549.97/496.38	54:46 ERROR: Failed to solve instance
1549.97/496.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1555.98/501.41	54:51 ERROR: Failed to solve instance
1555.98/501.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1556.62/502.04	54:52 ERROR: Failed to solve instance
1556.62/502.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1557.24/502.68	54:52 ERROR: Failed to solve instance
1557.24/502.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1558.50/503.87	54:54 ERROR: Failed to solve instance
1558.50/503.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1559.02/504.39	54:54 ERROR: Failed to solve instance
1559.02/504.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1563.40/508.10	54:58 ERROR: Failed to solve instance
1563.40/508.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1564.34/508.99	54:59 ERROR: Failed to solve instance
1564.34/508.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1565.08/509.68	54:59 ERROR: Failed to solve instance
1565.08/509.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1578.19/519.62	55:09 ERROR: Failed to solve instance
1578.19/519.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1579.00/520.45	55:10 ERROR: Failed to solve instance
1579.00/520.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1579.83/521.27	55:11 ERROR: Failed to solve instance
1579.83/521.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1580.45/521.81	55:12 ERROR: Failed to solve instance
1580.45/521.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1580.96/522.33	55:12 ERROR: Failed to solve instance
1580.96/522.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1586.04/526.67	55:16 ERROR: Failed to solve instance
1586.04/526.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1586.65/527.22	55:17 ERROR: Failed to solve instance
1586.65/527.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1587.27/527.83	55:18 ERROR: Failed to solve instance
1587.27/527.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1588.39/528.99	55:19 ERROR: Failed to solve instance
1588.39/528.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1589.12/529.62	55:19 ERROR: Failed to solve instance
1589.12/529.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1589.75/530.33	55:20 ERROR: Failed to solve instance
1589.75/530.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1602.43/539.78	55:30 ERROR: Failed to solve instance
1602.43/539.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1603.55/540.88	55:31 ERROR: Failed to solve instance
1603.55/540.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1604.17/541.49	55:31 ERROR: Failed to solve instance
1604.17/541.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1604.90/542.14	55:32 ERROR: Failed to solve instance
1604.90/542.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1605.54/542.76	55:32 ERROR: Failed to solve instance
1605.54/542.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1616.61/551.31	55:41 ERROR: Failed to solve instance
1616.61/551.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1617.14/551.90	55:42 ERROR: Failed to solve instance
1617.14/551.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1617.86/552.52	55:42 ERROR: Failed to solve instance
1617.86/552.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1619.02/553.70	55:43 ERROR: Failed to solve instance
1619.02/553.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1619.67/554.29	55:44 ERROR: Failed to solve instance
1619.67/554.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1620.42/554.93	55:45 ERROR: Failed to solve instance
1620.42/554.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1621.04/555.53	55:45 ERROR: Failed to solve instance
1621.04/555.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1633.25/565.20	55:55 ERROR: Failed to solve instance
1633.25/565.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1633.77/565.78	55:56 ERROR: Failed to solve instance
1633.77/565.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1634.49/566.40	55:56 ERROR: Failed to solve instance
1634.49/566.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.63/567.58	55:57 ERROR: Failed to solve instance
1635.63/567.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.26/568.20	55:58 ERROR: Failed to solve instance
1636.26/568.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.99/568.86	55:59 ERROR: Failed to solve instance
1636.99/568.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1642.86/573.54	56:03 ERROR: Failed to solve instance
1642.86/573.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1643.50/574.17	56:04 ERROR: Failed to solve instance
1643.50/574.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1647.68/577.41	56:07 ERROR: Failed to solve instance
1647.68/577.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1648.92/578.65	56:08 ERROR: Failed to solve instance
1648.92/578.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1649.44/579.17	56:09 ERROR: Failed to solve instance
1649.44/579.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.17/579.84	56:10 ERROR: Failed to solve instance
1650.17/579.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.71/580.33	56:10 ERROR: Failed to solve instance
1650.71/580.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1660.25/587.63	56:17 ERROR: Failed to solve instance
1660.25/587.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1660.88/588.21	56:18 ERROR: Failed to solve instance
1660.88/588.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1661.92/589.31	56:19 ERROR: Failed to solve instance
1661.92/589.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1662.55/589.90	56:20 ERROR: Failed to solve instance
1662.55/589.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1663.29/590.53	56:20 ERROR: Failed to solve instance
1663.29/590.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1664.04/591.20	56:21 ERROR: Failed to solve instance
1664.04/591.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1673.68/599.10	56:29 ERROR: Failed to solve instance
1673.68/599.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1674.41/599.75	56:29 ERROR: Failed to solve instance
1674.41/599.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1675.04/600.34	56:30 ERROR: Failed to solve instance
1675.04/600.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1679.35/603.92	56:34 ERROR: Failed to solve instance
1679.35/603.92	java.lang.OutOfMemoryError: Java heap space
1679.66/604.25	56:34 ERROR: Failed to solve instance
1679.66/604.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1687.67/610.40	56:40 ERROR: Failed to solve instance
1687.67/610.40	java.lang.OutOfMemoryError: Java heap space
1687.87/610.70	56:40 ERROR: Failed to solve instance
1687.87/610.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1696.97/618.17	56:48 ERROR: Failed to solve instance
1696.97/618.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1698.00/619.18	56:49 ERROR: Failed to solve instance
1698.00/619.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1698.62/619.73	56:49 ERROR: Failed to solve instance
1698.62/619.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1699.24/620.34	56:50 ERROR: Failed to solve instance
1699.24/620.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1699.99/621.02	56:51 ERROR: Failed to solve instance
1699.99/621.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1700.98/621.99	56:52 ERROR: Failed to solve instance
1700.98/621.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.71/625.06	56:55 ERROR: Failed to solve instance
1704.71/625.06	java.lang.OutOfMemoryError: Java heap space
1705.02/625.40	56:55 ERROR: Failed to solve instance
1705.02/625.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.20/630.83	57:01 ERROR: Failed to solve instance
1712.20/630.83	java.lang.OutOfMemoryError: Java heap space
1713.04/631.69	57:01 ERROR: Failed to solve instance
1713.04/631.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1713.78/632.35	57:02 ERROR: Failed to solve instance
1713.78/632.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1717.11/635.02	57:05 ERROR: Failed to solve instance
1717.11/635.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1718.24/636.15	57:06 ERROR: Failed to solve instance
1718.24/636.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1718.86/636.75	57:07 ERROR: Failed to solve instance
1718.86/636.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1719.48/637.38	57:07 ERROR: Failed to solve instance
1719.48/637.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1720.21/638.04	57:08 ERROR: Failed to solve instance
1720.21/638.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1721.29/639.04	57:09 ERROR: Failed to solve instance
1721.29/639.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.04/651.81	57:22 ERROR: Failed to solve instance
1738.04/651.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.96/652.73	57:22 ERROR: Failed to solve instance
1738.96/652.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.47/653.23	57:23 ERROR: Failed to solve instance
1739.47/653.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1740.00/653.76	57:24 ERROR: Failed to solve instance
1740.00/653.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1740.63/654.32	57:24 ERROR: Failed to solve instance
1740.63/654.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1744.88/657.98	57:28 ERROR: Failed to solve instance
1744.88/657.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1745.50/658.52	57:28 ERROR: Failed to solve instance
1745.50/658.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1746.53/659.52	57:29 ERROR: Failed to solve instance
1746.53/659.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1747.26/660.28	57:30 ERROR: Failed to solve instance
1747.26/660.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1747.99/660.91	57:31 ERROR: Failed to solve instance
1747.99/660.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1759.33/669.11	57:39 ERROR: Failed to solve instance
1759.33/669.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1760.16/669.97	57:40 ERROR: Failed to solve instance
1760.16/669.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1760.80/670.55	57:40 ERROR: Failed to solve instance
1760.80/670.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1761.94/671.64	57:41 ERROR: Failed to solve instance
1761.94/671.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1762.57/672.28	57:42 ERROR: Failed to solve instance
1762.57/672.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1763.30/672.97	57:43 ERROR: Failed to solve instance
1763.30/672.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1773.97/681.25	57:51 ERROR: Failed to solve instance
1773.97/681.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1774.49/681.78	57:52 ERROR: Failed to solve instance
1774.49/681.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1775.63/682.84	57:53 ERROR: Failed to solve instance
1775.63/682.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1776.26/683.43	57:53 ERROR: Failed to solve instance
1776.26/683.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1776.90/684.08	57:54 ERROR: Failed to solve instance
1776.90/684.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1777.52/684.62	57:54 ERROR: Failed to solve instance
1777.52/684.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1783.98/690.05	58:00 ERROR: Failed to solve instance
1783.98/690.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.62/690.67	58:00 ERROR: Failed to solve instance
1784.62/690.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1785.36/691.37	58:01 ERROR: Failed to solve instance
1785.36/691.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1796.58/700.00	58:10 ERROR: Failed to solve instance
1796.58/700.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1797.31/700.80	58:11 ERROR: Failed to solve instance
1797.31/700.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1798.04/701.40	58:11 ERROR: Failed to solve instance
1798.04/701.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1798.57/701.93	58:12 ERROR: Failed to solve instance
1798.57/701.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1804.07/706.41	58:16 ERROR: Failed to solve instance
1804.07/706.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1805.11/707.44	58:17 ERROR: Failed to solve instance
1805.11/707.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1805.64/708.00	58:18 ERROR: Failed to solve instance
1805.64/708.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1806.47/708.71	58:18 ERROR: Failed to solve instance
1806.47/708.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.00/709.27	58:19 ERROR: Failed to solve instance
1807.00/709.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1812.68/714.08	58:24 ERROR: Failed to solve instance
1812.68/714.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1813.40/714.71	58:24 ERROR: Failed to solve instance
1813.40/714.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1813.91/715.22	58:25 ERROR: Failed to solve instance
1813.91/715.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.41/724.39	58:34 ERROR: Failed to solve instance
1825.41/724.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.03/724.96	58:35 ERROR: Failed to solve instance
1826.03/724.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.53/725.45	58:35 ERROR: Failed to solve instance
1826.53/725.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1827.67/726.53	58:36 ERROR: Failed to solve instance
1827.67/726.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1828.30/727.12	58:37 ERROR: Failed to solve instance
1828.30/727.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1828.94/727.78	58:37 ERROR: Failed to solve instance
1828.94/727.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1839.37/735.83	58:46 ERROR: Failed to solve instance
1839.37/735.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1839.89/736.38	58:46 ERROR: Failed to solve instance
1839.89/736.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1841.03/737.47	58:47 ERROR: Failed to solve instance
1841.03/737.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1841.67/738.06	58:48 ERROR: Failed to solve instance
1841.67/738.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1842.32/738.66	58:48 ERROR: Failed to solve instance
1842.32/738.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1842.93/739.24	58:49 ERROR: Failed to solve instance
1842.93/739.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1854.75/748.76	58:59 ERROR: Failed to solve instance
1854.75/748.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1855.87/749.81	59:00 ERROR: Failed to solve instance
1855.87/749.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1856.39/750.36	59:00 ERROR: Failed to solve instance
1856.39/750.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1857.02/750.95	59:01 ERROR: Failed to solve instance
1857.02/750.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1857.66/751.55	59:01 ERROR: Failed to solve instance
1857.66/751.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.03/755.12	59:05 ERROR: Failed to solve instance
1862.03/755.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.56/755.69	59:05 ERROR: Failed to solve instance
1862.56/755.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1863.70/756.78	59:07 ERROR: Failed to solve instance
1863.70/756.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1864.44/757.43	59:07 ERROR: Failed to solve instance
1864.44/757.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1864.96/758.00	59:08 ERROR: Failed to solve instance
1864.96/758.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1875.92/766.44	59:16 ERROR: Failed to solve instance
1875.92/766.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1876.55/767.01	59:17 ERROR: Failed to solve instance
1876.55/767.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1877.18/767.63	59:17 ERROR: Failed to solve instance
1877.18/767.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1881.10/770.83	59:21 ERROR: Failed to solve instance
1881.10/770.83	java.lang.OutOfMemoryError: Java heap space
1886.27/775.15	59:25 ERROR: Failed to solve instance
1886.27/775.15	java.lang.OutOfMemoryError: Java heap space
1886.78/775.69	59:25 ERROR: Failed to solve instance
1886.78/775.69	java.lang.OutOfMemoryError: Java heap space
1887.19/776.01	59:26 ERROR: Failed to solve instance
1887.19/776.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1887.81/776.65	59:26 ERROR: Failed to solve instance
1887.81/776.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1895.82/783.08	59:33 ERROR: Failed to solve instance
1895.82/783.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1896.43/783.64	59:33 ERROR: Failed to solve instance
1896.43/783.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1897.05/784.28	59:34 ERROR: Failed to solve instance
1897.05/784.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1898.29/785.49	59:35 ERROR: Failed to solve instance
1898.29/785.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1899.03/786.15	59:36 ERROR: Failed to solve instance
1899.03/786.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1908.90/793.45	59:43 ERROR: Failed to solve instance
1908.90/793.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1909.53/794.07	59:44 ERROR: Failed to solve instance
1909.53/794.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1910.27/794.73	59:44 ERROR: Failed to solve instance
1910.27/794.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1911.36/795.72	59:45 ERROR: Failed to solve instance
1911.36/795.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1915.96/799.36	59:49 ERROR: Failed to solve instance
1915.96/799.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1916.58/799.95	59:50 ERROR: Failed to solve instance
1916.58/799.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.15/804.45	59:54 ERROR: Failed to solve instance
1922.15/804.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.77/805.07	59:55 ERROR: Failed to solve instance
1922.77/805.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1932.96/813.70	00:03 ERROR: Failed to solve instance
1932.96/813.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.58/814.25	00:04 ERROR: Failed to solve instance
1933.58/814.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1934.20/814.87	00:05 ERROR: Failed to solve instance
1934.20/814.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1934.93/815.54	00:05 ERROR: Failed to solve instance
1934.93/815.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1936.21/816.78	00:07 ERROR: Failed to solve instance
1936.21/816.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1936.65/817.17	Exception in thread "SingleThreadedConstellation 4" java.lang.OutOfMemoryError: GC overhead limit exceeded
1949.21/827.26	00:17 ERROR: Failed to solve instance
1949.21/827.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1949.62/827.70	00:17 ERROR: Failed to solve instance
1949.62/827.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1950.13/828.18	00:18 ERROR: Failed to solve instance
1950.13/828.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1951.06/829.09	00:19 ERROR: Failed to solve instance
1951.06/829.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1951.58/829.59	00:19 ERROR: Failed to solve instance
1951.58/829.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1952.20/830.14	00:20 ERROR: Failed to solve instance
1952.20/830.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1964.57/839.97	00:30 ERROR: Failed to solve instance
1964.57/839.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1965.08/840.43	00:30 ERROR: Failed to solve instance
1965.08/840.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1965.60/840.90	00:31 ERROR: Failed to solve instance
1965.60/840.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1969.42/844.30	00:34 ERROR: Failed to solve instance
1969.42/844.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1977.06/850.92	00:41 ERROR: Failed to solve instance
1977.06/850.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1977.57/851.40	00:41 ERROR: Failed to solve instance
1977.57/851.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1977.98/851.84	00:42 ERROR: Failed to solve instance
1977.98/851.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.80/852.65	00:42 ERROR: Failed to solve instance
1978.80/852.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1979.34/853.13	00:43 ERROR: Failed to solve instance
1979.34/853.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1984.23/857.44	00:47 ERROR: Failed to solve instance
1984.23/857.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1984.74/857.92	00:48 ERROR: Failed to solve instance
1984.74/857.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1985.25/858.44	00:48 ERROR: Failed to solve instance
1985.25/858.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1993.76/865.33	00:55 ERROR: Failed to solve instance
1993.76/865.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1994.28/865.84	00:56 ERROR: Failed to solve instance
1994.28/865.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1998.56/869.49	00:59 ERROR: Failed to solve instance
1998.56/869.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1999.08/869.98	01:00 ERROR: Failed to solve instance
1999.08/869.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1999.92/870.74	01:01 ERROR: Failed to solve instance
1999.92/870.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.94/873.33	01:03 ERROR: Failed to solve instance
2002.94/873.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2010.42/879.78	01:10 ERROR: Failed to solve instance
2010.42/879.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2010.94/880.28	01:10 ERROR: Failed to solve instance
2010.94/880.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2011.44/880.72	01:10 ERROR: Failed to solve instance
2011.44/880.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2015.15/883.95	01:14 ERROR: Failed to solve instance
2015.15/883.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2016.06/884.84	01:15 ERROR: Failed to solve instance
2016.06/884.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2016.58/885.33	01:15 ERROR: Failed to solve instance
2016.58/885.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2017.10/885.85	01:16 ERROR: Failed to solve instance
2017.10/885.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2028.69/895.04	01:25 ERROR: Failed to solve instance
2028.69/895.04	java.lang.OutOfMemoryError: Java heap space
2028.89/895.23	01:25 ERROR: Failed to solve instance
2028.89/895.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2032.08/898.12	01:28 ERROR: Failed to solve instance
2032.08/898.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2032.60/898.64	01:28 ERROR: Failed to solve instance
2032.60/898.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2036.09/901.87	01:32 ERROR: Failed to solve instance
2036.09/901.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2036.71/902.42	01:32 ERROR: Failed to solve instance
2036.71/902.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2046.66/910.41	01:40 ERROR: Failed to solve instance
2046.66/910.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2047.18/910.90	01:41 ERROR: Failed to solve instance
2047.18/910.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2049.88/913.34	01:43 ERROR: Failed to solve instance
2049.88/913.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2050.29/913.78	01:44 ERROR: Failed to solve instance
2050.29/913.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2050.80/914.26	01:44 ERROR: Failed to solve instance
2050.80/914.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2051.21/914.66	01:44 ERROR: Failed to solve instance
2051.21/914.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.60/917.74	01:47 ERROR: Failed to solve instance
2054.60/917.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2055.42/918.52	01:48 ERROR: Failed to solve instance
2055.42/918.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2055.83/918.94	01:49 ERROR: Failed to solve instance
2055.83/918.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2063.78/925.38	01:55 ERROR: Failed to solve instance
2063.78/925.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2064.29/925.87	01:56 ERROR: Failed to solve instance
2064.29/925.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2064.92/926.40	01:56 ERROR: Failed to solve instance
2064.92/926.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2073.90/933.49	02:03 ERROR: Failed to solve instance
2073.90/933.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2074.40/933.96	02:04 ERROR: Failed to solve instance
2074.40/933.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2078.13/937.20	02:07 ERROR: Failed to solve instance
2078.13/937.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2078.65/937.68	02:07 ERROR: Failed to solve instance
2078.65/937.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2079.47/938.45	02:08 ERROR: Failed to solve instance
2079.47/938.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2079.89/938.89	02:09 ERROR: Failed to solve instance
2079.89/938.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2080.51/939.42	02:09 ERROR: Failed to solve instance
2080.51/939.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2080.93/939.89	02:10 ERROR: Failed to solve instance
2080.93/939.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2089.28/946.70	02:16 ERROR: Failed to solve instance
2089.28/946.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2089.70/947.17	02:17 ERROR: Failed to solve instance
2089.70/947.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2090.22/947.69	02:17 ERROR: Failed to solve instance
2090.22/947.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2102.95/958.40	02:28 ERROR: Failed to solve instance
2102.95/958.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2103.37/958.81	02:29 ERROR: Failed to solve instance
2103.37/958.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2103.78/959.27	02:29 ERROR: Failed to solve instance
2103.78/959.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2104.39/959.80	02:30 ERROR: Failed to solve instance
2104.39/959.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.31/960.78	02:30 ERROR: Failed to solve instance
2105.31/960.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.93/961.35	02:31 ERROR: Failed to solve instance
2105.93/961.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2106.56/961.96	02:32 ERROR: Failed to solve instance
2106.56/961.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2116.91/970.32	02:40 ERROR: Failed to solve instance
2116.91/970.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2117.72/971.16	02:41 ERROR: Failed to solve instance
2117.72/971.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2118.23/971.62	02:41 ERROR: Failed to solve instance
2118.23/971.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2118.74/972.18	02:42 ERROR: Failed to solve instance
2118.74/972.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2119.47/972.81	02:43 ERROR: Failed to solve instance
2119.47/972.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2125.07/977.46	02:47 ERROR: Failed to solve instance
2125.07/977.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2129.32/981.15	02:51 ERROR: Failed to solve instance
2129.32/981.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2129.83/981.66	02:51 ERROR: Failed to solve instance
2129.83/981.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.34/982.11	02:52 ERROR: Failed to solve instance
2130.34/982.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2139.60/990.02	03:00 ERROR: Failed to solve instance
2139.60/990.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.01/990.46	03:00 ERROR: Failed to solve instance
2140.01/990.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.52/990.94	03:01 ERROR: Failed to solve instance
2140.52/990.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2144.43/994.22	03:04 ERROR: Failed to solve instance
2144.43/994.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2144.95/994.70	03:04 ERROR: Failed to solve instance
2144.95/994.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2145.77/995.59	03:05 ERROR: Failed to solve instance
2145.77/995.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2146.29/996.09	03:06 ERROR: Failed to solve instance
2146.29/996.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2146.91/996.63	03:06 ERROR: Failed to solve instance
2146.91/996.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2159.16/1006.69	03:16 ERROR: Failed to solve instance
2159.16/1006.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2159.68/1007.16	03:17 ERROR: Failed to solve instance
2159.68/1007.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2160.19/1007.68	03:17 ERROR: Failed to solve instance
2160.19/1007.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2162.97/1010.13	03:20 ERROR: Failed to solve instance
2162.97/1010.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2163.48/1010.62	03:20 ERROR: Failed to solve instance
2163.48/1010.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2164.00/1011.14	03:21 ERROR: Failed to solve instance
2164.00/1011.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2164.61/1011.70	03:21 ERROR: Failed to solve instance
2164.61/1011.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.05/1015.65	03:25 ERROR: Failed to solve instance
2169.05/1015.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.57/1016.15	03:26 ERROR: Failed to solve instance
2169.57/1016.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2170.09/1016.68	03:26 ERROR: Failed to solve instance
2170.09/1016.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2178.53/1023.43	03:33 ERROR: Failed to solve instance
2178.53/1023.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2179.25/1024.17	03:34 ERROR: Failed to solve instance
2179.25/1024.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2179.77/1024.67	03:34 ERROR: Failed to solve instance
2179.77/1024.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2183.20/1027.68	03:37 ERROR: Failed to solve instance
2183.20/1027.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.02/1028.44	03:38 ERROR: Failed to solve instance
2184.02/1028.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.53/1028.99	03:39 ERROR: Failed to solve instance
2184.53/1028.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2194.40/1036.88	03:47 ERROR: Failed to solve instance
2194.40/1036.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2194.92/1037.35	03:47 ERROR: Failed to solve instance
2194.92/1037.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.74/1038.18	03:48 ERROR: Failed to solve instance
2195.74/1038.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2196.26/1038.66	03:48 ERROR: Failed to solve instance
2196.26/1038.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2196.79/1039.17	03:49 ERROR: Failed to solve instance
2196.79/1039.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2197.30/1039.62	03:49 ERROR: Failed to solve instance
2197.30/1039.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2206.09/1047.08	03:57 ERROR: Failed to solve instance
2206.09/1047.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2206.93/1047.80	03:58 ERROR: Failed to solve instance
2206.93/1047.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2207.33/1048.25	03:58 ERROR: Failed to solve instance
2207.33/1048.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2215.55/1054.94	04:05 ERROR: Failed to solve instance
2215.55/1054.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.47/1055.81	04:05 ERROR: Failed to solve instance
2216.47/1055.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.89/1056.28	04:06 ERROR: Failed to solve instance
2216.89/1056.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2217.40/1056.80	04:07 ERROR: Failed to solve instance
2217.40/1056.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2218.13/1057.44	04:07 ERROR: Failed to solve instance
2218.13/1057.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2228.74/1066.11	04:16 ERROR: Failed to solve instance
2228.74/1066.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2229.15/1066.56	04:16 ERROR: Failed to solve instance
2229.15/1066.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.06/1067.47	04:17 ERROR: Failed to solve instance
2230.06/1067.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.68/1068.06	04:18 ERROR: Failed to solve instance
2230.68/1068.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2239.65/1075.56	04:25 ERROR: Failed to solve instance
2239.65/1075.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2240.16/1076.04	04:26 ERROR: Failed to solve instance
2240.16/1076.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2240.57/1076.47	04:26 ERROR: Failed to solve instance
2240.57/1076.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2245.15/1080.59	04:30 ERROR: Failed to solve instance
2245.15/1080.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2245.66/1081.04	04:31 ERROR: Failed to solve instance
2245.66/1081.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2246.18/1081.56	04:31 ERROR: Failed to solve instance
2246.18/1081.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2255.33/1089.20	04:39 ERROR: Failed to solve instance
2255.33/1089.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2255.75/1089.66	04:39 ERROR: Failed to solve instance
2255.75/1089.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2256.57/1090.47	04:40 ERROR: Failed to solve instance
2256.57/1090.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2256.98/1090.89	04:41 ERROR: Failed to solve instance
2256.98/1090.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2257.50/1091.37	04:41 ERROR: Failed to solve instance
2257.50/1091.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.02/1091.83	04:42 ERROR: Failed to solve instance
2258.02/1091.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2263.05/1096.24	04:46 ERROR: Failed to solve instance
2263.05/1096.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2263.57/1096.78	04:47 ERROR: Failed to solve instance
2263.57/1096.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2271.34/1103.09	04:53 ERROR: Failed to solve instance
2271.34/1103.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2271.86/1103.59	04:53 ERROR: Failed to solve instance
2271.86/1103.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2272.27/1103.97	04:54 ERROR: Failed to solve instance
2272.27/1103.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2276.34/1107.51	04:57 ERROR: Failed to solve instance
2276.34/1107.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2276.75/1107.95	04:58 ERROR: Failed to solve instance
2276.75/1107.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2277.66/1108.85	04:59 ERROR: Failed to solve instance
2277.66/1108.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2278.28/1109.44	04:59 ERROR: Failed to solve instance
2278.28/1109.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2279.00/1110.12	05:00 ERROR: Failed to solve instance
2279.00/1110.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2279.73/1110.85	05:01 ERROR: Failed to solve instance
2279.73/1110.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2288.30/1117.43	05:07 ERROR: Failed to solve instance
2288.30/1117.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2288.82/1117.91	05:08 ERROR: Failed to solve instance
2288.82/1117.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2289.74/1118.81	05:08 ERROR: Failed to solve instance
2289.74/1118.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2290.36/1119.45	05:09 ERROR: Failed to solve instance
2290.36/1119.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2299.49/1126.97	05:17 ERROR: Failed to solve instance
2299.49/1126.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2300.00/1127.45	05:17 ERROR: Failed to solve instance
2300.00/1127.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2300.63/1128.00	05:18 ERROR: Failed to solve instance
2300.63/1128.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.30/1134.40	05:24 ERROR: Failed to solve instance
2308.30/1134.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.71/1134.86	05:25 ERROR: Failed to solve instance
2308.71/1134.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2309.64/1135.77	05:25 ERROR: Failed to solve instance
2309.64/1135.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2310.15/1136.26	05:26 ERROR: Failed to solve instance
2310.15/1136.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2310.88/1136.91	05:27 ERROR: Failed to solve instance
2310.88/1136.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2318.37/1142.85	05:33 ERROR: Failed to solve instance
2318.37/1142.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2318.88/1143.30	05:33 ERROR: Failed to solve instance
2318.88/1143.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2319.81/1144.22	05:34 ERROR: Failed to solve instance
2319.81/1144.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2320.32/1144.70	05:34 ERROR: Failed to solve instance
2320.32/1144.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2320.84/1145.22	05:35 ERROR: Failed to solve instance
2320.84/1145.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2327.63/1150.47	05:40 ERROR: Failed to solve instance
2327.63/1150.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2328.15/1150.96	05:41 ERROR: Failed to solve instance
2328.15/1150.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2329.06/1151.86	05:42 ERROR: Failed to solve instance
2329.06/1151.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2329.58/1152.35	05:42 ERROR: Failed to solve instance
2329.58/1152.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2330.10/1152.88	05:43 ERROR: Failed to solve instance
2330.10/1152.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2338.40/1159.58	05:49 ERROR: Failed to solve instance
2338.40/1159.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2338.92/1160.02	05:50 ERROR: Failed to solve instance
2338.92/1160.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2339.42/1160.52	05:50 ERROR: Failed to solve instance
2339.42/1160.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2340.35/1161.43	05:51 ERROR: Failed to solve instance
2340.35/1161.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2340.87/1161.93	05:52 ERROR: Failed to solve instance
2340.87/1161.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2349.06/1168.53	05:58 ERROR: Failed to solve instance
2349.06/1168.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2349.48/1168.98	05:59 ERROR: Failed to solve instance
2349.48/1168.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2350.00/1169.45	05:59 ERROR: Failed to solve instance
2350.00/1169.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2350.52/1169.97	06:00 ERROR: Failed to solve instance
2350.52/1169.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2351.36/1170.75	06:01 ERROR: Failed to solve instance
2351.36/1170.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2355.20/1174.13	06:04 ERROR: Failed to solve instance
2355.20/1174.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2363.14/1180.94	06:11 ERROR: Failed to solve instance
2363.14/1180.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2363.65/1181.41	06:11 ERROR: Failed to solve instance
2363.65/1181.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2364.17/1181.98	06:12 ERROR: Failed to solve instance
2364.17/1181.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2371.44/1187.99	06:18 ERROR: Failed to solve instance
2371.44/1187.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2371.96/1188.46	06:18 ERROR: Failed to solve instance
2371.96/1188.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2372.47/1188.96	06:19 ERROR: Failed to solve instance
2372.47/1188.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2377.80/1193.55	06:23 ERROR: Failed to solve instance
2377.80/1193.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2380.34/1195.76	06:26 ERROR: Failed to solve instance
2380.34/1195.76	java.lang.OutOfMemoryError: Java heap space
2380.54/1195.98	06:26 ERROR: Failed to solve instance
2380.54/1195.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2383.41/1198.64	06:28 ERROR: Failed to solve instance
2383.41/1198.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2383.93/1199.15	06:29 ERROR: Failed to solve instance
2383.93/1199.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2384.44/1199.61	06:29 ERROR: Failed to solve instance
2384.44/1199.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2392.11/1205.85	06:36 ERROR: Failed to solve instance
2392.11/1205.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2396.21/1209.45	06:39 ERROR: Failed to solve instance
2396.21/1209.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2396.62/1209.88	06:40 ERROR: Failed to solve instance
2396.62/1209.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2397.13/1210.37	06:40 ERROR: Failed to solve instance
2397.13/1210.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2398.06/1211.29	06:41 ERROR: Failed to solve instance
2398.06/1211.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2398.68/1211.82	06:42 ERROR: Failed to solve instance
2398.68/1211.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2407.44/1218.64	06:48 ERROR: Failed to solve instance
2407.44/1218.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2407.85/1219.08	06:49 ERROR: Failed to solve instance
2407.85/1219.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2408.87/1220.00	06:50 ERROR: Failed to solve instance
2408.87/1220.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2409.39/1220.51	06:50 ERROR: Failed to solve instance
2409.39/1220.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2409.90/1221.04	06:51 ERROR: Failed to solve instance
2409.90/1221.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2417.24/1226.86	06:57 ERROR: Failed to solve instance
2417.24/1226.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2417.76/1227.35	06:57 ERROR: Failed to solve instance
2417.76/1227.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2418.58/1228.16	06:58 ERROR: Failed to solve instance
2418.58/1228.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2419.10/1228.64	06:58 ERROR: Failed to solve instance
2419.10/1228.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2419.63/1229.17	06:59 ERROR: Failed to solve instance
2419.63/1229.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2420.14/1229.64	06:59 ERROR: Failed to solve instance
2420.14/1229.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2427.44/1235.51	07:05 ERROR: Failed to solve instance
2427.44/1235.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2428.36/1236.40	07:06 ERROR: Failed to solve instance
2428.36/1236.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2428.78/1236.89	07:07 ERROR: Failed to solve instance
2428.78/1236.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2429.40/1237.40	07:07 ERROR: Failed to solve instance
2429.40/1237.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2429.92/1237.98	07:08 ERROR: Failed to solve instance
2429.92/1237.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2438.76/1244.87	07:15 ERROR: Failed to solve instance
2438.76/1244.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2439.28/1245.32	07:15 ERROR: Failed to solve instance
2439.28/1245.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2439.79/1245.81	07:16 ERROR: Failed to solve instance
2439.79/1245.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2445.68/1250.70	07:20 ERROR: Failed to solve instance
2445.68/1250.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2446.09/1251.16	07:21 ERROR: Failed to solve instance
2446.09/1251.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2446.60/1251.69	07:21 ERROR: Failed to solve instance
2446.60/1251.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2452.59/1256.68	07:26 ERROR: Failed to solve instance
2452.59/1256.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2453.51/1257.56	07:27 ERROR: Failed to solve instance
2453.51/1257.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2454.03/1258.06	07:28 ERROR: Failed to solve instance
2454.03/1258.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2454.65/1258.62	07:28 ERROR: Failed to solve instance
2454.65/1258.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2455.27/1259.22	07:29 ERROR: Failed to solve instance
2455.27/1259.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2465.63/1267.63	07:37 ERROR: Failed to solve instance
2465.63/1267.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2466.03/1268.06	07:38 ERROR: Failed to solve instance
2466.03/1268.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2466.55/1268.53	07:38 ERROR: Failed to solve instance
2466.55/1268.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2467.17/1269.10	07:39 ERROR: Failed to solve instance
2467.17/1269.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2475.79/1276.31	07:46 ERROR: Failed to solve instance
2475.79/1276.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2476.20/1276.78	07:47 ERROR: Failed to solve instance
2476.20/1276.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2476.72/1277.27	07:47 ERROR: Failed to solve instance
2476.72/1277.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2477.64/1278.11	07:48 ERROR: Failed to solve instance
2477.64/1278.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2478.07/1278.58	07:48 ERROR: Failed to solve instance
2478.07/1278.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2481.75/1281.77	07:51 ERROR: Failed to solve instance
2481.75/1281.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2482.27/1282.22	07:52 ERROR: Failed to solve instance
2482.27/1282.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2482.79/1282.71	07:52 ERROR: Failed to solve instance
2482.79/1282.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2483.31/1283.28	07:53 ERROR: Failed to solve instance
2483.31/1283.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2492.77/1290.72	08:00 ERROR: Failed to solve instance
2492.77/1290.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2493.17/1291.17	08:01 ERROR: Failed to solve instance
2493.17/1291.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2493.69/1291.66	08:01 ERROR: Failed to solve instance
2493.69/1291.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2500.08/1297.01	08:07 ERROR: Failed to solve instance
2500.08/1297.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2500.49/1297.49	08:07 ERROR: Failed to solve instance
2500.49/1297.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2501.52/1298.42	08:08 ERROR: Failed to solve instance
2501.52/1298.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2502.04/1298.97	08:09 ERROR: Failed to solve instance
2502.04/1298.97	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-3311192-1304113589/watcher-3311192-1304113589 -o /tmp/evaluation-result-3311192-1304113589/solver-3311192-1304113589 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311192-1304113589.cnf -hbr 2 

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

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


[startup+0 s]
/proc/loadavg: 4.70 5.15 5.95 3/197 18431
/proc/meminfo: memFree=15423908/32950928 swapFree=67111448/67111528
[pid=18431] ppid=18429 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/18431/stat : 18431 (java) R 18429 18431 18155 0 -1 4202496 1192 0 0 0 0 0 0 0 25 0 1 0 522957672 23580672 678 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251809277416 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/18431/statm: 5757 678 504 9 0 124 0

[startup+0.0688321 s]
/proc/loadavg: 4.70 5.15 5.95 3/197 18431
/proc/meminfo: memFree=15423908/32950928 swapFree=67111448/67111528
[pid=18431] ppid=18429 vsize=15609780 CPUtime=0.06 cores=0,2,4,6
/proc/18431/stat : 18431 (java) S 18429 18431 18155 0 -1 4202496 4358 0 1 0 5 1 0 0 25 0 18 0 522957672 15984414720 3797 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18431/statm: 3902445 3797 1778 9 0 3893164 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15609780

[startup+0.102622 s]
/proc/loadavg: 4.70 5.15 5.95 3/197 18431
/proc/meminfo: memFree=15423908/32950928 swapFree=67111448/67111528
[pid=18431] ppid=18429 vsize=15676160 CPUtime=0.1 cores=0,2,4,6
/proc/18431/stat : 18431 (java) S 18429 18431 18155 0 -1 4202496 5517 0 1 0 9 1 0 0 25 0 18 0 522957672 16052387840 4956 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18431/statm: 3919040 4956 2117 9 0 3909759 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676160

[startup+0.304844 s]
/proc/loadavg: 4.70 5.15 5.95 3/197 18431
/proc/meminfo: memFree=15423908/32950928 swapFree=67111448/67111528
[pid=18431] ppid=18429 vsize=15679404 CPUtime=0.51 cores=0,2,4,6
/proc/18431/stat : 18431 (java) S 18429 18431 18155 0 -1 4202496 15893 0 1 0 48 3 0 0 25 0 18 0 522957672 16055709696 14366 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18431/statm: 3919851 14372 2207 9 0 3910570 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15679404

[startup+0.700796 s]
/proc/loadavg: 4.70 5.15 5.95 3/197 18431
/proc/meminfo: memFree=15423908/32950928 swapFree=67111448/67111528
[pid=18431] ppid=18429 vsize=15679404 CPUtime=0.92 cores=0,2,4,6
/proc/18431/stat : 18431 (java) S 18429 18431 18155 0 -1 4202496 41810 0 1 0 86 6 0 0 25 0 18 0 522957672 16055709696 40281 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18431/statm: 3919851 40281 2223 9 0 3910570 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15679404

[startup+1.50064 s]
/proc/loadavg: 4.70 5.15 5.95 3/215 18449
/proc/meminfo: memFree=15263868/32950928 swapFree=67111448/67111528
[pid=18431] ppid=18429 vsize=15685588 CPUtime=2 cores=0,2,4,6
/proc/18431/stat : 18431 (java) S 18429 18431 18155 0 -1 4202496 56410 0 1 0 192 8 0 0 25 0 22 0 522957672 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18431/statm: 3921397 52876 2261 9 0 3912116 0
[pid=18431/tid=18433] ppid=18429 vsize=15685588 CPUtime=1.46 cores=0,2,4,6
/proc/18431/task/18433/stat : 18433 (java) R 18429 18431 18155 0 -1 4202560 42858 0 1 0 140 6 0 0 22 0 22 0 522957672 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826059036 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18431/tid=18434] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18434/stat : 18434 (java) S 18429 18431 18155 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 22 0 522957673 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18435] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18435/stat : 18435 (java) S 18429 18431 18155 0 -1 4202560 398 0 0 0 0 0 0 0 16 0 22 0 522957673 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18436] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18436/stat : 18436 (java) S 18429 18431 18155 0 -1 4202560 304 0 0 0 0 0 0 0 16 0 22 0 522957673 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18437] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18437/stat : 18437 (java) S 18429 18431 18155 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 22 0 522957673 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18438] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18438/stat : 18438 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522957673 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18439] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18439/stat : 18439 (java) S 18429 18431 18155 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 22 0 522957673 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18440] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18440/stat : 18440 (java) S 18429 18431 18155 0 -1 4202560 1375 0 0 0 0 0 0 0 16 0 22 0 522957673 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18441] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18441/stat : 18441 (java) S 18429 18431 18155 0 -1 4202560 747 0 0 0 0 0 0 0 16 0 22 0 522957673 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18442] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18442/stat : 18442 (java) S 18429 18431 18155 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 522957674 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 0 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18443] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18443/stat : 18443 (java) S 18429 18431 18155 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522957674 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18444] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18444/stat : 18444 (java) S 18429 18431 18155 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522957674 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18445] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18445/stat : 18445 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522957677 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826063793 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18446] ppid=18429 vsize=15685588 CPUtime=0.16 cores=0,2,4,6
/proc/18431/task/18446/stat : 18446 (java) S 18429 18431 18155 0 -1 4202560 1099 0 0 0 16 0 0 0 15 0 22 0 522957677 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18447] ppid=18429 vsize=15685588 CPUtime=0.33 cores=0,2,4,6
/proc/18431/task/18447/stat : 18447 (java) R 18429 18431 18155 0 -1 4202560 8020 0 0 0 32 1 0 0 16 0 22 0 522957677 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 47975184310783 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18431/tid=18448] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18448/stat : 18448 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522957677 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18449] ppid=18429 vsize=15685588 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18449/stat : 18449 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522957677 16062042112 52876 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 15685588

[startup+3.10143 s]
/proc/loadavg: 4.70 5.15 5.95 4/219 18453
/proc/meminfo: memFree=15203076/32950928 swapFree=67111448/67111528
[pid=18431] ppid=18429 vsize=15684220 CPUtime=4.92 cores=0,2,4,6
/proc/18431/stat : 18431 (java) S 18429 18431 18155 0 -1 4202496 79760 0 1 0 480 12 0 0 25 0 22 0 522957672 16060641280 68662 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18431/statm: 3921055 68662 2267 9 0 3911774 0
[pid=18431/tid=18433] ppid=18429 vsize=15684220 CPUtime=3.06 cores=0,2,4,6
/proc/18431/task/18433/stat : 18433 (java) R 18429 18431 18155 0 -1 4202560 54244 0 1 0 298 8 0 0 25 0 22 0 522957672 16060641280 68663 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 46912506163906 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18431/tid=18434] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18434/stat : 18434 (java) S 18429 18431 18155 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 22 0 522957673 16060641280 68663 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18435] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18435/stat : 18435 (java) S 18429 18431 18155 0 -1 4202560 398 0 0 0 0 0 0 0 16 0 22 0 522957673 16060641280 68663 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18436] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18436/stat : 18436 (java) S 18429 18431 18155 0 -1 4202560 304 0 0 0 0 0 0 0 16 0 22 0 522957673 16060641280 68663 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18437] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18437/stat : 18437 (java) S 18429 18431 18155 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 22 0 522957673 16060641280 68663 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18438] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18438/stat : 18438 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522957673 16060641280 68664 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18439] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18439/stat : 18439 (java) S 18429 18431 18155 0 -1 4202560 23 0 0 0 0 0 0 0 16 0 22 0 522957673 16060641280 68664 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18440] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18440/stat : 18440 (java) S 18429 18431 18155 0 -1 4202560 1375 0 0 0 0 0 0 0 16 0 22 0 522957673 16060641280 68664 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18441] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18441/stat : 18441 (java) S 18429 18431 18155 0 -1 4202560 747 0 0 0 0 0 0 0 16 0 22 0 522957673 16060641280 68664 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18442] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18442/stat : 18442 (java) S 18429 18431 18155 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 522957674 16060641280 68664 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 0 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18443] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18443/stat : 18443 (java) S 18429 18431 18155 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522957674 16060641280 68665 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18444] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18444/stat : 18444 (java) S 18429 18431 18155 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522957674 16060641280 68665 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18445] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18445/stat : 18445 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522957677 16060641280 68665 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826063793 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18446] ppid=18429 vsize=15684220 CPUtime=0.36 cores=0,2,4,6
/proc/18431/task/18446/stat : 18446 (java) S 18429 18431 18155 0 -1 4202560 1304 0 0 0 36 0 0 0 15 0 22 0 522957677 16060641280 68665 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18447] ppid=18429 vsize=15684220 CPUtime=1.46 cores=0,2,4,6
/proc/18431/task/18447/stat : 18447 (java) S 18429 18431 18155 0 -1 4202560 19779 0 0 0 143 3 0 0 16 0 22 0 522957677 16060641280 68666 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18448] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18448/stat : 18448 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522957677 16060641280 68666 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18449] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18449/stat : 18449 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522957677 16060641280 68666 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18450] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18450/stat : 18450 (java) S 18429 18431 18155 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522957779 16060641280 68666 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18451] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18451/stat : 18451 (java) S 18429 18431 18155 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522957779 16060641280 68666 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18452] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18452/stat : 18452 (java) S 18429 18431 18155 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522957779 16060641280 68666 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18453] ppid=18429 vsize=15684220 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18453/stat : 18453 (java) S 18429 18431 18155 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522957779 16060641280 68667 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.92
Current children cumulated vsize (KiB) 15684220

[startup+6.3009 s]
/proc/loadavg: 4.49 5.10 5.93 7/219 18453
/proc/meminfo: memFree=14604156/32950928 swapFree=67111448/67111528
[pid=18431] ppid=18429 vsize=15685692 CPUtime=14.53 cores=0,2,4,6
/proc/18431/stat : 18431 (java) S 18429 18431 18155 0 -1 4202496 249494 0 1 0 1412 41 0 0 25 0 22 0 522957672 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18431/statm: 3921423 237188 2275 9 0 3912142 0
[pid=18431/tid=18433] ppid=18429 vsize=15685692 CPUtime=3.19 cores=0,2,4,6
/proc/18431/task/18433/stat : 18433 (java) S 18429 18431 18155 0 -1 4202560 55485 0 1 0 311 8 0 0 25 0 22 0 522957672 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18434] ppid=18429 vsize=15685692 CPUtime=0.04 cores=0,2,4,6
/proc/18431/task/18434/stat : 18434 (java) R 18429 18431 18155 0 -1 4202560 5575 0 0 0 3 1 0 0 15 0 22 0 522957673 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251814193463 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18431/tid=18435] ppid=18429 vsize=15685692 CPUtime=0.15 cores=0,2,4,6
/proc/18431/task/18435/stat : 18435 (java) S 18429 18431 18155 0 -1 4202560 21105 0 0 0 12 3 0 0 16 0 22 0 522957673 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18436] ppid=18429 vsize=15685692 CPUtime=0.1 cores=0,2,4,6
/proc/18431/task/18436/stat : 18436 (java) S 18429 18431 18155 0 -1 4202560 11554 0 0 0 8 2 0 0 15 0 22 0 522957673 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18437] ppid=18429 vsize=15685692 CPUtime=0.07 cores=0,2,4,6
/proc/18431/task/18437/stat : 18437 (java) S 18429 18431 18155 0 -1 4202560 8962 0 0 0 6 1 0 0 15 0 22 0 522957673 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18438] ppid=18429 vsize=15685692 CPUtime=0.04 cores=0,2,4,6
/proc/18431/task/18438/stat : 18438 (java) R 18429 18431 18155 0 -1 4202560 8151 0 0 0 3 1 0 0 15 0 22 0 522957673 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251814193463 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=18431/tid=18439] ppid=18429 vsize=15685692 CPUtime=0.11 cores=0,2,4,6
/proc/18431/task/18439/stat : 18439 (java) S 18429 18431 18155 0 -1 4202560 13908 0 0 0 9 2 0 0 16 0 22 0 522957673 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18440] ppid=18429 vsize=15685692 CPUtime=0.18 cores=0,2,4,6
/proc/18431/task/18440/stat : 18440 (java) S 18429 18431 18155 0 -1 4202560 28068 0 0 0 13 5 0 0 16 0 22 0 522957673 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18441] ppid=18429 vsize=15685692 CPUtime=0.09 cores=0,2,4,6
/proc/18431/task/18441/stat : 18441 (java) S 18429 18431 18155 0 -1 4202560 18114 0 0 0 7 2 0 0 16 0 22 0 522957673 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18442] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18442/stat : 18442 (java) S 18429 18431 18155 0 -1 4202560 526 0 0 0 0 0 0 0 15 0 22 0 522957674 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 0 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18443] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18443/stat : 18443 (java) S 18429 18431 18155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522957674 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18444] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18444/stat : 18444 (java) S 18429 18431 18155 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522957674 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18445] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18445/stat : 18445 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522957677 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826063793 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18446] ppid=18429 vsize=15685692 CPUtime=0.73 cores=0,2,4,6
/proc/18431/task/18446/stat : 18446 (java) S 18429 18431 18155 0 -1 4202560 1688 0 0 0 73 0 0 0 15 0 22 0 522957677 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18447] ppid=18429 vsize=15685692 CPUtime=1.61 cores=0,2,4,6
/proc/18431/task/18447/stat : 18447 (java) S 18429 18431 18155 0 -1 4202560 19804 0 0 0 158 3 0 0 15 0 22 0 522957677 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18448] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18448/stat : 18448 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522957677 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18449] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18449/stat : 18449 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522957677 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18450] ppid=18429 vsize=15685692 CPUtime=2.21 cores=0,2,4,6
/proc/18431/task/18450/stat : 18450 (java) S 18429 18431 18155 0 -1 4202560 12401 0 0 0 220 1 0 0 16 0 22 0 522957779 16062148608 237188 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0

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

[pid=18431] ppid=18429 vsize=15685692 CPUtime=2435.83 cores=0,2,4,6
/proc/18431/stat : 18431 (java) S 18429 18431 18155 0 -1 4202496 3908426 0 1 0 242917 666 0 0 25 0 21 0 522957672 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18431/statm: 3921423 3856380 2295 9 0 3912142 0
[pid=18431/tid=18433] ppid=18429 vsize=15685692 CPUtime=3.19 cores=0,2,4,6
/proc/18431/task/18433/stat : 18433 (java) S 18429 18431 18155 0 -1 4202560 55485 0 1 0 311 8 0 0 25 0 21 0 522957672 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18434] ppid=18429 vsize=15685692 CPUtime=3.14 cores=0,2,4,6
/proc/18431/task/18434/stat : 18434 (java) S 18429 18431 18155 0 -1 4202560 324903 0 0 0 260 54 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18435] ppid=18429 vsize=15685692 CPUtime=4.29 cores=0,2,4,6
/proc/18431/task/18435/stat : 18435 (java) S 18429 18431 18155 0 -1 4202560 474795 0 0 0 351 78 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18436] ppid=18429 vsize=15685692 CPUtime=3.26 cores=0,2,4,6
/proc/18431/task/18436/stat : 18436 (java) S 18429 18431 18155 0 -1 4202560 390275 0 0 0 261 65 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18437] ppid=18429 vsize=15685692 CPUtime=3.6 cores=0,2,4,6
/proc/18431/task/18437/stat : 18437 (java) S 18429 18431 18155 0 -1 4202560 419150 0 0 0 285 75 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18438] ppid=18429 vsize=15685692 CPUtime=3.39 cores=0,2,4,6
/proc/18431/task/18438/stat : 18438 (java) S 18429 18431 18155 0 -1 4202560 281502 0 0 0 291 48 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18439] ppid=18429 vsize=15685692 CPUtime=4.4 cores=0,2,4,6
/proc/18431/task/18439/stat : 18439 (java) S 18429 18431 18155 0 -1 4202560 318927 0 0 0 387 53 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18440] ppid=18429 vsize=15685692 CPUtime=3.39 cores=0,2,4,6
/proc/18431/task/18440/stat : 18440 (java) S 18429 18431 18155 0 -1 4202560 405723 0 0 0 271 68 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18441] ppid=18429 vsize=15685692 CPUtime=3.44 cores=0,2,4,6
/proc/18431/task/18441/stat : 18441 (java) S 18429 18431 18155 0 -1 4202560 281249 0 0 0 295 49 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18442] ppid=18429 vsize=15685692 CPUtime=826.09 cores=0,2,4,6
/proc/18431/task/18442/stat : 18442 (java) S 18429 18431 18155 0 -1 4202560 554352 0 0 0 82527 82 0 0 16 0 21 0 522957674 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 0 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18443] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18443/stat : 18443 (java) S 18429 18431 18155 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 21 0 522957674 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18444] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18444/stat : 18444 (java) S 18429 18431 18155 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 21 0 522957674 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18445] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18445/stat : 18445 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522957677 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826063793 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18446] ppid=18429 vsize=15685692 CPUtime=0.91 cores=0,2,4,6
/proc/18431/task/18446/stat : 18446 (java) S 18429 18431 18155 0 -1 4202560 1715 0 0 0 91 0 0 0 15 0 21 0 522957677 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18447] ppid=18429 vsize=15685692 CPUtime=1.61 cores=0,2,4,6
/proc/18431/task/18447/stat : 18447 (java) S 18429 18431 18155 0 -1 4202560 19804 0 0 0 158 3 0 0 15 0 21 0 522957677 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18448] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18448/stat : 18448 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522957677 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18449] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18449/stat : 18449 (java) S 18429 18431 18155 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 21 0 522957677 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18450] ppid=18429 vsize=15685692 CPUtime=403.72 cores=0,2,4,6
/proc/18431/task/18450/stat : 18450 (java) R 18429 18431 18155 0 -1 4202560 90153 0 0 0 40353 19 0 0 15 0 21 0 522957779 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 46912506181560 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18431/tid=18451] ppid=18429 vsize=15685692 CPUtime=403.19 cores=0,2,4,6
/proc/18431/task/18451/stat : 18451 (java) R 18429 18431 18155 0 -1 4202560 103101 0 0 0 40297 22 0 0 15 0 21 0 522957779 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 46912506181555 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18431/tid=18452] ppid=18429 vsize=15685692 CPUtime=402.39 cores=0,2,4,6
/proc/18431/task/18452/stat : 18452 (java) R 18429 18431 18155 0 -1 4202560 103674 0 0 0 40219 20 0 0 15 0 21 0 522957779 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 46912506077247 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2435.83
Current children cumulated vsize (KiB) 15685692



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 5.07 5.24 5.61 8/219 18548
/proc/meminfo: memFree=14886540/32950928 swapFree=67111448/67111528
[pid=18431] ppid=18429 vsize=15685692 CPUtime=2503.61 cores=0,2,4,6
/proc/18431/stat : 18431 (java) S 18429 18431 18155 0 -1 4202496 3908835 0 1 0 249691 670 0 0 25 0 21 0 522957672 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18431/statm: 3921423 3856380 2295 9 0 3912142 0
[pid=18431/tid=18433] ppid=18429 vsize=15685692 CPUtime=3.19 cores=0,2,4,6
/proc/18431/task/18433/stat : 18433 (java) S 18429 18431 18155 0 -1 4202560 55485 0 1 0 311 8 0 0 25 0 21 0 522957672 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18434] ppid=18429 vsize=15685692 CPUtime=3.14 cores=0,2,4,6
/proc/18431/task/18434/stat : 18434 (java) S 18429 18431 18155 0 -1 4202560 324903 0 0 0 260 54 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18435] ppid=18429 vsize=15685692 CPUtime=4.29 cores=0,2,4,6
/proc/18431/task/18435/stat : 18435 (java) S 18429 18431 18155 0 -1 4202560 474795 0 0 0 351 78 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18436] ppid=18429 vsize=15685692 CPUtime=3.26 cores=0,2,4,6
/proc/18431/task/18436/stat : 18436 (java) S 18429 18431 18155 0 -1 4202560 390275 0 0 0 261 65 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18437] ppid=18429 vsize=15685692 CPUtime=3.6 cores=0,2,4,6
/proc/18431/task/18437/stat : 18437 (java) S 18429 18431 18155 0 -1 4202560 419150 0 0 0 285 75 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18438] ppid=18429 vsize=15685692 CPUtime=3.39 cores=0,2,4,6
/proc/18431/task/18438/stat : 18438 (java) S 18429 18431 18155 0 -1 4202560 281502 0 0 0 291 48 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18439] ppid=18429 vsize=15685692 CPUtime=4.4 cores=0,2,4,6
/proc/18431/task/18439/stat : 18439 (java) S 18429 18431 18155 0 -1 4202560 318927 0 0 0 387 53 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18440] ppid=18429 vsize=15685692 CPUtime=3.39 cores=0,2,4,6
/proc/18431/task/18440/stat : 18440 (java) S 18429 18431 18155 0 -1 4202560 405723 0 0 0 271 68 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18441] ppid=18429 vsize=15685692 CPUtime=3.44 cores=0,2,4,6
/proc/18431/task/18441/stat : 18441 (java) S 18429 18431 18155 0 -1 4202560 281249 0 0 0 295 49 0 0 16 0 21 0 522957673 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18442] ppid=18429 vsize=15685692 CPUtime=878.59 cores=0,2,4,6
/proc/18431/task/18442/stat : 18442 (java) S 18429 18431 18155 0 -1 4202560 554356 0 0 0 87776 83 0 0 22 0 21 0 522957674 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 0 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18443] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18443/stat : 18443 (java) S 18429 18431 18155 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 21 0 522957674 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18444] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18444/stat : 18444 (java) S 18429 18431 18155 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 21 0 522957674 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18445] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18445/stat : 18445 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522957677 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826063793 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18446] ppid=18429 vsize=15685692 CPUtime=0.91 cores=0,2,4,6
/proc/18431/task/18446/stat : 18446 (java) S 18429 18431 18155 0 -1 4202560 1715 0 0 0 91 0 0 0 15 0 21 0 522957677 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18447] ppid=18429 vsize=15685692 CPUtime=1.61 cores=0,2,4,6
/proc/18431/task/18447/stat : 18447 (java) S 18429 18431 18155 0 -1 4202560 19804 0 0 0 158 3 0 0 15 0 21 0 522957677 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18448] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18448/stat : 18448 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522957677 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18449] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18449/stat : 18449 (java) S 18429 18431 18155 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 21 0 522957677 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18450] ppid=18429 vsize=15685692 CPUtime=408.82 cores=0,2,4,6
/proc/18431/task/18450/stat : 18450 (java) R 18429 18431 18155 0 -1 4202560 90237 0 0 0 40862 20 0 0 15 0 21 0 522957779 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 46912506016128 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18431/tid=18451] ppid=18429 vsize=15685692 CPUtime=408.29 cores=0,2,4,6
/proc/18431/task/18451/stat : 18451 (java) R 18429 18431 18155 0 -1 4202560 103177 0 0 0 40806 23 0 0 15 0 21 0 522957779 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 46912506271196 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18431/tid=18452] ppid=18429 vsize=15685692 CPUtime=407.46 cores=0,2,4,6
/proc/18431/task/18452/stat : 18452 (java) R 18429 18431 18155 0 -1 4202560 103915 0 0 0 40726 20 0 0 15 0 21 0 522957779 16062148608 3856380 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 46912506343819 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2503.61
Current children cumulated vsize (KiB) 15685692

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

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

[startup+1300.4 s]
/proc/loadavg: 5.07 5.24 5.61 8/219 18548
/proc/meminfo: memFree=14886540/32950928 swapFree=67111448/67111528
[pid=18431] ppid=18429 vsize=15685692 CPUtime=2504.02 cores=0,2,4,6
/proc/18431/stat : 18431 (java) S 18429 18431 18155 0 -1 4202496 3908842 0 1 0 249732 670 0 0 18 0 21 0 522957672 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18431/statm: 3921423 3856386 2295 9 0 3912142 0
[pid=18431/tid=18433] ppid=18429 vsize=15685692 CPUtime=3.19 cores=0,2,4,6
/proc/18431/task/18433/stat : 18433 (java) S 18429 18431 18155 0 -1 4202560 55485 0 1 0 311 8 0 0 25 0 21 0 522957672 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18434] ppid=18429 vsize=15685692 CPUtime=3.14 cores=0,2,4,6
/proc/18431/task/18434/stat : 18434 (java) S 18429 18431 18155 0 -1 4202560 324903 0 0 0 260 54 0 0 16 0 21 0 522957673 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18435] ppid=18429 vsize=15685692 CPUtime=4.29 cores=0,2,4,6
/proc/18431/task/18435/stat : 18435 (java) S 18429 18431 18155 0 -1 4202560 474795 0 0 0 351 78 0 0 16 0 21 0 522957673 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18436] ppid=18429 vsize=15685692 CPUtime=3.26 cores=0,2,4,6
/proc/18431/task/18436/stat : 18436 (java) S 18429 18431 18155 0 -1 4202560 390275 0 0 0 261 65 0 0 16 0 21 0 522957673 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18437] ppid=18429 vsize=15685692 CPUtime=3.6 cores=0,2,4,6
/proc/18431/task/18437/stat : 18437 (java) S 18429 18431 18155 0 -1 4202560 419150 0 0 0 285 75 0 0 16 0 21 0 522957673 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18438] ppid=18429 vsize=15685692 CPUtime=3.39 cores=0,2,4,6
/proc/18431/task/18438/stat : 18438 (java) S 18429 18431 18155 0 -1 4202560 281502 0 0 0 291 48 0 0 16 0 21 0 522957673 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18439] ppid=18429 vsize=15685692 CPUtime=4.4 cores=0,2,4,6
/proc/18431/task/18439/stat : 18439 (java) S 18429 18431 18155 0 -1 4202560 318927 0 0 0 387 53 0 0 16 0 21 0 522957673 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18440] ppid=18429 vsize=15685692 CPUtime=3.39 cores=0,2,4,6
/proc/18431/task/18440/stat : 18440 (java) S 18429 18431 18155 0 -1 4202560 405723 0 0 0 271 68 0 0 16 0 21 0 522957673 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18441] ppid=18429 vsize=15685692 CPUtime=3.44 cores=0,2,4,6
/proc/18431/task/18441/stat : 18441 (java) S 18429 18431 18155 0 -1 4202560 281249 0 0 0 295 49 0 0 16 0 21 0 522957673 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
[pid=18431/tid=18442] ppid=18429 vsize=15685692 CPUtime=878.98 cores=0,2,4,6
/proc/18431/task/18442/stat : 18442 (java) R 18429 18431 18155 0 -1 4202560 554356 0 0 0 87815 83 0 0 24 0 21 0 522957674 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 47975184355644 0 0 0 16800975 0 0 0 -1 6 0 0 0
[pid=18431/tid=18443] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18443/stat : 18443 (java) S 18429 18431 18155 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 21 0 522957674 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18444] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18444/stat : 18444 (java) S 18429 18431 18155 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 21 0 522957674 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18445] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18445/stat : 18445 (java) S 18429 18431 18155 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 21 0 522957677 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18446] ppid=18429 vsize=15685692 CPUtime=0.91 cores=0,2,4,6
/proc/18431/task/18446/stat : 18446 (java) S 18429 18431 18155 0 -1 4202560 1715 0 0 0 91 0 0 0 15 0 21 0 522957677 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18447] ppid=18429 vsize=15685692 CPUtime=1.61 cores=0,2,4,6
/proc/18431/task/18447/stat : 18447 (java) S 18429 18431 18155 0 -1 4202560 19804 0 0 0 158 3 0 0 15 0 21 0 522957677 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18448] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18448/stat : 18448 (java) S 18429 18431 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522957677 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18449] ppid=18429 vsize=15685692 CPUtime=0 cores=0,2,4,6
/proc/18431/task/18449/stat : 18449 (java) S 18429 18431 18155 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 21 0 522957677 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056704 0 4 0 16800975 18446604449459442624 0 0 -1 6 0 0 0
[pid=18431/tid=18450] ppid=18429 vsize=15685692 CPUtime=408.83 cores=0,2,4,6
/proc/18431/task/18450/stat : 18450 (java) S 18429 18431 18155 0 -1 4202560 90237 0 0 0 40863 20 0 0 15 0 21 0 522957779 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 4 0 0 0
[pid=18431/tid=18451] ppid=18429 vsize=15685692 CPUtime=408.3 cores=0,2,4,6
/proc/18431/task/18451/stat : 18451 (java) S 18429 18431 18155 0 -1 4202560 103177 0 0 0 40807 23 0 0 15 0 21 0 522957779 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 0 0 0 0
[pid=18431/tid=18452] ppid=18429 vsize=15685692 CPUtime=407.47 cores=0,2,4,6
/proc/18431/task/18452/stat : 18452 (java) S 18429 18431 18155 0 -1 4202560 103916 0 0 0 40727 20 0 0 15 0 21 0 522957779 16062148608 3856386 33554432000 1073741824 1073778376 140736373130352 18446744073709551615 251826056089 0 4 0 16800975 18446604449459442624 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2504.02
Current children cumulated vsize (KiB) 15685692

[startup+1301.2 s]
/proc/loadavg: 5.07 5.24 5.61 6/221 18550
/proc/meminfo: memFree=14851432/32950928 swapFree=67111448/67111528
[pid=18431] ppid=18429 vsize=0 CPUtime=2504.82 cores=0,2,4,6
/proc/18431/stat : 18431 (java) R 18429 18431 18155 0 -1 4203524 3908858 0 1 0 249797 685 0 0 18 0 1 0 522957672 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18431/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2504.82
Current children cumulated vsize (KiB) 0

[startup+1301.6 s]
/proc/loadavg: 5.07 5.24 5.61 6/221 18550
/proc/meminfo: memFree=14851432/32950928 swapFree=67111448/67111528
[pid=18431] ppid=18429 vsize=0 CPUtime=2505.22 cores=0,2,4,6
/proc/18431/stat : 18431 (java) R 18429 18431 18155 0 -1 4203524 3908858 0 1 0 249797 725 0 0 18 0 1 0 522957672 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18431/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2505.22
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1301.62
CPU time (s): 2505.25
CPU user time (s): 2497.98
CPU system time (s): 7.27289
CPU usage (%): 192.472
Max. virtual memory (cumulated for all children) (KiB): 15686720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2497.98
system time used= 7.27289
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3908858
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= 64364
involuntary context switches= 39922

runsolver used 2.21266 second user time and 5.05623 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 23:46:30
IDJOB=3311192
IDBENCH=82577
IDSOLVER=1698
FILE ID=node126/3311192-1304113589
RUNJOBID= node126-1304111178-18173
PBS_JOBID= 13170683
Free space on /tmp= 71592 MiB

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

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

MD5SUM BENCH= 0ad997eea0def3552b6d7e45aac8ca7c
RANDOM SEED=2066865373

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15424180 kB
Buffers:        258892 kB
Cached:        1417884 kB
SwapCached:         76 kB
Active:       15582556 kB
Inactive:      1602256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15424180 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            5892 kB
Writeback:           4 kB
AnonPages:    15507544 kB
Mapped:          23556 kB
Slab:           247208 kB
PageTables:      34712 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 15727056 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= 71592 MiB
End job on node126 at 2011-04-30 00:08:12