Trace number 3311313

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 2525.41 1302.58

General information on the benchmark

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

Solver Data 

0.10/0.12	26:55 INFO : Reading from input HOME/instance-3311313-1304119615.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.08	Starting Executor!
1.24/1.08	Starting Executor!
1.24/1.08	Starting Executor!
5.50/3.33	26:58 INFO : 49798 variables remaining out of 50000
5.50/3.33	26:58 INFO : 834928 literals remaining out of 840000
1409.98/381.13	33:16 ERROR: Failed to solve instance
1409.98/381.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1409.98/381.13		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1409.98/381.13		at gnu.trove.THash.postInsertHook(THash.java:370)
1409.98/381.13		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1409.98/381.13		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1409.98/381.13		at ibis.structure.Subsumming.run(Subsumming.java:58)
1409.98/381.13		at ibis.structure.Solver.simplify(Solver.java:205)
1409.98/381.13		at ibis.structure.Solver.solve(Solver.java:113)
1409.98/381.13		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1409.98/381.13		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1409.98/381.13		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1409.98/381.13		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1409.98/381.13		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1409.98/381.13		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1409.98/381.13		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1409.98/381.13		at ibis.constellation.Executor.processActivities(Executor.java:75)
1409.98/381.13		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1409.98/381.13		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1409.98/381.13		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1412.50/383.64	33:19 ERROR: Failed to solve instance
1412.50/383.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1412.50/383.64		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1412.50/383.64		at gnu.trove.THash.<init>(THash.java:128)
1412.50/383.64		at gnu.trove.THash.<init>(THash.java:97)
1412.50/383.64		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1412.50/383.64		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1412.50/383.64		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1412.50/383.64		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1412.50/383.64		at ibis.structure.WatchLists.build(WatchLists.java:47)
1412.50/383.64		at ibis.structure.Solver.<init>(Solver.java:45)
1412.50/383.64		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1412.50/383.64		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1412.50/383.64		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1412.50/383.64		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1412.50/383.64		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1412.50/383.64		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1412.50/383.64		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1412.50/383.64		at ibis.constellation.Executor.processActivities(Executor.java:75)
1412.50/383.64		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1412.50/383.64		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1412.50/383.64		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1419.00/389.33	33:24 ERROR: Failed to solve instance
1419.00/389.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1419.00/389.33		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1419.00/389.33		at gnu.trove.THash.<init>(THash.java:128)
1419.00/389.33		at gnu.trove.THash.<init>(THash.java:97)
1419.00/389.33		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1419.00/389.33		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1419.00/389.33		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1419.00/389.33		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1419.00/389.33		at ibis.structure.WatchLists.build(WatchLists.java:47)
1419.00/389.33		at ibis.structure.Solver.<init>(Solver.java:45)
1419.00/389.33		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1419.00/389.33		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1419.00/389.33		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1419.00/389.33		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1419.00/389.33		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1419.00/389.33		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1419.00/389.33		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1419.00/389.33		at ibis.constellation.Executor.processActivities(Executor.java:75)
1419.00/389.33		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1419.00/389.33		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1419.00/389.33		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1421.21/391.58	33:27 ERROR: Failed to solve instance
1421.21/391.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.21/391.58		at gnu.trove.TIntArrayList.toNativeArray(TIntArrayList.java:532)
1421.21/391.58		at gnu.trove.TIntArrayList.toNativeArray(TIntArrayList.java:521)
1421.21/391.58		at gnu.trove.TIntArrayList.clone(TIntArrayList.java:486)
1421.21/391.58		at ibis.structure.WatchLists.<init>(WatchLists.java:32)
1421.21/391.58		at ibis.structure.Solver.<init>(Solver.java:37)
1421.21/391.58		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1421.21/391.58		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1421.21/391.58		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1421.21/391.58		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1421.21/391.58		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1421.21/391.58		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1421.21/391.58		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1421.21/391.58		at ibis.constellation.Executor.processActivities(Executor.java:75)
1421.21/391.58		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1421.21/391.58		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1421.21/391.58		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1424.01/394.24	33:29 ERROR: Failed to solve instance
1424.01/394.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1424.63/394.89	33:30 ERROR: Failed to solve instance
1424.63/394.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1432.52/401.15	33:36 ERROR: Failed to solve instance
1432.52/401.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1433.64/402.25	33:37 ERROR: Failed to solve instance
1433.64/402.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1434.27/402.86	33:38 ERROR: Failed to solve instance
1434.27/402.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1435.00/403.51	33:38 ERROR: Failed to solve instance
1435.00/403.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1435.74/404.22	33:39 ERROR: Failed to solve instance
1435.74/404.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1448.84/414.86	33:50 ERROR: Failed to solve instance
1448.84/414.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1449.48/415.46	33:50 ERROR: Failed to solve instance
1449.48/415.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1453.80/419.17	33:54 ERROR: Failed to solve instance
1453.80/419.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.93/420.28	33:55 ERROR: Failed to solve instance
1454.93/420.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.55/420.89	33:56 ERROR: Failed to solve instance
1455.55/420.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.29/421.56	33:56 ERROR: Failed to solve instance
1456.29/421.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1457.02/422.27	33:57 ERROR: Failed to solve instance
1457.02/422.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1467.54/430.65	34:05 ERROR: Failed to solve instance
1467.54/430.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1468.16/431.21	34:06 ERROR: Failed to solve instance
1468.16/431.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1468.78/431.84	34:07 ERROR: Failed to solve instance
1468.78/431.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1469.40/432.50	34:07 ERROR: Failed to solve instance
1469.40/432.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.77/433.81	34:08 ERROR: Failed to solve instance
1470.77/433.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1471.40/434.39	34:09 ERROR: Failed to solve instance
1471.40/434.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1476.64/438.67	34:14 ERROR: Failed to solve instance
1476.64/438.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1477.27/439.28	34:14 ERROR: Failed to solve instance
1477.27/439.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1478.34/440.22	34:15 ERROR: Failed to solve instance
1478.34/440.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1486.53/447.30	34:22 ERROR: Failed to solve instance
1486.53/447.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1486.94/447.74	34:23 ERROR: Failed to solve instance
1486.94/447.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1493.89/452.95	34:28 ERROR: Failed to solve instance
1493.89/452.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1494.53/453.54	34:28 ERROR: Failed to solve instance
1494.53/453.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.88/458.04	34:33 ERROR: Failed to solve instance
1499.88/458.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1500.51/458.63	34:34 ERROR: Failed to solve instance
1500.51/458.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1501.25/459.31	34:34 ERROR: Failed to solve instance
1501.25/459.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1510.76/466.58	34:42 ERROR: Failed to solve instance
1510.76/466.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.38/467.19	34:42 ERROR: Failed to solve instance
1511.38/467.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1512.52/468.26	34:43 ERROR: Failed to solve instance
1512.52/468.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1513.15/468.84	34:44 ERROR: Failed to solve instance
1513.15/468.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1513.77/469.48	34:44 ERROR: Failed to solve instance
1513.77/469.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1514.51/470.16	34:45 ERROR: Failed to solve instance
1514.51/470.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1523.26/477.01	34:52 ERROR: Failed to solve instance
1523.26/477.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1523.91/477.64	34:53 ERROR: Failed to solve instance
1523.91/477.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1527.21/480.49	34:55 ERROR: Failed to solve instance
1527.21/480.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1528.14/481.34	34:56 ERROR: Failed to solve instance
1528.14/481.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1528.77/482.02	34:57 ERROR: Failed to solve instance
1528.77/482.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1540.17/491.18	35:06 ERROR: Failed to solve instance
1540.17/491.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1541.30/492.27	35:07 ERROR: Failed to solve instance
1541.30/492.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1541.91/492.85	35:08 ERROR: Failed to solve instance
1541.91/492.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1542.54/493.47	35:08 ERROR: Failed to solve instance
1542.54/493.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1543.27/494.11	35:09 ERROR: Failed to solve instance
1543.27/494.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1550.76/500.02	35:15 ERROR: Failed to solve instance
1550.76/500.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1551.39/500.61	35:16 ERROR: Failed to solve instance
1551.39/500.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1552.13/501.32	35:16 ERROR: Failed to solve instance
1552.13/501.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1553.19/502.32	35:17 ERROR: Failed to solve instance
1553.19/502.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1564.47/511.21	35:26 ERROR: Failed to solve instance
1564.47/511.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1564.99/511.76	35:27 ERROR: Failed to solve instance
1564.99/511.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1565.60/512.36	35:27 ERROR: Failed to solve instance
1565.60/512.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1566.83/513.51	35:28 ERROR: Failed to solve instance
1566.83/513.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1567.37/514.11	35:29 ERROR: Failed to solve instance
1567.37/514.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1573.18/518.66	35:34 ERROR: Failed to solve instance
1573.18/518.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1574.02/519.48	35:34 ERROR: Failed to solve instance
1574.02/519.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1575.30/520.63	35:36 ERROR: Failed to solve instance
1575.30/520.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1579.76/524.17	35:39 ERROR: Failed to solve instance
1579.76/524.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1580.39/524.74	35:40 ERROR: Failed to solve instance
1580.39/524.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1581.01/525.38	35:40 ERROR: Failed to solve instance
1581.01/525.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1582.39/526.66	35:42 ERROR: Failed to solve instance
1582.39/526.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1583.12/527.35	35:42 ERROR: Failed to solve instance
1583.12/527.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1596.54/537.60	35:52 ERROR: Failed to solve instance
1596.54/537.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1597.17/538.14	35:53 ERROR: Failed to solve instance
1597.17/538.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1597.68/538.69	35:54 ERROR: Failed to solve instance
1597.68/538.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1601.56/541.76	35:57 ERROR: Failed to solve instance
1601.56/541.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.18/545.55	36:00 ERROR: Failed to solve instance
1606.18/545.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.79/546.10	36:01 ERROR: Failed to solve instance
1606.79/546.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1607.71/547.05	36:02 ERROR: Failed to solve instance
1607.71/547.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1608.33/547.64	36:03 ERROR: Failed to solve instance
1608.33/547.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1609.05/548.31	36:03 ERROR: Failed to solve instance
1609.05/548.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1609.68/548.96	36:04 ERROR: Failed to solve instance
1609.68/548.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1614.39/552.80	36:08 ERROR: Failed to solve instance
1614.39/552.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1615.43/553.85	36:09 ERROR: Failed to solve instance
1615.43/553.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1616.05/554.43	36:09 ERROR: Failed to solve instance
1616.05/554.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1616.69/555.09	36:10 ERROR: Failed to solve instance
1616.69/555.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1626.69/562.58	36:18 ERROR: Failed to solve instance
1626.69/562.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1627.32/563.16	36:18 ERROR: Failed to solve instance
1627.32/563.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1628.07/563.83	36:19 ERROR: Failed to solve instance
1628.07/563.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1631.74/566.84	36:22 ERROR: Failed to solve instance
1631.74/566.84	java.lang.OutOfMemoryError: Java heap space
1632.14/567.23	36:22 ERROR: Failed to solve instance
1632.14/567.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.10/570.77	36:26 ERROR: Failed to solve instance
1636.10/570.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.93/571.52	36:26 ERROR: Failed to solve instance
1636.93/571.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.03/577.03	36:32 ERROR: Failed to solve instance
1644.03/577.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1645.06/578.00	36:33 ERROR: Failed to solve instance
1645.06/578.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1645.89/578.85	36:34 ERROR: Failed to solve instance
1645.89/578.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1646.61/579.60	36:35 ERROR: Failed to solve instance
1646.61/579.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1647.45/580.37	36:35 ERROR: Failed to solve instance
1647.45/580.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1655.05/586.40	36:41 ERROR: Failed to solve instance
1655.05/586.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1655.68/586.98	36:42 ERROR: Failed to solve instance
1655.68/586.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1656.51/587.72	36:43 ERROR: Failed to solve instance
1656.51/587.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1664.29/593.90	36:49 ERROR: Failed to solve instance
1664.29/593.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1664.82/594.48	36:49 ERROR: Failed to solve instance
1664.82/594.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.16/595.75	36:51 ERROR: Failed to solve instance
1666.16/595.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.69/596.26	36:51 ERROR: Failed to solve instance
1666.69/596.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1678.41/605.44	37:00 ERROR: Failed to solve instance
1678.41/605.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1679.04/606.03	37:01 ERROR: Failed to solve instance
1679.04/606.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1679.66/606.66	37:02 ERROR: Failed to solve instance
1679.66/606.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1680.90/607.86	37:03 ERROR: Failed to solve instance
1680.90/607.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1681.64/608.52	37:03 ERROR: Failed to solve instance
1681.64/608.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1682.25/609.12	37:04 ERROR: Failed to solve instance
1682.25/609.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1687.87/613.75	37:09 ERROR: Failed to solve instance
1687.87/613.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1688.49/614.34	37:09 ERROR: Failed to solve instance
1688.49/614.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1689.11/614.97	37:10 ERROR: Failed to solve instance
1689.11/614.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1701.18/624.31	37:19 ERROR: Failed to solve instance
1701.18/624.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1701.70/624.85	37:20 ERROR: Failed to solve instance
1701.70/624.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1702.32/625.40	37:20 ERROR: Failed to solve instance
1702.32/625.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1702.96/626.04	37:21 ERROR: Failed to solve instance
1702.96/626.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1703.90/626.94	37:22 ERROR: Failed to solve instance
1703.90/626.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1708.10/630.42	37:25 ERROR: Failed to solve instance
1708.10/630.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1708.42/630.71	37:26 ERROR: Failed to solve instance
1708.42/630.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1709.26/631.57	37:27 ERROR: Failed to solve instance
1709.26/631.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1718.52/638.98	37:34 ERROR: Failed to solve instance
1718.52/638.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1719.15/639.56	37:34 ERROR: Failed to solve instance
1719.15/639.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1719.89/640.23	37:35 ERROR: Failed to solve instance
1719.89/640.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1726.28/645.37	37:40 ERROR: Failed to solve instance
1726.28/645.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1727.41/646.47	37:41 ERROR: Failed to solve instance
1727.41/646.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1727.94/647.01	37:42 ERROR: Failed to solve instance
1727.94/647.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1734.76/652.19	37:47 ERROR: Failed to solve instance
1734.76/652.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1735.38/652.74	37:48 ERROR: Failed to solve instance
1735.38/652.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1735.99/653.35	37:48 ERROR: Failed to solve instance
1735.99/653.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.79/658.55	37:53 ERROR: Failed to solve instance
1742.79/658.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1743.91/659.64	37:54 ERROR: Failed to solve instance
1743.91/659.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1744.53/660.24	37:55 ERROR: Failed to solve instance
1744.53/660.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1744.93/660.69	37:56 ERROR: Failed to solve instance
1744.93/660.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1745.56/661.29	37:56 ERROR: Failed to solve instance
1745.56/661.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1750.66/665.46	38:00 ERROR: Failed to solve instance
1750.66/665.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1755.59/669.69	38:04 ERROR: Failed to solve instance
1755.59/669.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1756.22/670.24	38:05 ERROR: Failed to solve instance
1756.22/670.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1756.84/670.89	38:06 ERROR: Failed to solve instance
1756.84/670.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1764.36/676.79	38:12 ERROR: Failed to solve instance
1764.36/676.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1764.89/677.25	38:12 ERROR: Failed to solve instance
1764.89/677.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1765.83/678.13	38:13 ERROR: Failed to solve instance
1765.83/678.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1766.47/678.80	38:14 ERROR: Failed to solve instance
1766.47/678.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1778.80/688.32	38:23 ERROR: Failed to solve instance
1778.80/688.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1779.93/689.42	38:24 ERROR: Failed to solve instance
1779.93/689.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1780.56/690.02	38:25 ERROR: Failed to solve instance
1780.56/690.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1781.08/690.55	38:25 ERROR: Failed to solve instance
1781.08/690.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1785.74/694.15	38:29 ERROR: Failed to solve instance
1785.74/694.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1786.67/695.03	38:30 ERROR: Failed to solve instance
1786.67/695.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.31/695.64	38:31 ERROR: Failed to solve instance
1787.31/695.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1791.78/699.42	38:34 ERROR: Failed to solve instance
1791.78/699.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1792.31/700.00	38:35 ERROR: Failed to solve instance
1792.31/700.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1793.03/700.65	38:36 ERROR: Failed to solve instance
1793.03/700.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.08/707.91	38:43 ERROR: Failed to solve instance
1802.08/707.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.60/708.48	38:43 ERROR: Failed to solve instance
1802.60/708.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1803.32/709.13	38:44 ERROR: Failed to solve instance
1803.32/709.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1804.39/710.14	38:45 ERROR: Failed to solve instance
1804.39/710.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1809.67/714.47	38:49 ERROR: Failed to solve instance
1809.67/714.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1810.30/715.08	38:50 ERROR: Failed to solve instance
1810.30/715.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1811.02/715.72	38:51 ERROR: Failed to solve instance
1811.02/715.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1818.20/721.14	38:56 ERROR: Failed to solve instance
1818.20/721.14	java.lang.OutOfMemoryError: Java heap space
1823.90/725.99	39:01 ERROR: Failed to solve instance
1823.90/725.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1824.53/726.59	39:02 ERROR: Failed to solve instance
1824.53/726.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.25/727.24	39:02 ERROR: Failed to solve instance
1825.25/727.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1835.07/734.72	39:10 ERROR: Failed to solve instance
1835.07/734.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1835.60/735.30	39:10 ERROR: Failed to solve instance
1835.60/735.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1836.21/735.85	39:11 ERROR: Failed to solve instance
1836.21/735.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1837.24/736.86	39:12 ERROR: Failed to solve instance
1837.24/736.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1837.88/737.44	39:12 ERROR: Failed to solve instance
1837.88/737.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1838.52/738.07	39:13 ERROR: Failed to solve instance
1838.52/738.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1846.91/744.61	39:19 ERROR: Failed to solve instance
1846.91/744.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1847.35/744.93	39:20 ERROR: Failed to solve instance
1847.35/744.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1848.33/745.89	39:21 ERROR: Failed to solve instance
1848.33/745.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1852.09/748.98	39:24 ERROR: Failed to solve instance
1852.09/748.98	java.lang.OutOfMemoryError: Java heap space
1852.39/749.31	39:24 ERROR: Failed to solve instance
1852.39/749.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1861.60/756.30	39:31 ERROR: Failed to solve instance
1861.60/756.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.12/756.87	39:32 ERROR: Failed to solve instance
1862.12/756.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.74/757.49	39:32 ERROR: Failed to solve instance
1862.74/757.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1863.99/758.67	39:33 ERROR: Failed to solve instance
1863.99/758.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1864.73/759.39	39:34 ERROR: Failed to solve instance
1864.73/759.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1865.56/760.16	39:35 ERROR: Failed to solve instance
1865.56/760.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1866.40/760.95	39:36 ERROR: Failed to solve instance
1866.40/760.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1879.98/771.36	39:46 ERROR: Failed to solve instance
1879.98/771.36	java.lang.OutOfMemoryError: Java heap space
1880.28/771.61	39:47 ERROR: Failed to solve instance
1880.28/771.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1881.41/772.75	39:48 ERROR: Failed to solve instance
1881.41/772.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1882.05/773.33	39:48 ERROR: Failed to solve instance
1882.05/773.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1882.70/774.00	39:49 ERROR: Failed to solve instance
1882.70/774.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1883.32/774.58	39:50 ERROR: Failed to solve instance
1883.32/774.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1890.84/780.41	39:55 ERROR: Failed to solve instance
1890.84/780.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.98/781.51	39:56 ERROR: Failed to solve instance
1891.98/781.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1892.62/782.18	39:57 ERROR: Failed to solve instance
1892.62/782.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1901.78/789.52	40:04 ERROR: Failed to solve instance
1901.78/789.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1902.91/790.64	40:06 ERROR: Failed to solve instance
1902.91/790.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1903.54/791.25	40:06 ERROR: Failed to solve instance
1903.54/791.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.27/791.92	40:07 ERROR: Failed to solve instance
1904.27/791.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.01/792.65	40:08 ERROR: Failed to solve instance
1905.01/792.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1913.50/799.36	40:14 ERROR: Failed to solve instance
1913.50/799.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1914.13/799.96	40:15 ERROR: Failed to solve instance
1914.13/799.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1914.73/800.57	40:16 ERROR: Failed to solve instance
1914.73/800.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1916.07/801.82	40:17 ERROR: Failed to solve instance
1916.07/801.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1916.54/802.25	40:17 ERROR: Failed to solve instance
1916.54/802.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.88/806.57	40:22 ERROR: Failed to solve instance
1921.88/806.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.51/807.17	40:22 ERROR: Failed to solve instance
1922.51/807.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1923.23/807.82	40:23 ERROR: Failed to solve instance
1923.23/807.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1934.82/816.66	40:32 ERROR: Failed to solve instance
1934.82/816.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1935.94/817.73	40:33 ERROR: Failed to solve instance
1935.94/817.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1936.55/818.31	40:33 ERROR: Failed to solve instance
1936.55/818.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1937.17/818.91	40:34 ERROR: Failed to solve instance
1937.17/818.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1937.80/819.57	40:35 ERROR: Failed to solve instance
1937.80/819.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1938.87/820.55	40:35 ERROR: Failed to solve instance
1938.87/820.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1939.83/821.43	40:36 ERROR: Failed to solve instance
1939.83/821.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1940.48/822.10	40:37 ERROR: Failed to solve instance
1940.48/822.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1951.20/830.38	40:45 ERROR: Failed to solve instance
1951.20/830.38	java.lang.OutOfMemoryError: Java heap space
1951.51/830.66	40:46 ERROR: Failed to solve instance
1951.51/830.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1956.27/834.63	40:50 ERROR: Failed to solve instance
1956.27/834.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1956.90/835.22	40:50 ERROR: Failed to solve instance
1956.90/835.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1957.51/835.86	40:51 ERROR: Failed to solve instance
1957.51/835.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1958.86/837.15	40:52 ERROR: Failed to solve instance
1958.86/837.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1959.59/837.90	40:53 ERROR: Failed to solve instance
1959.59/837.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1960.43/838.71	40:54 ERROR: Failed to solve instance
1960.43/838.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1972.18/847.27	41:02 ERROR: Failed to solve instance
1972.18/847.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1972.79/847.86	41:03 ERROR: Failed to solve instance
1972.79/847.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1974.03/849.05	41:04 ERROR: Failed to solve instance
1974.03/849.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1974.75/849.76	41:05 ERROR: Failed to solve instance
1974.75/849.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1975.59/850.54	41:05 ERROR: Failed to solve instance
1975.59/850.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1976.41/851.35	41:06 ERROR: Failed to solve instance
1976.41/851.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1988.59/860.78	41:16 ERROR: Failed to solve instance
1988.59/860.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1989.11/861.29	41:16 ERROR: Failed to solve instance
1989.11/861.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1991.51/863.22	41:18 ERROR: Failed to solve instance
1991.51/863.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.64/864.40	41:19 ERROR: Failed to solve instance
1992.64/864.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1993.38/865.03	41:20 ERROR: Failed to solve instance
1993.38/865.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1994.21/865.81	41:21 ERROR: Failed to solve instance
1994.21/865.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1994.95/866.56	41:21 ERROR: Failed to solve instance
1994.95/866.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2003.00/872.69	41:28 ERROR: Failed to solve instance
2003.00/872.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2004.26/873.87	41:29 ERROR: Failed to solve instance
2004.26/873.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2004.77/874.35	41:29 ERROR: Failed to solve instance
2004.77/874.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2005.41/874.95	41:30 ERROR: Failed to solve instance
2005.41/874.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2005.94/875.48	41:30 ERROR: Failed to solve instance
2005.94/875.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2010.26/879.08	41:34 ERROR: Failed to solve instance
2010.26/879.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2011.20/879.98	41:35 ERROR: Failed to solve instance
2011.20/879.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2011.94/880.64	41:36 ERROR: Failed to solve instance
2011.94/880.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2023.75/889.83	41:45 ERROR: Failed to solve instance
2023.75/889.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2024.27/890.38	41:45 ERROR: Failed to solve instance
2024.27/890.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2025.50/891.59	41:47 ERROR: Failed to solve instance
2025.50/891.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2026.00/892.05	41:47 ERROR: Failed to solve instance
2026.00/892.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2026.63/892.63	41:48 ERROR: Failed to solve instance
2026.63/892.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2027.37/893.32	41:48 ERROR: Failed to solve instance
2027.37/893.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2033.32/898.27	41:53 ERROR: Failed to solve instance
2033.32/898.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2033.95/898.91	41:54 ERROR: Failed to solve instance
2033.95/898.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2039.76/903.41	41:58 ERROR: Failed to solve instance
2039.76/903.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2040.70/904.34	41:59 ERROR: Failed to solve instance
2040.70/904.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2052.59/914.03	42:09 ERROR: Failed to solve instance
2052.59/914.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2053.10/914.57	42:10 ERROR: Failed to solve instance
2053.10/914.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.32/915.71	42:11 ERROR: Failed to solve instance
2054.32/915.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.93/916.31	42:11 ERROR: Failed to solve instance
2054.93/916.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2055.56/916.95	42:12 ERROR: Failed to solve instance
2055.56/916.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2056.20/917.60	42:13 ERROR: Failed to solve instance
2056.20/917.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2057.46/918.79	42:14 ERROR: Failed to solve instance
2057.46/918.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2058.20/919.45	42:14 ERROR: Failed to solve instance
2058.20/919.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2069.06/927.70	42:23 ERROR: Failed to solve instance
2069.06/927.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2069.80/928.37	42:23 ERROR: Failed to solve instance
2069.80/928.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2072.12/930.45	42:25 ERROR: Failed to solve instance
2072.12/930.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.79/933.57	42:29 ERROR: Failed to solve instance
2075.79/933.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2076.41/934.13	42:29 ERROR: Failed to solve instance
2076.41/934.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2077.02/934.73	42:30 ERROR: Failed to solve instance
2077.02/934.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2078.12/935.75	42:31 ERROR: Failed to solve instance
2078.12/935.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.13/940.81	42:36 ERROR: Failed to solve instance
2084.13/940.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.76/941.40	42:36 ERROR: Failed to solve instance
2084.76/941.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.48/942.05	42:37 ERROR: Failed to solve instance
2085.48/942.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2097.30/950.65	42:46 ERROR: Failed to solve instance
2097.30/950.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2098.32/951.66	42:46 ERROR: Failed to solve instance
2098.32/951.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2098.94/952.21	42:47 ERROR: Failed to solve instance
2098.94/952.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2099.59/952.85	42:48 ERROR: Failed to solve instance
2099.59/952.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2104.08/956.47	42:51 ERROR: Failed to solve instance
2104.08/956.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.15/957.45	42:52 ERROR: Failed to solve instance
2105.15/957.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.77/958.01	42:53 ERROR: Failed to solve instance
2105.77/958.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2109.58/961.16	42:56 ERROR: Failed to solve instance
2109.58/961.16	java.lang.OutOfMemoryError: Java heap space
2110.63/962.16	42:57 ERROR: Failed to solve instance
2110.63/962.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2111.16/962.69	42:58 ERROR: Failed to solve instance
2111.16/962.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2111.89/963.36	42:58 ERROR: Failed to solve instance
2111.89/963.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2112.52/963.98	42:59 ERROR: Failed to solve instance
2112.52/963.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2127.55/975.63	43:11 ERROR: Failed to solve instance
2127.55/975.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.37/978.24	43:13 ERROR: Failed to solve instance
2130.37/978.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.99/978.85	43:14 ERROR: Failed to solve instance
2130.99/978.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2131.72/979.51	43:14 ERROR: Failed to solve instance
2131.72/979.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.08/986.23	43:21 ERROR: Failed to solve instance
2140.08/986.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.61/986.78	43:22 ERROR: Failed to solve instance
2140.61/986.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.24/987.38	43:22 ERROR: Failed to solve instance
2141.24/987.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2146.10/991.22	43:26 ERROR: Failed to solve instance
2146.10/991.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2146.62/991.79	43:27 ERROR: Failed to solve instance
2146.62/991.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2147.23/992.39	43:27 ERROR: Failed to solve instance
2147.23/992.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.25/998.77	43:34 ERROR: Failed to solve instance
2155.25/998.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.59/999.09	43:34 ERROR: Failed to solve instance
2155.59/999.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2156.62/1000.01	43:35 ERROR: Failed to solve instance
2156.62/1000.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2157.15/1000.60	43:36 ERROR: Failed to solve instance
2157.15/1000.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2161.65/1004.31	43:39 ERROR: Failed to solve instance
2161.65/1004.31	java.lang.OutOfMemoryError: Java heap space
2161.96/1004.64	43:40 ERROR: Failed to solve instance
2161.96/1004.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.28/1010.15	43:45 ERROR: Failed to solve instance
2169.28/1010.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2172.91/1013.24	43:48 ERROR: Failed to solve instance
2172.91/1013.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.03/1014.36	43:49 ERROR: Failed to solve instance
2174.03/1014.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.64/1014.97	43:50 ERROR: Failed to solve instance
2174.64/1014.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2175.37/1015.61	43:51 ERROR: Failed to solve instance
2175.37/1015.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2175.99/1016.29	43:51 ERROR: Failed to solve instance
2175.99/1016.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2181.64/1020.63	43:56 ERROR: Failed to solve instance
2181.64/1020.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2182.59/1021.56	43:57 ERROR: Failed to solve instance
2182.59/1021.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2183.23/1022.21	43:57 ERROR: Failed to solve instance
2183.23/1022.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2192.31/1029.03	44:04 ERROR: Failed to solve instance
2192.31/1029.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2193.25/1029.92	44:05 ERROR: Failed to solve instance
2193.25/1029.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2193.99/1030.70	44:06 ERROR: Failed to solve instance
2193.99/1030.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2196.42/1032.67	44:08 ERROR: Failed to solve instance
2196.42/1032.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2200.25/1035.85	44:11 ERROR: Failed to solve instance
2200.25/1035.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2200.77/1036.40	44:11 ERROR: Failed to solve instance
2200.77/1036.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2201.48/1037.01	44:12 ERROR: Failed to solve instance
2201.48/1037.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.72/1038.21	44:13 ERROR: Failed to solve instance
2202.72/1038.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2203.35/1038.87	44:14 ERROR: Failed to solve instance
2203.35/1038.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2213.98/1046.67	44:21 ERROR: Failed to solve instance
2213.98/1046.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2213.98/1046.68	44:22 ERROR: Failed to solve instance
2213.98/1046.68	java.lang.OutOfMemoryError: Java heap space
2214.51/1047.13	44:22 ERROR: Failed to solve instance
2214.51/1047.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2215.25/1047.73	44:23 ERROR: Failed to solve instance
2215.25/1047.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2218.65/1050.57	44:26 ERROR: Failed to solve instance
2218.65/1050.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2219.78/1051.67	44:26 ERROR: Failed to solve instance
2219.78/1051.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2220.20/1052.00	44:27 ERROR: Failed to solve instance
2220.20/1052.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2221.06/1052.87	44:28 ERROR: Failed to solve instance
2221.06/1052.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2231.82/1061.04	44:36 ERROR: Failed to solve instance
2231.82/1061.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2233.05/1062.21	44:37 ERROR: Failed to solve instance
2233.05/1062.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2233.36/1062.52	44:37 ERROR: Failed to solve instance
2233.36/1062.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2234.33/1063.54	44:38 ERROR: Failed to solve instance
2234.33/1063.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2237.95/1066.38	44:41 ERROR: Failed to solve instance
2237.95/1066.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2243.96/1071.43	44:46 ERROR: Failed to solve instance
2243.96/1071.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2245.09/1072.59	44:47 ERROR: Failed to solve instance
2245.09/1072.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2245.61/1073.08	44:48 ERROR: Failed to solve instance
2245.61/1073.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2250.52/1076.85	44:52 ERROR: Failed to solve instance
2250.52/1076.85	java.lang.OutOfMemoryError: Java heap space
2251.46/1077.78	44:53 ERROR: Failed to solve instance
2251.46/1077.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2255.06/1080.76	44:56 ERROR: Failed to solve instance
2255.06/1080.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2256.02/1081.64	44:57 ERROR: Failed to solve instance
2256.02/1081.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2256.75/1082.34	44:57 ERROR: Failed to solve instance
2256.75/1082.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2257.40/1083.00	44:58 ERROR: Failed to solve instance
2257.40/1083.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2268.60/1091.21	45:06 ERROR: Failed to solve instance
2268.60/1091.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2272.89/1094.91	45:10 ERROR: Failed to solve instance
2272.89/1094.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2273.40/1095.46	45:10 ERROR: Failed to solve instance
2273.40/1095.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2274.02/1096.08	45:11 ERROR: Failed to solve instance
2274.02/1096.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2275.25/1097.25	45:12 ERROR: Failed to solve instance
2275.25/1097.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2275.88/1097.89	45:13 ERROR: Failed to solve instance
2275.88/1097.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2276.61/1098.54	45:13 ERROR: Failed to solve instance
2276.61/1098.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2277.35/1099.26	45:14 ERROR: Failed to solve instance
2277.35/1099.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2287.97/1107.09	45:22 ERROR: Failed to solve instance
2287.97/1107.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2288.70/1107.75	45:23 ERROR: Failed to solve instance
2288.70/1107.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2289.20/1108.29	45:23 ERROR: Failed to solve instance
2289.20/1108.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2290.45/1109.40	45:24 ERROR: Failed to solve instance
2290.45/1109.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2300.74/1117.49	45:32 ERROR: Failed to solve instance
2300.74/1117.49	java.lang.OutOfMemoryError: Java heap space
2301.54/1118.27	45:33 ERROR: Failed to solve instance
2301.54/1118.27	java.lang.OutOfMemoryError: Java heap space
2301.84/1118.58	45:33 ERROR: Failed to solve instance
2301.84/1118.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2302.36/1119.01	45:34 ERROR: Failed to solve instance
2302.36/1119.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2302.88/1119.57	45:35 ERROR: Failed to solve instance
2302.88/1119.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2303.51/1120.22	45:35 ERROR: Failed to solve instance
2303.51/1120.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.09/1123.71	45:39 ERROR: Failed to solve instance
2308.09/1123.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.72/1124.32	45:39 ERROR: Failed to solve instance
2308.72/1124.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2309.86/1125.51	45:40 ERROR: Failed to solve instance
2309.86/1125.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2315.54/1130.18	45:45 ERROR: Failed to solve instance
2315.54/1130.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2316.17/1130.80	45:46 ERROR: Failed to solve instance
2316.17/1130.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2316.89/1131.47	45:46 ERROR: Failed to solve instance
2316.89/1131.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2327.76/1139.61	45:55 ERROR: Failed to solve instance
2327.76/1139.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2328.71/1140.53	45:55 ERROR: Failed to solve instance
2328.71/1140.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2329.55/1141.34	45:56 ERROR: Failed to solve instance
2329.55/1141.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2330.19/1141.94	45:57 ERROR: Failed to solve instance
2330.19/1141.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2330.70/1142.44	45:57 ERROR: Failed to solve instance
2330.70/1142.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2334.88/1145.93	46:01 ERROR: Failed to solve instance
2334.88/1145.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2335.85/1146.84	46:02 ERROR: Failed to solve instance
2335.85/1146.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2336.49/1147.45	46:02 ERROR: Failed to solve instance
2336.49/1147.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2346.95/1156.09	46:11 ERROR: Failed to solve instance
2346.95/1156.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2347.57/1156.68	46:12 ERROR: Failed to solve instance
2347.57/1156.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2348.19/1157.25	46:12 ERROR: Failed to solve instance
2348.19/1157.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.75/1161.89	46:17 ERROR: Failed to solve instance
2353.75/1161.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2354.38/1162.48	46:17 ERROR: Failed to solve instance
2354.38/1162.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2355.61/1163.61	46:19 ERROR: Failed to solve instance
2355.61/1163.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2356.25/1164.26	46:19 ERROR: Failed to solve instance
2356.25/1164.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2366.54/1172.30	46:27 ERROR: Failed to solve instance
2366.54/1172.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2367.68/1173.39	46:28 ERROR: Failed to solve instance
2367.68/1173.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2368.31/1173.97	46:29 ERROR: Failed to solve instance
2368.31/1173.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2368.94/1174.59	46:30 ERROR: Failed to solve instance
2368.94/1174.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2369.55/1175.12	46:30 ERROR: Failed to solve instance
2369.55/1175.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2382.49/1185.55	46:40 ERROR: Failed to solve instance
2382.49/1185.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2383.01/1186.10	46:41 ERROR: Failed to solve instance
2383.01/1186.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2383.63/1186.61	46:42 ERROR: Failed to solve instance
2383.63/1186.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2384.66/1187.67	46:43 ERROR: Failed to solve instance
2384.66/1187.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2385.30/1188.22	46:43 ERROR: Failed to solve instance
2385.30/1188.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2385.93/1188.87	46:44 ERROR: Failed to solve instance
2385.93/1188.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2397.13/1197.45	46:52 ERROR: Failed to solve instance
2397.13/1197.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2397.74/1198.04	46:53 ERROR: Failed to solve instance
2397.74/1198.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2398.26/1198.58	46:54 ERROR: Failed to solve instance
2398.26/1198.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2402.81/1202.23	46:57 ERROR: Failed to solve instance
2402.81/1202.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2403.33/1202.77	46:58 ERROR: Failed to solve instance
2403.33/1202.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2403.94/1203.35	46:58 ERROR: Failed to solve instance
2403.94/1203.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2405.08/1204.48	46:59 ERROR: Failed to solve instance
2405.08/1204.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2405.71/1205.09	47:00 ERROR: Failed to solve instance
2405.71/1205.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2406.44/1205.74	47:01 ERROR: Failed to solve instance
2406.44/1205.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2407.18/1206.44	47:01 ERROR: Failed to solve instance
2407.18/1206.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2423.45/1218.81	47:14 ERROR: Failed to solve instance
2423.45/1218.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2423.66/1219.06	47:14 ERROR: Failed to solve instance
2423.66/1219.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2426.99/1221.84	47:17 ERROR: Failed to solve instance
2426.99/1221.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2427.62/1222.44	47:17 ERROR: Failed to solve instance
2427.62/1222.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2428.23/1223.08	47:18 ERROR: Failed to solve instance
2428.23/1223.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2428.96/1223.76	47:19 ERROR: Failed to solve instance
2428.96/1223.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2430.12/1224.86	47:20 ERROR: Failed to solve instance
2430.12/1224.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2434.47/1228.29	47:23 ERROR: Failed to solve instance
2434.47/1228.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2435.60/1229.31	47:24 ERROR: Failed to solve instance
2435.60/1229.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2436.13/1229.87	47:25 ERROR: Failed to solve instance
2436.13/1229.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2436.76/1230.47	47:25 ERROR: Failed to solve instance
2436.76/1230.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2437.50/1231.12	47:26 ERROR: Failed to solve instance
2437.50/1231.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2447.47/1238.53	47:33 ERROR: Failed to solve instance
2447.47/1238.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2447.80/1238.84	47:34 ERROR: Failed to solve instance
2447.80/1238.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2452.48/1242.60	47:38 ERROR: Failed to solve instance
2452.48/1242.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2453.50/1243.70	47:38 ERROR: Failed to solve instance
2453.50/1243.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2454.11/1244.27	47:39 ERROR: Failed to solve instance
2454.11/1244.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2454.72/1244.87	47:40 ERROR: Failed to solve instance
2454.72/1244.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2455.46/1245.54	47:40 ERROR: Failed to solve instance
2455.46/1245.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2467.66/1255.04	47:50 ERROR: Failed to solve instance
2467.66/1255.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2468.18/1255.59	47:51 ERROR: Failed to solve instance
2468.18/1255.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2469.32/1256.70	47:51 ERROR: Failed to solve instance
2469.32/1256.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2470.04/1257.31	47:52 ERROR: Failed to solve instance
2470.04/1257.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2470.67/1257.94	47:53 ERROR: Failed to solve instance
2470.67/1257.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2471.31/1258.60	47:54 ERROR: Failed to solve instance
2471.31/1258.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2472.79/1259.91	47:55 ERROR: Failed to solve instance
2472.79/1259.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2473.31/1260.45	47:55 ERROR: Failed to solve instance
2473.31/1260.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2474.05/1261.15	47:56 ERROR: Failed to solve instance
2474.05/1261.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2474.69/1261.82	47:57 ERROR: Failed to solve instance
2474.69/1261.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2484.43/1268.85	48:04 ERROR: Failed to solve instance
2484.43/1268.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2485.38/1269.78	48:05 ERROR: Failed to solve instance
2485.38/1269.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2486.11/1270.46	48:05 ERROR: Failed to solve instance
2486.11/1270.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2495.57/1277.90	48:13 ERROR: Failed to solve instance
2495.57/1277.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2496.70/1279.00	48:14 ERROR: Failed to solve instance
2496.70/1279.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2497.33/1279.60	48:15 ERROR: Failed to solve instance
2497.33/1279.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2498.21/1280.34	48:15 ERROR: Failed to solve instance
2498.21/1280.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2502.08/1283.58	48:18 ERROR: Failed to solve instance
2502.08/1283.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2502.70/1284.17	48:19 ERROR: Failed to solve instance
2502.70/1284.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2503.46/1284.80	48:20 ERROR: Failed to solve instance
2503.46/1284.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2504.05/1285.45	48:20 ERROR: Failed to solve instance
2504.05/1285.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2513.43/1292.55	48:27 ERROR: Failed to solve instance
2513.43/1292.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2514.56/1293.66	48:28 ERROR: Failed to solve instance
2514.56/1293.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2515.18/1294.25	48:29 ERROR: Failed to solve instance
2515.18/1294.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2515.82/1294.90	48:30 ERROR: Failed to solve instance
2515.82/1294.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2516.67/1295.60	48:31 ERROR: Failed to solve instance
2516.67/1295.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2524.51/1301.78	48:37 ERROR: Failed to solve instance
2524.51/1301.78	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-3311313-1304119615/watcher-3311313-1304119615 -o /tmp/evaluation-result-3311313-1304119615/solver-3311313-1304119615 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311313-1304119615.cnf -hbr 2 

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

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


[startup+0 s]
/proc/loadavg: 8.34 8.14 7.76 6/198 23895
/proc/meminfo: memFree=30269940/32951124 swapFree=67111464/67111528
[pid=23895] ppid=23893 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/23895/stat : 23895 (java) R 23893 23895 23457 0 -1 4202496 1080 0 0 0 0 0 0 0 25 0 1 0 602192071 23580672 567 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260015433493 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23895/statm: 5757 580 436 9 0 124 0

[startup+0.0486269 s]
/proc/loadavg: 8.34 8.14 7.76 6/198 23895
/proc/meminfo: memFree=30269940/32951124 swapFree=67111464/67111528
[pid=23895] ppid=23893 vsize=15604248 CPUtime=0.03 cores=0,2,4,6
/proc/23895/stat : 23895 (java) S 23893 23895 23457 0 -1 4202496 3880 0 1 0 3 0 0 0 25 0 13 0 602192071 15978749952 3320 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032198629 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/23895/statm: 3901062 3320 1689 9 0 3891810 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15604248

[startup+0.102867 s]
/proc/loadavg: 8.34 8.14 7.76 6/198 23895
/proc/meminfo: memFree=30269940/32951124 swapFree=67111464/67111528
[pid=23895] ppid=23893 vsize=15676832 CPUtime=0.1 cores=0,2,4,6
/proc/23895/stat : 23895 (java) S 23893 23895 23457 0 -1 4202496 5577 0 1 0 9 1 0 0 25 0 18 0 602192071 16053075968 4992 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23895/statm: 3919208 4992 2117 9 0 3909927 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676832

[startup+0.301074 s]
/proc/loadavg: 8.34 8.14 7.76 6/198 23895
/proc/meminfo: memFree=30269940/32951124 swapFree=67111464/67111528
[pid=23895] ppid=23893 vsize=15680360 CPUtime=0.51 cores=0,2,4,6
/proc/23895/stat : 23895 (java) S 23893 23895 23457 0 -1 4202496 15100 0 1 0 48 3 0 0 25 0 18 0 602192071 16056688640 13539 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23895/statm: 3920090 13543 2207 9 0 3910809 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680360

[startup+0.701009 s]
/proc/loadavg: 8.34 8.14 7.76 6/198 23895
/proc/meminfo: memFree=30269940/32951124 swapFree=67111464/67111528
[pid=23895] ppid=23893 vsize=15680360 CPUtime=0.93 cores=0,2,4,6
/proc/23895/stat : 23895 (java) S 23893 23895 23457 0 -1 4202496 41927 0 1 0 86 7 0 0 25 0 18 0 602192071 16056688640 40364 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23895/statm: 3920090 40364 2223 9 0 3910809 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15680360

[startup+1.5009 s]
/proc/loadavg: 8.07 8.09 7.75 2/193 23916
/proc/meminfo: memFree=30640308/32951124 swapFree=67111464/67111528
[pid=23895] ppid=23893 vsize=15684472 CPUtime=2.03 cores=0,2,4,6
/proc/23895/stat : 23895 (java) S 23893 23895 23457 0 -1 4202496 55936 0 1 0 194 9 0 0 25 0 22 0 602192071 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23895/statm: 3921118 52461 2261 9 0 3911837 0
[pid=23895/tid=23897] ppid=23893 vsize=15684472 CPUtime=1.46 cores=0,2,4,6
/proc/23895/task/23897/stat : 23897 (java) R 23893 23895 23457 0 -1 4202560 42902 0 1 0 139 7 0 0 18 0 22 0 602192072 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 46912505122376 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23895/tid=23898] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23898/stat : 23898 (java) S 23893 23895 23457 0 -1 4202560 987 0 0 0 0 0 0 0 16 0 22 0 602192072 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23899] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23899/stat : 23899 (java) S 23893 23895 23457 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 602192072 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23900] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23900/stat : 23900 (java) S 23893 23895 23457 0 -1 4202560 63 0 0 0 0 0 0 0 16 0 22 0 602192072 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23901] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23901/stat : 23901 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 602192072 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23902] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23902/stat : 23902 (java) S 23893 23895 23457 0 -1 4202560 1361 0 0 0 0 0 0 0 16 0 22 0 602192072 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23903] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23903/stat : 23903 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 602192072 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23904] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23904/stat : 23904 (java) S 23893 23895 23457 0 -1 4202560 92 0 0 0 0 0 0 0 16 0 22 0 602192072 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23905] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23905/stat : 23905 (java) S 23893 23895 23457 0 -1 4202560 420 0 0 0 0 0 0 0 16 0 22 0 602192072 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23906] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23906/stat : 23906 (java) S 23893 23895 23457 0 -1 4202560 71 0 0 0 0 0 0 0 16 0 22 0 602192073 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032212480 0 0 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23907] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23907/stat : 23907 (java) S 23893 23895 23457 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 602192074 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23908] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23908/stat : 23908 (java) S 23893 23895 23457 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 602192074 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23909] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23909/stat : 23909 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602192076 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032219569 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23910] ppid=23893 vsize=15684472 CPUtime=0.33 cores=0,2,4,6
/proc/23895/task/23910/stat : 23910 (java) R 23893 23895 23457 0 -1 4202560 7239 0 0 0 32 1 0 0 16 0 22 0 602192076 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 47227266469730 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23895/tid=23911] ppid=23893 vsize=15684472 CPUtime=0.19 cores=0,2,4,6
/proc/23895/task/23911/stat : 23911 (java) S 23893 23895 23457 0 -1 4202560 1363 0 0 0 19 0 0 0 15 0 22 0 602192076 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23912] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23912/stat : 23912 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602192076 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23913] ppid=23893 vsize=15684472 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23913/stat : 23913 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 602192076 16060899328 52461 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032212480 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 15684472

[startup+3.10157 s]
/proc/loadavg: 8.07 8.09 7.75 3/197 23920
/proc/meminfo: memFree=30581500/32951124 swapFree=67111464/67111528
[pid=23895] ppid=23893 vsize=15685664 CPUtime=5.18 cores=0,2,4,6
/proc/23895/stat : 23895 (java) S 23893 23895 23457 0 -1 4202496 81618 0 1 0 506 12 0 0 25 0 22 0 602192071 16062119936 67491 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23895/statm: 3921416 67492 2266 9 0 3912135 0
[pid=23895/tid=23897] ppid=23893 vsize=15685664 CPUtime=3.06 cores=0,2,4,6
/proc/23895/task/23897/stat : 23897 (java) R 23893 23895 23457 0 -1 4202560 53448 0 1 0 298 8 0 0 21 0 22 0 602192072 16062119936 67492 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 46912506167792 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=23895/tid=23898] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23898/stat : 23898 (java) S 23893 23895 23457 0 -1 4202560 987 0 0 0 0 0 0 0 16 0 22 0 602192072 16062119936 67493 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23899] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23899/stat : 23899 (java) S 23893 23895 23457 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 602192072 16062119936 67493 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23900] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23900/stat : 23900 (java) S 23893 23895 23457 0 -1 4202560 63 0 0 0 0 0 0 0 16 0 22 0 602192072 16062119936 67493 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23901] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23901/stat : 23901 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 602192072 16062119936 67494 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23902] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23902/stat : 23902 (java) S 23893 23895 23457 0 -1 4202560 1361 0 0 0 0 0 0 0 16 0 22 0 602192072 16062119936 67494 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23903] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23903/stat : 23903 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 602192072 16062119936 67495 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23904] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23904/stat : 23904 (java) S 23893 23895 23457 0 -1 4202560 92 0 0 0 0 0 0 0 16 0 22 0 602192072 16062119936 67495 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23905] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23905/stat : 23905 (java) S 23893 23895 23457 0 -1 4202560 420 0 0 0 0 0 0 0 16 0 22 0 602192072 16062119936 67496 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23906] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23906/stat : 23906 (java) S 23893 23895 23457 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 602192073 16062119936 67496 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032212480 0 0 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23907] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23907/stat : 23907 (java) S 23893 23895 23457 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 602192074 16062119936 67497 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23908] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23908/stat : 23908 (java) S 23893 23895 23457 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 602192074 16062119936 67497 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23909] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23909/stat : 23909 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602192076 16062119936 67498 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032219569 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23910] ppid=23893 vsize=15685664 CPUtime=1.66 cores=0,2,4,6
/proc/23895/task/23910/stat : 23910 (java) S 23893 23895 23457 0 -1 4202560 22055 0 0 0 163 3 0 0 16 0 22 0 602192076 16062119936 67498 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23911] ppid=23893 vsize=15685664 CPUtime=0.41 cores=0,2,4,6
/proc/23895/task/23911/stat : 23911 (java) S 23893 23895 23457 0 -1 4202560 1683 0 0 0 41 0 0 0 16 0 22 0 602192076 16062119936 67499 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23912] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23912/stat : 23912 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602192076 16062119936 67499 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23913] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23913/stat : 23913 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 602192076 16062119936 67500 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032212480 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23917] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23917/stat : 23917 (java) S 23893 23895 23457 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 602192179 16062119936 67500 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032212480 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23918] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23918/stat : 23918 (java) S 23893 23895 23457 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 602192179 16062119936 67501 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032212480 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23919] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23919/stat : 23919 (java) S 23893 23895 23457 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 602192179 16062119936 67501 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032212480 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23920] ppid=23893 vsize=15685664 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23920/stat : 23920 (java) S 23893 23895 23457 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 602192179 16062119936 67502 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032212480 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.18
Current children cumulated vsize (KiB) 15685664

[startup+6.30092 s]
/proc/loadavg: 8.07 8.09 7.75 12/220 23968
/proc/meminfo: memFree=29911764/32951124 swapFree=67111464/67111528
[pid=23895] ppid=23893 vsize=15685928 CPUtime=14.73 cores=0,2,4,6
/proc/23895/stat : 23895 (java) S 23893 23895 23457 0 -1 4202496 246241 0 1 0 1438 35 0 0 25 0 22 0 602192071 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23895/statm: 3921482 230939 2275 9 0 3912201 0
[pid=23895/tid=23897] ppid=23893 vsize=15685928 CPUtime=3.3 cores=0,2,4,6
/proc/23895/task/23897/stat : 23897 (java) S 23893 23895 23457 0 -1 4202560 55543 0 1 0 322 8 0 0 21 0 22 0 602192072 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23898] ppid=23893 vsize=15685928 CPUtime=0.09 cores=0,2,4,6
/proc/23895/task/23898/stat : 23898 (java) S 23893 23895 23457 0 -1 4202560 12703 0 0 0 8 1 0 0 15 0 22 0 602192072 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23899] ppid=23893 vsize=15685928 CPUtime=0.01 cores=0,2,4,6
/proc/23895/task/23899/stat : 23899 (java) S 23893 23895 23457 0 -1 4202560 3492 0 0 0 1 0 0 0 15 0 22 0 602192072 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23900] ppid=23893 vsize=15685928 CPUtime=0.11 cores=0,2,4,6
/proc/23895/task/23900/stat : 23900 (java) S 23893 23895 23457 0 -1 4202560 10758 0 0 0 10 1 0 0 15 0 22 0 602192072 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23901] ppid=23893 vsize=15685928 CPUtime=0.1 cores=0,2,4,6
/proc/23895/task/23901/stat : 23901 (java) S 23893 23895 23457 0 -1 4202560 10552 0 0 0 9 1 0 0 15 0 22 0 602192072 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23902] ppid=23893 vsize=15685928 CPUtime=0.17 cores=0,2,4,6
/proc/23895/task/23902/stat : 23902 (java) S 23893 23895 23457 0 -1 4202560 20021 0 0 0 14 3 0 0 15 0 22 0 602192072 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23903] ppid=23893 vsize=15685928 CPUtime=0.12 cores=0,2,4,6
/proc/23895/task/23903/stat : 23903 (java) S 23893 23895 23457 0 -1 4202560 22536 0 0 0 10 2 0 0 15 0 22 0 602192072 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23904] ppid=23893 vsize=15685928 CPUtime=0.09 cores=0,2,4,6
/proc/23895/task/23904/stat : 23904 (java) S 23893 23895 23457 0 -1 4202560 14445 0 0 0 8 1 0 0 15 0 22 0 602192072 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23905] ppid=23893 vsize=15685928 CPUtime=0.09 cores=0,2,4,6
/proc/23895/task/23905/stat : 23905 (java) S 23893 23895 23457 0 -1 4202560 14494 0 0 0 7 2 0 0 16 0 22 0 602192072 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23906] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23906/stat : 23906 (java) S 23893 23895 23457 0 -1 4202560 539 0 0 0 0 0 0 0 15 0 22 0 602192073 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032212480 0 0 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23907] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23907/stat : 23907 (java) S 23893 23895 23457 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 602192074 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23908] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23908/stat : 23908 (java) S 23893 23895 23457 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602192074 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23909] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23909/stat : 23909 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602192076 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032219569 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23910] ppid=23893 vsize=15685928 CPUtime=2 cores=0,2,4,6
/proc/23895/task/23910/stat : 23910 (java) S 23893 23895 23457 0 -1 4202560 22091 0 0 0 197 3 0 0 15 0 22 0 602192076 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23911] ppid=23893 vsize=15685928 CPUtime=0.63 cores=0,2,4,6
/proc/23895/task/23911/stat : 23911 (java) S 23893 23895 23457 0 -1 4202560 1769 0 0 0 63 0 0 0 15 0 22 0 602192076 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23912] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23912/stat : 23912 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602192076 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23913] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23913/stat : 23913 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 602192076 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032212480 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23917] ppid=23893 vsize=15685928 CPUtime=1.71 cores=0,2,4,6
/proc/23895/task/23917/stat : 23917 (java) R 23893 23895 23457 0 -1 4202560 14268 0 0 0 169 2 0 0 16 0 22 0 602192179 16062390272 230939 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 47227267255393 0 4 0 16800975 0 0 0 -1 0 0 0 0

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

/proc/23895/task/23902/stat : 23902 (java) S 23893 23895 23457 0 -1 4202560 376266 0 0 0 246 64 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23903] ppid=23893 vsize=15685928 CPUtime=3.23 cores=0,2,4,6
/proc/23895/task/23903/stat : 23903 (java) S 23893 23895 23457 0 -1 4202560 369190 0 0 0 266 57 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23904] ppid=23893 vsize=15685928 CPUtime=2.57 cores=0,2,4,6
/proc/23895/task/23904/stat : 23904 (java) S 23893 23895 23457 0 -1 4202560 284165 0 0 0 209 48 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23905] ppid=23893 vsize=15685928 CPUtime=4.09 cores=0,2,4,6
/proc/23895/task/23905/stat : 23905 (java) S 23893 23895 23457 0 -1 4202560 412400 0 0 0 336 73 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23906] ppid=23893 vsize=15685928 CPUtime=778.36 cores=0,2,4,6
/proc/23895/task/23906/stat : 23906 (java) R 23893 23895 23457 0 -1 4202560 602249 0 0 0 77729 107 0 0 18 0 22 0 602192073 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 47227263652130 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23895/tid=23907] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23907/stat : 23907 (java) S 23893 23895 23457 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 602192074 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23908] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23908/stat : 23908 (java) S 23893 23895 23457 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 602192074 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23909] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23909/stat : 23909 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032219569 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23910] ppid=23893 vsize=15685928 CPUtime=2.01 cores=0,2,4,6
/proc/23895/task/23910/stat : 23910 (java) S 23893 23895 23457 0 -1 4202560 22091 0 0 0 198 3 0 0 15 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23911] ppid=23893 vsize=15685928 CPUtime=0.8 cores=0,2,4,6
/proc/23895/task/23911/stat : 23911 (java) S 23893 23895 23457 0 -1 4202560 1796 0 0 0 80 0 0 0 15 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23912] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23912/stat : 23912 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23913] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23913/stat : 23913 (java) S 23893 23895 23457 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032212480 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23917] ppid=23893 vsize=15685928 CPUtime=392.32 cores=0,2,4,6
/proc/23895/task/23917/stat : 23917 (java) S 23893 23895 23457 0 -1 4202560 119091 0 0 0 39210 22 0 0 15 0 22 0 602192179 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23918] ppid=23893 vsize=15685928 CPUtime=392.39 cores=0,2,4,6
/proc/23895/task/23918/stat : 23918 (java) S 23893 23895 23457 0 -1 4202560 109827 0 0 0 39219 20 0 0 15 0 22 0 602192179 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23919] ppid=23893 vsize=15685928 CPUtime=392.46 cores=0,2,4,6
/proc/23895/task/23919/stat : 23919 (java) S 23893 23895 23457 0 -1 4202560 102534 0 0 0 39225 21 0 0 15 0 22 0 602192179 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23920] ppid=23893 vsize=15685928 CPUtime=391.46 cores=0,2,4,6
/proc/23895/task/23920/stat : 23920 (java) S 23893 23895 23457 0 -1 4202560 122059 0 0 0 39125 21 0 0 15 0 22 0 602192179 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2378.64
Current children cumulated vsize (KiB) 15685928

[startup+1242.3 s]
/proc/loadavg: 3.63 5.08 6.19 2/193 24024
/proc/meminfo: memFree=15312232/32951124 swapFree=67111464/67111528
[pid=23895] ppid=23893 vsize=15685928 CPUtime=2452.18 cores=0,2,4,6
/proc/23895/stat : 23895 (java) S 23893 23895 23457 0 -1 4202496 3911032 0 1 0 244533 685 0 0 25 0 22 0 602192071 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23895/statm: 3921482 3867409 2294 9 0 3912201 0
[pid=23895/tid=23897] ppid=23893 vsize=15685928 CPUtime=3.3 cores=0,2,4,6
/proc/23895/task/23897/stat : 23897 (java) S 23893 23895 23457 0 -1 4202560 55543 0 1 0 322 8 0 0 21 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23898] ppid=23893 vsize=15685928 CPUtime=2.94 cores=0,2,4,6
/proc/23895/task/23898/stat : 23898 (java) S 23893 23895 23457 0 -1 4202560 343478 0 0 0 237 57 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23899] ppid=23893 vsize=15685928 CPUtime=2.6 cores=0,2,4,6
/proc/23895/task/23899/stat : 23899 (java) S 23893 23895 23457 0 -1 4202560 256046 0 0 0 215 45 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23900] ppid=23893 vsize=15685928 CPUtime=3.2 cores=0,2,4,6
/proc/23895/task/23900/stat : 23900 (java) S 23893 23895 23457 0 -1 4202560 432833 0 0 0 248 72 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23901] ppid=23893 vsize=15685928 CPUtime=3.62 cores=0,2,4,6
/proc/23895/task/23901/stat : 23901 (java) S 23893 23895 23457 0 -1 4202560 299671 0 0 0 311 51 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23902] ppid=23893 vsize=15685928 CPUtime=3.1 cores=0,2,4,6
/proc/23895/task/23902/stat : 23902 (java) S 23893 23895 23457 0 -1 4202560 376266 0 0 0 246 64 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23903] ppid=23893 vsize=15685928 CPUtime=3.23 cores=0,2,4,6
/proc/23895/task/23903/stat : 23903 (java) S 23893 23895 23457 0 -1 4202560 369190 0 0 0 266 57 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23904] ppid=23893 vsize=15685928 CPUtime=2.57 cores=0,2,4,6
/proc/23895/task/23904/stat : 23904 (java) S 23893 23895 23457 0 -1 4202560 284165 0 0 0 209 48 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23905] ppid=23893 vsize=15685928 CPUtime=4.09 cores=0,2,4,6
/proc/23895/task/23905/stat : 23905 (java) S 23893 23895 23457 0 -1 4202560 412400 0 0 0 336 73 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23906] ppid=23893 vsize=15685928 CPUtime=833.79 cores=0,2,4,6
/proc/23895/task/23906/stat : 23906 (java) R 23893 23895 23457 0 -1 4202560 602253 0 0 0 83267 112 0 0 18 0 22 0 602192073 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 47227265998920 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=23895/tid=23907] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23907/stat : 23907 (java) S 23893 23895 23457 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 602192074 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23908] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23908/stat : 23908 (java) S 23893 23895 23457 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 602192074 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23909] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23909/stat : 23909 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032219569 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23910] ppid=23893 vsize=15685928 CPUtime=2.01 cores=0,2,4,6
/proc/23895/task/23910/stat : 23910 (java) S 23893 23895 23457 0 -1 4202560 22091 0 0 0 198 3 0 0 15 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23911] ppid=23893 vsize=15685928 CPUtime=0.82 cores=0,2,4,6
/proc/23895/task/23911/stat : 23911 (java) S 23893 23895 23457 0 -1 4202560 1797 0 0 0 82 0 0 0 15 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23912] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23912/stat : 23912 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23913] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23913/stat : 23913 (java) S 23893 23895 23457 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032212480 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23917] ppid=23893 vsize=15685928 CPUtime=396.85 cores=0,2,4,6
/proc/23895/task/23917/stat : 23917 (java) S 23893 23895 23457 0 -1 4202560 119170 0 0 0 39663 22 0 0 15 0 22 0 602192179 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23918] ppid=23893 vsize=15685928 CPUtime=396.88 cores=0,2,4,6
/proc/23895/task/23918/stat : 23918 (java) S 23893 23895 23457 0 -1 4202560 109898 0 0 0 39667 21 0 0 15 0 22 0 602192179 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23919] ppid=23893 vsize=15685928 CPUtime=396.99 cores=0,2,4,6
/proc/23895/task/23919/stat : 23919 (java) S 23893 23895 23457 0 -1 4202560 102660 0 0 0 39677 22 0 0 15 0 22 0 602192179 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23920] ppid=23893 vsize=15685928 CPUtime=396.01 cores=0,2,4,6
/proc/23895/task/23920/stat : 23920 (java) S 23893 23895 23457 0 -1 4202560 122118 0 0 0 39579 22 0 0 15 0 22 0 602192179 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2452.18
Current children cumulated vsize (KiB) 15685928



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.05 4.39 5.89 2/193 24026
/proc/meminfo: memFree=15311736/32951124 swapFree=67111464/67111528
[pid=23895] ppid=23893 vsize=15685928 CPUtime=2522.65 cores=0,2,4,6
/proc/23895/stat : 23895 (java) S 23893 23895 23457 0 -1 4202496 3911345 0 1 0 251574 691 0 0 25 0 22 0 602192071 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23895/statm: 3921482 3867409 2294 9 0 3912201 0
[pid=23895/tid=23897] ppid=23893 vsize=15685928 CPUtime=3.3 cores=0,2,4,6
/proc/23895/task/23897/stat : 23897 (java) S 23893 23895 23457 0 -1 4202560 55543 0 1 0 322 8 0 0 21 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23898] ppid=23893 vsize=15685928 CPUtime=2.94 cores=0,2,4,6
/proc/23895/task/23898/stat : 23898 (java) S 23893 23895 23457 0 -1 4202560 343478 0 0 0 237 57 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23899] ppid=23893 vsize=15685928 CPUtime=2.6 cores=0,2,4,6
/proc/23895/task/23899/stat : 23899 (java) S 23893 23895 23457 0 -1 4202560 256046 0 0 0 215 45 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23900] ppid=23893 vsize=15685928 CPUtime=3.2 cores=0,2,4,6
/proc/23895/task/23900/stat : 23900 (java) S 23893 23895 23457 0 -1 4202560 432833 0 0 0 248 72 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23901] ppid=23893 vsize=15685928 CPUtime=3.62 cores=0,2,4,6
/proc/23895/task/23901/stat : 23901 (java) S 23893 23895 23457 0 -1 4202560 299671 0 0 0 311 51 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23902] ppid=23893 vsize=15685928 CPUtime=3.1 cores=0,2,4,6
/proc/23895/task/23902/stat : 23902 (java) S 23893 23895 23457 0 -1 4202560 376266 0 0 0 246 64 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23903] ppid=23893 vsize=15685928 CPUtime=3.23 cores=0,2,4,6
/proc/23895/task/23903/stat : 23903 (java) S 23893 23895 23457 0 -1 4202560 369190 0 0 0 266 57 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23904] ppid=23893 vsize=15685928 CPUtime=2.57 cores=0,2,4,6
/proc/23895/task/23904/stat : 23904 (java) S 23893 23895 23457 0 -1 4202560 284165 0 0 0 209 48 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23905] ppid=23893 vsize=15685928 CPUtime=4.09 cores=0,2,4,6
/proc/23895/task/23905/stat : 23905 (java) S 23893 23895 23457 0 -1 4202560 412400 0 0 0 336 73 0 0 16 0 22 0 602192072 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23906] ppid=23893 vsize=15685928 CPUtime=887.19 cores=0,2,4,6
/proc/23895/task/23906/stat : 23906 (java) R 23893 23895 23457 0 -1 4202560 602257 0 0 0 88602 117 0 0 18 0 22 0 602192073 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 47227263627309 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=23895/tid=23907] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23907/stat : 23907 (java) S 23893 23895 23457 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 602192074 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23908] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23908/stat : 23908 (java) S 23893 23895 23457 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 602192074 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23909] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23909/stat : 23909 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032219569 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23910] ppid=23893 vsize=15685928 CPUtime=2.01 cores=0,2,4,6
/proc/23895/task/23910/stat : 23910 (java) S 23893 23895 23457 0 -1 4202560 22091 0 0 0 198 3 0 0 15 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23911] ppid=23893 vsize=15685928 CPUtime=0.82 cores=0,2,4,6
/proc/23895/task/23911/stat : 23911 (java) S 23893 23895 23457 0 -1 4202560 1797 0 0 0 82 0 0 0 15 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23912] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23912/stat : 23912 (java) S 23893 23895 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23913] ppid=23893 vsize=15685928 CPUtime=0 cores=0,2,4,6
/proc/23895/task/23913/stat : 23913 (java) S 23893 23895 23457 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 602192076 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032212480 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
[pid=23895/tid=23917] ppid=23893 vsize=15685928 CPUtime=401.12 cores=0,2,4,6
/proc/23895/task/23917/stat : 23917 (java) S 23893 23895 23457 0 -1 4202560 119234 0 0 0 40090 22 0 0 16 0 22 0 602192179 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 0 0 0 0
[pid=23895/tid=23918] ppid=23893 vsize=15685928 CPUtime=401.13 cores=0,2,4,6
/proc/23895/task/23918/stat : 23918 (java) S 23893 23895 23457 0 -1 4202560 109981 0 0 0 40092 21 0 0 15 0 22 0 602192179 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 4 0 0 0
[pid=23895/tid=23919] ppid=23893 vsize=15685928 CPUtime=401.26 cores=0,2,4,6
/proc/23895/task/23919/stat : 23919 (java) S 23893 23895 23457 0 -1 4202560 102717 0 0 0 40104 22 0 0 16 0 22 0 602192179 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 6 0 0 0
[pid=23895/tid=23920] ppid=23893 vsize=15685928 CPUtime=400.28 cores=0,2,4,6
/proc/23895/task/23920/stat : 23920 (java) S 23893 23895 23457 0 -1 4202560 122219 0 0 0 40006 22 0 0 16 0 22 0 602192179 16062390272 3867409 33554432000 1073741824 1073778376 140736976191600 18446744073709551615 260032211865 0 4 0 16800975 18446604453913646080 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2522.65
Current children cumulated vsize (KiB) 15685928

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -23895

[startup+1302.3 s]
/proc/loadavg: 1.96 4.33 5.86 2/195 24028
/proc/meminfo: memFree=15311596/32951124 swapFree=67111464/67111528
[pid=23895] ppid=23893 vsize=0 CPUtime=2525.12 cores=0,2,4,6
/proc/23895/stat : 23895 (java) Z 23893 23895 23457 0 -1 4203548 3911370 0 1 0 251793 719 0 0 18 0 2 0 602192071 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23895/statm: 0 0 0 0 0 0 0
[pid=23895/tid=23912] ppid=23893 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/23895/task/23912/stat : 23912 (java) R 23893 23895 23457 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 602192076 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2525.12
Current children cumulated vsize (KiB) 0

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

[startup+1302.5 s]
/proc/loadavg: 1.96 4.33 5.86 2/195 24028
/proc/meminfo: memFree=15311596/32951124 swapFree=67111464/67111528
[pid=23895] ppid=23893 vsize=0 CPUtime=2525.32 cores=0,2,4,6
/proc/23895/stat : 23895 (java) Z 23893 23895 23457 0 -1 4203548 3911370 0 1 0 251793 739 0 0 18 0 2 0 602192071 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23895/statm: 0 0 0 0 0 0 0
[pid=23895/tid=23912] ppid=23893 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/23895/task/23912/stat : 23912 (java) R 23893 23895 23457 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 602192076 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2525.32
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.58
CPU time (s): 2525.41
CPU user time (s): 2517.94
CPU system time (s): 7.47486
CPU usage (%): 193.877
Max. virtual memory (cumulated for all children) (KiB): 15687264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.94
system time used= 7.47486
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3911370
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= 62820
involuntary context switches= 34969

runsolver used 2.16367 second user time and 5.20021 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-30 01:26:55
IDJOB=3311313
IDBENCH=82698
IDSOLVER=1698
FILE ID=node110/3311313-1304119615
RUNJOBID= node110-1304118409-23771
PBS_JOBID= 13170707
Free space on /tmp= 72832 MiB

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

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

MD5SUM BENCH= 0f7796213ec78265bd44aa83c0fa283d
RANDOM SEED=1444840761

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:      30270220 kB
Buffers:        928988 kB
Cached:         748776 kB
SwapCached:         64 kB
Active:         672460 kB
Inactive:      1600052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30270220 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:            5908 kB
Writeback:           0 kB
AnonPages:      593744 kB
Mapped:          23460 kB
Slab:           341960 kB
PageTables:       7968 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   797400 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-30 01:48:38