Trace number 3311151

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) 2511.41 1302.56

General information on the benchmark

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

Solver Data 

0.11/0.11	21:19 INFO : Reading from input HOME/instance-3311151-1304112078.cnf
1.24/1.05	Executor set job limit to 1000000
1.24/1.05	Executor set job limit to 1000000
1.24/1.05	Executor set job limit to 1000000
1.24/1.05	Executor set job limit to 1000000
1.24/1.05	Starting Executor!
1.24/1.05	Starting Executor!
1.24/1.05	Starting Executor!
1.24/1.05	Starting Executor!
5.07/3.19	21:22 INFO : 49817 variables remaining out of 49999
5.07/3.19	21:22 INFO : 835392 literals remaining out of 840000
1390.47/375.32	27:34 ERROR: Failed to solve instance
1390.47/375.32	java.lang.OutOfMemoryError: Java heap space
1390.47/375.32		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1390.47/375.32		at gnu.trove.THash.postInsertHook(THash.java:370)
1390.47/375.32		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1390.47/375.32		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1390.47/375.32		at ibis.structure.Subsumming.run(Subsumming.java:58)
1390.47/375.32		at ibis.structure.Solver.simplify(Solver.java:205)
1390.47/375.32		at ibis.structure.Solver.solve(Solver.java:113)
1390.47/375.32		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1390.47/375.32		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1390.47/375.32		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1390.47/375.32		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1390.47/375.32		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1390.47/375.32		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1390.47/375.32		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1390.47/375.32		at ibis.constellation.Executor.processActivities(Executor.java:75)
1390.47/375.32		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1390.47/375.32		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1390.47/375.32		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1400.00/383.73	27:42 ERROR: Failed to solve instance
1400.00/383.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1400.00/383.73		at ibis.structure.HyperBinaryResolution.<init>(HyperBinaryResolution.java:50)
1400.00/383.73		at ibis.structure.Solver.simplify(Solver.java:191)
1400.00/383.73		at ibis.structure.Solver.solve(Solver.java:113)
1400.00/383.73		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1400.00/383.73		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1400.00/383.73		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1400.00/383.73		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1400.00/383.73		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1400.00/383.73		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1400.00/383.73		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1400.00/383.73		at ibis.constellation.Executor.processActivities(Executor.java:75)
1400.00/383.73		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1400.00/383.73		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1400.00/383.73		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1402.44/386.18	27:45 ERROR: Failed to solve instance
1402.44/386.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1402.44/386.18		at gnu.trove.TPrimitiveHash.setUp(TPrimitiveHash.java:123)
1402.44/386.18		at gnu.trove.TIntHash.setUp(TIntHash.java:133)
1402.44/386.18		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83)
1402.44/386.18		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1402.44/386.18		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1402.44/386.18		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1402.44/386.18		at ibis.structure.WatchLists.build(WatchLists.java:47)
1402.44/386.18		at ibis.structure.Solver.<init>(Solver.java:45)
1402.44/386.18		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1402.44/386.18		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1402.44/386.18		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1402.44/386.18		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1402.44/386.18		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1402.44/386.18		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1402.44/386.18		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1402.44/386.18		at ibis.constellation.Executor.processActivities(Executor.java:75)
1402.44/386.18		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1402.44/386.18		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1402.44/386.18		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1405.34/388.98	27:47 ERROR: Failed to solve instance
1405.34/388.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1405.34/388.98		at gnu.trove.TIntArrayList.ensureCapacity(TIntArrayList.java:100)
1405.34/388.98		at gnu.trove.TIntArrayList.add(TIntArrayList.java:144)
1405.34/388.98		at ibis.structure.Subsumming.run(Subsumming.java:57)
1405.34/388.98		at ibis.structure.Solver.simplify(Solver.java:205)
1405.34/388.98		at ibis.structure.Solver.solve(Solver.java:113)
1405.34/388.98		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1405.34/388.98		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1405.34/388.98		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1405.34/388.98		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1405.34/388.98		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1405.34/388.98		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1405.34/388.98		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1405.34/388.98		at ibis.constellation.Executor.processActivities(Executor.java:75)
1405.34/388.98		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1405.34/388.98		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1405.34/388.98		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1411.95/394.53	27:53 ERROR: Failed to solve instance
1411.95/394.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1414.69/397.25	27:56 ERROR: Failed to solve instance
1414.69/397.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1418.91/400.76	27:59 ERROR: Failed to solve instance
1418.91/400.76	java.lang.OutOfMemoryError: Java heap space
1419.22/401.07	27:59 ERROR: Failed to solve instance
1419.22/401.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1423.85/404.81	28:03 ERROR: Failed to solve instance
1423.85/404.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1425.04/405.98	28:04 ERROR: Failed to solve instance
1425.04/405.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1430.43/410.24	28:09 ERROR: Failed to solve instance
1430.43/410.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1431.57/411.37	28:10 ERROR: Failed to solve instance
1431.57/411.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1432.31/412.02	28:10 ERROR: Failed to solve instance
1432.31/412.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1432.85/412.59	28:11 ERROR: Failed to solve instance
1432.85/412.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1442.65/419.89	28:18 ERROR: Failed to solve instance
1442.65/419.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1443.79/420.99	28:19 ERROR: Failed to solve instance
1443.79/420.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1444.41/421.58	28:20 ERROR: Failed to solve instance
1444.41/421.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.04/422.19	28:21 ERROR: Failed to solve instance
1445.04/422.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.78/422.85	28:21 ERROR: Failed to solve instance
1445.78/422.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1452.59/428.08	28:26 ERROR: Failed to solve instance
1452.59/428.08	java.lang.OutOfMemoryError: Java heap space
1452.89/428.36	28:27 ERROR: Failed to solve instance
1452.89/428.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.38/431.25	28:30 ERROR: Failed to solve instance
1456.38/431.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1457.57/432.38	28:31 ERROR: Failed to solve instance
1457.57/432.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1458.21/432.98	28:31 ERROR: Failed to solve instance
1458.21/432.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1458.93/433.61	28:32 ERROR: Failed to solve instance
1458.93/433.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1459.67/434.31	28:33 ERROR: Failed to solve instance
1459.67/434.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1471.60/443.86	28:42 ERROR: Failed to solve instance
1471.60/443.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1472.72/444.98	28:43 ERROR: Failed to solve instance
1472.72/444.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1473.02/445.22	28:44 ERROR: Failed to solve instance
1473.02/445.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1473.86/446.09	28:44 ERROR: Failed to solve instance
1473.86/446.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1474.46/446.65	28:45 ERROR: Failed to solve instance
1474.46/446.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1479.05/450.45	28:49 ERROR: Failed to solve instance
1479.05/450.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1480.20/451.56	28:50 ERROR: Failed to solve instance
1480.20/451.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1480.81/452.14	28:51 ERROR: Failed to solve instance
1480.81/452.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1481.45/452.77	28:51 ERROR: Failed to solve instance
1481.45/452.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1482.19/453.48	28:52 ERROR: Failed to solve instance
1482.19/453.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1491.48/460.39	28:59 ERROR: Failed to solve instance
1491.48/460.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1492.62/461.50	29:00 ERROR: Failed to solve instance
1492.62/461.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1493.34/462.12	29:01 ERROR: Failed to solve instance
1493.34/462.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1493.89/462.66	29:01 ERROR: Failed to solve instance
1493.89/462.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1494.52/463.29	29:02 ERROR: Failed to solve instance
1494.52/463.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1500.69/468.49	29:07 ERROR: Failed to solve instance
1500.69/468.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1501.31/469.08	29:07 ERROR: Failed to solve instance
1501.31/469.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1502.04/469.74	29:08 ERROR: Failed to solve instance
1502.04/469.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1512.92/478.00	29:16 ERROR: Failed to solve instance
1512.92/478.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1513.54/478.60	29:17 ERROR: Failed to solve instance
1513.54/478.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1516.98/481.57	29:20 ERROR: Failed to solve instance
1516.98/481.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1517.60/482.11	29:21 ERROR: Failed to solve instance
1517.60/482.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1518.11/482.69	29:21 ERROR: Failed to solve instance
1518.11/482.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1518.84/483.34	29:22 ERROR: Failed to solve instance
1518.84/483.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1525.03/488.38	29:27 ERROR: Failed to solve instance
1525.03/488.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1527.64/490.58	29:29 ERROR: Failed to solve instance
1527.64/490.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1528.27/491.20	29:30 ERROR: Failed to solve instance
1528.27/491.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1531.36/493.76	29:32 ERROR: Failed to solve instance
1531.36/493.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1532.50/494.85	29:33 ERROR: Failed to solve instance
1532.50/494.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.13/495.50	29:34 ERROR: Failed to solve instance
1533.13/495.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.87/496.21	29:35 ERROR: Failed to solve instance
1533.87/496.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1544.42/504.42	29:43 ERROR: Failed to solve instance
1544.42/504.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1545.45/505.50	29:44 ERROR: Failed to solve instance
1545.45/505.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1546.06/506.03	29:44 ERROR: Failed to solve instance
1546.06/506.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1546.59/506.60	29:45 ERROR: Failed to solve instance
1546.59/506.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1547.33/507.20	29:46 ERROR: Failed to solve instance
1547.33/507.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1548.51/508.34	29:47 ERROR: Failed to solve instance
1548.51/508.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1549.18/508.97	29:47 ERROR: Failed to solve instance
1549.18/508.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1558.75/516.21	29:55 ERROR: Failed to solve instance
1558.75/516.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1559.28/516.76	29:55 ERROR: Failed to solve instance
1559.28/516.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.41/517.81	29:56 ERROR: Failed to solve instance
1560.41/517.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.94/518.38	29:57 ERROR: Failed to solve instance
1560.94/518.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.58/518.99	29:57 ERROR: Failed to solve instance
1561.58/518.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1562.20/519.58	29:58 ERROR: Failed to solve instance
1562.20/519.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1572.27/527.89	30:06 ERROR: Failed to solve instance
1572.27/527.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1572.90/528.48	30:07 ERROR: Failed to solve instance
1572.90/528.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1573.63/529.12	30:08 ERROR: Failed to solve instance
1573.63/529.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1578.46/533.12	30:12 ERROR: Failed to solve instance
1578.46/533.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1579.09/533.72	30:12 ERROR: Failed to solve instance
1579.09/533.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1579.84/534.40	30:13 ERROR: Failed to solve instance
1579.84/534.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1589.81/542.17	30:21 ERROR: Failed to solve instance
1589.81/542.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1590.42/542.72	30:21 ERROR: Failed to solve instance
1590.42/542.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.55/543.88	30:22 ERROR: Failed to solve instance
1591.55/543.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1592.17/544.48	30:23 ERROR: Failed to solve instance
1592.17/544.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1592.81/545.11	30:23 ERROR: Failed to solve instance
1592.81/545.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1596.26/547.70	30:26 ERROR: Failed to solve instance
1596.26/547.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1597.49/548.83	30:27 ERROR: Failed to solve instance
1597.49/548.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1598.01/549.39	30:28 ERROR: Failed to solve instance
1598.01/549.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1598.64/549.97	30:28 ERROR: Failed to solve instance
1598.64/549.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1599.28/550.60	30:29 ERROR: Failed to solve instance
1599.28/550.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1610.69/559.59	30:38 ERROR: Failed to solve instance
1610.69/559.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1611.63/560.47	30:39 ERROR: Failed to solve instance
1611.63/560.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1612.36/561.12	30:40 ERROR: Failed to solve instance
1612.36/561.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1616.22/564.37	30:43 ERROR: Failed to solve instance
1616.22/564.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1616.85/564.94	30:43 ERROR: Failed to solve instance
1616.85/564.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1617.47/565.57	30:44 ERROR: Failed to solve instance
1617.47/565.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1618.57/566.55	30:45 ERROR: Failed to solve instance
1618.57/566.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1628.47/573.82	30:52 ERROR: Failed to solve instance
1628.47/573.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1629.40/574.73	30:53 ERROR: Failed to solve instance
1629.40/574.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1630.14/575.43	30:54 ERROR: Failed to solve instance
1630.14/575.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1638.25/581.99	31:00 ERROR: Failed to solve instance
1638.25/581.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1641.29/584.43	31:03 ERROR: Failed to solve instance
1641.29/584.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1641.82/584.99	31:03 ERROR: Failed to solve instance
1641.82/584.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1645.44/588.05	31:06 ERROR: Failed to solve instance
1645.44/588.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1646.07/588.60	31:07 ERROR: Failed to solve instance
1646.07/588.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1646.59/589.20	31:08 ERROR: Failed to solve instance
1646.59/589.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1647.31/589.86	31:08 ERROR: Failed to solve instance
1647.31/589.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.31/592.39	31:11 ERROR: Failed to solve instance
1650.31/592.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1651.54/593.56	31:12 ERROR: Failed to solve instance
1651.54/593.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.16/594.18	31:13 ERROR: Failed to solve instance
1652.16/594.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1661.04/600.99	31:19 ERROR: Failed to solve instance
1661.04/600.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1661.66/601.57	31:20 ERROR: Failed to solve instance
1661.66/601.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1662.38/602.21	31:21 ERROR: Failed to solve instance
1662.38/602.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1667.88/606.70	31:25 ERROR: Failed to solve instance
1667.88/606.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1668.61/607.32	31:26 ERROR: Failed to solve instance
1668.61/607.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1669.26/607.97	31:26 ERROR: Failed to solve instance
1669.26/607.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1674.62/612.34	31:31 ERROR: Failed to solve instance
1674.62/612.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1675.13/612.89	31:31 ERROR: Failed to solve instance
1675.13/612.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1675.75/613.49	31:32 ERROR: Failed to solve instance
1675.75/613.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1676.98/614.65	31:33 ERROR: Failed to solve instance
1676.98/614.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1677.61/615.28	31:34 ERROR: Failed to solve instance
1677.61/615.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1678.34/615.96	31:34 ERROR: Failed to solve instance
1678.34/615.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1688.61/623.66	31:42 ERROR: Failed to solve instance
1688.61/623.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1689.84/624.84	31:43 ERROR: Failed to solve instance
1689.84/624.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1690.45/625.44	31:44 ERROR: Failed to solve instance
1690.45/625.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1690.96/625.94	31:44 ERROR: Failed to solve instance
1690.96/625.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1691.60/626.59	31:45 ERROR: Failed to solve instance
1691.60/626.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1702.91/635.30	31:54 ERROR: Failed to solve instance
1702.91/635.30	java.lang.OutOfMemoryError: Java heap space
1703.52/635.82	31:54 ERROR: Failed to solve instance
1703.52/635.82	java.lang.OutOfMemoryError: Java heap space
1703.82/636.14	31:55 ERROR: Failed to solve instance
1703.82/636.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.75/637.02	31:55 ERROR: Failed to solve instance
1704.75/637.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1705.38/637.65	31:56 ERROR: Failed to solve instance
1705.38/637.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1706.21/638.41	31:57 ERROR: Failed to solve instance
1706.21/638.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1713.99/644.65	32:03 ERROR: Failed to solve instance
1713.99/644.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1717.31/647.49	32:06 ERROR: Failed to solve instance
1717.31/647.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1717.94/648.08	32:06 ERROR: Failed to solve instance
1717.94/648.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1721.52/651.12	32:10 ERROR: Failed to solve instance
1721.52/651.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1722.65/652.27	32:11 ERROR: Failed to solve instance
1722.65/652.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1723.27/652.88	32:11 ERROR: Failed to solve instance
1723.27/652.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1724.00/653.52	32:12 ERROR: Failed to solve instance
1724.00/653.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1724.51/654.04	32:12 ERROR: Failed to solve instance
1724.51/654.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1730.31/658.71	32:17 ERROR: Failed to solve instance
1730.31/658.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1730.93/659.31	32:18 ERROR: Failed to solve instance
1730.93/659.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1736.79/664.07	32:22 ERROR: Failed to solve instance
1736.79/664.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1737.40/664.64	32:23 ERROR: Failed to solve instance
1737.40/664.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1747.88/673.06	32:31 ERROR: Failed to solve instance
1747.88/673.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1748.50/673.62	32:32 ERROR: Failed to solve instance
1748.50/673.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1749.02/674.13	32:33 ERROR: Failed to solve instance
1749.02/674.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1754.47/678.50	32:37 ERROR: Failed to solve instance
1754.47/678.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1755.00/679.08	32:37 ERROR: Failed to solve instance
1755.00/679.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1756.23/680.23	32:39 ERROR: Failed to solve instance
1756.23/680.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1756.43/680.48	32:39 ERROR: Failed to solve instance
1756.43/680.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1760.71/683.86	32:42 ERROR: Failed to solve instance
1760.71/683.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1761.32/684.42	32:43 ERROR: Failed to solve instance
1761.32/684.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1762.45/685.59	32:44 ERROR: Failed to solve instance
1762.45/685.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1763.08/686.19	32:45 ERROR: Failed to solve instance
1763.08/686.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1763.80/686.81	32:45 ERROR: Failed to solve instance
1763.80/686.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1764.43/687.49	32:46 ERROR: Failed to solve instance
1764.43/687.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1775.55/696.23	32:55 ERROR: Failed to solve instance
1775.55/696.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1776.39/697.10	32:55 ERROR: Failed to solve instance
1776.39/697.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1777.13/697.71	32:56 ERROR: Failed to solve instance
1777.13/697.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1781.06/700.90	32:59 ERROR: Failed to solve instance
1781.06/700.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1781.59/701.47	33:00 ERROR: Failed to solve instance
1781.59/701.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1782.81/702.62	33:01 ERROR: Failed to solve instance
1782.81/702.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1783.43/703.24	33:02 ERROR: Failed to solve instance
1783.43/703.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1795.76/712.48	33:11 ERROR: Failed to solve instance
1795.76/712.48	java.lang.OutOfMemoryError: Java heap space
1796.36/713.01	33:11 ERROR: Failed to solve instance
1796.36/713.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1797.19/713.87	33:12 ERROR: Failed to solve instance
1797.19/713.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1797.81/714.50	33:13 ERROR: Failed to solve instance
1797.81/714.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1798.87/715.48	33:14 ERROR: Failed to solve instance
1798.87/715.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1804.14/719.77	33:18 ERROR: Failed to solve instance
1804.14/719.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1804.87/720.41	33:19 ERROR: Failed to solve instance
1804.87/720.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1806.01/721.57	33:20 ERROR: Failed to solve instance
1806.01/721.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1806.65/722.23	33:21 ERROR: Failed to solve instance
1806.65/722.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1818.23/730.93	33:29 ERROR: Failed to solve instance
1818.23/730.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1818.75/731.48	33:30 ERROR: Failed to solve instance
1818.75/731.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1819.37/732.10	33:30 ERROR: Failed to solve instance
1819.37/732.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1820.50/733.19	33:31 ERROR: Failed to solve instance
1820.50/733.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1824.52/736.25	33:35 ERROR: Failed to solve instance
1824.52/736.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.14/736.83	33:35 ERROR: Failed to solve instance
1825.14/736.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.28/737.94	33:36 ERROR: Failed to solve instance
1826.28/737.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.91/738.55	33:37 ERROR: Failed to solve instance
1826.91/738.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1827.55/739.21	33:38 ERROR: Failed to solve instance
1827.55/739.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1840.09/748.58	33:47 ERROR: Failed to solve instance
1840.09/748.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1840.70/749.13	33:48 ERROR: Failed to solve instance
1840.70/749.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1841.84/750.29	33:49 ERROR: Failed to solve instance
1841.84/750.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1842.46/750.89	33:49 ERROR: Failed to solve instance
1842.46/750.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1843.19/751.56	33:50 ERROR: Failed to solve instance
1843.19/751.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1843.93/752.28	33:51 ERROR: Failed to solve instance
1843.93/752.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1848.04/755.46	33:54 ERROR: Failed to solve instance
1848.04/755.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1849.17/756.56	33:55 ERROR: Failed to solve instance
1849.17/756.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1849.79/757.16	33:56 ERROR: Failed to solve instance
1849.79/757.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1850.42/757.80	33:56 ERROR: Failed to solve instance
1850.42/757.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1857.55/763.21	34:02 ERROR: Failed to solve instance
1857.55/763.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1858.07/763.78	34:02 ERROR: Failed to solve instance
1858.07/763.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1858.79/764.43	34:03 ERROR: Failed to solve instance
1858.79/764.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1859.85/765.41	34:04 ERROR: Failed to solve instance
1859.85/765.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1865.22/769.84	34:08 ERROR: Failed to solve instance
1865.22/769.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1865.85/770.48	34:09 ERROR: Failed to solve instance
1865.85/770.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1867.09/771.66	34:10 ERROR: Failed to solve instance
1867.09/771.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1867.93/772.33	34:11 ERROR: Failed to solve instance
1867.93/772.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1877.41/779.39	34:18 ERROR: Failed to solve instance
1877.41/779.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1878.05/779.96	34:18 ERROR: Failed to solve instance
1878.05/779.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1878.70/780.60	34:19 ERROR: Failed to solve instance
1878.70/780.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1883.79/784.62	34:23 ERROR: Failed to solve instance
1883.79/784.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1890.20/789.92	34:28 ERROR: Failed to solve instance
1890.20/789.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.03/790.75	34:29 ERROR: Failed to solve instance
1891.03/790.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.67/791.37	34:30 ERROR: Failed to solve instance
1891.67/791.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1894.51/793.74	34:32 ERROR: Failed to solve instance
1894.51/793.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1895.64/794.90	34:33 ERROR: Failed to solve instance
1895.64/794.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1896.25/795.50	34:34 ERROR: Failed to solve instance
1896.25/795.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1896.98/796.14	34:35 ERROR: Failed to solve instance
1896.98/796.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1897.72/796.84	34:35 ERROR: Failed to solve instance
1897.72/796.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1906.88/803.85	34:42 ERROR: Failed to solve instance
1906.88/803.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.51/804.41	34:43 ERROR: Failed to solve instance
1907.51/804.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1916.02/810.98	34:49 ERROR: Failed to solve instance
1916.02/810.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1916.64/811.54	34:50 ERROR: Failed to solve instance
1916.64/811.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1917.27/812.15	34:51 ERROR: Failed to solve instance
1917.27/812.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1917.89/812.79	34:51 ERROR: Failed to solve instance
1917.89/812.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1924.10/817.91	34:56 ERROR: Failed to solve instance
1924.10/817.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1924.83/818.52	34:57 ERROR: Failed to solve instance
1924.83/818.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1925.36/819.09	34:57 ERROR: Failed to solve instance
1925.36/819.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1926.51/820.16	34:59 ERROR: Failed to solve instance
1926.51/820.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1927.05/820.72	34:59 ERROR: Failed to solve instance
1927.05/820.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1931.87/824.52	35:03 ERROR: Failed to solve instance
1931.87/824.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1932.39/825.08	35:03 ERROR: Failed to solve instance
1932.39/825.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.01/825.70	35:04 ERROR: Failed to solve instance
1933.01/825.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1934.24/826.88	35:05 ERROR: Failed to solve instance
1934.24/826.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1934.97/827.51	35:06 ERROR: Failed to solve instance
1934.97/827.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1935.83/828.25	35:07 ERROR: Failed to solve instance
1935.83/828.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1946.72/836.03	35:14 ERROR: Failed to solve instance
1946.72/836.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1947.86/837.16	35:15 ERROR: Failed to solve instance
1947.86/837.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1948.39/837.70	35:16 ERROR: Failed to solve instance
1948.39/837.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1953.54/841.71	35:20 ERROR: Failed to solve instance
1953.54/841.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1957.80/845.47	35:24 ERROR: Failed to solve instance
1957.80/845.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1958.41/846.02	35:24 ERROR: Failed to solve instance
1958.41/846.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1959.03/846.66	35:25 ERROR: Failed to solve instance
1959.03/846.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1959.75/847.35	35:26 ERROR: Failed to solve instance
1959.75/847.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1960.82/848.35	35:27 ERROR: Failed to solve instance
1960.82/848.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.31/856.59	35:35 ERROR: Failed to solve instance
1971.31/856.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.95/857.18	35:36 ERROR: Failed to solve instance
1971.95/857.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1977.04/861.43	35:40 ERROR: Failed to solve instance
1977.04/861.43	java.lang.OutOfMemoryError: Java heap space
1977.55/861.97	35:40 ERROR: Failed to solve instance
1977.55/861.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.47/862.84	35:41 ERROR: Failed to solve instance
1978.47/862.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1979.09/863.48	35:42 ERROR: Failed to solve instance
1979.09/863.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1980.32/864.69	35:43 ERROR: Failed to solve instance
1980.32/864.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1981.06/865.38	35:44 ERROR: Failed to solve instance
1981.06/865.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1981.79/866.13	35:44 ERROR: Failed to solve instance
1981.79/866.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1991.82/873.47	35:52 ERROR: Failed to solve instance
1991.82/873.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1995.46/876.54	35:55 ERROR: Failed to solve instance
1995.46/876.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1995.97/877.09	35:55 ERROR: Failed to solve instance
1995.97/877.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1996.58/877.70	35:56 ERROR: Failed to solve instance
1996.58/877.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2001.65/881.69	36:00 ERROR: Failed to solve instance
2001.65/881.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.73/882.61	36:01 ERROR: Failed to solve instance
2002.73/882.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2005.83/885.27	36:04 ERROR: Failed to solve instance
2005.83/885.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2007.59/886.88	36:05 ERROR: Failed to solve instance
2007.59/886.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2008.83/888.00	36:06 ERROR: Failed to solve instance
2008.83/888.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2009.46/888.64	36:07 ERROR: Failed to solve instance
2009.46/888.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2010.19/889.35	36:08 ERROR: Failed to solve instance
2010.19/889.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2010.94/890.10	36:08 ERROR: Failed to solve instance
2010.94/890.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2020.81/897.54	36:16 ERROR: Failed to solve instance
2020.81/897.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2021.44/898.12	36:17 ERROR: Failed to solve instance
2021.44/898.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2025.33/901.23	36:20 ERROR: Failed to solve instance
2025.33/901.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2026.46/902.35	36:21 ERROR: Failed to solve instance
2026.46/902.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2027.07/902.94	36:21 ERROR: Failed to solve instance
2027.07/902.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2027.69/903.59	36:22 ERROR: Failed to solve instance
2027.69/903.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2028.42/904.21	36:23 ERROR: Failed to solve instance
2028.42/904.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2034.57/909.37	36:28 ERROR: Failed to solve instance
2034.57/909.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2035.19/909.97	36:28 ERROR: Failed to solve instance
2035.19/909.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2035.92/910.62	36:29 ERROR: Failed to solve instance
2035.92/910.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2049.36/920.92	36:39 ERROR: Failed to solve instance
2049.36/920.92	java.lang.OutOfMemoryError: Java heap space
2049.56/921.19	36:40 ERROR: Failed to solve instance
2049.56/921.19	java.lang.OutOfMemoryError: Java heap space
2049.87/921.50	36:40 ERROR: Failed to solve instance
2049.87/921.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.16/925.04	36:43 ERROR: Failed to solve instance
2054.16/925.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2055.30/926.12	36:45 ERROR: Failed to solve instance
2055.30/926.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2055.93/926.73	36:45 ERROR: Failed to solve instance
2055.93/926.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2063.43/932.67	36:51 ERROR: Failed to solve instance
2063.43/932.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2063.96/933.18	36:52 ERROR: Failed to solve instance
2063.96/933.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2067.96/936.31	36:55 ERROR: Failed to solve instance
2067.96/936.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2069.07/937.42	36:56 ERROR: Failed to solve instance
2069.07/937.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2069.59/938.00	36:56 ERROR: Failed to solve instance
2069.59/938.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.31/938.64	36:57 ERROR: Failed to solve instance
2070.31/938.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2071.05/939.39	36:58 ERROR: Failed to solve instance
2071.05/939.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2076.43/943.83	37:02 ERROR: Failed to solve instance
2076.43/943.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2077.07/944.41	37:03 ERROR: Failed to solve instance
2077.07/944.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2077.69/945.07	37:03 ERROR: Failed to solve instance
2077.69/945.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.07/950.34	37:09 ERROR: Failed to solve instance
2084.07/950.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.69/950.95	37:09 ERROR: Failed to solve instance
2084.69/950.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.32/951.60	37:10 ERROR: Failed to solve instance
2085.32/951.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2091.01/956.29	37:15 ERROR: Failed to solve instance
2091.01/956.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2091.65/956.90	37:15 ERROR: Failed to solve instance
2091.65/956.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2092.28/957.43	37:16 ERROR: Failed to solve instance
2092.28/957.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2100.77/963.64	37:22 ERROR: Failed to solve instance
2100.77/963.64	java.lang.OutOfMemoryError: Java heap space
2101.61/964.51	37:23 ERROR: Failed to solve instance
2101.61/964.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2102.35/965.17	37:24 ERROR: Failed to solve instance
2102.35/965.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2102.98/965.74	37:24 ERROR: Failed to solve instance
2102.98/965.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2114.50/974.95	37:33 ERROR: Failed to solve instance
2114.50/974.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2115.01/975.49	37:34 ERROR: Failed to solve instance
2115.01/975.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2115.62/976.09	37:34 ERROR: Failed to solve instance
2115.62/976.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2116.34/976.72	37:35 ERROR: Failed to solve instance
2116.34/976.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2117.48/977.90	37:36 ERROR: Failed to solve instance
2117.48/977.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2118.31/978.61	37:37 ERROR: Failed to solve instance
2118.31/978.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2118.94/979.33	37:38 ERROR: Failed to solve instance
2118.94/979.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.20/987.78	37:46 ERROR: Failed to solve instance
2130.20/987.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2131.05/988.61	37:47 ERROR: Failed to solve instance
2131.05/988.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2133.44/990.54	37:49 ERROR: Failed to solve instance
2133.44/990.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2134.69/991.76	37:50 ERROR: Failed to solve instance
2134.69/991.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2134.99/992.06	37:50 ERROR: Failed to solve instance
2134.99/992.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2138.63/995.06	37:53 ERROR: Failed to solve instance
2138.63/995.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2139.94/996.26	37:55 ERROR: Failed to solve instance
2139.94/996.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2143.89/999.36	37:58 ERROR: Failed to solve instance
2143.89/999.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2144.51/999.94	37:58 ERROR: Failed to solve instance
2144.51/999.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2145.55/1000.98	37:59 ERROR: Failed to solve instance
2145.55/1000.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2146.19/1001.54	38:00 ERROR: Failed to solve instance
2146.19/1001.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2146.82/1002.15	38:01 ERROR: Failed to solve instance
2146.82/1002.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2147.56/1002.81	38:01 ERROR: Failed to solve instance
2147.56/1002.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2158.02/1010.87	38:09 ERROR: Failed to solve instance
2158.02/1010.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2158.65/1011.46	38:10 ERROR: Failed to solve instance
2158.65/1011.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2159.38/1012.10	38:11 ERROR: Failed to solve instance
2159.38/1012.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2167.40/1018.51	38:17 ERROR: Failed to solve instance
2167.40/1018.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2167.92/1019.08	38:17 ERROR: Failed to solve instance
2167.92/1019.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2168.64/1019.70	38:18 ERROR: Failed to solve instance
2168.64/1019.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.76/1024.74	38:23 ERROR: Failed to solve instance
2174.76/1024.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2175.39/1025.35	38:24 ERROR: Failed to solve instance
2175.39/1025.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2176.13/1026.00	38:24 ERROR: Failed to solve instance
2176.13/1026.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2182.52/1031.34	38:30 ERROR: Failed to solve instance
2182.52/1031.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2183.45/1032.22	38:31 ERROR: Failed to solve instance
2183.45/1032.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2183.98/1032.75	38:31 ERROR: Failed to solve instance
2183.98/1032.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2187.52/1035.71	38:34 ERROR: Failed to solve instance
2187.52/1035.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2189.75/1037.71	38:36 ERROR: Failed to solve instance
2189.75/1037.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2190.73/1038.68	38:37 ERROR: Failed to solve instance
2190.73/1038.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.49/1039.36	38:38 ERROR: Failed to solve instance
2191.49/1039.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.55/1042.70	38:41 ERROR: Failed to solve instance
2195.55/1042.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2196.79/1043.84	38:42 ERROR: Failed to solve instance
2196.79/1043.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2197.42/1044.51	38:43 ERROR: Failed to solve instance
2197.42/1044.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2208.62/1052.96	38:51 ERROR: Failed to solve instance
2208.62/1052.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2209.25/1053.60	38:52 ERROR: Failed to solve instance
2209.25/1053.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2209.87/1054.12	38:53 ERROR: Failed to solve instance
2209.87/1054.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2210.51/1054.77	38:53 ERROR: Failed to solve instance
2210.51/1054.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2214.60/1057.97	38:56 ERROR: Failed to solve instance
2214.60/1057.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2215.83/1059.11	38:58 ERROR: Failed to solve instance
2215.83/1059.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.45/1059.72	38:58 ERROR: Failed to solve instance
2216.45/1059.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2217.08/1060.37	38:59 ERROR: Failed to solve instance
2217.08/1060.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2217.83/1061.06	38:59 ERROR: Failed to solve instance
2217.83/1061.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2228.07/1068.66	39:07 ERROR: Failed to solve instance
2228.07/1068.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2229.31/1069.85	39:08 ERROR: Failed to solve instance
2229.31/1069.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2229.93/1070.48	39:09 ERROR: Failed to solve instance
2229.93/1070.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.66/1071.14	39:10 ERROR: Failed to solve instance
2230.66/1071.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2235.67/1075.02	39:13 ERROR: Failed to solve instance
2235.67/1075.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2236.20/1075.59	39:14 ERROR: Failed to solve instance
2236.20/1075.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2236.92/1076.23	39:15 ERROR: Failed to solve instance
2236.92/1076.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2241.73/1080.13	39:19 ERROR: Failed to solve instance
2241.73/1080.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.35/1080.72	39:19 ERROR: Failed to solve instance
2242.35/1080.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.98/1081.39	39:20 ERROR: Failed to solve instance
2242.98/1081.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2251.23/1087.99	39:26 ERROR: Failed to solve instance
2251.23/1087.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2251.76/1088.52	39:27 ERROR: Failed to solve instance
2251.76/1088.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2257.16/1092.90	39:31 ERROR: Failed to solve instance
2257.16/1092.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.10/1093.73	39:32 ERROR: Failed to solve instance
2258.10/1093.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.93/1094.55	39:33 ERROR: Failed to solve instance
2258.93/1094.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2259.45/1095.06	39:33 ERROR: Failed to solve instance
2259.45/1095.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2260.09/1095.68	39:34 ERROR: Failed to solve instance
2260.09/1095.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2264.10/1099.07	39:37 ERROR: Failed to solve instance
2264.10/1099.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2264.86/1099.72	39:38 ERROR: Failed to solve instance
2264.86/1099.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2273.97/1107.21	39:46 ERROR: Failed to solve instance
2273.97/1107.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2274.49/1107.77	39:46 ERROR: Failed to solve instance
2274.49/1107.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2275.45/1108.66	39:47 ERROR: Failed to solve instance
2275.45/1108.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2279.57/1112.01	39:50 ERROR: Failed to solve instance
2279.57/1112.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2286.85/1117.66	39:56 ERROR: Failed to solve instance
2286.85/1117.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2287.48/1118.22	39:57 ERROR: Failed to solve instance
2287.48/1118.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2288.10/1118.87	39:57 ERROR: Failed to solve instance
2288.10/1118.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2289.25/1119.92	39:58 ERROR: Failed to solve instance
2289.25/1119.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2289.80/1120.53	39:59 ERROR: Failed to solve instance
2289.80/1120.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2295.31/1124.93	40:03 ERROR: Failed to solve instance
2295.31/1124.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2302.81/1130.90	40:09 ERROR: Failed to solve instance
2302.81/1130.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2303.43/1131.44	40:10 ERROR: Failed to solve instance
2303.43/1131.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2304.04/1132.05	40:10 ERROR: Failed to solve instance
2304.04/1132.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2304.67/1132.70	40:11 ERROR: Failed to solve instance
2304.67/1132.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2311.78/1138.11	40:17 ERROR: Failed to solve instance
2311.78/1138.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2315.19/1140.91	40:19 ERROR: Failed to solve instance
2315.19/1140.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2318.43/1143.61	40:22 ERROR: Failed to solve instance
2318.43/1143.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2319.37/1144.50	40:23 ERROR: Failed to solve instance
2319.37/1144.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2319.99/1145.15	40:24 ERROR: Failed to solve instance
2319.99/1145.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2321.10/1146.12	40:25 ERROR: Failed to solve instance
2321.10/1146.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2327.75/1151.81	40:30 ERROR: Failed to solve instance
2327.75/1151.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2328.28/1152.37	40:31 ERROR: Failed to solve instance
2328.28/1152.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2333.23/1156.25	40:35 ERROR: Failed to solve instance
2333.23/1156.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2334.17/1157.18	40:36 ERROR: Failed to solve instance
2334.17/1157.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2334.91/1157.85	40:36 ERROR: Failed to solve instance
2334.91/1157.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2341.91/1163.27	40:42 ERROR: Failed to solve instance
2341.91/1163.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2342.99/1164.22	40:43 ERROR: Failed to solve instance
2342.99/1164.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2346.13/1166.98	40:45 ERROR: Failed to solve instance
2346.13/1166.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2346.75/1167.58	40:46 ERROR: Failed to solve instance
2346.75/1167.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2347.98/1168.78	40:47 ERROR: Failed to solve instance
2347.98/1168.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2348.48/1169.27	40:48 ERROR: Failed to solve instance
2348.48/1169.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2349.12/1169.91	40:48 ERROR: Failed to solve instance
2349.12/1169.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2360.15/1178.27	40:57 ERROR: Failed to solve instance
2360.15/1178.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2360.78/1178.83	40:57 ERROR: Failed to solve instance
2360.78/1178.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2361.39/1179.45	40:58 ERROR: Failed to solve instance
2361.39/1179.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2362.53/1180.56	40:59 ERROR: Failed to solve instance
2362.53/1180.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2365.97/1183.25	41:02 ERROR: Failed to solve instance
2365.97/1183.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2367.11/1184.39	41:03 ERROR: Failed to solve instance
2367.11/1184.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2367.73/1184.98	41:03 ERROR: Failed to solve instance
2367.73/1184.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2368.46/1185.62	41:04 ERROR: Failed to solve instance
2368.46/1185.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2369.19/1186.31	41:05 ERROR: Failed to solve instance
2369.19/1186.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2381.13/1195.20	41:14 ERROR: Failed to solve instance
2381.13/1195.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2382.25/1196.24	41:15 ERROR: Failed to solve instance
2382.25/1196.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2382.46/1196.48	41:15 ERROR: Failed to solve instance
2382.46/1196.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2383.39/1197.33	41:16 ERROR: Failed to solve instance
2383.39/1197.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2384.11/1198.02	41:16 ERROR: Failed to solve instance
2384.11/1198.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2388.40/1201.57	41:20 ERROR: Failed to solve instance
2388.40/1201.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2392.73/1205.19	41:24 ERROR: Failed to solve instance
2392.73/1205.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2393.35/1205.74	41:24 ERROR: Failed to solve instance
2393.35/1205.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2394.59/1206.92	41:25 ERROR: Failed to solve instance
2394.59/1206.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2395.22/1207.54	41:26 ERROR: Failed to solve instance
2395.22/1207.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2395.85/1208.19	41:27 ERROR: Failed to solve instance
2395.85/1208.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2396.69/1208.92	41:27 ERROR: Failed to solve instance
2396.69/1208.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2408.94/1218.02	41:36 ERROR: Failed to solve instance
2408.94/1218.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2409.46/1218.56	41:37 ERROR: Failed to solve instance
2409.46/1218.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2410.06/1219.16	41:38 ERROR: Failed to solve instance
2410.06/1219.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2411.29/1220.33	41:39 ERROR: Failed to solve instance
2411.29/1220.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2411.91/1220.99	41:39 ERROR: Failed to solve instance
2411.91/1220.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2412.66/1221.68	41:40 ERROR: Failed to solve instance
2412.66/1221.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2413.50/1222.43	41:41 ERROR: Failed to solve instance
2413.50/1222.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2425.13/1231.41	41:50 ERROR: Failed to solve instance
2425.13/1231.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2425.76/1232.05	41:50 ERROR: Failed to solve instance
2425.76/1232.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2429.37/1235.17	41:54 ERROR: Failed to solve instance
2429.37/1235.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2429.98/1235.74	41:54 ERROR: Failed to solve instance
2429.98/1235.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2430.60/1236.37	41:55 ERROR: Failed to solve instance
2430.60/1236.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2431.84/1237.56	41:56 ERROR: Failed to solve instance
2431.84/1237.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2432.57/1238.28	41:57 ERROR: Failed to solve instance
2432.57/1238.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2442.81/1245.81	42:04 ERROR: Failed to solve instance
2442.81/1245.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2443.31/1246.39	42:05 ERROR: Failed to solve instance
2443.31/1246.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2443.94/1247.01	42:05 ERROR: Failed to solve instance
2443.94/1247.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2444.66/1247.68	42:06 ERROR: Failed to solve instance
2444.66/1247.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2455.14/1256.02	42:14 ERROR: Failed to solve instance
2455.14/1256.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2455.64/1256.55	42:15 ERROR: Failed to solve instance
2455.64/1256.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2456.25/1257.13	42:16 ERROR: Failed to solve instance
2456.25/1257.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2456.87/1257.74	42:16 ERROR: Failed to solve instance
2456.87/1257.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2463.09/1262.89	42:21 ERROR: Failed to solve instance
2463.09/1262.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2463.72/1263.49	42:22 ERROR: Failed to solve instance
2463.72/1263.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2464.44/1264.13	42:23 ERROR: Failed to solve instance
2464.44/1264.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2465.39/1265.10	42:23 ERROR: Failed to solve instance
2465.39/1265.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2470.54/1269.27	42:28 ERROR: Failed to solve instance
2470.54/1269.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2471.16/1269.83	42:28 ERROR: Failed to solve instance
2471.16/1269.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2471.77/1270.45	42:29 ERROR: Failed to solve instance
2471.77/1270.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2473.01/1271.62	42:30 ERROR: Failed to solve instance
2473.01/1271.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2473.65/1272.26	42:31 ERROR: Failed to solve instance
2473.65/1272.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2474.38/1272.92	42:31 ERROR: Failed to solve instance
2474.38/1272.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2475.12/1273.62	42:32 ERROR: Failed to solve instance
2475.12/1273.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2486.83/1282.12	42:41 ERROR: Failed to solve instance
2486.83/1282.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2487.65/1282.97	42:41 ERROR: Failed to solve instance
2487.65/1282.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2488.40/1283.71	42:42 ERROR: Failed to solve instance
2488.40/1283.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2491.44/1286.08	42:44 ERROR: Failed to solve instance
2491.44/1286.08	java.lang.OutOfMemoryError: Java heap space
2492.39/1286.94	42:45 ERROR: Failed to solve instance
2492.39/1286.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2493.13/1287.62	42:46 ERROR: Failed to solve instance
2493.13/1287.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2493.75/1288.24	42:47 ERROR: Failed to solve instance
2493.75/1288.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2494.38/1288.83	42:47 ERROR: Failed to solve instance
2494.38/1288.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2501.94/1294.48	42:53 ERROR: Failed to solve instance
2501.94/1294.48	java.lang.OutOfMemoryError: Java heap space
2502.24/1294.78	42:53 ERROR: Failed to solve instance
2502.24/1294.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2505.82/1297.71	42:56 ERROR: Failed to solve instance
2505.82/1297.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2506.34/1298.29	42:57 ERROR: Failed to solve instance
2506.34/1298.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2507.07/1298.93	42:57 ERROR: Failed to solve instance
2507.07/1298.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2508.02/1299.88	42:58 ERROR: Failed to solve instance
2508.02/1299.88	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-3311151-1304112078/watcher-3311151-1304112078 -o /tmp/evaluation-result-3311151-1304112078/solver-3311151-1304112078 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311151-1304112078.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: 7.51 7.99 8.00 4/194 10738
/proc/meminfo: memFree=29671596/32951124 swapFree=67111348/67111528
[pid=10738] ppid=10736 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10736 10738 9954 0 -1 4202496 1421 0 0 0 0 0 0 0 22 0 2 0 503623160 27824128 891 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273419237 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/10738/statm: 6793 894 684 9 0 381 0
[pid=10738/tid=10739] ppid=10736 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) R 10736 10738 9954 0 -1 4202560 70 0 0 0 0 0 0 0 23 0 2 0 503623160 29065216 897 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254256646944 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.105995 s]
/proc/loadavg: 7.51 7.99 8.00 4/194 10738
/proc/meminfo: memFree=29671596/32951124 swapFree=67111348/67111528
[pid=10738] ppid=10736 vsize=15676728 CPUtime=0.11 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10736 10738 9954 0 -1 4202496 5718 0 1 0 10 1 0 0 22 0 18 0 503623160 16052969472 5137 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10738/statm: 3919182 5138 2119 9 0 3909901 0
[pid=10738/tid=10739] ppid=10736 vsize=15676728 CPUtime=0.08 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) R 10736 10738 9954 0 -1 4202560 3575 0 1 0 8 0 0 0 18 0 18 0 503623160 16052969472 5139 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 46963622943268 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676728

[startup+0.200978 s]
/proc/loadavg: 7.51 7.99 8.00 4/194 10738
/proc/meminfo: memFree=29671596/32951124 swapFree=67111348/67111528
[pid=10738] ppid=10736 vsize=15677200 CPUtime=0.29 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10736 10738 9954 0 -1 4202496 7255 0 1 0 28 1 0 0 22 0 18 0 503623160 16053452800 6595 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10738/statm: 3919300 6596 2187 9 0 3910019 0
[pid=10738/tid=10739] ppid=10736 vsize=15677200 CPUtime=0.18 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) R 10736 10738 9954 0 -1 4202560 4624 0 1 0 18 0 0 0 18 0 18 0 503623160 16053452800 6597 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 46912505511518 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15677200

[startup+0.300961 s]
/proc/loadavg: 7.51 7.99 8.00 4/194 10738
/proc/meminfo: memFree=29671596/32951124 swapFree=67111348/67111528
[pid=10738] ppid=10736 vsize=15681992 CPUtime=0.51 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10736 10738 9954 0 -1 4202496 16235 0 1 0 48 3 0 0 22 0 18 0 503623160 16058359808 14424 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10738/statm: 3920498 14430 2206 9 0 3911217 0
[pid=10738/tid=10739] ppid=10736 vsize=15681992 CPUtime=0.28 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) R 10736 10738 9954 0 -1 4202560 11097 0 1 0 26 2 0 0 18 0 18 0 503623160 16058359808 14434 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 46912505642502 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15681992

[startup+0.700892 s]
/proc/loadavg: 7.51 7.99 8.00 4/194 10738
/proc/meminfo: memFree=29671596/32951124 swapFree=67111348/67111528
[pid=10738] ppid=10736 vsize=15681992 CPUtime=0.92 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10736 10738 9954 0 -1 4202496 41878 0 1 0 86 6 0 0 22 0 18 0 503623160 16058359808 40064 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10738/statm: 3920498 40064 2222 9 0 3911217 0
[pid=10738/tid=10739] ppid=10736 vsize=15681992 CPUtime=0.68 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) R 10736 10738 9954 0 -1 4202560 35514 0 1 0 63 5 0 0 18 0 18 0 503623160 16058359808 40064 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 46912505513287 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15681992

[startup+1.50071 s]
/proc/loadavg: 7.51 7.99 8.00 9/220 10764
/proc/meminfo: memFree=29345332/32951124 swapFree=67111348/67111528
[pid=10738] ppid=10736 vsize=15688176 CPUtime=2.1 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10736 10738 9954 0 -1 4202496 55139 0 1 0 201 9 0 0 22 0 22 0 503623160 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10738/statm: 3922044 51232 2260 9 0 3912763 0
[pid=10738/tid=10739] ppid=10736 vsize=15688176 CPUtime=1.46 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) R 10736 10738 9954 0 -1 4202560 35622 0 1 0 141 5 0 0 23 0 22 0 503623160 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 46912505179440 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10738/tid=10741] ppid=10736 vsize=15688176 CPUtime=0.01 cores=1,3,5,7
/proc/10738/task/10741/stat : 10741 (java) S 10736 10738 9954 0 -1 4202560 2185 0 0 0 1 0 0 0 16 0 22 0 503623161 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10742] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10742/stat : 10742 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503623161 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10743] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10743/stat : 10743 (java) S 10736 10738 9954 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 503623161 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10744] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10744/stat : 10744 (java) S 10736 10738 9954 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503623161 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10745] ppid=10736 vsize=15688176 CPUtime=0.01 cores=1,3,5,7
/proc/10738/task/10745/stat : 10745 (java) S 10736 10738 9954 0 -1 4202560 1048 0 0 0 1 0 0 0 16 0 22 0 503623161 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10746] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10746/stat : 10746 (java) S 10736 10738 9954 0 -1 4202560 1179 0 0 0 0 0 0 0 16 0 22 0 503623161 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10747] ppid=10736 vsize=15688176 CPUtime=0.01 cores=1,3,5,7
/proc/10738/task/10747/stat : 10747 (java) S 10736 10738 9954 0 -1 4202560 2279 0 0 0 1 0 0 0 16 0 22 0 503623161 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10748] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10748/stat : 10748 (java) S 10736 10738 9954 0 -1 4202560 399 0 0 0 0 0 0 0 15 0 22 0 503623161 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10749] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10749/stat : 10749 (java) S 10736 10738 9954 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 503623162 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 0 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10750] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10750/stat : 10750 (java) S 10736 10738 9954 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503623162 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10751] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10751/stat : 10751 (java) S 10736 10738 9954 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 503623162 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10752] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10752/stat : 10752 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503623164 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273440177 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10753] ppid=10736 vsize=15688176 CPUtime=0.35 cores=1,3,5,7
/proc/10738/task/10753/stat : 10753 (java) R 10736 10738 9954 0 -1 4202560 8257 0 0 0 34 1 0 0 16 0 22 0 503623164 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 46963622905314 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10738/tid=10754] ppid=10736 vsize=15688176 CPUtime=0.19 cores=1,3,5,7
/proc/10738/task/10754/stat : 10754 (java) S 10736 10738 9954 0 -1 4202560 2605 0 0 0 19 0 0 0 15 0 22 0 503623164 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10755] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10755/stat : 10755 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503623164 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10756] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10756/stat : 10756 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503623164 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10761] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10761/stat : 10761 (java) S 10736 10738 9954 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 22 0 503623265 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10762] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10762/stat : 10762 (java) S 10736 10738 9954 0 -1 4202560 7 0 0 0 0 0 0 0 17 0 22 0 503623265 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10763] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10763/stat : 10763 (java) S 10736 10738 9954 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 503623265 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10764] ppid=10736 vsize=15688176 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10764/stat : 10764 (java) S 10736 10738 9954 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 22 0 503623265 16064692224 51232 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 15688176

[startup+3.10146 s]
/proc/loadavg: 7.51 7.99 8.00 8/220 10764
/proc/meminfo: memFree=29170492/32951124 swapFree=67111348/67111528
[pid=10738] ppid=10736 vsize=15685552 CPUtime=5.07 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10736 10738 9954 0 -1 4202496 66958 0 1 0 496 11 0 0 22 0 22 0 503623160 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10738/statm: 3921388 55001 2266 9 0 3912107 0
[pid=10738/tid=10739] ppid=10736 vsize=15685552 CPUtime=3.06 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) R 10736 10738 9954 0 -1 4202560 35658 0 1 0 301 5 0 0 25 0 22 0 503623160 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 46912506168767 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10738/tid=10741] ppid=10736 vsize=15685552 CPUtime=0.01 cores=1,3,5,7
/proc/10738/task/10741/stat : 10741 (java) S 10736 10738 9954 0 -1 4202560 2185 0 0 0 1 0 0 0 16 0 22 0 503623161 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10742] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10742/stat : 10742 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503623161 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10743] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10743/stat : 10743 (java) S 10736 10738 9954 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 503623161 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10744] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10744/stat : 10744 (java) S 10736 10738 9954 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503623161 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10745] ppid=10736 vsize=15685552 CPUtime=0.01 cores=1,3,5,7
/proc/10738/task/10745/stat : 10745 (java) S 10736 10738 9954 0 -1 4202560 1048 0 0 0 1 0 0 0 16 0 22 0 503623161 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10746] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10746/stat : 10746 (java) S 10736 10738 9954 0 -1 4202560 1179 0 0 0 0 0 0 0 16 0 22 0 503623161 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10747] ppid=10736 vsize=15685552 CPUtime=0.01 cores=1,3,5,7
/proc/10738/task/10747/stat : 10747 (java) S 10736 10738 9954 0 -1 4202560 2279 0 0 0 1 0 0 0 16 0 22 0 503623161 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10748] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10748/stat : 10748 (java) S 10736 10738 9954 0 -1 4202560 399 0 0 0 0 0 0 0 15 0 22 0 503623161 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10749] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10749/stat : 10749 (java) S 10736 10738 9954 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 503623162 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 0 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10750] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10750/stat : 10750 (java) S 10736 10738 9954 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503623162 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10751] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10751/stat : 10751 (java) S 10736 10738 9954 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 503623162 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10752] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10752/stat : 10752 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503623164 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273440177 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10753] ppid=10736 vsize=15685552 CPUtime=1.25 cores=1,3,5,7
/proc/10738/task/10753/stat : 10753 (java) S 10736 10738 9954 0 -1 4202560 18210 0 0 0 122 3 0 0 15 0 22 0 503623164 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10754] ppid=10736 vsize=15685552 CPUtime=0.66 cores=1,3,5,7
/proc/10738/task/10754/stat : 10754 (java) S 10736 10738 9954 0 -1 4202560 4434 0 0 0 66 0 0 0 15 0 22 0 503623164 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10755] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10755/stat : 10755 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503623164 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10756] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10756/stat : 10756 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503623164 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10761] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10761/stat : 10761 (java) S 10736 10738 9954 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 503623265 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10762] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10762/stat : 10762 (java) S 10736 10738 9954 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 503623265 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10763] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10763/stat : 10763 (java) S 10736 10738 9954 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 503623265 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10764] ppid=10736 vsize=15685552 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10764/stat : 10764 (java) S 10736 10738 9954 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 503623265 16062005248 55001 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.07
Current children cumulated vsize (KiB) 15685552

[startup+6.30086 s]
/proc/loadavg: 7.39 7.95 7.99 9/220 10764
/proc/meminfo: memFree=28218084/32951124 swapFree=67111348/67111528
[pid=10738] ppid=10736 vsize=15686104 CPUtime=14.62 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10736 10738 9954 0 -1 4202496 229603 0 1 0 1429 33 0 0 22 0 22 0 503623160 16062570496 215704 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10738/statm: 3921526 215704 2274 9 0 3912245 0
[pid=10738/tid=10739] ppid=10736 vsize=15686104 CPUtime=3.15 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) S 10736 10738 9954 0 -1 4202560 35677 0 1 0 310 5 0 0 25 0 22 0 503623160 16062570496 215704 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10741] ppid=10736 vsize=15686104 CPUtime=0.02 cores=1,3,5,7
/proc/10738/task/10741/stat : 10741 (java) S 10736 10738 9954 0 -1 4202560 2728 0 0 0 2 0 0 0 15 0 22 0 503623161 16062570496 215704 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10742] ppid=10736 vsize=15686104 CPUtime=0.16 cores=1,3,5,7
/proc/10738/task/10742/stat : 10742 (java) S 10736 10738 9954 0 -1 4202560 32606 0 0 0 12 4 0 0 15 0 22 0 503623161 16062570496 215704 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10743] ppid=10736 vsize=15686104 CPUtime=0.07 cores=1,3,5,7
/proc/10738/task/10743/stat : 10743 (java) S 10736 10738 9954 0 -1 4202560 10204 0 0 0 6 1 0 0 15 0 22 0 503623161 16062570496 215704 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10744] ppid=10736 vsize=15686104 CPUtime=0.01 cores=1,3,5,7
/proc/10738/task/10744/stat : 10744 (java) S 10736 10738 9954 0 -1 4202560 789 0 0 0 1 0 0 0 15 0 22 0 503623161 16062570496 215704 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10745] ppid=10736 vsize=15686104 CPUtime=0.13 cores=1,3,5,7
/proc/10738/task/10745/stat : 10745 (java) S 10736 10738 9954 0 -1 4202560 15997 0 0 0 12 1 0 0 16 0 22 0 503623161 16062570496 215704 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10746] ppid=10736 vsize=15686104 CPUtime=0.13 cores=1,3,5,7
/proc/10738/task/10746/stat : 10746 (java) S 10736 10738 9954 0 -1 4202560 16579 0 0 0 11 2 0 0 15 0 22 0 503623161 16062570496 215704 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10747] ppid=10736 vsize=15686104 CPUtime=0.14 cores=1,3,5,7
/proc/10738/task/10747/stat : 10747 (java) S 10736 10738 9954 0 -1 4202560 19321 0 0 0 11 3 0 0 15 0 22 0 503623161 16062570496 215704 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10748] ppid=10736 vsize=15686104 CPUtime=0.13 cores=1,3,5,7
/proc/10738/task/10748/stat : 10748 (java) S 10736 10738 9954 0 -1 4202560 15886 0 0 0 11 2 0 0 15 0 22 0 503623161 16062570496 215704 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0

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

/proc/10738/task/10745/stat : 10745 (java) S 10736 10738 9954 0 -1 4202560 490308 0 0 0 318 75 0 0 15 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10746] ppid=10736 vsize=15686104 CPUtime=2.89 cores=1,3,5,7
/proc/10738/task/10746/stat : 10746 (java) S 10736 10738 9954 0 -1 4202560 297930 0 0 0 245 44 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10747] ppid=10736 vsize=15686104 CPUtime=3.64 cores=1,3,5,7
/proc/10738/task/10747/stat : 10747 (java) S 10736 10738 9954 0 -1 4202560 372702 0 0 0 304 60 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10748] ppid=10736 vsize=15686104 CPUtime=3.97 cores=1,3,5,7
/proc/10738/task/10748/stat : 10748 (java) S 10736 10738 9954 0 -1 4202560 308585 0 0 0 346 51 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10749] ppid=10736 vsize=15686104 CPUtime=782.9 cores=1,3,5,7
/proc/10738/task/10749/stat : 10749 (java) R 10736 10738 9954 0 -1 4202560 582112 0 0 0 78193 97 0 0 19 0 22 0 503623162 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 46963622953309 0 0 0 16800975 0 0 0 -1 7 0 0 0
[pid=10738/tid=10750] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10750/stat : 10750 (java) S 10736 10738 9954 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503623162 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10751] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10751/stat : 10751 (java) S 10736 10738 9954 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 503623162 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10752] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10752/stat : 10752 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273440177 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10753] ppid=10736 vsize=15686104 CPUtime=1.62 cores=1,3,5,7
/proc/10738/task/10753/stat : 10753 (java) S 10736 10738 9954 0 -1 4202560 18313 0 0 0 159 3 0 0 15 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10754] ppid=10736 vsize=15686104 CPUtime=1.04 cores=1,3,5,7
/proc/10738/task/10754/stat : 10754 (java) S 10736 10738 9954 0 -1 4202560 4535 0 0 0 104 0 0 0 15 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10755] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10755/stat : 10755 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10756] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10756/stat : 10756 (java) S 10736 10738 9954 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10761] ppid=10736 vsize=15686104 CPUtime=386.15 cores=1,3,5,7
/proc/10738/task/10761/stat : 10761 (java) S 10736 10738 9954 0 -1 4202560 42337 0 0 0 38603 12 0 0 15 0 22 0 503623265 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 4
[pid=10738/tid=10762] ppid=10736 vsize=15686104 CPUtime=387.24 cores=1,3,5,7
/proc/10738/task/10762/stat : 10762 (java) S 10736 10738 9954 0 -1 4202560 42517 0 0 0 38712 12 0 0 16 0 22 0 503623265 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10763] ppid=10736 vsize=15686104 CPUtime=386.05 cores=1,3,5,7
/proc/10738/task/10763/stat : 10763 (java) S 10736 10738 9954 0 -1 4202560 54302 0 0 0 38590 15 0 0 15 0 22 0 503623265 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10764] ppid=10736 vsize=15686104 CPUtime=387.08 cores=1,3,5,7
/proc/10738/task/10764/stat : 10764 (java) S 10736 10738 9954 0 -1 4202560 68077 0 0 0 38692 16 0 0 16 0 22 0 503623265 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2365.05
Current children cumulated vsize (KiB) 15686104

[startup+1242.31 s]
/proc/loadavg: 3.45 4.99 6.16 2/193 10820
/proc/meminfo: memFree=14247648/32951124 swapFree=67111348/67111528
[pid=10738] ppid=10736 vsize=15686104 CPUtime=2438.45 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10736 10738 9954 0 -1 4202496 3937786 0 1 0 243182 663 0 0 22 0 22 0 503623160 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10738/statm: 3921526 3855330 2293 9 0 3912245 0
[pid=10738/tid=10739] ppid=10736 vsize=15686104 CPUtime=3.15 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) S 10736 10738 9954 0 -1 4202560 35677 0 1 0 310 5 0 0 25 0 22 0 503623160 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10741] ppid=10736 vsize=15686104 CPUtime=4.17 cores=1,3,5,7
/proc/10738/task/10741/stat : 10741 (java) S 10736 10738 9954 0 -1 4202560 397866 0 0 0 352 65 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10742] ppid=10736 vsize=15686104 CPUtime=3.8 cores=1,3,5,7
/proc/10738/task/10742/stat : 10742 (java) S 10736 10738 9954 0 -1 4202560 368873 0 0 0 325 55 0 0 15 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10743] ppid=10736 vsize=15686104 CPUtime=3.86 cores=1,3,5,7
/proc/10738/task/10743/stat : 10743 (java) S 10736 10738 9954 0 -1 4202560 436707 0 0 0 317 69 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10744] ppid=10736 vsize=15686104 CPUtime=3.4 cores=1,3,5,7
/proc/10738/task/10744/stat : 10744 (java) S 10736 10738 9954 0 -1 4202560 415156 0 0 0 269 71 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10745] ppid=10736 vsize=15686104 CPUtime=3.93 cores=1,3,5,7
/proc/10738/task/10745/stat : 10745 (java) S 10736 10738 9954 0 -1 4202560 490308 0 0 0 318 75 0 0 15 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10746] ppid=10736 vsize=15686104 CPUtime=2.89 cores=1,3,5,7
/proc/10738/task/10746/stat : 10746 (java) S 10736 10738 9954 0 -1 4202560 297930 0 0 0 245 44 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10747] ppid=10736 vsize=15686104 CPUtime=3.64 cores=1,3,5,7
/proc/10738/task/10747/stat : 10747 (java) S 10736 10738 9954 0 -1 4202560 372702 0 0 0 304 60 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10748] ppid=10736 vsize=15686104 CPUtime=3.97 cores=1,3,5,7
/proc/10738/task/10748/stat : 10748 (java) S 10736 10738 9954 0 -1 4202560 308585 0 0 0 346 51 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10749] ppid=10736 vsize=15686104 CPUtime=838.39 cores=1,3,5,7
/proc/10738/task/10749/stat : 10749 (java) R 10736 10738 9954 0 -1 4202560 582116 0 0 0 83739 100 0 0 18 0 22 0 503623162 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273442485 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=10738/tid=10750] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10750/stat : 10750 (java) S 10736 10738 9954 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503623162 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10751] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10751/stat : 10751 (java) S 10736 10738 9954 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 503623162 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10752] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10752/stat : 10752 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273440177 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10753] ppid=10736 vsize=15686104 CPUtime=1.62 cores=1,3,5,7
/proc/10738/task/10753/stat : 10753 (java) S 10736 10738 9954 0 -1 4202560 18313 0 0 0 159 3 0 0 15 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10754] ppid=10736 vsize=15686104 CPUtime=1.04 cores=1,3,5,7
/proc/10738/task/10754/stat : 10754 (java) S 10736 10738 9954 0 -1 4202560 4535 0 0 0 104 0 0 0 15 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10755] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10755/stat : 10755 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10756] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10756/stat : 10756 (java) R 10736 10738 9954 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10738/tid=10761] ppid=10736 vsize=15686104 CPUtime=390.65 cores=1,3,5,7
/proc/10738/task/10761/stat : 10761 (java) R 10736 10738 9954 0 -1 4202560 42487 0 0 0 39052 13 0 0 15 0 22 0 503623265 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 46912506258050 0 4 0 16800975 0 0 0 -1 1 0 0 4
[pid=10738/tid=10762] ppid=10736 vsize=15686104 CPUtime=391.73 cores=1,3,5,7
/proc/10738/task/10762/stat : 10762 (java) R 10736 10738 9954 0 -1 4202560 42552 0 0 0 39160 13 0 0 15 0 22 0 503623265 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 46912506443200 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10738/tid=10763] ppid=10736 vsize=15686104 CPUtime=390.52 cores=1,3,5,7
/proc/10738/task/10763/stat : 10763 (java) R 10736 10738 9954 0 -1 4202560 54362 0 0 0 39037 15 0 0 15 0 22 0 503623265 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 46912506357641 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10738/tid=10764] ppid=10736 vsize=15686104 CPUtime=391.55 cores=1,3,5,7
/proc/10738/task/10764/stat : 10764 (java) R 10736 10738 9954 0 -1 4202560 68162 0 0 0 39139 16 0 0 15 0 22 0 503623265 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 46912506167118 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2438.45
Current children cumulated vsize (KiB) 15686104



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.61 4.48 5.91 2/193 10822
/proc/meminfo: memFree=14247600/32951124 swapFree=67111348/67111528
[pid=10738] ppid=10736 vsize=15686104 CPUtime=2508.23 cores=1,3,5,7
/proc/10738/stat : 10738 (java) S 10736 10738 9954 0 -1 4202496 3938106 0 1 0 250155 668 0 0 22 0 22 0 503623160 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10738/statm: 3921526 3855330 2293 9 0 3912245 0
[pid=10738/tid=10739] ppid=10736 vsize=15686104 CPUtime=3.15 cores=1,3,5,7
/proc/10738/task/10739/stat : 10739 (java) S 10736 10738 9954 0 -1 4202560 35677 0 1 0 310 5 0 0 25 0 22 0 503623160 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10741] ppid=10736 vsize=15686104 CPUtime=4.17 cores=1,3,5,7
/proc/10738/task/10741/stat : 10741 (java) S 10736 10738 9954 0 -1 4202560 397866 0 0 0 352 65 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10742] ppid=10736 vsize=15686104 CPUtime=3.8 cores=1,3,5,7
/proc/10738/task/10742/stat : 10742 (java) S 10736 10738 9954 0 -1 4202560 368873 0 0 0 325 55 0 0 15 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10743] ppid=10736 vsize=15686104 CPUtime=3.86 cores=1,3,5,7
/proc/10738/task/10743/stat : 10743 (java) S 10736 10738 9954 0 -1 4202560 436707 0 0 0 317 69 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10744] ppid=10736 vsize=15686104 CPUtime=3.4 cores=1,3,5,7
/proc/10738/task/10744/stat : 10744 (java) S 10736 10738 9954 0 -1 4202560 415156 0 0 0 269 71 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10745] ppid=10736 vsize=15686104 CPUtime=3.93 cores=1,3,5,7
/proc/10738/task/10745/stat : 10745 (java) S 10736 10738 9954 0 -1 4202560 490308 0 0 0 318 75 0 0 15 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10746] ppid=10736 vsize=15686104 CPUtime=2.89 cores=1,3,5,7
/proc/10738/task/10746/stat : 10746 (java) S 10736 10738 9954 0 -1 4202560 297930 0 0 0 245 44 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10747] ppid=10736 vsize=15686104 CPUtime=3.64 cores=1,3,5,7
/proc/10738/task/10747/stat : 10747 (java) S 10736 10738 9954 0 -1 4202560 372702 0 0 0 304 60 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10748] ppid=10736 vsize=15686104 CPUtime=3.97 cores=1,3,5,7
/proc/10738/task/10748/stat : 10748 (java) S 10736 10738 9954 0 -1 4202560 308585 0 0 0 346 51 0 0 16 0 22 0 503623161 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10749] ppid=10736 vsize=15686104 CPUtime=892 cores=1,3,5,7
/proc/10738/task/10749/stat : 10749 (java) R 10736 10738 9954 0 -1 4202560 582120 0 0 0 89096 104 0 0 18 0 22 0 503623162 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 46963621386051 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=10738/tid=10750] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10750/stat : 10750 (java) S 10736 10738 9954 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503623162 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10751] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10751/stat : 10751 (java) S 10736 10738 9954 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 503623162 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10752] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10752/stat : 10752 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273440177 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10753] ppid=10736 vsize=15686104 CPUtime=1.62 cores=1,3,5,7
/proc/10738/task/10753/stat : 10753 (java) S 10736 10738 9954 0 -1 4202560 18313 0 0 0 159 3 0 0 15 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10754] ppid=10736 vsize=15686104 CPUtime=1.04 cores=1,3,5,7
/proc/10738/task/10754/stat : 10754 (java) S 10736 10738 9954 0 -1 4202560 4535 0 0 0 104 0 0 0 15 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 0
[pid=10738/tid=10755] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10755/stat : 10755 (java) S 10736 10738 9954 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
[pid=10738/tid=10756] ppid=10736 vsize=15686104 CPUtime=0 cores=1,3,5,7
/proc/10738/task/10756/stat : 10756 (java) S 10736 10738 9954 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 503623164 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273433088 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10761] ppid=10736 vsize=15686104 CPUtime=394.69 cores=1,3,5,7
/proc/10738/task/10761/stat : 10761 (java) S 10736 10738 9954 0 -1 4202560 42572 0 0 0 39456 13 0 0 16 0 22 0 503623265 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 1 0 0 4
[pid=10738/tid=10762] ppid=10736 vsize=15686104 CPUtime=395.78 cores=1,3,5,7
/proc/10738/task/10762/stat : 10762 (java) S 10736 10738 9954 0 -1 4202560 42604 0 0 0 39565 13 0 0 15 0 22 0 503623265 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 3 0 0 0
[pid=10738/tid=10763] ppid=10736 vsize=15686104 CPUtime=394.56 cores=1,3,5,7
/proc/10738/task/10763/stat : 10763 (java) S 10736 10738 9954 0 -1 4202560 54448 0 0 0 39440 16 0 0 15 0 22 0 503623265 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 7 0 0 0
[pid=10738/tid=10764] ppid=10736 vsize=15686104 CPUtime=395.6 cores=1,3,5,7
/proc/10738/task/10764/stat : 10764 (java) S 10736 10738 9954 0 -1 4202560 68251 0 0 0 39543 17 0 0 15 0 22 0 503623265 16062570496 3855330 33554432000 1073741824 1073778376 140733346540784 18446744073709551615 254273432473 0 4 0 16800975 18446604461144809792 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2508.23
Current children cumulated vsize (KiB) 15686104

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10738

[startup+1302.3 s]
/proc/loadavg: 2.61 4.48 5.91 2/195 10824
/proc/meminfo: memFree=14247704/32951124 swapFree=67111348/67111528
[pid=10738] ppid=10736 vsize=0 CPUtime=2511.15 cores=1,3,5,7
/proc/10738/stat : 10738 (java) Z 10736 10738 9954 0 -1 4203548 3938145 0 1 0 250418 697 0 0 18 0 2 0 503623160 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/10738/statm: 0 0 0 0 0 0 0
[pid=10738/tid=10755] ppid=10736 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/10738/task/10755/stat : 10755 (java) R 10736 10738 9954 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 503623164 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2511.15
Current children cumulated vsize (KiB) 0

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

[startup+1302.5 s]
/proc/loadavg: 2.61 4.48 5.91 2/195 10824
/proc/meminfo: memFree=14247704/32951124 swapFree=67111348/67111528
[pid=10738] ppid=10736 vsize=0 CPUtime=2511.35 cores=1,3,5,7
/proc/10738/stat : 10738 (java) Z 10736 10738 9954 0 -1 4203548 3938145 0 1 0 250418 717 0 0 18 0 2 0 503623160 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/10738/statm: 0 0 0 0 0 0 0
[pid=10738/tid=10755] ppid=10736 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/10738/task/10755/stat : 10755 (java) R 10736 10738 9954 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 503623164 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2511.35
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.56
CPU time (s): 2511.41
CPU user time (s): 2504.19
CPU system time (s): 7.2279
CPU usage (%): 192.806
Max. virtual memory (cumulated for all children) (KiB): 15692548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2504.19
system time used= 7.2279
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3938145
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= 65319
involuntary context switches= 35575

runsolver used 2.28665 second user time and 5.09023 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 23:21:18
IDJOB=3311151
IDBENCH=82536
IDSOLVER=1698
FILE ID=node140/3311151-1304112078
RUNJOBID= node140-1304112078-10702
PBS_JOBID= 13170652
Free space on /tmp= 72656 MiB

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

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

MD5SUM BENCH= e875844c76f68e9f4050986690c5cb90
RANDOM SEED=1798076261

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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:      29672240 kB
Buffers:       1011240 kB
Cached:        1695868 kB
SwapCached:        180 kB
Active:         292872 kB
Inactive:      2495928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29672240 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            8000 kB
Writeback:           0 kB
AnonPages:       81196 kB
Mapped:          23200 kB
Slab:           427456 kB
PageTables:       4668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   776128 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= 72656 MiB
End job on node140 at 2011-04-29 23:43:01