Trace number 3311316

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 2523.58 1302.4

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf
MD5SUMd8337de8a71a630ccf2dd02943cd7d7f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark248.692
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.09/0.12	27:31 INFO : Reading from input HOME/instance-3311316-1307647650.cnf
1.24/1.06	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.87/3.08	27:34 INFO : 49836 variables remaining out of 50000
4.87/3.08	27:34 INFO : 835716 literals remaining out of 840000
1417.44/383.69	33:54 ERROR: Failed to solve instance
1417.44/383.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1417.44/383.69		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1417.44/383.69		at gnu.trove.THash.postInsertHook(THash.java:370)
1417.44/383.69		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1417.44/383.69		at ibis.structure.WatchLists.build(WatchLists.java:56)
1417.44/383.69		at ibis.structure.Solver.<init>(Solver.java:45)
1417.44/383.69		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1417.44/383.69		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1417.44/383.69		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1417.44/383.69		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1417.44/383.69		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1417.44/383.69		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1417.44/383.69		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1417.44/383.69		at ibis.constellation.Executor.processActivities(Executor.java:75)
1417.44/383.69		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1417.44/383.69		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1417.44/383.69		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1419.97/386.12	33:57 ERROR: Failed to solve instance
1419.97/386.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1419.97/386.12		at gnu.trove.TPrimitiveHash.setUp(TPrimitiveHash.java:123)
1419.97/386.12		at gnu.trove.TIntHash.setUp(TIntHash.java:133)
1419.97/386.12		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83)
1419.97/386.12		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1419.97/386.12		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1419.97/386.12		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1419.97/386.12		at ibis.structure.WatchLists.build(WatchLists.java:47)
1419.97/386.12		at ibis.structure.Solver.<init>(Solver.java:45)
1419.97/386.12		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1419.97/386.12		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1419.97/386.12		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1419.97/386.12		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1419.97/386.12		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1419.97/386.12		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1419.97/386.12		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1419.97/386.12		at ibis.constellation.Executor.processActivities(Executor.java:75)
1419.97/386.12		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1419.97/386.12		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1419.97/386.12		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1423.02/389.12	34:00 ERROR: Failed to solve instance
1423.02/389.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1423.02/389.12		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1423.02/389.12		at gnu.trove.THash.<init>(THash.java:128)
1423.02/389.12		at gnu.trove.THash.<init>(THash.java:97)
1423.02/389.12		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1423.02/389.12		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1423.02/389.12		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1423.02/389.12		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1423.02/389.12		at ibis.structure.WatchLists.build(WatchLists.java:47)
1423.02/389.12		at ibis.structure.Solver.<init>(Solver.java:45)
1423.02/389.12		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1423.02/389.12		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1423.02/389.12		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1423.02/389.12		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1423.02/389.12		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1423.02/389.12		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1423.02/389.12		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1423.02/389.12		at ibis.constellation.Executor.processActivities(Executor.java:75)
1423.02/389.12		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1423.02/389.12		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1423.02/389.12		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1425.18/391.30	34:02 ERROR: Failed to solve instance
1425.18/391.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1425.18/391.30		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1425.18/391.30		at gnu.trove.THash.postInsertHook(THash.java:370)
1425.18/391.30		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1425.18/391.30		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1425.18/391.30		at ibis.structure.Subsumming.run(Subsumming.java:58)
1425.18/391.30		at ibis.structure.Solver.simplify(Solver.java:205)
1425.18/391.30		at ibis.structure.Solver.solve(Solver.java:113)
1425.18/391.30		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1425.18/391.30		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1425.18/391.30		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1425.18/391.30		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1425.18/391.30		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1425.18/391.30		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1425.18/391.30		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1425.18/391.30		at ibis.constellation.Executor.processActivities(Executor.java:75)
1425.18/391.30		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1425.18/391.30		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1425.18/391.30		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1432.38/397.54	34:08 ERROR: Failed to solve instance
1432.38/397.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1434.58/399.75	34:10 ERROR: Failed to solve instance
1434.58/399.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1441.62/405.16	34:16 ERROR: Failed to solve instance
1441.62/405.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1443.96/407.51	34:18 ERROR: Failed to solve instance
1443.96/407.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1444.68/408.11	34:19 ERROR: Failed to solve instance
1444.68/408.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.31/408.76	34:19 ERROR: Failed to solve instance
1445.31/408.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1450.98/413.48	34:24 ERROR: Failed to solve instance
1450.98/413.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1451.72/414.16	34:25 ERROR: Failed to solve instance
1451.72/414.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.42/421.21	34:32 ERROR: Failed to solve instance
1460.42/421.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1461.45/422.30	34:33 ERROR: Failed to solve instance
1461.45/422.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1461.98/422.83	34:33 ERROR: Failed to solve instance
1461.98/422.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1466.93/426.62	34:37 ERROR: Failed to solve instance
1466.93/426.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1468.07/427.72	34:38 ERROR: Failed to solve instance
1468.07/427.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1468.69/428.32	34:39 ERROR: Failed to solve instance
1468.69/428.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1469.31/428.97	34:40 ERROR: Failed to solve instance
1469.31/428.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1469.94/429.53	34:40 ERROR: Failed to solve instance
1469.94/429.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1474.96/433.50	34:44 ERROR: Failed to solve instance
1474.96/433.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1475.49/434.09	34:45 ERROR: Failed to solve instance
1475.49/434.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1476.21/434.74	34:45 ERROR: Failed to solve instance
1476.21/434.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1477.28/435.71	34:46 ERROR: Failed to solve instance
1477.28/435.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1488.48/444.70	34:55 ERROR: Failed to solve instance
1488.48/444.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1489.11/445.27	34:56 ERROR: Failed to solve instance
1489.11/445.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1489.73/445.87	34:56 ERROR: Failed to solve instance
1489.73/445.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1490.77/446.80	34:57 ERROR: Failed to solve instance
1490.77/446.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1495.06/450.33	35:01 ERROR: Failed to solve instance
1495.06/450.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1495.57/450.89	35:01 ERROR: Failed to solve instance
1495.57/450.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1496.19/451.50	35:02 ERROR: Failed to solve instance
1496.19/451.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1497.43/452.72	35:03 ERROR: Failed to solve instance
1497.43/452.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1509.57/462.11	35:13 ERROR: Failed to solve instance
1509.57/462.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1513.36/465.48	35:16 ERROR: Failed to solve instance
1513.36/465.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1513.96/466.03	35:17 ERROR: Failed to solve instance
1513.96/466.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1514.57/466.61	35:17 ERROR: Failed to solve instance
1514.57/466.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1515.70/467.78	35:18 ERROR: Failed to solve instance
1515.70/467.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1516.42/468.42	35:19 ERROR: Failed to solve instance
1516.42/468.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1517.06/469.09	35:20 ERROR: Failed to solve instance
1517.06/469.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1517.79/469.80	35:20 ERROR: Failed to solve instance
1517.79/469.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1525.44/475.79	35:26 ERROR: Failed to solve instance
1525.44/475.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1526.04/476.32	35:27 ERROR: Failed to solve instance
1526.04/476.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1526.68/476.97	35:28 ERROR: Failed to solve instance
1526.68/476.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1537.25/485.27	35:36 ERROR: Failed to solve instance
1537.25/485.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1540.14/487.82	35:38 ERROR: Failed to solve instance
1540.14/487.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1540.88/488.51	35:39 ERROR: Failed to solve instance
1540.88/488.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1541.51/489.15	35:40 ERROR: Failed to solve instance
1541.51/489.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1546.98/493.80	35:44 ERROR: Failed to solve instance
1546.98/493.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1547.48/494.31	35:45 ERROR: Failed to solve instance
1547.48/494.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1555.50/500.75	35:51 ERROR: Failed to solve instance
1555.50/500.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1556.02/501.26	35:52 ERROR: Failed to solve instance
1556.02/501.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1559.84/504.24	35:55 ERROR: Failed to solve instance
1559.84/504.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.47/504.82	35:55 ERROR: Failed to solve instance
1560.47/504.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1565.36/509.08	36:00 ERROR: Failed to solve instance
1565.36/509.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1566.48/510.16	36:01 ERROR: Failed to solve instance
1566.48/510.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1566.88/510.52	36:01 ERROR: Failed to solve instance
1566.88/510.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1567.72/511.36	36:02 ERROR: Failed to solve instance
1567.72/511.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1568.47/512.06	36:03 ERROR: Failed to solve instance
1568.47/512.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1579.92/521.11	36:12 ERROR: Failed to solve instance
1579.92/521.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1580.44/521.65	36:12 ERROR: Failed to solve instance
1580.44/521.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1581.47/522.70	36:13 ERROR: Failed to solve instance
1581.47/522.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1582.20/523.30	36:14 ERROR: Failed to solve instance
1582.20/523.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1582.61/523.79	36:14 ERROR: Failed to solve instance
1582.61/523.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1583.24/524.39	36:15 ERROR: Failed to solve instance
1583.24/524.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1593.57/532.90	36:23 ERROR: Failed to solve instance
1593.57/532.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1597.19/535.84	36:26 ERROR: Failed to solve instance
1597.19/535.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1597.82/536.43	36:27 ERROR: Failed to solve instance
1597.82/536.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1598.32/536.92	36:27 ERROR: Failed to solve instance
1598.32/536.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1602.50/540.44	36:31 ERROR: Failed to solve instance
1602.50/540.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1603.44/541.35	36:32 ERROR: Failed to solve instance
1603.44/541.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1604.08/541.99	36:33 ERROR: Failed to solve instance
1604.08/541.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1615.06/550.43	36:41 ERROR: Failed to solve instance
1615.06/550.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1615.57/550.98	36:42 ERROR: Failed to solve instance
1615.57/550.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1616.20/551.58	36:42 ERROR: Failed to solve instance
1616.20/551.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1617.45/552.73	36:43 ERROR: Failed to solve instance
1617.45/552.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1617.99/553.33	36:44 ERROR: Failed to solve instance
1617.99/553.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1622.85/557.25	36:48 ERROR: Failed to solve instance
1622.85/557.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1623.48/557.84	36:48 ERROR: Failed to solve instance
1623.48/557.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1624.11/558.42	36:49 ERROR: Failed to solve instance
1624.11/558.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1625.16/559.50	36:50 ERROR: Failed to solve instance
1625.16/559.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1625.80/560.13	36:51 ERROR: Failed to solve instance
1625.80/560.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.30/568.12	36:59 ERROR: Failed to solve instance
1636.30/568.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1637.44/569.26	37:00 ERROR: Failed to solve instance
1637.44/569.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1638.07/569.86	37:00 ERROR: Failed to solve instance
1638.07/569.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1638.80/570.56	37:01 ERROR: Failed to solve instance
1638.80/570.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1647.14/577.14	37:08 ERROR: Failed to solve instance
1647.14/577.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1647.77/577.73	37:08 ERROR: Failed to solve instance
1647.77/577.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.19/581.42	37:12 ERROR: Failed to solve instance
1652.19/581.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.82/582.04	37:13 ERROR: Failed to solve instance
1652.82/582.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1653.32/582.54	37:13 ERROR: Failed to solve instance
1653.32/582.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1657.64/586.19	37:17 ERROR: Failed to solve instance
1657.64/586.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1658.48/586.98	37:18 ERROR: Failed to solve instance
1658.48/586.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.00/592.81	37:23 ERROR: Failed to solve instance
1666.00/592.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.54/593.38	37:24 ERROR: Failed to solve instance
1666.54/593.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1667.68/594.47	37:25 ERROR: Failed to solve instance
1667.68/594.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1668.41/595.12	37:26 ERROR: Failed to solve instance
1668.41/595.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1669.04/595.80	37:26 ERROR: Failed to solve instance
1669.04/595.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1674.91/600.56	37:31 ERROR: Failed to solve instance
1674.91/600.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1675.54/601.16	37:32 ERROR: Failed to solve instance
1675.54/601.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1676.77/602.33	37:33 ERROR: Failed to solve instance
1676.77/602.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1677.22/602.73	37:33 ERROR: Failed to solve instance
1677.22/602.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.63/609.85	37:40 ERROR: Failed to solve instance
1686.63/609.85	java.lang.OutOfMemoryError: Java heap space
1686.93/610.15	37:41 ERROR: Failed to solve instance
1686.93/610.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1692.35/614.71	37:45 ERROR: Failed to solve instance
1692.35/614.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1692.87/615.28	37:46 ERROR: Failed to solve instance
1692.87/615.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.59/615.92	37:46 ERROR: Failed to solve instance
1693.59/615.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1697.46/619.06	37:50 ERROR: Failed to solve instance
1697.46/619.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1698.58/620.14	37:51 ERROR: Failed to solve instance
1698.58/620.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1699.22/620.75	37:51 ERROR: Failed to solve instance
1699.22/620.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1699.85/621.40	37:52 ERROR: Failed to solve instance
1699.85/621.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1700.72/622.11	37:53 ERROR: Failed to solve instance
1700.72/622.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1711.56/630.57	38:01 ERROR: Failed to solve instance
1711.56/630.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.19/631.14	38:02 ERROR: Failed to solve instance
1712.19/631.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.81/631.77	38:02 ERROR: Failed to solve instance
1712.81/631.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1721.35/638.66	38:09 ERROR: Failed to solve instance
1721.35/638.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1721.97/639.22	38:10 ERROR: Failed to solve instance
1721.97/639.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1723.21/640.48	38:11 ERROR: Failed to solve instance
1723.21/640.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1723.94/641.16	38:12 ERROR: Failed to solve instance
1723.94/641.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1728.17/644.63	38:15 ERROR: Failed to solve instance
1728.17/644.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1734.05/649.62	38:20 ERROR: Failed to solve instance
1734.05/649.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1734.58/650.17	38:21 ERROR: Failed to solve instance
1734.58/650.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1735.51/650.84	38:21 ERROR: Failed to solve instance
1735.51/650.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.96/654.46	38:25 ERROR: Failed to solve instance
1739.96/654.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1740.70/655.11	38:26 ERROR: Failed to solve instance
1740.70/655.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1741.95/656.31	38:27 ERROR: Failed to solve instance
1741.95/656.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.42/656.71	38:27 ERROR: Failed to solve instance
1742.42/656.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1750.97/663.24	38:34 ERROR: Failed to solve instance
1750.97/663.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1751.28/663.52	38:34 ERROR: Failed to solve instance
1751.28/663.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1756.52/667.71	38:38 ERROR: Failed to solve instance
1756.52/667.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1757.06/668.30	38:39 ERROR: Failed to solve instance
1757.06/668.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.08/669.30	38:40 ERROR: Failed to solve instance
1758.08/669.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.61/669.81	38:40 ERROR: Failed to solve instance
1758.61/669.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1762.61/673.01	38:44 ERROR: Failed to solve instance
1762.61/673.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1763.26/673.66	38:44 ERROR: Failed to solve instance
1763.26/673.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1766.93/676.85	38:47 ERROR: Failed to solve instance
1766.93/676.85	java.lang.OutOfMemoryError: Java heap space
1767.23/677.16	38:48 ERROR: Failed to solve instance
1767.23/677.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1770.39/679.92	38:50 ERROR: Failed to solve instance
1770.39/679.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1771.00/680.51	38:51 ERROR: Failed to solve instance
1771.00/680.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1783.24/690.17	39:01 ERROR: Failed to solve instance
1783.24/690.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1783.86/690.77	39:01 ERROR: Failed to solve instance
1783.86/690.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.60/691.44	39:02 ERROR: Failed to solve instance
1784.60/691.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1795.51/700.27	39:11 ERROR: Failed to solve instance
1795.51/700.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1796.02/700.79	39:11 ERROR: Failed to solve instance
1796.02/700.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1796.64/701.32	39:12 ERROR: Failed to solve instance
1796.64/701.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1797.27/701.90	39:12 ERROR: Failed to solve instance
1797.27/701.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1798.42/703.08	39:14 ERROR: Failed to solve instance
1798.42/703.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1798.94/703.56	39:14 ERROR: Failed to solve instance
1798.94/703.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1799.58/704.18	39:15 ERROR: Failed to solve instance
1799.58/704.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1800.21/704.80	39:15 ERROR: Failed to solve instance
1800.21/704.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1810.11/712.35	39:23 ERROR: Failed to solve instance
1810.11/712.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1810.75/712.98	39:24 ERROR: Failed to solve instance
1810.75/712.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1815.85/717.22	39:28 ERROR: Failed to solve instance
1815.85/717.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1816.39/717.79	39:28 ERROR: Failed to solve instance
1816.39/717.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1817.53/718.88	39:29 ERROR: Failed to solve instance
1817.53/718.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1818.16/719.48	39:30 ERROR: Failed to solve instance
1818.16/719.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1818.90/720.21	39:31 ERROR: Failed to solve instance
1818.90/720.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1832.67/730.71	39:41 ERROR: Failed to solve instance
1832.67/730.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1833.59/731.66	39:42 ERROR: Failed to solve instance
1833.59/731.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.10/732.14	39:43 ERROR: Failed to solve instance
1834.10/732.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.62/732.66	39:43 ERROR: Failed to solve instance
1834.62/732.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1835.23/733.24	39:44 ERROR: Failed to solve instance
1835.23/733.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1840.52/737.71	39:48 ERROR: Failed to solve instance
1840.52/737.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1841.04/738.29	39:49 ERROR: Failed to solve instance
1841.04/738.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1841.54/738.77	39:49 ERROR: Failed to solve instance
1841.54/738.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1842.68/739.82	39:50 ERROR: Failed to solve instance
1842.68/739.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1843.22/740.40	39:51 ERROR: Failed to solve instance
1843.22/740.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1843.96/741.05	39:52 ERROR: Failed to solve instance
1843.96/741.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1858.73/752.69	40:03 ERROR: Failed to solve instance
1858.73/752.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1859.35/753.23	40:04 ERROR: Failed to solve instance
1859.35/753.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1859.98/753.81	40:04 ERROR: Failed to solve instance
1859.98/753.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.90/754.80	40:05 ERROR: Failed to solve instance
1860.90/754.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1861.53/755.37	40:06 ERROR: Failed to solve instance
1861.53/755.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.17/755.99	40:07 ERROR: Failed to solve instance
1862.17/755.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1867.78/760.57	40:11 ERROR: Failed to solve instance
1867.78/760.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1868.61/761.36	40:12 ERROR: Failed to solve instance
1868.61/761.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1877.99/768.59	40:19 ERROR: Failed to solve instance
1877.99/768.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1878.61/769.15	40:20 ERROR: Failed to solve instance
1878.61/769.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1879.25/769.79	40:20 ERROR: Failed to solve instance
1879.25/769.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1882.35/772.32	40:23 ERROR: Failed to solve instance
1882.35/772.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1883.49/773.41	40:24 ERROR: Failed to solve instance
1883.49/773.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1884.11/774.03	40:25 ERROR: Failed to solve instance
1884.11/774.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1884.65/774.57	40:25 ERROR: Failed to solve instance
1884.65/774.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1886.99/776.49	40:27 ERROR: Failed to solve instance
1886.99/776.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1888.23/777.64	40:28 ERROR: Failed to solve instance
1888.23/777.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1888.86/778.24	40:29 ERROR: Failed to solve instance
1888.86/778.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1889.48/778.90	40:29 ERROR: Failed to solve instance
1889.48/778.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1898.71/785.35	40:36 ERROR: Failed to solve instance
1898.71/785.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1903.91/789.65	40:40 ERROR: Failed to solve instance
1903.91/789.65	java.lang.OutOfMemoryError: Java heap space
1904.22/789.92	40:40 ERROR: Failed to solve instance
1904.22/789.92	java.lang.OutOfMemoryError: Java heap space
1904.52/790.23	40:41 ERROR: Failed to solve instance
1904.52/790.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.65/791.39	40:42 ERROR: Failed to solve instance
1905.65/791.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1906.37/792.04	40:43 ERROR: Failed to solve instance
1906.37/792.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.10/792.74	40:43 ERROR: Failed to solve instance
1907.10/792.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.84/793.50	40:44 ERROR: Failed to solve instance
1907.84/793.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1918.63/801.65	40:52 ERROR: Failed to solve instance
1918.63/801.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.94/805.39	40:56 ERROR: Failed to solve instance
1922.94/805.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1924.17/806.51	40:57 ERROR: Failed to solve instance
1924.17/806.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1924.50/806.84	40:57 ERROR: Failed to solve instance
1924.50/806.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1925.34/807.69	40:58 ERROR: Failed to solve instance
1925.34/807.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1930.04/811.41	41:02 ERROR: Failed to solve instance
1930.04/811.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1931.07/812.50	41:03 ERROR: Failed to solve instance
1931.07/812.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1931.68/813.09	41:04 ERROR: Failed to solve instance
1931.68/813.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1932.40/813.71	41:04 ERROR: Failed to solve instance
1932.40/813.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.04/814.37	41:05 ERROR: Failed to solve instance
1933.04/814.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1934.14/815.37	41:06 ERROR: Failed to solve instance
1934.14/815.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1943.35/822.28	41:13 ERROR: Failed to solve instance
1943.35/822.28	java.lang.OutOfMemoryError: Java heap space
1944.29/823.18	41:14 ERROR: Failed to solve instance
1944.29/823.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1944.93/823.79	41:14 ERROR: Failed to solve instance
1944.93/823.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1948.86/826.96	41:18 ERROR: Failed to solve instance
1948.86/826.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1949.47/827.50	41:18 ERROR: Failed to solve instance
1949.47/827.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1949.99/828.10	41:19 ERROR: Failed to solve instance
1949.99/828.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1957.98/834.43	41:25 ERROR: Failed to solve instance
1957.98/834.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1958.50/834.98	41:26 ERROR: Failed to solve instance
1958.50/834.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1959.21/835.61	41:26 ERROR: Failed to solve instance
1959.21/835.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1960.16/836.59	41:27 ERROR: Failed to solve instance
1960.16/836.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.33/845.37	41:36 ERROR: Failed to solve instance
1971.33/845.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.95/845.93	41:37 ERROR: Failed to solve instance
1971.95/845.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1972.57/846.53	41:37 ERROR: Failed to solve instance
1972.57/846.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1973.61/847.57	41:38 ERROR: Failed to solve instance
1973.61/847.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1974.23/848.14	41:39 ERROR: Failed to solve instance
1974.23/848.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1974.87/848.76	41:39 ERROR: Failed to solve instance
1974.87/848.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1975.60/849.42	41:40 ERROR: Failed to solve instance
1975.60/849.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1986.93/858.41	41:49 ERROR: Failed to solve instance
1986.93/858.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1987.33/858.88	41:49 ERROR: Failed to solve instance
1987.33/858.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1988.49/859.91	41:50 ERROR: Failed to solve instance
1988.49/859.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1989.03/860.51	41:51 ERROR: Failed to solve instance
1989.03/860.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.71/863.49	41:54 ERROR: Failed to solve instance
1992.71/863.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1993.65/864.39	41:55 ERROR: Failed to solve instance
1993.65/864.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1994.29/865.00	41:56 ERROR: Failed to solve instance
1994.29/865.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1999.81/869.53	42:00 ERROR: Failed to solve instance
1999.81/869.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2000.33/870.10	42:01 ERROR: Failed to solve instance
2000.33/870.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2001.06/870.75	42:01 ERROR: Failed to solve instance
2001.06/870.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2015.81/882.31	42:13 ERROR: Failed to solve instance
2015.81/882.31	java.lang.OutOfMemoryError: Java heap space
2016.32/882.84	42:13 ERROR: Failed to solve instance
2016.32/882.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2017.12/883.69	42:14 ERROR: Failed to solve instance
2017.12/883.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2017.73/884.29	42:15 ERROR: Failed to solve instance
2017.73/884.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.98/885.49	42:16 ERROR: Failed to solve instance
2018.98/885.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.99/886.21	42:17 ERROR: Failed to solve instance
2019.99/886.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.55/894.35	42:25 ERROR: Failed to solve instance
2030.55/894.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2031.38/895.16	42:26 ERROR: Failed to solve instance
2031.38/895.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2034.98/898.21	42:29 ERROR: Failed to solve instance
2034.98/898.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2036.11/899.33	42:30 ERROR: Failed to solve instance
2036.11/899.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2036.72/899.93	42:30 ERROR: Failed to solve instance
2036.72/899.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.35/900.59	42:31 ERROR: Failed to solve instance
2037.35/900.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2038.18/901.32	42:32 ERROR: Failed to solve instance
2038.18/901.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2048.81/909.36	42:40 ERROR: Failed to solve instance
2048.81/909.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2049.43/909.95	42:41 ERROR: Failed to solve instance
2049.43/909.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2050.05/910.57	42:41 ERROR: Failed to solve instance
2050.05/910.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2053.76/913.72	42:44 ERROR: Failed to solve instance
2053.76/913.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.28/914.29	42:45 ERROR: Failed to solve instance
2054.28/914.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2055.01/914.92	42:45 ERROR: Failed to solve instance
2055.01/914.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2065.34/923.15	42:54 ERROR: Failed to solve instance
2065.34/923.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2065.87/923.69	42:54 ERROR: Failed to solve instance
2065.87/923.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2066.49/924.28	42:55 ERROR: Failed to solve instance
2066.49/924.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2067.69/925.38	42:56 ERROR: Failed to solve instance
2067.69/925.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2068.04/925.70	42:56 ERROR: Failed to solve instance
2068.04/925.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2072.51/929.61	43:00 ERROR: Failed to solve instance
2072.51/929.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2072.81/929.98	43:01 ERROR: Failed to solve instance
2072.81/929.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2074.46/931.40	43:02 ERROR: Failed to solve instance
2074.46/931.40	java.lang.OutOfMemoryError: Java heap space
2074.66/931.71	43:02 ERROR: Failed to solve instance
2074.66/931.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2083.64/938.72	43:09 ERROR: Failed to solve instance
2083.64/938.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2089.12/943.04	43:14 ERROR: Failed to solve instance
2089.12/943.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2090.26/944.17	43:15 ERROR: Failed to solve instance
2090.26/944.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2090.89/944.77	43:15 ERROR: Failed to solve instance
2090.89/944.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2091.63/945.46	43:16 ERROR: Failed to solve instance
2091.63/945.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2092.36/946.20	43:17 ERROR: Failed to solve instance
2092.36/946.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.08/956.30	43:27 ERROR: Failed to solve instance
2105.08/956.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.60/956.84	43:27 ERROR: Failed to solve instance
2105.60/956.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2106.22/957.41	43:28 ERROR: Failed to solve instance
2106.22/957.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2107.36/958.56	43:29 ERROR: Failed to solve instance
2107.36/958.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2107.87/959.08	43:30 ERROR: Failed to solve instance
2107.87/959.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2113.38/963.51	43:34 ERROR: Failed to solve instance
2113.38/963.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2113.90/964.01	43:35 ERROR: Failed to solve instance
2113.90/964.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2114.94/965.06	43:36 ERROR: Failed to solve instance
2114.94/965.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2115.56/965.69	43:36 ERROR: Failed to solve instance
2115.56/965.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2121.16/970.35	43:41 ERROR: Failed to solve instance
2121.16/970.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2121.78/970.96	43:42 ERROR: Failed to solve instance
2121.78/970.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2122.51/971.61	43:42 ERROR: Failed to solve instance
2122.51/971.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2128.20/976.33	43:47 ERROR: Failed to solve instance
2128.20/976.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2128.83/976.94	43:48 ERROR: Failed to solve instance
2128.83/976.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2129.87/977.96	43:49 ERROR: Failed to solve instance
2129.87/977.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.51/978.55	43:49 ERROR: Failed to solve instance
2130.51/978.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2131.16/979.19	43:50 ERROR: Failed to solve instance
2131.16/979.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.36/986.95	43:58 ERROR: Failed to solve instance
2141.36/986.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.99/987.57	43:58 ERROR: Failed to solve instance
2141.99/987.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2142.50/988.08	43:59 ERROR: Failed to solve instance
2142.50/988.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2143.64/989.17	44:00 ERROR: Failed to solve instance
2143.64/989.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2144.29/989.84	44:00 ERROR: Failed to solve instance
2144.29/989.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2154.79/997.87	44:08 ERROR: Failed to solve instance
2154.79/997.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.41/998.44	44:09 ERROR: Failed to solve instance
2155.41/998.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2156.04/999.06	44:10 ERROR: Failed to solve instance
2156.04/999.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2157.29/1000.22	44:11 ERROR: Failed to solve instance
2157.29/1000.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2157.85/1000.78	44:11 ERROR: Failed to solve instance
2157.85/1000.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2158.59/1001.41	44:12 ERROR: Failed to solve instance
2158.59/1001.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2168.52/1009.19	44:20 ERROR: Failed to solve instance
2168.52/1009.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.16/1009.76	44:20 ERROR: Failed to solve instance
2169.16/1009.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.79/1010.36	44:21 ERROR: Failed to solve instance
2169.79/1010.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2170.81/1011.37	44:22 ERROR: Failed to solve instance
2170.81/1011.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2171.45/1011.93	44:22 ERROR: Failed to solve instance
2171.45/1011.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2176.17/1015.72	44:26 ERROR: Failed to solve instance
2176.17/1015.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2176.69/1016.29	44:27 ERROR: Failed to solve instance
2176.69/1016.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2177.42/1016.91	44:27 ERROR: Failed to solve instance
2177.42/1016.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2186.17/1024.00	44:35 ERROR: Failed to solve instance
2186.17/1024.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2189.87/1027.01	44:38 ERROR: Failed to solve instance
2189.87/1027.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2190.40/1027.58	44:38 ERROR: Failed to solve instance
2190.40/1027.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.02/1028.18	44:39 ERROR: Failed to solve instance
2191.02/1028.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2192.31/1029.42	44:40 ERROR: Failed to solve instance
2192.31/1029.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2204.39/1038.97	44:50 ERROR: Failed to solve instance
2204.39/1038.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2205.00/1039.51	44:50 ERROR: Failed to solve instance
2205.00/1039.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2206.13/1040.66	44:51 ERROR: Failed to solve instance
2206.13/1040.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2206.75/1041.27	44:52 ERROR: Failed to solve instance
2206.75/1041.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2207.48/1041.93	44:52 ERROR: Failed to solve instance
2207.48/1041.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2208.22/1042.65	44:53 ERROR: Failed to solve instance
2208.22/1042.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2215.36/1048.11	44:59 ERROR: Failed to solve instance
2215.36/1048.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.00/1048.73	44:59 ERROR: Failed to solve instance
2216.00/1048.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.63/1049.32	45:00 ERROR: Failed to solve instance
2216.63/1049.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2227.57/1057.75	45:08 ERROR: Failed to solve instance
2227.57/1057.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2228.60/1058.77	45:09 ERROR: Failed to solve instance
2228.60/1058.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2229.22/1059.33	45:10 ERROR: Failed to solve instance
2229.22/1059.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2229.86/1059.94	45:10 ERROR: Failed to solve instance
2229.86/1059.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.49/1060.57	45:11 ERROR: Failed to solve instance
2230.49/1060.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2235.35/1064.49	45:15 ERROR: Failed to solve instance
2235.35/1064.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2235.98/1065.09	45:16 ERROR: Failed to solve instance
2235.98/1065.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2237.21/1066.25	45:17 ERROR: Failed to solve instance
2237.21/1066.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2237.85/1066.91	45:17 ERROR: Failed to solve instance
2237.85/1066.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2247.17/1074.02	45:25 ERROR: Failed to solve instance
2247.17/1074.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2248.21/1075.05	45:26 ERROR: Failed to solve instance
2248.21/1075.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2248.84/1075.63	45:26 ERROR: Failed to solve instance
2248.84/1075.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2255.06/1080.82	45:31 ERROR: Failed to solve instance
2255.06/1080.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2255.68/1081.41	45:32 ERROR: Failed to solve instance
2255.68/1081.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2256.30/1082.05	45:33 ERROR: Failed to solve instance
2256.30/1082.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2261.11/1085.82	45:36 ERROR: Failed to solve instance
2261.11/1085.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2262.25/1086.99	45:38 ERROR: Failed to solve instance
2262.25/1086.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2262.69/1087.33	45:38 ERROR: Failed to solve instance
2262.69/1087.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2263.52/1088.22	45:39 ERROR: Failed to solve instance
2263.52/1088.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2269.08/1092.68	45:43 ERROR: Failed to solve instance
2269.08/1092.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2269.70/1093.25	45:44 ERROR: Failed to solve instance
2269.70/1093.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2270.33/1093.90	45:44 ERROR: Failed to solve instance
2270.33/1093.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2278.57/1100.54	45:51 ERROR: Failed to solve instance
2278.57/1100.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.56/1103.56	45:54 ERROR: Failed to solve instance
2282.56/1103.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2283.69/1104.70	45:55 ERROR: Failed to solve instance
2283.69/1104.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2284.30/1105.28	45:56 ERROR: Failed to solve instance
2284.30/1105.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2285.02/1105.90	45:56 ERROR: Failed to solve instance
2285.02/1105.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2285.53/1106.41	45:57 ERROR: Failed to solve instance
2285.53/1106.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2286.53/1107.33	45:58 ERROR: Failed to solve instance
2286.53/1107.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2290.45/1110.63	46:01 ERROR: Failed to solve instance
2290.45/1110.63	java.lang.OutOfMemoryError: Java heap space
2290.77/1110.94	46:01 ERROR: Failed to solve instance
2290.77/1110.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2300.58/1118.90	46:09 ERROR: Failed to solve instance
2300.58/1118.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2301.21/1119.51	46:10 ERROR: Failed to solve instance
2301.21/1119.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2301.84/1120.15	46:11 ERROR: Failed to solve instance
2301.84/1120.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2302.89/1121.19	46:12 ERROR: Failed to solve instance
2302.89/1121.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2303.53/1121.82	46:12 ERROR: Failed to solve instance
2303.53/1121.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2313.08/1128.98	46:20 ERROR: Failed to solve instance
2313.08/1128.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2314.12/1129.92	46:20 ERROR: Failed to solve instance
2314.12/1129.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2314.64/1130.45	46:21 ERROR: Failed to solve instance
2314.64/1130.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2318.55/1133.66	46:24 ERROR: Failed to solve instance
2318.55/1133.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2319.16/1134.22	46:25 ERROR: Failed to solve instance
2319.16/1134.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2320.28/1135.36	46:26 ERROR: Failed to solve instance
2320.28/1135.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2320.90/1135.97	46:27 ERROR: Failed to solve instance
2320.90/1135.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2321.63/1136.63	46:27 ERROR: Failed to solve instance
2321.63/1136.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2322.37/1137.32	46:28 ERROR: Failed to solve instance
2322.37/1137.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2335.19/1147.02	46:38 ERROR: Failed to solve instance
2335.19/1147.02	java.lang.OutOfMemoryError: Java heap space
2335.92/1147.79	46:38 ERROR: Failed to solve instance
2335.92/1147.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2337.05/1148.85	46:39 ERROR: Failed to solve instance
2337.05/1148.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2337.68/1149.45	46:40 ERROR: Failed to solve instance
2337.68/1149.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2341.55/1152.57	46:43 ERROR: Failed to solve instance
2341.55/1152.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2342.18/1153.15	46:44 ERROR: Failed to solve instance
2342.18/1153.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2343.32/1154.24	46:45 ERROR: Failed to solve instance
2343.32/1154.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2343.95/1154.84	46:45 ERROR: Failed to solve instance
2343.95/1154.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2344.59/1155.50	46:46 ERROR: Failed to solve instance
2344.59/1155.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2354.64/1163.19	46:54 ERROR: Failed to solve instance
2354.64/1163.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2355.27/1163.75	46:54 ERROR: Failed to solve instance
2355.27/1163.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2356.41/1164.81	46:55 ERROR: Failed to solve instance
2356.41/1164.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2356.94/1165.40	46:56 ERROR: Failed to solve instance
2356.94/1165.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2357.68/1166.10	46:57 ERROR: Failed to solve instance
2357.68/1166.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2367.16/1173.22	47:04 ERROR: Failed to solve instance
2367.16/1173.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2367.68/1173.76	47:04 ERROR: Failed to solve instance
2367.68/1173.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2368.31/1174.36	47:05 ERROR: Failed to solve instance
2368.31/1174.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2369.34/1175.36	47:06 ERROR: Failed to solve instance
2369.34/1175.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2369.96/1175.92	47:06 ERROR: Failed to solve instance
2369.96/1175.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2370.61/1176.54	47:07 ERROR: Failed to solve instance
2370.61/1176.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2371.35/1177.21	47:08 ERROR: Failed to solve instance
2371.35/1177.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2381.95/1185.59	47:16 ERROR: Failed to solve instance
2381.95/1185.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2382.58/1186.14	47:17 ERROR: Failed to solve instance
2382.58/1186.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2383.09/1186.68	47:17 ERROR: Failed to solve instance
2383.09/1186.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2384.23/1187.75	47:18 ERROR: Failed to solve instance
2384.23/1187.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2384.86/1188.33	47:19 ERROR: Failed to solve instance
2384.86/1188.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2385.50/1188.96	47:20 ERROR: Failed to solve instance
2385.50/1188.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2386.26/1189.64	47:20 ERROR: Failed to solve instance
2386.26/1189.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2396.07/1197.15	47:28 ERROR: Failed to solve instance
2396.07/1197.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2397.03/1198.02	47:29 ERROR: Failed to solve instance
2397.03/1198.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2397.55/1198.57	47:29 ERROR: Failed to solve instance
2397.55/1198.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2402.70/1202.97	47:33 ERROR: Failed to solve instance
2402.70/1202.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2403.01/1203.25	47:34 ERROR: Failed to solve instance
2403.01/1203.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2403.84/1204.05	47:35 ERROR: Failed to solve instance
2403.84/1204.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2404.47/1204.66	47:35 ERROR: Failed to solve instance
2404.47/1204.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2412.99/1211.57	47:42 ERROR: Failed to solve instance
2412.99/1211.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2414.13/1212.66	47:43 ERROR: Failed to solve instance
2414.13/1212.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2414.65/1213.19	47:44 ERROR: Failed to solve instance
2414.65/1213.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2415.28/1213.83	47:44 ERROR: Failed to solve instance
2415.28/1213.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2429.21/1224.49	47:55 ERROR: Failed to solve instance
2429.21/1224.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2429.83/1225.05	47:56 ERROR: Failed to solve instance
2429.83/1225.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2430.46/1225.65	47:56 ERROR: Failed to solve instance
2430.46/1225.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2434.48/1228.92	47:59 ERROR: Failed to solve instance
2434.48/1228.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2435.51/1230.00	48:01 ERROR: Failed to solve instance
2435.51/1230.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2436.14/1230.60	48:01 ERROR: Failed to solve instance
2436.14/1230.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2436.87/1231.22	48:02 ERROR: Failed to solve instance
2436.87/1231.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2437.61/1231.90	48:02 ERROR: Failed to solve instance
2437.61/1231.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2451.18/1242.37	48:13 ERROR: Failed to solve instance
2451.18/1242.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2451.79/1242.93	48:13 ERROR: Failed to solve instance
2451.79/1242.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2452.93/1244.09	48:15 ERROR: Failed to solve instance
2452.93/1244.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2453.66/1244.76	48:15 ERROR: Failed to solve instance
2453.66/1244.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2454.38/1245.49	48:16 ERROR: Failed to solve instance
2454.38/1245.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2455.22/1246.26	48:17 ERROR: Failed to solve instance
2455.22/1246.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2464.82/1253.59	48:24 ERROR: Failed to solve instance
2464.82/1253.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2466.09/1254.73	48:25 ERROR: Failed to solve instance
2466.09/1254.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2466.62/1255.27	48:26 ERROR: Failed to solve instance
2466.62/1255.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2467.16/1255.80	48:26 ERROR: Failed to solve instance
2467.16/1255.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2471.04/1258.86	48:29 ERROR: Failed to solve instance
2471.04/1258.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2471.96/1259.74	48:30 ERROR: Failed to solve instance
2471.96/1259.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2472.80/1260.59	48:31 ERROR: Failed to solve instance
2472.80/1260.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2476.65/1263.77	48:34 ERROR: Failed to solve instance
2476.65/1263.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2477.27/1264.32	48:35 ERROR: Failed to solve instance
2477.27/1264.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2477.89/1264.94	48:36 ERROR: Failed to solve instance
2477.89/1264.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2478.52/1265.57	48:36 ERROR: Failed to solve instance
2478.52/1265.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2479.67/1266.63	48:37 ERROR: Failed to solve instance
2479.67/1266.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2492.56/1276.47	48:47 ERROR: Failed to solve instance
2492.56/1276.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2493.19/1277.04	48:48 ERROR: Failed to solve instance
2493.19/1277.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2494.42/1278.21	48:49 ERROR: Failed to solve instance
2494.42/1278.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2495.05/1278.88	48:49 ERROR: Failed to solve instance
2495.05/1278.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2495.88/1279.61	48:50 ERROR: Failed to solve instance
2495.88/1279.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2496.63/1280.37	48:51 ERROR: Failed to solve instance
2496.63/1280.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2503.62/1285.73	48:56 ERROR: Failed to solve instance
2503.62/1285.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2504.24/1286.33	48:57 ERROR: Failed to solve instance
2504.24/1286.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2505.28/1287.33	48:58 ERROR: Failed to solve instance
2505.28/1287.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2516.10/1295.83	49:06 ERROR: Failed to solve instance
2516.10/1295.83	java.lang.OutOfMemoryError: Java heap space
2516.30/1296.09	49:07 ERROR: Failed to solve instance
2516.30/1296.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2520.72/1299.69	49:10 ERROR: Failed to solve instance
2520.72/1299.69	java.lang.OutOfMemoryError: Java heap space
2521.01/1299.95	49:11 ERROR: Failed to solve instance
2521.01/1299.95	java.lang.OutOfMemoryError: Java heap space
2521.63/1300.54	49:11 ERROR: Failed to solve instance
2521.63/1300.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2522.24/1301.20	49:12 ERROR: Failed to solve instance
2522.24/1301.20	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: 977)

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-3311316-1307647650/watcher-3311316-1307647650 -o /tmp/evaluation-result-3311316-1307647650/solver-3311316-1307647650 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311316-1307647650.cnf -hbr 2 

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

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


[startup+0 s]
/proc/loadavg: 7.92 8.04 7.20 5/199 22879
/proc/meminfo: memFree=31021800/32951124 swapFree=67063272/67111528
[pid=22879] ppid=22877 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/22879/stat : 22879 (java) R 22877 22879 22550 0 -1 4202496 870 0 0 0 0 0 0 0 25 0 1 0 876363216 23580672 356 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232330929920 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22879/statm: 5757 368 287 9 0 124 0

[startup+0.0784641 s]
/proc/loadavg: 7.92 8.04 7.20 5/199 22879
/proc/meminfo: memFree=31021800/32951124 swapFree=67063272/67111528
[pid=22879] ppid=22877 vsize=15675756 CPUtime=0.06 cores=1,3,5,7
/proc/22879/stat : 22879 (java) S 22877 22879 22550 0 -1 4202496 4712 0 1 0 5 1 0 0 25 0 18 0 876363216 16051974144 4151 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22879/statm: 3918939 4151 1938 9 0 3909658 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15675756

[startup+0.100458 s]
/proc/loadavg: 7.92 8.04 7.20 5/199 22879
/proc/meminfo: memFree=31021800/32951124 swapFree=67063272/67111528
[pid=22879] ppid=22877 vsize=15676332 CPUtime=0.09 cores=1,3,5,7
/proc/22879/stat : 22879 (java) S 22877 22879 22550 0 -1 4202496 5572 0 1 0 8 1 0 0 25 0 18 0 876363216 16052563968 4975 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22879/statm: 3919083 4975 2117 9 0 3909802 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676332

[startup+0.300427 s]
/proc/loadavg: 7.92 8.04 7.20 5/199 22879
/proc/meminfo: memFree=31021800/32951124 swapFree=67063272/67111528
[pid=22879] ppid=22877 vsize=15679500 CPUtime=0.51 cores=1,3,5,7
/proc/22879/stat : 22879 (java) S 22877 22879 22550 0 -1 4202496 15659 0 1 0 48 3 0 0 25 0 18 0 876363216 16055808000 14099 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22879/statm: 3919875 14106 2207 9 0 3910594 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15679500

[startup+0.700342 s]
/proc/loadavg: 7.92 8.04 7.20 5/199 22879
/proc/meminfo: memFree=31021800/32951124 swapFree=67063272/67111528
[pid=22879] ppid=22877 vsize=15679500 CPUtime=0.92 cores=1,3,5,7
/proc/22879/stat : 22879 (java) S 22877 22879 22550 0 -1 4202496 41867 0 1 0 86 6 0 0 25 0 18 0 876363216 16055808000 40304 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22879/statm: 3919875 40304 2223 9 0 3910594 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15679500

[startup+1.5012 s]
/proc/loadavg: 7.92 8.04 7.20 7/217 22897
/proc/meminfo: memFree=30863016/32951124 swapFree=67063272/67111528
[pid=22879] ppid=22877 vsize=15703848 CPUtime=2.08 cores=1,3,5,7
/proc/22879/stat : 22879 (java) S 22877 22879 22550 0 -1 4202496 55090 0 1 0 201 7 0 0 25 0 22 0 876363216 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22879/statm: 3925962 51523 2261 9 0 3916681 0
[pid=22879/tid=22881] ppid=22877 vsize=15703848 CPUtime=1.46 cores=1,3,5,7
/proc/22879/task/22881/stat : 22881 (java) R 22877 22879 22550 0 -1 4202560 35620 0 1 0 141 5 0 0 21 0 22 0 876363216 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 46912505719458 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22879/tid=22882] ppid=22877 vsize=15703848 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22882/stat : 22882 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876363217 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22883] ppid=22877 vsize=15703848 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22883/stat : 22883 (java) S 22877 22879 22550 0 -1 4202560 1591 0 0 0 0 0 0 0 16 0 22 0 876363217 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22884] ppid=22877 vsize=15703848 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22884/stat : 22884 (java) S 22877 22879 22550 0 -1 4202560 1389 0 0 0 0 0 0 0 16 0 22 0 876363217 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22885] ppid=22877 vsize=15703848 CPUtime=0.01 cores=1,3,5,7
/proc/22879/task/22885/stat : 22885 (java) S 22877 22879 22550 0 -1 4202560 2161 0 0 0 1 0 0 0 16 0 22 0 876363217 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 1 0 0 0
[pid=22879/tid=22886] ppid=22877 vsize=15703848 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22886/stat : 22886 (java) S 22877 22879 22550 0 -1 4202560 441 0 0 0 0 0 0 0 15 0 22 0 876363217 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22887] ppid=22877 vsize=15703848 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22887/stat : 22887 (java) S 22877 22879 22550 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 22 0 876363217 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 1 0 0 0
[pid=22879/tid=22888] ppid=22877 vsize=15703848 CPUtime=0.01 cores=1,3,5,7
/proc/22879/task/22888/stat : 22888 (java) S 22877 22879 22550 0 -1 4202560 1157 0 0 0 1 0 0 0 16 0 22 0 876363217 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22889] ppid=22877 vsize=15703848 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22889/stat : 22889 (java) S 22877 22879 22550 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 22 0 876363217 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22890] ppid=22877 vsize=15703848 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22890/stat : 22890 (java) S 22877 22879 22550 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 876363218 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 0 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22891] ppid=22877 vsize=15703848 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22891/stat : 22891 (java) S 22877 22879 22550 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 876363218 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22892] ppid=22877 vsize=15703848 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22892/stat : 22892 (java) S 22877 22879 22550 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 876363218 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22893] ppid=22877 vsize=15703848 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22893/stat : 22893 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876363221 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347716017 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22894] ppid=22877 vsize=15703848 CPUtime=0.33 cores=1,3,5,7
/proc/22879/task/22894/stat : 22894 (java) R 22877 22879 22550 0 -1 4202560 8235 0 0 0 33 0 0 0 16 0 22 0 876363221 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 47942808680213 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22879/tid=22895] ppid=22877 vsize=15703848 CPUtime=0.19 cores=1,3,5,7
/proc/22879/task/22895/stat : 22895 (java) S 22877 22879 22550 0 -1 4202560 2577 0 0 0 19 0 0 0 15 0 22 0 876363221 16080740352 51523 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=15703848 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22896/stat : 22896 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876363221 16080740352 51524 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22897] ppid=22877 vsize=15703848 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22897/stat : 22897 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876363221 16080740352 51524 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 15703848

[startup+3.10093 s]
/proc/loadavg: 7.92 8.04 7.20 7/221 22901
/proc/meminfo: memFree=30797884/32951124 swapFree=67063272/67111528
[pid=22879] ppid=22877 vsize=15715376 CPUtime=5.05 cores=1,3,5,7
/proc/22879/stat : 22879 (java) S 22877 22879 22550 0 -1 4202496 65690 0 1 0 497 8 0 0 25 0 22 0 876363216 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22879/statm: 3928844 54701 2267 9 0 3919563 0
[pid=22879/tid=22881] ppid=22877 vsize=15715376 CPUtime=3.05 cores=1,3,5,7
/proc/22879/task/22881/stat : 22881 (java) S 22877 22879 22550 0 -1 4202560 35674 0 1 0 300 5 0 0 25 0 22 0 876363216 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22882] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22882/stat : 22882 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876363217 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22883] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22883/stat : 22883 (java) S 22877 22879 22550 0 -1 4202560 1591 0 0 0 0 0 0 0 16 0 22 0 876363217 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22884] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22884/stat : 22884 (java) S 22877 22879 22550 0 -1 4202560 1389 0 0 0 0 0 0 0 16 0 22 0 876363217 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22885] ppid=22877 vsize=15715376 CPUtime=0.01 cores=1,3,5,7
/proc/22879/task/22885/stat : 22885 (java) S 22877 22879 22550 0 -1 4202560 2161 0 0 0 1 0 0 0 16 0 22 0 876363217 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 1 0 0 0
[pid=22879/tid=22886] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22886/stat : 22886 (java) S 22877 22879 22550 0 -1 4202560 441 0 0 0 0 0 0 0 15 0 22 0 876363217 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22887] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22887/stat : 22887 (java) S 22877 22879 22550 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 22 0 876363217 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 1 0 0 0
[pid=22879/tid=22888] ppid=22877 vsize=15715376 CPUtime=0.01 cores=1,3,5,7
/proc/22879/task/22888/stat : 22888 (java) S 22877 22879 22550 0 -1 4202560 1157 0 0 0 1 0 0 0 16 0 22 0 876363217 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22889] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22889/stat : 22889 (java) S 22877 22879 22550 0 -1 4202560 313 0 0 0 0 0 0 0 15 0 22 0 876363217 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22890] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22890/stat : 22890 (java) S 22877 22879 22550 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 876363218 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 0 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22891] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22891/stat : 22891 (java) S 22877 22879 22550 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 876363218 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22892] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22892/stat : 22892 (java) S 22877 22879 22550 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 876363218 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22893] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22893/stat : 22893 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876363221 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347716017 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22894] ppid=22877 vsize=15715376 CPUtime=1.3 cores=1,3,5,7
/proc/22879/task/22894/stat : 22894 (java) S 22877 22879 22550 0 -1 4202560 16790 0 0 0 129 1 0 0 15 0 22 0 876363221 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 1 0 0 0
[pid=22879/tid=22895] ppid=22877 vsize=15715376 CPUtime=0.6 cores=1,3,5,7
/proc/22879/task/22895/stat : 22895 (java) S 22877 22879 22550 0 -1 4202560 4567 0 0 0 60 0 0 0 16 0 22 0 876363221 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22896/stat : 22896 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876363221 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22897] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22897/stat : 22897 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876363221 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22898] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22898/stat : 22898 (java) S 22877 22879 22550 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 876363323 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22899] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22899/stat : 22899 (java) S 22877 22879 22550 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 876363323 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22900] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22900/stat : 22900 (java) S 22877 22879 22550 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 876363323 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22901] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22901/stat : 22901 (java) S 22877 22879 22550 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 876363323 16092545024 54701 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 15715376

[startup+6.30132 s]
/proc/loadavg: 7.60 7.98 7.19 9/221 22901
/proc/meminfo: memFree=30370508/32951124 swapFree=67063272/67111528
[pid=22879] ppid=22877 vsize=15715376 CPUtime=15 cores=1,3,5,7
/proc/22879/stat : 22879 (java) S 22877 22879 22550 0 -1 4202496 243858 0 1 0 1467 33 0 0 25 0 22 0 876363216 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22879/statm: 3928844 230842 2275 9 0 3919563 0
[pid=22879/tid=22881] ppid=22877 vsize=15715376 CPUtime=3.05 cores=1,3,5,7
/proc/22879/task/22881/stat : 22881 (java) S 22877 22879 22550 0 -1 4202560 35674 0 1 0 300 5 0 0 25 0 22 0 876363216 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22882] ppid=22877 vsize=15715376 CPUtime=0.06 cores=1,3,5,7
/proc/22879/task/22882/stat : 22882 (java) S 22877 22879 22550 0 -1 4202560 8818 0 0 0 6 0 0 0 15 0 22 0 876363217 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22883] ppid=22877 vsize=15715376 CPUtime=0.1 cores=1,3,5,7
/proc/22879/task/22883/stat : 22883 (java) S 22877 22879 22550 0 -1 4202560 18140 0 0 0 8 2 0 0 16 0 22 0 876363217 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 1 0 0 0
[pid=22879/tid=22884] ppid=22877 vsize=15715376 CPUtime=0.09 cores=1,3,5,7
/proc/22879/task/22884/stat : 22884 (java) S 22877 22879 22550 0 -1 4202560 14550 0 0 0 8 1 0 0 16 0 22 0 876363217 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22885] ppid=22877 vsize=15715376 CPUtime=0.19 cores=1,3,5,7
/proc/22879/task/22885/stat : 22885 (java) S 22877 22879 22550 0 -1 4202560 22669 0 0 0 16 3 0 0 16 0 22 0 876363217 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22886] ppid=22877 vsize=15715376 CPUtime=0.08 cores=1,3,5,7
/proc/22879/task/22886/stat : 22886 (java) S 22877 22879 22550 0 -1 4202560 13238 0 0 0 7 1 0 0 15 0 22 0 876363217 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22887] ppid=22877 vsize=15715376 CPUtime=0.19 cores=1,3,5,7
/proc/22879/task/22887/stat : 22887 (java) S 22877 22879 22550 0 -1 4202560 21598 0 0 0 16 3 0 0 16 0 22 0 876363217 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22888] ppid=22877 vsize=15715376 CPUtime=0.13 cores=1,3,5,7
/proc/22879/task/22888/stat : 22888 (java) S 22877 22879 22550 0 -1 4202560 13881 0 0 0 12 1 0 0 15 0 22 0 876363217 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22889] ppid=22877 vsize=15715376 CPUtime=0.1 cores=1,3,5,7
/proc/22879/task/22889/stat : 22889 (java) S 22877 22879 22550 0 -1 4202560 13611 0 0 0 9 1 0 0 15 0 22 0 876363217 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 1 0 0 0
[pid=22879/tid=22890] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22890/stat : 22890 (java) S 22877 22879 22550 0 -1 4202560 441 0 0 0 0 0 0 0 15 0 22 0 876363218 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 0 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22891] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22891/stat : 22891 (java) S 22877 22879 22550 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 876363218 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22892] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22892/stat : 22892 (java) S 22877 22879 22550 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 876363218 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22893] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22893/stat : 22893 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876363221 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347716017 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22894] ppid=22877 vsize=15715376 CPUtime=1.45 cores=1,3,5,7
/proc/22879/task/22894/stat : 22894 (java) S 22877 22879 22550 0 -1 4202560 16811 0 0 0 144 1 0 0 15 0 22 0 876363221 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22895] ppid=22877 vsize=15715376 CPUtime=0.93 cores=1,3,5,7
/proc/22879/task/22895/stat : 22895 (java) S 22877 22879 22550 0 -1 4202560 5937 0 0 0 92 1 0 0 15 0 22 0 876363221 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22896/stat : 22896 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876363221 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22897] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22897/stat : 22897 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 876363221 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22898] ppid=22877 vsize=15715376 CPUtime=2.1 cores=1,3,5,7
/proc/22879/task/22898/stat : 22898 (java) R 22877 22879 22550 0 -1 4202560 17023 0 0 0 208 2 0 0 16 0 22 0 876363323 16092545024 230842 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 47942811678818 0 4 0 16800975 0 0 0 -1 7 0 0 0

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

/proc/22879/task/22886/stat : 22886 (java) S 22877 22879 22550 0 -1 4202560 314990 0 0 0 281 51 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22887] ppid=22877 vsize=15715376 CPUtime=4.04 cores=1,3,5,7
/proc/22879/task/22887/stat : 22887 (java) S 22877 22879 22550 0 -1 4202560 488625 0 0 0 325 79 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22888] ppid=22877 vsize=15715376 CPUtime=2.92 cores=1,3,5,7
/proc/22879/task/22888/stat : 22888 (java) S 22877 22879 22550 0 -1 4202560 369981 0 0 0 235 57 0 0 15 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22889] ppid=22877 vsize=15715376 CPUtime=3.53 cores=1,3,5,7
/proc/22879/task/22889/stat : 22889 (java) S 22877 22879 22550 0 -1 4202560 346527 0 0 0 299 54 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22890] ppid=22877 vsize=15715376 CPUtime=778.69 cores=1,3,5,7
/proc/22879/task/22890/stat : 22890 (java) R 22877 22879 22550 0 -1 4202560 518270 0 0 0 77777 92 0 0 18 0 22 0 876363218 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 47942810717419 0 0 0 16800975 0 0 0 -1 7 0 0 0
[pid=22879/tid=22891] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22891/stat : 22891 (java) S 22877 22879 22550 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 876363218 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22892] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22892/stat : 22892 (java) S 22877 22879 22550 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 876363218 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22893] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22893/stat : 22893 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347716017 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22894] ppid=22877 vsize=15715376 CPUtime=1.55 cores=1,3,5,7
/proc/22879/task/22894/stat : 22894 (java) S 22877 22879 22550 0 -1 4202560 16827 0 0 0 154 1 0 0 15 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22895] ppid=22877 vsize=15715376 CPUtime=1.03 cores=1,3,5,7
/proc/22879/task/22895/stat : 22895 (java) S 22877 22879 22550 0 -1 4202560 5950 0 0 0 102 1 0 0 15 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22896/stat : 22896 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22897] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22897/stat : 22897 (java) S 22877 22879 22550 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22898] ppid=22877 vsize=15715376 CPUtime=390.28 cores=1,3,5,7
/proc/22879/task/22898/stat : 22898 (java) S 22877 22879 22550 0 -1 4202560 61354 0 0 0 39013 15 0 0 15 0 22 0 876363323 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22899] ppid=22877 vsize=15715376 CPUtime=391.23 cores=1,3,5,7
/proc/22879/task/22899/stat : 22899 (java) S 22877 22879 22550 0 -1 4202560 59957 0 0 0 39110 13 0 0 15 0 22 0 876363323 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22900] ppid=22877 vsize=15715376 CPUtime=391.61 cores=1,3,5,7
/proc/22879/task/22900/stat : 22900 (java) S 22877 22879 22550 0 -1 4202560 58015 0 0 0 39147 14 0 0 15 0 22 0 876363323 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22901] ppid=22877 vsize=15715376 CPUtime=392.12 cores=1,3,5,7
/proc/22879/task/22901/stat : 22901 (java) S 22877 22879 22550 0 -1 4202560 64177 0 0 0 39197 15 0 0 15 0 22 0 876363323 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2378.06
Current children cumulated vsize (KiB) 15715376

[startup+1242.3 s]
/proc/loadavg: 5.35 5.52 6.20 6/221 22996
/proc/meminfo: memFree=16450408/32951124 swapFree=67063272/67111528
[pid=22879] ppid=22877 vsize=15715376 CPUtime=2451.18 cores=1,3,5,7
/proc/22879/stat : 22879 (java) S 22877 22879 22550 0 -1 4202496 3906233 0 1 0 244461 657 0 0 25 0 22 0 876363216 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22879/statm: 3928844 3846707 2294 9 0 3919563 0
[pid=22879/tid=22881] ppid=22877 vsize=15715376 CPUtime=3.05 cores=1,3,5,7
/proc/22879/task/22881/stat : 22881 (java) S 22877 22879 22550 0 -1 4202560 35674 0 1 0 300 5 0 0 25 0 22 0 876363216 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22882] ppid=22877 vsize=15715376 CPUtime=4.11 cores=1,3,5,7
/proc/22879/task/22882/stat : 22882 (java) S 22877 22879 22550 0 -1 4202560 371827 0 0 0 351 60 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22883] ppid=22877 vsize=15715376 CPUtime=3.63 cores=1,3,5,7
/proc/22879/task/22883/stat : 22883 (java) S 22877 22879 22550 0 -1 4202560 340961 0 0 0 308 55 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22884] ppid=22877 vsize=15715376 CPUtime=3.19 cores=1,3,5,7
/proc/22879/task/22884/stat : 22884 (java) S 22877 22879 22550 0 -1 4202560 410588 0 0 0 254 65 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22885] ppid=22877 vsize=15715376 CPUtime=3.6 cores=1,3,5,7
/proc/22879/task/22885/stat : 22885 (java) S 22877 22879 22550 0 -1 4202560 440701 0 0 0 294 66 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22886] ppid=22877 vsize=15715376 CPUtime=3.32 cores=1,3,5,7
/proc/22879/task/22886/stat : 22886 (java) S 22877 22879 22550 0 -1 4202560 314990 0 0 0 281 51 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22887] ppid=22877 vsize=15715376 CPUtime=4.04 cores=1,3,5,7
/proc/22879/task/22887/stat : 22887 (java) S 22877 22879 22550 0 -1 4202560 488625 0 0 0 325 79 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22888] ppid=22877 vsize=15715376 CPUtime=2.92 cores=1,3,5,7
/proc/22879/task/22888/stat : 22888 (java) S 22877 22879 22550 0 -1 4202560 369981 0 0 0 235 57 0 0 15 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22889] ppid=22877 vsize=15715376 CPUtime=3.53 cores=1,3,5,7
/proc/22879/task/22889/stat : 22889 (java) S 22877 22879 22550 0 -1 4202560 346527 0 0 0 299 54 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22890] ppid=22877 vsize=15715376 CPUtime=834.26 cores=1,3,5,7
/proc/22879/task/22890/stat : 22890 (java) R 22877 22879 22550 0 -1 4202560 518272 0 0 0 83331 95 0 0 18 0 22 0 876363218 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 47942808752416 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=22879/tid=22891] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22891/stat : 22891 (java) S 22877 22879 22550 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 876363218 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22892] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22892/stat : 22892 (java) S 22877 22879 22550 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 876363218 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22893] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22893/stat : 22893 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347716017 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22894] ppid=22877 vsize=15715376 CPUtime=1.55 cores=1,3,5,7
/proc/22879/task/22894/stat : 22894 (java) S 22877 22879 22550 0 -1 4202560 16827 0 0 0 154 1 0 0 15 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22895] ppid=22877 vsize=15715376 CPUtime=1.03 cores=1,3,5,7
/proc/22879/task/22895/stat : 22895 (java) S 22877 22879 22550 0 -1 4202560 5950 0 0 0 102 1 0 0 15 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22896/stat : 22896 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22897] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22897/stat : 22897 (java) S 22877 22879 22550 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22898] ppid=22877 vsize=15715376 CPUtime=394.66 cores=1,3,5,7
/proc/22879/task/22898/stat : 22898 (java) S 22877 22879 22550 0 -1 4202560 61411 0 0 0 39450 16 0 0 15 0 22 0 876363323 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22899] ppid=22877 vsize=15715376 CPUtime=395.63 cores=1,3,5,7
/proc/22879/task/22899/stat : 22899 (java) S 22877 22879 22550 0 -1 4202560 60061 0 0 0 39550 13 0 0 15 0 22 0 876363323 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 1 0 0 0
[pid=22879/tid=22900] ppid=22877 vsize=15715376 CPUtime=395.99 cores=1,3,5,7
/proc/22879/task/22900/stat : 22900 (java) S 22877 22879 22550 0 -1 4202560 58093 0 0 0 39584 15 0 0 16 0 22 0 876363323 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22901] ppid=22877 vsize=15715376 CPUtime=396.52 cores=1,3,5,7
/proc/22879/task/22901/stat : 22901 (java) S 22877 22879 22550 0 -1 4202560 64297 0 0 0 39636 16 0 0 15 0 22 0 876363323 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2451.18
Current children cumulated vsize (KiB) 15715376



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 5.56 5.55 6.17 6/221 22997
/proc/meminfo: memFree=16473396/32951124 swapFree=67063272/67111528
[pid=22879] ppid=22877 vsize=15715376 CPUtime=2521.12 cores=1,3,5,7
/proc/22879/stat : 22879 (java) S 22877 22879 22550 0 -1 4202496 3906564 0 1 0 251449 663 0 0 25 0 22 0 876363216 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22879/statm: 3928844 3846707 2294 9 0 3919563 0
[pid=22879/tid=22881] ppid=22877 vsize=15715376 CPUtime=3.05 cores=1,3,5,7
/proc/22879/task/22881/stat : 22881 (java) S 22877 22879 22550 0 -1 4202560 35674 0 1 0 300 5 0 0 25 0 22 0 876363216 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22882] ppid=22877 vsize=15715376 CPUtime=4.11 cores=1,3,5,7
/proc/22879/task/22882/stat : 22882 (java) S 22877 22879 22550 0 -1 4202560 371827 0 0 0 351 60 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22883] ppid=22877 vsize=15715376 CPUtime=3.63 cores=1,3,5,7
/proc/22879/task/22883/stat : 22883 (java) S 22877 22879 22550 0 -1 4202560 340961 0 0 0 308 55 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22884] ppid=22877 vsize=15715376 CPUtime=3.19 cores=1,3,5,7
/proc/22879/task/22884/stat : 22884 (java) S 22877 22879 22550 0 -1 4202560 410588 0 0 0 254 65 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22885] ppid=22877 vsize=15715376 CPUtime=3.6 cores=1,3,5,7
/proc/22879/task/22885/stat : 22885 (java) S 22877 22879 22550 0 -1 4202560 440701 0 0 0 294 66 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22886] ppid=22877 vsize=15715376 CPUtime=3.32 cores=1,3,5,7
/proc/22879/task/22886/stat : 22886 (java) S 22877 22879 22550 0 -1 4202560 314990 0 0 0 281 51 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22887] ppid=22877 vsize=15715376 CPUtime=4.04 cores=1,3,5,7
/proc/22879/task/22887/stat : 22887 (java) S 22877 22879 22550 0 -1 4202560 488625 0 0 0 325 79 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22888] ppid=22877 vsize=15715376 CPUtime=2.92 cores=1,3,5,7
/proc/22879/task/22888/stat : 22888 (java) S 22877 22879 22550 0 -1 4202560 369981 0 0 0 235 57 0 0 15 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22889] ppid=22877 vsize=15715376 CPUtime=3.53 cores=1,3,5,7
/proc/22879/task/22889/stat : 22889 (java) S 22877 22879 22550 0 -1 4202560 346527 0 0 0 299 54 0 0 16 0 22 0 876363217 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22890] ppid=22877 vsize=15715376 CPUtime=887.82 cores=1,3,5,7
/proc/22879/task/22890/stat : 22890 (java) R 22877 22879 22550 0 -1 4202560 518276 0 0 0 88683 99 0 0 18 0 22 0 876363218 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 47942808727901 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=22879/tid=22891] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22891/stat : 22891 (java) S 22877 22879 22550 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 876363218 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22892] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22892/stat : 22892 (java) S 22877 22879 22550 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 876363218 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22893] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22893/stat : 22893 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347716017 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22894] ppid=22877 vsize=15715376 CPUtime=1.55 cores=1,3,5,7
/proc/22879/task/22894/stat : 22894 (java) S 22877 22879 22550 0 -1 4202560 16827 0 0 0 154 1 0 0 15 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22895] ppid=22877 vsize=15715376 CPUtime=1.03 cores=1,3,5,7
/proc/22879/task/22895/stat : 22895 (java) S 22877 22879 22550 0 -1 4202560 5950 0 0 0 102 1 0 0 15 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22896/stat : 22896 (java) S 22877 22879 22550 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
[pid=22879/tid=22897] ppid=22877 vsize=15715376 CPUtime=0 cores=1,3,5,7
/proc/22879/task/22897/stat : 22897 (java) S 22877 22879 22550 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 876363221 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708928 0 4 0 16800975 18446604462495188224 0 0 -1 1 0 0 0
[pid=22879/tid=22898] ppid=22877 vsize=15715376 CPUtime=398.73 cores=1,3,5,7
/proc/22879/task/22898/stat : 22898 (java) S 22877 22879 22550 0 -1 4202560 61480 0 0 0 39857 16 0 0 15 0 22 0 876363323 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 3 0 0 0
[pid=22879/tid=22899] ppid=22877 vsize=15715376 CPUtime=399.72 cores=1,3,5,7
/proc/22879/task/22899/stat : 22899 (java) S 22877 22879 22550 0 -1 4202560 60206 0 0 0 39958 14 0 0 15 0 22 0 876363323 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 5 0 0 0
[pid=22879/tid=22900] ppid=22877 vsize=15715376 CPUtime=400.07 cores=1,3,5,7
/proc/22879/task/22900/stat : 22900 (java) S 22877 22879 22550 0 -1 4202560 58136 0 0 0 39992 15 0 0 15 0 22 0 876363323 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 1 0 0 0
[pid=22879/tid=22901] ppid=22877 vsize=15715376 CPUtime=400.63 cores=1,3,5,7
/proc/22879/task/22901/stat : 22901 (java) S 22877 22879 22550 0 -1 4202560 64363 0 0 0 40047 16 0 0 15 0 22 0 876363323 16092545024 3846707 33554432000 1073741824 1073778376 140733830661680 18446744073709551615 232347708313 0 4 0 16800975 18446604462495188224 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2521.12
Current children cumulated vsize (KiB) 15715376

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -22879

[startup+1302.3 s]
/proc/loadavg: 5.56 5.55 6.17 2/201 23003
/proc/meminfo: memFree=16743752/32951124 swapFree=67063272/67111528
[pid=22879] ppid=22877 vsize=0 CPUtime=2523.47 cores=1,3,5,7
/proc/22879/stat : 22879 (java) Z 22877 22879 22550 0 -1 4203548 3906600 0 1 0 251644 703 0 0 18 0 2 0 876363216 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22879/statm: 0 0 0 0 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=0 CPUtime=0.4 cores=1,3,5,7
/proc/22879/task/22896/stat : 22896 (java) R 22877 22879 22550 0 -1 4203588 1 0 0 0 0 40 0 0 18 0 2 0 876363221 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2523.47
Current children cumulated vsize (KiB) 0

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

[startup+1302.3 s]
/proc/loadavg: 5.56 5.55 6.17 2/201 23003
/proc/meminfo: memFree=16743752/32951124 swapFree=67063272/67111528
[pid=22879] ppid=22877 vsize=0 CPUtime=2523.47 cores=1,3,5,7
/proc/22879/stat : 22879 (java) Z 22877 22879 22550 0 -1 4203548 3906600 0 1 0 251644 703 0 0 18 0 2 0 876363216 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22879/statm: 0 0 0 0 0 0 0
[pid=22879/tid=22896] ppid=22877 vsize=0 CPUtime=0.4 cores=1,3,5,7
/proc/22879/task/22896/stat : 22896 (java) R 22877 22879 22550 0 -1 4203588 1 0 0 0 0 40 0 0 18 0 2 0 876363221 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2523.47
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1302.4
CPU time (s): 2523.58
CPU user time (s): 2516.44
CPU system time (s): 7.13492
CPU usage (%): 193.764
Max. virtual memory (cumulated for all children) (KiB): 15717760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.44
system time used= 7.13492
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3906600
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= 66816
involuntary context switches= 36214

runsolver used 2.19367 second user time and 5.17421 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-09 21:27:31
IDJOB=3311316
IDBENCH=82701
IDSOLVER=1698
FILE ID=node132/3311316-1307647650
RUNJOBID= node132-1307645235-22569
PBS_JOBID= 13549411
Free space on /tmp= 74180 MiB

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

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

MD5SUM BENCH= d8337de8a71a630ccf2dd02943cd7d7f
RANDOM SEED=2139510630

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31022592 kB
Buffers:        189316 kB
Cached:         382012 kB
SwapCached:       9968 kB
Active:        1450872 kB
Inactive:       271404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31022592 kB
SwapTotal:    67111528 kB
SwapFree:     67063272 kB
Dirty:            5864 kB
Writeback:           0 kB
AnonPages:     1148500 kB
Mapped:          17780 kB
Slab:           140284 kB
PageTables:       7172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1444580 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74180 MiB
End job on node132 at 2011-06-09 21:49:13