Trace number 3312365

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1? (TO) 2508.83 1302.65

General information on the benchmark

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

Solver Data 

0.10/0.11	22:54 INFO : Reading from input HOME/instance-3312365-1304112173.cnf
1.24/1.07	Executor set job limit to 1000000
1.24/1.07	Executor set job limit to 1000000
1.24/1.07	Executor set job limit to 1000000
1.24/1.07	Executor set job limit to 1000000
1.24/1.07	Starting Executor!
1.24/1.07	Starting Executor!
1.24/1.07	Starting Executor!
1.24/1.07	Starting Executor!
5.40/3.33	22:57 INFO : 49798 variables remaining out of 49999
5.40/3.33	22:57 INFO : 834844 literals remaining out of 840000
1398.57/381.85	29:16 ERROR: Failed to solve instance
1398.57/381.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1398.57/381.85		at ibis.structure.WatchLists.build(WatchLists.java:47)
1398.57/381.85		at ibis.structure.Solver.<init>(Solver.java:45)
1398.57/381.85		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1398.57/381.85		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1398.57/381.85		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1398.57/381.85		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1398.57/381.85		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1398.57/381.85		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1398.57/381.85		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1398.57/381.85		at ibis.constellation.Executor.processActivities(Executor.java:75)
1398.57/381.85		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1398.57/381.85		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1398.57/381.85		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1400.99/384.23	29:18 ERROR: Failed to solve instance
1400.99/384.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1400.99/384.23		at gnu.trove.TPrimitiveHash.setUp(TPrimitiveHash.java:123)
1400.99/384.23		at gnu.trove.TIntHash.setUp(TIntHash.java:133)
1400.99/384.23		at gnu.trove.THash.<init>(THash.java:128)
1400.99/384.23		at gnu.trove.THash.<init>(THash.java:97)
1400.99/384.23		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1400.99/384.23		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1400.99/384.23		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1400.99/384.23		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1400.99/384.23		at ibis.structure.WatchLists.build(WatchLists.java:47)
1400.99/384.23		at ibis.structure.Solver.<init>(Solver.java:45)
1400.99/384.23		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1400.99/384.23		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1400.99/384.23		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1400.99/384.23		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1400.99/384.23		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1400.99/384.23		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1400.99/384.23		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1400.99/384.23		at ibis.constellation.Executor.processActivities(Executor.java:75)
1400.99/384.23		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1400.99/384.23		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1400.99/384.23		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1403.51/386.72	29:20 ERROR: Failed to solve instance
1403.51/386.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1403.51/386.72		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1403.51/386.72		at gnu.trove.THash.<init>(THash.java:128)
1403.51/386.72		at gnu.trove.THash.<init>(THash.java:97)
1403.51/386.72		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1403.51/386.72		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1403.51/386.72		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1403.51/386.72		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1403.51/386.72		at ibis.structure.WatchLists.build(WatchLists.java:47)
1403.51/386.72		at ibis.structure.Solver.<init>(Solver.java:45)
1403.51/386.72		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1403.51/386.72		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1403.51/386.72		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1403.51/386.72		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1403.51/386.72		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1403.51/386.72		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1403.51/386.72		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1403.51/386.72		at ibis.constellation.Executor.processActivities(Executor.java:75)
1403.51/386.72		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1403.51/386.72		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1403.51/386.72		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1406.44/389.70	29:23 ERROR: Failed to solve instance
1406.44/389.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1406.44/389.70		at gnu.trove.TPrimitiveHash.setUp(TPrimitiveHash.java:123)
1406.44/389.70		at gnu.trove.TIntHash.setUp(TIntHash.java:133)
1406.44/389.70		at gnu.trove.THash.<init>(THash.java:128)
1406.44/389.70		at gnu.trove.THash.<init>(THash.java:97)
1406.44/389.70		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1406.44/389.70		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1406.44/389.70		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1406.44/389.70		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1406.44/389.70		at ibis.structure.WatchLists.build(WatchLists.java:47)
1406.44/389.70		at ibis.structure.Solver.<init>(Solver.java:45)
1406.44/389.70		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1406.44/389.70		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1406.44/389.70		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1406.44/389.70		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1406.44/389.70		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1406.44/389.70		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1406.44/389.70		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1406.44/389.70		at ibis.constellation.Executor.processActivities(Executor.java:75)
1406.44/389.70		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1406.44/389.70		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1406.44/389.70		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1408.98/392.15	29:26 ERROR: Failed to solve instance
1408.98/392.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1409.71/392.80	29:27 ERROR: Failed to solve instance
1409.71/392.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1417.72/399.30	29:33 ERROR: Failed to solve instance
1417.72/399.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.90/402.68	29:36 ERROR: Failed to solve instance
1421.90/402.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1424.54/405.21	29:39 ERROR: Failed to solve instance
1424.54/405.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1426.95/407.66	29:41 ERROR: Failed to solve instance
1426.95/407.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1428.08/408.71	29:42 ERROR: Failed to solve instance
1428.08/408.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1428.62/409.29	29:43 ERROR: Failed to solve instance
1428.62/409.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1429.36/409.94	29:44 ERROR: Failed to solve instance
1429.36/409.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1433.36/413.21	29:47 ERROR: Failed to solve instance
1433.36/413.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1433.90/413.79	29:48 ERROR: Failed to solve instance
1433.90/413.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1441.29/419.54	29:53 ERROR: Failed to solve instance
1441.29/419.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1441.90/420.13	29:54 ERROR: Failed to solve instance
1441.90/420.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1442.83/421.04	29:55 ERROR: Failed to solve instance
1442.83/421.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1443.83/421.96	29:56 ERROR: Failed to solve instance
1443.83/421.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.07/429.99	30:04 ERROR: Failed to solve instance
1454.07/429.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.30/431.11	30:05 ERROR: Failed to solve instance
1455.30/431.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.61/431.41	30:05 ERROR: Failed to solve instance
1455.61/431.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.55/432.32	30:06 ERROR: Failed to solve instance
1456.55/432.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1457.18/432.97	30:07 ERROR: Failed to solve instance
1457.18/432.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1465.31/439.48	30:13 ERROR: Failed to solve instance
1465.31/439.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1467.84/442.00	30:16 ERROR: Failed to solve instance
1467.84/442.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1468.58/442.62	30:16 ERROR: Failed to solve instance
1468.58/442.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1469.20/443.28	30:17 ERROR: Failed to solve instance
1469.20/443.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1474.33/447.60	30:21 ERROR: Failed to solve instance
1474.33/447.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1474.97/448.16	30:22 ERROR: Failed to solve instance
1474.97/448.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1475.59/448.73	30:22 ERROR: Failed to solve instance
1475.59/448.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1476.73/449.90	30:24 ERROR: Failed to solve instance
1476.73/449.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1477.34/450.45	30:24 ERROR: Failed to solve instance
1477.34/450.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1478.09/451.18	30:25 ERROR: Failed to solve instance
1478.09/451.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1488.61/459.18	30:33 ERROR: Failed to solve instance
1488.61/459.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1489.23/459.78	30:34 ERROR: Failed to solve instance
1489.23/459.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1490.58/461.04	30:35 ERROR: Failed to solve instance
1490.58/461.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1491.09/461.61	30:35 ERROR: Failed to solve instance
1491.09/461.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1491.84/462.29	30:36 ERROR: Failed to solve instance
1491.84/462.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1501.64/469.71	30:43 ERROR: Failed to solve instance
1501.64/469.71	java.lang.OutOfMemoryError: Java heap space
1502.14/470.24	30:44 ERROR: Failed to solve instance
1502.14/470.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1502.79/470.88	30:45 ERROR: Failed to solve instance
1502.79/470.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1507.72/474.97	30:49 ERROR: Failed to solve instance
1507.72/474.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1508.34/475.57	30:49 ERROR: Failed to solve instance
1508.34/475.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1514.11/480.22	30:54 ERROR: Failed to solve instance
1514.11/480.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1514.62/480.80	30:55 ERROR: Failed to solve instance
1514.62/480.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1518.33/483.96	30:58 ERROR: Failed to solve instance
1518.33/483.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1518.95/484.57	30:58 ERROR: Failed to solve instance
1518.95/484.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1520.20/485.78	30:59 ERROR: Failed to solve instance
1520.20/485.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1520.93/486.45	31:00 ERROR: Failed to solve instance
1520.93/486.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1531.45/494.39	31:08 ERROR: Failed to solve instance
1531.45/494.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1532.07/494.97	31:09 ERROR: Failed to solve instance
1532.07/494.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1532.70/495.59	31:09 ERROR: Failed to solve instance
1532.70/495.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1534.08/496.87	31:11 ERROR: Failed to solve instance
1534.08/496.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1534.70/497.43	31:11 ERROR: Failed to solve instance
1534.70/497.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1539.60/501.33	31:15 ERROR: Failed to solve instance
1539.60/501.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1540.12/501.90	31:16 ERROR: Failed to solve instance
1540.12/501.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1541.34/503.03	31:17 ERROR: Failed to solve instance
1541.34/503.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1541.97/503.66	31:17 ERROR: Failed to solve instance
1541.97/503.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1542.61/504.31	31:18 ERROR: Failed to solve instance
1542.61/504.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1543.33/504.98	31:19 ERROR: Failed to solve instance
1543.33/504.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1555.18/513.68	31:27 ERROR: Failed to solve instance
1555.18/513.68	java.lang.OutOfMemoryError: Java heap space
1556.01/514.43	31:28 ERROR: Failed to solve instance
1556.01/514.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1556.64/515.04	31:29 ERROR: Failed to solve instance
1556.64/515.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1557.28/515.68	31:29 ERROR: Failed to solve instance
1557.28/515.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.59/519.24	31:33 ERROR: Failed to solve instance
1561.59/519.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1570.62/526.65	31:40 ERROR: Failed to solve instance
1570.62/526.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1571.15/527.20	31:41 ERROR: Failed to solve instance
1571.15/527.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1571.87/527.82	31:42 ERROR: Failed to solve instance
1571.87/527.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1572.39/528.33	31:42 ERROR: Failed to solve instance
1572.39/528.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1573.33/529.31	31:43 ERROR: Failed to solve instance
1573.33/529.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1577.93/533.13	31:47 ERROR: Failed to solve instance
1577.93/533.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1578.45/533.69	31:47 ERROR: Failed to solve instance
1578.45/533.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1579.17/534.32	31:48 ERROR: Failed to solve instance
1579.17/534.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1580.10/535.25	31:49 ERROR: Failed to solve instance
1580.10/535.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1580.76/535.87	31:50 ERROR: Failed to solve instance
1580.76/535.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.27/544.03	31:58 ERROR: Failed to solve instance
1591.27/544.03	java.lang.OutOfMemoryError: Java heap space
1591.57/544.31	31:58 ERROR: Failed to solve instance
1591.57/544.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1592.21/544.93	31:59 ERROR: Failed to solve instance
1592.21/544.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1601.86/552.73	32:06 ERROR: Failed to solve instance
1601.86/552.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1602.50/553.36	32:07 ERROR: Failed to solve instance
1602.50/553.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.72/556.87	32:11 ERROR: Failed to solve instance
1606.72/556.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1610.24/559.81	32:14 ERROR: Failed to solve instance
1610.24/559.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1611.28/560.87	32:14 ERROR: Failed to solve instance
1611.28/560.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1611.92/561.50	32:15 ERROR: Failed to solve instance
1611.92/561.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1612.68/562.21	32:16 ERROR: Failed to solve instance
1612.68/562.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1621.44/569.24	32:23 ERROR: Failed to solve instance
1621.44/569.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1622.73/570.40	32:24 ERROR: Failed to solve instance
1622.73/570.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1622.94/570.66	32:24 ERROR: Failed to solve instance
1622.94/570.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1627.55/574.51	32:28 ERROR: Failed to solve instance
1627.55/574.51	java.lang.OutOfMemoryError: Java heap space
1627.75/574.81	32:29 ERROR: Failed to solve instance
1627.75/574.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1632.54/578.71	32:32 ERROR: Failed to solve instance
1632.54/578.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1633.56/579.80	32:33 ERROR: Failed to solve instance
1633.56/579.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1634.28/580.44	32:34 ERROR: Failed to solve instance
1634.28/580.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.02/581.13	32:35 ERROR: Failed to solve instance
1635.02/581.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.75/581.87	32:36 ERROR: Failed to solve instance
1635.75/581.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1649.77/592.78	32:47 ERROR: Failed to solve instance
1649.77/592.78	java.lang.OutOfMemoryError: Java heap space
1650.07/593.04	32:47 ERROR: Failed to solve instance
1650.07/593.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.79/593.77	32:48 ERROR: Failed to solve instance
1650.79/593.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.02/594.97	32:49 ERROR: Failed to solve instance
1652.02/594.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.74/595.65	32:49 ERROR: Failed to solve instance
1652.74/595.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1653.47/596.38	32:50 ERROR: Failed to solve instance
1653.47/596.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1654.30/597.15	32:51 ERROR: Failed to solve instance
1654.30/597.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1665.72/606.08	33:00 ERROR: Failed to solve instance
1665.72/606.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.35/606.68	33:00 ERROR: Failed to solve instance
1666.35/606.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1667.08/607.31	33:01 ERROR: Failed to solve instance
1667.08/607.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1668.50/608.62	33:02 ERROR: Failed to solve instance
1668.50/608.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1669.01/609.17	33:03 ERROR: Failed to solve instance
1669.01/609.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1678.97/617.04	33:11 ERROR: Failed to solve instance
1678.97/617.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1680.09/618.18	33:12 ERROR: Failed to solve instance
1680.09/618.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1680.71/618.77	33:13 ERROR: Failed to solve instance
1680.71/618.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1681.45/619.42	33:13 ERROR: Failed to solve instance
1681.45/619.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1682.19/620.18	33:14 ERROR: Failed to solve instance
1682.19/620.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1690.13/626.46	33:20 ERROR: Failed to solve instance
1690.13/626.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1692.84/628.74	33:22 ERROR: Failed to solve instance
1692.84/628.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.24/629.11	33:23 ERROR: Failed to solve instance
1693.24/629.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1697.23/632.59	33:26 ERROR: Failed to solve instance
1697.23/632.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1697.85/633.17	33:27 ERROR: Failed to solve instance
1697.85/633.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1698.58/633.80	33:28 ERROR: Failed to solve instance
1698.58/633.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1699.20/634.45	33:28 ERROR: Failed to solve instance
1699.20/634.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1700.24/635.43	33:29 ERROR: Failed to solve instance
1700.24/635.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1711.15/643.82	33:38 ERROR: Failed to solve instance
1711.15/643.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.27/644.97	33:39 ERROR: Failed to solve instance
1712.27/644.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.88/645.58	33:39 ERROR: Failed to solve instance
1712.88/645.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1713.62/646.21	33:40 ERROR: Failed to solve instance
1713.62/646.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1714.24/646.89	33:41 ERROR: Failed to solve instance
1714.24/646.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1722.55/653.53	33:47 ERROR: Failed to solve instance
1722.55/653.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1723.17/654.12	33:48 ERROR: Failed to solve instance
1723.17/654.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1723.78/654.77	33:49 ERROR: Failed to solve instance
1723.78/654.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1725.02/656.00	33:50 ERROR: Failed to solve instance
1725.02/656.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1725.75/656.69	33:50 ERROR: Failed to solve instance
1725.75/656.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1736.84/665.18	33:59 ERROR: Failed to solve instance
1736.84/665.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1737.45/665.73	33:59 ERROR: Failed to solve instance
1737.45/665.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.06/666.32	34:00 ERROR: Failed to solve instance
1738.06/666.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.18/667.44	34:01 ERROR: Failed to solve instance
1739.18/667.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.82/668.07	34:02 ERROR: Failed to solve instance
1739.82/668.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1740.54/668.74	34:02 ERROR: Failed to solve instance
1740.54/668.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1741.17/669.33	34:03 ERROR: Failed to solve instance
1741.17/669.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1746.70/673.87	34:08 ERROR: Failed to solve instance
1746.70/673.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1747.33/674.44	34:08 ERROR: Failed to solve instance
1747.33/674.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1747.95/675.07	34:09 ERROR: Failed to solve instance
1747.95/675.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1761.41/685.99	34:20 ERROR: Failed to solve instance
1761.41/685.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1762.03/686.56	34:20 ERROR: Failed to solve instance
1762.03/686.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1762.63/687.16	34:21 ERROR: Failed to solve instance
1762.63/687.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1763.36/687.81	34:22 ERROR: Failed to solve instance
1763.36/687.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1764.60/689.02	34:23 ERROR: Failed to solve instance
1764.60/689.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1765.22/689.69	34:23 ERROR: Failed to solve instance
1765.22/689.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1766.07/690.41	34:24 ERROR: Failed to solve instance
1766.07/690.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1766.80/691.15	34:25 ERROR: Failed to solve instance
1766.80/691.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1778.05/699.87	34:34 ERROR: Failed to solve instance
1778.05/699.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1778.70/700.42	34:34 ERROR: Failed to solve instance
1778.70/700.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1782.69/703.88	34:38 ERROR: Failed to solve instance
1782.69/703.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1783.63/704.75	34:38 ERROR: Failed to solve instance
1783.63/704.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.26/705.35	34:39 ERROR: Failed to solve instance
1784.26/705.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1785.41/706.50	34:40 ERROR: Failed to solve instance
1785.41/706.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1785.85/706.88	34:41 ERROR: Failed to solve instance
1785.85/706.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1790.30/710.49	34:44 ERROR: Failed to solve instance
1790.30/710.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1790.93/711.04	34:45 ERROR: Failed to solve instance
1790.93/711.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1791.54/711.66	34:45 ERROR: Failed to solve instance
1791.54/711.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1792.79/712.81	34:46 ERROR: Failed to solve instance
1792.79/712.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1793.42/713.44	34:47 ERROR: Failed to solve instance
1793.42/713.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1794.16/714.11	34:48 ERROR: Failed to solve instance
1794.16/714.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1804.69/721.47	34:55 ERROR: Failed to solve instance
1804.69/721.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1809.27/725.24	34:59 ERROR: Failed to solve instance
1809.27/725.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1809.88/725.82	35:00 ERROR: Failed to solve instance
1809.88/725.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1810.52/726.43	35:00 ERROR: Failed to solve instance
1810.52/726.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1811.75/727.67	35:01 ERROR: Failed to solve instance
1811.75/727.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1812.48/728.37	35:02 ERROR: Failed to solve instance
1812.48/728.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1813.21/729.02	35:03 ERROR: Failed to solve instance
1813.21/729.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1823.27/736.87	35:11 ERROR: Failed to solve instance
1823.27/736.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1823.99/737.57	35:11 ERROR: Failed to solve instance
1823.99/737.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1824.62/738.19	35:12 ERROR: Failed to solve instance
1824.62/738.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1829.18/741.82	35:16 ERROR: Failed to solve instance
1829.18/741.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1830.20/742.89	35:17 ERROR: Failed to solve instance
1830.20/742.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1830.82/743.48	35:17 ERROR: Failed to solve instance
1830.82/743.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1831.56/744.12	35:18 ERROR: Failed to solve instance
1831.56/744.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1832.30/744.85	35:19 ERROR: Failed to solve instance
1832.30/744.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1844.75/754.12	35:28 ERROR: Failed to solve instance
1844.75/754.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1845.26/754.68	35:28 ERROR: Failed to solve instance
1845.26/754.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1845.88/755.26	35:29 ERROR: Failed to solve instance
1845.88/755.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1847.11/756.44	35:30 ERROR: Failed to solve instance
1847.11/756.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1847.75/757.13	35:31 ERROR: Failed to solve instance
1847.75/757.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1854.74/762.44	35:36 ERROR: Failed to solve instance
1854.74/762.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1855.37/763.04	35:37 ERROR: Failed to solve instance
1855.37/763.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1856.12/763.78	35:38 ERROR: Failed to solve instance
1856.12/763.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1861.06/767.67	35:41 ERROR: Failed to solve instance
1861.06/767.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.19/768.70	35:42 ERROR: Failed to solve instance
1862.19/768.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.72/769.22	35:43 ERROR: Failed to solve instance
1862.72/769.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1863.56/770.10	35:44 ERROR: Failed to solve instance
1863.56/770.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1864.18/770.70	35:44 ERROR: Failed to solve instance
1864.18/770.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1869.21/774.79	35:49 ERROR: Failed to solve instance
1869.21/774.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1870.45/775.97	35:50 ERROR: Failed to solve instance
1870.45/775.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1871.17/776.61	35:50 ERROR: Failed to solve instance
1871.17/776.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1871.80/777.28	35:51 ERROR: Failed to solve instance
1871.80/777.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1872.54/777.99	35:52 ERROR: Failed to solve instance
1872.54/777.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1883.17/785.99	36:00 ERROR: Failed to solve instance
1883.17/785.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1884.11/786.86	36:01 ERROR: Failed to solve instance
1884.11/786.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1884.67/787.40	36:01 ERROR: Failed to solve instance
1884.67/787.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1887.90/790.01	36:04 ERROR: Failed to solve instance
1887.90/790.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1889.70/791.68	36:05 ERROR: Failed to solve instance
1889.70/791.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1890.93/792.84	36:07 ERROR: Failed to solve instance
1890.93/792.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.57/793.45	36:07 ERROR: Failed to solve instance
1891.57/793.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1892.30/794.14	36:08 ERROR: Failed to solve instance
1892.30/794.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1893.06/794.90	36:09 ERROR: Failed to solve instance
1893.06/794.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.76/804.01	36:18 ERROR: Failed to solve instance
1904.76/804.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.31/804.59	36:18 ERROR: Failed to solve instance
1905.31/804.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1906.03/805.21	36:19 ERROR: Failed to solve instance
1906.03/805.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1916.48/813.52	36:27 ERROR: Failed to solve instance
1916.48/813.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1917.51/814.58	36:28 ERROR: Failed to solve instance
1917.51/814.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1918.13/815.14	36:29 ERROR: Failed to solve instance
1918.13/815.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1918.75/815.75	36:29 ERROR: Failed to solve instance
1918.75/815.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1919.50/816.40	36:30 ERROR: Failed to solve instance
1919.50/816.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1920.55/817.45	36:31 ERROR: Failed to solve instance
1920.55/817.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.19/818.04	36:32 ERROR: Failed to solve instance
1921.19/818.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.83/818.70	36:32 ERROR: Failed to solve instance
1921.83/818.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.55/819.37	36:33 ERROR: Failed to solve instance
1922.55/819.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1932.58/826.70	36:40 ERROR: Failed to solve instance
1932.58/826.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.41/827.60	36:41 ERROR: Failed to solve instance
1933.41/827.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1934.14/828.28	36:42 ERROR: Failed to solve instance
1934.14/828.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1943.43/835.42	36:49 ERROR: Failed to solve instance
1943.43/835.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1943.95/835.97	36:50 ERROR: Failed to solve instance
1943.95/835.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1945.08/837.02	36:51 ERROR: Failed to solve instance
1945.08/837.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1945.71/837.62	36:51 ERROR: Failed to solve instance
1945.71/837.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1946.24/838.18	36:52 ERROR: Failed to solve instance
1946.24/838.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1946.98/838.81	36:53 ERROR: Failed to solve instance
1946.98/838.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1952.40/843.28	36:57 ERROR: Failed to solve instance
1952.40/843.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1953.03/843.88	36:58 ERROR: Failed to solve instance
1953.03/843.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1953.75/844.56	36:58 ERROR: Failed to solve instance
1953.75/844.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1963.71/852.36	37:06 ERROR: Failed to solve instance
1963.71/852.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1964.34/852.91	37:07 ERROR: Failed to solve instance
1964.34/852.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1965.26/853.89	37:08 ERROR: Failed to solve instance
1965.26/853.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1965.88/854.45	37:08 ERROR: Failed to solve instance
1965.88/854.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1966.52/855.05	37:09 ERROR: Failed to solve instance
1966.52/855.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1967.25/855.71	37:09 ERROR: Failed to solve instance
1967.25/855.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1979.98/865.98	37:20 ERROR: Failed to solve instance
1979.98/865.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1980.59/866.54	37:20 ERROR: Failed to solve instance
1980.59/866.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1981.81/867.74	37:21 ERROR: Failed to solve instance
1981.81/867.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1982.43/868.35	37:22 ERROR: Failed to solve instance
1982.43/868.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1983.15/869.01	37:23 ERROR: Failed to solve instance
1983.15/869.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1983.88/869.72	37:23 ERROR: Failed to solve instance
1983.88/869.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1991.01/875.23	37:29 ERROR: Failed to solve instance
1991.01/875.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1991.55/875.83	37:30 ERROR: Failed to solve instance
1991.55/875.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1995.69/879.13	37:33 ERROR: Failed to solve instance
1995.69/879.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1996.32/879.72	37:33 ERROR: Failed to solve instance
1996.32/879.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1996.95/880.34	37:34 ERROR: Failed to solve instance
1996.95/880.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1998.23/881.54	37:35 ERROR: Failed to solve instance
1998.23/881.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1998.90/882.13	37:36 ERROR: Failed to solve instance
1998.90/882.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1999.54/882.76	37:37 ERROR: Failed to solve instance
1999.54/882.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2010.01/890.80	37:45 ERROR: Failed to solve instance
2010.01/890.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2010.56/891.39	37:45 ERROR: Failed to solve instance
2010.56/891.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2014.35/894.60	37:48 ERROR: Failed to solve instance
2014.35/894.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2015.09/895.22	37:49 ERROR: Failed to solve instance
2015.09/895.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2016.24/896.39	37:50 ERROR: Failed to solve instance
2016.24/896.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2016.97/897.07	37:51 ERROR: Failed to solve instance
2016.97/897.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.17/907.08	38:01 ERROR: Failed to solve instance
2030.17/907.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.48/907.34	38:01 ERROR: Failed to solve instance
2030.48/907.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2031.40/908.20	38:02 ERROR: Failed to solve instance
2031.40/908.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2032.01/908.83	38:03 ERROR: Failed to solve instance
2032.01/908.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2033.05/909.90	38:04 ERROR: Failed to solve instance
2033.05/909.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2040.73/915.93	38:10 ERROR: Failed to solve instance
2040.73/915.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2041.24/916.47	38:10 ERROR: Failed to solve instance
2041.24/916.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2041.85/917.09	38:11 ERROR: Failed to solve instance
2041.85/917.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2043.08/918.31	38:12 ERROR: Failed to solve instance
2043.08/918.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2043.82/918.97	38:13 ERROR: Failed to solve instance
2043.82/918.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.71/927.28	38:21 ERROR: Failed to solve instance
2054.71/927.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2056.09/928.59	38:22 ERROR: Failed to solve instance
2056.09/928.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2056.71/929.16	38:23 ERROR: Failed to solve instance
2056.71/929.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2057.34/929.76	38:23 ERROR: Failed to solve instance
2057.34/929.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2062.12/933.58	38:27 ERROR: Failed to solve instance
2062.12/933.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2062.73/934.13	38:28 ERROR: Failed to solve instance
2062.73/934.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2063.35/934.73	38:28 ERROR: Failed to solve instance
2063.35/934.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2064.48/935.88	38:29 ERROR: Failed to solve instance
2064.48/935.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2065.11/936.50	38:30 ERROR: Failed to solve instance
2065.11/936.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2065.84/937.15	38:31 ERROR: Failed to solve instance
2065.84/937.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2076.27/944.96	38:39 ERROR: Failed to solve instance
2076.27/944.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2076.90/945.55	38:39 ERROR: Failed to solve instance
2076.90/945.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2077.52/946.18	38:40 ERROR: Failed to solve instance
2077.52/946.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2081.14/949.28	38:43 ERROR: Failed to solve instance
2081.14/949.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2081.77/949.84	38:44 ERROR: Failed to solve instance
2081.77/949.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2082.39/950.47	38:44 ERROR: Failed to solve instance
2082.39/950.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2090.73/957.14	38:51 ERROR: Failed to solve instance
2090.73/957.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2091.42/957.71	38:51 ERROR: Failed to solve instance
2091.42/957.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2093.82/959.78	38:54 ERROR: Failed to solve instance
2093.82/959.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2100.93/965.34	38:59 ERROR: Failed to solve instance
2100.93/965.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2101.56/965.93	39:00 ERROR: Failed to solve instance
2101.56/965.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2102.63/966.93	39:01 ERROR: Failed to solve instance
2102.63/966.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2103.08/967.37	39:01 ERROR: Failed to solve instance
2103.08/967.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.46/969.36	39:03 ERROR: Failed to solve instance
2105.46/969.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2106.69/970.53	39:04 ERROR: Failed to solve instance
2106.69/970.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2107.32/971.15	39:05 ERROR: Failed to solve instance
2107.32/971.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2108.05/971.81	39:06 ERROR: Failed to solve instance
2108.05/971.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2108.79/972.51	39:06 ERROR: Failed to solve instance
2108.79/972.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2111.93/975.34	39:09 ERROR: Failed to solve instance
2111.93/975.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2112.66/976.06	39:10 ERROR: Failed to solve instance
2112.66/976.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2125.89/986.13	39:20 ERROR: Failed to solve instance
2125.89/986.13	java.lang.OutOfMemoryError: Java heap space
2126.09/986.40	39:20 ERROR: Failed to solve instance
2126.09/986.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2127.01/987.24	39:21 ERROR: Failed to solve instance
2127.01/987.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2127.61/987.89	39:22 ERROR: Failed to solve instance
2127.61/987.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2128.85/989.10	39:23 ERROR: Failed to solve instance
2128.85/989.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2129.58/989.78	39:24 ERROR: Failed to solve instance
2129.58/989.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.41/990.52	39:24 ERROR: Failed to solve instance
2130.41/990.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2131.15/991.29	39:25 ERROR: Failed to solve instance
2131.15/991.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2143.30/1000.78	39:35 ERROR: Failed to solve instance
2143.30/1000.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2143.94/1001.40	39:35 ERROR: Failed to solve instance
2143.94/1001.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2144.66/1002.05	39:36 ERROR: Failed to solve instance
2144.66/1002.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2154.93/1010.27	39:44 ERROR: Failed to solve instance
2154.93/1010.27	java.lang.OutOfMemoryError: Java heap space
2155.53/1010.83	39:45 ERROR: Failed to solve instance
2155.53/1010.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2156.64/1012.00	39:46 ERROR: Failed to solve instance
2156.64/1012.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2157.35/1012.61	39:46 ERROR: Failed to solve instance
2157.35/1012.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2158.07/1013.30	39:47 ERROR: Failed to solve instance
2158.07/1013.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2158.91/1014.12	39:48 ERROR: Failed to solve instance
2158.91/1014.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2164.44/1018.58	39:52 ERROR: Failed to solve instance
2164.44/1018.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2168.70/1022.22	39:56 ERROR: Failed to solve instance
2168.70/1022.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.32/1022.81	39:57 ERROR: Failed to solve instance
2169.32/1022.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2170.05/1023.52	39:57 ERROR: Failed to solve instance
2170.05/1023.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2171.15/1024.58	39:58 ERROR: Failed to solve instance
2171.15/1024.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2175.92/1028.32	40:02 ERROR: Failed to solve instance
2175.92/1028.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2176.55/1028.93	40:03 ERROR: Failed to solve instance
2176.55/1028.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2177.78/1030.14	40:04 ERROR: Failed to solve instance
2177.78/1030.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2178.23/1030.53	40:04 ERROR: Failed to solve instance
2178.23/1030.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2183.86/1035.13	40:09 ERROR: Failed to solve instance
2183.86/1035.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.49/1035.76	40:09 ERROR: Failed to solve instance
2184.49/1035.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2196.02/1044.64	40:18 ERROR: Failed to solve instance
2196.02/1044.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2196.64/1045.22	40:19 ERROR: Failed to solve instance
2196.64/1045.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2197.26/1045.87	40:20 ERROR: Failed to solve instance
2197.26/1045.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2198.35/1046.83	40:21 ERROR: Failed to solve instance
2198.35/1046.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2200.98/1049.09	40:23 ERROR: Failed to solve instance
2200.98/1049.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2204.29/1051.74	40:25 ERROR: Failed to solve instance
2204.29/1051.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2205.31/1052.76	40:27 ERROR: Failed to solve instance
2205.31/1052.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2206.16/1053.51	40:27 ERROR: Failed to solve instance
2206.16/1053.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2206.80/1054.19	40:28 ERROR: Failed to solve instance
2206.80/1054.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.15/1061.03	40:35 ERROR: Failed to solve instance
2216.15/1061.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.77/1061.60	40:35 ERROR: Failed to solve instance
2216.77/1061.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2217.38/1062.21	40:36 ERROR: Failed to solve instance
2217.38/1062.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2218.41/1063.23	40:37 ERROR: Failed to solve instance
2218.41/1063.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2219.09/1063.80	40:38 ERROR: Failed to solve instance
2219.09/1063.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2219.68/1064.46	40:38 ERROR: Failed to solve instance
2219.68/1064.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2220.31/1065.08	40:39 ERROR: Failed to solve instance
2220.31/1065.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2229.89/1072.21	40:46 ERROR: Failed to solve instance
2229.89/1072.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.53/1072.82	40:47 ERROR: Failed to solve instance
2230.53/1072.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2231.15/1073.48	40:47 ERROR: Failed to solve instance
2231.15/1073.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2232.30/1074.54	40:48 ERROR: Failed to solve instance
2232.30/1074.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2232.95/1075.15	40:49 ERROR: Failed to solve instance
2232.95/1075.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2244.32/1084.22	40:58 ERROR: Failed to solve instance
2244.32/1084.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2244.84/1084.76	40:59 ERROR: Failed to solve instance
2244.84/1084.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2245.97/1085.81	41:00 ERROR: Failed to solve instance
2245.97/1085.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2246.50/1086.38	41:00 ERROR: Failed to solve instance
2246.50/1086.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2247.13/1086.99	41:01 ERROR: Failed to solve instance
2247.13/1086.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2247.88/1087.66	41:01 ERROR: Failed to solve instance
2247.88/1087.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.08/1095.51	41:09 ERROR: Failed to solve instance
2258.08/1095.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.60/1096.04	41:10 ERROR: Failed to solve instance
2258.60/1096.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2259.63/1097.11	41:11 ERROR: Failed to solve instance
2259.63/1097.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2260.25/1097.68	41:11 ERROR: Failed to solve instance
2260.25/1097.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2260.98/1098.32	41:12 ERROR: Failed to solve instance
2260.98/1098.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2269.45/1105.07	41:19 ERROR: Failed to solve instance
2269.45/1105.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2270.09/1105.70	41:19 ERROR: Failed to solve instance
2270.09/1105.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2274.56/1109.38	41:23 ERROR: Failed to solve instance
2274.56/1109.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2277.78/1112.03	41:26 ERROR: Failed to solve instance
2277.78/1112.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2278.73/1112.91	41:27 ERROR: Failed to solve instance
2278.73/1112.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2279.37/1113.56	41:27 ERROR: Failed to solve instance
2279.37/1113.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2287.39/1119.89	41:34 ERROR: Failed to solve instance
2287.39/1119.89	java.lang.OutOfMemoryError: Java heap space
2287.70/1120.16	41:34 ERROR: Failed to solve instance
2287.70/1120.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2291.57/1123.42	41:37 ERROR: Failed to solve instance
2291.57/1123.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2292.20/1124.03	41:38 ERROR: Failed to solve instance
2292.20/1124.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2293.44/1125.26	41:39 ERROR: Failed to solve instance
2293.44/1125.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2294.07/1125.90	41:40 ERROR: Failed to solve instance
2294.07/1125.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2294.80/1126.55	41:40 ERROR: Failed to solve instance
2294.80/1126.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2301.88/1132.01	41:46 ERROR: Failed to solve instance
2301.88/1132.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2302.51/1132.61	41:46 ERROR: Failed to solve instance
2302.51/1132.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2303.51/1133.52	41:47 ERROR: Failed to solve instance
2303.51/1133.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2307.41/1136.82	41:51 ERROR: Failed to solve instance
2307.41/1136.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.29/1137.62	41:51 ERROR: Failed to solve instance
2308.29/1137.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2312.78/1141.25	41:55 ERROR: Failed to solve instance
2312.78/1141.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2313.41/1141.83	41:56 ERROR: Failed to solve instance
2313.41/1141.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2314.04/1142.47	41:56 ERROR: Failed to solve instance
2314.04/1142.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2326.48/1151.72	42:05 ERROR: Failed to solve instance
2326.48/1151.72	java.lang.OutOfMemoryError: Java heap space
2326.68/1151.98	42:06 ERROR: Failed to solve instance
2326.68/1151.98	java.lang.OutOfMemoryError: Java heap space
2327.60/1152.83	42:07 ERROR: Failed to solve instance
2327.60/1152.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2328.31/1153.52	42:07 ERROR: Failed to solve instance
2328.31/1153.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2329.04/1154.29	42:08 ERROR: Failed to solve instance
2329.04/1154.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2330.39/1155.59	42:09 ERROR: Failed to solve instance
2330.39/1155.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2331.22/1156.38	42:10 ERROR: Failed to solve instance
2331.22/1156.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2342.14/1164.73	42:18 ERROR: Failed to solve instance
2342.14/1164.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2342.77/1165.34	42:19 ERROR: Failed to solve instance
2342.77/1165.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2343.39/1165.97	42:20 ERROR: Failed to solve instance
2343.39/1165.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2344.68/1167.13	42:21 ERROR: Failed to solve instance
2344.68/1167.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2345.32/1167.77	42:21 ERROR: Failed to solve instance
2345.32/1167.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2350.99/1172.32	42:26 ERROR: Failed to solve instance
2350.99/1172.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2351.62/1172.92	42:27 ERROR: Failed to solve instance
2351.62/1172.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2352.24/1173.58	42:27 ERROR: Failed to solve instance
2352.24/1173.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2352.98/1174.29	42:28 ERROR: Failed to solve instance
2352.98/1174.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2363.98/1182.77	42:37 ERROR: Failed to solve instance
2363.98/1182.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2365.21/1183.93	42:38 ERROR: Failed to solve instance
2365.21/1183.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2365.83/1184.51	42:38 ERROR: Failed to solve instance
2365.83/1184.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2366.46/1185.13	42:39 ERROR: Failed to solve instance
2366.46/1185.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2367.08/1185.79	42:40 ERROR: Failed to solve instance
2367.08/1185.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2374.92/1192.00	42:46 ERROR: Failed to solve instance
2374.92/1192.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2375.65/1192.60	42:46 ERROR: Failed to solve instance
2375.65/1192.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2376.16/1193.13	42:47 ERROR: Failed to solve instance
2376.16/1193.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2379.27/1195.76	42:50 ERROR: Failed to solve instance
2379.27/1195.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2380.50/1196.95	42:51 ERROR: Failed to solve instance
2380.50/1196.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2381.13/1197.60	42:51 ERROR: Failed to solve instance
2381.13/1197.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2381.87/1198.30	42:52 ERROR: Failed to solve instance
2381.87/1198.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2382.53/1198.91	42:53 ERROR: Failed to solve instance
2382.53/1198.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2393.05/1206.84	43:01 ERROR: Failed to solve instance
2393.05/1206.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2393.67/1207.40	43:01 ERROR: Failed to solve instance
2393.67/1207.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2394.29/1208.01	43:02 ERROR: Failed to solve instance
2394.29/1208.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2395.53/1209.30	43:03 ERROR: Failed to solve instance
2395.53/1209.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2396.36/1210.09	43:04 ERROR: Failed to solve instance
2396.36/1210.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2397.30/1211.00	43:05 ERROR: Failed to solve instance
2397.30/1211.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2398.03/1211.66	43:05 ERROR: Failed to solve instance
2398.03/1211.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2414.16/1223.76	43:18 ERROR: Failed to solve instance
2414.16/1223.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2415.28/1224.85	43:18 ERROR: Failed to solve instance
2415.28/1224.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2415.69/1225.20	43:19 ERROR: Failed to solve instance
2415.69/1225.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2416.51/1226.09	43:20 ERROR: Failed to solve instance
2416.51/1226.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2417.02/1226.57	43:20 ERROR: Failed to solve instance
2417.02/1226.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2418.18/1227.67	43:21 ERROR: Failed to solve instance
2418.18/1227.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2418.95/1228.39	43:22 ERROR: Failed to solve instance
2418.95/1228.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2419.58/1228.96	43:23 ERROR: Failed to solve instance
2419.58/1228.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2420.22/1229.61	43:23 ERROR: Failed to solve instance
2420.22/1229.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2424.45/1233.01	43:27 ERROR: Failed to solve instance
2424.45/1233.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2437.16/1242.55	43:36 ERROR: Failed to solve instance
2437.16/1242.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2437.68/1243.09	43:37 ERROR: Failed to solve instance
2437.68/1243.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2438.81/1244.14	43:38 ERROR: Failed to solve instance
2438.81/1244.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2439.34/1244.71	43:38 ERROR: Failed to solve instance
2439.34/1244.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2444.31/1248.67	43:42 ERROR: Failed to solve instance
2444.31/1248.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2445.66/1249.93	43:44 ERROR: Failed to solve instance
2445.66/1249.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2446.17/1250.46	43:44 ERROR: Failed to solve instance
2446.17/1250.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2446.80/1251.02	43:45 ERROR: Failed to solve instance
2446.80/1251.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2447.43/1251.66	43:45 ERROR: Failed to solve instance
2447.43/1251.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2451.48/1254.95	43:49 ERROR: Failed to solve instance
2451.48/1254.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2452.12/1255.58	43:49 ERROR: Failed to solve instance
2452.12/1255.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2453.35/1256.73	43:50 ERROR: Failed to solve instance
2453.35/1256.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2454.09/1257.51	43:51 ERROR: Failed to solve instance
2454.09/1257.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2465.92/1266.12	44:00 ERROR: Failed to solve instance
2465.92/1266.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2466.44/1266.68	44:00 ERROR: Failed to solve instance
2466.44/1266.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2467.06/1267.28	44:01 ERROR: Failed to solve instance
2467.06/1267.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2468.19/1268.32	44:02 ERROR: Failed to solve instance
2468.19/1268.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2473.18/1272.51	44:06 ERROR: Failed to solve instance
2473.18/1272.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2474.31/1273.61	44:07 ERROR: Failed to solve instance
2474.31/1273.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2474.73/1274.12	44:08 ERROR: Failed to solve instance
2474.73/1274.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2483.24/1280.93	44:15 ERROR: Failed to solve instance
2483.24/1280.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2483.75/1281.49	44:15 ERROR: Failed to solve instance
2483.75/1281.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2484.40/1282.07	44:16 ERROR: Failed to solve instance
2484.40/1282.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2490.47/1287.01	44:21 ERROR: Failed to solve instance
2490.47/1287.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2491.51/1288.02	44:22 ERROR: Failed to solve instance
2491.51/1288.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2492.25/1288.79	44:23 ERROR: Failed to solve instance
2492.25/1288.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2502.25/1296.71	44:30 ERROR: Failed to solve instance
2502.25/1296.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2502.77/1297.27	44:31 ERROR: Failed to solve instance
2502.77/1297.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2504.10/1298.51	44:32 ERROR: Failed to solve instance
2504.10/1298.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2504.40/1298.84	44:33 ERROR: Failed to solve instance
2504.40/1298.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2505.44/1299.89	44:34 ERROR: Failed to solve instance
2505.44/1299.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2506.15/1300.57	44:34 ERROR: Failed to solve instance
2506.15/1300.57	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-3312365-1304112173/watcher-3312365-1304112173 -o /tmp/evaluation-result-3312365-1304112173/solver-3312365-1304112173 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312365-1304112173.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.47 5.19 6.78 4/194 23200
/proc/meminfo: memFree=30804280/32951124 swapFree=67111464/67111528
[pid=23200] ppid=23198 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/23200/stat : 23200 (java) R 23198 23200 22571 0 -1 4202496 1349 0 0 0 0 0 0 0 21 0 1 0 601447952 23580672 834 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260015472695 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23200/statm: 5744 830 632 9 0 124 0
[pid=23200/tid=23201] ppid=23198 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23201/stat : 23201 (java) R 23198 23200 22571 0 -1 4202560 11 0 0 0 0 0 0 0 22 0 2 0 601447952 24580096 847 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260020450350 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.051798 s]
/proc/loadavg: 3.47 5.19 6.78 4/194 23200
/proc/meminfo: memFree=30804280/32951124 swapFree=67111464/67111528
[pid=23200] ppid=23198 vsize=15609644 CPUtime=0.03 cores=0,2,4,6
/proc/23200/stat : 23200 (java) S 23198 23200 22571 0 -1 4202496 4084 0 1 0 3 0 0 0 21 0 18 0 601447952 15984275456 3523 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23200/statm: 3902411 3523 1754 9 0 3893130 0
[pid=23200/tid=23201] ppid=23198 vsize=15609644 CPUtime=0.03 cores=0,2,4,6
/proc/23200/task/23201/stat : 23201 (java) R 23198 23200 22571 0 -1 4202560 2667 0 1 0 3 0 0 0 25 0 18 0 601447952 15984275456 3523 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032222667 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15609644

[startup+0.10079 s]
/proc/loadavg: 3.47 5.19 6.78 4/194 23200
/proc/meminfo: memFree=30804280/32951124 swapFree=67111464/67111528
[pid=23200] ppid=23198 vsize=15676976 CPUtime=0.1 cores=0,2,4,6
/proc/23200/stat : 23200 (java) S 23198 23200 22571 0 -1 4202496 5634 0 1 0 9 1 0 0 21 0 18 0 601447952 16053223424 5038 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23200/statm: 3919244 5040 2118 9 0 3909963 0
[pid=23200/tid=23201] ppid=23198 vsize=15676976 CPUtime=0.08 cores=0,2,4,6
/proc/23200/task/23201/stat : 23201 (java) R 23198 23200 22571 0 -1 4202560 3470 0 1 0 7 1 0 0 18 0 18 0 601447952 16053223424 5040 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 47146200749592 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676976

[startup+0.300754 s]
/proc/loadavg: 3.47 5.19 6.78 4/194 23200
/proc/meminfo: memFree=30804280/32951124 swapFree=67111464/67111528
[pid=23200] ppid=23198 vsize=15684412 CPUtime=0.51 cores=0,2,4,6
/proc/23200/stat : 23200 (java) S 23198 23200 22571 0 -1 4202496 16030 0 1 0 48 3 0 0 21 0 18 0 601447952 16060837888 14217 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23200/statm: 3921103 14223 2207 9 0 3911822 0
[pid=23200/tid=23201] ppid=23198 vsize=15684412 CPUtime=0.28 cores=0,2,4,6
/proc/23200/task/23201/stat : 23201 (java) R 23198 23200 22571 0 -1 4202560 10814 0 1 0 26 2 0 0 18 0 18 0 601447952 16060837888 14226 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 46912505642067 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15684412

[startup+0.700712 s]
/proc/loadavg: 3.47 5.19 6.78 4/194 23200
/proc/meminfo: memFree=30804280/32951124 swapFree=67111464/67111528
[pid=23200] ppid=23198 vsize=15684412 CPUtime=0.92 cores=0,2,4,6
/proc/23200/stat : 23200 (java) S 23198 23200 22571 0 -1 4202496 41974 0 1 0 86 6 0 0 21 0 18 0 601447952 16060837888 40158 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23200/statm: 3921103 40158 2223 9 0 3911822 0
[pid=23200/tid=23201] ppid=23198 vsize=15684412 CPUtime=0.68 cores=0,2,4,6
/proc/23200/task/23201/stat : 23201 (java) R 23198 23200 22571 0 -1 4202560 35535 0 1 0 63 5 0 0 18 0 18 0 601447952 16060837888 40158 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 46912505513194 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15684412

[startup+1.50147 s]
/proc/loadavg: 3.47 5.19 6.78 5/216 23222
/proc/meminfo: memFree=30475696/32951124 swapFree=67111464/67111528
[pid=23200] ppid=23198 vsize=15705588 CPUtime=2.06 cores=0,2,4,6
/proc/23200/stat : 23200 (java) S 23198 23200 22571 0 -1 4202496 54511 0 1 0 198 8 0 0 21 0 22 0 601447952 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23200/statm: 3926397 50613 2261 9 0 3917116 0
[pid=23200/tid=23201] ppid=23198 vsize=15705588 CPUtime=1.46 cores=0,2,4,6
/proc/23200/task/23201/stat : 23201 (java) R 23198 23200 22571 0 -1 4202560 35638 0 1 0 141 5 0 0 21 0 22 0 601447952 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 47146197705623 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23200/tid=23203] ppid=23198 vsize=15705588 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23203/stat : 23203 (java) S 23198 23200 22571 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 601447953 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23204] ppid=23198 vsize=15705588 CPUtime=0.01 cores=0,2,4,6
/proc/23200/task/23204/stat : 23204 (java) S 23198 23200 22571 0 -1 4202560 2076 0 0 0 1 0 0 0 16 0 22 0 601447953 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23205] ppid=23198 vsize=15705588 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23205/stat : 23205 (java) S 23198 23200 22571 0 -1 4202560 2563 0 0 0 0 0 0 0 16 0 22 0 601447953 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 6 0 0 0
[pid=23200/tid=23206] ppid=23198 vsize=15705588 CPUtime=0.01 cores=0,2,4,6
/proc/23200/task/23206/stat : 23206 (java) S 23198 23200 22571 0 -1 4202560 1110 0 0 0 1 0 0 0 16 0 22 0 601447953 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23207] ppid=23198 vsize=15705588 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23207/stat : 23207 (java) S 23198 23200 22571 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 601447953 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23208] ppid=23198 vsize=15705588 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23208/stat : 23208 (java) S 23198 23200 22571 0 -1 4202560 170 0 0 0 0 0 0 0 16 0 22 0 601447953 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 6 0 0 0
[pid=23200/tid=23209] ppid=23198 vsize=15705588 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23209/stat : 23209 (java) S 23198 23200 22571 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 601447953 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23210] ppid=23198 vsize=15705588 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23210/stat : 23210 (java) S 23198 23200 22571 0 -1 4202560 1160 0 0 0 0 0 0 0 16 0 22 0 601447953 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23211] ppid=23198 vsize=15705588 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23211/stat : 23211 (java) S 23198 23200 22571 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 601447954 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032212480 0 0 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23212] ppid=23198 vsize=15705588 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23212/stat : 23212 (java) S 23198 23200 22571 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601447954 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23213] ppid=23198 vsize=15705588 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23213/stat : 23213 (java) S 23198 23200 22571 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601447954 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23214] ppid=23198 vsize=15705588 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23214/stat : 23214 (java) S 23198 23200 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601447956 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032219569 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23215] ppid=23198 vsize=15705588 CPUtime=0.15 cores=0,2,4,6
/proc/23200/task/23215/stat : 23215 (java) S 23198 23200 22571 0 -1 4202560 1498 0 0 0 15 0 0 0 16 0 22 0 601447956 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23216] ppid=23198 vsize=15705588 CPUtime=0.36 cores=0,2,4,6
/proc/23200/task/23216/stat : 23216 (java) R 23198 23200 22571 0 -1 4202560 8669 0 0 0 36 0 0 0 16 0 22 0 601447956 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 47146198537737 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=23200/tid=23217] ppid=23198 vsize=15705588 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23217/stat : 23217 (java) S 23198 23200 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601447956 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23218] ppid=23198 vsize=15705588 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23218/stat : 23218 (java) S 23198 23200 22571 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601447956 16082522112 50613 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032212480 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 15705588

[startup+3.10121 s]
/proc/loadavg: 3.47 5.19 6.78 9/220 23226
/proc/meminfo: memFree=30342840/32951124 swapFree=67111464/67111528
[pid=23200] ppid=23198 vsize=15720548 CPUtime=5.08 cores=0,2,4,6
/proc/23200/stat : 23200 (java) S 23198 23200 22571 0 -1 4202496 65857 0 1 0 498 10 0 0 21 0 22 0 601447952 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23200/statm: 3930137 54826 2266 9 0 3920856 0
[pid=23200/tid=23201] ppid=23198 vsize=15720548 CPUtime=3.05 cores=0,2,4,6
/proc/23200/task/23201/stat : 23201 (java) R 23198 23200 22571 0 -1 4202560 35673 0 1 0 300 5 0 0 25 0 22 0 601447952 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 46912506146783 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23200/tid=23203] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23203/stat : 23203 (java) S 23198 23200 22571 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 601447953 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23204] ppid=23198 vsize=15720548 CPUtime=0.01 cores=0,2,4,6
/proc/23200/task/23204/stat : 23204 (java) S 23198 23200 22571 0 -1 4202560 2076 0 0 0 1 0 0 0 16 0 22 0 601447953 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23205] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23205/stat : 23205 (java) S 23198 23200 22571 0 -1 4202560 2563 0 0 0 0 0 0 0 16 0 22 0 601447953 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 6 0 0 0
[pid=23200/tid=23206] ppid=23198 vsize=15720548 CPUtime=0.01 cores=0,2,4,6
/proc/23200/task/23206/stat : 23206 (java) S 23198 23200 22571 0 -1 4202560 1110 0 0 0 1 0 0 0 16 0 22 0 601447953 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23207] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23207/stat : 23207 (java) S 23198 23200 22571 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 601447953 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23208] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23208/stat : 23208 (java) S 23198 23200 22571 0 -1 4202560 170 0 0 0 0 0 0 0 16 0 22 0 601447953 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 6 0 0 0
[pid=23200/tid=23209] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23209/stat : 23209 (java) S 23198 23200 22571 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 601447953 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23210] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23210/stat : 23210 (java) S 23198 23200 22571 0 -1 4202560 1160 0 0 0 0 0 0 0 16 0 22 0 601447953 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23211] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23211/stat : 23211 (java) S 23198 23200 22571 0 -1 4202560 73 0 0 0 0 0 0 0 16 0 22 0 601447954 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032212480 0 0 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23212] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23212/stat : 23212 (java) S 23198 23200 22571 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601447954 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23213] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23213/stat : 23213 (java) S 23198 23200 22571 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601447954 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23214] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23214/stat : 23214 (java) S 23198 23200 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601447956 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032219569 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23215] ppid=23198 vsize=15720548 CPUtime=0.33 cores=0,2,4,6
/proc/23200/task/23215/stat : 23215 (java) S 23198 23200 22571 0 -1 4202560 2478 0 0 0 33 0 0 0 16 0 22 0 601447956 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23216] ppid=23198 vsize=15720548 CPUtime=1.6 cores=0,2,4,6
/proc/23200/task/23216/stat : 23216 (java) S 23198 23200 22571 0 -1 4202560 18999 0 0 0 158 2 0 0 16 0 22 0 601447956 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 6 0 0 0
[pid=23200/tid=23217] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23217/stat : 23217 (java) S 23198 23200 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601447956 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23218] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23218/stat : 23218 (java) S 23198 23200 22571 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601447956 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032212480 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23223] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23223/stat : 23223 (java) S 23198 23200 22571 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 601448059 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032212480 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23224] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23224/stat : 23224 (java) S 23198 23200 22571 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601448059 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032212480 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23225] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23225/stat : 23225 (java) S 23198 23200 22571 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601448059 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032212480 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23226] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23226/stat : 23226 (java) S 23198 23200 22571 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 601448059 16097841152 54826 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032212480 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 15720548

[startup+6.30158 s]
/proc/loadavg: 3.83 5.23 6.79 10/220 23226
/proc/meminfo: memFree=29395640/32951124 swapFree=67111464/67111528
[pid=23200] ppid=23198 vsize=15720548 CPUtime=14.63 cores=0,2,4,6
/proc/23200/stat : 23200 (java) S 23198 23200 22571 0 -1 4202496 228502 0 1 0 1428 35 0 0 21 0 22 0 601447952 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23200/statm: 3930137 214551 2275 9 0 3920856 0
[pid=23200/tid=23201] ppid=23198 vsize=15720548 CPUtime=3.29 cores=0,2,4,6
/proc/23200/task/23201/stat : 23201 (java) S 23198 23200 22571 0 -1 4202560 35696 0 1 0 324 5 0 0 25 0 22 0 601447952 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23203] ppid=23198 vsize=15720548 CPUtime=0.08 cores=0,2,4,6
/proc/23200/task/23203/stat : 23203 (java) S 23198 23200 22571 0 -1 4202560 12110 0 0 0 6 2 0 0 15 0 22 0 601447953 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23204] ppid=23198 vsize=15720548 CPUtime=0.06 cores=0,2,4,6
/proc/23200/task/23204/stat : 23204 (java) S 23198 23200 22571 0 -1 4202560 9688 0 0 0 5 1 0 0 15 0 22 0 601447953 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 6 0 0 0
[pid=23200/tid=23205] ppid=23198 vsize=15720548 CPUtime=0.09 cores=0,2,4,6
/proc/23200/task/23205/stat : 23205 (java) S 23198 23200 22571 0 -1 4202560 14543 0 0 0 7 2 0 0 15 0 22 0 601447953 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23206] ppid=23198 vsize=15720548 CPUtime=0.15 cores=0,2,4,6
/proc/23200/task/23206/stat : 23206 (java) S 23198 23200 22571 0 -1 4202560 17396 0 0 0 12 3 0 0 15 0 22 0 601447953 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23207] ppid=23198 vsize=15720548 CPUtime=0.09 cores=0,2,4,6
/proc/23200/task/23207/stat : 23207 (java) S 23198 23200 22571 0 -1 4202560 11508 0 0 0 7 2 0 0 16 0 22 0 601447953 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23208] ppid=23198 vsize=15720548 CPUtime=0.12 cores=0,2,4,6
/proc/23200/task/23208/stat : 23208 (java) S 23198 23200 22571 0 -1 4202560 15912 0 0 0 10 2 0 0 15 0 22 0 601447953 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23209] ppid=23198 vsize=15720548 CPUtime=0.12 cores=0,2,4,6
/proc/23200/task/23209/stat : 23209 (java) S 23198 23200 22571 0 -1 4202560 22271 0 0 0 9 3 0 0 16 0 22 0 601447953 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23210] ppid=23198 vsize=15720548 CPUtime=0.06 cores=0,2,4,6
/proc/23200/task/23210/stat : 23210 (java) S 23198 23200 22571 0 -1 4202560 7502 0 0 0 5 1 0 0 16 0 22 0 601447953 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23211] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23211/stat : 23211 (java) S 23198 23200 22571 0 -1 4202560 415 0 0 0 0 0 0 0 15 0 22 0 601447954 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032212480 0 0 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23212] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23212/stat : 23212 (java) S 23198 23200 22571 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601447954 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23213] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23213/stat : 23213 (java) S 23198 23200 22571 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601447954 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23214] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23214/stat : 23214 (java) S 23198 23200 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601447956 16097841152 214551 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032219569 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0

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

[pid=23200/tid=23213] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23213/stat : 23213 (java) S 23198 23200 22571 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601447954 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23214] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23214/stat : 23214 (java) S 23198 23200 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032219569 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23215] ppid=23198 vsize=15720548 CPUtime=0.74 cores=0,2,4,6
/proc/23200/task/23215/stat : 23215 (java) S 23198 23200 22571 0 -1 4202560 5323 0 0 0 73 1 0 0 15 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23216] ppid=23198 vsize=15720548 CPUtime=2 cores=0,2,4,6
/proc/23200/task/23216/stat : 23216 (java) S 23198 23200 22571 0 -1 4202560 19061 0 0 0 198 2 0 0 15 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23217] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23217/stat : 23217 (java) S 23198 23200 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23218] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23218/stat : 23218 (java) S 23198 23200 22571 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032212480 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23223] ppid=23198 vsize=15720548 CPUtime=387.07 cores=0,2,4,6
/proc/23200/task/23223/stat : 23223 (java) S 23198 23200 22571 0 -1 4202560 61551 0 0 0 38692 15 0 0 15 0 22 0 601448059 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23224] ppid=23198 vsize=15720548 CPUtime=385.54 cores=0,2,4,6
/proc/23200/task/23224/stat : 23224 (java) S 23198 23200 22571 0 -1 4202560 63839 0 0 0 38542 12 0 0 15 0 22 0 601448059 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23225] ppid=23198 vsize=15720548 CPUtime=386.51 cores=0,2,4,6
/proc/23200/task/23225/stat : 23225 (java) S 23198 23200 22571 0 -1 4202560 62869 0 0 0 38637 14 0 0 15 0 22 0 601448059 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 6 0 0 0
[pid=23200/tid=23226] ppid=23198 vsize=15720548 CPUtime=387.26 cores=0,2,4,6
/proc/23200/task/23226/stat : 23226 (java) S 23198 23200 22571 0 -1 4202560 52056 0 0 0 38713 13 0 0 15 0 22 0 601448059 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2363.58
Current children cumulated vsize (KiB) 15720548

[startup+1242.31 s]
/proc/loadavg: 3.25 4.92 5.90 2/193 23283
/proc/meminfo: memFree=15322288/32951124 swapFree=67111464/67111528
[pid=23200] ppid=23198 vsize=15720548 CPUtime=2436.96 cores=0,2,4,6
/proc/23200/stat : 23200 (java) S 23198 23200 22571 0 -1 4202496 3931778 0 1 0 243000 696 0 0 21 0 22 0 601447952 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23200/statm: 3930137 3869593 2294 9 0 3920856 0
[pid=23200/tid=23201] ppid=23198 vsize=15720548 CPUtime=3.29 cores=0,2,4,6
/proc/23200/task/23201/stat : 23201 (java) S 23198 23200 22571 0 -1 4202560 35696 0 1 0 324 5 0 0 25 0 22 0 601447952 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23203] ppid=23198 vsize=15720548 CPUtime=3.08 cores=0,2,4,6
/proc/23200/task/23203/stat : 23203 (java) S 23198 23200 22571 0 -1 4202560 399509 0 0 0 239 69 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23204] ppid=23198 vsize=15720548 CPUtime=3.1 cores=0,2,4,6
/proc/23200/task/23204/stat : 23204 (java) S 23198 23200 22571 0 -1 4202560 353638 0 0 0 252 58 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23205] ppid=23198 vsize=15720548 CPUtime=3.33 cores=0,2,4,6
/proc/23200/task/23205/stat : 23205 (java) S 23198 23200 22571 0 -1 4202560 398927 0 0 0 266 67 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23206] ppid=23198 vsize=15720548 CPUtime=3.4 cores=0,2,4,6
/proc/23200/task/23206/stat : 23206 (java) S 23198 23200 22571 0 -1 4202560 375166 0 0 0 277 63 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23207] ppid=23198 vsize=15720548 CPUtime=3.19 cores=0,2,4,6
/proc/23200/task/23207/stat : 23207 (java) S 23198 23200 22571 0 -1 4202560 315841 0 0 0 264 55 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23208] ppid=23198 vsize=15720548 CPUtime=4.14 cores=0,2,4,6
/proc/23200/task/23208/stat : 23208 (java) S 23198 23200 22571 0 -1 4202560 454914 0 0 0 342 72 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23209] ppid=23198 vsize=15720548 CPUtime=4 cores=0,2,4,6
/proc/23200/task/23209/stat : 23209 (java) S 23198 23200 22571 0 -1 4202560 441994 0 0 0 328 72 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23210] ppid=23198 vsize=15720548 CPUtime=3.46 cores=0,2,4,6
/proc/23200/task/23210/stat : 23210 (java) S 23198 23200 22571 0 -1 4202560 329832 0 0 0 290 56 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23211] ppid=23198 vsize=15720548 CPUtime=838.78 cores=0,2,4,6
/proc/23200/task/23211/stat : 23211 (java) R 23198 23200 22571 0 -1 4202560 559775 0 0 0 83766 112 0 0 18 0 22 0 601447954 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 47146198581564 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23200/tid=23212] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23212/stat : 23212 (java) S 23198 23200 22571 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601447954 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23213] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23213/stat : 23213 (java) S 23198 23200 22571 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601447954 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23214] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23214/stat : 23214 (java) S 23198 23200 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032219569 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23215] ppid=23198 vsize=15720548 CPUtime=0.74 cores=0,2,4,6
/proc/23200/task/23215/stat : 23215 (java) S 23198 23200 22571 0 -1 4202560 5323 0 0 0 73 1 0 0 15 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23216] ppid=23198 vsize=15720548 CPUtime=2 cores=0,2,4,6
/proc/23200/task/23216/stat : 23216 (java) S 23198 23200 22571 0 -1 4202560 19061 0 0 0 198 2 0 0 15 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23217] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23217/stat : 23217 (java) S 23198 23200 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23218] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23218/stat : 23218 (java) S 23198 23200 22571 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032212480 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23223] ppid=23198 vsize=15720548 CPUtime=391.55 cores=0,2,4,6
/proc/23200/task/23223/stat : 23223 (java) S 23198 23200 22571 0 -1 4202560 61618 0 0 0 39140 15 0 0 15 0 22 0 601448059 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23224] ppid=23198 vsize=15720548 CPUtime=389.99 cores=0,2,4,6
/proc/23200/task/23224/stat : 23224 (java) S 23198 23200 22571 0 -1 4202560 63941 0 0 0 38987 12 0 0 15 0 22 0 601448059 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23225] ppid=23198 vsize=15720548 CPUtime=390.99 cores=0,2,4,6
/proc/23200/task/23225/stat : 23225 (java) S 23198 23200 22571 0 -1 4202560 62962 0 0 0 39084 15 0 0 15 0 22 0 601448059 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032212480 0 4 0 16800975 18446604453921984768 0 0 -1 6 0 0 0
[pid=23200/tid=23226] ppid=23198 vsize=15720548 CPUtime=391.76 cores=0,2,4,6
/proc/23200/task/23226/stat : 23226 (java) S 23198 23200 22571 0 -1 4202560 52123 0 0 0 39163 13 0 0 15 0 22 0 601448059 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2436.96
Current children cumulated vsize (KiB) 15720548



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.19 4.29 5.62 2/193 23284
/proc/meminfo: memFree=15322004/32951124 swapFree=67111464/67111528
[pid=23200] ppid=23198 vsize=15720548 CPUtime=2505.66 cores=0,2,4,6
/proc/23200/stat : 23200 (java) S 23198 23200 22571 0 -1 4202496 3932096 0 1 0 249866 700 0 0 21 0 22 0 601447952 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23200/statm: 3930137 3869593 2294 9 0 3920856 0
[pid=23200/tid=23201] ppid=23198 vsize=15720548 CPUtime=3.29 cores=0,2,4,6
/proc/23200/task/23201/stat : 23201 (java) S 23198 23200 22571 0 -1 4202560 35696 0 1 0 324 5 0 0 25 0 22 0 601447952 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23203] ppid=23198 vsize=15720548 CPUtime=3.08 cores=0,2,4,6
/proc/23200/task/23203/stat : 23203 (java) S 23198 23200 22571 0 -1 4202560 399509 0 0 0 239 69 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23204] ppid=23198 vsize=15720548 CPUtime=3.1 cores=0,2,4,6
/proc/23200/task/23204/stat : 23204 (java) S 23198 23200 22571 0 -1 4202560 353638 0 0 0 252 58 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23205] ppid=23198 vsize=15720548 CPUtime=3.33 cores=0,2,4,6
/proc/23200/task/23205/stat : 23205 (java) S 23198 23200 22571 0 -1 4202560 398927 0 0 0 266 67 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23206] ppid=23198 vsize=15720548 CPUtime=3.4 cores=0,2,4,6
/proc/23200/task/23206/stat : 23206 (java) S 23198 23200 22571 0 -1 4202560 375166 0 0 0 277 63 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23207] ppid=23198 vsize=15720548 CPUtime=3.19 cores=0,2,4,6
/proc/23200/task/23207/stat : 23207 (java) S 23198 23200 22571 0 -1 4202560 315841 0 0 0 264 55 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23208] ppid=23198 vsize=15720548 CPUtime=4.14 cores=0,2,4,6
/proc/23200/task/23208/stat : 23208 (java) S 23198 23200 22571 0 -1 4202560 454914 0 0 0 342 72 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23209] ppid=23198 vsize=15720548 CPUtime=4 cores=0,2,4,6
/proc/23200/task/23209/stat : 23209 (java) S 23198 23200 22571 0 -1 4202560 441994 0 0 0 328 72 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23210] ppid=23198 vsize=15720548 CPUtime=3.46 cores=0,2,4,6
/proc/23200/task/23210/stat : 23210 (java) S 23198 23200 22571 0 -1 4202560 329832 0 0 0 290 56 0 0 16 0 22 0 601447953 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23211] ppid=23198 vsize=15720548 CPUtime=892.76 cores=0,2,4,6
/proc/23200/task/23211/stat : 23211 (java) R 23198 23200 22571 0 -1 4202560 559778 0 0 0 89161 115 0 0 19 0 22 0 601447954 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 47146200928309 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23200/tid=23212] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23212/stat : 23212 (java) S 23198 23200 22571 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601447954 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23213] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23213/stat : 23213 (java) S 23198 23200 22571 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601447954 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23214] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23214/stat : 23214 (java) S 23198 23200 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032219569 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23215] ppid=23198 vsize=15720548 CPUtime=0.74 cores=0,2,4,6
/proc/23200/task/23215/stat : 23215 (java) S 23198 23200 22571 0 -1 4202560 5323 0 0 0 73 1 0 0 15 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23216] ppid=23198 vsize=15720548 CPUtime=2 cores=0,2,4,6
/proc/23200/task/23216/stat : 23216 (java) S 23198 23200 22571 0 -1 4202560 19061 0 0 0 198 2 0 0 15 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23217] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23217/stat : 23217 (java) S 23198 23200 22571 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
[pid=23200/tid=23218] ppid=23198 vsize=15720548 CPUtime=0 cores=0,2,4,6
/proc/23200/task/23218/stat : 23218 (java) S 23198 23200 22571 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 601447956 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032212480 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23223] ppid=23198 vsize=15720548 CPUtime=395.23 cores=0,2,4,6
/proc/23200/task/23223/stat : 23223 (java) S 23198 23200 22571 0 -1 4202560 61707 0 0 0 39508 15 0 0 15 0 22 0 601448059 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 6 0 0 0
[pid=23200/tid=23224] ppid=23198 vsize=15720548 CPUtime=393.68 cores=0,2,4,6
/proc/23200/task/23224/stat : 23224 (java) S 23198 23200 22571 0 -1 4202560 64040 0 0 0 39355 13 0 0 15 0 22 0 601448059 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 4 0 0 0
[pid=23200/tid=23225] ppid=23198 vsize=15720548 CPUtime=394.65 cores=0,2,4,6
/proc/23200/task/23225/stat : 23225 (java) S 23198 23200 22571 0 -1 4202560 63030 0 0 0 39450 15 0 0 15 0 22 0 601448059 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 0 0 0 0
[pid=23200/tid=23226] ppid=23198 vsize=15720548 CPUtime=395.45 cores=0,2,4,6
/proc/23200/task/23226/stat : 23226 (java) S 23198 23200 22571 0 -1 4202560 52181 0 0 0 39531 14 0 0 15 0 22 0 601448059 16097841152 3869593 33554432000 1073741824 1073778376 140737065205392 18446744073709551615 260032211865 0 4 0 16800975 18446604453921984768 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2505.66
Current children cumulated vsize (KiB) 15720548

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -23200

[startup+1302.3 s]
/proc/loadavg: 2.19 4.29 5.62 2/195 23286
/proc/meminfo: memFree=15322112/32951124 swapFree=67111464/67111528
[pid=23200] ppid=23198 vsize=0 CPUtime=2508.47 cores=0,2,4,6
/proc/23200/stat : 23200 (java) Z 23198 23200 22571 0 -1 4203548 3932133 0 1 0 250124 723 0 0 18 0 2 0 601447952 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23200/statm: 0 0 0 0 0 0 0
[pid=23200/tid=23217] ppid=23198 vsize=0 CPUtime=0.22 cores=0,2,4,6
/proc/23200/task/23217/stat : 23217 (java) R 23198 23200 22571 0 -1 4203588 1 0 0 0 0 22 0 0 18 0 2 0 601447956 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2508.47
Current children cumulated vsize (KiB) 0

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

[startup+1302.5 s]
/proc/loadavg: 2.19 4.29 5.62 2/195 23286
/proc/meminfo: memFree=15322112/32951124 swapFree=67111464/67111528
[pid=23200] ppid=23198 vsize=0 CPUtime=2508.67 cores=0,2,4,6
/proc/23200/stat : 23200 (java) Z 23198 23200 22571 0 -1 4203548 3932133 0 1 0 250124 743 0 0 18 0 2 0 601447952 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23200/statm: 0 0 0 0 0 0 0
[pid=23200/tid=23217] ppid=23198 vsize=0 CPUtime=0.42 cores=0,2,4,6
/proc/23200/task/23217/stat : 23217 (java) R 23198 23200 22571 0 -1 4203588 1 0 0 0 0 42 0 0 18 0 2 0 601447956 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2508.67
Current children cumulated vsize (KiB) 0

[startup+1302.6 s]
/proc/loadavg: 2.19 4.29 5.62 2/195 23286
/proc/meminfo: memFree=15322112/32951124 swapFree=67111464/67111528
[pid=23200] ppid=23198 vsize=0 CPUtime=2508.77 cores=0,2,4,6
/proc/23200/stat : 23200 (java) Z 23198 23200 22571 0 -1 4203548 3932133 0 1 0 250124 753 0 0 18 0 2 0 601447952 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23200/statm: 0 0 0 0 0 0 0
[pid=23200/tid=23217] ppid=23198 vsize=0 CPUtime=0.52 cores=0,2,4,6
/proc/23200/task/23217/stat : 23217 (java) R 23198 23200 22571 0 -1 4203588 1 0 0 0 0 52 0 0 18 0 2 0 601447956 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2508.77
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.65
CPU time (s): 2508.83
CPU user time (s): 2501.25
CPU system time (s): 7.58185
CPU usage (%): 192.594
Max. virtual memory (cumulated for all children) (KiB): 15721900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2501.25
system time used= 7.58185
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3932133
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= 64359
involuntary context switches= 36365

runsolver used 2.16167 second user time and 5.19321 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-29 23:22:54
IDJOB=3312365
IDBENCH=82550
IDSOLVER=1699
FILE ID=node110/3312365-1304112173
RUNJOBID= node110-1304112173-23163
PBS_JOBID= 13170660
Free space on /tmp= 72832 MiB

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

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

MD5SUM BENCH= 5ccda34debd31b9bf6eb5decc63c453f
RANDOM SEED=825821439

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30804568 kB
Buffers:        920132 kB
Cached:         738088 kB
SwapCached:         64 kB
Active:         152676 kB
Inactive:      1588012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30804568 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:            8240 kB
Writeback:           0 kB
AnonPages:       81472 kB
Mapped:          22632 kB
Slab:           342216 kB
PageTables:       5496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   778180 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= 72832 MiB
End job on node110 at 2011-04-29 23:44:36