Trace number 3312347

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1? (TO) 2446.82 1302.28

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf
MD5SUM4f5a8cb56de51e6630c119bd6436cc16
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark98.77
Satisfiable
(Un)Satisfiability was proved
Number of variables40000
Number of clauses168000
Sum of the clauses size504000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3168000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.11	12:00 INFO : Reading from input HOME/instance-3312347-1304111520.cnf
1.13/0.90	Executor set job limit to 1000000
1.13/0.90	Executor set job limit to 1000000
1.13/0.90	Executor set job limit to 1000000
1.13/0.90	Executor set job limit to 1000000
1.13/0.90	Starting Executor!
1.13/0.90	Starting Executor!
1.13/0.90	Starting Executor!
1.13/0.90	Starting Executor!
3.86/2.41	12:03 INFO : 39836 variables remaining out of 40000
3.86/2.41	12:03 INFO : 667708 literals remaining out of 672000
1329.12/361.09	17:59 ERROR: Failed to solve instance
1329.12/361.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1329.12/361.09		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1329.12/361.09		at gnu.trove.THash.postInsertHook(THash.java:370)
1329.12/361.09		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1329.12/361.09		at ibis.structure.WatchLists.build(WatchLists.java:56)
1329.12/361.09		at ibis.structure.Solver.<init>(Solver.java:45)
1329.12/361.09		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1329.12/361.09		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1329.12/361.09		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1329.12/361.09		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1329.12/361.09		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1329.12/361.09		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1329.12/361.09		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1329.12/361.09		at ibis.constellation.Executor.processActivities(Executor.java:75)
1329.12/361.09		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1329.12/361.09		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1329.12/361.09		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1333.56/365.45	18:06 ERROR: Failed to solve instance
1333.56/365.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1333.56/365.45		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1333.56/365.45		at gnu.trove.THash.postInsertHook(THash.java:370)
1333.56/365.45		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1333.56/365.45		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1333.56/365.45		at ibis.structure.Subsumming.run(Subsumming.java:58)
1333.56/365.45		at ibis.structure.Solver.simplify(Solver.java:205)
1333.56/365.45		at ibis.structure.Solver.solve(Solver.java:113)
1333.56/365.45		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1333.56/365.45		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1333.56/365.45		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1333.56/365.45		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1333.56/365.45		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1333.56/365.45		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1333.56/365.45		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1333.56/365.45		at ibis.constellation.Executor.processActivities(Executor.java:75)
1333.56/365.45		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1333.56/365.45		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1333.56/365.45		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1335.77/367.65	18:08 ERROR: Failed to solve instance
1335.77/367.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1335.77/367.65		at ibis.structure.WatchLists.build(WatchLists.java:47)
1335.77/367.65		at ibis.structure.Solver.<init>(Solver.java:45)
1335.77/367.65		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1335.77/367.65		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1335.77/367.65		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1335.77/367.65		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1335.77/367.65		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1335.77/367.65		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1335.77/367.65		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1335.77/367.65		at ibis.constellation.Executor.processActivities(Executor.java:75)
1335.77/367.65		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1335.77/367.65		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1335.77/367.65		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1338.09/369.97	18:10 ERROR: Failed to solve instance
1338.09/369.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1338.09/369.97		at gnu.trove.TPrimitiveHash.setUp(TPrimitiveHash.java:123)
1338.09/369.97		at gnu.trove.TIntHash.setUp(TIntHash.java:133)
1338.09/369.97		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83)
1338.09/369.97		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1338.09/369.97		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1338.09/369.97		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1338.09/369.97		at ibis.structure.WatchLists.build(WatchLists.java:47)
1338.09/369.97		at ibis.structure.Solver.<init>(Solver.java:45)
1338.09/369.97		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1338.09/369.97		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1338.09/369.97		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1338.09/369.97		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1338.09/369.97		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1338.09/369.97		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1338.09/369.97		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1338.09/369.97		at ibis.constellation.Executor.processActivities(Executor.java:75)
1338.09/369.97		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1338.09/369.97		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1338.09/369.97		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1349.66/379.55	18:20 ERROR: Failed to solve instance
1349.66/379.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1351.87/381.80	18:22 ERROR: Failed to solve instance
1351.87/381.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1352.49/382.31	18:23 ERROR: Failed to solve instance
1352.49/382.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1353.42/383.30	18:24 ERROR: Failed to solve instance
1353.42/383.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1354.04/383.83	18:24 ERROR: Failed to solve instance
1354.04/383.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1354.57/384.41	18:25 ERROR: Failed to solve instance
1354.57/384.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1359.98/388.47	18:29 ERROR: Failed to solve instance
1359.98/388.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1361.01/389.46	18:30 ERROR: Failed to solve instance
1361.01/389.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1361.64/390.03	18:30 ERROR: Failed to solve instance
1361.64/390.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1363.86/392.32	18:33 ERROR: Failed to solve instance
1363.86/392.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1367.41/395.16	18:35 ERROR: Failed to solve instance
1367.41/395.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1369.79/397.39	18:38 ERROR: Failed to solve instance
1369.79/397.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1370.41/397.91	18:38 ERROR: Failed to solve instance
1370.41/397.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1370.94/398.46	18:39 ERROR: Failed to solve instance
1370.94/398.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1380.83/406.44	18:47 ERROR: Failed to solve instance
1380.83/406.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1381.56/407.20	18:48 ERROR: Failed to solve instance
1381.56/407.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1382.18/407.76	18:48 ERROR: Failed to solve instance
1382.18/407.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1385.10/410.27	18:51 ERROR: Failed to solve instance
1385.10/410.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1387.86/412.77	18:53 ERROR: Failed to solve instance
1387.86/412.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1388.39/413.27	18:54 ERROR: Failed to solve instance
1388.39/413.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1388.91/413.80	18:54 ERROR: Failed to solve instance
1388.91/413.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1394.92/418.32	18:59 ERROR: Failed to solve instance
1394.92/418.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1398.04/420.92	19:01 ERROR: Failed to solve instance
1398.04/420.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1398.56/421.41	19:02 ERROR: Failed to solve instance
1398.56/421.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1399.08/421.95	19:02 ERROR: Failed to solve instance
1399.08/421.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1405.86/427.47	19:08 ERROR: Failed to solve instance
1405.86/427.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1406.88/428.42	19:09 ERROR: Failed to solve instance
1406.88/428.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1407.39/428.95	19:09 ERROR: Failed to solve instance
1407.39/428.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1407.80/429.37	19:10 ERROR: Failed to solve instance
1407.80/429.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1408.42/429.92	19:10 ERROR: Failed to solve instance
1408.42/429.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1412.29/433.18	19:14 ERROR: Failed to solve instance
1412.29/433.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1413.33/434.14	19:14 ERROR: Failed to solve instance
1413.33/434.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1413.85/434.61	19:15 ERROR: Failed to solve instance
1413.85/434.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1414.37/435.12	19:15 ERROR: Failed to solve instance
1414.37/435.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1414.90/435.68	19:16 ERROR: Failed to solve instance
1414.90/435.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1423.92/442.66	19:23 ERROR: Failed to solve instance
1423.92/442.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1424.44/443.19	19:24 ERROR: Failed to solve instance
1424.44/443.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1425.64/444.20	19:24 ERROR: Failed to solve instance
1425.64/444.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1426.24/444.83	19:25 ERROR: Failed to solve instance
1426.24/444.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1426.66/445.31	19:26 ERROR: Failed to solve instance
1426.66/445.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1435.83/452.52	19:33 ERROR: Failed to solve instance
1435.83/452.52	java.lang.OutOfMemoryError: Java heap space
1436.03/452.77	19:33 ERROR: Failed to solve instance
1436.03/452.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1436.65/453.35	19:34 ERROR: Failed to solve instance
1436.65/453.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1439.77/456.17	19:36 ERROR: Failed to solve instance
1439.77/456.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1440.40/456.78	19:37 ERROR: Failed to solve instance
1440.40/456.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1446.71/461.78	19:42 ERROR: Failed to solve instance
1446.71/461.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1447.23/462.28	19:43 ERROR: Failed to solve instance
1447.23/462.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.04/467.72	19:48 ERROR: Failed to solve instance
1454.04/467.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.54/468.21	19:49 ERROR: Failed to solve instance
1454.54/468.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.05/468.78	19:49 ERROR: Failed to solve instance
1455.05/468.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.24/469.83	19:50 ERROR: Failed to solve instance
1456.24/469.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1461.31/474.08	19:54 ERROR: Failed to solve instance
1461.31/474.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1461.72/474.49	19:55 ERROR: Failed to solve instance
1461.72/474.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1462.65/475.37	19:56 ERROR: Failed to solve instance
1462.65/475.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1463.17/475.85	19:56 ERROR: Failed to solve instance
1463.17/475.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1463.70/476.38	19:57 ERROR: Failed to solve instance
1463.70/476.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1464.34/476.95	19:57 ERROR: Failed to solve instance
1464.34/476.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1469.00/480.89	20:01 ERROR: Failed to solve instance
1469.00/480.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1469.62/481.40	20:02 ERROR: Failed to solve instance
1469.62/481.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.14/481.97	20:02 ERROR: Failed to solve instance
1470.14/481.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1480.55/490.26	20:11 ERROR: Failed to solve instance
1480.55/490.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1481.57/491.24	20:12 ERROR: Failed to solve instance
1481.57/491.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1482.09/491.75	20:12 ERROR: Failed to solve instance
1482.09/491.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1482.60/492.27	20:13 ERROR: Failed to solve instance
1482.60/492.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.23/492.89	20:13 ERROR: Failed to solve instance
1483.23/492.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1492.89/500.82	20:21 ERROR: Failed to solve instance
1492.89/500.82	java.lang.OutOfMemoryError: Java heap space
1493.18/501.17	20:22 ERROR: Failed to solve instance
1493.18/501.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1493.69/501.69	20:22 ERROR: Failed to solve instance
1493.69/501.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1494.71/502.69	20:23 ERROR: Failed to solve instance
1494.71/502.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1495.33/503.22	20:24 ERROR: Failed to solve instance
1495.33/503.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1495.85/503.79	20:24 ERROR: Failed to solve instance
1495.85/503.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1496.47/504.39	20:25 ERROR: Failed to solve instance
1496.47/504.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1506.66/512.38	20:33 ERROR: Failed to solve instance
1506.66/512.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1508.27/513.67	20:34 ERROR: Failed to solve instance
1508.27/513.67	java.lang.OutOfMemoryError: Java heap space
1508.58/513.91	20:34 ERROR: Failed to solve instance
1508.58/513.91	java.lang.OutOfMemoryError: Java heap space
1509.09/514.42	20:35 ERROR: Failed to solve instance
1509.09/514.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1509.60/514.95	20:35 ERROR: Failed to solve instance
1509.60/514.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1510.63/515.98	20:36 ERROR: Failed to solve instance
1510.63/515.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.25/516.57	20:37 ERROR: Failed to solve instance
1511.25/516.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.76/517.11	20:37 ERROR: Failed to solve instance
1511.76/517.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.01/524.37	20:45 ERROR: Failed to solve instance
1521.01/524.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.84/525.15	20:45 ERROR: Failed to solve instance
1521.84/525.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1522.47/525.78	20:46 ERROR: Failed to solve instance
1522.47/525.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1526.30/528.99	20:49 ERROR: Failed to solve instance
1526.30/528.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1530.22/532.18	20:53 ERROR: Failed to solve instance
1530.22/532.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1531.25/533.18	20:53 ERROR: Failed to solve instance
1531.25/533.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1531.87/533.71	20:54 ERROR: Failed to solve instance
1531.87/533.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1532.39/534.27	20:55 ERROR: Failed to solve instance
1532.39/534.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.02/534.87	20:55 ERROR: Failed to solve instance
1533.02/534.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1542.17/541.81	21:02 ERROR: Failed to solve instance
1542.17/541.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1543.20/542.82	21:03 ERROR: Failed to solve instance
1543.20/542.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1543.73/543.36	21:04 ERROR: Failed to solve instance
1543.73/543.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1546.30/545.53	21:06 ERROR: Failed to solve instance
1546.30/545.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1546.81/546.03	21:06 ERROR: Failed to solve instance
1546.81/546.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1552.54/550.89	21:11 ERROR: Failed to solve instance
1552.54/550.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1553.06/551.39	21:12 ERROR: Failed to solve instance
1553.06/551.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1553.67/551.95	21:12 ERROR: Failed to solve instance
1553.67/551.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1554.54/552.79	21:13 ERROR: Failed to solve instance
1554.54/552.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1559.70/557.08	21:17 ERROR: Failed to solve instance
1559.70/557.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1563.67/560.48	21:21 ERROR: Failed to solve instance
1563.67/560.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1564.50/561.24	21:22 ERROR: Failed to solve instance
1564.50/561.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1565.02/561.75	21:22 ERROR: Failed to solve instance
1565.02/561.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1565.78/562.45	21:23 ERROR: Failed to solve instance
1565.78/562.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1569.09/565.23	21:26 ERROR: Failed to solve instance
1569.09/565.23	java.lang.OutOfMemoryError: Java heap space
1569.49/565.63	21:26 ERROR: Failed to solve instance
1569.49/565.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1570.96/566.95	21:27 ERROR: Failed to solve instance
1570.96/566.95	java.lang.OutOfMemoryError: Java heap space
1571.36/567.33	21:28 ERROR: Failed to solve instance
1571.36/567.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1580.29/573.62	21:34 ERROR: Failed to solve instance
1580.29/573.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1580.81/574.13	21:34 ERROR: Failed to solve instance
1580.81/574.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1581.83/575.11	21:35 ERROR: Failed to solve instance
1581.83/575.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1582.36/575.67	21:36 ERROR: Failed to solve instance
1582.36/575.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1582.98/576.30	21:37 ERROR: Failed to solve instance
1582.98/576.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1589.72/581.61	21:42 ERROR: Failed to solve instance
1589.72/581.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1590.13/582.09	21:42 ERROR: Failed to solve instance
1590.13/582.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1594.02/585.34	21:46 ERROR: Failed to solve instance
1594.02/585.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1594.54/585.85	21:46 ERROR: Failed to solve instance
1594.54/585.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1595.06/586.39	21:47 ERROR: Failed to solve instance
1595.06/586.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1596.10/587.40	21:48 ERROR: Failed to solve instance
1596.10/587.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1596.72/587.94	21:48 ERROR: Failed to solve instance
1596.72/587.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1597.38/588.59	21:49 ERROR: Failed to solve instance
1597.38/588.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1604.95/594.27	21:55 ERROR: Failed to solve instance
1604.95/594.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1605.88/595.18	21:56 ERROR: Failed to solve instance
1605.88/595.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.40/595.68	21:56 ERROR: Failed to solve instance
1606.40/595.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1607.12/596.22	21:57 ERROR: Failed to solve instance
1607.12/596.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1614.56/602.40	22:03 ERROR: Failed to solve instance
1614.56/602.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1615.08/602.90	22:03 ERROR: Failed to solve instance
1615.08/602.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1615.70/603.45	22:04 ERROR: Failed to solve instance
1615.70/603.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1623.21/609.64	22:10 ERROR: Failed to solve instance
1623.21/609.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1623.72/610.15	22:10 ERROR: Failed to solve instance
1623.72/610.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1624.74/611.16	22:11 ERROR: Failed to solve instance
1624.74/611.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1625.37/611.74	22:12 ERROR: Failed to solve instance
1625.37/611.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1631.28/616.31	22:17 ERROR: Failed to solve instance
1631.28/616.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1631.81/616.88	22:17 ERROR: Failed to solve instance
1631.81/616.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.05/620.58	22:21 ERROR: Failed to solve instance
1636.05/620.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.69/621.19	22:22 ERROR: Failed to solve instance
1636.69/621.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1637.21/621.69	22:22 ERROR: Failed to solve instance
1637.21/621.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.52/624.52	22:25 ERROR: Failed to solve instance
1640.52/624.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1641.04/625.06	22:25 ERROR: Failed to solve instance
1641.04/625.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1647.96/630.63	22:31 ERROR: Failed to solve instance
1647.96/630.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1648.48/631.14	22:31 ERROR: Failed to solve instance
1648.48/631.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.86/633.36	22:34 ERROR: Failed to solve instance
1650.86/633.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1651.50/633.95	22:34 ERROR: Failed to solve instance
1651.50/633.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.12/634.58	22:35 ERROR: Failed to solve instance
1652.12/634.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1660.84/641.31	22:42 ERROR: Failed to solve instance
1660.84/641.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1661.36/641.81	22:42 ERROR: Failed to solve instance
1661.36/641.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1662.30/642.73	22:43 ERROR: Failed to solve instance
1662.30/642.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1662.81/643.23	22:44 ERROR: Failed to solve instance
1662.81/643.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1663.24/643.73	22:44 ERROR: Failed to solve instance
1663.24/643.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.11/645.92	22:46 ERROR: Failed to solve instance
1666.11/645.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1667.03/646.88	22:47 ERROR: Failed to solve instance
1667.03/646.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1667.55/647.39	22:48 ERROR: Failed to solve instance
1667.55/647.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1668.17/647.99	22:48 ERROR: Failed to solve instance
1668.17/647.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1673.77/652.21	22:53 ERROR: Failed to solve instance
1673.77/652.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1674.80/653.21	22:53 ERROR: Failed to solve instance
1674.80/653.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1675.42/653.81	22:54 ERROR: Failed to solve instance
1675.42/653.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1675.83/654.26	22:55 ERROR: Failed to solve instance
1675.83/654.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1676.47/654.88	22:55 ERROR: Failed to solve instance
1676.47/654.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.56/663.03	23:03 ERROR: Failed to solve instance
1686.56/663.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1687.09/663.52	23:04 ERROR: Failed to solve instance
1687.09/663.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1688.00/664.43	23:05 ERROR: Failed to solve instance
1688.00/664.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1688.52/664.91	23:05 ERROR: Failed to solve instance
1688.52/664.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1689.04/665.44	23:06 ERROR: Failed to solve instance
1689.04/665.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1689.57/666.00	23:06 ERROR: Failed to solve instance
1689.57/666.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1699.37/673.80	23:14 ERROR: Failed to solve instance
1699.37/673.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1700.29/674.72	23:15 ERROR: Failed to solve instance
1700.29/674.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1700.80/675.23	23:16 ERROR: Failed to solve instance
1700.80/675.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1701.34/675.79	23:16 ERROR: Failed to solve instance
1701.34/675.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1701.97/676.35	23:17 ERROR: Failed to solve instance
1701.97/676.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1706.34/680.06	23:20 ERROR: Failed to solve instance
1706.34/680.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1706.86/680.54	23:21 ERROR: Failed to solve instance
1706.86/680.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1707.38/681.03	23:21 ERROR: Failed to solve instance
1707.38/681.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1708.31/681.97	23:22 ERROR: Failed to solve instance
1708.31/681.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1709.02/682.51	23:23 ERROR: Failed to solve instance
1709.02/682.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1717.31/689.05	23:29 ERROR: Failed to solve instance
1717.31/689.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1717.84/689.52	23:30 ERROR: Failed to solve instance
1717.84/689.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1718.36/690.02	23:30 ERROR: Failed to solve instance
1718.36/690.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1723.44/694.33	23:35 ERROR: Failed to solve instance
1723.44/694.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1723.96/694.83	23:35 ERROR: Failed to solve instance
1723.96/694.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1724.48/695.36	23:36 ERROR: Failed to solve instance
1724.48/695.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1731.88/701.44	23:42 ERROR: Failed to solve instance
1731.88/701.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1732.40/701.94	23:42 ERROR: Failed to solve instance
1732.40/701.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1732.91/702.49	23:43 ERROR: Failed to solve instance
1732.91/702.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1736.64/705.58	23:46 ERROR: Failed to solve instance
1736.64/705.58	java.lang.OutOfMemoryError: Java heap space
1736.93/705.87	23:46 ERROR: Failed to solve instance
1736.93/705.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1740.55/708.86	23:49 ERROR: Failed to solve instance
1740.55/708.86	java.lang.OutOfMemoryError: Java heap space
1740.85/709.18	23:49 ERROR: Failed to solve instance
1740.85/709.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1750.05/716.55	23:57 ERROR: Failed to solve instance
1750.05/716.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1750.56/717.04	23:57 ERROR: Failed to solve instance
1750.56/717.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1751.49/717.97	23:58 ERROR: Failed to solve instance
1751.49/717.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1752.01/718.49	23:59 ERROR: Failed to solve instance
1752.01/718.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1752.53/718.93	23:59 ERROR: Failed to solve instance
1752.53/718.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1753.05/719.47	24:00 ERROR: Failed to solve instance
1753.05/719.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.56/724.02	24:04 ERROR: Failed to solve instance
1758.56/724.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1759.07/724.54	24:05 ERROR: Failed to solve instance
1759.07/724.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1766.87/730.65	24:11 ERROR: Failed to solve instance
1766.87/730.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1767.79/731.58	24:12 ERROR: Failed to solve instance
1767.79/731.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1768.32/732.08	24:12 ERROR: Failed to solve instance
1768.32/732.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1768.84/732.59	24:13 ERROR: Failed to solve instance
1768.84/732.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1769.47/733.12	24:13 ERROR: Failed to solve instance
1769.47/733.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1774.73/737.53	24:18 ERROR: Failed to solve instance
1774.73/737.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1775.24/738.01	24:18 ERROR: Failed to solve instance
1775.24/738.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1775.76/738.57	24:19 ERROR: Failed to solve instance
1775.76/738.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1780.72/742.59	24:23 ERROR: Failed to solve instance
1780.72/742.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1781.35/743.11	24:23 ERROR: Failed to solve instance
1781.35/743.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1785.74/746.82	24:27 ERROR: Failed to solve instance
1785.74/746.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1786.26/747.33	24:28 ERROR: Failed to solve instance
1786.26/747.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1786.77/747.86	24:28 ERROR: Failed to solve instance
1786.77/747.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1793.77/753.56	24:34 ERROR: Failed to solve instance
1793.77/753.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1794.29/754.06	24:34 ERROR: Failed to solve instance
1794.29/754.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1794.91/754.67	24:35 ERROR: Failed to solve instance
1794.91/754.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1801.91/760.38	24:41 ERROR: Failed to solve instance
1801.91/760.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.42/760.83	24:41 ERROR: Failed to solve instance
1802.42/760.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.94/761.33	24:42 ERROR: Failed to solve instance
1802.94/761.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1804.00/762.33	24:43 ERROR: Failed to solve instance
1804.00/762.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.09/764.83	24:45 ERROR: Failed to solve instance
1807.09/764.83	java.lang.OutOfMemoryError: Java heap space
1807.29/765.09	24:45 ERROR: Failed to solve instance
1807.29/765.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1811.53/768.57	24:49 ERROR: Failed to solve instance
1811.53/768.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1812.05/769.08	24:49 ERROR: Failed to solve instance
1812.05/769.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1812.77/769.72	24:50 ERROR: Failed to solve instance
1812.77/769.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1822.04/777.16	24:57 ERROR: Failed to solve instance
1822.04/777.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1822.57/777.64	24:58 ERROR: Failed to solve instance
1822.57/777.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1823.10/778.16	24:58 ERROR: Failed to solve instance
1823.10/778.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1827.61/782.02	25:02 ERROR: Failed to solve instance
1827.61/782.02	java.lang.OutOfMemoryError: Java heap space
1828.03/782.49	25:03 ERROR: Failed to solve instance
1828.03/782.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1828.54/782.94	25:03 ERROR: Failed to solve instance
1828.54/782.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1829.57/783.91	25:04 ERROR: Failed to solve instance
1829.57/783.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1830.17/784.42	25:05 ERROR: Failed to solve instance
1830.17/784.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.81/788.38	25:09 ERROR: Failed to solve instance
1834.81/788.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1835.43/788.91	25:09 ERROR: Failed to solve instance
1835.43/788.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1839.15/792.00	25:12 ERROR: Failed to solve instance
1839.15/792.00	java.lang.OutOfMemoryError: Java heap space
1845.90/797.44	25:18 ERROR: Failed to solve instance
1845.90/797.44	java.lang.OutOfMemoryError: Java heap space
1846.30/797.88	25:18 ERROR: Failed to solve instance
1846.30/797.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1846.84/798.40	25:19 ERROR: Failed to solve instance
1846.84/798.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1849.69/800.84	25:21 ERROR: Failed to solve instance
1849.69/800.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1850.31/801.42	25:22 ERROR: Failed to solve instance
1850.31/801.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1852.83/803.72	25:24 ERROR: Failed to solve instance
1852.83/803.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.15/809.73	25:30 ERROR: Failed to solve instance
1860.15/809.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.67/810.24	25:31 ERROR: Failed to solve instance
1860.67/810.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1861.09/810.70	25:31 ERROR: Failed to solve instance
1861.09/810.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.24/811.74	25:32 ERROR: Failed to solve instance
1862.24/811.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.76/812.26	25:33 ERROR: Failed to solve instance
1862.76/812.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1871.59/819.14	25:39 ERROR: Failed to solve instance
1871.59/819.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1872.42/819.91	25:40 ERROR: Failed to solve instance
1872.42/819.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1872.95/820.42	25:41 ERROR: Failed to solve instance
1872.95/820.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1876.72/823.70	25:44 ERROR: Failed to solve instance
1876.72/823.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1877.24/824.18	25:45 ERROR: Failed to solve instance
1877.24/824.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1878.15/825.05	25:45 ERROR: Failed to solve instance
1878.15/825.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1878.88/825.80	25:46 ERROR: Failed to solve instance
1878.88/825.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1879.61/826.45	25:47 ERROR: Failed to solve instance
1879.61/826.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1880.34/827.12	25:47 ERROR: Failed to solve instance
1880.34/827.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1892.65/837.00	25:57 ERROR: Failed to solve instance
1892.65/837.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1893.56/837.83	25:58 ERROR: Failed to solve instance
1893.56/837.83	java.lang.OutOfMemoryError: Java heap space
1893.67/837.95	25:58 ERROR: Failed to solve instance
1893.67/837.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1894.20/838.42	25:59 ERROR: Failed to solve instance
1894.20/838.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1894.73/838.95	25:59 ERROR: Failed to solve instance
1894.73/838.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1895.38/839.52	26:00 ERROR: Failed to solve instance
1895.38/839.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1903.90/846.18	26:07 ERROR: Failed to solve instance
1903.90/846.18	java.lang.OutOfMemoryError: Java heap space
1904.20/846.42	26:07 ERROR: Failed to solve instance
1904.20/846.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.74/846.98	26:07 ERROR: Failed to solve instance
1904.74/846.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1908.57/850.27	26:11 ERROR: Failed to solve instance
1908.57/850.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1909.22/850.84	26:11 ERROR: Failed to solve instance
1909.22/850.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1909.74/851.33	26:12 ERROR: Failed to solve instance
1909.74/851.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1913.26/854.26	26:15 ERROR: Failed to solve instance
1913.26/854.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1920.79/860.33	26:21 ERROR: Failed to solve instance
1920.79/860.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.32/860.83	26:21 ERROR: Failed to solve instance
1921.32/860.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.84/861.37	26:22 ERROR: Failed to solve instance
1921.84/861.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1925.89/864.78	26:25 ERROR: Failed to solve instance
1925.89/864.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1929.05/867.48	26:28 ERROR: Failed to solve instance
1929.05/867.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1929.56/867.96	26:28 ERROR: Failed to solve instance
1929.56/867.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1930.18/868.50	26:29 ERROR: Failed to solve instance
1930.18/868.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1936.49/873.60	26:34 ERROR: Failed to solve instance
1936.49/873.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1937.51/874.52	26:35 ERROR: Failed to solve instance
1937.51/874.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1937.91/874.96	26:35 ERROR: Failed to solve instance
1937.91/874.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1938.44/875.48	26:36 ERROR: Failed to solve instance
1938.44/875.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1939.07/876.06	26:36 ERROR: Failed to solve instance
1939.07/876.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1947.85/882.97	26:43 ERROR: Failed to solve instance
1947.85/882.97	java.lang.OutOfMemoryError: Java heap space
1948.38/883.46	26:44 ERROR: Failed to solve instance
1948.38/883.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1948.91/884.00	26:44 ERROR: Failed to solve instance
1948.91/884.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1953.45/887.80	26:48 ERROR: Failed to solve instance
1953.45/887.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1954.37/888.74	26:49 ERROR: Failed to solve instance
1954.37/888.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1954.89/889.26	26:50 ERROR: Failed to solve instance
1954.89/889.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1955.40/889.80	26:50 ERROR: Failed to solve instance
1955.40/889.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1956.02/890.37	26:51 ERROR: Failed to solve instance
1956.02/890.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1965.92/898.20	26:59 ERROR: Failed to solve instance
1965.92/898.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1966.35/898.67	26:59 ERROR: Failed to solve instance
1966.35/898.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1966.97/899.20	27:00 ERROR: Failed to solve instance
1966.97/899.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1970.41/902.09	27:02 ERROR: Failed to solve instance
1970.41/902.09	java.lang.OutOfMemoryError: Java heap space
1974.42/905.47	27:06 ERROR: Failed to solve instance
1974.42/905.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1974.93/905.97	27:06 ERROR: Failed to solve instance
1974.93/905.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1975.95/906.99	27:07 ERROR: Failed to solve instance
1975.95/906.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1976.57/907.52	27:08 ERROR: Failed to solve instance
1976.57/907.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1983.37/913.09	27:13 ERROR: Failed to solve instance
1983.37/913.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1983.89/913.59	27:14 ERROR: Failed to solve instance
1983.89/913.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1985.01/914.61	27:15 ERROR: Failed to solve instance
1985.01/914.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1985.53/915.16	27:15 ERROR: Failed to solve instance
1985.53/915.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1986.16/915.74	27:16 ERROR: Failed to solve instance
1986.16/915.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1986.79/916.41	27:17 ERROR: Failed to solve instance
1986.79/916.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1996.13/923.55	27:24 ERROR: Failed to solve instance
1996.13/923.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1996.66/924.09	27:24 ERROR: Failed to solve instance
1996.66/924.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1997.29/924.66	27:25 ERROR: Failed to solve instance
1997.29/924.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1998.16/925.43	27:26 ERROR: Failed to solve instance
1998.16/925.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2001.28/928.07	27:28 ERROR: Failed to solve instance
2001.28/928.07	java.lang.OutOfMemoryError: Java heap space
2001.68/928.45	27:29 ERROR: Failed to solve instance
2001.68/928.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2008.24/933.63	27:34 ERROR: Failed to solve instance
2008.24/933.63	java.lang.OutOfMemoryError: Java heap space
2008.97/934.34	27:35 ERROR: Failed to solve instance
2008.97/934.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2009.51/934.89	27:35 ERROR: Failed to solve instance
2009.51/934.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.93/937.69	27:38 ERROR: Failed to solve instance
2012.93/937.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2013.95/938.63	27:39 ERROR: Failed to solve instance
2013.95/938.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2014.46/939.15	27:39 ERROR: Failed to solve instance
2014.46/939.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2014.99/939.71	27:40 ERROR: Failed to solve instance
2014.99/939.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2015.61/940.30	27:41 ERROR: Failed to solve instance
2015.61/940.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2025.28/947.74	27:48 ERROR: Failed to solve instance
2025.28/947.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2026.01/948.44	27:49 ERROR: Failed to solve instance
2026.01/948.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2027.19/949.56	27:49 ERROR: Failed to solve instance
2027.19/949.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2027.60/949.96	27:50 ERROR: Failed to solve instance
2027.60/949.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2035.90/956.63	27:57 ERROR: Failed to solve instance
2035.90/956.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2036.42/957.13	27:57 ERROR: Failed to solve instance
2036.42/957.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.45/958.11	27:58 ERROR: Failed to solve instance
2037.45/958.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.96/958.65	27:59 ERROR: Failed to solve instance
2037.96/958.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2038.59/959.22	28:00 ERROR: Failed to solve instance
2038.59/959.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2044.52/963.81	28:04 ERROR: Failed to solve instance
2044.52/963.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2045.03/964.34	28:05 ERROR: Failed to solve instance
2045.03/964.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2045.66/964.93	28:05 ERROR: Failed to solve instance
2045.66/964.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2052.48/970.48	28:11 ERROR: Failed to solve instance
2052.48/970.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2052.99/970.97	28:11 ERROR: Failed to solve instance
2052.99/970.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2053.62/971.55	28:12 ERROR: Failed to solve instance
2053.62/971.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2060.13/976.70	28:17 ERROR: Failed to solve instance
2060.13/976.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2060.56/977.20	28:18 ERROR: Failed to solve instance
2060.56/977.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2061.17/977.79	28:18 ERROR: Failed to solve instance
2061.17/977.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2061.91/978.42	28:19 ERROR: Failed to solve instance
2061.91/978.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2065.99/981.74	28:22 ERROR: Failed to solve instance
2065.99/981.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2067.04/982.71	28:23 ERROR: Failed to solve instance
2067.04/982.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2067.47/983.18	28:24 ERROR: Failed to solve instance
2067.47/983.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2068.00/983.70	28:24 ERROR: Failed to solve instance
2068.00/983.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2068.62/984.26	28:25 ERROR: Failed to solve instance
2068.62/984.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2077.51/991.25	28:32 ERROR: Failed to solve instance
2077.51/991.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2078.53/992.28	28:33 ERROR: Failed to solve instance
2078.53/992.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2078.85/992.55	28:33 ERROR: Failed to solve instance
2078.85/992.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.47/997.87	28:38 ERROR: Failed to solve instance
2085.47/997.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.98/998.37	28:39 ERROR: Failed to solve instance
2085.98/998.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2086.61/998.93	28:39 ERROR: Failed to solve instance
2086.61/998.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2087.22/999.55	28:40 ERROR: Failed to solve instance
2087.22/999.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2088.15/1000.46	28:41 ERROR: Failed to solve instance
2088.15/1000.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2088.68/1000.97	28:41 ERROR: Failed to solve instance
2088.68/1000.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2097.48/1007.84	28:48 ERROR: Failed to solve instance
2097.48/1007.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2098.39/1008.79	28:49 ERROR: Failed to solve instance
2098.39/1008.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2098.91/1009.28	28:50 ERROR: Failed to solve instance
2098.91/1009.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2099.42/1009.80	28:50 ERROR: Failed to solve instance
2099.42/1009.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2100.05/1010.32	28:51 ERROR: Failed to solve instance
2100.05/1010.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2104.51/1014.11	28:54 ERROR: Failed to solve instance
2104.51/1014.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2104.71/1014.34	28:55 ERROR: Failed to solve instance
2104.71/1014.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.55/1015.12	28:55 ERROR: Failed to solve instance
2105.55/1015.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2106.18/1015.74	28:56 ERROR: Failed to solve instance
2106.18/1015.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2116.49/1024.20	29:05 ERROR: Failed to solve instance
2116.49/1024.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2117.00/1024.66	29:05 ERROR: Failed to solve instance
2117.00/1024.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2117.51/1025.17	29:05 ERROR: Failed to solve instance
2117.51/1025.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2118.02/1025.66	29:06 ERROR: Failed to solve instance
2118.02/1025.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2118.96/1026.58	29:07 ERROR: Failed to solve instance
2118.96/1026.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2119.48/1027.12	29:07 ERROR: Failed to solve instance
2119.48/1027.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2128.76/1034.47	29:15 ERROR: Failed to solve instance
2128.76/1034.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2129.28/1034.96	29:15 ERROR: Failed to solve instance
2129.28/1034.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.31/1035.96	29:16 ERROR: Failed to solve instance
2130.31/1035.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.72/1036.37	29:17 ERROR: Failed to solve instance
2130.72/1036.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2131.24/1036.86	29:17 ERROR: Failed to solve instance
2131.24/1036.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2131.87/1037.47	29:18 ERROR: Failed to solve instance
2131.87/1037.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.23/1044.37	29:25 ERROR: Failed to solve instance
2140.23/1044.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.76/1044.90	29:25 ERROR: Failed to solve instance
2140.76/1044.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.49/1045.57	29:26 ERROR: Failed to solve instance
2141.49/1045.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2144.89/1048.30	29:29 ERROR: Failed to solve instance
2144.89/1048.30	java.lang.OutOfMemoryError: Java heap space
2145.52/1048.95	29:29 ERROR: Failed to solve instance
2145.52/1048.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2146.26/1049.64	29:30 ERROR: Failed to solve instance
2146.26/1049.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.86/1057.40	29:37 ERROR: Failed to solve instance
2155.86/1057.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2156.15/1057.63	29:38 ERROR: Failed to solve instance
2156.15/1057.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2159.61/1060.51	29:41 ERROR: Failed to solve instance
2159.61/1060.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2160.56/1061.43	29:42 ERROR: Failed to solve instance
2160.56/1061.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2161.17/1062.04	29:42 ERROR: Failed to solve instance
2161.17/1062.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2165.12/1065.38	29:46 ERROR: Failed to solve instance
2165.12/1065.38	java.lang.OutOfMemoryError: Java heap space
2166.27/1066.44	29:47 ERROR: Failed to solve instance
2166.27/1066.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2166.79/1066.91	29:47 ERROR: Failed to solve instance
2166.79/1066.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2167.32/1067.44	29:48 ERROR: Failed to solve instance
2167.32/1067.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2167.85/1068.00	29:48 ERROR: Failed to solve instance
2167.85/1068.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2176.60/1074.90	29:55 ERROR: Failed to solve instance
2176.60/1074.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2177.53/1075.80	29:56 ERROR: Failed to solve instance
2177.53/1075.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2178.05/1076.29	29:57 ERROR: Failed to solve instance
2178.05/1076.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2178.69/1076.83	29:57 ERROR: Failed to solve instance
2178.69/1076.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2179.33/1077.41	29:58 ERROR: Failed to solve instance
2179.33/1077.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.57/1081.84	30:02 ERROR: Failed to solve instance
2184.57/1081.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2185.09/1082.37	30:03 ERROR: Failed to solve instance
2185.09/1082.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2185.71/1082.93	30:03 ERROR: Failed to solve instance
2185.71/1082.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2194.46/1089.90	30:10 ERROR: Failed to solve instance
2194.46/1089.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2194.98/1090.40	30:11 ERROR: Failed to solve instance
2194.98/1090.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2198.08/1093.03	30:13 ERROR: Failed to solve instance
2198.08/1093.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2198.60/1093.54	30:14 ERROR: Failed to solve instance
2198.60/1093.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2199.62/1094.56	30:15 ERROR: Failed to solve instance
2199.62/1094.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2200.03/1094.99	30:15 ERROR: Failed to solve instance
2200.03/1094.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2200.66/1095.54	30:16 ERROR: Failed to solve instance
2200.66/1095.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2201.18/1096.07	30:16 ERROR: Failed to solve instance
2201.18/1096.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2207.96/1101.39	30:22 ERROR: Failed to solve instance
2207.96/1101.39	java.lang.OutOfMemoryError: Java heap space
2212.47/1105.28	30:26 ERROR: Failed to solve instance
2212.47/1105.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2212.99/1105.75	30:26 ERROR: Failed to solve instance
2212.99/1105.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2213.49/1106.26	30:27 ERROR: Failed to solve instance
2213.49/1106.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2214.51/1107.27	30:27 ERROR: Failed to solve instance
2214.51/1107.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2214.83/1107.57	30:28 ERROR: Failed to solve instance
2214.83/1107.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2223.39/1114.20	30:35 ERROR: Failed to solve instance
2223.39/1114.20	java.lang.OutOfMemoryError: Java heap space
2223.69/1114.45	30:35 ERROR: Failed to solve instance
2223.69/1114.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2224.42/1115.14	30:35 ERROR: Failed to solve instance
2224.42/1115.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2234.73/1123.66	30:44 ERROR: Failed to solve instance
2234.73/1123.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2235.23/1124.13	30:44 ERROR: Failed to solve instance
2235.23/1124.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2236.26/1125.13	30:45 ERROR: Failed to solve instance
2236.26/1125.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2236.77/1125.65	30:46 ERROR: Failed to solve instance
2236.77/1125.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2237.19/1126.09	30:46 ERROR: Failed to solve instance
2237.19/1126.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2240.86/1129.05	30:49 ERROR: Failed to solve instance
2240.86/1129.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2241.38/1129.56	30:50 ERROR: Failed to solve instance
2241.38/1129.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.41/1130.56	30:51 ERROR: Failed to solve instance
2242.41/1130.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.93/1131.09	30:51 ERROR: Failed to solve instance
2242.93/1131.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2243.56/1131.67	30:52 ERROR: Failed to solve instance
2243.56/1131.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2252.90/1138.77	30:59 ERROR: Failed to solve instance
2252.90/1138.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2253.93/1139.77	31:00 ERROR: Failed to solve instance
2253.93/1139.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2254.46/1140.26	31:01 ERROR: Failed to solve instance
2254.46/1140.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2256.88/1142.33	31:03 ERROR: Failed to solve instance
2256.88/1142.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2257.40/1142.83	31:03 ERROR: Failed to solve instance
2257.40/1142.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2257.92/1143.37	31:04 ERROR: Failed to solve instance
2257.92/1143.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2264.84/1148.96	31:09 ERROR: Failed to solve instance
2264.84/1148.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2265.36/1149.46	31:10 ERROR: Failed to solve instance
2265.36/1149.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2265.97/1150.01	31:10 ERROR: Failed to solve instance
2265.97/1150.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2273.52/1156.21	31:17 ERROR: Failed to solve instance
2273.52/1156.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2273.92/1156.66	31:17 ERROR: Failed to solve instance
2273.92/1156.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2274.45/1157.14	31:17 ERROR: Failed to solve instance
2274.45/1157.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2277.76/1159.82	31:20 ERROR: Failed to solve instance
2277.76/1159.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.10/1163.55	31:24 ERROR: Failed to solve instance
2282.10/1163.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.63/1164.06	31:24 ERROR: Failed to solve instance
2282.63/1164.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2283.65/1165.10	31:25 ERROR: Failed to solve instance
2283.65/1165.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2284.18/1165.66	31:26 ERROR: Failed to solve instance
2284.18/1165.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2293.83/1173.25	31:34 ERROR: Failed to solve instance
2293.83/1173.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2294.67/1174.03	31:34 ERROR: Failed to solve instance
2294.67/1174.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2295.29/1174.63	31:35 ERROR: Failed to solve instance
2295.29/1174.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2298.50/1177.52	31:38 ERROR: Failed to solve instance
2298.50/1177.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2298.90/1177.90	31:38 ERROR: Failed to solve instance
2298.90/1177.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2304.41/1182.20	31:43 ERROR: Failed to solve instance
2304.41/1182.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2305.03/1182.72	31:43 ERROR: Failed to solve instance
2305.03/1182.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2305.85/1183.52	31:44 ERROR: Failed to solve instance
2305.85/1183.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2309.41/1186.56	31:47 ERROR: Failed to solve instance
2309.41/1186.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2309.93/1187.08	31:47 ERROR: Failed to solve instance
2309.93/1187.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2310.57/1187.66	31:48 ERROR: Failed to solve instance
2310.57/1187.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2311.60/1188.69	31:49 ERROR: Failed to solve instance
2311.60/1188.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2312.13/1189.21	31:49 ERROR: Failed to solve instance
2312.13/1189.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2321.59/1196.50	31:57 ERROR: Failed to solve instance
2321.59/1196.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2322.12/1197.02	31:57 ERROR: Failed to solve instance
2322.12/1197.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2322.64/1197.52	31:58 ERROR: Failed to solve instance
2322.64/1197.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2323.58/1198.44	31:59 ERROR: Failed to solve instance
2323.58/1198.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2326.24/1200.70	32:01 ERROR: Failed to solve instance
2326.24/1200.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2326.86/1201.23	32:02 ERROR: Failed to solve instance
2326.86/1201.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2327.38/1201.79	32:02 ERROR: Failed to solve instance
2327.38/1201.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2328.35/1202.63	32:03 ERROR: Failed to solve instance
2328.35/1202.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2336.89/1209.76	32:10 ERROR: Failed to solve instance
2336.89/1209.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2337.42/1210.27	32:11 ERROR: Failed to solve instance
2337.42/1210.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2338.04/1210.83	32:11 ERROR: Failed to solve instance
2338.04/1210.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2343.11/1215.15	32:15 ERROR: Failed to solve instance
2343.11/1215.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2343.62/1215.67	32:16 ERROR: Failed to solve instance
2343.62/1215.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2344.25/1216.21	32:17 ERROR: Failed to solve instance
2344.25/1216.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2352.72/1222.80	32:23 ERROR: Failed to solve instance
2352.72/1222.80	java.lang.OutOfMemoryError: Java heap space
2352.92/1223.04	32:23 ERROR: Failed to solve instance
2352.92/1223.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.55/1223.63	32:24 ERROR: Failed to solve instance
2353.55/1223.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2356.93/1226.46	32:27 ERROR: Failed to solve instance
2356.93/1226.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2362.09/1230.81	32:31 ERROR: Failed to solve instance
2362.09/1230.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2362.60/1231.31	32:32 ERROR: Failed to solve instance
2362.60/1231.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2363.63/1232.33	32:33 ERROR: Failed to solve instance
2363.63/1232.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2364.25/1232.92	32:33 ERROR: Failed to solve instance
2364.25/1232.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2367.30/1235.35	32:36 ERROR: Failed to solve instance
2367.30/1235.35	java.lang.OutOfMemoryError: Java heap space
2367.50/1235.62	32:36 ERROR: Failed to solve instance
2367.50/1235.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2374.69/1241.29	32:42 ERROR: Failed to solve instance
2374.69/1241.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2375.31/1241.82	32:42 ERROR: Failed to solve instance
2375.31/1241.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2375.93/1242.41	32:43 ERROR: Failed to solve instance
2375.93/1242.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2382.45/1247.62	32:48 ERROR: Failed to solve instance
2382.45/1247.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2382.96/1248.14	32:48 ERROR: Failed to solve instance
2382.96/1248.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2385.57/1250.34	32:51 ERROR: Failed to solve instance
2385.57/1250.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2386.60/1251.33	32:52 ERROR: Failed to solve instance
2386.60/1251.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2387.12/1251.87	32:52 ERROR: Failed to solve instance
2387.12/1251.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2387.76/1252.47	32:53 ERROR: Failed to solve instance
2387.76/1252.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2392.79/1256.47	32:57 ERROR: Failed to solve instance
2392.79/1256.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2396.42/1259.45	33:00 ERROR: Failed to solve instance
2396.42/1259.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2396.94/1259.94	33:00 ERROR: Failed to solve instance
2396.94/1259.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2397.98/1260.92	33:01 ERROR: Failed to solve instance
2397.98/1260.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2398.50/1261.49	33:02 ERROR: Failed to solve instance
2398.50/1261.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2406.42/1267.48	33:08 ERROR: Failed to solve instance
2406.42/1267.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2406.93/1267.97	33:08 ERROR: Failed to solve instance
2406.93/1267.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2407.85/1268.88	33:09 ERROR: Failed to solve instance
2407.85/1268.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2408.58/1269.56	33:10 ERROR: Failed to solve instance
2408.58/1269.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2409.21/1270.13	33:10 ERROR: Failed to solve instance
2409.21/1270.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2409.62/1270.60	33:11 ERROR: Failed to solve instance
2409.62/1270.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2414.57/1274.62	33:15 ERROR: Failed to solve instance
2414.57/1274.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2415.10/1275.18	33:15 ERROR: Failed to solve instance
2415.10/1275.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2424.32/1282.64	33:23 ERROR: Failed to solve instance
2424.32/1282.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2424.83/1283.12	33:23 ERROR: Failed to solve instance
2424.83/1283.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2425.24/1283.59	33:24 ERROR: Failed to solve instance
2425.24/1283.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2425.87/1284.13	33:24 ERROR: Failed to solve instance
2425.87/1284.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2433.97/1290.90	33:31 ERROR: Failed to solve instance
2433.97/1290.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2434.48/1291.35	33:32 ERROR: Failed to solve instance
2434.48/1291.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2435.01/1291.85	33:32 ERROR: Failed to solve instance
2435.01/1291.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2437.59/1294.02	33:34 ERROR: Failed to solve instance
2437.59/1294.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2438.62/1295.06	33:35 ERROR: Failed to solve instance
2438.62/1295.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2439.13/1295.60	33:36 ERROR: Failed to solve instance
2439.13/1295.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2439.76/1296.16	33:36 ERROR: Failed to solve instance
2439.76/1296.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2440.38/1296.75	33:37 ERROR: Failed to solve instance
2440.38/1296.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2442.26/1298.49	33:39 ERROR: Failed to solve instance
2442.26/1298.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2445.72/1301.20	33:42 ERROR: Failed to solve instance
2445.72/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: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3312347-1304111520/watcher-3312347-1304111520 -o /tmp/evaluation-result-3312347-1304111520/solver-3312347-1304111520 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312347-1304111520.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.75 7.98 7.85 6/198 3823
/proc/meminfo: memFree=28474792/32950928 swapFree=67111352/67111528
[pid=3823] ppid=3821 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/3823/stat : 3823 (java) R 3821 3823 3239 0 -1 4202496 1198 0 0 0 0 0 0 0 25 0 1 0 601382701 23580672 683 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251362584040 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3823/statm: 5757 683 509 9 0 124 0

[startup+0.036132 s]
/proc/loadavg: 7.75 7.98 7.85 6/198 3823
/proc/meminfo: memFree=28474792/32950928 swapFree=67111352/67111528
[pid=3823] ppid=3821 vsize=15604248 CPUtime=0.02 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3821 3823 3239 0 -1 4202496 3685 0 1 0 2 0 0 0 25 0 13 0 601382701 15978749952 3123 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/3823/statm: 3901062 3124 1677 9 0 3891810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248

[startup+0.101118 s]
/proc/loadavg: 7.75 7.98 7.85 6/198 3823
/proc/meminfo: memFree=28474792/32950928 swapFree=67111352/67111528
[pid=3823] ppid=3821 vsize=15676928 CPUtime=0.1 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3821 3823 3239 0 -1 4202496 5598 0 1 0 9 1 0 0 25 0 18 0 601382701 16053174272 5036 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3823/statm: 3919232 5036 2117 9 0 3909951 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676928

[startup+0.301099 s]
/proc/loadavg: 7.75 7.98 7.85 6/198 3823
/proc/meminfo: memFree=28474792/32950928 swapFree=67111352/67111528
[pid=3823] ppid=3821 vsize=15680696 CPUtime=0.51 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3821 3823 3239 0 -1 4202496 15944 0 1 0 48 3 0 0 25 0 18 0 601382701 16057032704 14481 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3823/statm: 3920174 14488 2206 9 0 3910893 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680696

[startup+0.701013 s]
/proc/loadavg: 7.75 7.98 7.85 6/198 3823
/proc/meminfo: memFree=28474792/32950928 swapFree=67111352/67111528
[pid=3823] ppid=3821 vsize=15680696 CPUtime=0.92 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3821 3823 3239 0 -1 4202496 41690 0 1 0 86 6 0 0 25 0 18 0 601382701 16057032704 40224 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3823/statm: 3920174 40224 2222 9 0 3910893 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15680696

[startup+1.50086 s]
/proc/loadavg: 7.61 7.95 7.84 7/220 3845
/proc/meminfo: memFree=28145272/32950928 swapFree=67111352/67111528
[pid=3823] ppid=3821 vsize=15687572 CPUtime=2.26 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3821 3823 3239 0 -1 4202496 55831 0 1 0 218 8 0 0 25 0 22 0 601382701 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3823/statm: 3921893 51447 2260 9 0 3912612 0
[pid=3823/tid=3825] ppid=3821 vsize=15687572 CPUtime=1.47 cores=1,3,5,7
/proc/3823/task/3825/stat : 3825 (java) R 3821 3823 3239 0 -1 4202560 35653 0 1 0 141 6 0 0 21 0 22 0 601382702 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 47746192439096 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3823/tid=3826] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3821 3823 3239 0 -1 4202560 666 0 0 0 0 0 0 0 16 0 22 0 601382702 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3827] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3821 3823 3239 0 -1 4202560 1451 0 0 0 0 0 0 0 16 0 22 0 601382702 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3828] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3821 3823 3239 0 -1 4202560 705 0 0 0 0 0 0 0 16 0 22 0 601382702 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3829] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3821 3823 3239 0 -1 4202560 764 0 0 0 0 0 0 0 16 0 22 0 601382702 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3830] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) S 3821 3823 3239 0 -1 4202560 154 0 0 0 0 0 0 0 16 0 22 0 601382702 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3831] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3821 3823 3239 0 -1 4202560 419 0 0 0 0 0 0 0 16 0 22 0 601382702 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3832] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3821 3823 3239 0 -1 4202560 371 0 0 0 0 0 0 0 16 0 22 0 601382702 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3833] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3821 3823 3239 0 -1 4202560 623 0 0 0 0 0 0 0 16 0 22 0 601382702 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3834] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) S 3821 3823 3239 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 22 0 601382703 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 0 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3835] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) S 3821 3823 3239 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 601382704 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3836] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) S 3821 3823 3239 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 601382704 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3837] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3837/stat : 3837 (java) S 3821 3823 3239 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601382706 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379370417 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3838] ppid=3821 vsize=15687572 CPUtime=0.14 cores=1,3,5,7
/proc/3823/task/3838/stat : 3838 (java) S 3821 3823 3239 0 -1 4202560 985 0 0 0 14 0 0 0 17 0 22 0 601382706 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3839] ppid=3821 vsize=15687572 CPUtime=0.59 cores=1,3,5,7
/proc/3823/task/3839/stat : 3839 (java) R 3821 3823 3239 0 -1 4202560 12539 0 0 0 58 1 0 0 16 0 22 0 601382706 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 47746189129137 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3823/tid=3840] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3840/stat : 3840 (java) S 3821 3823 3239 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601382706 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3841] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3841/stat : 3841 (java) S 3821 3823 3239 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601382706 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3842] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3842/stat : 3842 (java) S 3821 3823 3239 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 601382792 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3843] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3843/stat : 3843 (java) S 3821 3823 3239 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 601382792 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3844] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3844/stat : 3844 (java) S 3821 3823 3239 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 22 0 601382792 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3845] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3845/stat : 3845 (java) S 3821 3823 3239 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 601382792 16064073728 51447 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 15687572

[startup+3.10656 s]
/proc/loadavg: 7.61 7.95 7.84 7/220 3845
/proc/meminfo: memFree=27737064/32950928 swapFree=67111352/67111528
[pid=3823] ppid=3821 vsize=15685516 CPUtime=5.39 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3821 3823 3239 0 -1 4202496 68864 0 1 0 529 10 0 0 25 0 22 0 601382701 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3823/statm: 3921379 62352 2275 9 0 3912098 0
[pid=3823/tid=3825] ppid=3821 vsize=15685516 CPUtime=2.39 cores=1,3,5,7
/proc/3823/task/3825/stat : 3825 (java) S 3821 3823 3239 0 -1 4202560 35707 0 1 0 233 6 0 0 25 0 22 0 601382702 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3826] ppid=3821 vsize=15685516 CPUtime=0.01 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3821 3823 3239 0 -1 4202560 2637 0 0 0 1 0 0 0 16 0 22 0 601382702 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3827] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3821 3823 3239 0 -1 4202560 1451 0 0 0 0 0 0 0 15 0 22 0 601382702 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3828] ppid=3821 vsize=15685516 CPUtime=0.02 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3821 3823 3239 0 -1 4202560 4111 0 0 0 2 0 0 0 16 0 22 0 601382702 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3829] ppid=3821 vsize=15685516 CPUtime=0.01 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3821 3823 3239 0 -1 4202560 2555 0 0 0 1 0 0 0 16 0 22 0 601382702 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3830] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) S 3821 3823 3239 0 -1 4202560 745 0 0 0 0 0 0 0 16 0 22 0 601382702 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3831] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3821 3823 3239 0 -1 4202560 419 0 0 0 0 0 0 0 15 0 22 0 601382702 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3832] ppid=3821 vsize=15685516 CPUtime=0.01 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3821 3823 3239 0 -1 4202560 3300 0 0 0 1 0 0 0 16 0 22 0 601382702 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3833] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3821 3823 3239 0 -1 4202560 623 0 0 0 0 0 0 0 15 0 22 0 601382702 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3834] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) S 3821 3823 3239 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 22 0 601382703 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 0 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3835] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) S 3821 3823 3239 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 601382704 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3836] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) S 3821 3823 3239 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 601382704 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3837] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3837/stat : 3837 (java) S 3821 3823 3239 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601382706 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379370417 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3838] ppid=3821 vsize=15685516 CPUtime=0.81 cores=1,3,5,7
/proc/3823/task/3838/stat : 3838 (java) S 3821 3823 3239 0 -1 4202560 2715 0 0 0 81 0 0 0 15 0 22 0 601382706 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3839] ppid=3821 vsize=15685516 CPUtime=1.03 cores=1,3,5,7
/proc/3823/task/3839/stat : 3839 (java) S 3821 3823 3239 0 -1 4202560 13066 0 0 0 102 1 0 0 15 0 22 0 601382706 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3840] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3840/stat : 3840 (java) S 3821 3823 3239 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601382706 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3841] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3841/stat : 3841 (java) S 3821 3823 3239 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601382706 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3842] ppid=3821 vsize=15685516 CPUtime=0.37 cores=1,3,5,7
/proc/3823/task/3842/stat : 3842 (java) S 3821 3823 3239 0 -1 4202560 15 0 0 0 37 0 0 0 15 0 22 0 601382792 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3843] ppid=3821 vsize=15685516 CPUtime=0.03 cores=1,3,5,7
/proc/3823/task/3843/stat : 3843 (java) R 3821 3823 3239 0 -1 4202560 8 0 0 0 3 0 0 0 15 0 22 0 601382792 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 47746192098451 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3823/tid=3844] ppid=3821 vsize=15685516 CPUtime=0.21 cores=1,3,5,7
/proc/3823/task/3844/stat : 3844 (java) S 3821 3823 3239 0 -1 4202560 24 0 0 0 21 0 0 0 16 0 22 0 601382792 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3845] ppid=3821 vsize=15685516 CPUtime=0.37 cores=1,3,5,7
/proc/3823/task/3845/stat : 3845 (java) S 3821 3823 3239 0 -1 4202560 8 0 0 0 37 0 0 0 15 0 22 0 601382792 16061968384 62352 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 15685516

[startup+6.30091 s]
/proc/loadavg: 8.04 8.03 7.87 6/220 3845
/proc/meminfo: memFree=26226188/32950928 swapFree=67111352/67111528
[pid=3823] ppid=3821 vsize=15685516 CPUtime=17.42 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3821 3823 3239 0 -1 4202496 293624 0 1 0 1698 44 0 0 25 0 22 0 601382701 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3823/statm: 3921379 283945 2275 9 0 3912098 0
[pid=3823/tid=3825] ppid=3821 vsize=15685516 CPUtime=2.39 cores=1,3,5,7
/proc/3823/task/3825/stat : 3825 (java) S 3821 3823 3239 0 -1 4202560 35707 0 1 0 233 6 0 0 25 0 22 0 601382702 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3826] ppid=3821 vsize=15685516 CPUtime=0.14 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3821 3823 3239 0 -1 4202560 19462 0 0 0 11 3 0 0 16 0 22 0 601382702 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3827] ppid=3821 vsize=15685516 CPUtime=0.21 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3821 3823 3239 0 -1 4202560 35229 0 0 0 17 4 0 0 15 0 22 0 601382702 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3828] ppid=3821 vsize=15685516 CPUtime=0.19 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3821 3823 3239 0 -1 4202560 26752 0 0 0 16 3 0 0 16 0 22 0 601382702 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3829] ppid=3821 vsize=15685516 CPUtime=0.19 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3821 3823 3239 0 -1 4202560 21953 0 0 0 17 2 0 0 16 0 22 0 601382702 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3830] ppid=3821 vsize=15685516 CPUtime=0.19 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) S 3821 3823 3239 0 -1 4202560 22103 0 0 0 16 3 0 0 16 0 22 0 601382702 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3831] ppid=3821 vsize=15685516 CPUtime=0.14 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3821 3823 3239 0 -1 4202560 16784 0 0 0 12 2 0 0 16 0 22 0 601382702 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3832] ppid=3821 vsize=15685516 CPUtime=0.14 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3821 3823 3239 0 -1 4202560 33231 0 0 0 10 4 0 0 16 0 22 0 601382702 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3833] ppid=3821 vsize=15685516 CPUtime=0.21 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3821 3823 3239 0 -1 4202560 26891 0 0 0 17 4 0 0 15 0 22 0 601382702 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3834] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) S 3821 3823 3239 0 -1 4202560 485 0 0 0 0 0 0 0 15 0 22 0 601382703 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 0 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3835] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) S 3821 3823 3239 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 601382704 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3836] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) S 3821 3823 3239 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 601382704 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3837] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3837/stat : 3837 (java) S 3821 3823 3239 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601382706 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379370417 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3838] ppid=3821 vsize=15685516 CPUtime=0.84 cores=1,3,5,7
/proc/3823/task/3838/stat : 3838 (java) S 3821 3823 3239 0 -1 4202560 2718 0 0 0 84 0 0 0 15 0 22 0 601382706 16061968384 283945 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0

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

/proc/3823/task/3825/stat : 3825 (java) S 3821 3823 3239 0 -1 4202560 35707 0 1 0 233 6 0 0 25 0 22 0 601382702 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3826] ppid=3821 vsize=15685516 CPUtime=2.52 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3821 3823 3239 0 -1 4202560 270260 0 0 0 209 43 0 0 15 0 22 0 601382702 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3827] ppid=3821 vsize=15685516 CPUtime=2.79 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3821 3823 3239 0 -1 4202560 380002 0 0 0 215 64 0 0 16 0 22 0 601382702 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3828] ppid=3821 vsize=15685516 CPUtime=3.05 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3821 3823 3239 0 -1 4202560 410176 0 0 0 242 63 0 0 16 0 22 0 601382702 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3829] ppid=3821 vsize=15685516 CPUtime=3.11 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3821 3823 3239 0 -1 4202560 455614 0 0 0 239 72 0 0 16 0 22 0 601382702 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3830] ppid=3821 vsize=15685516 CPUtime=2.18 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) S 3821 3823 3239 0 -1 4202560 288973 0 0 0 172 46 0 0 16 0 22 0 601382702 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3831] ppid=3821 vsize=15685516 CPUtime=2.71 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3821 3823 3239 0 -1 4202560 366469 0 0 0 212 59 0 0 16 0 22 0 601382702 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3832] ppid=3821 vsize=15685516 CPUtime=2.66 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3821 3823 3239 0 -1 4202560 314213 0 0 0 216 50 0 0 15 0 22 0 601382702 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3833] ppid=3821 vsize=15685516 CPUtime=3.12 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3821 3823 3239 0 -1 4202560 405958 0 0 0 247 65 0 0 16 0 22 0 601382702 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3834] ppid=3821 vsize=15685516 CPUtime=914.13 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) R 3821 3823 3239 0 -1 4202560 705379 0 0 0 91271 142 0 0 17 0 22 0 601382703 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 47746187581251 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=3823/tid=3835] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) S 3821 3823 3239 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 601382704 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3836] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) S 3821 3823 3239 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 601382704 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3837] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3837/stat : 3837 (java) S 3821 3823 3239 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601382706 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379370417 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3838] ppid=3821 vsize=15685516 CPUtime=1.08 cores=1,3,5,7
/proc/3823/task/3838/stat : 3838 (java) S 3821 3823 3239 0 -1 4202560 2748 0 0 0 108 0 0 0 15 0 22 0 601382706 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3839] ppid=3821 vsize=15685516 CPUtime=1.05 cores=1,3,5,7
/proc/3823/task/3839/stat : 3839 (java) S 3821 3823 3239 0 -1 4202560 13066 0 0 0 104 1 0 0 16 0 22 0 601382706 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3840] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3840/stat : 3840 (java) S 3821 3823 3239 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601382706 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3841] ppid=3821 vsize=15685516 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3841/stat : 3841 (java) S 3821 3823 3239 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 601382706 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3842] ppid=3821 vsize=15685516 CPUtime=376.23 cores=1,3,5,7
/proc/3823/task/3842/stat : 3842 (java) S 3821 3823 3239 0 -1 4202560 53362 0 0 0 37602 21 0 0 15 0 22 0 601382792 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3843] ppid=3821 vsize=15685516 CPUtime=374.82 cores=1,3,5,7
/proc/3823/task/3843/stat : 3843 (java) S 3821 3823 3239 0 -1 4202560 53508 0 0 0 37461 21 0 0 16 0 22 0 601382792 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3844] ppid=3821 vsize=15685516 CPUtime=376.17 cores=1,3,5,7
/proc/3823/task/3844/stat : 3844 (java) S 3821 3823 3239 0 -1 4202560 65550 0 0 0 37597 20 0 0 15 0 22 0 601382792 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3845] ppid=3821 vsize=15685516 CPUtime=376.29 cores=1,3,5,7
/proc/3823/task/3845/stat : 3845 (java) S 3821 3823 3239 0 -1 4202560 61074 0 0 0 37608 21 0 0 16 0 22 0 601382792 16061968384 3839784 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2444.48
Current children cumulated vsize (KiB) 15685516

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -3823

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

[startup+1300.9 s]
/proc/loadavg: 2.34 4.37 5.87 2/194 3901
/proc/meminfo: memFree=13997888/32950928 swapFree=67111352/67111528
[pid=3823] ppid=3821 vsize=15686544 CPUtime=2445.42 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3821 3823 3239 0 -1 4202496 3883542 0 1 0 243839 703 0 0 18 0 23 0 601382701 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3823/statm: 3921636 3839798 2294 9 0 3912355 0
[pid=3823/tid=3825] ppid=3821 vsize=15686544 CPUtime=2.39 cores=1,3,5,7
/proc/3823/task/3825/stat : 3825 (java) S 3821 3823 3239 0 -1 4202560 35707 0 1 0 233 6 0 0 25 0 23 0 601382702 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3826] ppid=3821 vsize=15686544 CPUtime=2.52 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3821 3823 3239 0 -1 4202560 270260 0 0 0 209 43 0 0 15 0 23 0 601382702 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3827] ppid=3821 vsize=15686544 CPUtime=2.79 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3821 3823 3239 0 -1 4202560 380002 0 0 0 215 64 0 0 16 0 23 0 601382702 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3828] ppid=3821 vsize=15686544 CPUtime=3.05 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3821 3823 3239 0 -1 4202560 410176 0 0 0 242 63 0 0 16 0 23 0 601382702 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3829] ppid=3821 vsize=15686544 CPUtime=3.11 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3821 3823 3239 0 -1 4202560 455614 0 0 0 239 72 0 0 16 0 23 0 601382702 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3830] ppid=3821 vsize=15686544 CPUtime=2.18 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) S 3821 3823 3239 0 -1 4202560 288973 0 0 0 172 46 0 0 16 0 23 0 601382702 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3831] ppid=3821 vsize=15686544 CPUtime=2.71 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3821 3823 3239 0 -1 4202560 366469 0 0 0 212 59 0 0 16 0 23 0 601382702 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3832] ppid=3821 vsize=15686544 CPUtime=2.66 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3821 3823 3239 0 -1 4202560 314213 0 0 0 216 50 0 0 15 0 23 0 601382702 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3833] ppid=3821 vsize=15686544 CPUtime=3.12 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3821 3823 3239 0 -1 4202560 405958 0 0 0 247 65 0 0 16 0 23 0 601382702 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3834] ppid=3821 vsize=15686544 CPUtime=915.01 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) R 3821 3823 3239 0 -1 4202560 705380 0 0 0 91359 142 0 0 18 0 23 0 601382703 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 47746187207216 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=3823/tid=3835] ppid=3821 vsize=15686544 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) S 3821 3823 3239 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 23 0 601382704 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3836] ppid=3821 vsize=15686544 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) S 3821 3823 3239 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 23 0 601382704 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3837] ppid=3821 vsize=15686544 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3837/stat : 3837 (java) S 3821 3823 3239 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 23 0 601382706 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379370417 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3838] ppid=3821 vsize=15686544 CPUtime=1.08 cores=1,3,5,7
/proc/3823/task/3838/stat : 3838 (java) S 3821 3823 3239 0 -1 4202560 2748 0 0 0 108 0 0 0 15 0 23 0 601382706 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3839] ppid=3821 vsize=15686544 CPUtime=1.05 cores=1,3,5,7
/proc/3823/task/3839/stat : 3839 (java) S 3821 3823 3239 0 -1 4202560 13066 0 0 0 104 1 0 0 16 0 23 0 601382706 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3840] ppid=3821 vsize=15686544 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3840/stat : 3840 (java) S 3821 3823 3239 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 23 0 601382706 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3841] ppid=3821 vsize=15686544 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3841/stat : 3841 (java) S 3821 3823 3239 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 23 0 601382706 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379363328 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3842] ppid=3821 vsize=15686544 CPUtime=376.24 cores=1,3,5,7
/proc/3823/task/3842/stat : 3842 (java) S 3821 3823 3239 0 -1 4202560 53362 0 0 0 37603 21 0 0 15 0 23 0 601382792 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3843] ppid=3821 vsize=15686544 CPUtime=374.84 cores=1,3,5,7
/proc/3823/task/3843/stat : 3843 (java) S 3821 3823 3239 0 -1 4202560 53511 0 0 0 37463 21 0 0 15 0 23 0 601382792 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3844] ppid=3821 vsize=15686544 CPUtime=376.18 cores=1,3,5,7
/proc/3823/task/3844/stat : 3844 (java) S 3821 3823 3239 0 -1 4202560 65552 0 0 0 37598 20 0 0 15 0 23 0 601382792 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3845] ppid=3821 vsize=15686544 CPUtime=376.31 cores=1,3,5,7
/proc/3823/task/3845/stat : 3845 (java) S 3821 3823 3239 0 -1 4202560 61076 0 0 0 37610 21 0 0 15 0 23 0 601382792 16063021056 3839798 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2445.42
Current children cumulated vsize (KiB) 15686544

[startup+1301.7 s]
/proc/loadavg: 2.34 4.37 5.87 2/196 3903
/proc/meminfo: memFree=13997624/32950928 swapFree=67111352/67111528
[pid=3823] ppid=3821 vsize=15687572 CPUtime=2446.23 cores=1,3,5,7
/proc/3823/stat : 3823 (java) S 3821 3823 3239 0 -1 4202496 3883561 0 1 0 243920 703 0 0 18 0 21 0 601382701 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3823/statm: 3921893 3839810 2295 9 0 3912612 0
[pid=3823/tid=3825] ppid=3821 vsize=15687572 CPUtime=2.39 cores=1,3,5,7
/proc/3823/task/3825/stat : 3825 (java) S 3821 3823 3239 0 -1 4202560 35707 0 1 0 233 6 0 0 25 0 21 0 601382702 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3826] ppid=3821 vsize=15687572 CPUtime=2.52 cores=1,3,5,7
/proc/3823/task/3826/stat : 3826 (java) S 3821 3823 3239 0 -1 4202560 270260 0 0 0 209 43 0 0 15 0 21 0 601382702 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3827] ppid=3821 vsize=15687572 CPUtime=2.79 cores=1,3,5,7
/proc/3823/task/3827/stat : 3827 (java) S 3821 3823 3239 0 -1 4202560 380002 0 0 0 215 64 0 0 16 0 21 0 601382702 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3828] ppid=3821 vsize=15687572 CPUtime=3.05 cores=1,3,5,7
/proc/3823/task/3828/stat : 3828 (java) S 3821 3823 3239 0 -1 4202560 410176 0 0 0 242 63 0 0 16 0 21 0 601382702 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3829] ppid=3821 vsize=15687572 CPUtime=3.11 cores=1,3,5,7
/proc/3823/task/3829/stat : 3829 (java) S 3821 3823 3239 0 -1 4202560 455614 0 0 0 239 72 0 0 16 0 21 0 601382702 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3830] ppid=3821 vsize=15687572 CPUtime=2.18 cores=1,3,5,7
/proc/3823/task/3830/stat : 3830 (java) S 3821 3823 3239 0 -1 4202560 288973 0 0 0 172 46 0 0 16 0 21 0 601382702 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3831] ppid=3821 vsize=15687572 CPUtime=2.71 cores=1,3,5,7
/proc/3823/task/3831/stat : 3831 (java) S 3821 3823 3239 0 -1 4202560 366469 0 0 0 212 59 0 0 16 0 21 0 601382702 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3832] ppid=3821 vsize=15687572 CPUtime=2.66 cores=1,3,5,7
/proc/3823/task/3832/stat : 3832 (java) S 3821 3823 3239 0 -1 4202560 314213 0 0 0 216 50 0 0 15 0 21 0 601382702 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3833] ppid=3821 vsize=15687572 CPUtime=3.12 cores=1,3,5,7
/proc/3823/task/3833/stat : 3833 (java) S 3821 3823 3239 0 -1 4202560 405958 0 0 0 247 65 0 0 16 0 21 0 601382702 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3834] ppid=3821 vsize=15687572 CPUtime=915.8 cores=1,3,5,7
/proc/3823/task/3834/stat : 3834 (java) R 3821 3823 3239 0 -1 4202560 705380 0 0 0 91438 142 0 0 18 0 21 0 601382703 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 47746191519810 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=3823/tid=3835] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3835/stat : 3835 (java) S 3821 3823 3239 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 601382704 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3836] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3836/stat : 3836 (java) S 3821 3823 3239 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 21 0 601382704 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3838] ppid=3821 vsize=15687572 CPUtime=1.08 cores=1,3,5,7
/proc/3823/task/3838/stat : 3838 (java) S 3821 3823 3239 0 -1 4202560 2748 0 0 0 108 0 0 0 15 0 21 0 601382706 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3839] ppid=3821 vsize=15687572 CPUtime=1.05 cores=1,3,5,7
/proc/3823/task/3839/stat : 3839 (java) S 3821 3823 3239 0 -1 4202560 13066 0 0 0 104 1 0 0 16 0 21 0 601382706 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3840] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3840/stat : 3840 (java) S 3821 3823 3239 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 601382706 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3842] ppid=3821 vsize=15687572 CPUtime=376.25 cores=1,3,5,7
/proc/3823/task/3842/stat : 3842 (java) S 3821 3823 3239 0 -1 4202560 53362 0 0 0 37604 21 0 0 15 0 21 0 601382792 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 5 0 0 0
[pid=3823/tid=3843] ppid=3821 vsize=15687572 CPUtime=374.84 cores=1,3,5,7
/proc/3823/task/3843/stat : 3843 (java) S 3821 3823 3239 0 -1 4202560 53516 0 0 0 37463 21 0 0 15 0 21 0 601382792 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
[pid=3823/tid=3844] ppid=3821 vsize=15687572 CPUtime=376.18 cores=1,3,5,7
/proc/3823/task/3844/stat : 3844 (java) S 3821 3823 3239 0 -1 4202560 65554 0 0 0 37598 20 0 0 15 0 21 0 601382792 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 3 0 0 0
[pid=3823/tid=3845] ppid=3821 vsize=15687572 CPUtime=376.31 cores=1,3,5,7
/proc/3823/task/3845/stat : 3845 (java) S 3821 3823 3239 0 -1 4202560 61076 0 0 0 37610 21 0 0 15 0 21 0 601382792 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 7 0 0 0
[pid=3823/tid=3902] ppid=3821 vsize=15687572 CPUtime=0 cores=1,3,5,7
/proc/3823/task/3902/stat : 3902 (java) S 3821 3823 3239 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 21 0 601512777 16064073728 3839810 33554432000 1073741824 1073778376 140737445123056 18446744073709551615 251379362713 0 4 0 16800975 18446604466955421760 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2446.23
Current children cumulated vsize (KiB) 15687572

[startup+1302.1 s]
/proc/loadavg: 2.34 4.37 5.87 2/196 3903
/proc/meminfo: memFree=13997624/32950928 swapFree=67111352/67111528
[pid=3823] ppid=3821 vsize=0 CPUtime=2446.63 cores=1,3,5,7
/proc/3823/stat : 3823 (java) R 3821 3823 3239 0 -1 4203524 3883561 0 1 0 243924 739 0 0 18 0 1 0 601382701 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3823/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2446.63
Current children cumulated vsize (KiB) 0

[startup+1302.2 s]
/proc/loadavg: 2.34 4.37 5.87 2/196 3903
/proc/meminfo: memFree=13997624/32950928 swapFree=67111352/67111528
[pid=3823] ppid=3821 vsize=0 CPUtime=2446.73 cores=1,3,5,7
/proc/3823/stat : 3823 (java) R 3821 3823 3239 0 -1 4203524 3883561 0 1 0 243924 749 0 0 18 0 1 0 601382701 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3823/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2446.73
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1302.28
CPU time (s): 2446.82
CPU user time (s): 2439.24
CPU system time (s): 7.57385
CPU usage (%): 187.888
Max. virtual memory (cumulated for all children) (KiB): 15689348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2439.24
system time used= 7.57385
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3883561
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= 69056
involuntary context switches= 40588

runsolver used 2.26666 second user time and 5.11222 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-29 23:12:00
IDJOB=3312347
IDBENCH=82532
IDSOLVER=1699
FILE ID=node113/3312347-1304111520
RUNJOBID= node113-1304110297-3639
PBS_JOBID= 13170664
Free space on /tmp= 71160 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312347-1304111520/watcher-3312347-1304111520 -o /tmp/evaluation-result-3312347-1304111520/solver-3312347-1304111520 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312347-1304111520.cnf

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

MD5SUM BENCH= 4f5a8cb56de51e6630c119bd6436cc16
RANDOM SEED=647266498

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.76
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.846
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.74
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.846
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.846
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.74
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.846
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.75
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.846
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.83
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.846
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28475064 kB
Buffers:        721112 kB
Cached:        2268316 kB
SwapCached:         12 kB
Active:        1057008 kB
Inactive:      2899372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28475064 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            7624 kB
Writeback:           0 kB
AnonPages:      966060 kB
Mapped:          23380 kB
Slab:           453548 kB
PageTables:       6432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1946108 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71160 MiB
End job on node113 at 2011-04-29 23:33:43