Trace number 3312371

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) 2328.46 1302.53

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf
MD5SUMa5ac359cd8af4f1e83d886effb49a2a9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark204.405
Satisfiable
(Un)Satisfiability was proved
Number of variables30000
Number of clauses126000
Sum of the clauses size378000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3126000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.11/0.11	27:32 INFO : Reading from input HOME/instance-3312371-1304112452.cnf
0.92/0.76	Executor set job limit to 1000000
0.92/0.76	Executor set job limit to 1000000
0.92/0.76	Executor set job limit to 1000000
0.92/0.76	Executor set job limit to 1000000
0.92/0.76	Starting Executor!
0.92/0.76	Starting Executor!
0.92/0.76	Starting Executor!
0.92/0.76	Starting Executor!
3.57/2.18	27:34 INFO : 29897 variables remaining out of 30000
3.57/2.18	27:34 INFO : 501536 literals remaining out of 504000
1176.59/321.91	32:52 ERROR: Failed to solve instance
1176.59/321.91	java.lang.OutOfMemoryError: Java heap space
1176.59/321.91		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1176.59/321.91		at gnu.trove.THash.postInsertHook(THash.java:370)
1176.59/321.91		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1176.59/321.91		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1176.59/321.91		at ibis.structure.Subsumming.run(Subsumming.java:58)
1176.59/321.91		at ibis.structure.Solver.simplify(Solver.java:205)
1176.59/321.91		at ibis.structure.Solver.solve(Solver.java:113)
1176.59/321.91		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1176.59/321.91		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1176.59/321.91		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1176.59/321.91		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1176.59/321.91		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1176.59/321.91		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1176.59/321.91		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1176.59/321.91		at ibis.constellation.Executor.processActivities(Executor.java:75)
1176.59/321.91		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1176.59/321.91		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1176.59/321.91		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1176.59/321.91	32:52 ERROR: Failed to solve instance
1176.59/321.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1176.59/321.91		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1176.59/321.91		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83)
1176.59/321.91		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1176.59/321.91		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1176.59/321.91		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1176.59/321.91		at ibis.structure.WatchLists.build(WatchLists.java:47)
1176.59/321.91		at ibis.structure.Solver.<init>(Solver.java:45)
1176.59/321.91		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1176.59/321.91		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1176.59/321.91		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1176.59/321.91		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1176.59/321.91		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1176.59/321.91		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1176.59/321.91		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1176.59/321.91		at ibis.constellation.Executor.processActivities(Executor.java:75)
1176.59/321.91		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1176.59/321.91		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1176.59/321.91		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1178.80/324.11	32:56 ERROR: Failed to solve instance
1178.80/324.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1178.80/324.11		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1178.80/324.11		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83)
1178.80/324.11		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1178.80/324.11		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1178.80/324.11		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1178.80/324.11		at ibis.structure.WatchLists.build(WatchLists.java:47)
1178.80/324.11		at ibis.structure.Solver.<init>(Solver.java:45)
1178.80/324.11		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1178.80/324.11		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1178.80/324.11		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1178.80/324.11		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1178.80/324.11		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1178.80/324.11		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1178.80/324.11		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1178.80/324.11		at ibis.constellation.Executor.processActivities(Executor.java:75)
1178.80/324.11		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1178.80/324.11		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1178.80/324.11		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1181.01/326.36	32:59 ERROR: Failed to solve instance
1181.01/326.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1181.01/326.36		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1181.01/326.36		at gnu.trove.THash.<init>(THash.java:128)
1181.01/326.36		at gnu.trove.THash.<init>(THash.java:97)
1181.01/326.36		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1181.01/326.36		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1181.01/326.36		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1181.01/326.36		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1181.01/326.36		at ibis.structure.WatchLists.build(WatchLists.java:47)
1181.01/326.36		at ibis.structure.Solver.<init>(Solver.java:45)
1181.01/326.36		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1181.01/326.36		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1181.01/326.36		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1181.01/326.36		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1181.01/326.36		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1181.01/326.36		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1181.01/326.36		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1181.01/326.36		at ibis.constellation.Executor.processActivities(Executor.java:75)
1181.01/326.36		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1181.01/326.36		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1181.01/326.36		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1183.33/328.66	33:01 ERROR: Failed to solve instance
1183.33/328.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1186.78/331.60	33:04 ERROR: Failed to solve instance
1186.78/331.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1189.09/333.87	33:06 ERROR: Failed to solve instance
1189.09/333.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1189.50/334.27	33:06 ERROR: Failed to solve instance
1189.50/334.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1194.80/339.04	33:11 ERROR: Failed to solve instance
1194.80/339.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1195.21/339.47	33:12 ERROR: Failed to solve instance
1195.21/339.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1195.73/339.95	33:12 ERROR: Failed to solve instance
1195.73/339.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1200.09/343.30	33:16 ERROR: Failed to solve instance
1200.09/343.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1203.59/346.36	33:19 ERROR: Failed to solve instance
1203.59/346.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1204.00/346.78	33:19 ERROR: Failed to solve instance
1204.00/346.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1204.52/347.23	33:19 ERROR: Failed to solve instance
1204.52/347.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1210.56/352.39	33:25 ERROR: Failed to solve instance
1210.56/352.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1211.36/353.19	33:25 ERROR: Failed to solve instance
1211.36/353.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1211.88/353.62	33:26 ERROR: Failed to solve instance
1211.88/353.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1212.29/354.04	33:26 ERROR: Failed to solve instance
1212.29/354.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1212.72/354.50	33:27 ERROR: Failed to solve instance
1212.72/354.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1216.70/357.89	33:30 ERROR: Failed to solve instance
1216.70/357.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1217.21/358.33	33:31 ERROR: Failed to solve instance
1217.21/358.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1217.72/358.81	33:31 ERROR: Failed to solve instance
1217.72/358.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1223.85/363.70	33:36 ERROR: Failed to solve instance
1223.85/363.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1224.37/364.12	33:36 ERROR: Failed to solve instance
1224.37/364.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1224.79/364.58	33:37 ERROR: Failed to solve instance
1224.79/364.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1225.19/364.98	33:37 ERROR: Failed to solve instance
1225.19/364.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1228.66/367.83	33:40 ERROR: Failed to solve instance
1228.66/367.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1229.07/368.25	33:40 ERROR: Failed to solve instance
1229.07/368.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1229.58/368.71	33:41 ERROR: Failed to solve instance
1229.58/368.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1230.10/369.21	33:41 ERROR: Failed to solve instance
1230.10/369.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1237.88/375.49	33:48 ERROR: Failed to solve instance
1237.88/375.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1238.38/375.92	33:48 ERROR: Failed to solve instance
1238.38/375.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1239.20/376.80	33:49 ERROR: Failed to solve instance
1239.20/376.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1239.71/377.25	33:49 ERROR: Failed to solve instance
1239.71/377.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1240.24/377.73	33:50 ERROR: Failed to solve instance
1240.24/377.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1242.31/379.57	33:52 ERROR: Failed to solve instance
1242.31/379.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1242.82/380.02	33:52 ERROR: Failed to solve instance
1242.82/380.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1243.65/380.89	33:53 ERROR: Failed to solve instance
1243.65/380.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1244.17/381.41	33:54 ERROR: Failed to solve instance
1244.17/381.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1251.12/386.72	33:59 ERROR: Failed to solve instance
1251.12/386.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1251.53/387.14	33:59 ERROR: Failed to solve instance
1251.53/387.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1252.45/388.02	34:00 ERROR: Failed to solve instance
1252.45/388.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1252.87/388.50	34:01 ERROR: Failed to solve instance
1252.87/388.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1253.29/388.89	34:01 ERROR: Failed to solve instance
1253.29/388.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1253.80/389.38	34:02 ERROR: Failed to solve instance
1253.80/389.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1257.42/392.34	34:05 ERROR: Failed to solve instance
1257.42/392.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1258.34/393.20	34:05 ERROR: Failed to solve instance
1258.34/393.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1258.76/393.69	34:06 ERROR: Failed to solve instance
1258.76/393.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1266.45/399.83	34:12 ERROR: Failed to solve instance
1266.45/399.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1266.86/400.22	34:12 ERROR: Failed to solve instance
1266.86/400.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1267.57/400.92	34:13 ERROR: Failed to solve instance
1267.57/400.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1267.99/401.30	34:14 ERROR: Failed to solve instance
1267.99/401.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1268.41/401.71	34:14 ERROR: Failed to solve instance
1268.41/401.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1268.82/402.12	34:14 ERROR: Failed to solve instance
1268.82/402.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1271.68/404.58	34:17 ERROR: Failed to solve instance
1271.68/404.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1277.83/409.71	34:22 ERROR: Failed to solve instance
1277.83/409.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1278.45/410.36	34:23 ERROR: Failed to solve instance
1278.45/410.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1279.07/410.97	34:23 ERROR: Failed to solve instance
1279.07/410.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1279.59/411.44	34:24 ERROR: Failed to solve instance
1279.59/411.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1282.24/413.62	34:26 ERROR: Failed to solve instance
1282.24/413.62	java.lang.OutOfMemoryError: Java heap space
1282.44/413.84	34:26 ERROR: Failed to solve instance
1282.44/413.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1285.87/416.76	34:29 ERROR: Failed to solve instance
1285.87/416.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1286.79/417.62	34:30 ERROR: Failed to solve instance
1286.79/417.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1287.20/418.08	34:30 ERROR: Failed to solve instance
1287.20/418.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1287.72/418.61	34:31 ERROR: Failed to solve instance
1287.72/418.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1294.69/424.00	34:36 ERROR: Failed to solve instance
1294.69/424.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1295.21/424.45	34:37 ERROR: Failed to solve instance
1295.21/424.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1297.75/426.70	34:39 ERROR: Failed to solve instance
1297.75/426.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1298.26/427.12	34:39 ERROR: Failed to solve instance
1298.26/427.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1298.67/427.57	34:40 ERROR: Failed to solve instance
1298.67/427.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1299.19/428.06	34:40 ERROR: Failed to solve instance
1299.19/428.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1305.83/433.44	34:46 ERROR: Failed to solve instance
1305.83/433.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1306.65/434.29	34:46 ERROR: Failed to solve instance
1306.65/434.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1307.18/434.76	34:47 ERROR: Failed to solve instance
1307.18/434.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1307.63/435.14	34:47 ERROR: Failed to solve instance
1307.63/435.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1310.56/437.52	34:50 ERROR: Failed to solve instance
1310.56/437.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1310.97/437.96	34:50 ERROR: Failed to solve instance
1310.97/437.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1311.49/438.43	34:51 ERROR: Failed to solve instance
1311.49/438.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1317.55/443.56	34:56 ERROR: Failed to solve instance
1317.55/443.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1317.96/443.99	34:56 ERROR: Failed to solve instance
1317.96/443.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1318.47/444.47	34:57 ERROR: Failed to solve instance
1318.47/444.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1318.99/444.98	34:57 ERROR: Failed to solve instance
1318.99/444.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1324.60/449.69	35:02 ERROR: Failed to solve instance
1324.60/449.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1325.52/450.55	35:03 ERROR: Failed to solve instance
1325.52/450.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1326.04/451.04	35:03 ERROR: Failed to solve instance
1326.04/451.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1326.56/451.55	35:04 ERROR: Failed to solve instance
1326.56/451.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1331.89/455.94	35:08 ERROR: Failed to solve instance
1331.89/455.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1332.31/456.37	35:09 ERROR: Failed to solve instance
1332.31/456.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1332.83/456.88	35:09 ERROR: Failed to solve instance
1332.83/456.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1333.67/457.65	35:10 ERROR: Failed to solve instance
1333.67/457.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1336.80/460.27	35:12 ERROR: Failed to solve instance
1336.80/460.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1337.21/460.70	35:13 ERROR: Failed to solve instance
1337.21/460.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1338.04/461.47	35:14 ERROR: Failed to solve instance
1338.04/461.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1338.46/461.90	35:14 ERROR: Failed to solve instance
1338.46/461.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1338.99/462.37	35:15 ERROR: Failed to solve instance
1338.99/462.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1339.51/462.85	35:15 ERROR: Failed to solve instance
1339.51/462.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.13/468.02	35:20 ERROR: Failed to solve instance
1346.13/468.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.13/468.02	35:20 ERROR: Failed to solve instance
1346.13/468.02	java.lang.OutOfMemoryError: Java heap space
1346.55/468.42	35:21 ERROR: Failed to solve instance
1346.55/468.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.97/468.89	35:21 ERROR: Failed to solve instance
1346.97/468.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1355.75/476.00	35:28 ERROR: Failed to solve instance
1355.75/476.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1356.17/476.44	35:29 ERROR: Failed to solve instance
1356.17/476.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1357.09/477.32	35:30 ERROR: Failed to solve instance
1357.09/477.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1357.51/477.74	35:30 ERROR: Failed to solve instance
1357.51/477.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1359.08/479.05	35:31 ERROR: Failed to solve instance
1359.08/479.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1359.90/479.84	35:32 ERROR: Failed to solve instance
1359.90/479.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1360.32/480.27	35:32 ERROR: Failed to solve instance
1360.32/480.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1360.84/480.78	35:33 ERROR: Failed to solve instance
1360.84/480.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1368.84/487.41	35:40 ERROR: Failed to solve instance
1368.84/487.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1369.25/487.84	35:40 ERROR: Failed to solve instance
1369.25/487.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1369.66/488.25	35:40 ERROR: Failed to solve instance
1369.66/488.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1371.70/490.04	35:42 ERROR: Failed to solve instance
1371.70/490.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1372.11/490.43	35:43 ERROR: Failed to solve instance
1372.11/490.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1372.93/491.25	35:43 ERROR: Failed to solve instance
1372.93/491.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1373.35/491.71	35:44 ERROR: Failed to solve instance
1373.35/491.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.36/494.11	35:46 ERROR: Failed to solve instance
1376.36/494.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.78/494.57	35:47 ERROR: Failed to solve instance
1376.78/494.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1381.52/498.39	35:51 ERROR: Failed to solve instance
1381.52/498.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1382.35/499.16	35:51 ERROR: Failed to solve instance
1382.35/499.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1382.86/499.60	35:52 ERROR: Failed to solve instance
1382.86/499.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1383.17/499.98	35:52 ERROR: Failed to solve instance
1383.17/499.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1383.68/500.45	35:53 ERROR: Failed to solve instance
1383.68/500.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1390.66/506.01	35:58 ERROR: Failed to solve instance
1390.66/506.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1391.29/506.66	35:59 ERROR: Failed to solve instance
1391.29/506.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1391.71/507.09	35:59 ERROR: Failed to solve instance
1391.71/507.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1392.35/507.69	36:00 ERROR: Failed to solve instance
1392.35/507.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1394.24/509.37	36:02 ERROR: Failed to solve instance
1394.24/509.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1394.77/509.85	36:02 ERROR: Failed to solve instance
1394.77/509.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1397.02/511.86	36:04 ERROR: Failed to solve instance
1397.02/511.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1402.40/516.24	36:08 ERROR: Failed to solve instance
1402.40/516.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1403.95/517.69	36:10 ERROR: Failed to solve instance
1403.95/517.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1404.47/518.16	36:10 ERROR: Failed to solve instance
1404.47/518.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1408.52/521.23	36:13 ERROR: Failed to solve instance
1408.52/521.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.28/523.51	36:16 ERROR: Failed to solve instance
1411.28/523.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.91/524.14	36:16 ERROR: Failed to solve instance
1411.91/524.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1412.44/524.65	36:17 ERROR: Failed to solve instance
1412.44/524.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1414.77/526.78	36:19 ERROR: Failed to solve instance
1414.77/526.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1416.91/528.60	36:21 ERROR: Failed to solve instance
1416.91/528.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.98/532.75	36:25 ERROR: Failed to solve instance
1421.98/532.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1422.39/533.19	36:25 ERROR: Failed to solve instance
1422.39/533.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1422.91/533.68	36:26 ERROR: Failed to solve instance
1422.91/533.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1428.26/538.03	36:30 ERROR: Failed to solve instance
1428.26/538.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1429.07/538.86	36:31 ERROR: Failed to solve instance
1429.07/538.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1429.59/539.34	36:32 ERROR: Failed to solve instance
1429.59/539.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1430.10/539.85	36:32 ERROR: Failed to solve instance
1430.10/539.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1437.03/545.26	36:37 ERROR: Failed to solve instance
1437.03/545.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1437.85/546.05	36:38 ERROR: Failed to solve instance
1437.85/546.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1438.26/546.47	36:39 ERROR: Failed to solve instance
1438.26/546.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1438.77/546.92	36:39 ERROR: Failed to solve instance
1438.77/546.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1439.18/547.33	36:40 ERROR: Failed to solve instance
1439.18/547.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1442.94/550.59	36:43 ERROR: Failed to solve instance
1442.94/550.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1443.45/551.01	36:43 ERROR: Failed to solve instance
1443.45/551.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1443.76/551.39	36:44 ERROR: Failed to solve instance
1443.76/551.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1444.71/552.23	36:44 ERROR: Failed to solve instance
1444.71/552.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.13/552.66	36:45 ERROR: Failed to solve instance
1445.13/552.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.65/553.14	36:45 ERROR: Failed to solve instance
1445.65/553.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1449.14/556.09	36:48 ERROR: Failed to solve instance
1449.14/556.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1449.66/556.56	36:49 ERROR: Failed to solve instance
1449.66/556.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.30/560.92	36:53 ERROR: Failed to solve instance
1455.30/560.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.12/561.74	36:54 ERROR: Failed to solve instance
1456.12/561.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.54/562.18	36:54 ERROR: Failed to solve instance
1456.54/562.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.95/562.58	36:55 ERROR: Failed to solve instance
1456.95/562.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1457.46/563.02	36:55 ERROR: Failed to solve instance
1457.46/563.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.99/565.94	36:58 ERROR: Failed to solve instance
1460.99/565.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1461.82/566.79	36:59 ERROR: Failed to solve instance
1461.82/566.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1462.34/567.29	36:59 ERROR: Failed to solve instance
1462.34/567.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1468.34/572.01	37:04 ERROR: Failed to solve instance
1468.34/572.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1468.77/572.41	37:05 ERROR: Failed to solve instance
1468.77/572.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1469.17/572.83	37:05 ERROR: Failed to solve instance
1469.17/572.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1472.51/575.77	37:08 ERROR: Failed to solve instance
1472.51/575.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1473.03/576.22	37:08 ERROR: Failed to solve instance
1473.03/576.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1473.45/576.69	37:09 ERROR: Failed to solve instance
1473.45/576.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1474.37/577.57	37:10 ERROR: Failed to solve instance
1474.37/577.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1474.89/578.04	37:10 ERROR: Failed to solve instance
1474.89/578.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1475.41/578.57	37:11 ERROR: Failed to solve instance
1475.41/578.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.12/584.68	37:17 ERROR: Failed to solve instance
1483.12/584.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.63/585.10	37:17 ERROR: Failed to solve instance
1483.63/585.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1484.47/585.98	37:18 ERROR: Failed to solve instance
1484.47/585.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1484.88/586.38	37:19 ERROR: Failed to solve instance
1484.88/586.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1485.44/586.88	37:19 ERROR: Failed to solve instance
1485.44/586.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1491.20/591.49	37:24 ERROR: Failed to solve instance
1491.20/591.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1491.60/591.81	37:24 ERROR: Failed to solve instance
1491.60/591.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1496.86/596.17	37:28 ERROR: Failed to solve instance
1496.86/596.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1497.27/596.60	37:29 ERROR: Failed to solve instance
1497.27/596.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1497.68/596.99	37:29 ERROR: Failed to solve instance
1497.68/596.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1498.50/597.80	37:30 ERROR: Failed to solve instance
1498.50/597.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.02/598.25	37:30 ERROR: Failed to solve instance
1499.02/598.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.56/598.74	37:31 ERROR: Failed to solve instance
1499.56/598.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.98/599.19	37:31 ERROR: Failed to solve instance
1499.98/599.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1503.80/602.31	37:35 ERROR: Failed to solve instance
1503.80/602.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1504.21/602.73	37:35 ERROR: Failed to solve instance
1504.21/602.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.12/608.23	37:40 ERROR: Failed to solve instance
1511.12/608.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.53/608.63	37:41 ERROR: Failed to solve instance
1511.53/608.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.95/609.07	37:41 ERROR: Failed to solve instance
1511.95/609.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1514.54/611.39	37:44 ERROR: Failed to solve instance
1514.54/611.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1515.26/612.08	37:44 ERROR: Failed to solve instance
1515.26/612.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1515.78/612.56	37:45 ERROR: Failed to solve instance
1515.78/612.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.95/617.64	37:50 ERROR: Failed to solve instance
1521.95/617.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1522.68/618.32	37:51 ERROR: Failed to solve instance
1522.68/618.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1523.09/618.71	37:51 ERROR: Failed to solve instance
1523.09/618.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1523.72/619.36	37:52 ERROR: Failed to solve instance
1523.72/619.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1526.88/622.08	37:54 ERROR: Failed to solve instance
1526.88/622.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1527.81/622.94	37:55 ERROR: Failed to solve instance
1527.81/622.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1528.22/623.40	37:56 ERROR: Failed to solve instance
1528.22/623.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1528.73/623.87	37:56 ERROR: Failed to solve instance
1528.73/623.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.30/627.46	38:00 ERROR: Failed to solve instance
1533.30/627.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1536.58/630.25	38:02 ERROR: Failed to solve instance
1536.58/630.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1537.00/630.67	38:03 ERROR: Failed to solve instance
1537.00/630.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1537.51/631.11	38:03 ERROR: Failed to solve instance
1537.51/631.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1541.54/634.56	38:07 ERROR: Failed to solve instance
1541.54/634.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1541.95/634.97	38:07 ERROR: Failed to solve instance
1541.95/634.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1542.36/635.37	38:08 ERROR: Failed to solve instance
1542.36/635.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1545.37/637.88	38:10 ERROR: Failed to solve instance
1545.37/637.88	java.lang.OutOfMemoryError: Java heap space
1545.67/638.16	38:10 ERROR: Failed to solve instance
1545.67/638.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1553.87/644.46	38:17 ERROR: Failed to solve instance
1553.87/644.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1554.28/644.89	38:17 ERROR: Failed to solve instance
1554.28/644.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1554.80/645.33	38:18 ERROR: Failed to solve instance
1554.80/645.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1555.31/645.82	38:18 ERROR: Failed to solve instance
1555.31/645.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.86/650.40	38:23 ERROR: Failed to solve instance
1560.86/650.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.48/651.04	38:23 ERROR: Failed to solve instance
1561.48/651.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.90/651.49	38:24 ERROR: Failed to solve instance
1561.90/651.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1563.77/653.18	38:25 ERROR: Failed to solve instance
1563.77/653.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1564.50/653.85	38:26 ERROR: Failed to solve instance
1564.50/653.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1565.01/654.32	38:27 ERROR: Failed to solve instance
1565.01/654.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1567.72/656.72	38:29 ERROR: Failed to solve instance
1567.72/656.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1576.65/663.77	38:36 ERROR: Failed to solve instance
1576.65/663.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1577.05/664.19	38:36 ERROR: Failed to solve instance
1577.05/664.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1577.97/665.08	38:37 ERROR: Failed to solve instance
1577.97/665.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1578.48/665.56	38:38 ERROR: Failed to solve instance
1578.48/665.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1579.00/666.07	38:38 ERROR: Failed to solve instance
1579.00/666.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1579.52/666.60	38:39 ERROR: Failed to solve instance
1579.52/666.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1587.44/672.94	38:45 ERROR: Failed to solve instance
1587.44/672.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1587.85/673.35	38:46 ERROR: Failed to solve instance
1587.85/673.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1588.27/673.75	38:46 ERROR: Failed to solve instance
1588.27/673.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.47/676.52	38:49 ERROR: Failed to solve instance
1591.47/676.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.89/676.96	38:49 ERROR: Failed to solve instance
1591.89/676.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1592.39/677.42	38:50 ERROR: Failed to solve instance
1592.39/677.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1593.21/678.25	38:50 ERROR: Failed to solve instance
1593.21/678.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1593.54/678.51	38:51 ERROR: Failed to solve instance
1593.54/678.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1596.73/681.21	38:53 ERROR: Failed to solve instance
1596.73/681.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1597.14/681.65	38:54 ERROR: Failed to solve instance
1597.14/681.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1597.65/682.11	38:54 ERROR: Failed to solve instance
1597.65/682.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1602.08/685.63	38:58 ERROR: Failed to solve instance
1602.08/685.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.16/689.23	39:01 ERROR: Failed to solve instance
1606.16/689.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.57/689.62	39:02 ERROR: Failed to solve instance
1606.57/689.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.99/690.06	39:02 ERROR: Failed to solve instance
1606.99/690.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1607.49/690.52	39:03 ERROR: Failed to solve instance
1607.49/690.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1608.03/691.03	39:03 ERROR: Failed to solve instance
1608.03/691.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1615.55/697.12	39:09 ERROR: Failed to solve instance
1615.55/697.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1616.18/697.77	39:10 ERROR: Failed to solve instance
1616.18/697.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1616.57/698.16	39:10 ERROR: Failed to solve instance
1616.57/698.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1619.80/700.99	39:13 ERROR: Failed to solve instance
1619.80/700.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1620.72/701.83	39:14 ERROR: Failed to solve instance
1620.72/701.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1620.93/702.08	39:14 ERROR: Failed to solve instance
1620.93/702.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1621.55/702.63	39:15 ERROR: Failed to solve instance
1621.55/702.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1624.26/704.86	39:17 ERROR: Failed to solve instance
1624.26/704.86	java.lang.OutOfMemoryError: Java heap space
1624.46/705.10	39:17 ERROR: Failed to solve instance
1624.46/705.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1631.48/710.68	39:23 ERROR: Failed to solve instance
1631.48/710.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1632.00/711.10	39:23 ERROR: Failed to solve instance
1632.00/711.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1632.82/711.93	39:24 ERROR: Failed to solve instance
1632.82/711.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1633.25/712.41	39:25 ERROR: Failed to solve instance
1633.25/712.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.30/714.86	39:27 ERROR: Failed to solve instance
1636.30/714.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.83/715.30	39:28 ERROR: Failed to solve instance
1636.83/715.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.11/718.14	39:30 ERROR: Failed to solve instance
1640.11/718.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.66/718.62	39:31 ERROR: Failed to solve instance
1640.66/718.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1643.48/721.03	39:33 ERROR: Failed to solve instance
1643.48/721.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.30/721.88	39:34 ERROR: Failed to solve instance
1644.30/721.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.81/722.34	39:35 ERROR: Failed to solve instance
1644.81/722.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1645.13/722.69	39:35 ERROR: Failed to solve instance
1645.13/722.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.04/728.18	39:40 ERROR: Failed to solve instance
1652.04/728.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.86/728.99	39:41 ERROR: Failed to solve instance
1652.86/728.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1653.37/729.42	39:42 ERROR: Failed to solve instance
1653.37/729.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1653.89/729.91	39:42 ERROR: Failed to solve instance
1653.89/729.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1654.31/730.34	39:43 ERROR: Failed to solve instance
1654.31/730.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1661.63/736.21	39:48 ERROR: Failed to solve instance
1661.63/736.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1662.05/736.65	39:49 ERROR: Failed to solve instance
1662.05/736.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1662.90/737.44	39:50 ERROR: Failed to solve instance
1662.90/737.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1663.32/737.86	39:50 ERROR: Failed to solve instance
1663.32/737.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1663.84/738.30	39:51 ERROR: Failed to solve instance
1663.84/738.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1664.26/738.72	39:51 ERROR: Failed to solve instance
1664.26/738.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.93/740.99	39:53 ERROR: Failed to solve instance
1666.93/740.99	java.lang.OutOfMemoryError: Java heap space
1666.93/740.99	39:53 ERROR: Failed to solve instance
1666.93/740.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1674.04/746.60	39:59 ERROR: Failed to solve instance
1674.04/746.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1674.45/747.03	39:59 ERROR: Failed to solve instance
1674.45/747.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1674.86/747.49	40:00 ERROR: Failed to solve instance
1674.86/747.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1679.23/751.19	40:03 ERROR: Failed to solve instance
1679.23/751.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1679.75/751.65	40:04 ERROR: Failed to solve instance
1679.75/751.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1680.16/752.06	40:04 ERROR: Failed to solve instance
1680.16/752.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1684.50/755.77	40:08 ERROR: Failed to solve instance
1684.50/755.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1684.81/756.09	40:08 ERROR: Failed to solve instance
1684.81/756.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1685.43/756.62	40:09 ERROR: Failed to solve instance
1685.43/756.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1688.98/759.61	40:12 ERROR: Failed to solve instance
1688.98/759.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1689.39/760.08	40:12 ERROR: Failed to solve instance
1689.39/760.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.15/764.84	40:17 ERROR: Failed to solve instance
1695.15/764.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.56/765.28	40:17 ERROR: Failed to solve instance
1695.56/765.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1696.07/765.76	40:18 ERROR: Failed to solve instance
1696.07/765.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1701.42/770.11	40:22 ERROR: Failed to solve instance
1701.42/770.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1701.83/770.53	40:23 ERROR: Failed to solve instance
1701.83/770.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1702.34/771.03	40:23 ERROR: Failed to solve instance
1702.34/771.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1709.61/776.81	40:29 ERROR: Failed to solve instance
1709.61/776.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1710.43/777.63	40:30 ERROR: Failed to solve instance
1710.43/777.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1710.85/778.05	40:30 ERROR: Failed to solve instance
1710.85/778.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1711.36/778.51	40:31 ERROR: Failed to solve instance
1711.36/778.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1711.66/778.90	40:31 ERROR: Failed to solve instance
1711.66/778.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1714.72/781.47	40:34 ERROR: Failed to solve instance
1714.72/781.47	java.lang.OutOfMemoryError: Java heap space
1715.02/781.70	40:34 ERROR: Failed to solve instance
1715.02/781.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1717.13/783.69	40:36 ERROR: Failed to solve instance
1717.13/783.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1717.64/784.14	40:36 ERROR: Failed to solve instance
1717.64/784.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1718.17/784.62	40:37 ERROR: Failed to solve instance
1718.17/784.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1724.26/789.26	40:41 ERROR: Failed to solve instance
1724.26/789.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1725.01/789.98	40:42 ERROR: Failed to solve instance
1725.01/789.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1725.73/790.64	40:43 ERROR: Failed to solve instance
1725.73/790.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1726.14/791.09	40:43 ERROR: Failed to solve instance
1726.14/791.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1730.23/794.56	40:47 ERROR: Failed to solve instance
1730.23/794.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1735.35/798.78	40:51 ERROR: Failed to solve instance
1735.35/798.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1735.76/799.20	40:51 ERROR: Failed to solve instance
1735.76/799.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1736.27/799.65	40:52 ERROR: Failed to solve instance
1736.27/799.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1736.69/800.06	40:52 ERROR: Failed to solve instance
1736.69/800.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.55/802.45	40:55 ERROR: Failed to solve instance
1739.55/802.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.97/802.90	40:55 ERROR: Failed to solve instance
1739.97/802.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1740.92/803.75	40:56 ERROR: Failed to solve instance
1740.92/803.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1741.34/804.19	40:56 ERROR: Failed to solve instance
1741.34/804.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1741.87/804.66	40:57 ERROR: Failed to solve instance
1741.87/804.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.38/805.11	40:57 ERROR: Failed to solve instance
1742.38/805.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1748.91/810.14	41:02 ERROR: Failed to solve instance
1748.91/810.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1749.33/810.60	41:03 ERROR: Failed to solve instance
1749.33/810.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1749.84/811.05	41:03 ERROR: Failed to solve instance
1749.84/811.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1750.71/811.88	41:04 ERROR: Failed to solve instance
1750.71/811.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1753.31/813.94	41:06 ERROR: Failed to solve instance
1753.31/813.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1754.25/814.86	41:07 ERROR: Failed to solve instance
1754.25/814.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1754.46/815.07	41:07 ERROR: Failed to solve instance
1754.46/815.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.25/818.21	41:10 ERROR: Failed to solve instance
1758.25/818.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.67/818.66	41:11 ERROR: Failed to solve instance
1758.67/818.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1759.18/819.16	41:11 ERROR: Failed to solve instance
1759.18/819.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1765.32/823.80	41:16 ERROR: Failed to solve instance
1765.32/823.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1766.84/825.24	41:17 ERROR: Failed to solve instance
1766.84/825.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1767.36/825.72	41:18 ERROR: Failed to solve instance
1767.36/825.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1773.35/830.55	41:23 ERROR: Failed to solve instance
1773.35/830.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1773.77/830.98	41:23 ERROR: Failed to solve instance
1773.77/830.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1774.59/831.76	41:24 ERROR: Failed to solve instance
1774.59/831.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1775.10/832.23	41:24 ERROR: Failed to solve instance
1775.10/832.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1775.66/832.75	41:25 ERROR: Failed to solve instance
1775.66/832.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1779.28/835.78	41:28 ERROR: Failed to solve instance
1779.28/835.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1779.79/836.31	41:28 ERROR: Failed to solve instance
1779.79/836.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1785.93/841.13	41:33 ERROR: Failed to solve instance
1785.93/841.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1786.34/841.55	41:34 ERROR: Failed to solve instance
1786.34/841.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.26/842.43	41:35 ERROR: Failed to solve instance
1787.26/842.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.68/842.90	41:35 ERROR: Failed to solve instance
1787.68/842.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1788.30/843.44	41:36 ERROR: Failed to solve instance
1788.30/843.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1796.03/849.66	41:42 ERROR: Failed to solve instance
1796.03/849.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1796.43/850.09	41:42 ERROR: Failed to solve instance
1796.43/850.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1797.25/850.87	41:43 ERROR: Failed to solve instance
1797.25/850.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1797.67/851.29	41:44 ERROR: Failed to solve instance
1797.67/851.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1798.19/851.77	41:44 ERROR: Failed to solve instance
1798.19/851.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1800.38/853.61	41:46 ERROR: Failed to solve instance
1800.38/853.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1800.80/854.06	41:46 ERROR: Failed to solve instance
1800.80/854.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1801.71/854.93	41:47 ERROR: Failed to solve instance
1801.71/854.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.23/855.46	41:48 ERROR: Failed to solve instance
1802.23/855.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.08/859.08	41:51 ERROR: Failed to solve instance
1807.08/859.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1808.00/859.96	41:52 ERROR: Failed to solve instance
1808.00/859.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1808.53/860.44	41:53 ERROR: Failed to solve instance
1808.53/860.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1811.51/862.81	41:55 ERROR: Failed to solve instance
1811.51/862.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1811.92/863.25	41:55 ERROR: Failed to solve instance
1811.92/863.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1812.84/864.13	41:56 ERROR: Failed to solve instance
1812.84/864.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1813.36/864.65	41:57 ERROR: Failed to solve instance
1813.36/864.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1821.23/870.92	42:03 ERROR: Failed to solve instance
1821.23/870.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1821.64/871.34	42:04 ERROR: Failed to solve instance
1821.64/871.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1822.05/871.73	42:04 ERROR: Failed to solve instance
1822.05/871.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1824.93/874.36	42:06 ERROR: Failed to solve instance
1824.93/874.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.34/874.77	42:07 ERROR: Failed to solve instance
1825.34/874.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.84/875.21	42:07 ERROR: Failed to solve instance
1825.84/875.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1826.35/875.73	42:08 ERROR: Failed to solve instance
1826.35/875.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1831.29/879.79	42:12 ERROR: Failed to solve instance
1831.29/879.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1833.88/882.05	42:14 ERROR: Failed to solve instance
1833.88/882.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.30/882.47	42:15 ERROR: Failed to solve instance
1834.30/882.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.80/882.92	42:15 ERROR: Failed to solve instance
1834.80/882.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1835.72/883.81	42:16 ERROR: Failed to solve instance
1835.72/883.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1836.13/884.29	42:16 ERROR: Failed to solve instance
1836.13/884.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1836.66/884.81	42:17 ERROR: Failed to solve instance
1836.66/884.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1843.56/890.13	42:22 ERROR: Failed to solve instance
1843.56/890.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1843.98/890.57	42:23 ERROR: Failed to solve instance
1843.98/890.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1844.80/891.37	42:24 ERROR: Failed to solve instance
1844.80/891.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1845.22/891.80	42:24 ERROR: Failed to solve instance
1845.22/891.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1845.74/892.26	42:24 ERROR: Failed to solve instance
1845.74/892.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1846.25/892.71	42:25 ERROR: Failed to solve instance
1846.25/892.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1852.31/897.52	42:30 ERROR: Failed to solve instance
1852.31/897.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1852.73/897.96	42:30 ERROR: Failed to solve instance
1852.73/897.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1853.47/898.65	42:31 ERROR: Failed to solve instance
1853.47/898.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1854.10/899.29	42:31 ERROR: Failed to solve instance
1854.10/899.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1854.62/899.82	42:32 ERROR: Failed to solve instance
1854.62/899.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.35/904.25	42:36 ERROR: Failed to solve instance
1860.35/904.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1863.37/906.94	42:39 ERROR: Failed to solve instance
1863.37/906.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1863.78/907.36	42:40 ERROR: Failed to solve instance
1863.78/907.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1864.29/907.81	42:40 ERROR: Failed to solve instance
1864.29/907.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1864.70/908.29	42:41 ERROR: Failed to solve instance
1864.70/908.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1868.62/911.55	42:44 ERROR: Failed to solve instance
1868.62/911.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1869.34/912.28	42:44 ERROR: Failed to solve instance
1869.34/912.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1870.00/912.88	42:45 ERROR: Failed to solve instance
1870.00/912.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1870.52/913.37	42:46 ERROR: Failed to solve instance
1870.52/913.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1871.04/913.84	42:46 ERROR: Failed to solve instance
1871.04/913.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1878.17/919.52	42:52 ERROR: Failed to solve instance
1878.17/919.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1878.59/919.93	42:52 ERROR: Failed to solve instance
1878.59/919.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1878.89/920.29	42:53 ERROR: Failed to solve instance
1878.89/920.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1879.75/921.03	42:53 ERROR: Failed to solve instance
1879.75/921.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1881.73/922.89	42:55 ERROR: Failed to solve instance
1881.73/922.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1882.25/923.34	42:56 ERROR: Failed to solve instance
1882.25/923.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1882.65/923.75	42:56 ERROR: Failed to solve instance
1882.65/923.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1886.74/927.31	43:00 ERROR: Failed to solve instance
1886.74/927.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.60/931.28	43:03 ERROR: Failed to solve instance
1891.60/931.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1894.75/933.97	43:06 ERROR: Failed to solve instance
1894.75/933.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1895.57/934.75	43:07 ERROR: Failed to solve instance
1895.57/934.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1895.98/935.17	43:07 ERROR: Failed to solve instance
1895.98/935.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1896.50/935.62	43:08 ERROR: Failed to solve instance
1896.50/935.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1897.02/936.10	43:08 ERROR: Failed to solve instance
1897.02/936.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1901.09/939.50	43:12 ERROR: Failed to solve instance
1901.09/939.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1901.49/939.92	43:12 ERROR: Failed to solve instance
1901.49/939.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.93/945.14	43:17 ERROR: Failed to solve instance
1907.93/945.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1908.75/945.98	43:18 ERROR: Failed to solve instance
1908.75/945.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1909.27/946.43	43:19 ERROR: Failed to solve instance
1909.27/946.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1909.78/946.91	43:19 ERROR: Failed to solve instance
1909.78/946.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1910.31/947.42	43:20 ERROR: Failed to solve instance
1910.31/947.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1917.38/953.25	43:25 ERROR: Failed to solve instance
1917.38/953.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1918.20/954.09	43:26 ERROR: Failed to solve instance
1918.20/954.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1918.71/954.56	43:27 ERROR: Failed to solve instance
1918.71/954.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1919.13/954.93	43:27 ERROR: Failed to solve instance
1919.13/954.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.51/957.71	43:30 ERROR: Failed to solve instance
1922.51/957.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.93/958.14	43:30 ERROR: Failed to solve instance
1922.93/958.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1923.86/959.04	43:31 ERROR: Failed to solve instance
1923.86/959.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1924.38/959.52	43:32 ERROR: Failed to solve instance
1924.38/959.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1931.28/964.90	43:37 ERROR: Failed to solve instance
1931.28/964.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1931.59/965.28	43:37 ERROR: Failed to solve instance
1931.59/965.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1932.40/966.03	43:38 ERROR: Failed to solve instance
1932.40/966.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1932.81/966.44	43:39 ERROR: Failed to solve instance
1932.81/966.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.23/966.88	43:39 ERROR: Failed to solve instance
1933.23/966.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.64/967.30	43:40 ERROR: Failed to solve instance
1933.64/967.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1937.53/970.60	43:43 ERROR: Failed to solve instance
1937.53/970.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1938.04/971.03	43:43 ERROR: Failed to solve instance
1938.04/971.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1938.45/971.44	43:44 ERROR: Failed to solve instance
1938.45/971.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1938.86/971.86	43:44 ERROR: Failed to solve instance
1938.86/971.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1942.30/974.78	43:47 ERROR: Failed to solve instance
1942.30/974.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1942.82/975.23	43:47 ERROR: Failed to solve instance
1942.82/975.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1943.34/975.71	43:48 ERROR: Failed to solve instance
1943.34/975.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1947.66/979.44	43:52 ERROR: Failed to solve instance
1947.66/979.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1948.28/980.01	43:52 ERROR: Failed to solve instance
1948.28/980.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1948.80/980.51	43:53 ERROR: Failed to solve instance
1948.80/980.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1955.75/985.91	43:58 ERROR: Failed to solve instance
1955.75/985.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1956.16/986.33	43:59 ERROR: Failed to solve instance
1956.16/986.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1957.08/987.23	43:59 ERROR: Failed to solve instance
1957.08/987.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1957.50/987.70	44:00 ERROR: Failed to solve instance
1957.50/987.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1958.03/988.21	44:00 ERROR: Failed to solve instance
1958.03/988.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1964.11/993.01	44:05 ERROR: Failed to solve instance
1964.11/993.01	java.lang.OutOfMemoryError: Java heap space
1964.51/993.43	44:06 ERROR: Failed to solve instance
1964.51/993.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1965.43/994.31	44:07 ERROR: Failed to solve instance
1965.43/994.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1965.84/994.76	44:07 ERROR: Failed to solve instance
1965.84/994.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1966.35/995.25	44:07 ERROR: Failed to solve instance
1966.35/995.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1966.87/995.82	44:08 ERROR: Failed to solve instance
1966.87/995.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1972.93/1000.26	44:12 ERROR: Failed to solve instance
1972.93/1000.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1973.84/1001.10	44:13 ERROR: Failed to solve instance
1973.84/1001.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1974.25/1001.55	44:14 ERROR: Failed to solve instance
1974.25/1001.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1974.76/1002.03	44:14 ERROR: Failed to solve instance
1974.76/1002.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1975.29/1002.54	44:15 ERROR: Failed to solve instance
1975.29/1002.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1983.16/1008.90	44:21 ERROR: Failed to solve instance
1983.16/1008.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1983.99/1009.69	44:22 ERROR: Failed to solve instance
1983.99/1009.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1984.41/1010.09	44:22 ERROR: Failed to solve instance
1984.41/1010.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1986.44/1011.87	44:24 ERROR: Failed to solve instance
1986.44/1011.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1986.96/1012.31	44:25 ERROR: Failed to solve instance
1986.96/1012.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1987.37/1012.76	44:25 ERROR: Failed to solve instance
1987.37/1012.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1987.92/1013.24	44:25 ERROR: Failed to solve instance
1987.92/1013.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1995.25/1019.37	44:32 ERROR: Failed to solve instance
1995.25/1019.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1995.65/1019.78	44:32 ERROR: Failed to solve instance
1995.65/1019.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1996.57/1020.65	44:33 ERROR: Failed to solve instance
1996.57/1020.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1996.99/1021.10	44:33 ERROR: Failed to solve instance
1996.99/1021.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1997.51/1021.58	44:34 ERROR: Failed to solve instance
1997.51/1021.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2001.58/1024.94	44:37 ERROR: Failed to solve instance
2001.58/1024.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.00/1025.39	44:38 ERROR: Failed to solve instance
2002.00/1025.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.51/1025.83	44:38 ERROR: Failed to solve instance
2002.51/1025.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2004.58/1027.69	44:40 ERROR: Failed to solve instance
2004.58/1027.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2007.16/1029.99	44:42 ERROR: Failed to solve instance
2007.16/1029.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.51/1034.38	44:47 ERROR: Failed to solve instance
2012.51/1034.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2013.33/1035.19	44:47 ERROR: Failed to solve instance
2013.33/1035.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2013.85/1035.67	44:48 ERROR: Failed to solve instance
2013.85/1035.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2014.38/1036.12	44:48 ERROR: Failed to solve instance
2014.38/1036.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2014.90/1036.62	44:49 ERROR: Failed to solve instance
2014.90/1036.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.28/1039.46	44:52 ERROR: Failed to solve instance
2018.28/1039.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.70/1039.90	44:52 ERROR: Failed to solve instance
2018.70/1039.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2022.19/1042.81	44:55 ERROR: Failed to solve instance
2022.19/1042.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2023.02/1043.66	44:56 ERROR: Failed to solve instance
2023.02/1043.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2023.54/1044.13	44:56 ERROR: Failed to solve instance
2023.54/1044.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2023.94/1044.54	44:57 ERROR: Failed to solve instance
2023.94/1044.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2024.47/1045.07	44:57 ERROR: Failed to solve instance
2024.47/1045.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2031.09/1050.25	45:02 ERROR: Failed to solve instance
2031.09/1050.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2031.51/1050.69	45:03 ERROR: Failed to solve instance
2031.51/1050.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2032.33/1051.47	45:04 ERROR: Failed to solve instance
2032.33/1051.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2032.85/1051.91	45:04 ERROR: Failed to solve instance
2032.85/1051.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2033.27/1052.42	45:05 ERROR: Failed to solve instance
2033.27/1052.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2040.57/1058.28	45:10 ERROR: Failed to solve instance
2040.57/1058.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2041.09/1058.70	45:11 ERROR: Failed to solve instance
2041.09/1058.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2041.50/1059.12	45:11 ERROR: Failed to solve instance
2041.50/1059.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2042.32/1059.91	45:12 ERROR: Failed to solve instance
2042.32/1059.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2042.74/1060.34	45:13 ERROR: Failed to solve instance
2042.74/1060.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2043.30/1060.83	45:13 ERROR: Failed to solve instance
2043.30/1060.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2043.70/1061.30	45:14 ERROR: Failed to solve instance
2043.70/1061.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2050.84/1066.96	45:19 ERROR: Failed to solve instance
2050.84/1066.96	java.lang.OutOfMemoryError: Java heap space
2051.04/1067.18	45:19 ERROR: Failed to solve instance
2051.04/1067.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2053.60/1069.33	45:22 ERROR: Failed to solve instance
2053.60/1069.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.34/1070.00	45:22 ERROR: Failed to solve instance
2054.34/1070.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2057.89/1072.94	45:25 ERROR: Failed to solve instance
2057.89/1072.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2059.98/1074.70	45:27 ERROR: Failed to solve instance
2059.98/1074.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2060.81/1075.53	45:28 ERROR: Failed to solve instance
2060.81/1075.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2061.22/1075.94	45:28 ERROR: Failed to solve instance
2061.22/1075.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2061.64/1076.36	45:29 ERROR: Failed to solve instance
2061.64/1076.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2062.16/1076.82	45:29 ERROR: Failed to solve instance
2062.16/1076.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2067.81/1081.29	45:34 ERROR: Failed to solve instance
2067.81/1081.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.41/1083.55	45:36 ERROR: Failed to solve instance
2070.41/1083.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.83/1083.97	45:36 ERROR: Failed to solve instance
2070.83/1083.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2071.74/1084.86	45:37 ERROR: Failed to solve instance
2071.74/1084.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2072.17/1085.31	45:37 ERROR: Failed to solve instance
2072.17/1085.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.52/1087.91	45:40 ERROR: Failed to solve instance
2075.52/1087.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2076.14/1088.58	45:41 ERROR: Failed to solve instance
2076.14/1088.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2076.66/1089.04	45:41 ERROR: Failed to solve instance
2076.66/1089.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2083.65/1094.80	45:47 ERROR: Failed to solve instance
2083.65/1094.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.18/1096.10	45:48 ERROR: Failed to solve instance
2085.18/1096.10	java.lang.OutOfMemoryError: Java heap space
2085.98/1096.89	45:49 ERROR: Failed to solve instance
2085.98/1096.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2086.29/1097.12	45:49 ERROR: Failed to solve instance
2086.29/1097.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2086.89/1097.79	45:50 ERROR: Failed to solve instance
2086.89/1097.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2087.42/1098.21	45:50 ERROR: Failed to solve instance
2087.42/1098.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2090.52/1100.86	45:53 ERROR: Failed to solve instance
2090.52/1100.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2091.26/1101.58	45:54 ERROR: Failed to solve instance
2091.26/1101.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2091.77/1102.10	45:54 ERROR: Failed to solve instance
2091.77/1102.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2100.24/1108.96	46:01 ERROR: Failed to solve instance
2100.24/1108.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2100.87/1109.53	46:02 ERROR: Failed to solve instance
2100.87/1109.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2101.28/1109.91	46:02 ERROR: Failed to solve instance
2101.28/1109.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2102.11/1110.72	46:03 ERROR: Failed to solve instance
2102.11/1110.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2102.52/1111.18	46:03 ERROR: Failed to solve instance
2102.52/1111.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.51/1113.60	46:06 ERROR: Failed to solve instance
2105.51/1113.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2106.33/1114.47	46:07 ERROR: Failed to solve instance
2106.33/1114.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2106.74/1114.82	46:07 ERROR: Failed to solve instance
2106.74/1114.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2112.47/1119.21	46:11 ERROR: Failed to solve instance
2112.47/1119.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2113.29/1120.05	46:12 ERROR: Failed to solve instance
2113.29/1120.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2113.60/1120.31	46:13 ERROR: Failed to solve instance
2113.60/1120.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2114.26/1120.99	46:13 ERROR: Failed to solve instance
2114.26/1120.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2114.78/1121.45	46:14 ERROR: Failed to solve instance
2114.78/1121.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2122.77/1128.00	46:20 ERROR: Failed to solve instance
2122.77/1128.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2123.58/1128.82	46:21 ERROR: Failed to solve instance
2123.58/1128.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2123.99/1129.24	46:21 ERROR: Failed to solve instance
2123.99/1129.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2124.40/1129.67	46:22 ERROR: Failed to solve instance
2124.40/1129.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2124.82/1130.10	46:22 ERROR: Failed to solve instance
2124.82/1130.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2128.41/1133.14	46:25 ERROR: Failed to solve instance
2128.41/1133.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2131.55/1135.81	46:28 ERROR: Failed to solve instance
2131.55/1135.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2131.97/1136.25	46:28 ERROR: Failed to solve instance
2131.97/1136.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2132.73/1136.99	46:29 ERROR: Failed to solve instance
2132.73/1136.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.61/1143.47	46:36 ERROR: Failed to solve instance
2140.61/1143.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.03/1143.89	46:36 ERROR: Failed to solve instance
2141.03/1143.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.95/1144.74	46:37 ERROR: Failed to solve instance
2141.95/1144.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2142.35/1145.11	46:37 ERROR: Failed to solve instance
2142.35/1145.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2142.78/1145.56	46:38 ERROR: Failed to solve instance
2142.78/1145.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2143.19/1145.99	46:38 ERROR: Failed to solve instance
2143.19/1145.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2146.52/1148.72	46:41 ERROR: Failed to solve instance
2146.52/1148.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2152.59/1153.48	46:46 ERROR: Failed to solve instance
2152.59/1153.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2153.10/1153.91	46:46 ERROR: Failed to solve instance
2153.10/1153.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2153.52/1154.37	46:47 ERROR: Failed to solve instance
2153.52/1154.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2154.59/1155.32	46:48 ERROR: Failed to solve instance
2154.59/1155.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2154.99/1155.72	46:48 ERROR: Failed to solve instance
2154.99/1155.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.52/1156.27	46:48 ERROR: Failed to solve instance
2155.52/1156.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2162.67/1161.47	46:54 ERROR: Failed to solve instance
2162.67/1161.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2163.19/1161.91	46:54 ERROR: Failed to solve instance
2163.19/1161.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2163.61/1162.34	46:55 ERROR: Failed to solve instance
2163.61/1162.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2167.05/1165.25	46:57 ERROR: Failed to solve instance
2167.05/1165.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.01/1166.96	46:59 ERROR: Failed to solve instance
2169.01/1166.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.75/1167.64	47:00 ERROR: Failed to solve instance
2169.75/1167.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2170.28/1168.13	47:00 ERROR: Failed to solve instance
2170.28/1168.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2175.92/1172.84	47:05 ERROR: Failed to solve instance
2175.92/1172.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2176.78/1173.68	47:06 ERROR: Failed to solve instance
2176.78/1173.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2177.30/1174.16	47:06 ERROR: Failed to solve instance
2177.30/1174.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2177.73/1174.56	47:07 ERROR: Failed to solve instance
2177.73/1174.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2181.60/1177.83	47:10 ERROR: Failed to solve instance
2181.60/1177.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2182.00/1178.25	47:10 ERROR: Failed to solve instance
2182.00/1178.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2182.51/1178.71	47:11 ERROR: Failed to solve instance
2182.51/1178.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2183.43/1179.61	47:12 ERROR: Failed to solve instance
2183.43/1179.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2183.95/1180.12	47:12 ERROR: Failed to solve instance
2183.95/1180.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2189.94/1184.68	47:17 ERROR: Failed to solve instance
2189.94/1184.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2190.87/1185.55	47:18 ERROR: Failed to solve instance
2190.87/1185.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.38/1186.02	47:18 ERROR: Failed to solve instance
2191.38/1186.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.79/1186.40	47:19 ERROR: Failed to solve instance
2191.79/1186.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2192.21/1186.87	47:19 ERROR: Failed to solve instance
2192.21/1186.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2200.75/1193.85	47:26 ERROR: Failed to solve instance
2200.75/1193.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2201.16/1194.23	47:26 ERROR: Failed to solve instance
2201.16/1194.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2201.57/1194.63	47:27 ERROR: Failed to solve instance
2201.57/1194.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.38/1195.42	47:28 ERROR: Failed to solve instance
2202.38/1195.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.80/1195.90	47:28 ERROR: Failed to solve instance
2202.80/1195.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2203.45/1196.43	47:29 ERROR: Failed to solve instance
2203.45/1196.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2203.87/1196.89	47:29 ERROR: Failed to solve instance
2203.87/1196.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2206.64/1199.19	47:31 ERROR: Failed to solve instance
2206.64/1199.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2211.03/1202.57	47:35 ERROR: Failed to solve instance
2211.03/1202.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2214.25/1205.39	47:38 ERROR: Failed to solve instance
2214.25/1205.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2214.76/1205.82	47:38 ERROR: Failed to solve instance
2214.76/1205.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2215.68/1206.72	47:39 ERROR: Failed to solve instance
2215.68/1206.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.11/1207.18	47:39 ERROR: Failed to solve instance
2216.11/1207.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.62/1207.67	47:40 ERROR: Failed to solve instance
2216.62/1207.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2217.14/1208.14	47:40 ERROR: Failed to solve instance
2217.14/1208.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2223.40/1212.81	47:45 ERROR: Failed to solve instance
2223.40/1212.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2223.82/1213.25	47:45 ERROR: Failed to solve instance
2223.82/1213.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2224.64/1214.04	47:46 ERROR: Failed to solve instance
2224.64/1214.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2225.06/1214.50	47:47 ERROR: Failed to solve instance
2225.06/1214.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2228.01/1216.87	47:49 ERROR: Failed to solve instance
2228.01/1216.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2228.83/1217.67	47:50 ERROR: Failed to solve instance
2228.83/1217.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2229.26/1218.09	47:50 ERROR: Failed to solve instance
2229.26/1218.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2229.77/1218.52	47:51 ERROR: Failed to solve instance
2229.77/1218.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.18/1218.94	47:51 ERROR: Failed to solve instance
2230.18/1218.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2238.30/1225.65	47:58 ERROR: Failed to solve instance
2238.30/1225.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2239.26/1226.54	47:59 ERROR: Failed to solve instance
2239.26/1226.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2239.68/1226.95	47:59 ERROR: Failed to solve instance
2239.68/1226.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2240.09/1227.39	48:00 ERROR: Failed to solve instance
2240.09/1227.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2240.63/1227.87	48:00 ERROR: Failed to solve instance
2240.63/1227.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2243.79/1230.52	48:03 ERROR: Failed to solve instance
2243.79/1230.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2244.41/1231.20	48:03 ERROR: Failed to solve instance
2244.41/1231.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2244.93/1231.68	48:04 ERROR: Failed to solve instance
2244.93/1231.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2252.30/1237.15	48:09 ERROR: Failed to solve instance
2252.30/1237.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2252.71/1237.57	48:10 ERROR: Failed to solve instance
2252.71/1237.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2253.54/1238.37	48:11 ERROR: Failed to solve instance
2253.54/1238.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2253.96/1238.79	48:11 ERROR: Failed to solve instance
2253.96/1238.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2254.48/1239.23	48:11 ERROR: Failed to solve instance
2254.48/1239.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2254.89/1239.70	48:12 ERROR: Failed to solve instance
2254.89/1239.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.90/1243.06	48:15 ERROR: Failed to solve instance
2258.90/1243.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2259.42/1243.52	48:16 ERROR: Failed to solve instance
2259.42/1243.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2259.83/1244.00	48:16 ERROR: Failed to solve instance
2259.83/1244.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2263.66/1247.28	48:19 ERROR: Failed to solve instance
2263.66/1247.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2264.18/1247.73	48:20 ERROR: Failed to solve instance
2264.18/1247.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2264.69/1248.26	48:20 ERROR: Failed to solve instance
2264.69/1248.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2270.99/1253.19	48:25 ERROR: Failed to solve instance
2270.99/1253.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2274.72/1256.47	48:29 ERROR: Failed to solve instance
2274.72/1256.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2275.13/1256.89	48:29 ERROR: Failed to solve instance
2275.13/1256.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2275.64/1257.34	48:30 ERROR: Failed to solve instance
2275.64/1257.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2276.37/1258.06	48:30 ERROR: Failed to solve instance
2276.37/1258.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2283.48/1263.70	48:36 ERROR: Failed to solve instance
2283.48/1263.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2283.79/1264.10	48:36 ERROR: Failed to solve instance
2283.79/1264.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2284.51/1264.77	48:37 ERROR: Failed to solve instance
2284.51/1264.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2287.53/1267.36	48:40 ERROR: Failed to solve instance
2287.53/1267.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2288.05/1267.81	48:40 ERROR: Failed to solve instance
2288.05/1267.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2288.46/1268.28	48:40 ERROR: Failed to solve instance
2288.46/1268.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2289.40/1269.12	48:41 ERROR: Failed to solve instance
2289.40/1269.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2289.92/1269.60	48:42 ERROR: Failed to solve instance
2289.92/1269.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2290.58/1270.10	48:42 ERROR: Failed to solve instance
2290.58/1270.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2296.61/1274.90	48:47 ERROR: Failed to solve instance
2296.61/1274.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2299.02/1276.99	48:49 ERROR: Failed to solve instance
2299.02/1276.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2299.53/1277.43	48:50 ERROR: Failed to solve instance
2299.53/1277.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2300.05/1277.91	48:50 ERROR: Failed to solve instance
2300.05/1277.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2300.80/1278.62	48:51 ERROR: Failed to solve instance
2300.80/1278.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2306.31/1283.10	48:55 ERROR: Failed to solve instance
2306.31/1283.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.25/1284.71	48:57 ERROR: Failed to solve instance
2308.25/1284.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2312.12/1288.01	49:00 ERROR: Failed to solve instance
2312.12/1288.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2312.53/1288.45	49:01 ERROR: Failed to solve instance
2312.53/1288.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2313.46/1289.31	49:02 ERROR: Failed to solve instance
2313.46/1289.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2313.87/1289.71	49:02 ERROR: Failed to solve instance
2313.87/1289.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2314.29/1290.17	49:02 ERROR: Failed to solve instance
2314.29/1290.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2317.86/1293.14	49:05 ERROR: Failed to solve instance
2317.86/1293.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2323.90/1298.23	49:10 ERROR: Failed to solve instance
2323.90/1298.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2324.72/1299.02	49:11 ERROR: Failed to solve instance
2324.72/1299.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2325.14/1299.44	49:12 ERROR: Failed to solve instance
2325.14/1299.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2325.56/1299.88	49:12 ERROR: Failed to solve instance
2325.56/1299.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2326.08/1300.36	49:13 ERROR: Failed to solve instance
2326.08/1300.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2327.01/1301.21	49:13 ERROR: Failed to solve instance
2327.01/1301.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2327.42/1301.64	49:14 ERROR: Failed to solve instance
2327.42/1301.64	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-3312371-1304112452/watcher-3312371-1304112452 -o /tmp/evaluation-result-3312371-1304112452/solver-3312371-1304112452 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312371-1304112452.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: 6.30 7.72 7.83 2/194 6910
/proc/meminfo: memFree=30228924/32950928 swapFree=67054472/67111528
[pid=6910] ppid=6908 vsize=27160 CPUtime=0 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6908 6910 6855 0 -1 4202496 1412 0 0 0 0 0 0 0 22 0 2 0 601475896 27811840 885 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917196773 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/6910/statm: 6793 890 680 9 0 381 0
[pid=6910/tid=6911] ppid=6908 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6911/stat : 6911 (java) R 6908 6910 6855 0 -1 4202560 66 0 0 0 0 0 0 0 24 0 2 0 601475896 27824128 894 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260900470407 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.017869 s]
/proc/loadavg: 6.30 7.72 7.83 2/194 6910
/proc/meminfo: memFree=30228924/32950928 swapFree=67054472/67111528
[pid=6910] ppid=6908 vsize=15591780 CPUtime=0.01 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6908 6910 6855 0 -1 4202496 3144 0 1 0 1 0 0 0 22 0 10 0 601475896 15965982720 2587 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/6910/statm: 3897945 2587 1513 9 0 3888693 0
[pid=6910/tid=6911] ppid=6908 vsize=15591780 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6911/stat : 6911 (java) R 6908 6910 6855 0 -1 4202560 1780 0 1 0 0 0 0 0 25 0 10 0 601475896 15965982720 2587 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917220811 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15591780

[startup+0.100855 s]
/proc/loadavg: 6.30 7.72 7.83 2/194 6910
/proc/meminfo: memFree=30228924/32950928 swapFree=67054472/67111528
[pid=6910] ppid=6908 vsize=15676084 CPUtime=0.11 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6908 6910 6855 0 -1 4202496 5635 0 1 0 10 1 0 0 22 0 18 0 601475896 16052310016 5050 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6910/statm: 3919021 5050 2118 9 0 3909740 0
[pid=6910/tid=6911] ppid=6908 vsize=15676084 CPUtime=0.08 cores=1,3,5,7
/proc/6910/task/6911/stat : 6911 (java) R 6908 6910 6855 0 -1 4202560 3482 0 1 0 8 0 0 0 25 0 18 0 601475896 16052310016 5050 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 47450110423694 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676084

[startup+0.300822 s]
/proc/loadavg: 6.30 7.72 7.83 2/194 6910
/proc/meminfo: memFree=30228924/32950928 swapFree=67054472/67111528
[pid=6910] ppid=6908 vsize=15681444 CPUtime=0.51 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6908 6910 6855 0 -1 4202496 16655 0 1 0 49 2 0 0 22 0 18 0 601475896 16057798656 14838 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6910/statm: 3920361 14844 2207 9 0 3911080 0
[pid=6910/tid=6911] ppid=6908 vsize=15681444 CPUtime=0.28 cores=1,3,5,7
/proc/6910/task/6911/stat : 6911 (java) R 6908 6910 6855 0 -1 4202560 11504 0 1 0 27 1 0 0 25 0 18 0 601475896 16057798656 14847 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 46912505642835 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15681444

[startup+0.700749 s]
/proc/loadavg: 6.30 7.72 7.83 2/194 6910
/proc/meminfo: memFree=30228924/32950928 swapFree=67054472/67111528
[pid=6910] ppid=6908 vsize=15681444 CPUtime=0.92 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6908 6910 6855 0 -1 4202496 41826 0 1 0 87 5 0 0 22 0 18 0 601475896 16057798656 40005 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6910/statm: 3920361 40005 2223 9 0 3911080 0
[pid=6910/tid=6911] ppid=6908 vsize=15681444 CPUtime=0.68 cores=1,3,5,7
/proc/6910/task/6911/stat : 6911 (java) R 6908 6910 6855 0 -1 4202560 35492 0 1 0 63 5 0 0 25 0 18 0 601475896 16057798656 40005 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 46912505595512 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) 15681444

[startup+1.5016 s]
/proc/loadavg: 6.11 7.66 7.81 7/220 6936
/proc/meminfo: memFree=29929320/32950928 swapFree=67054472/67111528
[pid=6910] ppid=6908 vsize=15714152 CPUtime=2.45 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6908 6910 6855 0 -1 4202496 55802 0 1 0 238 7 0 0 22 0 22 0 601475896 16091291648 49919 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6910/statm: 3928538 49919 2265 9 0 3919257 0
[pid=6910/tid=6911] ppid=6908 vsize=15714152 CPUtime=1.47 cores=1,3,5,7
/proc/6910/task/6911/stat : 6911 (java) R 6908 6910 6855 0 -1 4202560 35594 0 1 0 142 5 0 0 25 0 22 0 601475896 16091291648 49919 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 46912505179312 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6910/tid=6913] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6913/stat : 6913 (java) S 6908 6910 6855 0 -1 4202560 1157 0 0 0 0 0 0 0 18 0 22 0 601475897 16091291648 49919 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6914] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6914/stat : 6914 (java) S 6908 6910 6855 0 -1 4202560 406 0 0 0 0 0 0 0 18 0 22 0 601475897 16091291648 49919 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6915] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6915/stat : 6915 (java) S 6908 6910 6855 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 22 0 601475897 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6916] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6916/stat : 6916 (java) S 6908 6910 6855 0 -1 4202560 914 0 0 0 0 0 0 0 18 0 22 0 601475897 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6917] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6917/stat : 6917 (java) S 6908 6910 6855 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 601475897 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6918] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6918/stat : 6918 (java) S 6908 6910 6855 0 -1 4202560 771 0 0 0 0 0 0 0 18 0 22 0 601475897 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6919] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6919/stat : 6919 (java) S 6908 6910 6855 0 -1 4202560 367 0 0 0 0 0 0 0 15 0 22 0 601475897 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6920] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6920/stat : 6920 (java) S 6908 6910 6855 0 -1 4202560 50 0 0 0 0 0 0 0 18 0 22 0 601475897 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6921] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6921/stat : 6921 (java) S 6908 6910 6855 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 22 0 601475898 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210624 0 0 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6922] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6922/stat : 6922 (java) S 6908 6910 6855 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 601475898 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6923] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6923/stat : 6923 (java) S 6908 6910 6855 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 601475898 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6924] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6924/stat : 6924 (java) S 6908 6910 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601475900 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917217713 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6925] ppid=6908 vsize=15714152 CPUtime=0.22 cores=1,3,5,7
/proc/6910/task/6925/stat : 6925 (java) S 6908 6910 6855 0 -1 4202560 1697 0 0 0 22 0 0 0 15 0 22 0 601475900 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6926] ppid=6908 vsize=15714152 CPUtime=0.71 cores=1,3,5,7
/proc/6910/task/6926/stat : 6926 (java) R 6908 6910 6855 0 -1 4202560 13338 0 0 0 70 1 0 0 21 0 22 0 601475900 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 47450110466311 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6910/tid=6927] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6927/stat : 6927 (java) S 6908 6910 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601475900 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6928] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6928/stat : 6928 (java) S 6908 6910 6855 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601475900 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210624 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6933] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6933/stat : 6933 (java) S 6908 6910 6855 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 22 0 601475972 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210624 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6934] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6934/stat : 6934 (java) S 6908 6910 6855 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 22 0 601475972 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210624 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6935] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6935/stat : 6935 (java) S 6908 6910 6855 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 601475972 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210624 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6936] ppid=6908 vsize=15714152 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6936/stat : 6936 (java) S 6908 6910 6855 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 601475972 16091291648 49923 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210624 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 15714152

[startup+3.1043 s]
/proc/loadavg: 6.11 7.66 7.81 6/220 6936
/proc/meminfo: memFree=29643872/32950928 swapFree=67054472/67111528
[pid=6910] ppid=6908 vsize=15714792 CPUtime=6.5 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6908 6910 6855 0 -1 4202496 115151 0 1 0 634 16 0 0 22 0 22 0 601475896 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6910/statm: 3928698 105908 2275 9 0 3919417 0
[pid=6910/tid=6911] ppid=6908 vsize=15714792 CPUtime=2.16 cores=1,3,5,7
/proc/6910/task/6911/stat : 6911 (java) S 6908 6910 6855 0 -1 4202560 35647 0 1 0 211 5 0 0 25 0 22 0 601475896 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6913] ppid=6908 vsize=15714792 CPUtime=0.01 cores=1,3,5,7
/proc/6910/task/6913/stat : 6913 (java) R 6908 6910 6855 0 -1 4202560 4654 0 0 0 1 0 0 0 15 0 22 0 601475897 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260905347383 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6910/tid=6914] ppid=6908 vsize=15714792 CPUtime=0.05 cores=1,3,5,7
/proc/6910/task/6914/stat : 6914 (java) R 6908 6910 6855 0 -1 4202560 7842 0 0 0 4 1 0 0 15 0 22 0 601475897 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260905347383 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6910/tid=6915] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6915/stat : 6915 (java) R 6908 6910 6855 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 601475897 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917211078 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6910/tid=6916] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6916/stat : 6916 (java) R 6908 6910 6855 0 -1 4202560 915 0 0 0 0 0 0 0 15 0 22 0 601475897 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260905347383 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6910/tid=6917] ppid=6908 vsize=15714792 CPUtime=0.01 cores=1,3,5,7
/proc/6910/task/6917/stat : 6917 (java) S 6908 6910 6855 0 -1 4202560 3415 0 0 0 1 0 0 0 15 0 22 0 601475897 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6918] ppid=6908 vsize=15714792 CPUtime=0.02 cores=1,3,5,7
/proc/6910/task/6918/stat : 6918 (java) S 6908 6910 6855 0 -1 4202560 5238 0 0 0 2 0 0 0 15 0 22 0 601475897 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6919] ppid=6908 vsize=15714792 CPUtime=0.02 cores=1,3,5,7
/proc/6910/task/6919/stat : 6919 (java) S 6908 6910 6855 0 -1 4202560 4190 0 0 0 2 0 0 0 15 0 22 0 601475897 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6920] ppid=6908 vsize=15714792 CPUtime=0.01 cores=1,3,5,7
/proc/6910/task/6920/stat : 6920 (java) R 6908 6910 6855 0 -1 4202560 4481 0 0 0 1 0 0 0 15 0 22 0 601475897 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260905347383 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6910/tid=6921] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6921/stat : 6921 (java) S 6908 6910 6855 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 601475898 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 0 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6922] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6922/stat : 6922 (java) S 6908 6910 6855 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 601475898 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6923] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6923/stat : 6923 (java) S 6908 6910 6855 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 601475898 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6924] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6924/stat : 6924 (java) S 6908 6910 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601475900 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917217713 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6925] ppid=6908 vsize=15714792 CPUtime=0.68 cores=1,3,5,7
/proc/6910/task/6925/stat : 6925 (java) S 6908 6910 6855 0 -1 4202560 5184 0 0 0 68 0 0 0 15 0 22 0 601475900 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6926] ppid=6908 vsize=15714792 CPUtime=1.32 cores=1,3,5,7
/proc/6910/task/6926/stat : 6926 (java) S 6908 6910 6855 0 -1 4202560 13738 0 0 0 131 1 0 0 15 0 22 0 601475900 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6927] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6927/stat : 6927 (java) S 6908 6910 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601475900 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6928] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6928/stat : 6928 (java) S 6908 6910 6855 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601475900 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210624 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6933] ppid=6908 vsize=15714792 CPUtime=0.61 cores=1,3,5,7
/proc/6910/task/6933/stat : 6933 (java) S 6908 6910 6855 0 -1 4202560 6708 0 0 0 60 1 0 0 16 0 22 0 601475972 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6934] ppid=6908 vsize=15714792 CPUtime=0.41 cores=1,3,5,7
/proc/6910/task/6934/stat : 6934 (java) S 6908 6910 6855 0 -1 4202560 9523 0 0 0 40 1 0 0 16 0 22 0 601475972 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6935] ppid=6908 vsize=15714792 CPUtime=0.6 cores=1,3,5,7
/proc/6910/task/6935/stat : 6935 (java) S 6908 6910 6855 0 -1 4202560 4035 0 0 0 60 0 0 0 16 0 22 0 601475972 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6936] ppid=6908 vsize=15714792 CPUtime=0.47 cores=1,3,5,7
/proc/6910/task/6936/stat : 6936 (java) S 6908 6910 6855 0 -1 4202560 8110 0 0 0 46 1 0 0 16 0 22 0 601475972 16091947008 105908 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.5
Current children cumulated vsize (KiB) 15714792

[startup+6.30072 s]
/proc/loadavg: 6.11 7.66 7.81 11/220 6936
/proc/meminfo: memFree=27876716/32950928 swapFree=67054472/67111528
[pid=6910] ppid=6908 vsize=15714792 CPUtime=19.25 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6908 6910 6855 0 -1 4202496 258735 0 1 0 1889 36 0 0 22 0 22 0 601475896 16091947008 249136 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6910/statm: 3928698 249150 2275 9 0 3919417 0
[pid=6910/tid=6911] ppid=6908 vsize=15714792 CPUtime=2.16 cores=1,3,5,7
/proc/6910/task/6911/stat : 6911 (java) S 6908 6910 6855 0 -1 4202560 35647 0 1 0 211 5 0 0 25 0 22 0 601475896 16091947008 249157 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6913] ppid=6908 vsize=15714792 CPUtime=0.08 cores=1,3,5,7
/proc/6910/task/6913/stat : 6913 (java) S 6908 6910 6855 0 -1 4202560 15606 0 0 0 6 2 0 0 16 0 22 0 601475897 16091947008 249165 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6914] ppid=6908 vsize=15714792 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6914/stat : 6914 (java) S 6908 6910 6855 0 -1 4202560 13421 0 0 0 6 1 0 0 15 0 22 0 601475897 16091947008 249174 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6915] ppid=6908 vsize=15714792 CPUtime=0.06 cores=1,3,5,7
/proc/6910/task/6915/stat : 6915 (java) S 6908 6910 6855 0 -1 4202560 10431 0 0 0 5 1 0 0 16 0 22 0 601475897 16091947008 249183 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6916] ppid=6908 vsize=15714792 CPUtime=0.07 cores=1,3,5,7
/proc/6910/task/6916/stat : 6916 (java) S 6908 6910 6855 0 -1 4202560 11392 0 0 0 6 1 0 0 15 0 22 0 601475897 16091947008 249190 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6917] ppid=6908 vsize=15714792 CPUtime=0.06 cores=1,3,5,7
/proc/6910/task/6917/stat : 6917 (java) S 6908 6910 6855 0 -1 4202560 11623 0 0 0 5 1 0 0 15 0 22 0 601475897 16091947008 249199 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6918] ppid=6908 vsize=15714792 CPUtime=0.14 cores=1,3,5,7
/proc/6910/task/6918/stat : 6918 (java) S 6908 6910 6855 0 -1 4202560 20748 0 0 0 12 2 0 0 16 0 22 0 601475897 16091947008 249207 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6919] ppid=6908 vsize=15714792 CPUtime=0.1 cores=1,3,5,7
/proc/6910/task/6919/stat : 6919 (java) S 6908 6910 6855 0 -1 4202560 14019 0 0 0 9 1 0 0 15 0 22 0 601475897 16091947008 249216 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6920] ppid=6908 vsize=15714792 CPUtime=0.11 cores=1,3,5,7
/proc/6910/task/6920/stat : 6920 (java) S 6908 6910 6855 0 -1 4202560 25681 0 0 0 8 3 0 0 16 0 22 0 601475897 16091947008 249224 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0

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

[pid=6910/tid=6923] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6923/stat : 6923 (java) S 6908 6910 6855 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 601475898 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6924] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6924/stat : 6924 (java) S 6908 6910 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917217713 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6925] ppid=6908 vsize=15714792 CPUtime=0.7 cores=1,3,5,7
/proc/6910/task/6925/stat : 6925 (java) S 6908 6910 6855 0 -1 4202560 5184 0 0 0 70 0 0 0 16 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6926] ppid=6908 vsize=15714792 CPUtime=1.6 cores=1,3,5,7
/proc/6910/task/6926/stat : 6926 (java) S 6908 6910 6855 0 -1 4202560 13773 0 0 0 159 1 0 0 15 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6927] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6927/stat : 6927 (java) S 6908 6910 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6928] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6928/stat : 6928 (java) S 6908 6910 6855 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210624 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6933] ppid=6908 vsize=15714792 CPUtime=329.09 cores=1,3,5,7
/proc/6910/task/6933/stat : 6933 (java) S 6908 6910 6855 0 -1 4202560 125984 0 0 0 32884 25 0 0 15 0 22 0 601475972 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6934] ppid=6908 vsize=15714792 CPUtime=329.87 cores=1,3,5,7
/proc/6910/task/6934/stat : 6934 (java) S 6908 6910 6855 0 -1 4202560 121747 0 0 0 32964 23 0 0 15 0 22 0 601475972 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6935] ppid=6908 vsize=15714792 CPUtime=330.33 cores=1,3,5,7
/proc/6910/task/6935/stat : 6935 (java) S 6908 6910 6855 0 -1 4202560 122943 0 0 0 33011 22 0 0 15 0 22 0 601475972 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6936] ppid=6908 vsize=15714792 CPUtime=329.7 cores=1,3,5,7
/proc/6910/task/6936/stat : 6936 (java) S 6908 6910 6855 0 -1 4202560 126714 0 0 0 32946 24 0 0 15 0 22 0 601475972 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2187.1
Current children cumulated vsize (KiB) 15714792

[startup+1242.31 s]
/proc/loadavg: 5.12 5.34 6.19 6/220 7023
/proc/meminfo: memFree=9194316/32950928 swapFree=67054472/67111528
[pid=6910] ppid=6908 vsize=15714792 CPUtime=2258.17 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6908 6910 6855 0 -1 4202496 3882138 0 1 0 225188 629 0 0 22 0 22 0 601475896 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6910/statm: 3928698 3846211 2294 9 0 3919417 0
[pid=6910/tid=6911] ppid=6908 vsize=15714792 CPUtime=2.16 cores=1,3,5,7
/proc/6910/task/6911/stat : 6911 (java) S 6908 6910 6855 0 -1 4202560 35647 0 1 0 211 5 0 0 25 0 22 0 601475896 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6913] ppid=6908 vsize=15714792 CPUtime=2.64 cores=1,3,5,7
/proc/6910/task/6913/stat : 6913 (java) S 6908 6910 6855 0 -1 4202560 312825 0 0 0 210 54 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6914] ppid=6908 vsize=15714792 CPUtime=2.32 cores=1,3,5,7
/proc/6910/task/6914/stat : 6914 (java) S 6908 6910 6855 0 -1 4202560 331754 0 0 0 179 53 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6915] ppid=6908 vsize=15714792 CPUtime=3.07 cores=1,3,5,7
/proc/6910/task/6915/stat : 6915 (java) S 6908 6910 6855 0 -1 4202560 479620 0 0 0 225 82 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6916] ppid=6908 vsize=15714792 CPUtime=2 cores=1,3,5,7
/proc/6910/task/6916/stat : 6916 (java) S 6908 6910 6855 0 -1 4202560 228823 0 0 0 162 38 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6917] ppid=6908 vsize=15714792 CPUtime=2.86 cores=1,3,5,7
/proc/6910/task/6917/stat : 6917 (java) S 6908 6910 6855 0 -1 4202560 366140 0 0 0 223 63 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6918] ppid=6908 vsize=15714792 CPUtime=2.02 cores=1,3,5,7
/proc/6910/task/6918/stat : 6918 (java) S 6908 6910 6855 0 -1 4202560 231416 0 0 0 165 37 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6919] ppid=6908 vsize=15714792 CPUtime=2.64 cores=1,3,5,7
/proc/6910/task/6919/stat : 6919 (java) S 6908 6910 6855 0 -1 4202560 289790 0 0 0 217 47 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6920] ppid=6908 vsize=15714792 CPUtime=2.27 cores=1,3,5,7
/proc/6910/task/6920/stat : 6920 (java) S 6908 6910 6855 0 -1 4202560 284735 0 0 0 181 46 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6921] ppid=6908 vsize=15714792 CPUtime=899.9 cores=1,3,5,7
/proc/6910/task/6921/stat : 6921 (java) R 6908 6910 6855 0 -1 4202560 803139 0 0 0 89892 98 0 0 25 0 22 0 601475898 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 47450108186940 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=6910/tid=6922] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6922/stat : 6922 (java) S 6908 6910 6855 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 601475898 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6923] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6923/stat : 6923 (java) S 6908 6910 6855 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 601475898 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6924] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6924/stat : 6924 (java) S 6908 6910 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917217713 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6925] ppid=6908 vsize=15714792 CPUtime=0.7 cores=1,3,5,7
/proc/6910/task/6925/stat : 6925 (java) S 6908 6910 6855 0 -1 4202560 5184 0 0 0 70 0 0 0 16 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6926] ppid=6908 vsize=15714792 CPUtime=1.6 cores=1,3,5,7
/proc/6910/task/6926/stat : 6926 (java) S 6908 6910 6855 0 -1 4202560 13778 0 0 0 159 1 0 0 15 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6927] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6927/stat : 6927 (java) S 6908 6910 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6928] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6928/stat : 6928 (java) S 6908 6910 6855 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210624 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6933] ppid=6908 vsize=15714792 CPUtime=332.81 cores=1,3,5,7
/proc/6910/task/6933/stat : 6933 (java) S 6908 6910 6855 0 -1 4202560 126071 0 0 0 33255 26 0 0 15 0 22 0 601475972 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6934] ppid=6908 vsize=15714792 CPUtime=333.55 cores=1,3,5,7
/proc/6910/task/6934/stat : 6934 (java) S 6908 6910 6855 0 -1 4202560 121878 0 0 0 33332 23 0 0 15 0 22 0 601475972 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6935] ppid=6908 vsize=15714792 CPUtime=334.06 cores=1,3,5,7
/proc/6910/task/6935/stat : 6935 (java) S 6908 6910 6855 0 -1 4202560 123047 0 0 0 33383 23 0 0 15 0 22 0 601475972 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6936] ppid=6908 vsize=15714792 CPUtime=333.41 cores=1,3,5,7
/proc/6910/task/6936/stat : 6936 (java) S 6908 6910 6855 0 -1 4202560 126834 0 0 0 33316 25 0 0 15 0 22 0 601475972 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2258.17
Current children cumulated vsize (KiB) 15714792



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 5.31 5.37 6.15 6/220 7024
/proc/meminfo: memFree=5813920/32950928 swapFree=67054472/67111528
[pid=6910] ppid=6908 vsize=15714792 CPUtime=2325.78 cores=1,3,5,7
/proc/6910/stat : 6910 (java) S 6908 6910 6855 0 -1 4202496 3882599 0 1 0 231944 634 0 0 22 0 22 0 601475896 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/6910/statm: 3928698 3846211 2294 9 0 3919417 0
[pid=6910/tid=6911] ppid=6908 vsize=15714792 CPUtime=2.16 cores=1,3,5,7
/proc/6910/task/6911/stat : 6911 (java) S 6908 6910 6855 0 -1 4202560 35647 0 1 0 211 5 0 0 25 0 22 0 601475896 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6913] ppid=6908 vsize=15714792 CPUtime=2.64 cores=1,3,5,7
/proc/6910/task/6913/stat : 6913 (java) S 6908 6910 6855 0 -1 4202560 312825 0 0 0 210 54 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6914] ppid=6908 vsize=15714792 CPUtime=2.32 cores=1,3,5,7
/proc/6910/task/6914/stat : 6914 (java) S 6908 6910 6855 0 -1 4202560 331754 0 0 0 179 53 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6915] ppid=6908 vsize=15714792 CPUtime=3.07 cores=1,3,5,7
/proc/6910/task/6915/stat : 6915 (java) S 6908 6910 6855 0 -1 4202560 479620 0 0 0 225 82 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6916] ppid=6908 vsize=15714792 CPUtime=2 cores=1,3,5,7
/proc/6910/task/6916/stat : 6916 (java) S 6908 6910 6855 0 -1 4202560 228823 0 0 0 162 38 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6917] ppid=6908 vsize=15714792 CPUtime=2.86 cores=1,3,5,7
/proc/6910/task/6917/stat : 6917 (java) S 6908 6910 6855 0 -1 4202560 366140 0 0 0 223 63 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6918] ppid=6908 vsize=15714792 CPUtime=2.02 cores=1,3,5,7
/proc/6910/task/6918/stat : 6918 (java) S 6908 6910 6855 0 -1 4202560 231416 0 0 0 165 37 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6919] ppid=6908 vsize=15714792 CPUtime=2.64 cores=1,3,5,7
/proc/6910/task/6919/stat : 6919 (java) S 6908 6910 6855 0 -1 4202560 289790 0 0 0 217 47 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6920] ppid=6908 vsize=15714792 CPUtime=2.27 cores=1,3,5,7
/proc/6910/task/6920/stat : 6920 (java) S 6908 6910 6855 0 -1 4202560 284735 0 0 0 181 46 0 0 16 0 22 0 601475897 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6921] ppid=6908 vsize=15714792 CPUtime=954.2 cores=1,3,5,7
/proc/6910/task/6921/stat : 6921 (java) R 6908 6910 6855 0 -1 4202560 803143 0 0 0 95320 100 0 0 18 0 22 0 601475898 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 47450108162385 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=6910/tid=6922] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6922/stat : 6922 (java) S 6908 6910 6855 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 601475898 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6923] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6923/stat : 6923 (java) S 6908 6910 6855 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 601475898 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6924] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6924/stat : 6924 (java) S 6908 6910 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917217713 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6925] ppid=6908 vsize=15714792 CPUtime=0.7 cores=1,3,5,7
/proc/6910/task/6925/stat : 6925 (java) S 6908 6910 6855 0 -1 4202560 5184 0 0 0 70 0 0 0 16 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6926] ppid=6908 vsize=15714792 CPUtime=1.6 cores=1,3,5,7
/proc/6910/task/6926/stat : 6926 (java) S 6908 6910 6855 0 -1 4202560 13778 0 0 0 159 1 0 0 15 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6927] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6927/stat : 6927 (java) S 6908 6910 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6928] ppid=6908 vsize=15714792 CPUtime=0 cores=1,3,5,7
/proc/6910/task/6928/stat : 6928 (java) S 6908 6910 6855 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 601475900 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210624 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
[pid=6910/tid=6933] ppid=6908 vsize=15714792 CPUtime=336.13 cores=1,3,5,7
/proc/6910/task/6933/stat : 6933 (java) S 6908 6910 6855 0 -1 4202560 126175 0 0 0 33587 26 0 0 15 0 22 0 601475972 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 5 0 0 0
[pid=6910/tid=6934] ppid=6908 vsize=15714792 CPUtime=336.87 cores=1,3,5,7
/proc/6910/task/6934/stat : 6934 (java) S 6908 6910 6855 0 -1 4202560 122003 0 0 0 33663 24 0 0 16 0 22 0 601475972 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 7 0 0 0
[pid=6910/tid=6935] ppid=6908 vsize=15714792 CPUtime=337.38 cores=1,3,5,7
/proc/6910/task/6935/stat : 6935 (java) S 6908 6910 6855 0 -1 4202560 123167 0 0 0 33714 24 0 0 15 0 22 0 601475972 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210624 0 4 0 16800975 18446604460507109504 0 0 -1 1 0 0 0
[pid=6910/tid=6936] ppid=6908 vsize=15714792 CPUtime=336.74 cores=1,3,5,7
/proc/6910/task/6936/stat : 6936 (java) S 6908 6910 6855 0 -1 4202560 126938 0 0 0 33649 25 0 0 15 0 22 0 601475972 16091947008 3846211 33554432000 1073741824 1073778376 140735946568432 18446744073709551615 260917210009 0 4 0 16800975 18446604460507109504 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2325.78
Current children cumulated vsize (KiB) 15714792

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -6910

[startup+1302.3 s]
/proc/loadavg: 5.29 5.36 6.14 6/223 7027
/proc/meminfo: memFree=5466452/32950928 swapFree=67054472/67111528
[pid=6910] ppid=6908 vsize=0 CPUtime=2328.22 cores=1,3,5,7
/proc/6910/stat : 6910 (java) Z 6908 6910 6855 0 -1 4203548 3882643 0 1 0 232160 662 0 0 18 0 2 0 601475896 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6910/statm: 0 0 0 0 0 0 0
[pid=6910/tid=6911] ppid=6908 vsize=0 CPUtime=2.44 cores=1,3,5,7
/proc/6910/task/6911/stat : 6911 (java) R 6908 6910 6855 0 -1 4203588 35647 0 1 0 211 33 0 0 18 0 2 0 601475896 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2328.22
Current children cumulated vsize (KiB) 0

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

[startup+1302.4 s]
/proc/loadavg: 5.29 5.36 6.14 6/223 7027
/proc/meminfo: memFree=5466452/32950928 swapFree=67054472/67111528
[pid=6910] ppid=6908 vsize=0 CPUtime=2328.33 cores=1,3,5,7
/proc/6910/stat : 6910 (java) Z 6908 6910 6855 0 -1 4203548 3882643 0 1 0 232160 673 0 0 18 0 2 0 601475896 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6910/statm: 0 0 0 0 0 0 0
[pid=6910/tid=6911] ppid=6908 vsize=0 CPUtime=2.54 cores=1,3,5,7
/proc/6910/task/6911/stat : 6911 (java) R 6908 6910 6855 0 -1 4203588 35647 0 1 0 211 43 0 0 18 0 2 0 601475896 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2328.33
Current children cumulated vsize (KiB) 0

[startup+1302.5 s]
/proc/loadavg: 5.29 5.36 6.14 6/223 7027
/proc/meminfo: memFree=5466452/32950928 swapFree=67054472/67111528
[pid=6910] ppid=6908 vsize=0 CPUtime=2328.43 cores=1,3,5,7
/proc/6910/stat : 6910 (java) Z 6908 6910 6855 0 -1 4203548 3882643 0 1 0 232160 683 0 0 18 0 2 0 601475896 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6910/statm: 0 0 0 0 0 0 0
[pid=6910/tid=6911] ppid=6908 vsize=0 CPUtime=2.64 cores=1,3,5,7
/proc/6910/task/6911/stat : 6911 (java) R 6908 6910 6855 0 -1 4203588 35647 0 1 0 211 53 0 0 18 0 2 0 601475896 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2328.43
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.53
CPU time (s): 2328.46
CPU user time (s): 2321.61
CPU system time (s): 6.85796
CPU usage (%): 178.765
Max. virtual memory (cumulated for all children) (KiB): 15716848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2321.61
system time used= 6.85796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3882643
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= 81840
involuntary context switches= 40409

runsolver used 2.29865 second user time and 5.12022 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 23:27:32
IDJOB=3312371
IDBENCH=82556
IDSOLVER=1699
FILE ID=node116/3312371-1304112452
RUNJOBID= node116-1304112452-6874
PBS_JOBID= 13170693
Free space on /tmp= 72512 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312371-1304112452/watcher-3312371-1304112452 -o /tmp/evaluation-result-3312371-1304112452/solver-3312371-1304112452 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312371-1304112452.cnf

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

MD5SUM BENCH= a5ac359cd8af4f1e83d886effb49a2a9
RANDOM SEED=1872080541

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30229320 kB
Buffers:        978564 kB
Cached:        1371124 kB
SwapCached:       9656 kB
Active:         104856 kB
Inactive:      2276188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30229320 kB
SwapTotal:    67111528 kB
SwapFree:     67054472 kB
Dirty:            5832 kB
Writeback:           0 kB
AnonPages:       30152 kB
Mapped:          20568 kB
Slab:           274920 kB
PageTables:       4648 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   782912 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72508 MiB
End job on node116 at 2011-04-29 23:49:15