Trace number 3312392

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) 2481.28 1300.63

General information on the benchmark

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

Solver Data 

0.10/0.11	37:13 INFO : Reading from input HOME/instance-3312392-1304113033.cnf
1.24/1.08	Executor set job limit to 1000000
1.24/1.08	Executor set job limit to 1000000
1.24/1.08	Executor set job limit to 1000000
1.24/1.08	Executor set job limit to 1000000
1.24/1.08	Starting Executor!
1.24/1.08	Starting Executor!
1.24/1.08	Starting Executor!
1.24/1.08	Starting Executor!
5.06/3.20	37:17 INFO : 49817 variables remaining out of 49999
5.06/3.20	37:17 INFO : 835232 literals remaining out of 840000
1385.37/375.42	43:29 ERROR: Failed to solve instance
1385.37/375.42	java.lang.OutOfMemoryError: Java heap space
1385.37/375.42		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1385.37/375.42		at gnu.trove.THash.postInsertHook(THash.java:370)
1385.37/375.42		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1385.37/375.42		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1385.37/375.42		at ibis.structure.Subsumming.run(Subsumming.java:58)
1385.37/375.42		at ibis.structure.Solver.simplify(Solver.java:205)
1385.37/375.42		at ibis.structure.Solver.solve(Solver.java:113)
1385.37/375.42		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1385.37/375.42		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1385.37/375.42		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1385.37/375.42		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1385.37/375.42		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1385.37/375.42		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1385.37/375.42		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1385.37/375.42		at ibis.constellation.Executor.processActivities(Executor.java:75)
1385.37/375.42		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1385.37/375.42		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1385.37/375.42		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1388.11/378.12	43:31 ERROR: Failed to solve instance
1388.11/378.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1388.11/378.12		at ibis.structure.WatchLists.build(WatchLists.java:47)
1388.11/378.12		at ibis.structure.Solver.<init>(Solver.java:45)
1388.11/378.12		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1388.11/378.12		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1388.11/378.12		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1388.11/378.12		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1388.11/378.12		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1388.11/378.12		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1388.11/378.12		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1388.11/378.12		at ibis.constellation.Executor.processActivities(Executor.java:75)
1388.11/378.12		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1388.11/378.12		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1388.11/378.12		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1401.05/388.64	43:42 ERROR: Failed to solve instance
1401.05/388.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1401.05/388.64		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:169)
1401.05/388.64		at gnu.trove.THash.postInsertHook(THash.java:370)
1401.05/388.64		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1401.05/388.64		at ibis.structure.WatchLists.build(WatchLists.java:56)
1401.05/388.64		at ibis.structure.Solver.<init>(Solver.java:45)
1401.05/388.64		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1401.05/388.64		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1401.05/388.64		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1401.05/388.64		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1401.05/388.64		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1401.05/388.64		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1401.05/388.64		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1401.05/388.64		at ibis.constellation.Executor.processActivities(Executor.java:75)
1401.05/388.64		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1401.05/388.64		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1401.05/388.64		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1403.49/391.09	43:44 ERROR: Failed to solve instance
1403.49/391.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1403.49/391.09		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1403.49/391.09		at gnu.trove.THash.<init>(THash.java:128)
1403.49/391.09		at gnu.trove.THash.<init>(THash.java:97)
1403.49/391.09		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1403.49/391.09		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1403.49/391.09		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1403.49/391.09		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1403.49/391.09		at ibis.structure.WatchLists.build(WatchLists.java:47)
1403.49/391.09		at ibis.structure.Solver.<init>(Solver.java:45)
1403.49/391.09		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1403.49/391.09		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1403.49/391.09		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1403.49/391.09		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1403.49/391.09		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1403.49/391.09		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1403.49/391.09		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1403.49/391.09		at ibis.constellation.Executor.processActivities(Executor.java:75)
1403.49/391.09		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1403.49/391.09		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1403.49/391.09		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1406.01/393.55	43:47 ERROR: Failed to solve instance
1406.01/393.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1408.99/396.45	43:50 ERROR: Failed to solve instance
1408.99/396.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1409.62/397.04	43:50 ERROR: Failed to solve instance
1409.62/397.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1410.30/397.73	43:51 ERROR: Failed to solve instance
1410.30/397.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1418.44/403.77	43:57 ERROR: Failed to solve instance
1418.44/403.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1419.67/404.95	43:58 ERROR: Failed to solve instance
1419.67/404.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1420.30/405.55	43:59 ERROR: Failed to solve instance
1420.30/405.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1420.93/406.20	44:00 ERROR: Failed to solve instance
1420.93/406.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.66/406.88	44:00 ERROR: Failed to solve instance
1421.66/406.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1428.79/412.35	44:06 ERROR: Failed to solve instance
1428.79/412.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1429.30/412.89	44:06 ERROR: Failed to solve instance
1429.30/412.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1434.77/417.38	44:11 ERROR: Failed to solve instance
1434.77/417.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1435.39/417.93	44:11 ERROR: Failed to solve instance
1435.39/417.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1436.00/418.53	44:12 ERROR: Failed to solve instance
1436.00/418.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1437.13/419.70	44:13 ERROR: Failed to solve instance
1437.13/419.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1437.87/420.36	44:14 ERROR: Failed to solve instance
1437.87/420.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1449.18/429.03	44:22 ERROR: Failed to solve instance
1449.18/429.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1452.10/431.93	44:25 ERROR: Failed to solve instance
1452.10/431.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1452.71/432.51	44:26 ERROR: Failed to solve instance
1452.71/432.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1453.33/433.13	44:26 ERROR: Failed to solve instance
1453.33/433.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1453.95/433.76	44:27 ERROR: Failed to solve instance
1453.95/433.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.99/434.71	44:28 ERROR: Failed to solve instance
1454.99/434.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.84/435.62	44:29 ERROR: Failed to solve instance
1455.84/435.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.01/438.83	44:32 ERROR: Failed to solve instance
1460.01/438.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.65/439.43	44:33 ERROR: Failed to solve instance
1460.65/439.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1461.69/440.46	44:34 ERROR: Failed to solve instance
1461.69/440.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1462.33/441.08	44:34 ERROR: Failed to solve instance
1462.33/441.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1462.95/441.65	44:35 ERROR: Failed to solve instance
1462.95/441.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1463.69/442.31	44:36 ERROR: Failed to solve instance
1463.69/442.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1474.67/450.74	44:44 ERROR: Failed to solve instance
1474.67/450.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1475.30/451.35	44:45 ERROR: Failed to solve instance
1475.30/451.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1476.06/452.05	44:45 ERROR: Failed to solve instance
1476.06/452.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1484.84/458.79	44:52 ERROR: Failed to solve instance
1484.84/458.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1485.96/459.81	44:53 ERROR: Failed to solve instance
1485.96/459.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1486.49/460.38	44:54 ERROR: Failed to solve instance
1486.49/460.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1487.12/461.02	44:54 ERROR: Failed to solve instance
1487.12/461.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1490.41/463.67	44:57 ERROR: Failed to solve instance
1490.41/463.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1491.55/464.81	44:58 ERROR: Failed to solve instance
1491.55/464.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1492.28/465.43	44:59 ERROR: Failed to solve instance
1492.28/465.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1492.91/466.02	44:59 ERROR: Failed to solve instance
1492.91/466.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1502.00/472.61	45:06 ERROR: Failed to solve instance
1502.00/472.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1506.71/476.79	45:10 ERROR: Failed to solve instance
1506.71/476.79	java.lang.OutOfMemoryError: Java heap space
1506.71/476.79	45:10 ERROR: Failed to solve instance
1506.71/476.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1507.34/477.30	45:11 ERROR: Failed to solve instance
1507.34/477.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1508.38/478.35	45:12 ERROR: Failed to solve instance
1508.38/478.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1509.01/478.93	45:12 ERROR: Failed to solve instance
1509.01/478.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1509.64/479.57	45:13 ERROR: Failed to solve instance
1509.64/479.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.26/488.68	45:22 ERROR: Failed to solve instance
1521.26/488.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.88/489.23	45:23 ERROR: Failed to solve instance
1521.88/489.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1523.00/490.37	45:24 ERROR: Failed to solve instance
1523.00/490.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1523.62/490.97	45:24 ERROR: Failed to solve instance
1523.62/490.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1524.25/491.60	45:25 ERROR: Failed to solve instance
1524.25/491.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1525.00/492.29	45:26 ERROR: Failed to solve instance
1525.00/492.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1530.50/496.86	45:30 ERROR: Failed to solve instance
1530.50/496.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1531.14/497.47	45:31 ERROR: Failed to solve instance
1531.14/497.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1531.87/498.12	45:31 ERROR: Failed to solve instance
1531.87/498.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1546.70/509.85	45:43 ERROR: Failed to solve instance
1546.70/509.85	java.lang.OutOfMemoryError: Java heap space
1547.00/510.12	45:44 ERROR: Failed to solve instance
1547.00/510.12	java.lang.OutOfMemoryError: Java heap space
1547.30/510.43	45:44 ERROR: Failed to solve instance
1547.30/510.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1548.54/511.63	45:45 ERROR: Failed to solve instance
1548.54/511.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1549.18/512.27	45:46 ERROR: Failed to solve instance
1549.18/512.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1549.90/512.95	45:46 ERROR: Failed to solve instance
1549.90/512.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1550.64/513.67	45:47 ERROR: Failed to solve instance
1550.64/513.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.95/522.33	45:56 ERROR: Failed to solve instance
1561.95/522.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1562.46/522.89	45:56 ERROR: Failed to solve instance
1562.46/522.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1563.09/523.49	45:57 ERROR: Failed to solve instance
1563.09/523.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1563.82/524.12	45:57 ERROR: Failed to solve instance
1563.82/524.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1569.89/529.14	46:03 ERROR: Failed to solve instance
1569.89/529.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1570.42/529.70	46:03 ERROR: Failed to solve instance
1570.42/529.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1571.37/530.56	46:04 ERROR: Failed to solve instance
1571.37/530.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1574.63/533.36	46:07 ERROR: Failed to solve instance
1574.63/533.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1575.25/533.99	46:07 ERROR: Failed to solve instance
1575.25/533.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1576.49/535.18	46:08 ERROR: Failed to solve instance
1576.49/535.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1577.21/535.82	46:09 ERROR: Failed to solve instance
1577.21/535.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1577.95/536.54	46:10 ERROR: Failed to solve instance
1577.95/536.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1578.67/537.22	46:11 ERROR: Failed to solve instance
1578.67/537.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1579.78/538.26	46:12 ERROR: Failed to solve instance
1579.78/538.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.97/547.24	46:21 ERROR: Failed to solve instance
1591.97/547.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1592.98/548.24	46:22 ERROR: Failed to solve instance
1592.98/548.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1593.51/548.80	46:22 ERROR: Failed to solve instance
1593.51/548.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1598.86/553.21	46:27 ERROR: Failed to solve instance
1598.86/553.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1599.38/553.75	46:27 ERROR: Failed to solve instance
1599.38/553.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1600.02/554.34	46:28 ERROR: Failed to solve instance
1600.02/554.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1601.26/555.53	46:29 ERROR: Failed to solve instance
1601.26/555.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1601.78/556.05	46:29 ERROR: Failed to solve instance
1601.78/556.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1602.41/556.68	46:30 ERROR: Failed to solve instance
1602.41/556.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1603.19/557.34	46:31 ERROR: Failed to solve instance
1603.19/557.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1612.87/564.72	Exception in thread "SingleThreadedConstellation 3" java.lang.OutOfMemoryError: GC overhead limit exceeded
1620.75/571.12	46:44 ERROR: Failed to solve instance
1620.75/571.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1621.17/571.57	46:45 ERROR: Failed to solve instance
1621.17/571.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1621.68/572.06	46:45 ERROR: Failed to solve instance
1621.68/572.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1622.30/572.60	46:46 ERROR: Failed to solve instance
1622.30/572.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1631.10/579.86	46:53 ERROR: Failed to solve instance
1631.10/579.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1631.63/580.35	46:54 ERROR: Failed to solve instance
1631.63/580.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1632.45/581.20	46:55 ERROR: Failed to solve instance
1632.45/581.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.98/584.21	46:58 ERROR: Failed to solve instance
1635.98/584.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.71/584.96	46:58 ERROR: Failed to solve instance
1636.71/584.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.42/588.10	47:01 ERROR: Failed to solve instance
1640.42/588.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.83/588.54	47:02 ERROR: Failed to solve instance
1640.83/588.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1641.35/589.03	47:02 ERROR: Failed to solve instance
1641.35/589.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1641.87/589.58	47:03 ERROR: Failed to solve instance
1641.87/589.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.06/597.72	47:11 ERROR: Failed to solve instance
1652.06/597.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.46/598.16	47:12 ERROR: Failed to solve instance
1652.46/598.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.97/598.65	47:12 ERROR: Failed to solve instance
1652.97/598.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1653.89/599.57	47:13 ERROR: Failed to solve instance
1653.89/599.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1654.52/600.11	47:13 ERROR: Failed to solve instance
1654.52/600.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1662.15/606.18	47:20 ERROR: Failed to solve instance
1662.15/606.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1664.96/608.61	47:22 ERROR: Failed to solve instance
1664.96/608.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1665.79/609.48	47:23 ERROR: Failed to solve instance
1665.79/609.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.30/609.96	47:23 ERROR: Failed to solve instance
1666.30/609.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.92/610.51	47:24 ERROR: Failed to solve instance
1666.92/610.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1667.55/611.15	47:25 ERROR: Failed to solve instance
1667.55/611.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1677.79/619.47	47:33 ERROR: Failed to solve instance
1677.79/619.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1678.31/619.91	47:33 ERROR: Failed to solve instance
1678.31/619.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1678.72/620.39	47:34 ERROR: Failed to solve instance
1678.72/620.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1679.33/620.95	47:34 ERROR: Failed to solve instance
1679.33/620.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1680.26/621.80	47:35 ERROR: Failed to solve instance
1680.26/621.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1683.71/624.81	47:38 ERROR: Failed to solve instance
1683.71/624.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1684.23/625.32	47:39 ERROR: Failed to solve instance
1684.23/625.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1685.15/626.23	47:40 ERROR: Failed to solve instance
1685.15/626.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1685.67/626.73	47:40 ERROR: Failed to solve instance
1685.67/626.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.20/627.27	47:41 ERROR: Failed to solve instance
1686.20/627.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1694.13/633.17	47:47 ERROR: Failed to solve instance
1694.13/633.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1694.64/633.65	47:47 ERROR: Failed to solve instance
1694.64/633.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.57/634.55	47:48 ERROR: Failed to solve instance
1695.57/634.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1696.09/635.06	47:48 ERROR: Failed to solve instance
1696.09/635.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1703.56/640.92	47:54 ERROR: Failed to solve instance
1703.56/640.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.08/641.44	47:55 ERROR: Failed to solve instance
1704.08/641.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1705.00/642.35	47:56 ERROR: Failed to solve instance
1705.00/642.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1705.52/642.86	47:56 ERROR: Failed to solve instance
1705.52/642.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1706.14/643.40	47:57 ERROR: Failed to solve instance
1706.14/643.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1715.89/651.27	48:05 ERROR: Failed to solve instance
1715.89/651.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1716.41/651.71	48:05 ERROR: Failed to solve instance
1716.41/651.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1716.81/652.19	48:06 ERROR: Failed to solve instance
1716.81/652.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1717.43/652.70	48:06 ERROR: Failed to solve instance
1717.43/652.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1722.83/657.16	48:11 ERROR: Failed to solve instance
1722.83/657.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1723.36/657.63	48:11 ERROR: Failed to solve instance
1723.36/657.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1726.98/660.86	48:14 ERROR: Failed to solve instance
1726.98/660.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1727.50/661.33	48:15 ERROR: Failed to solve instance
1727.50/661.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1728.02/661.86	48:15 ERROR: Failed to solve instance
1728.02/661.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1733.90/666.70	48:20 ERROR: Failed to solve instance
1733.90/666.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1734.33/667.18	48:21 ERROR: Failed to solve instance
1734.33/667.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1735.25/668.08	48:21 ERROR: Failed to solve instance
1735.25/668.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1735.77/668.58	48:22 ERROR: Failed to solve instance
1735.77/668.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1736.39/669.13	48:23 ERROR: Failed to solve instance
1736.39/669.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1744.42/675.10	48:28 ERROR: Failed to solve instance
1744.42/675.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1744.83/675.57	48:29 ERROR: Failed to solve instance
1744.83/675.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1745.36/676.09	48:29 ERROR: Failed to solve instance
1745.36/676.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1754.12/683.30	48:37 ERROR: Failed to solve instance
1754.12/683.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1754.65/683.80	48:37 ERROR: Failed to solve instance
1754.65/683.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.12/687.09	48:40 ERROR: Failed to solve instance
1758.12/687.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.52/687.44	48:41 ERROR: Failed to solve instance
1758.52/687.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1760.67/689.35	48:43 ERROR: Failed to solve instance
1760.67/689.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1761.29/689.91	48:43 ERROR: Failed to solve instance
1761.29/689.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1770.23/697.20	48:51 ERROR: Failed to solve instance
1770.23/697.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1770.65/697.68	48:51 ERROR: Failed to solve instance
1770.65/697.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1771.27/698.21	48:52 ERROR: Failed to solve instance
1771.27/698.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1772.02/698.99	48:52 ERROR: Failed to solve instance
1772.02/698.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1775.68/702.14	48:55 ERROR: Failed to solve instance
1775.68/702.14	java.lang.OutOfMemoryError: Java heap space
1775.68/702.14	48:56 ERROR: Failed to solve instance
1775.68/702.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1776.11/702.59	48:56 ERROR: Failed to solve instance
1776.11/702.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1776.63/703.08	48:56 ERROR: Failed to solve instance
1776.63/703.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.15/711.14	49:05 ERROR: Failed to solve instance
1787.15/711.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.57/711.58	49:05 ERROR: Failed to solve instance
1787.57/711.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1791.67/715.15	49:08 ERROR: Failed to solve instance
1791.67/715.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1792.18/715.62	49:09 ERROR: Failed to solve instance
1792.18/715.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1792.60/716.09	49:09 ERROR: Failed to solve instance
1792.60/716.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1793.22/716.61	49:10 ERROR: Failed to solve instance
1793.22/716.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.88/724.64	49:18 ERROR: Failed to solve instance
1802.88/724.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1803.41/725.18	49:19 ERROR: Failed to solve instance
1803.41/725.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1803.91/725.65	49:19 ERROR: Failed to solve instance
1803.91/725.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.04/728.37	49:22 ERROR: Failed to solve instance
1807.04/728.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.56/728.87	49:22 ERROR: Failed to solve instance
1807.56/728.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1808.47/729.77	49:23 ERROR: Failed to solve instance
1808.47/729.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1808.99/730.28	49:24 ERROR: Failed to solve instance
1808.99/730.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1809.62/730.82	49:24 ERROR: Failed to solve instance
1809.62/730.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1821.38/740.13	49:34 ERROR: Failed to solve instance
1821.38/740.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1821.80/740.58	49:34 ERROR: Failed to solve instance
1821.80/740.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1822.21/740.99	49:34 ERROR: Failed to solve instance
1822.21/740.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.30/744.51	49:38 ERROR: Failed to solve instance
1826.30/744.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.71/744.94	49:38 ERROR: Failed to solve instance
1826.71/744.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1827.22/745.43	49:39 ERROR: Failed to solve instance
1827.22/745.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1828.15/746.36	49:40 ERROR: Failed to solve instance
1828.15/746.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1828.66/746.85	49:40 ERROR: Failed to solve instance
1828.66/746.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1829.28/747.41	49:41 ERROR: Failed to solve instance
1829.28/747.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1838.46/754.62	49:48 ERROR: Failed to solve instance
1838.46/754.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1838.87/755.09	49:48 ERROR: Failed to solve instance
1838.87/755.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1839.89/756.01	49:49 ERROR: Failed to solve instance
1839.89/756.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1840.41/756.51	49:50 ERROR: Failed to solve instance
1840.41/756.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1840.93/757.06	49:50 ERROR: Failed to solve instance
1840.93/757.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1848.94/763.48	49:57 ERROR: Failed to solve instance
1848.94/763.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1849.46/763.99	49:57 ERROR: Failed to solve instance
1849.46/763.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1850.49/764.90	49:58 ERROR: Failed to solve instance
1850.49/764.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1851.01/765.40	49:59 ERROR: Failed to solve instance
1851.01/765.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1858.68/771.52	50:05 ERROR: Failed to solve instance
1858.68/771.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1859.09/771.96	50:05 ERROR: Failed to solve instance
1859.09/771.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1859.61/772.44	50:06 ERROR: Failed to solve instance
1859.61/772.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.12/772.97	50:06 ERROR: Failed to solve instance
1860.12/772.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.97/773.73	50:07 ERROR: Failed to solve instance
1860.97/773.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1863.93/776.23	50:10 ERROR: Failed to solve instance
1863.93/776.23	java.lang.OutOfMemoryError: Java heap space
1872.10/783.24	50:17 ERROR: Failed to solve instance
1872.10/783.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1872.63/783.78	50:17 ERROR: Failed to solve instance
1872.63/783.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1877.61/788.04	50:21 ERROR: Failed to solve instance
1877.61/788.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1878.13/788.52	50:22 ERROR: Failed to solve instance
1878.13/788.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1879.05/789.41	50:23 ERROR: Failed to solve instance
1879.05/789.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1879.38/789.78	50:23 ERROR: Failed to solve instance
1879.38/789.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1883.07/792.75	50:26 ERROR: Failed to solve instance
1883.07/792.75	java.lang.OutOfMemoryError: Java heap space
1883.60/793.26	50:27 ERROR: Failed to solve instance
1883.60/793.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1884.20/793.80	50:27 ERROR: Failed to solve instance
1884.20/793.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1894.27/801.61	50:35 ERROR: Failed to solve instance
1894.27/801.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1894.99/802.36	50:36 ERROR: Failed to solve instance
1894.99/802.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1895.50/802.82	50:36 ERROR: Failed to solve instance
1895.50/802.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.03/809.98	50:43 ERROR: Failed to solve instance
1904.03/809.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.55/810.44	50:44 ERROR: Failed to solve instance
1904.55/810.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.96/810.82	50:44 ERROR: Failed to solve instance
1904.96/810.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.99/813.36	50:47 ERROR: Failed to solve instance
1907.99/813.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1909.01/814.30	50:48 ERROR: Failed to solve instance
1909.01/814.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1909.53/814.81	50:48 ERROR: Failed to solve instance
1909.53/814.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1910.04/815.37	50:49 ERROR: Failed to solve instance
1910.04/815.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1910.65/815.99	50:49 ERROR: Failed to solve instance
1910.65/815.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1920.32/823.61	50:57 ERROR: Failed to solve instance
1920.32/823.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1920.74/824.05	50:57 ERROR: Failed to solve instance
1920.74/824.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.26/824.55	50:58 ERROR: Failed to solve instance
1921.26/824.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.28/825.55	50:59 ERROR: Failed to solve instance
1922.28/825.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.90/826.17	51:00 ERROR: Failed to solve instance
1922.90/826.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1931.44/833.01	51:06 ERROR: Failed to solve instance
1931.44/833.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1931.85/833.47	51:07 ERROR: Failed to solve instance
1931.85/833.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1932.77/834.36	51:08 ERROR: Failed to solve instance
1932.77/834.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.28/834.84	51:08 ERROR: Failed to solve instance
1933.28/834.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.81/835.37	51:09 ERROR: Failed to solve instance
1933.81/835.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1942.06/842.05	51:15 ERROR: Failed to solve instance
1942.06/842.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1942.47/842.44	51:16 ERROR: Failed to solve instance
1942.47/842.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1942.99/842.91	51:16 ERROR: Failed to solve instance
1942.99/842.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1943.81/843.74	51:17 ERROR: Failed to solve instance
1943.81/843.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1944.33/844.24	51:18 ERROR: Failed to solve instance
1944.33/844.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1944.74/844.69	51:18 ERROR: Failed to solve instance
1944.74/844.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1945.25/845.14	51:19 ERROR: Failed to solve instance
1945.25/845.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1953.12/851.52	51:25 ERROR: Failed to solve instance
1953.12/851.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1954.04/852.42	51:26 ERROR: Failed to solve instance
1954.04/852.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1954.55/852.91	51:26 ERROR: Failed to solve instance
1954.55/852.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1955.07/853.43	51:27 ERROR: Failed to solve instance
1955.07/853.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1955.70/854.00	51:27 ERROR: Failed to solve instance
1955.70/854.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1965.98/862.33	51:36 ERROR: Failed to solve instance
1965.98/862.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1966.39/862.79	51:36 ERROR: Failed to solve instance
1966.39/862.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1967.42/863.71	51:37 ERROR: Failed to solve instance
1967.42/863.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1967.94/864.21	51:38 ERROR: Failed to solve instance
1967.94/864.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1968.46/864.76	51:38 ERROR: Failed to solve instance
1968.46/864.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1977.45/871.78	51:45 ERROR: Failed to solve instance
1977.45/871.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1977.96/872.25	51:46 ERROR: Failed to solve instance
1977.96/872.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1981.45/875.21	51:49 ERROR: Failed to solve instance
1981.45/875.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1984.11/877.62	51:51 ERROR: Failed to solve instance
1984.11/877.62	java.lang.OutOfMemoryError: Java heap space
1984.31/877.85	51:51 ERROR: Failed to solve instance
1984.31/877.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1986.83/880.12	51:54 ERROR: Failed to solve instance
1986.83/880.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.73/885.04	51:58 ERROR: Failed to solve instance
1992.73/885.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1993.14/885.49	51:59 ERROR: Failed to solve instance
1993.14/885.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1993.65/885.99	51:59 ERROR: Failed to solve instance
1993.65/885.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2001.57/892.38	52:06 ERROR: Failed to solve instance
2001.57/892.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.09/892.81	52:06 ERROR: Failed to solve instance
2002.09/892.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.51/893.29	52:07 ERROR: Failed to solve instance
2002.51/893.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.91/893.68	52:07 ERROR: Failed to solve instance
2002.91/893.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2006.43/896.76	52:10 ERROR: Failed to solve instance
2006.43/896.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2006.95/897.22	52:11 ERROR: Failed to solve instance
2006.95/897.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2007.46/897.72	52:11 ERROR: Failed to solve instance
2007.46/897.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2008.40/898.65	52:12 ERROR: Failed to solve instance
2008.40/898.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2008.92/899.17	52:13 ERROR: Failed to solve instance
2008.92/899.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.19/906.42	52:20 ERROR: Failed to solve instance
2018.19/906.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.61/906.86	52:20 ERROR: Failed to solve instance
2018.61/906.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.12/907.36	52:21 ERROR: Failed to solve instance
2019.12/907.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.64/907.89	52:21 ERROR: Failed to solve instance
2019.64/907.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.88/917.15	52:31 ERROR: Failed to solve instance
2030.88/917.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2031.29/917.58	52:31 ERROR: Failed to solve instance
2031.29/917.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2032.20/918.48	52:32 ERROR: Failed to solve instance
2032.20/918.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2032.71/918.97	52:32 ERROR: Failed to solve instance
2032.71/918.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2033.23/919.49	52:33 ERROR: Failed to solve instance
2033.23/919.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2033.85/920.06	52:33 ERROR: Failed to solve instance
2033.85/920.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2044.41/928.65	52:42 ERROR: Failed to solve instance
2044.41/928.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2044.82/929.09	52:42 ERROR: Failed to solve instance
2044.82/929.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2045.73/929.99	52:43 ERROR: Failed to solve instance
2045.73/929.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2046.25/930.48	52:44 ERROR: Failed to solve instance
2046.25/930.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2046.87/931.02	52:44 ERROR: Failed to solve instance
2046.87/931.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2047.49/931.60	52:45 ERROR: Failed to solve instance
2047.49/931.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2056.02/938.52	52:52 ERROR: Failed to solve instance
2056.02/938.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2056.54/939.00	52:52 ERROR: Failed to solve instance
2056.54/939.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2057.06/939.53	52:53 ERROR: Failed to solve instance
2057.06/939.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2064.73/945.99	52:59 ERROR: Failed to solve instance
2064.73/945.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2067.56/948.45	53:02 ERROR: Failed to solve instance
2067.56/948.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2068.07/948.91	53:02 ERROR: Failed to solve instance
2068.07/948.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2068.59/949.41	53:03 ERROR: Failed to solve instance
2068.59/949.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2069.51/950.33	53:04 ERROR: Failed to solve instance
2069.51/950.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.03/950.82	53:04 ERROR: Failed to solve instance
2070.03/950.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.56/951.36	53:05 ERROR: Failed to solve instance
2070.56/951.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2071.18/951.92	53:05 ERROR: Failed to solve instance
2071.18/951.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2081.45/960.29	53:14 ERROR: Failed to solve instance
2081.45/960.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2081.97/960.75	53:14 ERROR: Failed to solve instance
2081.97/960.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2082.48/961.24	53:15 ERROR: Failed to solve instance
2082.48/961.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2083.40/962.16	53:15 ERROR: Failed to solve instance
2083.40/962.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2083.92/962.67	53:16 ERROR: Failed to solve instance
2083.92/962.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.54/963.21	53:17 ERROR: Failed to solve instance
2084.54/963.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2093.29/970.07	53:23 ERROR: Failed to solve instance
2093.29/970.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2093.81/970.50	53:24 ERROR: Failed to solve instance
2093.81/970.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2094.23/970.98	53:24 ERROR: Failed to solve instance
2094.23/970.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2094.74/971.50	53:25 ERROR: Failed to solve instance
2094.74/971.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2101.13/976.85	53:30 ERROR: Failed to solve instance
2101.13/976.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2101.64/977.30	53:31 ERROR: Failed to solve instance
2101.64/977.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2102.15/977.83	53:31 ERROR: Failed to solve instance
2102.15/977.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2108.43/983.12	53:36 ERROR: Failed to solve instance
2108.43/983.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2108.85/983.57	53:37 ERROR: Failed to solve instance
2108.85/983.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2109.47/984.13	53:38 ERROR: Failed to solve instance
2109.47/984.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2110.40/985.06	53:38 ERROR: Failed to solve instance
2110.40/985.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2111.02/985.68	53:39 ERROR: Failed to solve instance
2111.02/985.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2120.09/992.75	53:46 ERROR: Failed to solve instance
2120.09/992.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2120.49/993.18	53:47 ERROR: Failed to solve instance
2120.49/993.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2121.41/994.08	53:47 ERROR: Failed to solve instance
2121.41/994.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2122.03/994.67	53:48 ERROR: Failed to solve instance
2122.03/994.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2122.75/995.36	53:49 ERROR: Failed to solve instance
2122.75/995.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2131.19/1002.29	53:56 ERROR: Failed to solve instance
2131.19/1002.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2131.59/1002.61	53:56 ERROR: Failed to solve instance
2131.59/1002.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2132.21/1003.28	53:57 ERROR: Failed to solve instance
2132.21/1003.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2133.24/1004.20	53:57 ERROR: Failed to solve instance
2133.24/1004.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2133.77/1004.71	53:58 ERROR: Failed to solve instance
2133.77/1004.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.59/1011.29	54:05 ERROR: Failed to solve instance
2141.59/1011.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2142.11/1011.77	54:05 ERROR: Failed to solve instance
2142.11/1011.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2142.73/1012.32	54:06 ERROR: Failed to solve instance
2142.73/1012.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2150.40/1018.74	54:12 ERROR: Failed to solve instance
2150.40/1018.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2150.92/1019.20	54:13 ERROR: Failed to solve instance
2150.92/1019.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2151.32/1019.67	54:13 ERROR: Failed to solve instance
2151.32/1019.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2151.84/1020.18	54:14 ERROR: Failed to solve instance
2151.84/1020.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2156.31/1023.90	54:17 ERROR: Failed to solve instance
2156.31/1023.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2157.13/1024.80	54:18 ERROR: Failed to solve instance
2157.13/1024.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2157.65/1025.29	54:19 ERROR: Failed to solve instance
2157.65/1025.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2158.37/1025.95	54:19 ERROR: Failed to solve instance
2158.37/1025.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2166.74/1032.76	54:26 ERROR: Failed to solve instance
2166.74/1032.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2167.25/1033.23	54:27 ERROR: Failed to solve instance
2167.25/1033.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2167.77/1033.74	54:27 ERROR: Failed to solve instance
2167.77/1033.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2168.60/1034.59	54:28 ERROR: Failed to solve instance
2168.60/1034.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.12/1035.05	54:28 ERROR: Failed to solve instance
2169.12/1035.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2173.63/1039.00	54:32 ERROR: Failed to solve instance
2173.63/1039.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.25/1039.50	54:33 ERROR: Failed to solve instance
2174.25/1039.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.77/1040.04	54:33 ERROR: Failed to solve instance
2174.77/1040.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2183.70/1047.06	54:40 ERROR: Failed to solve instance
2183.70/1047.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.62/1047.92	54:41 ERROR: Failed to solve instance
2184.62/1047.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2185.14/1048.40	54:42 ERROR: Failed to solve instance
2185.14/1048.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2185.76/1049.04	54:42 ERROR: Failed to solve instance
2185.76/1049.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2186.48/1049.76	54:43 ERROR: Failed to solve instance
2186.48/1049.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2194.73/1056.47	54:50 ERROR: Failed to solve instance
2194.73/1056.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.24/1056.94	54:50 ERROR: Failed to solve instance
2195.24/1056.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.76/1057.46	54:51 ERROR: Failed to solve instance
2195.76/1057.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.18/1062.83	54:56 ERROR: Failed to solve instance
2202.18/1062.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2203.11/1063.73	54:57 ERROR: Failed to solve instance
2203.11/1063.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2203.63/1064.24	54:58 ERROR: Failed to solve instance
2203.63/1064.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2210.40/1069.74	55:03 ERROR: Failed to solve instance
2210.40/1069.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2210.91/1070.21	55:04 ERROR: Failed to solve instance
2210.91/1070.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2211.83/1071.13	55:05 ERROR: Failed to solve instance
2211.83/1071.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2212.36/1071.64	55:05 ERROR: Failed to solve instance
2212.36/1071.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2220.12/1078.10	55:11 ERROR: Failed to solve instance
2220.12/1078.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2220.84/1078.85	55:12 ERROR: Failed to solve instance
2220.84/1078.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2221.46/1079.48	55:13 ERROR: Failed to solve instance
2221.46/1079.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2222.18/1080.14	55:14 ERROR: Failed to solve instance
2222.18/1080.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2222.90/1080.84	55:14 ERROR: Failed to solve instance
2222.90/1080.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.89/1087.45	55:21 ERROR: Failed to solve instance
2230.89/1087.45	java.lang.OutOfMemoryError: Java heap space
2231.18/1087.76	55:21 ERROR: Failed to solve instance
2231.18/1087.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2234.70/1090.72	55:24 ERROR: Failed to solve instance
2234.70/1090.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2235.12/1091.17	55:25 ERROR: Failed to solve instance
2235.12/1091.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2235.63/1091.67	55:25 ERROR: Failed to solve instance
2235.63/1091.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2236.65/1092.60	55:26 ERROR: Failed to solve instance
2236.65/1092.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2237.17/1093.10	55:26 ERROR: Failed to solve instance
2237.17/1093.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2247.22/1101.21	55:35 ERROR: Failed to solve instance
2247.22/1101.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2247.63/1101.65	55:35 ERROR: Failed to solve instance
2247.63/1101.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2248.14/1102.13	55:36 ERROR: Failed to solve instance
2248.14/1102.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2249.06/1103.04	55:36 ERROR: Failed to solve instance
2249.06/1103.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2249.58/1103.55	55:37 ERROR: Failed to solve instance
2249.58/1103.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2250.21/1104.10	55:37 ERROR: Failed to solve instance
2250.21/1104.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.20/1110.56	55:44 ERROR: Failed to solve instance
2258.20/1110.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2263.06/1114.70	55:48 ERROR: Failed to solve instance
2263.06/1114.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2263.78/1115.46	55:49 ERROR: Failed to solve instance
2263.78/1115.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2264.31/1115.94	55:49 ERROR: Failed to solve instance
2264.31/1115.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2267.56/1118.74	55:52 ERROR: Failed to solve instance
2267.56/1118.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2268.48/1119.64	55:53 ERROR: Failed to solve instance
2268.48/1119.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2268.99/1120.12	55:54 ERROR: Failed to solve instance
2268.99/1120.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2269.51/1120.64	55:54 ERROR: Failed to solve instance
2269.51/1120.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2270.14/1121.22	55:55 ERROR: Failed to solve instance
2270.14/1121.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2280.34/1129.41	56:03 ERROR: Failed to solve instance
2280.34/1129.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2280.76/1129.86	56:03 ERROR: Failed to solve instance
2280.76/1129.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2281.27/1130.36	56:04 ERROR: Failed to solve instance
2281.27/1130.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.20/1131.29	56:05 ERROR: Failed to solve instance
2282.20/1131.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.82/1131.80	56:05 ERROR: Failed to solve instance
2282.82/1131.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2291.71/1139.17	56:13 ERROR: Failed to solve instance
2291.71/1139.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2292.00/1139.49	56:13 ERROR: Failed to solve instance
2292.00/1139.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2295.15/1142.12	56:15 ERROR: Failed to solve instance
2295.15/1142.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2298.27/1144.87	56:18 ERROR: Failed to solve instance
2298.27/1144.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2299.10/1145.63	56:19 ERROR: Failed to solve instance
2299.10/1145.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2299.61/1146.11	56:19 ERROR: Failed to solve instance
2299.61/1146.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2307.22/1152.26	56:26 ERROR: Failed to solve instance
2307.22/1152.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.13/1153.12	56:26 ERROR: Failed to solve instance
2308.13/1153.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.54/1153.59	56:27 ERROR: Failed to solve instance
2308.54/1153.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2309.16/1154.11	56:27 ERROR: Failed to solve instance
2309.16/1154.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2313.56/1157.89	56:31 ERROR: Failed to solve instance
2313.56/1157.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2322.33/1165.36	56:39 ERROR: Failed to solve instance
2322.33/1165.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2322.74/1165.78	56:39 ERROR: Failed to solve instance
2322.74/1165.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2323.25/1166.25	56:40 ERROR: Failed to solve instance
2323.25/1166.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2323.76/1166.76	56:40 ERROR: Failed to solve instance
2323.76/1166.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2329.77/1171.74	56:45 ERROR: Failed to solve instance
2329.77/1171.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2330.29/1172.24	56:46 ERROR: Failed to solve instance
2330.29/1172.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2331.22/1173.17	56:46 ERROR: Failed to solve instance
2331.22/1173.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2331.65/1173.52	56:47 ERROR: Failed to solve instance
2331.65/1173.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2335.06/1176.46	56:50 ERROR: Failed to solve instance
2335.06/1176.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2341.23/1181.46	56:55 ERROR: Failed to solve instance
2341.23/1181.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2344.91/1184.54	56:58 ERROR: Failed to solve instance
2344.91/1184.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2345.75/1185.39	56:59 ERROR: Failed to solve instance
2345.75/1185.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2346.26/1185.85	56:59 ERROR: Failed to solve instance
2346.26/1185.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2346.67/1186.26	57:00 ERROR: Failed to solve instance
2346.67/1186.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2347.19/1186.74	57:00 ERROR: Failed to solve instance
2347.19/1186.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2351.54/1190.51	57:04 ERROR: Failed to solve instance
2351.54/1190.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2352.06/1191.00	57:04 ERROR: Failed to solve instance
2352.06/1191.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2352.58/1191.53	57:05 ERROR: Failed to solve instance
2352.58/1191.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2361.74/1198.74	57:12 ERROR: Failed to solve instance
2361.74/1198.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2362.67/1199.62	57:13 ERROR: Failed to solve instance
2362.67/1199.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2363.08/1200.09	57:13 ERROR: Failed to solve instance
2363.08/1200.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2363.70/1200.61	57:14 ERROR: Failed to solve instance
2363.70/1200.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2364.22/1201.18	57:15 ERROR: Failed to solve instance
2364.22/1201.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2372.77/1208.04	57:21 ERROR: Failed to solve instance
2372.77/1208.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2373.29/1208.59	57:22 ERROR: Failed to solve instance
2373.29/1208.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2377.63/1212.23	57:26 ERROR: Failed to solve instance
2377.63/1212.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2378.55/1213.12	57:26 ERROR: Failed to solve instance
2378.55/1213.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2378.96/1213.59	57:27 ERROR: Failed to solve instance
2378.96/1213.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2379.48/1214.09	57:27 ERROR: Failed to solve instance
2379.48/1214.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2380.10/1214.64	57:28 ERROR: Failed to solve instance
2380.10/1214.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2388.42/1221.36	57:35 ERROR: Failed to solve instance
2388.42/1221.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2388.93/1221.82	57:35 ERROR: Failed to solve instance
2388.93/1221.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2389.86/1222.72	57:36 ERROR: Failed to solve instance
2389.86/1222.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2390.37/1223.21	57:37 ERROR: Failed to solve instance
2390.37/1223.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2397.14/1228.75	57:42 ERROR: Failed to solve instance
2397.14/1228.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2397.34/1228.97	57:42 ERROR: Failed to solve instance
2397.34/1228.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2398.17/1229.71	57:43 ERROR: Failed to solve instance
2398.17/1229.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2398.69/1230.24	57:44 ERROR: Failed to solve instance
2398.69/1230.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2405.50/1235.77	57:49 ERROR: Failed to solve instance
2405.50/1235.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2406.02/1236.26	57:50 ERROR: Failed to solve instance
2406.02/1236.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2406.53/1236.75	57:50 ERROR: Failed to solve instance
2406.53/1236.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2411.28/1240.87	57:54 ERROR: Failed to solve instance
2411.28/1240.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2411.80/1241.37	57:55 ERROR: Failed to solve instance
2411.80/1241.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2412.72/1242.27	57:56 ERROR: Failed to solve instance
2412.72/1242.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2413.04/1242.56	57:56 ERROR: Failed to solve instance
2413.04/1242.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2417.27/1246.23	58:00 ERROR: Failed to solve instance
2417.27/1246.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2417.79/1246.72	58:00 ERROR: Failed to solve instance
2417.79/1246.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2418.31/1247.25	58:01 ERROR: Failed to solve instance
2418.31/1247.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2426.02/1253.29	58:07 ERROR: Failed to solve instance
2426.02/1253.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2426.52/1253.74	58:07 ERROR: Failed to solve instance
2426.52/1253.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2434.59/1260.57	58:14 ERROR: Failed to solve instance
2434.59/1260.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2435.10/1261.01	58:14 ERROR: Failed to solve instance
2435.10/1261.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2435.51/1261.48	58:15 ERROR: Failed to solve instance
2435.51/1261.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2436.03/1261.98	58:15 ERROR: Failed to solve instance
2436.03/1261.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2444.42/1269.01	58:22 ERROR: Failed to solve instance
2444.42/1269.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2445.23/1269.89	58:23 ERROR: Failed to solve instance
2445.23/1269.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2445.74/1270.35	58:24 ERROR: Failed to solve instance
2445.74/1270.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2446.26/1270.85	58:24 ERROR: Failed to solve instance
2446.26/1270.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2450.05/1273.91	58:27 ERROR: Failed to solve instance
2450.05/1273.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2453.36/1276.85	58:30 ERROR: Failed to solve instance
2453.36/1276.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2454.28/1277.74	58:31 ERROR: Failed to solve instance
2454.28/1277.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2454.79/1278.21	58:32 ERROR: Failed to solve instance
2454.79/1278.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2455.31/1278.73	58:32 ERROR: Failed to solve instance
2455.31/1278.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2455.83/1279.28	58:33 ERROR: Failed to solve instance
2455.83/1279.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2464.99/1286.46	58:40 ERROR: Failed to solve instance
2464.99/1286.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2465.49/1286.93	58:40 ERROR: Failed to solve instance
2465.49/1286.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2468.33/1289.56	58:43 ERROR: Failed to solve instance
2468.33/1289.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2468.83/1290.02	58:43 ERROR: Failed to solve instance
2468.83/1290.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2475.64/1295.56	58:49 ERROR: Failed to solve instance
2475.64/1295.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2476.16/1296.04	58:49 ERROR: Failed to solve instance
2476.16/1296.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2477.08/1296.93	58:50 ERROR: Failed to solve instance
2477.08/1296.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2477.60/1297.42	58:51 ERROR: Failed to solve instance
2477.60/1297.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2478.12/1297.98	58:51 ERROR: Failed to solve instance
2478.12/1297.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2478.63/1298.48	58:52 ERROR: Failed to solve instance
2478.63/1298.48	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-3312392-1304113033/watcher-3312392-1304113033 -o /tmp/evaluation-result-3312392-1304113033/solver-3312392-1304113033 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312392-1304113033.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.74 4.15 5.36 4/192 10721
/proc/meminfo: memFree=30684684/32951132 swapFree=67080208/67111528
[pid=10721] ppid=10719 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/10721/stat : 10721 (java) S 10719 10721 10666 0 -1 4202496 1413 0 0 0 0 0 0 0 25 0 2 0 522902957 26714112 885 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658949093 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/10721/statm: 6522 885 678 9 0 381 0
[pid=10721/tid=10722] ppid=10719 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10722/stat : 10722 (java) R 10719 10721 10666 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 522902958 29065216 894 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210642223207 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.081711 s]
/proc/loadavg: 3.74 4.15 5.36 4/192 10721
/proc/meminfo: memFree=30684684/32951132 swapFree=67080208/67111528
[pid=10721] ppid=10719 vsize=15742128 CPUtime=0.09 cores=1,3,5,7
/proc/10721/stat : 10721 (java) S 10719 10721 10666 0 -1 4202496 5367 0 1 0 8 1 0 0 25 0 18 0 522902957 16119939072 4772 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10721/statm: 3935532 4772 2107 9 0 3926251 0
[pid=10721/tid=10722] ppid=10719 vsize=15742128 CPUtime=0.06 cores=1,3,5,7
/proc/10721/task/10722/stat : 10722 (java) R 10719 10721 10666 0 -1 4202560 3216 0 1 0 6 0 0 0 18 0 18 0 522902958 16119939072 4773 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 46918643649332 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15742128

[startup+0.10071 s]
/proc/loadavg: 3.74 4.15 5.36 4/192 10721
/proc/meminfo: memFree=30684684/32951132 swapFree=67080208/67111528
[pid=10721] ppid=10719 vsize=15742128 CPUtime=0.1 cores=1,3,5,7
/proc/10721/stat : 10721 (java) S 10719 10721 10666 0 -1 4202496 5637 0 1 0 9 1 0 0 25 0 18 0 522902957 16119939072 5042 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10721/statm: 3935532 5043 2117 9 0 3926251 0
[pid=10721/tid=10722] ppid=10719 vsize=15742128 CPUtime=0.09 cores=1,3,5,7
/proc/10721/task/10722/stat : 10722 (java) R 10719 10721 10666 0 -1 4202560 3477 0 1 0 8 1 0 0 18 0 18 0 522902958 16119939072 5043 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 46918639181731 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15742128

[startup+0.300694 s]
/proc/loadavg: 3.74 4.15 5.36 4/192 10721
/proc/meminfo: memFree=30684684/32951132 swapFree=67080208/67111528
[pid=10721] ppid=10719 vsize=15745324 CPUtime=0.52 cores=1,3,5,7
/proc/10721/stat : 10721 (java) S 10719 10721 10666 0 -1 4202496 15836 0 1 0 49 3 0 0 25 0 18 0 522902957 16123211776 14257 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10721/statm: 3936331 14265 2207 9 0 3927050 0
[pid=10721/tid=10722] ppid=10719 vsize=15745324 CPUtime=0.29 cores=1,3,5,7
/proc/10721/task/10722/stat : 10722 (java) R 10719 10721 10666 0 -1 4202560 10705 0 1 0 27 2 0 0 18 0 18 0 522902958 16123211776 14268 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 46912505642067 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15745324

[startup+0.700625 s]
/proc/loadavg: 3.74 4.15 5.36 4/192 10721
/proc/meminfo: memFree=30684684/32951132 swapFree=67080208/67111528
[pid=10721] ppid=10719 vsize=15745324 CPUtime=0.92 cores=1,3,5,7
/proc/10721/stat : 10721 (java) S 10719 10721 10666 0 -1 4202496 41905 0 1 0 87 5 0 0 25 0 18 0 522902957 16123211776 40322 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10721/statm: 3936331 40322 2223 9 0 3927050 0
[pid=10721/tid=10722] ppid=10719 vsize=15745324 CPUtime=0.68 cores=1,3,5,7
/proc/10721/task/10722/stat : 10722 (java) R 10719 10721 10666 0 -1 4202560 35549 0 1 0 64 4 0 0 18 0 18 0 522902958 16123211776 40322 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 46912505613635 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15745324

[startup+1.50149 s]
/proc/loadavg: 3.74 4.15 5.36 4/214 10743
/proc/meminfo: memFree=30357148/32951132 swapFree=67080208/67111528
[pid=10721] ppid=10719 vsize=15751508 CPUtime=2.08 cores=1,3,5,7
/proc/10721/stat : 10721 (java) S 10719 10721 10666 0 -1 4202496 54462 0 1 0 201 7 0 0 25 0 22 0 522902957 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10721/statm: 3937877 50764 2261 9 0 3928596 0
[pid=10721/tid=10722] ppid=10719 vsize=15751508 CPUtime=1.47 cores=1,3,5,7
/proc/10721/task/10722/stat : 10722 (java) R 10719 10721 10666 0 -1 4202560 35677 0 1 0 142 5 0 0 21 0 22 0 522902958 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 46912505205061 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10721/tid=10724] ppid=10719 vsize=15751508 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10724/stat : 10724 (java) S 10719 10721 10666 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 522902958 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10725] ppid=10719 vsize=15751508 CPUtime=0.01 cores=1,3,5,7
/proc/10721/task/10725/stat : 10725 (java) S 10719 10721 10666 0 -1 4202560 2469 0 0 0 1 0 0 0 16 0 22 0 522902958 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 1 0 0 0
[pid=10721/tid=10726] ppid=10719 vsize=15751508 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10726/stat : 10726 (java) S 10719 10721 10666 0 -1 4202560 1492 0 0 0 0 0 0 0 16 0 22 0 522902958 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10727] ppid=10719 vsize=15751508 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10727/stat : 10727 (java) S 10719 10721 10666 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 22 0 522902958 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10728] ppid=10719 vsize=15751508 CPUtime=0.01 cores=1,3,5,7
/proc/10721/task/10728/stat : 10728 (java) S 10719 10721 10666 0 -1 4202560 1614 0 0 0 1 0 0 0 16 0 22 0 522902958 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10729] ppid=10719 vsize=15751508 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10729/stat : 10729 (java) S 10719 10721 10666 0 -1 4202560 284 0 0 0 0 0 0 0 15 0 22 0 522902958 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10730] ppid=10719 vsize=15751508 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10730/stat : 10730 (java) S 10719 10721 10666 0 -1 4202560 1094 0 0 0 0 0 0 0 16 0 22 0 522902958 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10731] ppid=10719 vsize=15751508 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10731/stat : 10731 (java) S 10719 10721 10666 0 -1 4202560 131 0 0 0 0 0 0 0 16 0 22 0 522902958 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10732] ppid=10719 vsize=15751508 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10732/stat : 10732 (java) S 10719 10721 10666 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 522902959 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962944 0 0 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10733] ppid=10719 vsize=15751508 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10733/stat : 10733 (java) S 10719 10721 10666 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522902960 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10734] ppid=10719 vsize=15751508 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10734/stat : 10734 (java) S 10719 10721 10666 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522902960 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10735] ppid=10719 vsize=15751508 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10735/stat : 10735 (java) S 10719 10721 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522902962 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658970033 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10736] ppid=10719 vsize=15751508 CPUtime=0.2 cores=1,3,5,7
/proc/10721/task/10736/stat : 10736 (java) S 10719 10721 10666 0 -1 4202560 1243 0 0 0 20 0 0 0 16 0 22 0 522902962 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10737] ppid=10719 vsize=15751508 CPUtime=0.33 cores=1,3,5,7
/proc/10721/task/10737/stat : 10737 (java) R 10719 10721 10666 0 -1 4202560 8860 0 0 0 33 0 0 0 16 0 22 0 522902962 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 46918639972258 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10721/tid=10738] ppid=10719 vsize=15751508 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10738/stat : 10738 (java) S 10719 10721 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522902962 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10739] ppid=10719 vsize=15751508 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10739/stat : 10739 (java) S 10719 10721 10666 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522902962 16129544192 50764 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962944 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 15751508

[startup+3.10122 s]
/proc/loadavg: 3.74 4.15 5.36 7/218 10747
/proc/meminfo: memFree=30285708/32951132 swapFree=67080208/67111528
[pid=10721] ppid=10719 vsize=15751332 CPUtime=5.06 cores=1,3,5,7
/proc/10721/stat : 10721 (java) S 10719 10721 10666 0 -1 4202496 66808 0 1 0 497 9 0 0 25 0 22 0 522902957 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10721/statm: 3937833 54234 2267 9 0 3928552 0
[pid=10721/tid=10722] ppid=10719 vsize=15751332 CPUtime=3.07 cores=1,3,5,7
/proc/10721/task/10722/stat : 10722 (java) R 10719 10721 10666 0 -1 4202560 35712 0 1 0 302 5 0 0 18 0 22 0 522902958 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 46912506184017 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10721/tid=10724] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10724/stat : 10724 (java) S 10719 10721 10666 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 522902958 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10725] ppid=10719 vsize=15751332 CPUtime=0.01 cores=1,3,5,7
/proc/10721/task/10725/stat : 10725 (java) S 10719 10721 10666 0 -1 4202560 2469 0 0 0 1 0 0 0 16 0 22 0 522902958 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 1 0 0 0
[pid=10721/tid=10726] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10726/stat : 10726 (java) S 10719 10721 10666 0 -1 4202560 1492 0 0 0 0 0 0 0 16 0 22 0 522902958 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10727] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10727/stat : 10727 (java) S 10719 10721 10666 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 22 0 522902958 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10728] ppid=10719 vsize=15751332 CPUtime=0.01 cores=1,3,5,7
/proc/10721/task/10728/stat : 10728 (java) S 10719 10721 10666 0 -1 4202560 1614 0 0 0 1 0 0 0 16 0 22 0 522902958 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10729] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10729/stat : 10729 (java) S 10719 10721 10666 0 -1 4202560 284 0 0 0 0 0 0 0 15 0 22 0 522902958 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10730] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10730/stat : 10730 (java) S 10719 10721 10666 0 -1 4202560 1094 0 0 0 0 0 0 0 16 0 22 0 522902958 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10731] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10731/stat : 10731 (java) S 10719 10721 10666 0 -1 4202560 131 0 0 0 0 0 0 0 16 0 22 0 522902958 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10732] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10732/stat : 10732 (java) S 10719 10721 10666 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 522902959 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962944 0 0 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10733] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10733/stat : 10733 (java) S 10719 10721 10666 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522902960 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10734] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10734/stat : 10734 (java) S 10719 10721 10666 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522902960 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10735] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10735/stat : 10735 (java) S 10719 10721 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522902962 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658970033 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10736] ppid=10719 vsize=15751332 CPUtime=0.68 cores=1,3,5,7
/proc/10721/task/10736/stat : 10736 (java) S 10719 10721 10666 0 -1 4202560 3545 0 0 0 68 0 0 0 15 0 22 0 522902962 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10737] ppid=10719 vsize=15751332 CPUtime=1.22 cores=1,3,5,7
/proc/10721/task/10737/stat : 10737 (java) S 10719 10721 10666 0 -1 4202560 18868 0 0 0 120 2 0 0 15 0 22 0 522902962 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 1 0 0 0
[pid=10721/tid=10738] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10738/stat : 10738 (java) S 10719 10721 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522902962 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10739] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10739/stat : 10739 (java) S 10719 10721 10666 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522902962 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962944 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10744] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10744/stat : 10744 (java) S 10719 10721 10666 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 522903065 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962944 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10745] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10745/stat : 10745 (java) S 10719 10721 10666 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 522903065 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962944 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10746] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10746/stat : 10746 (java) S 10719 10721 10666 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522903066 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962944 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10747] ppid=10719 vsize=15751332 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10747/stat : 10747 (java) S 10719 10721 10666 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522903066 16129363968 54234 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962944 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.06
Current children cumulated vsize (KiB) 15751332

[startup+6.30164 s]
/proc/loadavg: 3.92 4.18 5.37 13/218 10747
/proc/meminfo: memFree=29240292/32951132 swapFree=67080208/67111528
[pid=10721] ppid=10719 vsize=15752784 CPUtime=14.94 cores=1,3,5,7
/proc/10721/stat : 10721 (java) S 10719 10721 10666 0 -1 4202496 242386 0 1 0 1461 33 0 0 25 0 22 0 522902957 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10721/statm: 3938196 228113 2275 9 0 3928915 0
[pid=10721/tid=10722] ppid=10719 vsize=15752784 CPUtime=3.17 cores=1,3,5,7
/proc/10721/task/10722/stat : 10722 (java) S 10719 10721 10666 0 -1 4202560 35731 0 1 0 312 5 0 0 18 0 22 0 522902958 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10724] ppid=10719 vsize=15752784 CPUtime=0.04 cores=1,3,5,7
/proc/10721/task/10724/stat : 10724 (java) S 10719 10721 10666 0 -1 4202560 5137 0 0 0 4 0 0 0 15 0 22 0 522902958 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10725] ppid=10719 vsize=15752784 CPUtime=0.13 cores=1,3,5,7
/proc/10721/task/10725/stat : 10725 (java) S 10719 10721 10666 0 -1 4202560 19885 0 0 0 11 2 0 0 16 0 22 0 522902958 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10726] ppid=10719 vsize=15752784 CPUtime=0.06 cores=1,3,5,7
/proc/10721/task/10726/stat : 10726 (java) S 10719 10721 10666 0 -1 4202560 8954 0 0 0 5 1 0 0 15 0 22 0 522902958 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 1 0 0 0
[pid=10721/tid=10727] ppid=10719 vsize=15752784 CPUtime=0.06 cores=1,3,5,7
/proc/10721/task/10727/stat : 10727 (java) S 10719 10721 10666 0 -1 4202560 8541 0 0 0 6 0 0 0 15 0 22 0 522902958 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 1 0 0 0
[pid=10721/tid=10728] ppid=10719 vsize=15752784 CPUtime=0.17 cores=1,3,5,7
/proc/10721/task/10728/stat : 10728 (java) S 10719 10721 10666 0 -1 4202560 25828 0 0 0 14 3 0 0 16 0 22 0 522902958 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10729] ppid=10719 vsize=15752784 CPUtime=0.12 cores=1,3,5,7
/proc/10721/task/10729/stat : 10729 (java) S 10719 10721 10666 0 -1 4202560 16282 0 0 0 9 3 0 0 15 0 22 0 522902958 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10730] ppid=10719 vsize=15752784 CPUtime=0.15 cores=1,3,5,7
/proc/10721/task/10730/stat : 10730 (java) S 10719 10721 10666 0 -1 4202560 23872 0 0 0 12 3 0 0 16 0 22 0 522902958 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 1 0 0 0
[pid=10721/tid=10731] ppid=10719 vsize=15752784 CPUtime=0.1 cores=1,3,5,7
/proc/10721/task/10731/stat : 10731 (java) S 10719 10721 10666 0 -1 4202560 17355 0 0 0 8 2 0 0 16 0 22 0 522902958 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10732] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10732/stat : 10732 (java) S 10719 10721 10666 0 -1 4202560 444 0 0 0 0 0 0 0 15 0 22 0 522902959 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962944 0 0 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10733] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10733/stat : 10733 (java) S 10719 10721 10666 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522902960 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10734] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10734/stat : 10734 (java) S 10719 10721 10666 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 522902960 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10735] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10735/stat : 10735 (java) S 10719 10721 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522902962 16130850816 228113 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658970033 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0

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

[pid=10721] ppid=10719 vsize=15752784 CPUtime=2342.27 cores=1,3,5,7
/proc/10721/stat : 10721 (java) S 10719 10721 10666 0 -1 4202496 3915279 0 1 0 233543 684 0 0 25 0 21 0 522902957 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10721/statm: 3938196 3835501 2295 9 0 3928915 0
[pid=10721/tid=10722] ppid=10719 vsize=15752784 CPUtime=3.17 cores=1,3,5,7
/proc/10721/task/10722/stat : 10722 (java) S 10719 10721 10666 0 -1 4202560 35731 0 1 0 312 5 0 0 18 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10724] ppid=10719 vsize=15752784 CPUtime=3.34 cores=1,3,5,7
/proc/10721/task/10724/stat : 10724 (java) S 10719 10721 10666 0 -1 4202560 343446 0 0 0 281 53 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10725] ppid=10719 vsize=15752784 CPUtime=3.22 cores=1,3,5,7
/proc/10721/task/10725/stat : 10725 (java) S 10719 10721 10666 0 -1 4202560 342243 0 0 0 269 53 0 0 15 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10726] ppid=10719 vsize=15752784 CPUtime=3.3 cores=1,3,5,7
/proc/10721/task/10726/stat : 10726 (java) S 10719 10721 10666 0 -1 4202560 296584 0 0 0 284 46 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10727] ppid=10719 vsize=15752784 CPUtime=3.46 cores=1,3,5,7
/proc/10721/task/10727/stat : 10727 (java) S 10719 10721 10666 0 -1 4202560 353579 0 0 0 294 52 0 0 15 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10728] ppid=10719 vsize=15752784 CPUtime=3.5 cores=1,3,5,7
/proc/10721/task/10728/stat : 10728 (java) S 10719 10721 10666 0 -1 4202560 437016 0 0 0 283 67 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10729] ppid=10719 vsize=15752784 CPUtime=3.31 cores=1,3,5,7
/proc/10721/task/10729/stat : 10729 (java) S 10719 10721 10666 0 -1 4202560 348490 0 0 0 276 55 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10730] ppid=10719 vsize=15752784 CPUtime=4.08 cores=1,3,5,7
/proc/10721/task/10730/stat : 10730 (java) S 10719 10721 10666 0 -1 4202560 479195 0 0 0 328 80 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10731] ppid=10719 vsize=15752784 CPUtime=3.75 cores=1,3,5,7
/proc/10721/task/10731/stat : 10731 (java) S 10719 10721 10666 0 -1 4202560 387921 0 0 0 318 57 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10732] ppid=10719 vsize=15752784 CPUtime=771.11 cores=1,3,5,7
/proc/10721/task/10732/stat : 10732 (java) R 10719 10721 10666 0 -1 4202560 604202 0 0 0 76976 135 0 0 17 0 21 0 522902959 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 46918642009715 0 0 0 16800975 0 0 0 -1 7 0 0 0
[pid=10721/tid=10733] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10733/stat : 10733 (java) S 10719 10721 10666 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 522902960 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10734] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10734/stat : 10734 (java) S 10719 10721 10666 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 21 0 522902960 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10735] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10735/stat : 10735 (java) S 10719 10721 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658970033 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10736] ppid=10719 vsize=15752784 CPUtime=1.19 cores=1,3,5,7
/proc/10721/task/10736/stat : 10736 (java) S 10719 10721 10666 0 -1 4202560 3999 0 0 0 119 0 0 0 15 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10737] ppid=10719 vsize=15752784 CPUtime=1.42 cores=1,3,5,7
/proc/10721/task/10737/stat : 10737 (java) S 10719 10721 10666 0 -1 4202560 18894 0 0 0 140 2 0 0 15 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10738] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10738/stat : 10738 (java) S 10719 10721 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10739] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10739/stat : 10739 (java) S 10719 10721 10666 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962944 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10744] ppid=10719 vsize=15752784 CPUtime=398.51 cores=1,3,5,7
/proc/10721/task/10744/stat : 10744 (java) S 10719 10721 10666 0 -1 4202560 64555 0 0 0 39834 17 0 0 15 0 21 0 522903065 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10745] ppid=10719 vsize=15752784 CPUtime=398.24 cores=1,3,5,7
/proc/10721/task/10745/stat : 10745 (java) S 10719 10721 10666 0 -1 4202560 65253 0 0 0 39797 27 0 0 15 0 21 0 522903065 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10747] ppid=10719 vsize=15752784 CPUtime=398.74 cores=1,3,5,7
/proc/10721/task/10747/stat : 10747 (java) S 10719 10721 10666 0 -1 4202560 57927 0 0 0 39856 18 0 0 16 0 21 0 522903066 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2342.27
Current children cumulated vsize (KiB) 15752784

[startup+1242.3 s]
/proc/loadavg: 5.10 5.23 5.50 6/217 10780
/proc/meminfo: memFree=97544/32951132 swapFree=67080200/67111528
[pid=10721] ppid=10719 vsize=15752784 CPUtime=2412.83 cores=1,3,5,7
/proc/10721/stat : 10721 (java) S 10719 10721 10666 0 -1 4202496 3915712 0 1 0 240592 691 0 0 25 0 21 0 522902957 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10721/statm: 3938196 3835501 2295 9 0 3928915 0
[pid=10721/tid=10722] ppid=10719 vsize=15752784 CPUtime=3.17 cores=1,3,5,7
/proc/10721/task/10722/stat : 10722 (java) S 10719 10721 10666 0 -1 4202560 35731 0 1 0 312 5 0 0 18 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10724] ppid=10719 vsize=15752784 CPUtime=3.34 cores=1,3,5,7
/proc/10721/task/10724/stat : 10724 (java) S 10719 10721 10666 0 -1 4202560 343446 0 0 0 281 53 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10725] ppid=10719 vsize=15752784 CPUtime=3.22 cores=1,3,5,7
/proc/10721/task/10725/stat : 10725 (java) S 10719 10721 10666 0 -1 4202560 342243 0 0 0 269 53 0 0 15 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10726] ppid=10719 vsize=15752784 CPUtime=3.3 cores=1,3,5,7
/proc/10721/task/10726/stat : 10726 (java) S 10719 10721 10666 0 -1 4202560 296584 0 0 0 284 46 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10727] ppid=10719 vsize=15752784 CPUtime=3.46 cores=1,3,5,7
/proc/10721/task/10727/stat : 10727 (java) S 10719 10721 10666 0 -1 4202560 353579 0 0 0 294 52 0 0 15 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10728] ppid=10719 vsize=15752784 CPUtime=3.5 cores=1,3,5,7
/proc/10721/task/10728/stat : 10728 (java) S 10719 10721 10666 0 -1 4202560 437016 0 0 0 283 67 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10729] ppid=10719 vsize=15752784 CPUtime=3.31 cores=1,3,5,7
/proc/10721/task/10729/stat : 10729 (java) S 10719 10721 10666 0 -1 4202560 348490 0 0 0 276 55 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10730] ppid=10719 vsize=15752784 CPUtime=4.08 cores=1,3,5,7
/proc/10721/task/10730/stat : 10730 (java) S 10719 10721 10666 0 -1 4202560 479195 0 0 0 328 80 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10731] ppid=10719 vsize=15752784 CPUtime=3.75 cores=1,3,5,7
/proc/10721/task/10731/stat : 10731 (java) S 10719 10721 10666 0 -1 4202560 387921 0 0 0 318 57 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10732] ppid=10719 vsize=15752784 CPUtime=825.64 cores=1,3,5,7
/proc/10721/task/10732/stat : 10732 (java) R 10719 10721 10666 0 -1 4202560 604206 0 0 0 82426 138 0 0 18 0 21 0 522902959 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 46918640021853 0 0 0 16800975 0 0 0 -1 7 0 0 0
[pid=10721/tid=10733] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10733/stat : 10733 (java) S 10719 10721 10666 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 522902960 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10734] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10734/stat : 10734 (java) S 10719 10721 10666 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 21 0 522902960 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10735] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10735/stat : 10735 (java) S 10719 10721 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658970033 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10736] ppid=10719 vsize=15752784 CPUtime=1.19 cores=1,3,5,7
/proc/10721/task/10736/stat : 10736 (java) S 10719 10721 10666 0 -1 4202560 3999 0 0 0 119 0 0 0 15 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10737] ppid=10719 vsize=15752784 CPUtime=1.42 cores=1,3,5,7
/proc/10721/task/10737/stat : 10737 (java) S 10719 10721 10666 0 -1 4202560 18894 0 0 0 140 2 0 0 15 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10738] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10738/stat : 10738 (java) S 10719 10721 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10739] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10739/stat : 10739 (java) S 10719 10721 10666 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962944 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10744] ppid=10719 vsize=15752784 CPUtime=403.86 cores=1,3,5,7
/proc/10721/task/10744/stat : 10744 (java) S 10719 10721 10666 0 -1 4202560 64670 0 0 0 40368 18 0 0 15 0 21 0 522903065 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 1 0 0 0
[pid=10721/tid=10745] ppid=10719 vsize=15752784 CPUtime=403.58 cores=1,3,5,7
/proc/10721/task/10745/stat : 10745 (java) S 10719 10721 10666 0 -1 4202560 65408 0 0 0 40330 28 0 0 15 0 21 0 522903065 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10747] ppid=10719 vsize=15752784 CPUtime=404.08 cores=1,3,5,7
/proc/10721/task/10747/stat : 10747 (java) S 10719 10721 10666 0 -1 4202560 58082 0 0 0 40388 20 0 0 15 0 21 0 522903066 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2412.83
Current children cumulated vsize (KiB) 15752784



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 5.17 5.23 5.49 8/217 10833
/proc/meminfo: memFree=8577264/32951132 swapFree=67080200/67111528
[pid=10721] ppid=10719 vsize=15752784 CPUtime=2480.64 cores=1,3,5,7
/proc/10721/stat : 10721 (java) S 10719 10721 10666 0 -1 4202496 3916114 0 1 0 247365 699 0 0 25 0 21 0 522902957 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658949093 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10721/statm: 3938196 3835501 2295 9 0 3928915 0
[pid=10721/tid=10722] ppid=10719 vsize=15752784 CPUtime=3.17 cores=1,3,5,7
/proc/10721/task/10722/stat : 10722 (java) S 10719 10721 10666 0 -1 4202560 35731 0 1 0 312 5 0 0 18 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10724] ppid=10719 vsize=15752784 CPUtime=3.34 cores=1,3,5,7
/proc/10721/task/10724/stat : 10724 (java) S 10719 10721 10666 0 -1 4202560 343446 0 0 0 281 53 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10725] ppid=10719 vsize=15752784 CPUtime=3.22 cores=1,3,5,7
/proc/10721/task/10725/stat : 10725 (java) S 10719 10721 10666 0 -1 4202560 342243 0 0 0 269 53 0 0 15 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10726] ppid=10719 vsize=15752784 CPUtime=3.3 cores=1,3,5,7
/proc/10721/task/10726/stat : 10726 (java) S 10719 10721 10666 0 -1 4202560 296584 0 0 0 284 46 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10727] ppid=10719 vsize=15752784 CPUtime=3.46 cores=1,3,5,7
/proc/10721/task/10727/stat : 10727 (java) S 10719 10721 10666 0 -1 4202560 353579 0 0 0 294 52 0 0 15 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10728] ppid=10719 vsize=15752784 CPUtime=3.5 cores=1,3,5,7
/proc/10721/task/10728/stat : 10728 (java) S 10719 10721 10666 0 -1 4202560 437016 0 0 0 283 67 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10729] ppid=10719 vsize=15752784 CPUtime=3.31 cores=1,3,5,7
/proc/10721/task/10729/stat : 10729 (java) S 10719 10721 10666 0 -1 4202560 348490 0 0 0 276 55 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10730] ppid=10719 vsize=15752784 CPUtime=4.08 cores=1,3,5,7
/proc/10721/task/10730/stat : 10730 (java) S 10719 10721 10666 0 -1 4202560 479195 0 0 0 328 80 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10731] ppid=10719 vsize=15752784 CPUtime=3.75 cores=1,3,5,7
/proc/10721/task/10731/stat : 10731 (java) S 10719 10721 10666 0 -1 4202560 387921 0 0 0 318 57 0 0 16 0 21 0 522902958 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10732] ppid=10719 vsize=15752784 CPUtime=878.17 cores=1,3,5,7
/proc/10721/task/10732/stat : 10732 (java) S 10719 10721 10666 0 -1 4202560 604212 0 0 0 87674 143 0 0 17 0 21 0 522902959 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962944 0 0 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10733] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10733/stat : 10733 (java) S 10719 10721 10666 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 522902960 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10734] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10734/stat : 10734 (java) S 10719 10721 10666 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 21 0 522902960 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10735] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10735/stat : 10735 (java) S 10719 10721 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658970033 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10736] ppid=10719 vsize=15752784 CPUtime=1.19 cores=1,3,5,7
/proc/10721/task/10736/stat : 10736 (java) S 10719 10721 10666 0 -1 4202560 3999 0 0 0 119 0 0 0 15 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10737] ppid=10719 vsize=15752784 CPUtime=1.42 cores=1,3,5,7
/proc/10721/task/10737/stat : 10737 (java) S 10719 10721 10666 0 -1 4202560 18894 0 0 0 140 2 0 0 15 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 3 0 0 0
[pid=10721/tid=10738] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10738/stat : 10738 (java) S 10719 10721 10666 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962329 0 4 0 16800975 18446604470979873536 0 0 -1 5 0 0 0
[pid=10721/tid=10739] ppid=10719 vsize=15752784 CPUtime=0 cores=1,3,5,7
/proc/10721/task/10739/stat : 10739 (java) S 10719 10721 10666 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 21 0 522902962 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 210658962944 0 4 0 16800975 18446604470979873536 0 0 -1 7 0 0 0
[pid=10721/tid=10744] ppid=10719 vsize=15752784 CPUtime=408.95 cores=1,3,5,7
/proc/10721/task/10744/stat : 10744 (java) R 10719 10721 10666 0 -1 4202560 64806 0 0 0 40876 19 0 0 15 0 21 0 522903065 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 46912506329167 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=10721/tid=10745] ppid=10719 vsize=15752784 CPUtime=408.66 cores=1,3,5,7
/proc/10721/task/10745/stat : 10745 (java) R 10719 10721 10666 0 -1 4202560 65539 0 0 0 40837 29 0 0 15 0 21 0 522903065 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 46912506201106 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10721/tid=10747] ppid=10719 vsize=15752784 CPUtime=409.18 cores=1,3,5,7
/proc/10721/task/10747/stat : 10747 (java) R 10719 10721 10666 0 -1 4202560 58209 0 0 0 40897 21 0 0 15 0 21 0 522903066 16130850816 3835501 33554432000 1073741824 1073778376 140736023041440 18446744073709551615 46912506201011 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2480.64
Current children cumulated vsize (KiB) 15752784

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

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

[startup+1300.4 s]
/proc/loadavg: 5.17 5.23 5.49 8/217 10833
/proc/meminfo: memFree=8577264/32951132 swapFree=67080200/67111528
[pid=10721] ppid=10719 vsize=0 CPUtime=2481.04 cores=1,3,5,7
/proc/10721/stat : 10721 (java) Z 10719 10721 10666 0 -1 4203548 3916133 0 1 0 247377 727 0 0 16 0 2 0 522902957 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/10721/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2481.04
Current children cumulated vsize (KiB) 0

[startup+1300.6 s]
/proc/loadavg: 5.17 5.23 5.49 8/217 10833
/proc/meminfo: memFree=8577264/32951132 swapFree=67080200/67111528
[pid=10721] ppid=10719 vsize=0 CPUtime=2481.24 cores=1,3,5,7
/proc/10721/stat : 10721 (java) Z 10719 10721 10666 0 -1 4203548 3916133 0 1 0 247377 747 0 0 16 0 2 0 522902957 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/10721/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2481.24
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1300.63
CPU time (s): 2481.28
CPU user time (s): 2473.78
CPU system time (s): 7.50386
CPU usage (%): 190.776
Max. virtual memory (cumulated for all children) (KiB): 15757240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2473.78
system time used= 7.50386
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3916133
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= 64583
involuntary context switches= 44545

runsolver used 2.16867 second user time and 5.04223 second system time

The end

Launcher Data 

Begin job on node129 at 2011-04-29 23:37:13
IDJOB=3312392
IDBENCH=82577
IDSOLVER=1699
FILE ID=node129/3312392-1304113033
RUNJOBID= node129-1304113033-10685
PBS_JOBID= 13170699
Free space on /tmp= 66364 MiB

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

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

MD5SUM BENCH= 0ad997eea0def3552b6d7e45aac8ca7c
RANDOM SEED=192967953

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30685584 kB
Buffers:        366044 kB
Cached:        1456208 kB
SwapCached:       5992 kB
Active:         136296 kB
Inactive:      1739596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30685584 kB
SwapTotal:    67111528 kB
SwapFree:     67080208 kB
Dirty:            9784 kB
Writeback:          12 kB
AnonPages:       50648 kB
Mapped:          20676 kB
Slab:           324312 kB
PageTables:       5124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   777848 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66360 MiB
End job on node129 at 2011-04-29 23:58:55