Trace number 3312513

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1? (TO) 2528.46 1302.52

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.11/0.11	17:18 INFO : Reading from input HOME/instance-3312513-1304119038.cnf
1.24/1.07	Executor set job limit to 1000000
1.24/1.07	Executor set job limit to 1000000
1.24/1.07	Executor set job limit to 1000000
1.24/1.07	Executor set job limit to 1000000
1.24/1.07	Starting Executor!
1.24/1.07	Starting Executor!
1.24/1.07	Starting Executor!
1.24/1.07	Starting Executor!
4.96/3.12	17:21 INFO : 49798 variables remaining out of 50000
4.96/3.12	17:21 INFO : 834928 literals remaining out of 840000
1422.67/383.33	23:42 ERROR: Failed to solve instance
1422.67/383.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1422.67/383.33		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:221)
1422.67/383.33		at gnu.trove.THash.postInsertHook(THash.java:370)
1422.67/383.33		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1422.67/383.33		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1422.67/383.33		at ibis.structure.Subsumming.run(Subsumming.java:58)
1422.67/383.33		at ibis.structure.Solver.simplify(Solver.java:205)
1422.67/383.33		at ibis.structure.Solver.solve(Solver.java:113)
1422.67/383.33		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1422.67/383.33		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1422.67/383.33		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1422.67/383.33		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1422.67/383.33		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1422.67/383.33		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1422.67/383.33		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1422.67/383.33		at ibis.constellation.Executor.processActivities(Executor.java:75)
1422.67/383.33		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1422.67/383.33		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1422.67/383.33		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1433.68/392.71	23:51 ERROR: Failed to solve instance
1433.68/392.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1433.68/392.71		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1433.68/392.71		at gnu.trove.THash.<init>(THash.java:128)
1433.68/392.71		at gnu.trove.THash.<init>(THash.java:97)
1433.68/392.71		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1433.68/392.71		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1433.68/392.71		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1433.68/392.71		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1433.68/392.71		at ibis.structure.WatchLists.build(WatchLists.java:47)
1433.68/392.71		at ibis.structure.Solver.<init>(Solver.java:45)
1433.68/392.71		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1433.68/392.71		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1433.68/392.71		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1433.68/392.71		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1433.68/392.71		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1433.68/392.71		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1433.68/392.71		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1433.68/392.71		at ibis.constellation.Executor.processActivities(Executor.java:75)
1433.68/392.71		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1433.68/392.71		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1433.68/392.71		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1436.61/395.64	23:54 ERROR: Failed to solve instance
1436.61/395.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1436.61/395.64		at gnu.trove.TPrimitiveHash.setUp(TPrimitiveHash.java:123)
1436.61/395.64		at gnu.trove.TIntHash.setUp(TIntHash.java:133)
1436.61/395.64		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83)
1436.61/395.64		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1436.61/395.64		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1436.61/395.64		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1436.61/395.64		at ibis.structure.WatchLists.build(WatchLists.java:47)
1436.61/395.64		at ibis.structure.Solver.<init>(Solver.java:45)
1436.61/395.64		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1436.61/395.64		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1436.61/395.64		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1436.61/395.64		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1436.61/395.64		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1436.61/395.64		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1436.61/395.64		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1436.61/395.64		at ibis.constellation.Executor.processActivities(Executor.java:75)
1436.61/395.64		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1436.61/395.64		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1436.61/395.64		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1439.04/398.09	23:56 ERROR: Failed to solve instance
1439.04/398.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1439.04/398.09		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1439.04/398.09		at gnu.trove.THash.<init>(THash.java:128)
1439.04/398.09		at gnu.trove.THash.<init>(THash.java:97)
1439.04/398.09		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1439.04/398.09		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1439.04/398.09		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1439.04/398.09		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1439.04/398.09		at ibis.structure.WatchLists.build(WatchLists.java:47)
1439.04/398.09		at ibis.structure.Solver.<init>(Solver.java:45)
1439.04/398.09		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1439.04/398.09		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1439.04/398.09		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1439.04/398.09		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1439.04/398.09		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1439.04/398.09		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1439.04/398.09		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1439.04/398.09		at ibis.constellation.Executor.processActivities(Executor.java:75)
1439.04/398.09		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1439.04/398.09		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1439.04/398.09		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1441.59/400.59	23:59 ERROR: Failed to solve instance
1441.59/400.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1451.76/408.45	24:07 ERROR: Failed to solve instance
1451.76/408.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.70/411.36	24:10 ERROR: Failed to solve instance
1454.70/411.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.33/411.91	24:10 ERROR: Failed to solve instance
1455.33/411.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1457.77/414.30	24:13 ERROR: Failed to solve instance
1457.77/414.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1458.29/414.82	24:13 ERROR: Failed to solve instance
1458.29/414.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1463.41/419.17	24:17 ERROR: Failed to solve instance
1463.41/419.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1463.91/419.70	24:18 ERROR: Failed to solve instance
1463.91/419.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1464.53/420.28	24:19 ERROR: Failed to solve instance
1464.53/420.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1465.14/420.90	24:19 ERROR: Failed to solve instance
1465.14/420.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1466.37/422.09	24:20 ERROR: Failed to solve instance
1466.37/422.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1467.10/422.75	24:21 ERROR: Failed to solve instance
1467.10/422.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1467.84/423.43	24:22 ERROR: Failed to solve instance
1467.84/423.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1480.78/433.27	24:32 ERROR: Failed to solve instance
1480.78/433.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1481.39/433.80	24:32 ERROR: Failed to solve instance
1481.39/433.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1481.90/434.38	24:33 ERROR: Failed to solve instance
1481.90/434.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.12/435.56	24:34 ERROR: Failed to solve instance
1483.12/435.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.85/436.23	24:34 ERROR: Failed to solve instance
1483.85/436.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1484.58/436.93	24:35 ERROR: Failed to solve instance
1484.58/436.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1485.32/437.68	24:36 ERROR: Failed to solve instance
1485.32/437.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1496.24/446.06	24:44 ERROR: Failed to solve instance
1496.24/446.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1496.87/446.70	24:45 ERROR: Failed to solve instance
1496.87/446.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1497.50/447.26	24:46 ERROR: Failed to solve instance
1497.50/447.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1501.76/450.96	24:49 ERROR: Failed to solve instance
1501.76/450.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1502.39/451.57	24:50 ERROR: Failed to solve instance
1502.39/451.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1503.13/452.23	24:50 ERROR: Failed to solve instance
1503.13/452.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1512.95/460.01	24:58 ERROR: Failed to solve instance
1512.95/460.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1515.26/462.39	25:01 ERROR: Failed to solve instance
1515.26/462.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1515.99/463.02	25:01 ERROR: Failed to solve instance
1515.99/463.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1520.03/466.44	25:05 ERROR: Failed to solve instance
1520.03/466.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1523.43/469.53	25:08 ERROR: Failed to solve instance
1523.43/469.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1524.06/470.15	25:08 ERROR: Failed to solve instance
1524.06/470.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1524.69/470.79	25:09 ERROR: Failed to solve instance
1524.69/470.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1535.83/479.76	25:18 ERROR: Failed to solve instance
1535.83/479.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1536.34/480.29	25:19 ERROR: Failed to solve instance
1536.34/480.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1536.95/480.88	25:19 ERROR: Failed to solve instance
1536.95/480.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1538.17/482.04	25:20 ERROR: Failed to solve instance
1538.17/482.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1538.83/482.68	25:21 ERROR: Failed to solve instance
1538.83/482.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1539.47/483.28	25:21 ERROR: Failed to solve instance
1539.47/483.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1549.66/490.92	25:29 ERROR: Failed to solve instance
1549.66/490.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1550.70/491.94	25:30 ERROR: Failed to solve instance
1550.70/491.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1551.23/492.49	25:31 ERROR: Failed to solve instance
1551.23/492.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1551.85/493.08	25:31 ERROR: Failed to solve instance
1551.85/493.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1552.59/493.79	25:32 ERROR: Failed to solve instance
1552.59/493.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1558.37/498.59	25:37 ERROR: Failed to solve instance
1558.37/498.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1558.98/499.16	25:37 ERROR: Failed to solve instance
1558.98/499.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1559.60/499.75	25:38 ERROR: Failed to solve instance
1559.60/499.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.73/500.90	25:39 ERROR: Failed to solve instance
1560.73/500.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.47/501.52	25:40 ERROR: Failed to solve instance
1561.47/501.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1562.10/502.17	25:40 ERROR: Failed to solve instance
1562.10/502.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1573.36/510.79	25:49 ERROR: Failed to solve instance
1573.36/510.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1573.98/511.36	25:50 ERROR: Failed to solve instance
1573.98/511.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1574.61/511.99	25:50 ERROR: Failed to solve instance
1574.61/511.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1575.37/512.68	25:51 ERROR: Failed to solve instance
1575.37/512.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1580.44/516.87	25:55 ERROR: Failed to solve instance
1580.44/516.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1580.84/517.22	25:55 ERROR: Failed to solve instance
1580.84/517.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1581.58/517.96	25:56 ERROR: Failed to solve instance
1581.58/517.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1582.75/519.09	25:57 ERROR: Failed to solve instance
1582.75/519.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1583.39/519.70	25:58 ERROR: Failed to solve instance
1583.39/519.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1584.02/520.29	25:59 ERROR: Failed to solve instance
1584.02/520.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1584.75/520.93	25:59 ERROR: Failed to solve instance
1584.75/520.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1596.02/529.74	26:08 ERROR: Failed to solve instance
1596.02/529.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1596.66/530.37	26:09 ERROR: Failed to solve instance
1596.66/530.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1597.89/531.53	26:10 ERROR: Failed to solve instance
1597.89/531.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1598.53/532.17	26:10 ERROR: Failed to solve instance
1598.53/532.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1611.69/542.13	26:20 ERROR: Failed to solve instance
1611.69/542.13	java.lang.OutOfMemoryError: Java heap space
1612.19/542.67	26:21 ERROR: Failed to solve instance
1612.19/542.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1612.80/543.26	26:22 ERROR: Failed to solve instance
1612.80/543.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1614.03/544.45	26:23 ERROR: Failed to solve instance
1614.03/544.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1614.65/545.06	26:23 ERROR: Failed to solve instance
1614.65/545.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1615.39/545.76	26:24 ERROR: Failed to solve instance
1615.39/545.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1620.99/550.23	26:28 ERROR: Failed to solve instance
1620.99/550.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1625.85/554.19	26:32 ERROR: Failed to solve instance
1625.85/554.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1626.46/554.74	26:33 ERROR: Failed to solve instance
1626.46/554.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1627.49/555.75	26:34 ERROR: Failed to solve instance
1627.49/555.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1627.79/556.08	26:34 ERROR: Failed to solve instance
1627.79/556.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1631.51/559.07	26:37 ERROR: Failed to solve instance
1631.51/559.07	java.lang.OutOfMemoryError: Java heap space
1631.81/559.41	26:38 ERROR: Failed to solve instance
1631.81/559.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.36/563.09	26:41 ERROR: Failed to solve instance
1636.36/563.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1637.50/564.18	26:42 ERROR: Failed to solve instance
1637.50/564.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1638.11/564.79	26:43 ERROR: Failed to solve instance
1638.11/564.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1638.84/565.43	26:44 ERROR: Failed to solve instance
1638.84/565.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1639.57/566.11	26:44 ERROR: Failed to solve instance
1639.57/566.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.62/574.60	26:53 ERROR: Failed to solve instance
1650.62/574.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1651.25/575.23	26:53 ERROR: Failed to solve instance
1651.25/575.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1651.89/575.81	26:54 ERROR: Failed to solve instance
1651.89/575.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1655.53/578.92	26:57 ERROR: Failed to solve instance
1655.53/578.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1656.15/579.52	26:58 ERROR: Failed to solve instance
1656.15/579.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1656.77/580.16	26:58 ERROR: Failed to solve instance
1656.77/580.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1657.63/580.96	26:59 ERROR: Failed to solve instance
1657.63/580.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1669.77/590.52	27:09 ERROR: Failed to solve instance
1669.77/590.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1670.29/591.08	27:09 ERROR: Failed to solve instance
1670.29/591.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1670.91/591.67	27:10 ERROR: Failed to solve instance
1670.91/591.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1671.63/592.30	27:11 ERROR: Failed to solve instance
1671.63/592.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1672.68/593.36	27:12 ERROR: Failed to solve instance
1672.68/593.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1677.40/597.25	27:16 ERROR: Failed to solve instance
1677.40/597.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1678.03/597.85	27:16 ERROR: Failed to solve instance
1678.03/597.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1678.66/598.49	27:17 ERROR: Failed to solve instance
1678.66/598.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.27/604.47	27:23 ERROR: Failed to solve instance
1686.27/604.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1687.61/605.71	27:24 ERROR: Failed to solve instance
1687.61/605.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1687.92/606.03	27:24 ERROR: Failed to solve instance
1687.92/606.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.02/611.54	27:30 ERROR: Failed to solve instance
1695.02/611.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1696.14/612.65	27:31 ERROR: Failed to solve instance
1696.14/612.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1696.75/613.25	27:32 ERROR: Failed to solve instance
1696.75/613.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1697.37/613.89	27:32 ERROR: Failed to solve instance
1697.37/613.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1698.10/614.57	27:33 ERROR: Failed to solve instance
1698.10/614.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1705.92/620.74	27:39 ERROR: Failed to solve instance
1705.92/620.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1707.06/621.86	27:40 ERROR: Failed to solve instance
1707.06/621.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1707.59/622.40	27:41 ERROR: Failed to solve instance
1707.59/622.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.95/626.62	27:45 ERROR: Failed to solve instance
1712.95/626.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1713.89/627.54	27:46 ERROR: Failed to solve instance
1713.89/627.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1714.41/628.07	27:46 ERROR: Failed to solve instance
1714.41/628.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1717.48/630.49	27:49 ERROR: Failed to solve instance
1717.48/630.49	java.lang.OutOfMemoryError: Java heap space
1718.52/631.42	27:50 ERROR: Failed to solve instance
1718.52/631.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1724.22/636.03	27:54 ERROR: Failed to solve instance
1724.22/636.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1724.84/636.61	27:55 ERROR: Failed to solve instance
1724.84/636.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1729.11/640.19	27:58 ERROR: Failed to solve instance
1729.11/640.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1733.38/643.72	28:02 ERROR: Failed to solve instance
1733.38/643.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1733.89/644.28	28:03 ERROR: Failed to solve instance
1733.89/644.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1734.61/644.91	28:03 ERROR: Failed to solve instance
1734.61/644.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1735.56/645.84	28:04 ERROR: Failed to solve instance
1735.56/645.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1746.48/654.42	28:13 ERROR: Failed to solve instance
1746.48/654.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1747.01/654.99	28:13 ERROR: Failed to solve instance
1747.01/654.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1747.74/655.61	28:14 ERROR: Failed to solve instance
1747.74/655.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1748.77/656.65	28:15 ERROR: Failed to solve instance
1748.77/656.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1749.41/657.24	28:15 ERROR: Failed to solve instance
1749.41/657.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1750.06/657.91	28:16 ERROR: Failed to solve instance
1750.06/657.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1760.87/666.31	28:25 ERROR: Failed to solve instance
1760.87/666.31	java.lang.OutOfMemoryError: Java heap space
1761.07/666.58	28:25 ERROR: Failed to solve instance
1761.07/666.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1766.10/670.76	28:29 ERROR: Failed to solve instance
1766.10/670.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1766.71/671.30	28:30 ERROR: Failed to solve instance
1766.71/671.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1767.83/672.45	28:31 ERROR: Failed to solve instance
1767.83/672.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1768.45/673.08	28:31 ERROR: Failed to solve instance
1768.45/673.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1769.18/673.77	28:32 ERROR: Failed to solve instance
1769.18/673.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1780.66/682.50	28:41 ERROR: Failed to solve instance
1780.66/682.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1781.63/683.50	28:42 ERROR: Failed to solve instance
1781.63/683.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1782.25/684.06	28:42 ERROR: Failed to solve instance
1782.25/684.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1788.88/689.67	28:48 ERROR: Failed to solve instance
1788.88/689.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1789.49/690.23	28:48 ERROR: Failed to solve instance
1789.49/690.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1790.11/690.85	28:49 ERROR: Failed to solve instance
1790.11/690.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1791.35/692.03	28:50 ERROR: Failed to solve instance
1791.35/692.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1791.98/692.68	28:51 ERROR: Failed to solve instance
1791.98/692.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1801.84/700.09	28:58 ERROR: Failed to solve instance
1801.84/700.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1803.06/701.24	29:00 ERROR: Failed to solve instance
1803.06/701.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1803.68/701.83	29:00 ERROR: Failed to solve instance
1803.68/701.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1804.30/702.45	29:01 ERROR: Failed to solve instance
1804.30/702.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1804.94/703.11	29:01 ERROR: Failed to solve instance
1804.94/703.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1812.93/709.49	29:08 ERROR: Failed to solve instance
1812.93/709.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1813.55/710.07	29:08 ERROR: Failed to solve instance
1813.55/710.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1814.78/711.25	29:09 ERROR: Failed to solve instance
1814.78/711.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1815.41/711.91	29:10 ERROR: Failed to solve instance
1815.41/711.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1816.14/712.58	29:11 ERROR: Failed to solve instance
1816.14/712.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1817.03/713.36	29:12 ERROR: Failed to solve instance
1817.03/713.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1828.92/722.90	29:21 ERROR: Failed to solve instance
1828.92/722.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1829.53/723.46	29:22 ERROR: Failed to solve instance
1829.53/723.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1830.15/724.04	29:22 ERROR: Failed to solve instance
1830.15/724.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1830.76/724.65	29:23 ERROR: Failed to solve instance
1830.76/724.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1832.00/725.82	29:24 ERROR: Failed to solve instance
1832.00/725.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1832.64/726.45	29:25 ERROR: Failed to solve instance
1832.64/726.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1833.37/727.16	29:25 ERROR: Failed to solve instance
1833.37/727.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1845.40/736.47	29:35 ERROR: Failed to solve instance
1845.40/736.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1845.93/737.00	29:35 ERROR: Failed to solve instance
1845.93/737.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1848.75/739.34	29:38 ERROR: Failed to solve instance
1848.75/739.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1849.26/739.89	29:38 ERROR: Failed to solve instance
1849.26/739.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1849.88/740.47	29:39 ERROR: Failed to solve instance
1849.88/740.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1851.12/741.62	29:40 ERROR: Failed to solve instance
1851.12/741.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1851.74/742.25	29:41 ERROR: Failed to solve instance
1851.74/742.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1852.47/742.96	29:41 ERROR: Failed to solve instance
1852.47/742.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1863.85/751.63	29:50 ERROR: Failed to solve instance
1863.85/751.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1864.49/752.22	29:50 ERROR: Failed to solve instance
1864.49/752.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1865.02/752.75	29:51 ERROR: Failed to solve instance
1865.02/752.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1867.82/755.13	29:53 ERROR: Failed to solve instance
1867.82/755.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1868.96/756.28	29:55 ERROR: Failed to solve instance
1868.96/756.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1869.59/756.92	29:55 ERROR: Failed to solve instance
1869.59/756.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1875.25/761.38	30:00 ERROR: Failed to solve instance
1875.25/761.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1876.38/762.46	30:01 ERROR: Failed to solve instance
1876.38/762.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1881.44/766.44	30:05 ERROR: Failed to solve instance
1881.44/766.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1882.06/767.02	30:05 ERROR: Failed to solve instance
1882.06/767.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1882.92/767.88	30:06 ERROR: Failed to solve instance
1882.92/767.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1886.25/770.74	30:09 ERROR: Failed to solve instance
1886.25/770.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1887.19/771.70	30:10 ERROR: Failed to solve instance
1887.19/771.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1887.93/772.39	30:11 ERROR: Failed to solve instance
1887.93/772.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1890.89/775.04	30:13 ERROR: Failed to solve instance
1890.89/775.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.50/775.72	30:14 ERROR: Failed to solve instance
1891.50/775.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.19/785.13	30:23 ERROR: Failed to solve instance
1904.19/785.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.82/785.70	30:24 ERROR: Failed to solve instance
1904.82/785.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.95/786.82	30:25 ERROR: Failed to solve instance
1905.95/786.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1906.57/787.50	30:26 ERROR: Failed to solve instance
1906.57/787.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.41/788.26	30:27 ERROR: Failed to solve instance
1907.41/788.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1908.25/789.06	30:27 ERROR: Failed to solve instance
1908.25/789.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1914.14/793.81	30:32 ERROR: Failed to solve instance
1914.14/793.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1914.66/794.39	30:33 ERROR: Failed to solve instance
1914.66/794.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1924.02/801.64	30:40 ERROR: Failed to solve instance
1924.02/801.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1925.06/802.70	30:41 ERROR: Failed to solve instance
1925.06/802.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1925.70/803.32	30:42 ERROR: Failed to solve instance
1925.70/803.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1928.95/805.93	30:44 ERROR: Failed to solve instance
1928.95/805.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1929.89/806.83	30:45 ERROR: Failed to solve instance
1929.89/806.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.17/809.66	30:48 ERROR: Failed to solve instance
1933.17/809.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.80/810.24	30:49 ERROR: Failed to solve instance
1933.80/810.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1934.42/810.86	30:49 ERROR: Failed to solve instance
1934.42/810.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1935.16/811.56	30:50 ERROR: Failed to solve instance
1935.16/811.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1943.80/818.17	30:56 ERROR: Failed to solve instance
1943.80/818.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1944.43/818.76	30:57 ERROR: Failed to solve instance
1944.43/818.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1945.06/819.37	30:58 ERROR: Failed to solve instance
1945.06/819.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1945.79/820.05	30:58 ERROR: Failed to solve instance
1945.79/820.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1955.98/828.00	31:06 ERROR: Failed to solve instance
1955.98/828.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1959.28/830.86	31:09 ERROR: Failed to solve instance
1959.28/830.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1959.91/831.49	31:10 ERROR: Failed to solve instance
1959.91/831.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1960.87/832.40	31:11 ERROR: Failed to solve instance
1960.87/832.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1964.28/835.40	31:14 ERROR: Failed to solve instance
1964.28/835.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1965.01/836.09	31:14 ERROR: Failed to solve instance
1965.01/836.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1975.35/844.38	31:23 ERROR: Failed to solve instance
1975.35/844.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1975.97/844.92	31:23 ERROR: Failed to solve instance
1975.97/844.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1976.48/845.49	31:24 ERROR: Failed to solve instance
1976.48/845.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1977.71/846.63	31:25 ERROR: Failed to solve instance
1977.71/846.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.34/847.24	31:26 ERROR: Failed to solve instance
1978.34/847.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.96/847.88	31:26 ERROR: Failed to solve instance
1978.96/847.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1979.70/848.57	31:27 ERROR: Failed to solve instance
1979.70/848.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1990.30/856.58	31:35 ERROR: Failed to solve instance
1990.30/856.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1990.92/857.16	31:35 ERROR: Failed to solve instance
1990.92/857.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1991.53/857.77	31:36 ERROR: Failed to solve instance
1991.53/857.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.76/858.92	31:37 ERROR: Failed to solve instance
1992.76/858.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1993.39/859.56	31:38 ERROR: Failed to solve instance
1993.39/859.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.24/866.33	31:45 ERROR: Failed to solve instance
2002.24/866.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.76/866.88	31:45 ERROR: Failed to solve instance
2002.76/866.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2003.37/867.47	31:46 ERROR: Failed to solve instance
2003.37/867.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2004.61/868.65	31:47 ERROR: Failed to solve instance
2004.61/868.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2009.56/872.52	31:51 ERROR: Failed to solve instance
2009.56/872.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2010.70/873.64	31:52 ERROR: Failed to solve instance
2010.70/873.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2011.02/873.98	31:52 ERROR: Failed to solve instance
2011.02/873.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2016.83/878.74	31:57 ERROR: Failed to solve instance
2016.83/878.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2017.47/879.30	31:58 ERROR: Failed to solve instance
2017.47/879.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.07/879.90	31:58 ERROR: Failed to solve instance
2018.07/879.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.21/881.07	31:59 ERROR: Failed to solve instance
2019.21/881.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.94/881.72	32:00 ERROR: Failed to solve instance
2019.94/881.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2020.59/882.42	32:01 ERROR: Failed to solve instance
2020.59/882.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.49/889.74	32:08 ERROR: Failed to solve instance
2030.49/889.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2031.11/890.32	32:09 ERROR: Failed to solve instance
2031.11/890.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2031.73/890.95	32:09 ERROR: Failed to solve instance
2031.73/890.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2032.97/892.10	32:10 ERROR: Failed to solve instance
2032.97/892.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2033.60/892.75	32:11 ERROR: Failed to solve instance
2033.60/892.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2034.34/893.44	32:12 ERROR: Failed to solve instance
2034.34/893.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2044.21/900.74	32:19 ERROR: Failed to solve instance
2044.21/900.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2045.35/901.82	32:20 ERROR: Failed to solve instance
2045.35/901.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2045.89/902.37	32:21 ERROR: Failed to solve instance
2045.89/902.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2046.51/903.01	32:21 ERROR: Failed to solve instance
2046.51/903.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2052.18/907.59	32:26 ERROR: Failed to solve instance
2052.18/907.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2052.81/908.13	32:26 ERROR: Failed to solve instance
2052.81/908.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2058.07/912.40	32:31 ERROR: Failed to solve instance
2058.07/912.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2058.59/912.97	32:31 ERROR: Failed to solve instance
2058.59/912.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2059.20/913.57	32:32 ERROR: Failed to solve instance
2059.20/913.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2060.43/914.72	32:33 ERROR: Failed to solve instance
2060.43/914.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2061.06/915.35	32:34 ERROR: Failed to solve instance
2061.06/915.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2061.80/916.02	32:34 ERROR: Failed to solve instance
2061.80/916.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2062.54/916.73	32:35 ERROR: Failed to solve instance
2062.54/916.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2073.09/924.73	32:43 ERROR: Failed to solve instance
2073.09/924.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2074.12/925.75	32:44 ERROR: Failed to solve instance
2074.12/925.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2074.75/926.33	32:45 ERROR: Failed to solve instance
2074.75/926.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.38/926.97	32:45 ERROR: Failed to solve instance
2075.38/926.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2076.10/927.66	32:46 ERROR: Failed to solve instance
2076.10/927.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2081.15/931.61	32:50 ERROR: Failed to solve instance
2081.15/931.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2082.28/932.75	32:51 ERROR: Failed to solve instance
2082.28/932.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2082.92/933.41	32:52 ERROR: Failed to solve instance
2082.92/933.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2094.14/942.03	33:00 ERROR: Failed to solve instance
2094.14/942.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2095.26/943.14	33:01 ERROR: Failed to solve instance
2095.26/943.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2095.87/943.73	33:02 ERROR: Failed to solve instance
2095.87/943.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2096.50/944.35	33:03 ERROR: Failed to solve instance
2096.50/944.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2097.13/945.00	33:03 ERROR: Failed to solve instance
2097.13/945.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.94/952.14	33:10 ERROR: Failed to solve instance
2105.94/952.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2106.46/952.70	33:11 ERROR: Failed to solve instance
2106.46/952.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2107.18/953.36	33:12 ERROR: Failed to solve instance
2107.18/953.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2108.02/954.12	33:12 ERROR: Failed to solve instance
2108.02/954.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2109.11/955.14	33:13 ERROR: Failed to solve instance
2109.11/955.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2113.49/958.66	33:17 ERROR: Failed to solve instance
2113.49/958.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2114.62/959.77	33:18 ERROR: Failed to solve instance
2114.62/959.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2115.24/960.38	33:19 ERROR: Failed to solve instance
2115.24/960.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2115.96/961.03	33:19 ERROR: Failed to solve instance
2115.96/961.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2116.70/961.72	33:20 ERROR: Failed to solve instance
2116.70/961.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.14/972.04	33:30 ERROR: Failed to solve instance
2130.14/972.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2131.15/973.09	33:31 ERROR: Failed to solve instance
2131.15/973.09	java.lang.OutOfMemoryError: Java heap space
2131.15/973.09	33:31 ERROR: Failed to solve instance
2131.15/973.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2131.45/973.34	33:32 ERROR: Failed to solve instance
2131.45/973.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2132.50/974.32	33:33 ERROR: Failed to solve instance
2132.50/974.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2137.04/978.21	33:36 ERROR: Failed to solve instance
2137.04/978.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2137.66/978.79	33:37 ERROR: Failed to solve instance
2137.66/978.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2138.28/979.37	33:38 ERROR: Failed to solve instance
2138.28/979.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2139.56/980.58	33:39 ERROR: Failed to solve instance
2139.56/980.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.20/981.17	33:39 ERROR: Failed to solve instance
2140.20/981.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.94/981.83	33:40 ERROR: Failed to solve instance
2140.94/981.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.57/982.45	33:41 ERROR: Failed to solve instance
2141.57/982.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2153.23/991.41	33:50 ERROR: Failed to solve instance
2153.23/991.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2153.74/991.98	33:50 ERROR: Failed to solve instance
2153.74/991.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2154.48/992.68	33:51 ERROR: Failed to solve instance
2154.48/992.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2165.56/1001.43	34:00 ERROR: Failed to solve instance
2165.56/1001.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2168.15/1003.64	34:02 ERROR: Failed to solve instance
2168.15/1003.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.08/1004.56	34:03 ERROR: Failed to solve instance
2169.08/1004.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2170.01/1005.41	34:04 ERROR: Failed to solve instance
2170.01/1005.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2170.64/1006.01	34:04 ERROR: Failed to solve instance
2170.64/1006.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2171.15/1006.52	34:05 ERROR: Failed to solve instance
2171.15/1006.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2177.10/1011.59	34:10 ERROR: Failed to solve instance
2177.10/1011.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2177.71/1012.13	34:10 ERROR: Failed to solve instance
2177.71/1012.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2178.84/1013.27	34:11 ERROR: Failed to solve instance
2178.84/1013.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2179.46/1013.87	34:12 ERROR: Failed to solve instance
2179.46/1013.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2180.09/1014.50	34:13 ERROR: Failed to solve instance
2180.09/1014.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2180.81/1015.18	34:13 ERROR: Failed to solve instance
2180.81/1015.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2192.74/1023.92	34:22 ERROR: Failed to solve instance
2192.74/1023.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2193.26/1024.46	34:23 ERROR: Failed to solve instance
2193.26/1024.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2194.48/1025.61	34:24 ERROR: Failed to solve instance
2194.48/1025.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.10/1026.22	34:24 ERROR: Failed to solve instance
2195.10/1026.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.73/1026.88	34:25 ERROR: Failed to solve instance
2195.73/1026.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2196.47/1027.58	34:26 ERROR: Failed to solve instance
2196.47/1027.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2207.91/1036.50	34:35 ERROR: Failed to solve instance
2207.91/1036.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2208.54/1037.13	34:35 ERROR: Failed to solve instance
2208.54/1037.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2209.57/1038.19	34:36 ERROR: Failed to solve instance
2209.57/1038.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2210.21/1038.78	34:37 ERROR: Failed to solve instance
2210.21/1038.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2210.95/1039.43	34:38 ERROR: Failed to solve instance
2210.95/1039.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2219.79/1046.19	34:44 ERROR: Failed to solve instance
2219.79/1046.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2220.72/1047.04	34:45 ERROR: Failed to solve instance
2220.72/1047.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2221.55/1047.86	34:46 ERROR: Failed to solve instance
2221.55/1047.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2222.10/1048.39	34:47 ERROR: Failed to solve instance
2222.10/1048.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2228.03/1053.35	34:52 ERROR: Failed to solve instance
2228.03/1053.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2228.54/1053.89	34:52 ERROR: Failed to solve instance
2228.54/1053.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2229.15/1054.48	34:53 ERROR: Failed to solve instance
2229.15/1054.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.40/1055.65	34:54 ERROR: Failed to solve instance
2230.40/1055.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.83/1056.02	34:54 ERROR: Failed to solve instance
2230.83/1056.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2236.23/1060.42	34:59 ERROR: Failed to solve instance
2236.23/1060.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2236.86/1061.07	34:59 ERROR: Failed to solve instance
2236.86/1061.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2244.59/1067.15	35:05 ERROR: Failed to solve instance
2244.59/1067.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2245.22/1067.76	35:06 ERROR: Failed to solve instance
2245.22/1067.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2250.27/1071.73	35:10 ERROR: Failed to solve instance
2250.27/1071.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2250.58/1072.03	35:10 ERROR: Failed to solve instance
2250.58/1072.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2255.88/1076.30	35:15 ERROR: Failed to solve instance
2255.88/1076.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2256.40/1076.88	35:15 ERROR: Failed to solve instance
2256.40/1076.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2260.66/1080.47	35:19 ERROR: Failed to solve instance
2260.66/1080.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2261.29/1081.07	35:19 ERROR: Failed to solve instance
2261.29/1081.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2261.80/1081.55	35:20 ERROR: Failed to solve instance
2261.80/1081.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2268.20/1087.09	35:25 ERROR: Failed to solve instance
2268.20/1087.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2268.80/1087.63	35:26 ERROR: Failed to solve instance
2268.80/1087.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2269.42/1088.22	35:26 ERROR: Failed to solve instance
2269.42/1088.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2270.03/1088.85	35:27 ERROR: Failed to solve instance
2270.03/1088.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2271.43/1090.19	35:28 ERROR: Failed to solve instance
2271.43/1090.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2281.96/1098.03	35:36 ERROR: Failed to solve instance
2281.96/1098.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.59/1098.65	35:37 ERROR: Failed to solve instance
2282.59/1098.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2283.93/1099.92	35:38 ERROR: Failed to solve instance
2283.93/1099.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2284.46/1100.48	35:39 ERROR: Failed to solve instance
2284.46/1100.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2294.17/1108.14	35:46 ERROR: Failed to solve instance
2294.17/1108.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2295.30/1109.29	35:48 ERROR: Failed to solve instance
2295.30/1109.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2295.92/1109.89	35:48 ERROR: Failed to solve instance
2295.92/1109.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2296.65/1110.53	35:49 ERROR: Failed to solve instance
2296.65/1110.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2297.37/1111.26	35:50 ERROR: Failed to solve instance
2297.37/1111.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2305.76/1118.04	35:56 ERROR: Failed to solve instance
2305.76/1118.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2306.40/1118.63	35:57 ERROR: Failed to solve instance
2306.40/1118.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2307.63/1119.90	35:58 ERROR: Failed to solve instance
2307.63/1119.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.46/1120.70	35:59 ERROR: Failed to solve instance
2308.46/1120.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2309.39/1121.54	36:00 ERROR: Failed to solve instance
2309.39/1121.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2310.33/1122.42	36:01 ERROR: Failed to solve instance
2310.33/1122.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2321.59/1131.13	36:09 ERROR: Failed to solve instance
2321.59/1131.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2322.11/1131.68	36:10 ERROR: Failed to solve instance
2322.11/1131.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2322.74/1132.28	36:11 ERROR: Failed to solve instance
2322.74/1132.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2323.69/1133.19	36:11 ERROR: Failed to solve instance
2323.69/1133.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2326.63/1135.51	36:14 ERROR: Failed to solve instance
2326.63/1135.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2327.56/1136.41	36:15 ERROR: Failed to solve instance
2327.56/1136.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2328.40/1137.26	36:16 ERROR: Failed to solve instance
2328.40/1137.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2331.24/1139.85	36:18 ERROR: Failed to solve instance
2331.24/1139.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2331.86/1140.46	36:19 ERROR: Failed to solve instance
2331.86/1140.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2332.69/1141.27	36:20 ERROR: Failed to solve instance
2332.69/1141.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2347.89/1153.21	36:31 ERROR: Failed to solve instance
2347.89/1153.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2348.40/1153.71	36:32 ERROR: Failed to solve instance
2348.40/1153.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2348.92/1154.21	36:32 ERROR: Failed to solve instance
2348.92/1154.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2349.43/1154.75	36:33 ERROR: Failed to solve instance
2349.43/1154.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2350.68/1155.98	36:34 ERROR: Failed to solve instance
2350.68/1155.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2351.51/1156.78	36:35 ERROR: Failed to solve instance
2351.51/1156.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2352.15/1157.40	36:36 ERROR: Failed to solve instance
2352.15/1157.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2357.54/1161.70	36:40 ERROR: Failed to solve instance
2357.54/1161.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2358.18/1162.31	36:41 ERROR: Failed to solve instance
2358.18/1162.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2368.87/1170.86	36:49 ERROR: Failed to solve instance
2368.87/1170.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2369.38/1171.37	36:50 ERROR: Failed to solve instance
2369.38/1171.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2369.90/1171.91	36:50 ERROR: Failed to solve instance
2369.90/1171.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2372.95/1174.43	36:53 ERROR: Failed to solve instance
2372.95/1174.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2373.58/1175.06	36:53 ERROR: Failed to solve instance
2373.58/1175.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2375.79/1177.01	36:55 ERROR: Failed to solve instance
2375.79/1177.01	java.lang.OutOfMemoryError: Java heap space
2376.29/1177.56	36:56 ERROR: Failed to solve instance
2376.29/1177.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2380.38/1180.85	36:59 ERROR: Failed to solve instance
2380.38/1180.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2381.01/1181.44	37:00 ERROR: Failed to solve instance
2381.01/1181.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2382.25/1182.64	37:01 ERROR: Failed to solve instance
2382.25/1182.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2382.87/1183.27	37:02 ERROR: Failed to solve instance
2382.87/1183.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2383.72/1184.13	37:02 ERROR: Failed to solve instance
2383.72/1184.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2395.88/1193.09	37:11 ERROR: Failed to solve instance
2395.88/1193.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2396.49/1193.63	37:12 ERROR: Failed to solve instance
2396.49/1193.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2397.11/1194.24	37:13 ERROR: Failed to solve instance
2397.11/1194.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2402.39/1198.53	37:17 ERROR: Failed to solve instance
2402.39/1198.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2403.03/1199.17	37:17 ERROR: Failed to solve instance
2403.03/1199.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2404.27/1200.35	37:18 ERROR: Failed to solve instance
2404.27/1200.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2404.94/1200.99	37:19 ERROR: Failed to solve instance
2404.94/1200.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2405.58/1201.55	37:20 ERROR: Failed to solve instance
2405.58/1201.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2406.32/1202.31	37:21 ERROR: Failed to solve instance
2406.32/1202.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2410.38/1205.55	37:24 ERROR: Failed to solve instance
2410.38/1205.55	java.lang.OutOfMemoryError: Java heap space
2410.68/1205.86	37:24 ERROR: Failed to solve instance
2410.68/1205.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2420.28/1213.07	37:31 ERROR: Failed to solve instance
2420.28/1213.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2421.41/1214.11	37:32 ERROR: Failed to solve instance
2421.41/1214.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2421.93/1214.69	37:33 ERROR: Failed to solve instance
2421.93/1214.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2422.67/1215.30	37:34 ERROR: Failed to solve instance
2422.67/1215.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2423.41/1216.01	37:34 ERROR: Failed to solve instance
2423.41/1216.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2434.65/1224.94	37:43 ERROR: Failed to solve instance
2434.65/1224.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2435.17/1225.48	37:44 ERROR: Failed to solve instance
2435.17/1225.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2435.79/1226.07	37:44 ERROR: Failed to solve instance
2435.79/1226.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2436.94/1227.13	37:45 ERROR: Failed to solve instance
2436.94/1227.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2437.46/1227.64	37:46 ERROR: Failed to solve instance
2437.46/1227.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2441.37/1230.90	37:49 ERROR: Failed to solve instance
2441.37/1230.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2441.99/1231.46	37:50 ERROR: Failed to solve instance
2441.99/1231.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2445.71/1234.73	37:53 ERROR: Failed to solve instance
2445.71/1234.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2446.45/1235.43	37:54 ERROR: Failed to solve instance
2446.45/1235.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2457.96/1244.28	38:03 ERROR: Failed to solve instance
2457.96/1244.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2458.59/1244.85	38:03 ERROR: Failed to solve instance
2458.59/1244.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2459.73/1245.94	38:04 ERROR: Failed to solve instance
2459.73/1245.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2460.28/1246.45	38:05 ERROR: Failed to solve instance
2460.28/1246.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2463.95/1249.02	38:07 ERROR: Failed to solve instance
2463.95/1249.02	java.lang.OutOfMemoryError: Java heap space
2467.89/1252.46	38:11 ERROR: Failed to solve instance
2467.89/1252.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2469.01/1253.56	38:12 ERROR: Failed to solve instance
2469.01/1253.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2469.64/1254.17	38:12 ERROR: Failed to solve instance
2469.64/1254.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2470.37/1254.83	38:13 ERROR: Failed to solve instance
2470.37/1254.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2471.11/1255.53	38:14 ERROR: Failed to solve instance
2471.11/1255.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2484.68/1265.97	38:24 ERROR: Failed to solve instance
2484.68/1265.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2485.29/1266.51	38:25 ERROR: Failed to solve instance
2485.29/1266.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2485.90/1267.10	38:25 ERROR: Failed to solve instance
2485.90/1267.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2487.03/1268.27	38:26 ERROR: Failed to solve instance
2487.03/1268.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2487.75/1268.91	38:27 ERROR: Failed to solve instance
2487.75/1268.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2488.39/1269.60	38:28 ERROR: Failed to solve instance
2488.39/1269.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2489.23/1270.33	38:29 ERROR: Failed to solve instance
2489.23/1270.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2500.29/1278.74	38:37 ERROR: Failed to solve instance
2500.29/1278.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2500.92/1279.37	38:38 ERROR: Failed to solve instance
2500.92/1279.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2504.03/1281.95	38:40 ERROR: Failed to solve instance
2504.03/1281.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2505.16/1283.08	38:41 ERROR: Failed to solve instance
2505.16/1283.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2505.77/1283.68	38:42 ERROR: Failed to solve instance
2505.77/1283.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2506.49/1284.38	38:43 ERROR: Failed to solve instance
2506.49/1284.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2518.60/1293.85	38:52 ERROR: Failed to solve instance
2518.60/1293.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2519.11/1294.39	38:53 ERROR: Failed to solve instance
2519.11/1294.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2519.73/1294.95	38:53 ERROR: Failed to solve instance
2519.73/1294.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2520.36/1295.51	38:54 ERROR: Failed to solve instance
2520.36/1295.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2521.40/1296.60	38:55 ERROR: Failed to solve instance
2521.40/1296.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2522.06/1297.22	38:55 ERROR: Failed to solve instance
2522.06/1297.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2526.91/1301.03	38:59 ERROR: Failed to solve instance
2526.91/1301.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2527.42/1301.58	39:00 ERROR: Failed to solve instance
2527.42/1301.58	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-3312513-1304119038/watcher-3312513-1304119038 -o /tmp/evaluation-result-3312513-1304119038/solver-3312513-1304119038 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312513-1304119038.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.70 4.04 4.76 3/194 6211
/proc/meminfo: memFree=29225568/32951124 swapFree=67111348/67111528
[pid=6211] ppid=6209 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6211 6156 0 -1 4202496 1414 0 0 0 0 0 0 0 25 0 2 0 602134298 26714112 885 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469868517 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/6211/statm: 6522 885 678 9 0 381 0
[pid=6211/tid=6212] ppid=6209 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) S 6209 6211 6156 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 602134299 27824128 894 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252453142151 0 2147483391 4096 0 18446744071699199166 0 0 -1 5 0 0 0

[startup+0.072705 s]
/proc/loadavg: 3.70 4.04 4.76 3/194 6211
/proc/meminfo: memFree=29225568/32951124 swapFree=67111348/67111528
[pid=6211] ppid=6209 vsize=15610072 CPUtime=0.06 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6211 6156 0 -1 4202496 4598 0 1 0 6 0 0 0 25 0 18 0 602134298 15984713728 4037 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6211/statm: 3902518 4048 1909 9 0 3893237 0
[pid=6211/tid=6212] ppid=6209 vsize=15610072 CPUtime=0.05 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) R 6209 6211 6156 0 -1 4202560 3034 0 1 0 5 0 0 0 22 0 18 0 602134299 15984713728 4054 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252457726661 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15610072

[startup+0.100693 s]
/proc/loadavg: 3.70 4.04 4.76 3/194 6211
/proc/meminfo: memFree=29225568/32951124 swapFree=67111348/67111528
[pid=6211] ppid=6209 vsize=15676796 CPUtime=0.11 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6211 6156 0 -1 4202496 5605 0 1 0 10 1 0 0 25 0 18 0 602134298 16053039104 5044 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6211/statm: 3919199 5044 2117 9 0 3909918 0
[pid=6211/tid=6212] ppid=6209 vsize=15676796 CPUtime=0.09 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) R 6209 6211 6156 0 -1 4202560 3492 0 1 0 8 1 0 0 22 0 18 0 602134299 16053039104 5044 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469892555 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676796

[startup+0.300657 s]
/proc/loadavg: 3.70 4.04 4.76 3/194 6211
/proc/meminfo: memFree=29225568/32951124 swapFree=67111348/67111528
[pid=6211] ppid=6209 vsize=15682196 CPUtime=0.51 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6211 6156 0 -1 4202496 15991 0 1 0 49 2 0 0 25 0 18 0 602134298 16058568704 14208 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6211/statm: 3920549 14214 2206 9 0 3911268 0
[pid=6211/tid=6212] ppid=6209 vsize=15682196 CPUtime=0.29 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) R 6209 6211 6156 0 -1 4202560 10894 0 1 0 27 2 0 0 18 0 18 0 602134299 16058568704 14217 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 46912505639840 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15682196

[startup+0.700582 s]
/proc/loadavg: 3.70 4.04 4.76 3/194 6211
/proc/meminfo: memFree=29225568/32951124 swapFree=67111348/67111528
[pid=6211] ppid=6209 vsize=15682196 CPUtime=0.93 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6211 6156 0 -1 4202496 41863 0 1 0 88 5 0 0 25 0 18 0 602134298 16058568704 40077 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6211/statm: 3920549 40077 2222 9 0 3911268 0
[pid=6211/tid=6212] ppid=6209 vsize=15682196 CPUtime=0.68 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) R 6209 6211 6156 0 -1 4202560 35542 0 1 0 64 4 0 0 18 0 18 0 602134299 16058568704 40077 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 46912505552328 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15682196

[startup+1.50143 s]
/proc/loadavg: 3.65 4.02 4.75 5/216 6233
/proc/meminfo: memFree=28898032/32951124 swapFree=67111348/67111528
[pid=6211] ppid=6209 vsize=15703824 CPUtime=2.04 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6211 6156 0 -1 4202496 57314 0 1 0 197 7 0 0 25 0 22 0 602134298 16080715776 53445 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6211/statm: 3925956 53446 2260 9 0 3916675 0
[pid=6211/tid=6212] ppid=6209 vsize=15703824 CPUtime=1.48 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) R 6209 6211 6156 0 -1 4202560 42905 0 1 0 142 6 0 0 18 0 22 0 602134299 16080715776 53446 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 47600965711821 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6211/tid=6214] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6214/stat : 6214 (java) S 6209 6211 6156 0 -1 4202560 86 0 0 0 0 0 0 0 16 0 22 0 602134299 16080715776 53447 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6215] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6215/stat : 6215 (java) S 6209 6211 6156 0 -1 4202560 695 0 0 0 0 0 0 0 16 0 22 0 602134299 16080715776 53447 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6216] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6216/stat : 6216 (java) S 6209 6211 6156 0 -1 4202560 1339 0 0 0 0 0 0 0 16 0 22 0 602134299 16080715776 53447 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
[pid=6211/tid=6217] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6217/stat : 6217 (java) S 6209 6211 6156 0 -1 4202560 30 0 0 0 0 0 0 0 16 0 22 0 602134299 16080715776 53447 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6218] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6218/stat : 6218 (java) S 6209 6211 6156 0 -1 4202560 312 0 0 0 0 0 0 0 16 0 22 0 602134299 16080715776 53448 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6219] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6219/stat : 6219 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 602134299 16080715776 53448 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6220] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6220/stat : 6220 (java) S 6209 6211 6156 0 -1 4202560 373 0 0 0 0 0 0 0 16 0 22 0 602134299 16080715776 53449 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6221] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6221/stat : 6221 (java) S 6209 6211 6156 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 22 0 602134299 16080715776 53449 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6222] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6222/stat : 6222 (java) S 6209 6211 6156 0 -1 4202560 71 0 0 0 0 0 0 0 16 0 22 0 602134300 16080715776 53449 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469882368 0 0 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6223] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6223/stat : 6223 (java) S 6209 6211 6156 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 602134301 16080715776 53449 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6224] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6224/stat : 6224 (java) S 6209 6211 6156 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 602134301 16080715776 53449 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6225] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6225/stat : 6225 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 602134303 16080715776 53449 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469889457 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6226] ppid=6209 vsize=15703824 CPUtime=0.15 cores=1,3,5,7
/proc/6211/task/6226/stat : 6226 (java) S 6209 6211 6156 0 -1 4202560 1188 0 0 0 15 0 0 0 15 0 22 0 602134303 16080715776 53449 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6227] ppid=6209 vsize=15703824 CPUtime=0.36 cores=1,3,5,7
/proc/6211/task/6227/stat : 6227 (java) R 6209 6211 6156 0 -1 4202560 8790 0 0 0 36 0 0 0 15 0 22 0 602134303 16080715776 53449 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 47600962400564 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6211/tid=6228] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6228/stat : 6228 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 602134303 16080715776 53449 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6229] ppid=6209 vsize=15703824 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6229/stat : 6229 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 602134303 16080715776 53449 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469882368 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 15703824

[startup+3.10113 s]
/proc/loadavg: 3.65 4.02 4.75 8/220 6237
/proc/meminfo: memFree=28755772/32951124 swapFree=67111348/67111528
[pid=6211] ppid=6209 vsize=15715296 CPUtime=4.96 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6211 6156 0 -1 4202496 80853 0 1 0 487 9 0 0 25 0 22 0 602134298 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6211/statm: 3928824 69868 2266 9 0 3919543 0
[pid=6211/tid=6212] ppid=6209 vsize=15715296 CPUtime=3.08 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) R 6209 6211 6156 0 -1 4202560 55507 0 1 0 301 7 0 0 21 0 22 0 602134299 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 46912506187392 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6211/tid=6214] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6214/stat : 6214 (java) S 6209 6211 6156 0 -1 4202560 86 0 0 0 0 0 0 0 16 0 22 0 602134299 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6215] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6215/stat : 6215 (java) S 6209 6211 6156 0 -1 4202560 695 0 0 0 0 0 0 0 16 0 22 0 602134299 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6216] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6216/stat : 6216 (java) S 6209 6211 6156 0 -1 4202560 1339 0 0 0 0 0 0 0 16 0 22 0 602134299 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
[pid=6211/tid=6217] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6217/stat : 6217 (java) S 6209 6211 6156 0 -1 4202560 30 0 0 0 0 0 0 0 16 0 22 0 602134299 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6218] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6218/stat : 6218 (java) S 6209 6211 6156 0 -1 4202560 312 0 0 0 0 0 0 0 16 0 22 0 602134299 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6219] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6219/stat : 6219 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 602134299 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6220] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6220/stat : 6220 (java) S 6209 6211 6156 0 -1 4202560 373 0 0 0 0 0 0 0 16 0 22 0 602134299 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6221] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6221/stat : 6221 (java) S 6209 6211 6156 0 -1 4202560 99 0 0 0 0 0 0 0 16 0 22 0 602134299 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6222] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6222/stat : 6222 (java) S 6209 6211 6156 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 602134300 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469882368 0 0 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6223] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6223/stat : 6223 (java) S 6209 6211 6156 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 602134301 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6224] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6224/stat : 6224 (java) S 6209 6211 6156 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 602134301 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6225] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6225/stat : 6225 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 602134303 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469889457 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6226] ppid=6209 vsize=15715296 CPUtime=0.39 cores=1,3,5,7
/proc/6211/task/6226/stat : 6226 (java) S 6209 6211 6156 0 -1 4202560 3074 0 0 0 39 0 0 0 15 0 22 0 602134303 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6227] ppid=6209 vsize=15715296 CPUtime=1.46 cores=1,3,5,7
/proc/6211/task/6227/stat : 6227 (java) R 6209 6211 6156 0 -1 4202560 17836 0 0 0 144 2 0 0 16 0 22 0 602134303 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 47600962373658 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6211/tid=6228] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6228/stat : 6228 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 602134303 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6229] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6229/stat : 6229 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 602134303 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469882368 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6234] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6234/stat : 6234 (java) S 6209 6211 6156 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 602134406 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469882368 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
[pid=6211/tid=6235] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6235/stat : 6235 (java) S 6209 6211 6156 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 602134406 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469882368 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
[pid=6211/tid=6236] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6236/stat : 6236 (java) S 6209 6211 6156 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 602134406 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469882368 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
[pid=6211/tid=6237] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6237/stat : 6237 (java) S 6209 6211 6156 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 602134406 16092463104 69868 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469882368 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 15715296

[startup+6.30151 s]
/proc/loadavg: 3.65 4.02 4.75 10/220 6237
/proc/meminfo: memFree=27576316/32951124 swapFree=67111348/67111528
[pid=6211] ppid=6209 vsize=15715296 CPUtime=14.92 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6211 6156 0 -1 4202496 264305 0 1 0 1458 34 0 0 25 0 22 0 602134298 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6211/statm: 3928824 251684 2274 9 0 3919543 0
[pid=6211/tid=6212] ppid=6209 vsize=15715296 CPUtime=3.1 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) S 6209 6211 6156 0 -1 4202560 55543 0 1 0 303 7 0 0 21 0 22 0 602134299 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6214] ppid=6209 vsize=15715296 CPUtime=0.14 cores=1,3,5,7
/proc/6211/task/6214/stat : 6214 (java) S 6209 6211 6156 0 -1 4202560 25192 0 0 0 11 3 0 0 16 0 22 0 602134299 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
[pid=6211/tid=6215] ppid=6209 vsize=15715296 CPUtime=0.06 cores=1,3,5,7
/proc/6211/task/6215/stat : 6215 (java) S 6209 6211 6156 0 -1 4202560 9432 0 0 0 5 1 0 0 15 0 22 0 602134299 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6216] ppid=6209 vsize=15715296 CPUtime=0.13 cores=1,3,5,7
/proc/6211/task/6216/stat : 6216 (java) S 6209 6211 6156 0 -1 4202560 16707 0 0 0 12 1 0 0 15 0 22 0 602134299 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6217] ppid=6209 vsize=15715296 CPUtime=0.18 cores=1,3,5,7
/proc/6211/task/6217/stat : 6217 (java) S 6209 6211 6156 0 -1 4202560 25094 0 0 0 15 3 0 0 15 0 22 0 602134299 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6218] ppid=6209 vsize=15715296 CPUtime=0.07 cores=1,3,5,7
/proc/6211/task/6218/stat : 6218 (java) S 6209 6211 6156 0 -1 4202560 12014 0 0 0 6 1 0 0 16 0 22 0 602134299 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
[pid=6211/tid=6219] ppid=6209 vsize=15715296 CPUtime=0.09 cores=1,3,5,7
/proc/6211/task/6219/stat : 6219 (java) S 6209 6211 6156 0 -1 4202560 10550 0 0 0 8 1 0 0 15 0 22 0 602134299 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
[pid=6211/tid=6220] ppid=6209 vsize=15715296 CPUtime=0.07 cores=1,3,5,7
/proc/6211/task/6220/stat : 6220 (java) S 6209 6211 6156 0 -1 4202560 11751 0 0 0 6 1 0 0 15 0 22 0 602134299 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6221] ppid=6209 vsize=15715296 CPUtime=0.12 cores=1,3,5,7
/proc/6211/task/6221/stat : 6221 (java) S 6209 6211 6156 0 -1 4202560 17738 0 0 0 11 1 0 0 16 0 22 0 602134299 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6222] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6222/stat : 6222 (java) S 6209 6211 6156 0 -1 4202560 571 0 0 0 0 0 0 0 16 0 22 0 602134300 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469882368 0 0 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
[pid=6211/tid=6223] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6223/stat : 6223 (java) S 6209 6211 6156 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 602134301 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6224] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6224/stat : 6224 (java) S 6209 6211 6156 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602134301 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6225] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6225/stat : 6225 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 602134303 16092463104 251684 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469889457 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0

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

[pid=6211/tid=6224] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6224/stat : 6224 (java) S 6209 6211 6156 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 602134301 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6225] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6225/stat : 6225 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469889457 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6226] ppid=6209 vsize=15715296 CPUtime=0.73 cores=1,3,5,7
/proc/6211/task/6226/stat : 6226 (java) S 6209 6211 6156 0 -1 4202560 4538 0 0 0 73 0 0 0 15 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
[pid=6211/tid=6227] ppid=6209 vsize=15715296 CPUtime=1.76 cores=1,3,5,7
/proc/6211/task/6227/stat : 6227 (java) S 6209 6211 6156 0 -1 4202560 17880 0 0 0 174 2 0 0 15 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6228] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6228/stat : 6228 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6229] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6229/stat : 6229 (java) S 6209 6211 6156 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469882368 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6234] ppid=6209 vsize=15715296 CPUtime=392.49 cores=1,3,5,7
/proc/6211/task/6234/stat : 6234 (java) S 6209 6211 6156 0 -1 4202560 89136 0 0 0 39231 18 0 0 15 0 22 0 602134406 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
[pid=6211/tid=6235] ppid=6209 vsize=15715296 CPUtime=393.9 cores=1,3,5,7
/proc/6211/task/6235/stat : 6235 (java) S 6209 6211 6156 0 -1 4202560 91889 0 0 0 39373 17 0 0 15 0 22 0 602134406 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6236] ppid=6209 vsize=15715296 CPUtime=393.36 cores=1,3,5,7
/proc/6211/task/6236/stat : 6236 (java) S 6209 6211 6156 0 -1 4202560 112714 0 0 0 39318 18 0 0 15 0 22 0 602134406 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6237] ppid=6209 vsize=15715296 CPUtime=393.53 cores=1,3,5,7
/proc/6211/task/6237/stat : 6237 (java) S 6209 6211 6156 0 -1 4202560 105074 0 0 0 39333 20 0 0 16 0 22 0 602134406 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2381.95
Current children cumulated vsize (KiB) 15715296

[startup+1242.31 s]
/proc/loadavg: 5.23 5.39 5.45 6/220 6321
/proc/meminfo: memFree=13471436/32951124 swapFree=67111348/67111528
[pid=6211] ppid=6209 vsize=15715296 CPUtime=2455.7 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6211 6156 0 -1 4202496 3915662 0 1 0 244941 629 0 0 25 0 22 0 602134298 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6211/statm: 3928824 3848137 2293 9 0 3919543 0
[pid=6211/tid=6212] ppid=6209 vsize=15715296 CPUtime=3.1 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) S 6209 6211 6156 0 -1 4202560 55543 0 1 0 303 7 0 0 21 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6214] ppid=6209 vsize=15715296 CPUtime=3.05 cores=1,3,5,7
/proc/6211/task/6214/stat : 6214 (java) S 6209 6211 6156 0 -1 4202560 345606 0 0 0 256 49 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6215] ppid=6209 vsize=15715296 CPUtime=3.58 cores=1,3,5,7
/proc/6211/task/6215/stat : 6215 (java) S 6209 6211 6156 0 -1 4202560 431162 0 0 0 290 68 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6216] ppid=6209 vsize=15715296 CPUtime=3.5 cores=1,3,5,7
/proc/6211/task/6216/stat : 6216 (java) S 6209 6211 6156 0 -1 4202560 337526 0 0 0 300 50 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6217] ppid=6209 vsize=15715296 CPUtime=3.25 cores=1,3,5,7
/proc/6211/task/6217/stat : 6217 (java) S 6209 6211 6156 0 -1 4202560 426831 0 0 0 258 67 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6218] ppid=6209 vsize=15715296 CPUtime=2.49 cores=1,3,5,7
/proc/6211/task/6218/stat : 6218 (java) S 6209 6211 6156 0 -1 4202560 298649 0 0 0 202 47 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6219] ppid=6209 vsize=15715296 CPUtime=3.25 cores=1,3,5,7
/proc/6211/task/6219/stat : 6219 (java) S 6209 6211 6156 0 -1 4202560 248294 0 0 0 285 40 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6220] ppid=6209 vsize=15715296 CPUtime=3.32 cores=1,3,5,7
/proc/6211/task/6220/stat : 6220 (java) S 6209 6211 6156 0 -1 4202560 343723 0 0 0 279 53 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6221] ppid=6209 vsize=15715296 CPUtime=3.05 cores=1,3,5,7
/proc/6211/task/6221/stat : 6221 (java) S 6209 6211 6156 0 -1 4202560 355519 0 0 0 250 55 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6222] ppid=6209 vsize=15715296 CPUtime=832.78 cores=1,3,5,7
/proc/6211/task/6222/stat : 6222 (java) R 6209 6211 6156 0 -1 4202560 649787 0 0 0 83172 106 0 0 18 0 22 0 602134300 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 47600965138448 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=6211/tid=6223] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6223/stat : 6223 (java) S 6209 6211 6156 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 602134301 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6224] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6224/stat : 6224 (java) S 6209 6211 6156 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 602134301 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6225] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6225/stat : 6225 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469889457 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6226] ppid=6209 vsize=15715296 CPUtime=0.73 cores=1,3,5,7
/proc/6211/task/6226/stat : 6226 (java) S 6209 6211 6156 0 -1 4202560 4538 0 0 0 73 0 0 0 15 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
[pid=6211/tid=6227] ppid=6209 vsize=15715296 CPUtime=1.76 cores=1,3,5,7
/proc/6211/task/6227/stat : 6227 (java) S 6209 6211 6156 0 -1 4202560 17880 0 0 0 174 2 0 0 15 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6228] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6228/stat : 6228 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6229] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6229/stat : 6229 (java) S 6209 6211 6156 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469882368 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6234] ppid=6209 vsize=15715296 CPUtime=397.08 cores=1,3,5,7
/proc/6211/task/6234/stat : 6234 (java) S 6209 6211 6156 0 -1 4202560 89200 0 0 0 39689 19 0 0 15 0 22 0 602134406 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469882368 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6235] ppid=6209 vsize=15715296 CPUtime=398.52 cores=1,3,5,7
/proc/6211/task/6235/stat : 6235 (java) S 6209 6211 6156 0 -1 4202560 91982 0 0 0 39833 19 0 0 15 0 22 0 602134406 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6236] ppid=6209 vsize=15715296 CPUtime=397.97 cores=1,3,5,7
/proc/6211/task/6236/stat : 6236 (java) S 6209 6211 6156 0 -1 4202560 112827 0 0 0 39778 19 0 0 15 0 22 0 602134406 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6237] ppid=6209 vsize=15715296 CPUtime=398.11 cores=1,3,5,7
/proc/6211/task/6237/stat : 6237 (java) S 6209 6211 6156 0 -1 4202560 105138 0 0 0 39791 20 0 0 15 0 22 0 602134406 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2455.7
Current children cumulated vsize (KiB) 15715296



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 5.49 5.42 5.45 7/220 6324
/proc/meminfo: memFree=13509044/32951124 swapFree=67111348/67111528
[pid=6211] ppid=6209 vsize=15715296 CPUtime=2525.91 cores=1,3,5,7
/proc/6211/stat : 6211 (java) S 6209 6211 6156 0 -1 4202496 3915992 0 1 0 251956 635 0 0 25 0 22 0 602134298 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6211/statm: 3928824 3848137 2293 9 0 3919543 0
[pid=6211/tid=6212] ppid=6209 vsize=15715296 CPUtime=3.1 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) S 6209 6211 6156 0 -1 4202560 55543 0 1 0 303 7 0 0 21 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6214] ppid=6209 vsize=15715296 CPUtime=3.05 cores=1,3,5,7
/proc/6211/task/6214/stat : 6214 (java) S 6209 6211 6156 0 -1 4202560 345606 0 0 0 256 49 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6215] ppid=6209 vsize=15715296 CPUtime=3.58 cores=1,3,5,7
/proc/6211/task/6215/stat : 6215 (java) S 6209 6211 6156 0 -1 4202560 431162 0 0 0 290 68 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6216] ppid=6209 vsize=15715296 CPUtime=3.5 cores=1,3,5,7
/proc/6211/task/6216/stat : 6216 (java) S 6209 6211 6156 0 -1 4202560 337526 0 0 0 300 50 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6217] ppid=6209 vsize=15715296 CPUtime=3.25 cores=1,3,5,7
/proc/6211/task/6217/stat : 6217 (java) S 6209 6211 6156 0 -1 4202560 426831 0 0 0 258 67 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6218] ppid=6209 vsize=15715296 CPUtime=2.49 cores=1,3,5,7
/proc/6211/task/6218/stat : 6218 (java) S 6209 6211 6156 0 -1 4202560 298649 0 0 0 202 47 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6219] ppid=6209 vsize=15715296 CPUtime=3.25 cores=1,3,5,7
/proc/6211/task/6219/stat : 6219 (java) S 6209 6211 6156 0 -1 4202560 248294 0 0 0 285 40 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6220] ppid=6209 vsize=15715296 CPUtime=3.32 cores=1,3,5,7
/proc/6211/task/6220/stat : 6220 (java) S 6209 6211 6156 0 -1 4202560 343723 0 0 0 279 53 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6221] ppid=6209 vsize=15715296 CPUtime=3.05 cores=1,3,5,7
/proc/6211/task/6221/stat : 6221 (java) S 6209 6211 6156 0 -1 4202560 355519 0 0 0 250 55 0 0 16 0 22 0 602134299 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6222] ppid=6209 vsize=15715296 CPUtime=886.23 cores=1,3,5,7
/proc/6211/task/6222/stat : 6222 (java) R 6209 6211 6156 0 -1 4202560 649792 0 0 0 88514 109 0 0 18 0 22 0 602134300 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 47600965139732 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=6211/tid=6223] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6223/stat : 6223 (java) S 6209 6211 6156 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 602134301 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6224] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6224/stat : 6224 (java) S 6209 6211 6156 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 602134301 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6225] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6225/stat : 6225 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469889457 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6226] ppid=6209 vsize=15715296 CPUtime=0.73 cores=1,3,5,7
/proc/6211/task/6226/stat : 6226 (java) S 6209 6211 6156 0 -1 4202560 4538 0 0 0 73 0 0 0 15 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
[pid=6211/tid=6227] ppid=6209 vsize=15715296 CPUtime=1.76 cores=1,3,5,7
/proc/6211/task/6227/stat : 6227 (java) S 6209 6211 6156 0 -1 4202560 17880 0 0 0 174 2 0 0 15 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6228] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6228/stat : 6228 (java) S 6209 6211 6156 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6229] ppid=6209 vsize=15715296 CPUtime=0 cores=1,3,5,7
/proc/6211/task/6229/stat : 6229 (java) S 6209 6211 6156 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 602134303 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469882368 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6234] ppid=6209 vsize=15715296 CPUtime=401.26 cores=1,3,5,7
/proc/6211/task/6234/stat : 6234 (java) S 6209 6211 6156 0 -1 4202560 89352 0 0 0 40107 19 0 0 16 0 22 0 602134406 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 7 0 0 0
[pid=6211/tid=6235] ppid=6209 vsize=15715296 CPUtime=402.7 cores=1,3,5,7
/proc/6211/task/6235/stat : 6235 (java) S 6209 6211 6156 0 -1 4202560 92028 0 0 0 40251 19 0 0 15 0 22 0 602134406 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 3 0 0 0
[pid=6211/tid=6236] ppid=6209 vsize=15715296 CPUtime=402.15 cores=1,3,5,7
/proc/6211/task/6236/stat : 6236 (java) S 6209 6211 6156 0 -1 4202560 112890 0 0 0 40195 20 0 0 15 0 22 0 602134406 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 5 0 0 0
[pid=6211/tid=6237] ppid=6209 vsize=15715296 CPUtime=402.31 cores=1,3,5,7
/proc/6211/task/6237/stat : 6237 (java) S 6209 6211 6156 0 -1 4202560 105199 0 0 0 40210 21 0 0 15 0 22 0 602134406 16092463104 3848137 33554432000 1073741824 1073778376 140735997644912 18446744073709551615 252469881753 0 4 0 16800975 18446604464873718976 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2525.91
Current children cumulated vsize (KiB) 15715296

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -6211

[startup+1302.3 s]
/proc/loadavg: 5.45 5.41 5.45 6/221 6325
/proc/meminfo: memFree=13506804/32951124 swapFree=67111348/67111528
[pid=6211] ppid=6209 vsize=0 CPUtime=2528.23 cores=1,3,5,7
/proc/6211/stat : 6211 (java) Z 6209 6211 6156 0 -1 4203548 3916013 0 1 0 252160 663 0 0 18 0 2 0 602134298 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6211/statm: 0 0 0 0 0 0 0
[pid=6211/tid=6212] ppid=6209 vsize=0 CPUtime=3.38 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) R 6209 6211 6156 0 -1 4203588 55543 0 1 0 303 35 0 0 18 0 2 0 602134299 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2528.23
Current children cumulated vsize (KiB) 0

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

[startup+1302.4 s]
/proc/loadavg: 5.45 5.41 5.45 6/221 6325
/proc/meminfo: memFree=13506804/32951124 swapFree=67111348/67111528
[pid=6211] ppid=6209 vsize=0 CPUtime=2528.33 cores=1,3,5,7
/proc/6211/stat : 6211 (java) Z 6209 6211 6156 0 -1 4203548 3916013 0 1 0 252160 673 0 0 18 0 2 0 602134298 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6211/statm: 0 0 0 0 0 0 0
[pid=6211/tid=6212] ppid=6209 vsize=0 CPUtime=3.48 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) R 6209 6211 6156 0 -1 4203588 55543 0 1 0 303 45 0 0 18 0 2 0 602134299 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2528.33
Current children cumulated vsize (KiB) 0

[startup+1302.5 s]
/proc/loadavg: 5.45 5.41 5.45 6/221 6325
/proc/meminfo: memFree=13506804/32951124 swapFree=67111348/67111528
[pid=6211] ppid=6209 vsize=0 CPUtime=2528.43 cores=1,3,5,7
/proc/6211/stat : 6211 (java) Z 6209 6211 6156 0 -1 4203548 3916013 0 1 0 252160 683 0 0 18 0 2 0 602134298 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6211/statm: 0 0 0 0 0 0 0
[pid=6211/tid=6212] ppid=6209 vsize=0 CPUtime=3.58 cores=1,3,5,7
/proc/6211/task/6212/stat : 6212 (java) R 6209 6211 6156 0 -1 4203588 55543 0 1 0 303 55 0 0 18 0 2 0 602134299 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2528.43
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.52
CPU time (s): 2528.46
CPU user time (s): 2521.61
CPU system time (s): 6.85496
CPU usage (%): 194.121
Max. virtual memory (cumulated for all children) (KiB): 15718252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2521.61
system time used= 6.85496
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3916013
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= 65481
involuntary context switches= 36949

runsolver used 2.34264 second user time and 5.00124 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-30 01:17:18
IDJOB=3312513
IDBENCH=82698
IDSOLVER=1699
FILE ID=node111/3312513-1304119038
RUNJOBID= node111-1304119038-6175
PBS_JOBID= 13170724
Free space on /tmp= 70892 MiB

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

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

MD5SUM BENCH= 0f7796213ec78265bd44aa83c0fa283d
RANDOM SEED=343742378

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.849
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.67
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.849
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:      29225972 kB
Buffers:       1014532 kB
Cached:        2175820 kB
SwapCached:          0 kB
Active:         165488 kB
Inactive:      3106548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29225972 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            8620 kB
Writeback:           8 kB
AnonPages:       81532 kB
Mapped:          22824 kB
Slab:           386020 kB
PageTables:       4812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   777196 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= 70888 MiB
End job on node111 at 2011-04-30 01:39:01