Trace number 3311136

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) 2522 1302.57

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf
MD5SUMfcb14103324f734a2e69e02c062e67ed
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 variables50000
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.11	11:49 INFO : Reading from input HOME/instance-3311136-1304111509.cnf
1.24/1.06	Executor set job limit to 1000000
1.24/1.06	Executor set job limit to 1000000
1.24/1.06	Executor set job limit to 1000000
1.24/1.06	Executor set job limit to 1000000
1.24/1.06	Starting Executor!
1.24/1.07	Starting Executor!
1.24/1.07	Starting Executor!
1.24/1.07	Starting Executor!
4.18/2.79	11:52 INFO : 49820 variables remaining out of 50000
4.18/2.79	11:52 INFO : 835388 literals remaining out of 840000
1420.36/388.32	18:18 ERROR: Failed to solve instance
1420.36/388.32	java.lang.OutOfMemoryError: Java heap space
1420.36/388.32		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1420.36/388.32		at gnu.trove.THash.postInsertHook(THash.java:370)
1420.36/388.32		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1420.36/388.32		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1420.36/388.32		at ibis.structure.Subsumming.run(Subsumming.java:58)
1420.36/388.32		at ibis.structure.Solver.simplify(Solver.java:205)
1420.36/388.32		at ibis.structure.Solver.solve(Solver.java:113)
1420.36/388.32		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1420.36/388.32		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1420.36/388.32		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1420.36/388.32		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1420.36/388.32		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1420.36/388.32		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1420.36/388.32		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1420.36/388.32		at ibis.constellation.Executor.processActivities(Executor.java:75)
1420.36/388.32		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1420.36/388.32		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1420.36/388.32		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1420.47/388.45	18:18 ERROR: Failed to solve instance
1420.47/388.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1420.47/388.45		at ibis.structure.ImplicationsGraph.create(ImplicationsGraph.java:627)
1420.47/388.45		at ibis.structure.ImplicationsGraph.<init>(ImplicationsGraph.java:30)
1420.47/388.45		at ibis.structure.Solver.<init>(Solver.java:36)
1420.47/388.45		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1420.47/388.45		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1420.47/388.45		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1420.47/388.45		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1420.47/388.45		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1420.47/388.45		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1420.47/388.45		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1420.47/388.45		at ibis.constellation.Executor.processActivities(Executor.java:75)
1420.47/388.45		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1420.47/388.45		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1420.47/388.45		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1425.44/393.34	18:23 ERROR: Failed to solve instance
1425.44/393.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1425.44/393.34		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1425.44/393.34		at gnu.trove.THash.postInsertHook(THash.java:370)
1425.44/393.34		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1425.44/393.34		at ibis.structure.WatchLists.build(WatchLists.java:56)
1425.44/393.34		at ibis.structure.Solver.<init>(Solver.java:45)
1425.44/393.34		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1425.44/393.34		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1425.44/393.34		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1425.44/393.34		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1425.44/393.34		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1425.44/393.34		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1425.44/393.34		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1425.44/393.34		at ibis.constellation.Executor.processActivities(Executor.java:75)
1425.44/393.34		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1425.44/393.34		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1425.44/393.34		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1436.52/402.63	18:32 ERROR: Failed to solve instance
1436.52/402.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1436.52/402.63		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1436.52/402.63		at gnu.trove.THash.postInsertHook(THash.java:370)
1436.52/402.63		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1436.52/402.63		at ibis.structure.WatchLists.build(WatchLists.java:56)
1436.52/402.63		at ibis.structure.Solver.<init>(Solver.java:45)
1436.52/402.63		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1436.52/402.63		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1436.52/402.63		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1436.52/402.63		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1436.52/402.63		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1436.52/402.63		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1436.52/402.63		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1436.52/402.63		at ibis.constellation.Executor.processActivities(Executor.java:75)
1436.52/402.63		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1436.52/402.63		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1436.52/402.63		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1439.03/405.17	18:34 ERROR: Failed to solve instance
1439.03/405.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1441.54/407.68	18:37 ERROR: Failed to solve instance
1441.54/407.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1442.71/408.78	18:38 ERROR: Failed to solve instance
1442.71/408.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1443.14/409.13	18:38 ERROR: Failed to solve instance
1443.14/409.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1449.11/414.47	18:44 ERROR: Failed to solve instance
1449.11/414.47	java.lang.OutOfMemoryError: Java heap space
1449.41/414.79	18:44 ERROR: Failed to solve instance
1449.41/414.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1458.65/422.08	18:51 ERROR: Failed to solve instance
1458.65/422.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1459.68/423.03	18:52 ERROR: Failed to solve instance
1459.68/423.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.45/423.75	18:53 ERROR: Failed to solve instance
1460.45/423.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1466.58/428.80	18:58 ERROR: Failed to solve instance
1466.58/428.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1469.09/431.36	19:01 ERROR: Failed to solve instance
1469.09/431.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.32/432.52	19:02 ERROR: Failed to solve instance
1470.32/432.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.95/433.13	19:02 ERROR: Failed to solve instance
1470.95/433.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1471.57/433.77	19:03 ERROR: Failed to solve instance
1471.57/433.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1472.32/434.48	19:04 ERROR: Failed to solve instance
1472.32/434.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1484.20/443.60	19:13 ERROR: Failed to solve instance
1484.20/443.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1487.37/446.32	19:16 ERROR: Failed to solve instance
1487.37/446.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1487.99/446.90	19:16 ERROR: Failed to solve instance
1487.99/446.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1489.12/448.06	19:17 ERROR: Failed to solve instance
1489.12/448.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1489.73/448.68	19:18 ERROR: Failed to solve instance
1489.73/448.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1490.47/449.34	19:19 ERROR: Failed to solve instance
1490.47/449.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1491.19/450.03	19:19 ERROR: Failed to solve instance
1491.19/450.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1497.94/455.15	19:24 ERROR: Failed to solve instance
1497.94/455.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1498.79/455.93	19:25 ERROR: Failed to solve instance
1498.79/455.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1503.01/459.45	19:29 ERROR: Failed to solve instance
1503.01/459.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1503.64/460.04	19:29 ERROR: Failed to solve instance
1503.64/460.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1504.28/460.70	19:30 ERROR: Failed to solve instance
1504.28/460.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1515.26/469.31	19:39 ERROR: Failed to solve instance
1515.26/469.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1515.78/469.88	19:39 ERROR: Failed to solve instance
1515.78/469.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1517.01/471.02	19:40 ERROR: Failed to solve instance
1517.01/471.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1517.63/471.64	19:41 ERROR: Failed to solve instance
1517.63/471.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1518.26/472.32	19:42 ERROR: Failed to solve instance
1518.26/472.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1519.15/473.06	19:42 ERROR: Failed to solve instance
1519.15/473.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1532.69/483.45	19:53 ERROR: Failed to solve instance
1532.69/483.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.20/483.95	19:53 ERROR: Failed to solve instance
1533.20/483.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.72/484.47	19:54 ERROR: Failed to solve instance
1533.72/484.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1534.33/485.01	19:54 ERROR: Failed to solve instance
1534.33/485.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1535.36/486.09	19:55 ERROR: Failed to solve instance
1535.36/486.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1536.00/486.68	19:56 ERROR: Failed to solve instance
1536.00/486.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1536.73/487.36	19:57 ERROR: Failed to solve instance
1536.73/487.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1549.01/497.26	20:07 ERROR: Failed to solve instance
1549.01/497.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1549.65/497.86	20:07 ERROR: Failed to solve instance
1549.65/497.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1550.78/499.00	20:08 ERROR: Failed to solve instance
1550.78/499.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1551.52/499.62	20:09 ERROR: Failed to solve instance
1551.52/499.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1552.15/500.29	20:10 ERROR: Failed to solve instance
1552.15/500.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1559.54/506.05	20:15 ERROR: Failed to solve instance
1559.54/506.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.17/506.64	20:16 ERROR: Failed to solve instance
1560.17/506.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.90/507.32	20:17 ERROR: Failed to solve instance
1560.90/507.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1569.00/513.89	20:23 ERROR: Failed to solve instance
1569.00/513.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1573.10/517.46	20:27 ERROR: Failed to solve instance
1573.10/517.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1573.71/518.00	20:27 ERROR: Failed to solve instance
1573.71/518.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1574.83/519.13	20:28 ERROR: Failed to solve instance
1574.83/519.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1575.45/519.74	20:29 ERROR: Failed to solve instance
1575.45/519.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1576.07/520.38	20:30 ERROR: Failed to solve instance
1576.07/520.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1576.80/521.05	20:30 ERROR: Failed to solve instance
1576.80/521.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1584.44/527.07	20:36 ERROR: Failed to solve instance
1584.44/527.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1584.95/527.64	20:37 ERROR: Failed to solve instance
1584.95/527.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1596.51/536.64	20:46 ERROR: Failed to solve instance
1596.51/536.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1597.43/537.55	20:47 ERROR: Failed to solve instance
1597.43/537.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1597.95/538.05	20:47 ERROR: Failed to solve instance
1597.95/538.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1598.56/538.61	20:48 ERROR: Failed to solve instance
1598.56/538.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1599.19/539.21	20:48 ERROR: Failed to solve instance
1599.19/539.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1604.27/543.59	20:53 ERROR: Failed to solve instance
1604.27/543.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1605.50/544.72	20:54 ERROR: Failed to solve instance
1605.50/544.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.12/545.32	20:55 ERROR: Failed to solve instance
1606.12/545.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.53/545.78	20:55 ERROR: Failed to solve instance
1606.53/545.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1607.16/546.37	20:56 ERROR: Failed to solve instance
1607.16/546.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1620.17/556.73	21:06 ERROR: Failed to solve instance
1620.17/556.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1620.68/557.28	21:07 ERROR: Failed to solve instance
1620.68/557.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1621.92/558.50	21:08 ERROR: Failed to solve instance
1621.92/558.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1622.67/559.11	21:08 ERROR: Failed to solve instance
1622.67/559.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1623.20/559.72	21:09 ERROR: Failed to solve instance
1623.20/559.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1628.13/563.76	21:13 ERROR: Failed to solve instance
1628.13/563.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1629.36/564.96	21:14 ERROR: Failed to solve instance
1629.36/564.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1629.99/565.54	21:15 ERROR: Failed to solve instance
1629.99/565.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1630.62/566.14	21:15 ERROR: Failed to solve instance
1630.62/566.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1631.26/566.78	21:16 ERROR: Failed to solve instance
1631.26/566.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1642.81/575.79	21:25 ERROR: Failed to solve instance
1642.81/575.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.04/576.93	21:26 ERROR: Failed to solve instance
1644.04/576.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.66/577.53	21:27 ERROR: Failed to solve instance
1644.66/577.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1645.29/578.20	21:27 ERROR: Failed to solve instance
1645.29/578.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1651.58/583.23	21:33 ERROR: Failed to solve instance
1651.58/583.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.10/583.79	21:33 ERROR: Failed to solve instance
1652.10/583.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.71/584.39	21:34 ERROR: Failed to solve instance
1652.71/584.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1653.95/585.57	21:35 ERROR: Failed to solve instance
1653.95/585.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1654.68/586.25	21:35 ERROR: Failed to solve instance
1654.68/586.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1661.48/591.49	21:41 ERROR: Failed to solve instance
1661.48/591.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1662.11/592.09	21:41 ERROR: Failed to solve instance
1662.11/592.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1663.34/593.33	21:42 ERROR: Failed to solve instance
1663.34/593.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1670.87/599.11	21:48 ERROR: Failed to solve instance
1670.87/599.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1671.99/600.22	21:49 ERROR: Failed to solve instance
1671.99/600.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1672.61/600.85	21:50 ERROR: Failed to solve instance
1672.61/600.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1673.34/601.50	21:51 ERROR: Failed to solve instance
1673.34/601.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1674.08/602.21	21:51 ERROR: Failed to solve instance
1674.08/602.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1687.05/612.60	22:02 ERROR: Failed to solve instance
1687.05/612.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1687.70/613.24	22:03 ERROR: Failed to solve instance
1687.70/613.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1688.30/613.82	22:03 ERROR: Failed to solve instance
1688.30/613.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1689.34/614.94	22:04 ERROR: Failed to solve instance
1689.34/614.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.10/617.94	22:07 ERROR: Failed to solve instance
1693.10/617.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1696.52/620.83	22:10 ERROR: Failed to solve instance
1696.52/620.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1697.16/621.43	22:11 ERROR: Failed to solve instance
1697.16/621.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1697.80/622.09	22:11 ERROR: Failed to solve instance
1697.80/622.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.01/627.23	22:16 ERROR: Failed to solve instance
1704.01/627.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.64/627.82	22:17 ERROR: Failed to solve instance
1704.64/627.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1705.26/628.47	22:18 ERROR: Failed to solve instance
1705.26/628.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1715.20/636.18	22:25 ERROR: Failed to solve instance
1715.20/636.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1715.82/636.74	22:26 ERROR: Failed to solve instance
1715.82/636.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1716.45/637.33	22:27 ERROR: Failed to solve instance
1716.45/637.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1717.59/638.47	22:28 ERROR: Failed to solve instance
1717.59/638.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1718.22/639.08	22:28 ERROR: Failed to solve instance
1718.22/639.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1718.96/639.78	22:29 ERROR: Failed to solve instance
1718.96/639.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1725.98/645.11	22:34 ERROR: Failed to solve instance
1725.98/645.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1727.11/646.24	22:36 ERROR: Failed to solve instance
1727.11/646.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1727.73/646.87	22:36 ERROR: Failed to solve instance
1727.73/646.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1728.47/647.56	22:37 ERROR: Failed to solve instance
1728.47/647.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1729.35/648.32	22:38 ERROR: Failed to solve instance
1729.35/648.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1740.31/656.61	22:46 ERROR: Failed to solve instance
1740.31/656.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1740.84/657.19	22:46 ERROR: Failed to solve instance
1740.84/657.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1741.57/657.84	22:47 ERROR: Failed to solve instance
1741.57/657.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.30/658.53	22:48 ERROR: Failed to solve instance
1742.30/658.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1745.39/661.16	22:50 ERROR: Failed to solve instance
1745.39/661.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1746.01/661.73	22:51 ERROR: Failed to solve instance
1746.01/661.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1749.53/664.53	22:54 ERROR: Failed to solve instance
1749.53/664.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1753.56/668.07	22:57 ERROR: Failed to solve instance
1753.56/668.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1756.92/670.97	23:00 ERROR: Failed to solve instance
1756.92/670.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1757.33/671.40	23:01 ERROR: Failed to solve instance
1757.33/671.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1765.43/677.86	23:07 ERROR: Failed to solve instance
1765.43/677.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1766.06/678.43	23:08 ERROR: Failed to solve instance
1766.06/678.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1766.68/679.05	23:08 ERROR: Failed to solve instance
1766.68/679.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1767.73/680.10	23:09 ERROR: Failed to solve instance
1767.73/680.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1768.36/680.70	23:10 ERROR: Failed to solve instance
1768.36/680.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1778.24/688.15	23:17 ERROR: Failed to solve instance
1778.24/688.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1779.37/689.30	23:19 ERROR: Failed to solve instance
1779.37/689.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1780.09/689.91	23:19 ERROR: Failed to solve instance
1780.09/689.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1780.60/690.47	23:20 ERROR: Failed to solve instance
1780.60/690.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1781.23/691.08	23:20 ERROR: Failed to solve instance
1781.23/691.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.17/696.07	23:25 ERROR: Failed to solve instance
1787.17/696.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.79/696.67	23:26 ERROR: Failed to solve instance
1787.79/696.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1788.52/697.31	23:27 ERROR: Failed to solve instance
1788.52/697.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1789.56/698.36	23:27 ERROR: Failed to solve instance
1789.56/698.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1790.21/698.97	23:28 ERROR: Failed to solve instance
1790.21/698.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1801.08/707.29	23:37 ERROR: Failed to solve instance
1801.08/707.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1801.80/707.91	23:37 ERROR: Failed to solve instance
1801.80/707.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1806.53/711.94	23:41 ERROR: Failed to solve instance
1806.53/711.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1809.13/714.22	23:43 ERROR: Failed to solve instance
1809.13/714.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1809.97/715.01	23:44 ERROR: Failed to solve instance
1809.97/715.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1811.23/716.28	23:46 ERROR: Failed to solve instance
1811.23/716.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1811.75/716.84	23:46 ERROR: Failed to solve instance
1811.75/716.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1816.49/720.70	23:50 ERROR: Failed to solve instance
1816.49/720.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1817.68/721.72	23:51 ERROR: Failed to solve instance
1817.68/721.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1818.31/722.35	23:52 ERROR: Failed to solve instance
1818.31/722.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1827.91/729.42	23:59 ERROR: Failed to solve instance
1827.91/729.42	java.lang.OutOfMemoryError: Java heap space
1831.80/732.67	24:02 ERROR: Failed to solve instance
1831.80/732.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1832.92/733.76	24:03 ERROR: Failed to solve instance
1832.92/733.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1833.54/734.35	24:04 ERROR: Failed to solve instance
1833.54/734.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.16/734.99	24:04 ERROR: Failed to solve instance
1834.16/734.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.89/735.68	24:05 ERROR: Failed to solve instance
1834.89/735.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1849.27/746.85	24:16 ERROR: Failed to solve instance
1849.27/746.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1849.78/747.40	24:17 ERROR: Failed to solve instance
1849.78/747.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1850.39/747.99	24:17 ERROR: Failed to solve instance
1850.39/747.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1851.62/749.19	24:18 ERROR: Failed to solve instance
1851.62/749.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1852.46/749.96	24:19 ERROR: Failed to solve instance
1852.46/749.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.31/757.61	24:27 ERROR: Failed to solve instance
1862.31/757.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.83/758.15	24:27 ERROR: Failed to solve instance
1862.83/758.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1863.45/758.73	24:28 ERROR: Failed to solve instance
1863.45/758.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1864.20/759.45	24:29 ERROR: Failed to solve instance
1864.20/759.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1868.95/763.58	24:33 ERROR: Failed to solve instance
1868.95/763.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1869.57/764.12	24:33 ERROR: Failed to solve instance
1869.57/764.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1870.18/764.72	24:34 ERROR: Failed to solve instance
1870.18/764.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1871.21/765.71	24:35 ERROR: Failed to solve instance
1871.21/765.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1871.74/766.30	24:36 ERROR: Failed to solve instance
1871.74/766.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1872.39/766.89	24:36 ERROR: Failed to solve instance
1872.39/766.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1873.13/767.56	24:37 ERROR: Failed to solve instance
1873.13/767.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1887.87/778.82	24:48 ERROR: Failed to solve instance
1887.87/778.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1888.50/779.42	24:49 ERROR: Failed to solve instance
1888.50/779.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1889.03/779.98	24:49 ERROR: Failed to solve instance
1889.03/779.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1893.65/783.87	24:53 ERROR: Failed to solve instance
1893.65/783.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1894.28/784.47	24:54 ERROR: Failed to solve instance
1894.28/784.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1895.01/785.13	24:54 ERROR: Failed to solve instance
1895.01/785.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1898.57/788.23	24:57 ERROR: Failed to solve instance
1898.57/788.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1899.19/788.82	24:58 ERROR: Failed to solve instance
1899.19/788.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1899.82/789.48	24:59 ERROR: Failed to solve instance
1899.82/789.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.34/795.36	25:05 ERROR: Failed to solve instance
1907.34/795.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.97/795.94	25:05 ERROR: Failed to solve instance
1907.97/795.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1909.06/796.93	25:06 ERROR: Failed to solve instance
1909.06/796.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1913.29/800.44	25:10 ERROR: Failed to solve instance
1913.29/800.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1913.92/801.03	25:10 ERROR: Failed to solve instance
1913.92/801.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1914.54/801.65	25:11 ERROR: Failed to solve instance
1914.54/801.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1915.82/802.90	25:12 ERROR: Failed to solve instance
1915.82/802.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1916.44/803.44	25:13 ERROR: Failed to solve instance
1916.44/803.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1917.33/804.12	25:13 ERROR: Failed to solve instance
1917.33/804.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1926.90/811.36	25:21 ERROR: Failed to solve instance
1926.90/811.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1927.94/812.32	25:22 ERROR: Failed to solve instance
1927.94/812.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1928.45/812.86	25:22 ERROR: Failed to solve instance
1928.45/812.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1932.47/816.15	25:25 ERROR: Failed to solve instance
1932.47/816.15	java.lang.OutOfMemoryError: Java heap space
1932.77/816.48	25:26 ERROR: Failed to solve instance
1932.77/816.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1940.71/822.27	25:32 ERROR: Failed to solve instance
1940.71/822.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1941.54/823.08	25:32 ERROR: Failed to solve instance
1941.54/823.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1944.86/825.90	25:35 ERROR: Failed to solve instance
1944.86/825.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1945.61/826.54	25:36 ERROR: Failed to solve instance
1945.61/826.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1946.66/827.50	25:37 ERROR: Failed to solve instance
1946.66/827.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1947.30/828.13	25:37 ERROR: Failed to solve instance
1947.30/828.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1953.68/833.60	25:43 ERROR: Failed to solve instance
1953.68/833.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1954.29/834.14	25:43 ERROR: Failed to solve instance
1954.29/834.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1954.90/834.74	25:44 ERROR: Failed to solve instance
1954.90/834.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1955.63/835.44	25:45 ERROR: Failed to solve instance
1955.63/835.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1968.07/844.79	25:54 ERROR: Failed to solve instance
1968.07/844.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1968.69/845.35	25:55 ERROR: Failed to solve instance
1968.69/845.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1969.31/845.97	25:55 ERROR: Failed to solve instance
1969.31/845.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1974.19/849.88	25:59 ERROR: Failed to solve instance
1974.19/849.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1975.42/851.06	26:00 ERROR: Failed to solve instance
1975.42/851.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1976.04/851.66	26:01 ERROR: Failed to solve instance
1976.04/851.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1976.78/852.31	26:02 ERROR: Failed to solve instance
1976.78/852.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1977.52/853.02	26:02 ERROR: Failed to solve instance
1977.52/853.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1989.87/862.61	26:12 ERROR: Failed to solve instance
1989.87/862.61	java.lang.OutOfMemoryError: Java heap space
1990.08/862.88	26:12 ERROR: Failed to solve instance
1990.08/862.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1994.56/866.65	26:16 ERROR: Failed to solve instance
1994.56/866.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1995.07/867.18	26:16 ERROR: Failed to solve instance
1995.07/867.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1995.69/867.77	26:17 ERROR: Failed to solve instance
1995.69/867.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1997.03/869.01	26:18 ERROR: Failed to solve instance
1997.03/869.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1997.66/869.68	26:19 ERROR: Failed to solve instance
1997.66/869.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1998.40/870.39	26:20 ERROR: Failed to solve instance
1998.40/870.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1999.24/871.15	26:20 ERROR: Failed to solve instance
1999.24/871.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2010.32/879.45	26:29 ERROR: Failed to solve instance
2010.32/879.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2011.25/880.39	26:30 ERROR: Failed to solve instance
2011.25/880.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2011.98/881.06	26:30 ERROR: Failed to solve instance
2011.98/881.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.59/887.04	26:36 ERROR: Failed to solve instance
2019.59/887.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2020.11/887.60	26:37 ERROR: Failed to solve instance
2020.11/887.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2020.83/888.23	26:37 ERROR: Failed to solve instance
2020.83/888.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2021.60/888.93	26:38 ERROR: Failed to solve instance
2021.60/888.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2022.58/889.80	26:39 ERROR: Failed to solve instance
2022.58/889.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2025.94/892.54	26:42 ERROR: Failed to solve instance
2025.94/892.54	java.lang.OutOfMemoryError: Java heap space
2026.24/892.85	26:42 ERROR: Failed to solve instance
2026.24/892.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2026.98/893.51	26:43 ERROR: Failed to solve instance
2026.98/893.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.61/901.61	26:51 ERROR: Failed to solve instance
2037.61/901.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2038.13/902.18	26:51 ERROR: Failed to solve instance
2038.13/902.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2039.15/903.16	26:52 ERROR: Failed to solve instance
2039.15/903.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2039.78/903.73	26:53 ERROR: Failed to solve instance
2039.78/903.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2040.41/904.36	26:54 ERROR: Failed to solve instance
2040.41/904.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2041.15/905.04	26:54 ERROR: Failed to solve instance
2041.15/905.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2050.87/912.48	27:02 ERROR: Failed to solve instance
2050.87/912.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2052.02/913.55	27:03 ERROR: Failed to solve instance
2052.02/913.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2052.33/913.88	27:03 ERROR: Failed to solve instance
2052.33/913.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2055.71/916.53	27:06 ERROR: Failed to solve instance
2055.71/916.53	java.lang.OutOfMemoryError: Java heap space
2056.35/917.16	27:06 ERROR: Failed to solve instance
2056.35/917.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2062.18/922.04	27:11 ERROR: Failed to solve instance
2062.18/922.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2063.10/922.99	27:12 ERROR: Failed to solve instance
2063.10/922.99	java.lang.OutOfMemoryError: Java heap space
2063.10/922.99	27:12 ERROR: Failed to solve instance
2063.10/922.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2063.94/923.80	27:13 ERROR: Failed to solve instance
2063.94/923.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2064.68/924.55	27:14 ERROR: Failed to solve instance
2064.68/924.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2074.10/931.29	27:21 ERROR: Failed to solve instance
2074.10/931.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2074.84/931.92	27:21 ERROR: Failed to solve instance
2074.84/931.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.82/932.89	27:22 ERROR: Failed to solve instance
2075.82/932.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2080.91/937.10	27:26 ERROR: Failed to solve instance
2080.91/937.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2081.64/937.73	27:27 ERROR: Failed to solve instance
2081.64/937.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2082.78/938.89	27:28 ERROR: Failed to solve instance
2082.78/938.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2083.50/939.58	27:29 ERROR: Failed to solve instance
2083.50/939.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.13/940.13	27:29 ERROR: Failed to solve instance
2084.13/940.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.78/940.80	27:30 ERROR: Failed to solve instance
2084.78/940.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2096.24/949.59	27:39 ERROR: Failed to solve instance
2096.24/949.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2096.85/950.18	27:39 ERROR: Failed to solve instance
2096.85/950.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2101.86/954.09	27:43 ERROR: Failed to solve instance
2101.86/954.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2102.60/954.74	27:44 ERROR: Failed to solve instance
2102.60/954.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.66/957.33	27:47 ERROR: Failed to solve instance
2105.66/957.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2110.12/961.04	27:50 ERROR: Failed to solve instance
2110.12/961.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2110.55/961.48	27:51 ERROR: Failed to solve instance
2110.55/961.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2114.54/964.67	27:54 ERROR: Failed to solve instance
2114.54/964.67	java.lang.OutOfMemoryError: Java heap space
2114.84/964.95	27:54 ERROR: Failed to solve instance
2114.84/964.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2121.05/970.12	27:59 ERROR: Failed to solve instance
2121.05/970.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2121.68/970.73	28:00 ERROR: Failed to solve instance
2121.68/970.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2122.30/971.36	28:01 ERROR: Failed to solve instance
2122.30/971.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.05/977.50	28:07 ERROR: Failed to solve instance
2130.05/977.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.70/978.05	28:07 ERROR: Failed to solve instance
2130.70/978.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2135.06/981.40	28:11 ERROR: Failed to solve instance
2135.06/981.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.37/985.71	28:15 ERROR: Failed to solve instance
2140.37/985.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.88/986.26	28:16 ERROR: Failed to solve instance
2140.88/986.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.49/986.84	28:16 ERROR: Failed to solve instance
2141.49/986.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2142.10/987.41	28:17 ERROR: Failed to solve instance
2142.10/987.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2143.12/988.43	28:18 ERROR: Failed to solve instance
2143.12/988.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2143.75/989.02	28:18 ERROR: Failed to solve instance
2143.75/989.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2144.38/989.67	28:19 ERROR: Failed to solve instance
2144.38/989.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2145.01/990.32	28:20 ERROR: Failed to solve instance
2145.01/990.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.11/997.89	28:27 ERROR: Failed to solve instance
2155.11/997.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.74/998.48	28:28 ERROR: Failed to solve instance
2155.74/998.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2156.47/999.12	28:28 ERROR: Failed to solve instance
2156.47/999.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2157.56/1000.24	28:29 ERROR: Failed to solve instance
2157.56/1000.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2162.41/1004.17	28:33 ERROR: Failed to solve instance
2162.41/1004.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2163.04/1004.77	28:34 ERROR: Failed to solve instance
2163.04/1004.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2164.18/1005.82	28:35 ERROR: Failed to solve instance
2164.18/1005.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2164.71/1006.40	28:36 ERROR: Failed to solve instance
2164.71/1006.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2165.45/1007.05	28:36 ERROR: Failed to solve instance
2165.45/1007.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2176.08/1015.19	28:44 ERROR: Failed to solve instance
2176.08/1015.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2176.71/1015.78	28:45 ERROR: Failed to solve instance
2176.71/1015.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2177.43/1016.44	28:46 ERROR: Failed to solve instance
2177.43/1016.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.03/1021.83	28:51 ERROR: Failed to solve instance
2184.03/1021.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.57/1022.40	28:52 ERROR: Failed to solve instance
2184.57/1022.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2185.28/1023.03	28:52 ERROR: Failed to solve instance
2185.28/1023.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2193.19/1029.39	28:59 ERROR: Failed to solve instance
2193.19/1029.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2193.81/1029.93	28:59 ERROR: Failed to solve instance
2193.81/1029.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2194.43/1030.55	29:00 ERROR: Failed to solve instance
2194.43/1030.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.05/1031.19	29:00 ERROR: Failed to solve instance
2195.05/1031.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2196.10/1032.16	29:01 ERROR: Failed to solve instance
2196.10/1032.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2207.84/1041.53	29:11 ERROR: Failed to solve instance
2207.84/1041.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2208.37/1042.09	29:11 ERROR: Failed to solve instance
2208.37/1042.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2208.99/1042.68	29:12 ERROR: Failed to solve instance
2208.99/1042.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2210.18/1043.78	29:13 ERROR: Failed to solve instance
2210.18/1043.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2210.82/1044.37	29:14 ERROR: Failed to solve instance
2210.82/1044.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2211.55/1045.02	29:14 ERROR: Failed to solve instance
2211.55/1045.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2222.02/1053.11	29:22 ERROR: Failed to solve instance
2222.02/1053.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2222.75/1053.74	29:23 ERROR: Failed to solve instance
2222.75/1053.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2223.78/1054.77	29:24 ERROR: Failed to solve instance
2223.78/1054.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2224.42/1055.35	29:25 ERROR: Failed to solve instance
2224.42/1055.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2225.05/1055.96	29:25 ERROR: Failed to solve instance
2225.05/1055.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2225.79/1056.62	29:26 ERROR: Failed to solve instance
2225.79/1056.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2238.66/1066.95	29:36 ERROR: Failed to solve instance
2238.66/1066.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2239.28/1067.53	29:37 ERROR: Failed to solve instance
2239.28/1067.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2239.90/1068.16	29:37 ERROR: Failed to solve instance
2239.90/1068.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2241.16/1069.36	29:39 ERROR: Failed to solve instance
2241.16/1069.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2245.19/1072.64	29:42 ERROR: Failed to solve instance
2245.19/1072.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2245.83/1073.26	29:43 ERROR: Failed to solve instance
2245.83/1073.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2248.67/1075.74	29:45 ERROR: Failed to solve instance
2248.67/1075.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2249.60/1076.65	29:46 ERROR: Failed to solve instance
2249.60/1076.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2250.34/1077.31	29:47 ERROR: Failed to solve instance
2250.34/1077.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2262.89/1086.77	29:56 ERROR: Failed to solve instance
2262.89/1086.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2263.52/1087.32	29:57 ERROR: Failed to solve instance
2263.52/1087.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2264.13/1087.91	29:57 ERROR: Failed to solve instance
2264.13/1087.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2264.75/1088.54	29:58 ERROR: Failed to solve instance
2264.75/1088.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2266.05/1089.77	29:59 ERROR: Failed to solve instance
2266.05/1089.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2270.41/1093.37	30:03 ERROR: Failed to solve instance
2270.41/1093.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2271.05/1093.93	30:03 ERROR: Failed to solve instance
2271.05/1093.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2271.67/1094.54	30:04 ERROR: Failed to solve instance
2271.67/1094.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2280.54/1101.69	30:11 ERROR: Failed to solve instance
2280.54/1101.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2281.15/1102.25	30:12 ERROR: Failed to solve instance
2281.15/1102.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.18/1103.28	30:13 ERROR: Failed to solve instance
2282.18/1103.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.82/1103.89	30:13 ERROR: Failed to solve instance
2282.82/1103.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2287.34/1107.69	30:17 ERROR: Failed to solve instance
2287.34/1107.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2287.98/1108.28	30:18 ERROR: Failed to solve instance
2287.98/1108.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2288.71/1108.95	30:18 ERROR: Failed to solve instance
2288.71/1108.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2291.50/1111.50	30:21 ERROR: Failed to solve instance
2291.50/1111.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2292.23/1112.15	30:21 ERROR: Failed to solve instance
2292.23/1112.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2305.70/1122.42	30:32 ERROR: Failed to solve instance
2305.70/1122.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2306.20/1122.97	30:32 ERROR: Failed to solve instance
2306.20/1122.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2307.43/1124.12	30:33 ERROR: Failed to solve instance
2307.43/1124.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.05/1124.73	30:34 ERROR: Failed to solve instance
2308.05/1124.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.58/1125.31	30:35 ERROR: Failed to solve instance
2308.58/1125.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2312.45/1128.36	30:38 ERROR: Failed to solve instance
2312.45/1128.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2313.08/1128.92	30:38 ERROR: Failed to solve instance
2313.08/1128.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2313.70/1129.54	30:39 ERROR: Failed to solve instance
2313.70/1129.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2314.93/1130.71	30:40 ERROR: Failed to solve instance
2314.93/1130.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2315.57/1131.36	30:41 ERROR: Failed to solve instance
2315.57/1131.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2326.33/1139.55	30:49 ERROR: Failed to solve instance
2326.33/1139.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2326.97/1140.16	30:49 ERROR: Failed to solve instance
2326.97/1140.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2328.20/1141.31	30:51 ERROR: Failed to solve instance
2328.20/1141.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2328.83/1142.01	30:51 ERROR: Failed to solve instance
2328.83/1142.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2342.34/1152.39	31:02 ERROR: Failed to solve instance
2342.34/1152.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2342.84/1152.84	31:02 ERROR: Failed to solve instance
2342.84/1152.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2343.78/1153.79	31:03 ERROR: Failed to solve instance
2343.78/1153.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2344.40/1154.34	31:04 ERROR: Failed to solve instance
2344.40/1154.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2345.02/1154.99	31:04 ERROR: Failed to solve instance
2345.02/1154.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2345.85/1155.71	31:05 ERROR: Failed to solve instance
2345.85/1155.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2351.86/1160.79	31:10 ERROR: Failed to solve instance
2351.86/1160.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2352.48/1161.33	31:11 ERROR: Failed to solve instance
2352.48/1161.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.09/1161.93	31:11 ERROR: Failed to solve instance
2353.09/1161.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.97/1162.73	31:12 ERROR: Failed to solve instance
2353.97/1162.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2359.25/1167.23	31:16 ERROR: Failed to solve instance
2359.25/1167.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2359.77/1167.81	31:17 ERROR: Failed to solve instance
2359.77/1167.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2360.63/1168.53	31:18 ERROR: Failed to solve instance
2360.63/1168.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2371.35/1176.88	31:26 ERROR: Failed to solve instance
2371.35/1176.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2371.76/1177.34	31:27 ERROR: Failed to solve instance
2371.76/1177.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2375.84/1180.57	31:30 ERROR: Failed to solve instance
2375.84/1180.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2376.48/1181.17	31:30 ERROR: Failed to solve instance
2376.48/1181.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2377.71/1182.38	31:32 ERROR: Failed to solve instance
2377.71/1182.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2378.21/1182.84	31:32 ERROR: Failed to solve instance
2378.21/1182.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2384.65/1188.18	31:37 ERROR: Failed to solve instance
2384.65/1188.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2390.72/1193.09	31:42 ERROR: Failed to solve instance
2390.72/1193.09	java.lang.OutOfMemoryError: Java heap space
2391.22/1193.55	31:43 ERROR: Failed to solve instance
2391.22/1193.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2392.26/1194.56	31:44 ERROR: Failed to solve instance
2392.26/1194.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2392.89/1195.12	31:44 ERROR: Failed to solve instance
2392.89/1195.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2393.51/1195.77	31:45 ERROR: Failed to solve instance
2393.51/1195.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2404.18/1204.08	31:53 ERROR: Failed to solve instance
2404.18/1204.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2404.80/1204.63	31:54 ERROR: Failed to solve instance
2404.80/1204.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2405.42/1205.24	31:55 ERROR: Failed to solve instance
2405.42/1205.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2406.56/1206.38	31:56 ERROR: Failed to solve instance
2406.56/1206.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2407.19/1207.01	31:56 ERROR: Failed to solve instance
2407.19/1207.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2407.97/1207.68	31:57 ERROR: Failed to solve instance
2407.97/1207.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2418.25/1215.62	32:05 ERROR: Failed to solve instance
2418.25/1215.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2418.78/1216.19	32:05 ERROR: Failed to solve instance
2418.78/1216.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2419.51/1216.83	32:06 ERROR: Failed to solve instance
2419.51/1216.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2428.40/1224.13	32:13 ERROR: Failed to solve instance
2428.40/1224.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2429.42/1225.16	32:14 ERROR: Failed to solve instance
2429.42/1225.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2430.04/1225.74	32:15 ERROR: Failed to solve instance
2430.04/1225.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2430.67/1226.38	32:16 ERROR: Failed to solve instance
2430.67/1226.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2431.43/1227.05	32:16 ERROR: Failed to solve instance
2431.43/1227.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2442.70/1236.18	32:25 ERROR: Failed to solve instance
2442.70/1236.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2443.81/1237.25	32:26 ERROR: Failed to solve instance
2443.81/1237.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2444.42/1237.83	32:27 ERROR: Failed to solve instance
2444.42/1237.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2445.04/1238.43	32:28 ERROR: Failed to solve instance
2445.04/1238.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2445.66/1239.06	32:28 ERROR: Failed to solve instance
2445.66/1239.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2447.00/1240.32	32:29 ERROR: Failed to solve instance
2447.00/1240.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2447.43/1240.78	32:30 ERROR: Failed to solve instance
2447.43/1240.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2460.57/1251.43	32:41 ERROR: Failed to solve instance
2460.57/1251.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2461.09/1251.97	32:41 ERROR: Failed to solve instance
2461.09/1251.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2461.72/1252.57	32:42 ERROR: Failed to solve instance
2461.72/1252.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2462.44/1253.20	32:42 ERROR: Failed to solve instance
2462.44/1253.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2468.25/1258.20	32:47 ERROR: Failed to solve instance
2468.25/1258.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2468.98/1258.81	32:48 ERROR: Failed to solve instance
2468.98/1258.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2470.12/1259.95	32:49 ERROR: Failed to solve instance
2470.12/1259.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2470.85/1260.65	32:50 ERROR: Failed to solve instance
2470.85/1260.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2471.70/1261.46	32:51 ERROR: Failed to solve instance
2471.70/1261.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2472.34/1262.09	32:51 ERROR: Failed to solve instance
2472.34/1262.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2478.16/1266.87	32:56 ERROR: Failed to solve instance
2478.16/1266.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2479.00/1267.64	32:57 ERROR: Failed to solve instance
2479.00/1267.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2489.79/1275.86	33:05 ERROR: Failed to solve instance
2489.79/1275.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2490.43/1276.48	33:06 ERROR: Failed to solve instance
2490.43/1276.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2491.67/1277.65	33:07 ERROR: Failed to solve instance
2491.67/1277.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2492.30/1278.30	33:08 ERROR: Failed to solve instance
2492.30/1278.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2493.16/1279.01	33:08 ERROR: Failed to solve instance
2493.16/1279.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2493.79/1279.63	33:09 ERROR: Failed to solve instance
2493.79/1279.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2505.44/1288.84	33:18 ERROR: Failed to solve instance
2505.44/1288.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2506.06/1289.43	33:19 ERROR: Failed to solve instance
2506.06/1289.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2507.30/1290.63	33:20 ERROR: Failed to solve instance
2507.30/1290.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2507.93/1291.25	33:21 ERROR: Failed to solve instance
2507.93/1291.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2508.56/1291.91	33:21 ERROR: Failed to solve instance
2508.56/1291.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2509.39/1292.69	33:22 ERROR: Failed to solve instance
2509.39/1292.69	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-3311136-1304111509/watcher-3311136-1304111509 -o /tmp/evaluation-result-3311136-1304111509/solver-3311136-1304111509 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311136-1304111509.cnf -hbr 2 

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

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


[startup+0 s]
/proc/loadavg: 3.73 5.00 6.06 2/194 17054
/proc/meminfo: memFree=23060940/32951124 swapFree=67111524/67111528
[pid=17054] ppid=17052 vsize=27160 CPUtime=0 cores=1,3,5,7
/proc/17054/stat : 17054 (java) S 17052 17054 16386 0 -1 4202496 1414 0 0 0 0 0 0 0 20 0 2 0 522751365 27811840 885 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/17054/statm: 6793 890 680 9 0 381 0
[pid=17054/tid=17055] ppid=17052 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17055/stat : 17055 (java) R 17052 17054 16386 0 -1 4202560 66 0 0 0 0 0 0 0 21 0 2 0 522751366 27824128 894 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244442021511 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.0791739 s]
/proc/loadavg: 3.73 5.00 6.06 2/194 17054
/proc/meminfo: memFree=23060940/32951124 swapFree=67111524/67111528
[pid=17054] ppid=17052 vsize=15677088 CPUtime=0.08 cores=1,3,5,7
/proc/17054/stat : 17054 (java) S 17052 17054 16386 0 -1 4202496 5243 0 1 0 7 1 0 0 20 0 18 0 522751365 16053338112 4647 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17054/statm: 3919272 4652 2082 9 0 3909991 0
[pid=17054/tid=17055] ppid=17052 vsize=15677088 CPUtime=0.06 cores=1,3,5,7
/proc/17054/task/17055/stat : 17055 (java) R 17052 17054 16386 0 -1 4202560 3153 0 1 0 6 0 0 0 25 0 18 0 522751366 16053338112 4652 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15677088

[startup+0.101201 s]
/proc/loadavg: 3.73 5.00 6.06 2/194 17054
/proc/meminfo: memFree=23060940/32951124 swapFree=67111524/67111528
[pid=17054] ppid=17052 vsize=15677088 CPUtime=0.1 cores=1,3,5,7
/proc/17054/stat : 17054 (java) S 17052 17054 16386 0 -1 4202496 5655 0 1 0 9 1 0 0 20 0 18 0 522751365 16053338112 5059 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17054/statm: 3919272 5059 2117 9 0 3909991 0
[pid=17054/tid=17055] ppid=17052 vsize=15677088 CPUtime=0.09 cores=1,3,5,7
/proc/17054/task/17055/stat : 17055 (java) R 17052 17054 16386 0 -1 4202560 3480 0 1 0 8 1 0 0 25 0 18 0 522751366 16053338112 5059 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 47050912679418 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677088

[startup+0.301167 s]
/proc/loadavg: 3.73 5.00 6.06 2/194 17054
/proc/meminfo: memFree=23060940/32951124 swapFree=67111524/67111528
[pid=17054] ppid=17052 vsize=15683232 CPUtime=0.52 cores=1,3,5,7
/proc/17054/stat : 17054 (java) S 17052 17054 16386 0 -1 4202496 15758 0 1 0 48 4 0 0 20 0 18 0 522751365 16059629568 14662 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17054/statm: 3920808 14669 2206 9 0 3911527 0
[pid=17054/tid=17055] ppid=17052 vsize=15683232 CPUtime=0.28 cores=1,3,5,7
/proc/17054/task/17055/stat : 17055 (java) R 17052 17054 16386 0 -1 4202560 11121 0 1 0 26 2 0 0 25 0 18 0 522751366 16059629568 14672 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 46912505642225 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15683232

[startup+0.701088 s]
/proc/loadavg: 3.73 5.00 6.06 2/194 17054
/proc/meminfo: memFree=23060940/32951124 swapFree=67111524/67111528
[pid=17054] ppid=17052 vsize=15683232 CPUtime=0.92 cores=1,3,5,7
/proc/17054/stat : 17054 (java) S 17052 17054 16386 0 -1 4202496 41392 0 1 0 85 7 0 0 20 0 18 0 522751365 16059629568 40292 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17054/statm: 3920808 40292 2222 9 0 3911527 0
[pid=17054/tid=17055] ppid=17052 vsize=15683232 CPUtime=0.68 cores=1,3,5,7
/proc/17054/task/17055/stat : 17055 (java) R 17052 17054 16386 0 -1 4202560 35529 0 1 0 62 6 0 0 25 0 18 0 522751366 16059629568 40292 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 46912505552901 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15683232

[startup+1.50091 s]
/proc/loadavg: 3.73 5.00 6.06 7/216 17076
/proc/meminfo: memFree=22744756/32951124 swapFree=67111524/67111528
[pid=17054] ppid=17052 vsize=15689416 CPUtime=2.1 cores=1,3,5,7
/proc/17054/stat : 17054 (java) S 17052 17054 16386 0 -1 4202496 54895 0 1 0 200 10 0 0 20 0 22 0 522751365 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17054/statm: 3922354 51399 2260 9 0 3913073 0
[pid=17054/tid=17055] ppid=17052 vsize=15689416 CPUtime=1.46 cores=1,3,5,7
/proc/17054/task/17055/stat : 17055 (java) R 17052 17054 16386 0 -1 4202560 35639 0 1 0 140 6 0 0 25 0 22 0 522751366 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 46912505718324 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=17054/tid=17057] ppid=17052 vsize=15689416 CPUtime=0.01 cores=1,3,5,7
/proc/17054/task/17057/stat : 17057 (java) S 17052 17054 16386 0 -1 4202560 1181 0 0 0 1 0 0 0 16 0 22 0 522751366 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17058] ppid=17052 vsize=15689416 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17058/stat : 17058 (java) S 17052 17054 16386 0 -1 4202560 2160 0 0 0 0 0 0 0 16 0 22 0 522751366 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17059] ppid=17052 vsize=15689416 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17059/stat : 17059 (java) S 17052 17054 16386 0 -1 4202560 1545 0 0 0 0 0 0 0 16 0 22 0 522751366 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17060] ppid=17052 vsize=15689416 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17060/stat : 17060 (java) S 17052 17054 16386 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 22 0 522751366 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17061] ppid=17052 vsize=15689416 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17061/stat : 17061 (java) S 17052 17054 16386 0 -1 4202560 707 0 0 0 0 0 0 0 16 0 22 0 522751366 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17062] ppid=17052 vsize=15689416 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17062/stat : 17062 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 522751366 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17063] ppid=17052 vsize=15689416 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17063/stat : 17063 (java) S 17052 17054 16386 0 -1 4202560 33 0 0 0 0 0 0 0 16 0 22 0 522751366 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17064] ppid=17052 vsize=15689416 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17064/stat : 17064 (java) S 17052 17054 16386 0 -1 4202560 1552 0 0 0 0 0 0 0 16 0 22 0 522751366 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17065] ppid=17052 vsize=15689416 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17065/stat : 17065 (java) S 17052 17054 16386 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 522751367 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761728 0 0 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17066] ppid=17052 vsize=15689416 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17066/stat : 17066 (java) S 17052 17054 16386 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522751368 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17067] ppid=17052 vsize=15689416 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17067/stat : 17067 (java) S 17052 17054 16386 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522751368 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17068] ppid=17052 vsize=15689416 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17068/stat : 17068 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522751370 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458768817 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17069] ppid=17052 vsize=15689416 CPUtime=0.38 cores=1,3,5,7
/proc/17054/task/17069/stat : 17069 (java) R 17052 17054 16386 0 -1 4202560 8510 0 0 0 36 2 0 0 16 0 22 0 522751370 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 47050910465035 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=17054/tid=17070] ppid=17052 vsize=15689416 CPUtime=0.17 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (java) S 17052 17054 16386 0 -1 4202560 2067 0 0 0 17 0 0 0 15 0 22 0 522751370 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17071] ppid=17052 vsize=15689416 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522751370 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17072] ppid=17052 vsize=15689416 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522751370 16065961984 51399 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761728 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 15689416

[startup+3.10164 s]
/proc/loadavg: 3.73 5.00 6.06 8/220 17080
/proc/meminfo: memFree=22461508/32951124 swapFree=67111524/67111528
[pid=17054] ppid=17052 vsize=15693308 CPUtime=4.97 cores=1,3,5,7
/proc/17054/stat : 17054 (java) S 17052 17054 16386 0 -1 4202496 72729 0 1 0 484 13 0 0 20 0 22 0 522751365 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17054/statm: 3923327 67067 2274 9 0 3914046 0
[pid=17054/tid=17055] ppid=17052 vsize=15693308 CPUtime=2.76 cores=1,3,5,7
/proc/17054/task/17055/stat : 17055 (java) S 17052 17054 16386 0 -1 4202560 35693 0 1 0 270 6 0 0 25 0 22 0 522751366 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17057] ppid=17052 vsize=15693308 CPUtime=0.01 cores=1,3,5,7
/proc/17054/task/17057/stat : 17057 (java) S 17052 17054 16386 0 -1 4202560 1181 0 0 0 1 0 0 0 15 0 22 0 522751366 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17058] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17058/stat : 17058 (java) S 17052 17054 16386 0 -1 4202560 2160 0 0 0 0 0 0 0 15 0 22 0 522751366 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17059] ppid=17052 vsize=15693308 CPUtime=0.02 cores=1,3,5,7
/proc/17054/task/17059/stat : 17059 (java) S 17052 17054 16386 0 -1 4202560 4882 0 0 0 2 0 0 0 15 0 22 0 522751366 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17060] ppid=17052 vsize=15693308 CPUtime=0.01 cores=1,3,5,7
/proc/17054/task/17060/stat : 17060 (java) S 17052 17054 16386 0 -1 4202560 2588 0 0 0 1 0 0 0 15 0 22 0 522751366 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17061] ppid=17052 vsize=15693308 CPUtime=0.01 cores=1,3,5,7
/proc/17054/task/17061/stat : 17061 (java) S 17052 17054 16386 0 -1 4202560 2898 0 0 0 1 0 0 0 15 0 22 0 522751366 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17062] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17062/stat : 17062 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522751366 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17063] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17063/stat : 17063 (java) S 17052 17054 16386 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 22 0 522751366 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17064] ppid=17052 vsize=15693308 CPUtime=0.02 cores=1,3,5,7
/proc/17054/task/17064/stat : 17064 (java) S 17052 17054 16386 0 -1 4202560 4806 0 0 0 2 0 0 0 16 0 22 0 522751366 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17065] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17065/stat : 17065 (java) S 17052 17054 16386 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 22 0 522751367 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761728 0 0 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17066] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17066/stat : 17066 (java) S 17052 17054 16386 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522751368 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17067] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17067/stat : 17067 (java) S 17052 17054 16386 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522751368 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17068] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17068/stat : 17068 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522751370 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458768817 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17069] ppid=17052 vsize=15693308 CPUtime=1 cores=1,3,5,7
/proc/17054/task/17069/stat : 17069 (java) S 17052 17054 16386 0 -1 4202560 13382 0 0 0 98 2 0 0 15 0 22 0 522751370 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17070] ppid=17052 vsize=15693308 CPUtime=0.68 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (java) S 17052 17054 16386 0 -1 4202560 3575 0 0 0 68 0 0 0 16 0 22 0 522751370 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17071] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522751370 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17072] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522751370 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761728 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17077] ppid=17052 vsize=15693308 CPUtime=0.12 cores=1,3,5,7
/proc/17054/task/17077/stat : 17077 (java) R 17052 17054 16386 0 -1 4202560 14 0 0 0 12 0 0 0 16 0 22 0 522751472 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 46912506090296 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=17054/tid=17078] ppid=17052 vsize=15693308 CPUtime=0.11 cores=1,3,5,7
/proc/17054/task/17078/stat : 17078 (java) S 17052 17054 16386 0 -1 4202560 23 0 0 0 11 0 0 0 15 0 22 0 522751472 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761728 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17079] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17079/stat : 17079 (java) S 17052 17054 16386 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522751472 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761728 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17080] ppid=17052 vsize=15693308 CPUtime=0.12 cores=1,3,5,7
/proc/17054/task/17080/stat : 17080 (java) R 17052 17054 16386 0 -1 4202560 9 0 0 0 12 0 0 0 15 0 22 0 522751472 16069947392 67067 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 46912505523436 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 15693308

[startup+6.30101 s]
/proc/loadavg: 4.23 5.08 6.08 9/220 17080
/proc/meminfo: memFree=21143676/32951124 swapFree=67111524/67111528
[pid=17054] ppid=17052 vsize=15693308 CPUtime=15.54 cores=1,3,5,7
/proc/17054/stat : 17054 (java) S 17052 17054 16386 0 -1 4202496 261405 0 1 0 1510 44 0 0 20 0 22 0 522751365 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17054/statm: 3923327 253879 2282 9 0 3914046 0
[pid=17054/tid=17055] ppid=17052 vsize=15693308 CPUtime=2.76 cores=1,3,5,7
/proc/17054/task/17055/stat : 17055 (java) S 17052 17054 16386 0 -1 4202560 35693 0 1 0 270 6 0 0 25 0 22 0 522751366 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17057] ppid=17052 vsize=15693308 CPUtime=0.04 cores=1,3,5,7
/proc/17054/task/17057/stat : 17057 (java) S 17052 17054 16386 0 -1 4202560 6389 0 0 0 3 1 0 0 15 0 22 0 522751366 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17058] ppid=17052 vsize=15693308 CPUtime=0.01 cores=1,3,5,7
/proc/17054/task/17058/stat : 17058 (java) S 17052 17054 16386 0 -1 4202560 2160 0 0 0 1 0 0 0 15 0 22 0 522751366 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17059] ppid=17052 vsize=15693308 CPUtime=0.11 cores=1,3,5,7
/proc/17054/task/17059/stat : 17059 (java) S 17052 17054 16386 0 -1 4202560 15765 0 0 0 9 2 0 0 16 0 22 0 522751366 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17060] ppid=17052 vsize=15693308 CPUtime=0.25 cores=1,3,5,7
/proc/17054/task/17060/stat : 17060 (java) S 17052 17054 16386 0 -1 4202560 29260 0 0 0 20 5 0 0 16 0 22 0 522751366 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17061] ppid=17052 vsize=15693308 CPUtime=0.26 cores=1,3,5,7
/proc/17054/task/17061/stat : 17061 (java) S 17052 17054 16386 0 -1 4202560 27330 0 0 0 22 4 0 0 15 0 22 0 522751366 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17062] ppid=17052 vsize=15693308 CPUtime=0.1 cores=1,3,5,7
/proc/17054/task/17062/stat : 17062 (java) S 17052 17054 16386 0 -1 4202560 12792 0 0 0 8 2 0 0 16 0 22 0 522751366 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17063] ppid=17052 vsize=15693308 CPUtime=0.11 cores=1,3,5,7
/proc/17054/task/17063/stat : 17063 (java) S 17052 17054 16386 0 -1 4202560 19392 0 0 0 8 3 0 0 16 0 22 0 522751366 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17064] ppid=17052 vsize=15693308 CPUtime=0.28 cores=1,3,5,7
/proc/17054/task/17064/stat : 17064 (java) S 17052 17054 16386 0 -1 4202560 37258 0 0 0 22 6 0 0 15 0 22 0 522751366 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17065] ppid=17052 vsize=15693308 CPUtime=0.2 cores=1,3,5,7
/proc/17054/task/17065/stat : 17065 (java) S 17052 17054 16386 0 -1 4202560 588 0 0 0 20 0 0 0 15 0 22 0 522751367 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761728 0 0 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17066] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17066/stat : 17066 (java) S 17052 17054 16386 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522751368 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17067] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17067/stat : 17067 (java) S 17052 17054 16386 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522751368 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17068] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17068/stat : 17068 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522751370 16069947392 253879 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458768817 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0

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

/proc/17054/task/17061/stat : 17061 (java) S 17052 17054 16386 0 -1 4202560 356081 0 0 0 288 59 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17062] ppid=17052 vsize=15693308 CPUtime=3.6 cores=1,3,5,7
/proc/17054/task/17062/stat : 17062 (java) S 17052 17054 16386 0 -1 4202560 368637 0 0 0 298 62 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17063] ppid=17052 vsize=15693308 CPUtime=4 cores=1,3,5,7
/proc/17054/task/17063/stat : 17063 (java) S 17052 17054 16386 0 -1 4202560 359707 0 0 0 344 56 0 0 15 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17064] ppid=17052 vsize=15693308 CPUtime=4.72 cores=1,3,5,7
/proc/17054/task/17064/stat : 17064 (java) S 17052 17054 16386 0 -1 4202560 439379 0 0 0 400 72 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17065] ppid=17052 vsize=15693308 CPUtime=779.25 cores=1,3,5,7
/proc/17054/task/17065/stat : 17065 (java) R 17052 17054 16386 0 -1 4202560 539181 0 0 0 77821 104 0 0 18 0 22 0 522751367 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 47050910511420 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=17054/tid=17066] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17066/stat : 17066 (java) S 17052 17054 16386 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 522751368 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17067] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17067/stat : 17067 (java) S 17052 17054 16386 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 522751368 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17068] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17068/stat : 17068 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458768817 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17069] ppid=17052 vsize=15693308 CPUtime=1.26 cores=1,3,5,7
/proc/17054/task/17069/stat : 17069 (java) S 17052 17054 16386 0 -1 4202560 13405 0 0 0 124 2 0 0 16 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17070] ppid=17052 vsize=15693308 CPUtime=0.9 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (java) S 17052 17054 16386 0 -1 4202560 3616 0 0 0 90 0 0 0 15 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17071] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17072] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (java) S 17052 17054 16386 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761728 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17077] ppid=17052 vsize=15693308 CPUtime=390.6 cores=1,3,5,7
/proc/17054/task/17077/stat : 17077 (java) S 17052 17054 16386 0 -1 4202560 49679 0 0 0 39047 13 0 0 15 0 22 0 522751472 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17078] ppid=17052 vsize=15693308 CPUtime=390.98 cores=1,3,5,7
/proc/17054/task/17078/stat : 17078 (java) S 17052 17054 16386 0 -1 4202560 60049 0 0 0 39084 14 0 0 15 0 22 0 522751472 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17079] ppid=17052 vsize=15693308 CPUtime=389.86 cores=1,3,5,7
/proc/17054/task/17079/stat : 17079 (java) S 17052 17054 16386 0 -1 4202560 48874 0 0 0 38973 13 0 0 15 0 22 0 522751472 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17080] ppid=17052 vsize=15693308 CPUtime=391.02 cores=1,3,5,7
/proc/17054/task/17080/stat : 17080 (java) S 17052 17054 16386 0 -1 4202560 40382 0 0 0 39087 15 0 0 15 0 22 0 522751472 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2377.71
Current children cumulated vsize (KiB) 15693308

[startup+1242.3 s]
/proc/loadavg: 3.28 4.79 5.63 2/193 17133
/proc/meminfo: memFree=7743504/32951124 swapFree=67111524/67111528
[pid=17054] ppid=17052 vsize=15693308 CPUtime=2449.62 cores=1,3,5,7
/proc/17054/stat : 17054 (java) S 17052 17054 16386 0 -1 4202496 3882174 0 1 0 244281 681 0 0 20 0 22 0 522751365 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17054/statm: 3923327 3829534 2293 9 0 3914046 0
[pid=17054/tid=17055] ppid=17052 vsize=15693308 CPUtime=2.76 cores=1,3,5,7
/proc/17054/task/17055/stat : 17055 (java) S 17052 17054 16386 0 -1 4202560 35693 0 1 0 270 6 0 0 25 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17057] ppid=17052 vsize=15693308 CPUtime=2.99 cores=1,3,5,7
/proc/17054/task/17057/stat : 17057 (java) S 17052 17054 16386 0 -1 4202560 328488 0 0 0 248 51 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17058] ppid=17052 vsize=15693308 CPUtime=3.47 cores=1,3,5,7
/proc/17054/task/17058/stat : 17058 (java) S 17052 17054 16386 0 -1 4202560 389024 0 0 0 285 62 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17059] ppid=17052 vsize=15693308 CPUtime=4.56 cores=1,3,5,7
/proc/17054/task/17059/stat : 17059 (java) S 17052 17054 16386 0 -1 4202560 434366 0 0 0 385 71 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17060] ppid=17052 vsize=15693308 CPUtime=4.1 cores=1,3,5,7
/proc/17054/task/17060/stat : 17060 (java) S 17052 17054 16386 0 -1 4202560 413792 0 0 0 342 68 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17061] ppid=17052 vsize=15693308 CPUtime=3.47 cores=1,3,5,7
/proc/17054/task/17061/stat : 17061 (java) S 17052 17054 16386 0 -1 4202560 356081 0 0 0 288 59 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17062] ppid=17052 vsize=15693308 CPUtime=3.6 cores=1,3,5,7
/proc/17054/task/17062/stat : 17062 (java) S 17052 17054 16386 0 -1 4202560 368637 0 0 0 298 62 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17063] ppid=17052 vsize=15693308 CPUtime=4 cores=1,3,5,7
/proc/17054/task/17063/stat : 17063 (java) S 17052 17054 16386 0 -1 4202560 359707 0 0 0 344 56 0 0 15 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17064] ppid=17052 vsize=15693308 CPUtime=4.72 cores=1,3,5,7
/proc/17054/task/17064/stat : 17064 (java) S 17052 17054 16386 0 -1 4202560 439379 0 0 0 400 72 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17065] ppid=17052 vsize=15693308 CPUtime=835.23 cores=1,3,5,7
/proc/17054/task/17065/stat : 17065 (java) R 17052 17054 16386 0 -1 4202560 539183 0 0 0 83416 107 0 0 18 0 22 0 522751367 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 47050910486746 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=17054/tid=17066] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17066/stat : 17066 (java) S 17052 17054 16386 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 522751368 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17067] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17067/stat : 17067 (java) S 17052 17054 16386 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 522751368 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17068] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17068/stat : 17068 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458768817 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17069] ppid=17052 vsize=15693308 CPUtime=1.26 cores=1,3,5,7
/proc/17054/task/17069/stat : 17069 (java) S 17052 17054 16386 0 -1 4202560 13405 0 0 0 124 2 0 0 16 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17070] ppid=17052 vsize=15693308 CPUtime=0.9 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (java) S 17052 17054 16386 0 -1 4202560 3616 0 0 0 90 0 0 0 15 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17071] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17072] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (java) S 17052 17054 16386 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761728 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17077] ppid=17052 vsize=15693308 CPUtime=394.58 cores=1,3,5,7
/proc/17054/task/17077/stat : 17077 (java) S 17052 17054 16386 0 -1 4202560 49778 0 0 0 39445 13 0 0 15 0 22 0 522751472 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17078] ppid=17052 vsize=15693308 CPUtime=394.96 cores=1,3,5,7
/proc/17054/task/17078/stat : 17078 (java) S 17052 17054 16386 0 -1 4202560 60137 0 0 0 39481 15 0 0 15 0 22 0 522751472 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17079] ppid=17052 vsize=15693308 CPUtime=393.86 cores=1,3,5,7
/proc/17054/task/17079/stat : 17079 (java) S 17052 17054 16386 0 -1 4202560 48951 0 0 0 39372 14 0 0 15 0 22 0 522751472 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761728 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17080] ppid=17052 vsize=15693308 CPUtime=395 cores=1,3,5,7
/proc/17054/task/17080/stat : 17080 (java) S 17052 17054 16386 0 -1 4202560 40478 0 0 0 39485 15 0 0 15 0 22 0 522751472 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2449.62
Current children cumulated vsize (KiB) 15693308



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.44 4.28 5.40 2/193 17135
/proc/meminfo: memFree=7743204/32951124 swapFree=67111524/67111528
[pid=17054] ppid=17052 vsize=15693308 CPUtime=2519.14 cores=1,3,5,7
/proc/17054/stat : 17054 (java) S 17052 17054 16386 0 -1 4202496 3882515 0 1 0 251228 686 0 0 20 0 22 0 522751365 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17054/statm: 3923327 3829534 2293 9 0 3914046 0
[pid=17054/tid=17055] ppid=17052 vsize=15693308 CPUtime=2.76 cores=1,3,5,7
/proc/17054/task/17055/stat : 17055 (java) S 17052 17054 16386 0 -1 4202560 35693 0 1 0 270 6 0 0 25 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17057] ppid=17052 vsize=15693308 CPUtime=2.99 cores=1,3,5,7
/proc/17054/task/17057/stat : 17057 (java) S 17052 17054 16386 0 -1 4202560 328488 0 0 0 248 51 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17058] ppid=17052 vsize=15693308 CPUtime=3.47 cores=1,3,5,7
/proc/17054/task/17058/stat : 17058 (java) S 17052 17054 16386 0 -1 4202560 389024 0 0 0 285 62 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17059] ppid=17052 vsize=15693308 CPUtime=4.56 cores=1,3,5,7
/proc/17054/task/17059/stat : 17059 (java) S 17052 17054 16386 0 -1 4202560 434366 0 0 0 385 71 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17060] ppid=17052 vsize=15693308 CPUtime=4.1 cores=1,3,5,7
/proc/17054/task/17060/stat : 17060 (java) S 17052 17054 16386 0 -1 4202560 413792 0 0 0 342 68 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17061] ppid=17052 vsize=15693308 CPUtime=3.47 cores=1,3,5,7
/proc/17054/task/17061/stat : 17061 (java) S 17052 17054 16386 0 -1 4202560 356081 0 0 0 288 59 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17062] ppid=17052 vsize=15693308 CPUtime=3.6 cores=1,3,5,7
/proc/17054/task/17062/stat : 17062 (java) S 17052 17054 16386 0 -1 4202560 368637 0 0 0 298 62 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17063] ppid=17052 vsize=15693308 CPUtime=4 cores=1,3,5,7
/proc/17054/task/17063/stat : 17063 (java) S 17052 17054 16386 0 -1 4202560 359707 0 0 0 344 56 0 0 15 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17064] ppid=17052 vsize=15693308 CPUtime=4.72 cores=1,3,5,7
/proc/17054/task/17064/stat : 17064 (java) S 17052 17054 16386 0 -1 4202560 439379 0 0 0 400 72 0 0 16 0 22 0 522751366 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17065] ppid=17052 vsize=15693308 CPUtime=888.92 cores=1,3,5,7
/proc/17054/task/17065/stat : 17065 (java) R 17052 17054 16386 0 -1 4202560 539188 0 0 0 88781 111 0 0 18 0 22 0 522751367 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 47050913205550 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=17054/tid=17066] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17066/stat : 17066 (java) S 17052 17054 16386 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 522751368 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17067] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17067/stat : 17067 (java) S 17052 17054 16386 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 522751368 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17068] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17068/stat : 17068 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458768817 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17069] ppid=17052 vsize=15693308 CPUtime=1.26 cores=1,3,5,7
/proc/17054/task/17069/stat : 17069 (java) S 17052 17054 16386 0 -1 4202560 13405 0 0 0 124 2 0 0 16 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17070] ppid=17052 vsize=15693308 CPUtime=0.9 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (java) S 17052 17054 16386 0 -1 4202560 3618 0 0 0 90 0 0 0 15 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
[pid=17054/tid=17071] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17071/stat : 17071 (java) S 17052 17054 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17072] ppid=17052 vsize=15693308 CPUtime=0 cores=1,3,5,7
/proc/17054/task/17072/stat : 17072 (java) S 17052 17054 16386 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 522751370 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761728 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17077] ppid=17052 vsize=15693308 CPUtime=398.55 cores=1,3,5,7
/proc/17054/task/17077/stat : 17077 (java) S 17052 17054 16386 0 -1 4202560 49848 0 0 0 39841 14 0 0 15 0 22 0 522751472 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761728 0 4 0 16800975 18446604464356402304 0 0 -1 1 0 0 0
[pid=17054/tid=17078] ppid=17052 vsize=15693308 CPUtime=398.91 cores=1,3,5,7
/proc/17054/task/17078/stat : 17078 (java) S 17052 17054 16386 0 -1 4202560 60225 0 0 0 39876 15 0 0 15 0 22 0 522751472 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 5 0 0 0
[pid=17054/tid=17079] ppid=17052 vsize=15693308 CPUtime=397.82 cores=1,3,5,7
/proc/17054/task/17079/stat : 17079 (java) S 17052 17054 16386 0 -1 4202560 49027 0 0 0 39768 14 0 0 15 0 22 0 522751472 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 3 0 0 0
[pid=17054/tid=17080] ppid=17052 vsize=15693308 CPUtime=398.94 cores=1,3,5,7
/proc/17054/task/17080/stat : 17080 (java) S 17052 17054 16386 0 -1 4202560 40575 0 0 0 39879 15 0 0 15 0 22 0 522751472 16069947392 3829534 33554432000 1073741824 1073778376 140734216292064 18446744073709551615 244458761113 0 4 0 16800975 18446604464356402304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2519.14
Current children cumulated vsize (KiB) 15693308

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -17054

[startup+1302.3 s]
/proc/loadavg: 2.44 4.28 5.40 2/194 17136
/proc/meminfo: memFree=7743196/32951124 swapFree=67111524/67111528
[pid=17054] ppid=17052 vsize=0 CPUtime=2521.72 cores=1,3,5,7
/proc/17054/stat : 17054 (java) Z 17052 17054 16386 0 -1 4203548 3882537 0 1 0 251458 714 0 0 18 0 2 0 522751365 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17054/statm: 0 0 0 0 0 0 0
[pid=17054/tid=17070] ppid=17052 vsize=0 CPUtime=1.18 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (java) R 17052 17054 16386 0 -1 4203588 3618 0 0 0 90 28 0 0 16 0 2 0 522751370 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2521.72
Current children cumulated vsize (KiB) 0

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

[startup+1302.5 s]
/proc/loadavg: 2.44 4.28 5.40 2/194 17136
/proc/meminfo: memFree=7743196/32951124 swapFree=67111524/67111528
[pid=17054] ppid=17052 vsize=0 CPUtime=2521.92 cores=1,3,5,7
/proc/17054/stat : 17054 (java) Z 17052 17054 16386 0 -1 4203548 3882537 0 1 0 251458 734 0 0 18 0 2 0 522751365 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17054/statm: 0 0 0 0 0 0 0
[pid=17054/tid=17070] ppid=17052 vsize=0 CPUtime=1.38 cores=1,3,5,7
/proc/17054/task/17070/stat : 17070 (java) R 17052 17054 16386 0 -1 4203588 3618 0 0 0 90 48 0 0 16 0 2 0 522751370 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2521.92
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.57
CPU time (s): 2522
CPU user time (s): 2514.58
CPU system time (s): 7.41487
CPU usage (%): 193.617
Max. virtual memory (cumulated for all children) (KiB): 15694336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.58
system time used= 7.41487
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3882537
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= 66507
involuntary context switches= 38271

runsolver used 2.26266 second user time and 5.11222 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 23:11:49
IDJOB=3311136
IDBENCH=82521
IDSOLVER=1698
FILE ID=node105/3311136-1304111509
RUNJOBID= node105-1304111509-17018
PBS_JOBID= 13170654
Free space on /tmp= 71932 MiB

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

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

MD5SUM BENCH= fcb14103324f734a2e69e02c062e67ed
RANDOM SEED=1967595860

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23061460 kB
Buffers:       2158720 kB
Cached:        7099280 kB
SwapCached:          4 kB
Active:         590596 kB
Inactive:      8750652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23061460 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            8300 kB
Writeback:           0 kB
AnonPages:       82972 kB
Mapped:          22640 kB
Slab:           483492 kB
PageTables:       4732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   776672 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= 71932 MiB
End job on node105 at 2011-04-29 23:33:32