Trace number 3312466

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) 2296.2 1302.55

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf
MD5SUM7b0b378358197932f5212c7e9e31a14b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark18.9671
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.10/0.12	35:29 INFO : Reading from input HOME/instance-3312466-1304116528.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!
4.14/2.32	35:31 INFO : 29877 variables remaining out of 30000
4.14/2.32	35:31 INFO : 500908 literals remaining out of 504000
1120.44/303.62	40:32 ERROR: Failed to solve instance
1120.44/303.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1120.44/303.62		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1120.44/303.62		at gnu.trove.THash.compact(THash.java:197)
1120.44/303.62		at gnu.trove.THash.removeAt(THash.java:261)
1120.44/303.62		at gnu.trove.TPrimitiveHash.removeAt(TPrimitiveHash.java:109)
1120.44/303.62		at gnu.trove.TIntHash.removeAt(TIntHash.java:173)
1120.44/303.62		at gnu.trove.TIntHashSet.remove(TIntHashSet.java:264)
1120.44/303.62		at ibis.structure.WatchLists.removeClause(WatchLists.java:152)
1120.44/303.62		at ibis.structure.Solver.propagate(Solver.java:271)
1120.44/303.62		at ibis.structure.Solver.simplify(Solver.java:188)
1120.44/303.62		at ibis.structure.Solver.solve(Solver.java:113)
1120.44/303.62		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1120.44/303.62		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1120.44/303.62		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1120.44/303.62		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1120.44/303.62		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1120.44/303.62		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1120.44/303.62		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1120.44/303.62		at ibis.constellation.Executor.processActivities(Executor.java:75)
1120.44/303.62		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1120.44/303.62		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1120.44/303.62		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1122.55/305.79	40:34 ERROR: Failed to solve instance
1122.55/305.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1122.55/305.79		at ibis.structure.ImplicationsGraph.create(ImplicationsGraph.java:627)
1122.55/305.79		at ibis.structure.ImplicationsGraph.<init>(ImplicationsGraph.java:30)
1122.55/305.79		at ibis.structure.Solver.<init>(Solver.java:36)
1122.55/305.79		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1122.55/305.79		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1122.55/305.79		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1122.55/305.79		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1122.55/305.79		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1122.55/305.79		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1122.55/305.79		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1122.55/305.79		at ibis.constellation.Executor.processActivities(Executor.java:75)
1122.55/305.79		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1122.55/305.79		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1122.55/305.79		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1125.09/308.26	40:37 ERROR: Failed to solve instance
1125.09/308.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1125.09/308.26		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1125.09/308.26		at gnu.trove.THash.postInsertHook(THash.java:370)
1125.09/308.26		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1125.09/308.26		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1125.09/308.26		at ibis.structure.Subsumming.run(Subsumming.java:58)
1125.09/308.26		at ibis.structure.Solver.simplify(Solver.java:205)
1125.09/308.26		at ibis.structure.Solver.solve(Solver.java:113)
1125.09/308.26		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1125.09/308.26		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1125.09/308.26		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1125.09/308.26		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1125.09/308.26		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1125.09/308.26		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1125.09/308.26		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1125.09/308.26		at ibis.constellation.Executor.processActivities(Executor.java:75)
1125.09/308.26		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1125.09/308.26		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1125.09/308.26		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1127.63/310.71	40:39 ERROR: Failed to solve instance
1127.63/310.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1127.63/310.71		at ibis.structure.HyperBinaryResolution.<init>(HyperBinaryResolution.java:42)
1127.63/310.71		at ibis.structure.Solver.simplify(Solver.java:191)
1127.63/310.71		at ibis.structure.Solver.solve(Solver.java:113)
1127.63/310.71		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1127.63/310.71		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1127.63/310.71		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1127.63/310.71		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1127.63/310.71		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1127.63/310.71		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1127.63/310.71		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1127.63/310.71		at ibis.constellation.Executor.processActivities(Executor.java:75)
1127.63/310.71		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1127.63/310.71		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1127.63/310.71		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1129.74/312.88	40:41 ERROR: Failed to solve instance
1129.74/312.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1130.16/313.29	40:42 ERROR: Failed to solve instance
1130.16/313.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1132.58/315.36	40:44 ERROR: Failed to solve instance
1132.58/315.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1134.78/317.56	40:46 ERROR: Failed to solve instance
1134.78/317.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1136.61/319.20	40:48 ERROR: Failed to solve instance
1136.61/319.20	java.lang.OutOfMemoryError: Java heap space
1136.91/319.44	40:48 ERROR: Failed to solve instance
1136.91/319.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1146.30/326.94	40:56 ERROR: Failed to solve instance
1146.30/326.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1146.69/327.35	40:56 ERROR: Failed to solve instance
1146.69/327.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1147.50/328.19	40:57 ERROR: Failed to solve instance
1147.50/328.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1148.01/328.63	40:57 ERROR: Failed to solve instance
1148.01/328.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1148.53/329.11	40:58 ERROR: Failed to solve instance
1148.53/329.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1149.05/329.62	40:58 ERROR: Failed to solve instance
1149.05/329.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1153.79/333.48	41:02 ERROR: Failed to solve instance
1153.79/333.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1154.72/334.33	41:03 ERROR: Failed to solve instance
1154.72/334.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1155.13/334.80	41:03 ERROR: Failed to solve instance
1155.13/334.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1155.75/335.31	41:04 ERROR: Failed to solve instance
1155.75/335.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1156.27/335.84	41:04 ERROR: Failed to solve instance
1156.27/335.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1161.90/340.24	41:09 ERROR: Failed to solve instance
1161.90/340.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1162.72/341.02	41:10 ERROR: Failed to solve instance
1162.72/341.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1163.13/341.44	41:10 ERROR: Failed to solve instance
1163.13/341.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1163.56/341.92	41:10 ERROR: Failed to solve instance
1163.56/341.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1167.06/344.74	41:13 ERROR: Failed to solve instance
1167.06/344.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1167.49/345.18	41:14 ERROR: Failed to solve instance
1167.49/345.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1168.41/346.02	41:14 ERROR: Failed to solve instance
1168.41/346.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1171.82/348.83	41:17 ERROR: Failed to solve instance
1171.82/348.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1172.63/349.67	41:18 ERROR: Failed to solve instance
1172.63/349.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1173.15/350.12	41:19 ERROR: Failed to solve instance
1173.15/350.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1173.67/350.62	41:19 ERROR: Failed to solve instance
1173.67/350.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1182.00/357.49	41:26 ERROR: Failed to solve instance
1182.00/357.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1182.41/357.87	41:26 ERROR: Failed to solve instance
1182.41/357.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1183.12/358.59	41:27 ERROR: Failed to solve instance
1183.12/358.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1183.33/358.79	41:27 ERROR: Failed to solve instance
1183.33/358.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1184.04/359.42	41:28 ERROR: Failed to solve instance
1184.04/359.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1184.46/359.87	41:28 ERROR: Failed to solve instance
1184.46/359.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1188.25/363.07	41:32 ERROR: Failed to solve instance
1188.25/363.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1188.65/363.48	41:32 ERROR: Failed to solve instance
1188.65/363.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1189.57/364.33	41:33 ERROR: Failed to solve instance
1189.57/364.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1189.98/364.78	41:33 ERROR: Failed to solve instance
1189.98/364.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1190.50/365.33	41:34 ERROR: Failed to solve instance
1190.50/365.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1198.15/371.40	41:40 ERROR: Failed to solve instance
1198.15/371.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1198.55/371.80	41:40 ERROR: Failed to solve instance
1198.55/371.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1199.06/372.23	41:41 ERROR: Failed to solve instance
1199.06/372.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1199.87/373.08	41:42 ERROR: Failed to solve instance
1199.87/373.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1200.38/373.55	41:42 ERROR: Failed to solve instance
1200.38/373.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1205.62/377.80	41:46 ERROR: Failed to solve instance
1205.62/377.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1207.58/379.57	41:48 ERROR: Failed to solve instance
1207.58/379.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1208.50/380.40	41:49 ERROR: Failed to solve instance
1208.50/380.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1208.70/380.63	41:49 ERROR: Failed to solve instance
1208.70/380.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1209.42/381.33	41:50 ERROR: Failed to solve instance
1209.42/381.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1209.87/381.80	41:50 ERROR: Failed to solve instance
1209.87/381.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1213.89/385.13	41:54 ERROR: Failed to solve instance
1213.89/385.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1214.30/385.55	41:54 ERROR: Failed to solve instance
1214.30/385.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1217.98/388.67	41:57 ERROR: Failed to solve instance
1217.98/388.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1218.79/389.49	41:58 ERROR: Failed to solve instance
1218.79/389.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1219.31/389.93	41:59 ERROR: Failed to solve instance
1219.31/389.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1219.73/390.39	41:59 ERROR: Failed to solve instance
1219.73/390.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1220.24/390.88	41:59 ERROR: Failed to solve instance
1220.24/390.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1225.51/395.15	42:04 ERROR: Failed to solve instance
1225.51/395.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1226.32/395.97	42:04 ERROR: Failed to solve instance
1226.32/395.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1226.84/396.43	42:05 ERROR: Failed to solve instance
1226.84/396.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1227.37/396.94	42:06 ERROR: Failed to solve instance
1227.37/396.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1227.95/397.41	42:06 ERROR: Failed to solve instance
1227.95/397.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1230.76/399.79	42:08 ERROR: Failed to solve instance
1230.76/399.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1231.68/400.63	42:09 ERROR: Failed to solve instance
1231.68/400.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1232.25/401.11	42:10 ERROR: Failed to solve instance
1232.25/401.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1232.65/401.62	42:10 ERROR: Failed to solve instance
1232.65/401.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1238.27/405.68	42:14 ERROR: Failed to solve instance
1238.27/405.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1238.81/406.12	42:15 ERROR: Failed to solve instance
1238.81/406.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1239.21/406.60	42:15 ERROR: Failed to solve instance
1239.21/406.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1242.73/409.41	42:18 ERROR: Failed to solve instance
1242.73/409.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1243.44/410.19	42:19 ERROR: Failed to solve instance
1243.44/410.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1243.96/410.62	42:19 ERROR: Failed to solve instance
1243.96/410.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1244.38/411.07	42:20 ERROR: Failed to solve instance
1244.38/411.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1249.72/415.14	42:24 ERROR: Failed to solve instance
1249.72/415.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1250.48/415.81	42:24 ERROR: Failed to solve instance
1250.48/415.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1252.63/417.79	42:26 ERROR: Failed to solve instance
1252.63/417.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1253.15/418.22	42:27 ERROR: Failed to solve instance
1253.15/418.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1257.38/421.89	42:30 ERROR: Failed to solve instance
1257.38/421.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1257.79/422.30	42:31 ERROR: Failed to solve instance
1257.79/422.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1258.29/422.74	42:31 ERROR: Failed to solve instance
1258.29/422.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1258.81/423.24	42:32 ERROR: Failed to solve instance
1258.81/423.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1264.78/427.97	42:37 ERROR: Failed to solve instance
1264.78/427.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1265.20/428.39	42:37 ERROR: Failed to solve instance
1265.20/428.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1265.72/428.86	42:37 ERROR: Failed to solve instance
1265.72/428.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1267.40/430.26	42:39 ERROR: Failed to solve instance
1267.40/430.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1270.01/432.52	42:41 ERROR: Failed to solve instance
1270.01/432.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1270.42/432.95	42:42 ERROR: Failed to solve instance
1270.42/432.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1270.93/433.42	42:42 ERROR: Failed to solve instance
1270.93/433.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1275.40/436.93	42:46 ERROR: Failed to solve instance
1275.40/436.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1276.21/437.77	42:46 ERROR: Failed to solve instance
1276.21/437.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1276.72/438.25	42:47 ERROR: Failed to solve instance
1276.72/438.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1277.27/438.77	42:47 ERROR: Failed to solve instance
1277.27/438.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1277.79/439.22	42:48 ERROR: Failed to solve instance
1277.79/439.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1284.69/444.62	42:53 ERROR: Failed to solve instance
1284.69/444.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1285.51/445.43	42:54 ERROR: Failed to solve instance
1285.51/445.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1285.92/445.88	42:54 ERROR: Failed to solve instance
1285.92/445.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1288.07/447.63	42:56 ERROR: Failed to solve instance
1288.07/447.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1288.90/448.47	42:57 ERROR: Failed to solve instance
1288.90/448.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1289.30/448.87	42:57 ERROR: Failed to solve instance
1289.30/448.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1289.82/449.32	42:58 ERROR: Failed to solve instance
1289.82/449.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1290.28/449.80	42:58 ERROR: Failed to solve instance
1290.28/449.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1296.29/454.68	43:03 ERROR: Failed to solve instance
1296.29/454.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1296.81/455.13	43:04 ERROR: Failed to solve instance
1296.81/455.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1297.33/455.62	43:04 ERROR: Failed to solve instance
1297.33/455.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1300.33/458.19	43:07 ERROR: Failed to solve instance
1300.33/458.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1303.83/461.13	43:10 ERROR: Failed to solve instance
1303.83/461.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1307.04/463.83	43:12 ERROR: Failed to solve instance
1307.04/463.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1309.72/466.18	43:15 ERROR: Failed to solve instance
1309.72/466.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1310.24/466.62	43:15 ERROR: Failed to solve instance
1310.24/466.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1310.65/467.09	43:16 ERROR: Failed to solve instance
1310.65/467.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1311.29/467.60	43:16 ERROR: Failed to solve instance
1311.29/467.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1318.82/473.75	43:22 ERROR: Failed to solve instance
1318.82/473.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1319.23/474.16	43:23 ERROR: Failed to solve instance
1319.23/474.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1319.65/474.57	43:23 ERROR: Failed to solve instance
1319.65/474.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1320.06/474.99	43:24 ERROR: Failed to solve instance
1320.06/474.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1321.02/475.90	43:24 ERROR: Failed to solve instance
1321.02/475.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1321.43/476.27	43:25 ERROR: Failed to solve instance
1321.43/476.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1321.96/476.73	43:25 ERROR: Failed to solve instance
1321.96/476.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1322.39/477.20	43:26 ERROR: Failed to solve instance
1322.39/477.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1325.51/479.74	43:28 ERROR: Failed to solve instance
1325.51/479.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1326.02/480.20	43:29 ERROR: Failed to solve instance
1326.02/480.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1332.69/485.58	43:34 ERROR: Failed to solve instance
1332.69/485.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1333.21/486.01	43:35 ERROR: Failed to solve instance
1333.21/486.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1333.63/486.46	43:35 ERROR: Failed to solve instance
1333.63/486.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1334.44/487.25	43:36 ERROR: Failed to solve instance
1334.44/487.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1334.67/487.50	43:36 ERROR: Failed to solve instance
1334.67/487.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1337.23/489.53	43:38 ERROR: Failed to solve instance
1337.23/489.53	java.lang.OutOfMemoryError: Java heap space
1337.88/490.20	43:39 ERROR: Failed to solve instance
1337.88/490.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1343.70/494.91	43:43 ERROR: Failed to solve instance
1343.70/494.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1344.11/495.33	43:44 ERROR: Failed to solve instance
1344.11/495.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1344.53/495.79	43:44 ERROR: Failed to solve instance
1344.53/495.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1350.20/500.49	43:49 ERROR: Failed to solve instance
1350.20/500.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1350.72/500.91	43:49 ERROR: Failed to solve instance
1350.72/500.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1352.71/502.65	43:51 ERROR: Failed to solve instance
1352.71/502.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1353.13/503.07	43:52 ERROR: Failed to solve instance
1353.13/503.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1353.65/503.53	43:52 ERROR: Failed to solve instance
1353.65/503.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1355.19/504.92	43:53 ERROR: Failed to solve instance
1355.19/504.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1355.61/505.37	43:54 ERROR: Failed to solve instance
1355.61/505.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1356.02/505.77	43:54 ERROR: Failed to solve instance
1356.02/505.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1363.98/512.31	44:01 ERROR: Failed to solve instance
1363.98/512.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1364.40/512.73	44:01 ERROR: Failed to solve instance
1364.40/512.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1364.81/513.20	44:02 ERROR: Failed to solve instance
1364.81/513.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1365.33/513.65	44:02 ERROR: Failed to solve instance
1365.33/513.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1366.08/514.39	44:03 ERROR: Failed to solve instance
1366.08/514.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1373.48/520.33	44:09 ERROR: Failed to solve instance
1373.48/520.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1374.29/521.15	44:10 ERROR: Failed to solve instance
1374.29/521.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1374.71/521.58	44:10 ERROR: Failed to solve instance
1374.71/521.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1375.22/522.02	44:11 ERROR: Failed to solve instance
1375.22/522.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1375.62/522.41	44:11 ERROR: Failed to solve instance
1375.62/522.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.49/523.30	44:12 ERROR: Failed to solve instance
1376.49/523.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.91/523.72	44:12 ERROR: Failed to solve instance
1376.91/523.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1383.70/529.05	44:18 ERROR: Failed to solve instance
1383.70/529.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1384.42/529.72	44:18 ERROR: Failed to solve instance
1384.42/529.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1384.83/530.11	44:19 ERROR: Failed to solve instance
1384.83/530.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1388.42/533.27	44:22 ERROR: Failed to solve instance
1388.42/533.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1388.84/533.69	44:22 ERROR: Failed to solve instance
1388.84/533.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1389.76/534.55	44:23 ERROR: Failed to solve instance
1389.76/534.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1390.17/534.97	44:24 ERROR: Failed to solve instance
1390.17/534.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1390.69/535.43	44:24 ERROR: Failed to solve instance
1390.69/535.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1397.57/540.91	44:29 ERROR: Failed to solve instance
1397.57/540.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1398.19/541.52	44:30 ERROR: Failed to solve instance
1398.19/541.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1398.61/541.97	44:31 ERROR: Failed to solve instance
1398.61/541.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1401.88/544.78	44:33 ERROR: Failed to solve instance
1401.88/544.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1402.27/545.17	44:34 ERROR: Failed to solve instance
1402.27/545.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1402.79/545.61	44:34 ERROR: Failed to solve instance
1402.79/545.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1406.98/549.27	44:38 ERROR: Failed to solve instance
1406.98/549.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1407.41/549.70	44:38 ERROR: Failed to solve instance
1407.41/549.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1407.93/550.16	44:39 ERROR: Failed to solve instance
1407.93/550.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1414.74/555.56	44:44 ERROR: Failed to solve instance
1414.74/555.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1415.06/555.88	44:44 ERROR: Failed to solve instance
1415.06/555.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1416.91/557.43	44:46 ERROR: Failed to solve instance
1416.91/557.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1417.32/557.84	44:46 ERROR: Failed to solve instance
1417.32/557.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1417.72/558.25	44:47 ERROR: Failed to solve instance
1417.72/558.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1419.86/560.19	44:49 ERROR: Failed to solve instance
1419.86/560.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1420.36/560.64	44:49 ERROR: Failed to solve instance
1420.36/560.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1430.04/568.41	44:57 ERROR: Failed to solve instance
1430.04/568.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1430.65/569.01	44:57 ERROR: Failed to solve instance
1430.65/569.01	java.lang.OutOfMemoryError: Java heap space
1430.65/569.01	44:58 ERROR: Failed to solve instance
1430.65/569.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1431.07/569.41	44:58 ERROR: Failed to solve instance
1431.07/569.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1431.79/570.20	44:59 ERROR: Failed to solve instance
1431.79/570.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1432.31/570.66	44:59 ERROR: Failed to solve instance
1432.31/570.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1434.69/572.58	45:01 ERROR: Failed to solve instance
1434.69/572.58	java.lang.OutOfMemoryError: Java heap space
1435.00/572.81	45:01 ERROR: Failed to solve instance
1435.00/572.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1440.01/576.83	45:05 ERROR: Failed to solve instance
1440.01/576.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1440.43/577.27	45:06 ERROR: Failed to solve instance
1440.43/577.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1440.95/577.75	45:06 ERROR: Failed to solve instance
1440.95/577.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.39/581.21	45:10 ERROR: Failed to solve instance
1445.39/581.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1446.21/582.05	45:11 ERROR: Failed to solve instance
1446.21/582.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1446.72/582.53	45:11 ERROR: Failed to solve instance
1446.72/582.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1452.02/586.83	45:15 ERROR: Failed to solve instance
1452.02/586.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1452.43/587.24	45:16 ERROR: Failed to solve instance
1452.43/587.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.48/589.01	45:18 ERROR: Failed to solve instance
1454.48/589.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.90/589.43	45:18 ERROR: Failed to solve instance
1454.90/589.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.31/589.88	45:18 ERROR: Failed to solve instance
1455.31/589.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.13/590.72	45:19 ERROR: Failed to solve instance
1456.13/590.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1459.66/593.68	45:22 ERROR: Failed to solve instance
1459.66/593.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.06/594.09	45:23 ERROR: Failed to solve instance
1460.06/594.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.47/594.47	45:23 ERROR: Failed to solve instance
1460.47/594.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1464.20/597.55	45:26 ERROR: Failed to solve instance
1464.20/597.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1464.62/597.99	45:27 ERROR: Failed to solve instance
1464.62/597.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1467.49/600.34	45:29 ERROR: Failed to solve instance
1467.49/600.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1467.91/600.79	45:29 ERROR: Failed to solve instance
1467.91/600.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1468.63/601.45	45:30 ERROR: Failed to solve instance
1468.63/601.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1475.42/606.89	45:35 ERROR: Failed to solve instance
1475.42/606.89	java.lang.OutOfMemoryError: Java heap space
1476.04/607.47	45:36 ERROR: Failed to solve instance
1476.04/607.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1476.35/607.78	45:36 ERROR: Failed to solve instance
1476.35/607.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1476.97/608.32	45:37 ERROR: Failed to solve instance
1476.97/608.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1479.08/610.19	45:39 ERROR: Failed to solve instance
1479.08/610.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1480.00/611.04	45:40 ERROR: Failed to solve instance
1480.00/611.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1480.52/611.50	45:40 ERROR: Failed to solve instance
1480.52/611.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1480.97/612.01	45:41 ERROR: Failed to solve instance
1480.97/612.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1486.51/616.40	45:45 ERROR: Failed to solve instance
1486.51/616.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1487.34/617.26	45:46 ERROR: Failed to solve instance
1487.34/617.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1487.85/617.72	45:46 ERROR: Failed to solve instance
1487.85/617.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1488.37/618.24	45:47 ERROR: Failed to solve instance
1488.37/618.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1492.82/621.75	45:50 ERROR: Failed to solve instance
1492.82/621.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1493.63/622.60	45:51 ERROR: Failed to solve instance
1493.63/622.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1494.15/623.07	45:52 ERROR: Failed to solve instance
1494.15/623.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1494.67/623.59	45:52 ERROR: Failed to solve instance
1494.67/623.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1501.49/628.98	45:58 ERROR: Failed to solve instance
1501.49/628.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1502.02/629.41	45:58 ERROR: Failed to solve instance
1502.02/629.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1502.83/630.22	45:59 ERROR: Failed to solve instance
1502.83/630.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1503.25/630.69	45:59 ERROR: Failed to solve instance
1503.25/630.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1503.66/631.08	46:00 ERROR: Failed to solve instance
1503.66/631.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1504.07/631.50	46:00 ERROR: Failed to solve instance
1504.07/631.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1507.25/634.18	46:03 ERROR: Failed to solve instance
1507.25/634.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1507.78/634.65	46:03 ERROR: Failed to solve instance
1507.78/634.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1514.91/640.42	46:09 ERROR: Failed to solve instance
1514.91/640.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1515.52/641.07	46:10 ERROR: Failed to solve instance
1515.52/641.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1516.05/641.53	46:10 ERROR: Failed to solve instance
1516.05/641.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1518.16/643.48	46:12 ERROR: Failed to solve instance
1518.16/643.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1518.57/643.90	46:12 ERROR: Failed to solve instance
1518.57/643.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1519.21/644.40	46:13 ERROR: Failed to solve instance
1519.21/644.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1526.08/649.91	46:18 ERROR: Failed to solve instance
1526.08/649.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1526.28/650.12	46:19 ERROR: Failed to solve instance
1526.28/650.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1529.27/652.63	46:21 ERROR: Failed to solve instance
1529.27/652.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1532.72/655.69	46:24 ERROR: Failed to solve instance
1532.72/655.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.23/656.12	46:25 ERROR: Failed to solve instance
1533.23/656.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.65/656.56	46:25 ERROR: Failed to solve instance
1533.65/656.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1536.84/659.24	46:28 ERROR: Failed to solve instance
1536.84/659.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1539.41/661.38	46:30 ERROR: Failed to solve instance
1539.41/661.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1539.92/661.82	46:30 ERROR: Failed to solve instance
1539.92/661.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1540.84/662.72	46:31 ERROR: Failed to solve instance
1540.84/662.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1541.36/663.23	46:32 ERROR: Failed to solve instance
1541.36/663.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1541.89/663.77	46:32 ERROR: Failed to solve instance
1541.89/663.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1548.77/669.08	46:38 ERROR: Failed to solve instance
1548.77/669.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1549.58/669.85	46:38 ERROR: Failed to solve instance
1549.58/669.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1550.09/670.30	46:39 ERROR: Failed to solve instance
1550.09/670.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1550.51/670.75	46:39 ERROR: Failed to solve instance
1550.51/670.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1551.04/671.24	46:40 ERROR: Failed to solve instance
1551.04/671.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1553.87/673.58	46:42 ERROR: Failed to solve instance
1553.87/673.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1554.38/674.01	46:43 ERROR: Failed to solve instance
1554.38/674.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1554.80/674.47	46:43 ERROR: Failed to solve instance
1554.80/674.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.02/678.70	46:47 ERROR: Failed to solve instance
1560.02/678.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.84/679.53	46:48 ERROR: Failed to solve instance
1560.84/679.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.25/679.98	46:49 ERROR: Failed to solve instance
1561.25/679.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.77/680.46	46:49 ERROR: Failed to solve instance
1561.77/680.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1562.29/680.97	46:50 ERROR: Failed to solve instance
1562.29/680.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1569.25/686.32	46:55 ERROR: Failed to solve instance
1569.25/686.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1569.65/686.70	46:55 ERROR: Failed to solve instance
1569.65/686.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1570.07/687.17	46:56 ERROR: Failed to solve instance
1570.07/687.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1572.63/689.40	46:58 ERROR: Failed to solve instance
1572.63/689.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1573.04/689.83	46:58 ERROR: Failed to solve instance
1573.04/689.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1573.46/690.29	46:59 ERROR: Failed to solve instance
1573.46/690.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1573.98/690.77	46:59 ERROR: Failed to solve instance
1573.98/690.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1578.40/694.27	47:03 ERROR: Failed to solve instance
1578.40/694.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1579.31/695.14	47:04 ERROR: Failed to solve instance
1579.31/695.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1579.83/695.67	47:04 ERROR: Failed to solve instance
1579.83/695.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1583.87/698.77	47:07 ERROR: Failed to solve instance
1583.87/698.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1584.79/699.63	47:08 ERROR: Failed to solve instance
1584.79/699.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1585.30/700.15	47:09 ERROR: Failed to solve instance
1585.30/700.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1585.83/700.72	47:09 ERROR: Failed to solve instance
1585.83/700.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.33/705.13	47:14 ERROR: Failed to solve instance
1591.33/705.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1592.29/706.02	47:15 ERROR: Failed to solve instance
1592.29/706.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1592.61/706.39	47:15 ERROR: Failed to solve instance
1592.61/706.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1595.51/708.76	47:17 ERROR: Failed to solve instance
1595.51/708.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1595.92/709.16	47:18 ERROR: Failed to solve instance
1595.92/709.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1596.34/709.56	47:18 ERROR: Failed to solve instance
1596.34/709.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1599.91/712.62	47:21 ERROR: Failed to solve instance
1599.91/712.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1600.57/713.30	47:22 ERROR: Failed to solve instance
1600.57/713.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1603.40/715.66	47:24 ERROR: Failed to solve instance
1603.40/715.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1603.81/716.09	47:25 ERROR: Failed to solve instance
1603.81/716.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1604.32/716.54	47:25 ERROR: Failed to solve instance
1604.32/716.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1605.25/717.42	47:26 ERROR: Failed to solve instance
1605.25/717.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1605.66/717.88	47:26 ERROR: Failed to solve instance
1605.66/717.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.18/718.41	47:27 ERROR: Failed to solve instance
1606.18/718.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1614.05/724.62	47:33 ERROR: Failed to solve instance
1614.05/724.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1614.47/725.06	47:34 ERROR: Failed to solve instance
1614.47/725.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1614.98/725.53	47:34 ERROR: Failed to solve instance
1614.98/725.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1619.40/729.00	47:38 ERROR: Failed to solve instance
1619.40/729.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1620.22/729.82	47:38 ERROR: Failed to solve instance
1620.22/729.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1620.74/730.35	47:39 ERROR: Failed to solve instance
1620.74/730.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1621.29/730.89	47:39 ERROR: Failed to solve instance
1621.29/730.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1622.94/732.27	47:41 ERROR: Failed to solve instance
1622.94/732.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1625.53/734.50	47:43 ERROR: Failed to solve instance
1625.53/734.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1625.94/734.92	47:43 ERROR: Failed to solve instance
1625.94/734.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1626.36/735.38	47:44 ERROR: Failed to solve instance
1626.36/735.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1627.28/736.25	47:45 ERROR: Failed to solve instance
1627.28/736.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1634.23/741.63	47:50 ERROR: Failed to solve instance
1634.23/741.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.04/742.41	47:51 ERROR: Failed to solve instance
1635.04/742.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.45/742.83	47:51 ERROR: Failed to solve instance
1635.45/742.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.87/743.25	47:52 ERROR: Failed to solve instance
1635.87/743.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.39/743.71	47:52 ERROR: Failed to solve instance
1636.39/743.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.14/746.92	47:55 ERROR: Failed to solve instance
1640.14/746.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.54/747.33	47:56 ERROR: Failed to solve instance
1640.54/747.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.96/747.78	47:56 ERROR: Failed to solve instance
1640.96/747.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1641.88/748.64	47:57 ERROR: Failed to solve instance
1641.88/748.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1642.40/749.19	47:58 ERROR: Failed to solve instance
1642.40/749.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1643.06/749.79	47:58 ERROR: Failed to solve instance
1643.06/749.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1648.72/753.92	48:02 ERROR: Failed to solve instance
1648.72/753.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1649.13/754.35	48:03 ERROR: Failed to solve instance
1649.13/754.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.04/755.21	48:04 ERROR: Failed to solve instance
1650.04/755.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.46/755.69	48:04 ERROR: Failed to solve instance
1650.46/755.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1654.02/758.52	48:07 ERROR: Failed to solve instance
1654.02/758.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1654.55/759.00	48:08 ERROR: Failed to solve instance
1654.55/759.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1658.80/762.63	48:11 ERROR: Failed to solve instance
1658.80/762.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1659.21/763.04	48:12 ERROR: Failed to solve instance
1659.21/763.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1659.63/763.46	48:12 ERROR: Failed to solve instance
1659.63/763.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1660.15/763.92	48:12 ERROR: Failed to solve instance
1660.15/763.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1663.37/766.66	48:15 ERROR: Failed to solve instance
1663.37/766.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1663.78/767.05	48:16 ERROR: Failed to solve instance
1663.78/767.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1664.60/767.81	48:16 ERROR: Failed to solve instance
1664.60/767.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1665.01/768.23	48:17 ERROR: Failed to solve instance
1665.01/768.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1665.43/768.69	48:17 ERROR: Failed to solve instance
1665.43/768.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1671.53/773.34	48:22 ERROR: Failed to solve instance
1671.53/773.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1672.15/774.00	48:23 ERROR: Failed to solve instance
1672.15/774.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1672.56/774.39	48:23 ERROR: Failed to solve instance
1672.56/774.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1675.38/776.76	48:25 ERROR: Failed to solve instance
1675.38/776.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1676.31/777.61	48:26 ERROR: Failed to solve instance
1676.31/777.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1676.72/778.06	48:27 ERROR: Failed to solve instance
1676.72/778.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1677.23/778.54	48:27 ERROR: Failed to solve instance
1677.23/778.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1677.76/779.04	48:28 ERROR: Failed to solve instance
1677.76/779.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1685.21/784.65	48:33 ERROR: Failed to solve instance
1685.21/784.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.03/785.44	48:34 ERROR: Failed to solve instance
1686.03/785.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.44/785.86	48:34 ERROR: Failed to solve instance
1686.44/785.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1686.97/786.35	48:35 ERROR: Failed to solve instance
1686.97/786.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.40/791.40	48:40 ERROR: Failed to solve instance
1693.40/791.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.05/793.00	48:42 ERROR: Failed to solve instance
1695.05/793.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.56/793.43	48:42 ERROR: Failed to solve instance
1695.56/793.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.97/793.84	48:42 ERROR: Failed to solve instance
1695.97/793.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1696.79/794.63	48:43 ERROR: Failed to solve instance
1696.79/794.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1697.22/795.07	48:44 ERROR: Failed to solve instance
1697.22/795.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1697.79/795.54	48:44 ERROR: Failed to solve instance
1697.79/795.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1698.30/796.05	48:45 ERROR: Failed to solve instance
1698.30/796.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1703.11/799.62	48:48 ERROR: Failed to solve instance
1703.11/799.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1703.93/800.48	48:49 ERROR: Failed to solve instance
1703.93/800.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.45/800.93	48:50 ERROR: Failed to solve instance
1704.45/800.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.86/801.40	48:50 ERROR: Failed to solve instance
1704.86/801.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1705.48/801.91	48:50 ERROR: Failed to solve instance
1705.48/801.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1710.32/805.81	48:54 ERROR: Failed to solve instance
1710.32/805.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1711.13/806.63	48:55 ERROR: Failed to solve instance
1711.13/806.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1711.65/807.12	48:56 ERROR: Failed to solve instance
1711.65/807.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.21/807.64	48:56 ERROR: Failed to solve instance
1712.21/807.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1718.90/812.88	49:01 ERROR: Failed to solve instance
1718.90/812.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1719.41/813.39	49:02 ERROR: Failed to solve instance
1719.41/813.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1720.23/814.18	49:03 ERROR: Failed to solve instance
1720.23/814.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1720.75/814.61	49:03 ERROR: Failed to solve instance
1720.75/814.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1721.17/815.06	49:04 ERROR: Failed to solve instance
1721.17/815.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1721.73/815.59	49:04 ERROR: Failed to solve instance
1721.73/815.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1728.55/821.15	49:10 ERROR: Failed to solve instance
1728.55/821.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1728.96/821.58	49:10 ERROR: Failed to solve instance
1728.96/821.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1729.48/822.06	49:11 ERROR: Failed to solve instance
1729.48/822.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1731.67/823.93	49:13 ERROR: Failed to solve instance
1731.67/823.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1732.50/824.78	49:13 ERROR: Failed to solve instance
1732.50/824.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1736.74/828.34	49:17 ERROR: Failed to solve instance
1736.74/828.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1737.15/828.77	49:17 ERROR: Failed to solve instance
1737.15/828.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.02/829.51	49:18 ERROR: Failed to solve instance
1738.02/829.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1740.99/832.00	49:21 ERROR: Failed to solve instance
1740.99/832.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1741.40/832.44	49:21 ERROR: Failed to solve instance
1741.40/832.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.23/833.25	49:22 ERROR: Failed to solve instance
1742.23/833.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.65/833.68	49:22 ERROR: Failed to solve instance
1742.65/833.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1743.17/834.17	49:23 ERROR: Failed to solve instance
1743.17/834.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1743.68/834.62	49:23 ERROR: Failed to solve instance
1743.68/834.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1750.22/839.70	49:28 ERROR: Failed to solve instance
1750.22/839.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1750.22/839.70	49:28 ERROR: Failed to solve instance
1750.22/839.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1753.28/842.43	49:31 ERROR: Failed to solve instance
1753.28/842.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1753.70/842.85	49:31 ERROR: Failed to solve instance
1753.70/842.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1754.21/843.32	49:32 ERROR: Failed to solve instance
1754.21/843.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1754.96/844.03	49:33 ERROR: Failed to solve instance
1754.96/844.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1760.98/849.05	49:38 ERROR: Failed to solve instance
1760.98/849.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1761.80/849.87	49:38 ERROR: Failed to solve instance
1761.80/849.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1762.24/850.29	49:39 ERROR: Failed to solve instance
1762.24/850.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1762.66/850.71	49:39 ERROR: Failed to solve instance
1762.66/850.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1768.51/855.10	49:44 ERROR: Failed to solve instance
1768.51/855.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1769.37/855.96	49:45 ERROR: Failed to solve instance
1769.37/855.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1769.78/856.37	49:45 ERROR: Failed to solve instance
1769.78/856.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1770.30/856.82	49:45 ERROR: Failed to solve instance
1770.30/856.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1770.72/857.26	49:46 ERROR: Failed to solve instance
1770.72/857.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1773.42/859.59	49:48 ERROR: Failed to solve instance
1773.42/859.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1774.35/860.42	49:49 ERROR: Failed to solve instance
1774.35/860.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1774.76/860.87	49:49 ERROR: Failed to solve instance
1774.76/860.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1779.65/864.80	49:53 ERROR: Failed to solve instance
1779.65/864.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1780.38/865.47	49:54 ERROR: Failed to solve instance
1780.38/865.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1780.91/865.98	49:55 ERROR: Failed to solve instance
1780.91/865.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.22/870.87	49:59 ERROR: Failed to solve instance
1787.22/870.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.74/871.33	50:00 ERROR: Failed to solve instance
1787.74/871.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1790.79/873.95	50:03 ERROR: Failed to solve instance
1790.79/873.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1791.21/874.37	50:03 ERROR: Failed to solve instance
1791.21/874.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1792.13/875.23	50:04 ERROR: Failed to solve instance
1792.13/875.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1792.34/875.49	50:04 ERROR: Failed to solve instance
1792.34/875.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1799.43/881.16	50:10 ERROR: Failed to solve instance
1799.43/881.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1799.85/881.57	50:10 ERROR: Failed to solve instance
1799.85/881.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1800.73/882.38	50:11 ERROR: Failed to solve instance
1800.73/882.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1803.69/884.81	50:13 ERROR: Failed to solve instance
1803.69/884.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1805.46/886.47	50:15 ERROR: Failed to solve instance
1805.46/886.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1805.98/886.92	50:15 ERROR: Failed to solve instance
1805.98/886.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1806.38/887.35	50:16 ERROR: Failed to solve instance
1806.38/887.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1812.25/892.04	50:21 ERROR: Failed to solve instance
1812.25/892.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1813.91/893.49	50:22 ERROR: Failed to solve instance
1813.91/893.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1814.62/894.15	50:23 ERROR: Failed to solve instance
1814.62/894.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1815.15/894.61	50:23 ERROR: Failed to solve instance
1815.15/894.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1819.80/898.37	50:27 ERROR: Failed to solve instance
1819.80/898.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1820.62/899.18	50:28 ERROR: Failed to solve instance
1820.62/899.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1821.14/899.65	50:28 ERROR: Failed to solve instance
1821.14/899.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1821.70/900.15	50:29 ERROR: Failed to solve instance
1821.70/900.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1824.66/902.55	50:31 ERROR: Failed to solve instance
1824.66/902.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.08/902.99	50:32 ERROR: Failed to solve instance
1825.08/902.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1827.75/905.14	50:34 ERROR: Failed to solve instance
1827.75/905.14	java.lang.OutOfMemoryError: Java heap space
1827.96/905.35	50:34 ERROR: Failed to solve instance
1827.96/905.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1830.61/907.61	50:36 ERROR: Failed to solve instance
1830.61/907.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1832.17/909.08	50:38 ERROR: Failed to solve instance
1832.17/909.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1832.92/909.80	50:38 ERROR: Failed to solve instance
1832.92/909.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1833.44/910.26	50:39 ERROR: Failed to solve instance
1833.44/910.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1839.71/915.10	50:44 ERROR: Failed to solve instance
1839.71/915.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1840.44/915.77	50:44 ERROR: Failed to solve instance
1840.44/915.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1840.96/916.28	50:45 ERROR: Failed to solve instance
1840.96/916.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1847.27/921.23	50:50 ERROR: Failed to solve instance
1847.27/921.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1847.69/921.64	50:50 ERROR: Failed to solve instance
1847.69/921.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1850.85/924.29	50:53 ERROR: Failed to solve instance
1850.85/924.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1851.26/924.70	50:53 ERROR: Failed to solve instance
1851.26/924.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1851.76/925.13	50:54 ERROR: Failed to solve instance
1851.76/925.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1852.48/925.88	50:54 ERROR: Failed to solve instance
1852.48/925.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1852.89/926.30	50:55 ERROR: Failed to solve instance
1852.89/926.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1853.42/926.76	50:55 ERROR: Failed to solve instance
1853.42/926.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1856.39/929.13	50:58 ERROR: Failed to solve instance
1856.39/929.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1856.80/929.57	50:58 ERROR: Failed to solve instance
1856.80/929.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1857.72/930.42	50:59 ERROR: Failed to solve instance
1857.72/930.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1858.13/930.89	50:59 ERROR: Failed to solve instance
1858.13/930.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.46/934.26	51:03 ERROR: Failed to solve instance
1862.46/934.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1863.28/935.10	51:04 ERROR: Failed to solve instance
1863.28/935.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1863.79/935.56	51:04 ERROR: Failed to solve instance
1863.79/935.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1868.65/939.45	51:08 ERROR: Failed to solve instance
1868.65/939.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1869.07/939.84	51:08 ERROR: Failed to solve instance
1869.07/939.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1872.90/943.05	51:12 ERROR: Failed to solve instance
1872.90/943.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1873.31/943.47	51:12 ERROR: Failed to solve instance
1873.31/943.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1873.83/943.93	51:12 ERROR: Failed to solve instance
1873.83/943.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1874.74/944.80	51:13 ERROR: Failed to solve instance
1874.74/944.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1875.17/945.29	51:14 ERROR: Failed to solve instance
1875.17/945.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1882.37/950.95	51:20 ERROR: Failed to solve instance
1882.37/950.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1883.09/951.66	51:20 ERROR: Failed to solve instance
1883.09/951.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1883.50/952.05	51:21 ERROR: Failed to solve instance
1883.50/952.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1883.92/952.46	51:21 ERROR: Failed to solve instance
1883.92/952.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1884.34/952.86	51:21 ERROR: Failed to solve instance
1884.34/952.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1885.21/953.67	51:22 ERROR: Failed to solve instance
1885.21/953.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1887.59/955.61	51:24 ERROR: Failed to solve instance
1887.59/955.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1888.53/956.52	51:25 ERROR: Failed to solve instance
1888.53/956.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1888.84/956.88	51:25 ERROR: Failed to solve instance
1888.84/956.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1889.36/957.34	51:26 ERROR: Failed to solve instance
1889.36/957.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1889.91/957.82	51:26 ERROR: Failed to solve instance
1889.91/957.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1897.20/963.62	51:32 ERROR: Failed to solve instance
1897.20/963.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1897.62/964.06	51:33 ERROR: Failed to solve instance
1897.62/964.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1898.14/964.54	51:33 ERROR: Failed to solve instance
1898.14/964.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1903.31/968.72	51:37 ERROR: Failed to solve instance
1903.31/968.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.31/970.41	51:39 ERROR: Failed to solve instance
1905.31/970.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.72/970.82	51:39 ERROR: Failed to solve instance
1905.72/970.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1906.54/971.63	51:40 ERROR: Failed to solve instance
1906.54/971.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1906.96/972.06	51:41 ERROR: Failed to solve instance
1906.96/972.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.48/972.55	51:41 ERROR: Failed to solve instance
1907.48/972.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.89/972.98	51:42 ERROR: Failed to solve instance
1907.89/972.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1913.69/977.60	51:46 ERROR: Failed to solve instance
1913.69/977.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1914.34/978.30	51:47 ERROR: Failed to solve instance
1914.34/978.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1916.04/979.79	51:48 ERROR: Failed to solve instance
1916.04/979.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1916.57/980.27	51:49 ERROR: Failed to solve instance
1916.57/980.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1917.63/981.21	51:50 ERROR: Failed to solve instance
1917.63/981.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1918.04/981.69	51:50 ERROR: Failed to solve instance
1918.04/981.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1924.27/986.49	51:55 ERROR: Failed to solve instance
1924.27/986.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1925.20/987.37	51:56 ERROR: Failed to solve instance
1925.20/987.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1925.40/987.59	51:56 ERROR: Failed to solve instance
1925.40/987.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1928.60/990.21	51:59 ERROR: Failed to solve instance
1928.60/990.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1929.01/990.65	51:59 ERROR: Failed to solve instance
1929.01/990.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1929.83/991.49	52:00 ERROR: Failed to solve instance
1929.83/991.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1930.39/992.00	52:01 ERROR: Failed to solve instance
1930.39/992.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1934.09/995.03	52:04 ERROR: Failed to solve instance
1934.09/995.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1934.39/995.34	52:04 ERROR: Failed to solve instance
1934.39/995.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1938.94/998.92	52:07 ERROR: Failed to solve instance
1938.94/998.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1939.34/999.33	52:08 ERROR: Failed to solve instance
1939.34/999.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1942.72/1002.15	52:11 ERROR: Failed to solve instance
1942.72/1002.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1943.54/1002.98	52:11 ERROR: Failed to solve instance
1943.54/1002.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1944.06/1003.43	52:12 ERROR: Failed to solve instance
1944.06/1003.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1947.79/1006.58	52:15 ERROR: Failed to solve instance
1947.79/1006.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1948.30/1007.02	52:16 ERROR: Failed to solve instance
1948.30/1007.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1949.13/1007.91	52:16 ERROR: Failed to solve instance
1949.13/1007.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1951.33/1009.78	52:18 ERROR: Failed to solve instance
1951.33/1009.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1953.33/1011.40	52:20 ERROR: Failed to solve instance
1953.33/1011.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1953.74/1011.82	52:20 ERROR: Failed to solve instance
1953.74/1011.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1954.17/1012.26	52:21 ERROR: Failed to solve instance
1954.17/1012.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1958.50/1016.00	52:25 ERROR: Failed to solve instance
1958.50/1016.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1959.02/1016.44	52:25 ERROR: Failed to solve instance
1959.02/1016.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1963.21/1019.99	52:29 ERROR: Failed to solve instance
1963.21/1019.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1963.95/1020.64	52:29 ERROR: Failed to solve instance
1963.95/1020.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1964.40/1021.04	52:30 ERROR: Failed to solve instance
1964.40/1021.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1966.97/1023.28	52:32 ERROR: Failed to solve instance
1966.97/1023.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1967.68/1023.97	52:33 ERROR: Failed to solve instance
1967.68/1023.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1968.20/1024.47	52:33 ERROR: Failed to solve instance
1968.20/1024.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1976.47/1030.87	52:39 ERROR: Failed to solve instance
1976.47/1030.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1976.88/1031.27	52:40 ERROR: Failed to solve instance
1976.88/1031.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1977.60/1031.99	52:41 ERROR: Failed to solve instance
1977.60/1031.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.01/1032.38	52:41 ERROR: Failed to solve instance
1978.01/1032.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.42/1032.79	52:41 ERROR: Failed to solve instance
1978.42/1032.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.94/1033.24	52:42 ERROR: Failed to solve instance
1978.94/1033.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1981.73/1035.53	52:44 ERROR: Failed to solve instance
1981.73/1035.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1982.56/1036.34	52:45 ERROR: Failed to solve instance
1982.56/1036.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1982.98/1036.77	52:45 ERROR: Failed to solve instance
1982.98/1036.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1983.51/1037.23	52:46 ERROR: Failed to solve instance
1983.51/1037.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1984.03/1037.73	52:46 ERROR: Failed to solve instance
1984.03/1037.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1991.67/1043.59	52:52 ERROR: Failed to solve instance
1991.67/1043.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.08/1043.99	52:53 ERROR: Failed to solve instance
1992.08/1043.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.99/1044.84	52:53 ERROR: Failed to solve instance
1992.99/1044.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1993.50/1045.31	52:54 ERROR: Failed to solve instance
1993.50/1045.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1993.80/1045.68	52:54 ERROR: Failed to solve instance
1993.80/1045.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1994.33/1046.19	52:55 ERROR: Failed to solve instance
1994.33/1046.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.27/1052.80	53:01 ERROR: Failed to solve instance
2002.27/1052.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.79/1053.20	53:02 ERROR: Failed to solve instance
2002.79/1053.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2003.20/1053.63	53:02 ERROR: Failed to solve instance
2003.20/1053.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2004.02/1054.46	53:03 ERROR: Failed to solve instance
2004.02/1054.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2004.44/1054.90	53:03 ERROR: Failed to solve instance
2004.44/1054.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2004.96/1055.39	53:04 ERROR: Failed to solve instance
2004.96/1055.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2005.49/1055.83	53:04 ERROR: Failed to solve instance
2005.49/1055.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.03/1061.05	53:10 ERROR: Failed to solve instance
2012.03/1061.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.45/1061.48	53:10 ERROR: Failed to solve instance
2012.45/1061.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2013.06/1062.07	53:11 ERROR: Failed to solve instance
2013.06/1062.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2013.49/1062.49	53:11 ERROR: Failed to solve instance
2013.49/1062.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2015.41/1064.18	53:13 ERROR: Failed to solve instance
2015.41/1064.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2015.93/1064.65	53:13 ERROR: Failed to solve instance
2015.93/1064.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.16/1066.62	53:15 ERROR: Failed to solve instance
2018.16/1066.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.72/1067.13	53:16 ERROR: Failed to solve instance
2018.72/1067.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2028.02/1074.59	53:23 ERROR: Failed to solve instance
2028.02/1074.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2028.54/1075.00	53:24 ERROR: Failed to solve instance
2028.54/1075.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2028.95/1075.45	53:24 ERROR: Failed to solve instance
2028.95/1075.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2029.77/1076.23	53:25 ERROR: Failed to solve instance
2029.77/1076.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.19/1076.66	53:25 ERROR: Failed to solve instance
2030.19/1076.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.72/1077.12	53:26 ERROR: Failed to solve instance
2030.72/1077.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2036.92/1081.94	53:31 ERROR: Failed to solve instance
2036.92/1081.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.33/1082.36	53:31 ERROR: Failed to solve instance
2037.33/1082.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.86/1082.82	53:31 ERROR: Failed to solve instance
2037.86/1082.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2038.72/1083.70	53:32 ERROR: Failed to solve instance
2038.72/1083.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2041.60/1086.06	53:35 ERROR: Failed to solve instance
2041.60/1086.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2042.02/1086.49	53:35 ERROR: Failed to solve instance
2042.02/1086.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2042.94/1087.33	53:36 ERROR: Failed to solve instance
2042.94/1087.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2043.36/1087.75	53:36 ERROR: Failed to solve instance
2043.36/1087.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2043.88/1088.22	53:37 ERROR: Failed to solve instance
2043.88/1088.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2044.45/1088.73	53:37 ERROR: Failed to solve instance
2044.45/1088.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2050.91/1093.77	53:42 ERROR: Failed to solve instance
2050.91/1093.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2051.43/1094.21	53:43 ERROR: Failed to solve instance
2051.43/1094.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2051.86/1094.69	53:43 ERROR: Failed to solve instance
2051.86/1094.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2057.21/1099.01	53:48 ERROR: Failed to solve instance
2057.21/1099.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2058.03/1099.85	53:48 ERROR: Failed to solve instance
2058.03/1099.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2058.45/1100.30	53:49 ERROR: Failed to solve instance
2058.45/1100.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2058.96/1100.78	53:49 ERROR: Failed to solve instance
2058.96/1100.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2059.48/1101.28	53:50 ERROR: Failed to solve instance
2059.48/1101.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2066.11/1106.43	53:55 ERROR: Failed to solve instance
2066.11/1106.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2066.54/1106.86	53:55 ERROR: Failed to solve instance
2066.54/1106.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2066.94/1107.23	53:56 ERROR: Failed to solve instance
2066.94/1107.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.57/1110.45	53:59 ERROR: Failed to solve instance
2070.57/1110.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.99/1110.86	53:59 ERROR: Failed to solve instance
2070.99/1110.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2071.50/1111.33	54:00 ERROR: Failed to solve instance
2071.50/1111.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2072.24/1112.10	54:01 ERROR: Failed to solve instance
2072.24/1112.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2077.41/1116.20	54:05 ERROR: Failed to solve instance
2077.41/1116.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2077.84/1116.64	54:05 ERROR: Failed to solve instance
2077.84/1116.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2080.87/1119.25	54:08 ERROR: Failed to solve instance
2080.87/1119.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2081.28/1119.67	54:08 ERROR: Failed to solve instance
2081.28/1119.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2081.79/1120.12	54:09 ERROR: Failed to solve instance
2081.79/1120.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2082.65/1120.98	54:10 ERROR: Failed to solve instance
2082.65/1120.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.49/1123.33	54:12 ERROR: Failed to solve instance
2085.49/1123.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.90/1123.76	54:12 ERROR: Failed to solve instance
2085.90/1123.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2086.42/1124.28	54:13 ERROR: Failed to solve instance
2086.42/1124.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2087.50/1125.27	54:14 ERROR: Failed to solve instance
2087.50/1125.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2088.13/1125.86	54:14 ERROR: Failed to solve instance
2088.13/1125.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2096.26/1132.13	54:21 ERROR: Failed to solve instance
2096.26/1132.13	java.lang.OutOfMemoryError: Java heap space
2096.46/1132.33	54:21 ERROR: Failed to solve instance
2096.46/1132.33	java.lang.OutOfMemoryError: Java heap space
2096.66/1132.57	54:21 ERROR: Failed to solve instance
2096.66/1132.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2097.17/1133.08	54:22 ERROR: Failed to solve instance
2097.17/1133.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2098.23/1134.06	54:23 ERROR: Failed to solve instance
2098.23/1134.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2098.85/1134.64	54:23 ERROR: Failed to solve instance
2098.85/1134.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2103.90/1138.78	54:27 ERROR: Failed to solve instance
2103.90/1138.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2104.41/1139.23	54:28 ERROR: Failed to solve instance
2104.41/1139.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2104.92/1139.79	54:28 ERROR: Failed to solve instance
2104.92/1139.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2108.92/1143.20	54:32 ERROR: Failed to solve instance
2108.92/1143.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2109.43/1143.65	54:32 ERROR: Failed to solve instance
2109.43/1143.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2109.96/1144.14	54:33 ERROR: Failed to solve instance
2109.96/1144.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2116.49/1149.49	54:38 ERROR: Failed to solve instance
2116.49/1149.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2117.40/1150.31	54:39 ERROR: Failed to solve instance
2117.40/1150.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2117.81/1150.75	54:39 ERROR: Failed to solve instance
2117.81/1150.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2118.42/1151.30	54:40 ERROR: Failed to solve instance
2118.42/1151.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2118.95/1151.90	54:40 ERROR: Failed to solve instance
2118.95/1151.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2124.89/1156.84	54:45 ERROR: Failed to solve instance
2124.89/1156.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2125.30/1157.26	54:46 ERROR: Failed to solve instance
2125.30/1157.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2127.42/1159.04	54:48 ERROR: Failed to solve instance
2127.42/1159.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2127.84/1159.48	54:48 ERROR: Failed to solve instance
2127.84/1159.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2128.36/1159.96	54:49 ERROR: Failed to solve instance
2128.36/1159.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.48/1161.73	54:50 ERROR: Failed to solve instance
2130.48/1161.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2132.88/1163.81	54:52 ERROR: Failed to solve instance
2132.88/1163.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2133.30/1164.25	54:53 ERROR: Failed to solve instance
2133.30/1164.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2134.36/1165.25	54:54 ERROR: Failed to solve instance
2134.36/1165.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2134.80/1165.63	54:54 ERROR: Failed to solve instance
2134.80/1165.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.08/1170.79	54:59 ERROR: Failed to solve instance
2141.08/1170.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2142.01/1171.64	55:00 ERROR: Failed to solve instance
2142.01/1171.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2142.42/1172.08	55:01 ERROR: Failed to solve instance
2142.42/1172.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2144.06/1173.41	55:02 ERROR: Failed to solve instance
2144.06/1173.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2144.48/1173.86	55:02 ERROR: Failed to solve instance
2144.48/1173.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2145.32/1174.70	55:03 ERROR: Failed to solve instance
2145.32/1174.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2148.78/1177.52	55:06 ERROR: Failed to solve instance
2148.78/1177.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2149.19/1177.97	55:07 ERROR: Failed to solve instance
2149.19/1177.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2150.12/1178.83	55:07 ERROR: Failed to solve instance
2150.12/1178.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2150.54/1179.33	55:08 ERROR: Failed to solve instance
2150.54/1179.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2157.59/1184.69	55:13 ERROR: Failed to solve instance
2157.59/1184.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2158.10/1185.12	55:14 ERROR: Failed to solve instance
2158.10/1185.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2158.73/1185.75	55:14 ERROR: Failed to solve instance
2158.73/1185.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2160.56/1187.31	55:16 ERROR: Failed to solve instance
2160.56/1187.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2160.98/1187.76	55:16 ERROR: Failed to solve instance
2160.98/1187.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2163.11/1189.62	55:18 ERROR: Failed to solve instance
2163.11/1189.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2163.63/1190.10	55:19 ERROR: Failed to solve instance
2163.63/1190.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2170.74/1195.83	55:24 ERROR: Failed to solve instance
2170.74/1195.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2171.15/1196.26	55:25 ERROR: Failed to solve instance
2171.15/1196.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.01/1198.70	55:27 ERROR: Failed to solve instance
2174.01/1198.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.53/1199.12	55:28 ERROR: Failed to solve instance
2174.53/1199.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2175.35/1199.91	55:28 ERROR: Failed to solve instance
2175.35/1199.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2175.77/1200.36	55:29 ERROR: Failed to solve instance
2175.77/1200.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2176.17/1200.77	55:29 ERROR: Failed to solve instance
2176.17/1200.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2176.69/1201.21	55:30 ERROR: Failed to solve instance
2176.69/1201.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2182.05/1205.59	55:34 ERROR: Failed to solve instance
2182.05/1205.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2182.57/1206.06	55:35 ERROR: Failed to solve instance
2182.57/1206.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2188.13/1210.61	55:39 ERROR: Failed to solve instance
2188.13/1210.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2188.54/1211.05	55:40 ERROR: Failed to solve instance
2188.54/1211.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2189.27/1211.73	55:40 ERROR: Failed to solve instance
2189.27/1211.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.24/1213.41	55:42 ERROR: Failed to solve instance
2191.24/1213.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.70/1213.87	55:42 ERROR: Failed to solve instance
2191.70/1213.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2192.23/1214.36	55:43 ERROR: Failed to solve instance
2192.23/1214.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.61/1217.19	55:46 ERROR: Failed to solve instance
2195.61/1217.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2196.03/1217.60	55:46 ERROR: Failed to solve instance
2196.03/1217.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2197.00/1218.46	55:47 ERROR: Failed to solve instance
2197.00/1218.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2200.08/1221.03	55:50 ERROR: Failed to solve instance
2200.08/1221.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2200.84/1221.77	55:50 ERROR: Failed to solve instance
2200.84/1221.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2201.25/1222.19	55:51 ERROR: Failed to solve instance
2201.25/1222.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2208.59/1228.25	55:57 ERROR: Failed to solve instance
2208.59/1228.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2209.00/1228.67	55:57 ERROR: Failed to solve instance
2209.00/1228.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2209.52/1229.13	55:58 ERROR: Failed to solve instance
2209.52/1229.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2210.50/1230.04	55:58 ERROR: Failed to solve instance
2210.50/1230.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2211.03/1230.55	55:59 ERROR: Failed to solve instance
2211.03/1230.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2211.45/1231.02	56:00 ERROR: Failed to solve instance
2211.45/1231.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2217.00/1235.08	56:04 ERROR: Failed to solve instance
2217.00/1235.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2217.52/1235.52	56:04 ERROR: Failed to solve instance
2217.52/1235.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2217.93/1235.99	56:05 ERROR: Failed to solve instance
2217.93/1235.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2223.87/1240.99	56:10 ERROR: Failed to solve instance
2223.87/1240.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2224.38/1241.42	56:10 ERROR: Failed to solve instance
2224.38/1241.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2228.89/1245.26	56:14 ERROR: Failed to solve instance
2228.89/1245.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2229.52/1245.85	56:14 ERROR: Failed to solve instance
2229.52/1245.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2231.16/1247.25	56:16 ERROR: Failed to solve instance
2231.16/1247.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2231.58/1247.69	56:16 ERROR: Failed to solve instance
2231.58/1247.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2235.92/1251.39	56:20 ERROR: Failed to solve instance
2235.92/1251.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2236.43/1251.82	56:20 ERROR: Failed to solve instance
2236.43/1251.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2237.25/1252.68	56:21 ERROR: Failed to solve instance
2237.25/1252.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2237.78/1253.14	56:22 ERROR: Failed to solve instance
2237.78/1253.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2238.20/1253.60	56:22 ERROR: Failed to solve instance
2238.20/1253.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2241.71/1256.31	56:25 ERROR: Failed to solve instance
2241.71/1256.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.33/1256.97	56:26 ERROR: Failed to solve instance
2242.33/1256.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2245.11/1259.28	56:28 ERROR: Failed to solve instance
2245.11/1259.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2245.64/1259.73	56:28 ERROR: Failed to solve instance
2245.64/1259.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2246.04/1260.20	56:29 ERROR: Failed to solve instance
2246.04/1260.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2250.89/1264.03	56:33 ERROR: Failed to solve instance
2250.89/1264.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2251.71/1264.88	56:33 ERROR: Failed to solve instance
2251.71/1264.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2252.03/1265.15	56:34 ERROR: Failed to solve instance
2252.03/1265.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2259.05/1270.98	56:40 ERROR: Failed to solve instance
2259.05/1270.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2259.45/1271.40	56:40 ERROR: Failed to solve instance
2259.45/1271.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2260.37/1272.26	56:41 ERROR: Failed to solve instance
2260.37/1272.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2260.89/1272.71	56:41 ERROR: Failed to solve instance
2260.89/1272.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2261.31/1273.20	56:42 ERROR: Failed to solve instance
2261.31/1273.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2264.75/1275.92	56:44 ERROR: Failed to solve instance
2264.75/1275.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2265.57/1276.73	56:45 ERROR: Failed to solve instance
2265.57/1276.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2266.00/1277.18	56:46 ERROR: Failed to solve instance
2266.00/1277.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2269.35/1279.96	56:49 ERROR: Failed to solve instance
2269.35/1279.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2269.76/1280.36	56:49 ERROR: Failed to solve instance
2269.76/1280.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2270.67/1281.21	56:50 ERROR: Failed to solve instance
2270.67/1281.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2271.09/1281.66	56:50 ERROR: Failed to solve instance
2271.09/1281.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2271.59/1282.12	56:51 ERROR: Failed to solve instance
2271.59/1282.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2272.11/1282.62	56:51 ERROR: Failed to solve instance
2272.11/1282.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2278.86/1287.89	56:56 ERROR: Failed to solve instance
2278.86/1287.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2279.38/1288.31	56:57 ERROR: Failed to solve instance
2279.38/1288.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2279.78/1288.76	56:57 ERROR: Failed to solve instance
2279.78/1288.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2280.71/1289.64	56:58 ERROR: Failed to solve instance
2280.71/1289.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2281.23/1290.15	56:59 ERROR: Failed to solve instance
2281.23/1290.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2281.66/1290.60	56:59 ERROR: Failed to solve instance
2281.66/1290.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2284.22/1292.58	57:01 ERROR: Failed to solve instance
2284.22/1292.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2285.14/1293.42	57:02 ERROR: Failed to solve instance
2285.14/1293.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2285.56/1293.88	57:02 ERROR: Failed to solve instance
2285.56/1293.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2286.08/1294.36	57:03 ERROR: Failed to solve instance
2286.08/1294.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2292.51/1299.24	57:08 ERROR: Failed to solve instance
2292.51/1299.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2292.93/1299.67	57:08 ERROR: Failed to solve instance
2292.93/1299.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2295.44/1301.87	57:10 ERROR: Failed to solve instance
2295.44/1301.87	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-3312466-1304116528/watcher-3312466-1304116528 -o /tmp/evaluation-result-3312466-1304116528/solver-3312466-1304116528 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312466-1304116528.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: 4.51 6.91 7.53 1/175 25427
/proc/meminfo: memFree=25714876/32951124 swapFree=67111412/67111528
[pid=25427] ppid=25425 vsize=20404 CPUtime=0 cores=1,3,5,7
/proc/25427/stat : 25427 (java) R 25425 25427 24984 0 -1 4202496 673 0 0 0 0 0 0 0 25 0 1 0 523251016 20893696 160 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232330968711 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/25427/statm: 5101 160 128 9 0 124 0

[startup+0.077491 s]
/proc/loadavg: 4.51 6.91 7.53 1/175 25427
/proc/meminfo: memFree=25714876/32951124 swapFree=67111412/67111528
[pid=25427] ppid=25425 vsize=15675316 CPUtime=0.06 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25427 24984 0 -1 4202496 4452 0 1 0 6 0 0 0 25 0 18 0 523251016 16051523584 3891 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25427/statm: 3918829 3891 1779 9 0 3909548 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15675316

[startup+0.100483 s]
/proc/loadavg: 4.51 6.91 7.53 1/175 25427
/proc/meminfo: memFree=25714876/32951124 swapFree=67111412/67111528
[pid=25427] ppid=25425 vsize=15676524 CPUtime=0.1 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25427 24984 0 -1 4202496 5561 0 1 0 10 0 0 0 25 0 18 0 523251016 16052760576 4963 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25427/statm: 3919131 4964 2117 9 0 3909850 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676524

[startup+0.300438 s]
/proc/loadavg: 4.51 6.91 7.53 1/175 25427
/proc/meminfo: memFree=25714876/32951124 swapFree=67111412/67111528
[pid=25427] ppid=25425 vsize=15679860 CPUtime=0.52 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25427 24984 0 -1 4202496 15327 0 1 0 50 2 0 0 25 0 18 0 523251016 16056176640 13781 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25427/statm: 3919965 13785 2207 9 0 3910684 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15679860

[startup+0.700374 s]
/proc/loadavg: 4.51 6.91 7.53 1/175 25427
/proc/meminfo: memFree=25714876/32951124 swapFree=67111412/67111528
[pid=25427] ppid=25425 vsize=15679860 CPUtime=0.92 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25427 24984 0 -1 4202496 41788 0 1 0 86 6 0 0 25 0 18 0 523251016 16056176640 40240 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25427/statm: 3919965 40240 2223 9 0 3910684 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15679860

[startup+1.50123 s]
/proc/loadavg: 4.51 6.91 7.53 3/197 25449
/proc/meminfo: memFree=25545200/32951124 swapFree=67111412/67111528
[pid=25427] ppid=25425 vsize=15683972 CPUtime=2.44 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25427 24984 0 -1 4202496 56543 0 1 0 236 8 0 0 25 0 22 0 523251016 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25427/statm: 3920993 50453 2259 9 0 3911712 0
[pid=25427/tid=25429] ppid=25425 vsize=15683972 CPUtime=1.47 cores=1,3,5,7
/proc/25427/task/25429/stat : 25429 (java) R 25425 25427 24984 0 -1 4202560 35609 0 1 0 142 5 0 0 21 0 22 0 523251017 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 47712455444309 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25427/tid=25430] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25425 25427 24984 0 -1 4202560 399 0 0 0 0 0 0 0 18 0 22 0 523251017 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25431] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523251017 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25432] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25425 25427 24984 0 -1 4202560 823 0 0 0 0 0 0 0 18 0 22 0 523251017 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25433] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25425 25427 24984 0 -1 4202560 852 0 0 0 0 0 0 0 18 0 22 0 523251017 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25434] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523251017 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25435] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523251017 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25436] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25425 25427 24984 0 -1 4202560 1484 0 0 0 0 0 0 0 16 0 22 0 523251017 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25437] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25425 25427 24984 0 -1 4202560 115 0 0 0 0 0 0 0 18 0 22 0 523251017 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25438] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25425 25427 24984 0 -1 4202560 72 0 0 0 0 0 0 0 18 0 22 0 523251018 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708928 0 0 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25439] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25425 25427 24984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523251019 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25440] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25427 24984 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523251019 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25441] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523251021 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347716017 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25442] ppid=25425 vsize=15683972 CPUtime=0.76 cores=1,3,5,7
/proc/25427/task/25442/stat : 25442 (java) R 25425 25427 24984 0 -1 4202560 14358 0 0 0 74 2 0 0 18 0 22 0 523251021 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 47712459529816 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25427/tid=25443] ppid=25425 vsize=15683972 CPUtime=0.17 cores=1,3,5,7
/proc/25427/task/25443/stat : 25443 (java) S 25425 25427 24984 0 -1 4202560 1400 0 0 0 17 0 0 0 15 0 22 0 523251021 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523251021 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25445] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25445/stat : 25445 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523251021 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708928 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25446] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25446/stat : 25446 (java) S 25425 25427 24984 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 523251093 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708928 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25447] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25447/stat : 25447 (java) S 25425 25427 24984 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 523251093 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708928 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25448] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25448/stat : 25448 (java) S 25425 25427 24984 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 523251093 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708928 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25449] ppid=25425 vsize=15683972 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25449/stat : 25449 (java) S 25425 25427 24984 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523251093 16060387328 50453 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708928 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 15683972

[startup+3.10191 s]
/proc/loadavg: 4.51 6.91 7.53 2/197 25449
/proc/meminfo: memFree=25521144/32951124 swapFree=67111412/67111528
[pid=25427] ppid=25425 vsize=15686040 CPUtime=5.81 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25427 24984 0 -1 4202496 75166 0 1 0 570 11 0 0 25 0 22 0 523251016 16062504960 64078 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25427/statm: 3921510 64081 2275 9 0 3912229 0
[pid=25427/tid=25429] ppid=25425 vsize=15686040 CPUtime=2.3 cores=1,3,5,7
/proc/25427/task/25429/stat : 25429 (java) S 25425 25427 24984 0 -1 4202560 35670 0 1 0 225 5 0 0 24 0 22 0 523251017 16062504960 64084 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25430] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25425 25427 24984 0 -1 4202560 399 0 0 0 0 0 0 0 18 0 22 0 523251017 16062504960 64085 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25431] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25425 25427 24984 0 -1 4202560 1736 0 0 0 0 0 0 0 18 0 22 0 523251017 16062504960 64087 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25432] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25425 25427 24984 0 -1 4202560 1207 0 0 0 0 0 0 0 17 0 22 0 523251017 16062504960 64089 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25433] ppid=25425 vsize=15686040 CPUtime=0.01 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25425 25427 24984 0 -1 4202560 3430 0 0 0 1 0 0 0 18 0 22 0 523251017 16062504960 64091 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25434] ppid=25425 vsize=15686040 CPUtime=0.01 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25425 25427 24984 0 -1 4202560 2112 0 0 0 1 0 0 0 18 0 22 0 523251017 16062504960 64093 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25435] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 523251017 16062504960 64096 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25436] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25425 25427 24984 0 -1 4202560 1547 0 0 0 0 0 0 0 15 0 22 0 523251017 16062504960 64097 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25437] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25425 25427 24984 0 -1 4202560 178 0 0 0 0 0 0 0 17 0 22 0 523251017 16062504960 64100 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25438] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25425 25427 24984 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 523251018 16062504960 64102 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708928 0 0 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25439] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25425 25427 24984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523251019 16062504960 64103 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25440] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25427 24984 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523251019 16062504960 64105 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25441] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523251021 16062504960 64107 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347716017 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25442] ppid=25425 vsize=15686040 CPUtime=1.57 cores=1,3,5,7
/proc/25427/task/25442/stat : 25442 (java) S 25425 25427 24984 0 -1 4202560 18796 0 0 0 154 3 0 0 15 0 22 0 523251021 16062504960 64110 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25443] ppid=25425 vsize=15686040 CPUtime=0.63 cores=1,3,5,7
/proc/25427/task/25443/stat : 25443 (java) S 25425 25427 24984 0 -1 4202560 1890 0 0 0 63 0 0 0 15 0 22 0 523251021 16062504960 64111 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523251021 16062504960 64113 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25445] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25445/stat : 25445 (java) R 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523251021 16062504960 64115 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708928 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25427/tid=25446] ppid=25425 vsize=15686040 CPUtime=0.24 cores=1,3,5,7
/proc/25427/task/25446/stat : 25446 (java) R 25425 25427 24984 0 -1 4202560 839 0 0 0 24 0 0 0 15 0 22 0 523251093 16062504960 64116 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 46912506303209 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25427/tid=25447] ppid=25425 vsize=15686040 CPUtime=0.39 cores=1,3,5,7
/proc/25427/task/25447/stat : 25447 (java) R 25425 25427 24984 0 -1 4202560 4216 0 0 0 39 0 0 0 16 0 22 0 523251093 16062504960 64119 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 46912506303062 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25427/tid=25448] ppid=25425 vsize=15686040 CPUtime=0.51 cores=1,3,5,7
/proc/25427/task/25448/stat : 25448 (java) R 25425 25427 24984 0 -1 4202560 684 0 0 0 51 0 0 0 16 0 22 0 523251093 16062504960 64119 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 46912506281609 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=25427/tid=25449] ppid=25425 vsize=15686040 CPUtime=0.07 cores=1,3,5,7
/proc/25427/task/25449/stat : 25449 (java) R 25425 25427 24984 0 -1 4202560 1042 0 0 0 7 0 0 0 15 0 22 0 523251093 16062504960 64122 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 46912506303151 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 15686040

[startup+6.30135 s]
/proc/loadavg: 4.47 6.86 7.51 5/197 25449
/proc/meminfo: memFree=24743216/32951124 swapFree=67111412/67111528
[pid=25427] ppid=25425 vsize=15686040 CPUtime=18.57 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25427 24984 0 -1 4202496 256136 0 1 0 1819 38 0 0 25 0 22 0 523251016 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25427/statm: 3921510 244521 2275 9 0 3912229 0
[pid=25427/tid=25429] ppid=25425 vsize=15686040 CPUtime=2.3 cores=1,3,5,7
/proc/25427/task/25429/stat : 25429 (java) S 25425 25427 24984 0 -1 4202560 35670 0 1 0 225 5 0 0 24 0 22 0 523251017 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25430] ppid=25425 vsize=15686040 CPUtime=0.11 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25425 25427 24984 0 -1 4202560 17586 0 0 0 8 3 0 0 15 0 22 0 523251017 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25431] ppid=25425 vsize=15686040 CPUtime=0.09 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25425 25427 24984 0 -1 4202560 17665 0 0 0 7 2 0 0 15 0 22 0 523251017 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25432] ppid=25425 vsize=15686040 CPUtime=0.1 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25425 25427 24984 0 -1 4202560 18442 0 0 0 7 3 0 0 16 0 22 0 523251017 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25433] ppid=25425 vsize=15686040 CPUtime=0.09 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25425 25427 24984 0 -1 4202560 12364 0 0 0 8 1 0 0 16 0 22 0 523251017 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25434] ppid=25425 vsize=15686040 CPUtime=0.05 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25425 25427 24984 0 -1 4202560 10256 0 0 0 4 1 0 0 16 0 22 0 523251017 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25435] ppid=25425 vsize=15686040 CPUtime=0.09 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25425 25427 24984 0 -1 4202560 14258 0 0 0 8 1 0 0 16 0 22 0 523251017 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25436] ppid=25425 vsize=15686040 CPUtime=0.11 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25425 25427 24984 0 -1 4202560 26981 0 0 0 8 3 0 0 16 0 22 0 523251017 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25437] ppid=25425 vsize=15686040 CPUtime=0.01 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25425 25427 24984 0 -1 4202560 4082 0 0 0 1 0 0 0 15 0 22 0 523251017 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25438] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) S 25425 25427 24984 0 -1 4202560 578 0 0 0 0 0 0 0 16 0 22 0 523251018 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708928 0 0 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25439] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25425 25427 24984 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523251019 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25440] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25427 24984 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523251019 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25441] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523251021 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347716017 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25442] ppid=25425 vsize=15686040 CPUtime=1.6 cores=1,3,5,7
/proc/25427/task/25442/stat : 25442 (java) S 25425 25427 24984 0 -1 4202560 18800 0 0 0 157 3 0 0 15 0 22 0 523251021 16062504960 244521 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0

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

[pid=25427/tid=25440] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25427 24984 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 523251019 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25441] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347716017 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25442] ppid=25425 vsize=15686040 CPUtime=1.86 cores=1,3,5,7
/proc/25427/task/25442/stat : 25442 (java) S 25425 25427 24984 0 -1 4202560 18834 0 0 0 183 3 0 0 15 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25443] ppid=25425 vsize=15686040 CPUtime=0.65 cores=1,3,5,7
/proc/25427/task/25443/stat : 25443 (java) S 25425 25427 24984 0 -1 4202560 1892 0 0 0 65 0 0 0 15 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25445] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25445/stat : 25445 (java) S 25425 25427 24984 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708928 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25446] ppid=25425 vsize=15686040 CPUtime=318.38 cores=1,3,5,7
/proc/25427/task/25446/stat : 25446 (java) S 25425 25427 24984 0 -1 4202560 123198 0 0 0 31816 22 0 0 15 0 22 0 523251093 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25447] ppid=25425 vsize=15686040 CPUtime=318.61 cores=1,3,5,7
/proc/25427/task/25447/stat : 25447 (java) S 25425 25427 24984 0 -1 4202560 116531 0 0 0 31838 23 0 0 15 0 22 0 523251093 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25448] ppid=25425 vsize=15686040 CPUtime=318.34 cores=1,3,5,7
/proc/25427/task/25448/stat : 25448 (java) S 25425 25427 24984 0 -1 4202560 102241 0 0 0 31813 21 0 0 16 0 22 0 523251093 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25449] ppid=25425 vsize=15686040 CPUtime=317.12 cores=1,3,5,7
/proc/25427/task/25449/stat : 25449 (java) S 25425 25427 24984 0 -1 4202560 117172 0 0 0 31686 26 0 0 15 0 22 0 523251093 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2154.94
Current children cumulated vsize (KiB) 15686040

[startup+1242.3 s]
/proc/loadavg: 1.35 1.40 3.10 2/197 25482
/proc/meminfo: memFree=10222720/32951124 swapFree=67111412/67111528
[pid=25427] ppid=25425 vsize=15686040 CPUtime=2225.37 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25427 24984 0 -1 4202496 3941643 0 1 0 221810 727 0 0 25 0 22 0 523251016 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25427/statm: 3921510 3867429 2294 9 0 3912229 0
[pid=25427/tid=25429] ppid=25425 vsize=15686040 CPUtime=2.3 cores=1,3,5,7
/proc/25427/task/25429/stat : 25429 (java) S 25425 25427 24984 0 -1 4202560 35670 0 1 0 225 5 0 0 24 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25430] ppid=25425 vsize=15686040 CPUtime=3.07 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25425 25427 24984 0 -1 4202560 350695 0 0 0 252 55 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25431] ppid=25425 vsize=15686040 CPUtime=2.61 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25425 25427 24984 0 -1 4202560 338871 0 0 0 204 57 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25432] ppid=25425 vsize=15686040 CPUtime=2.62 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25425 25427 24984 0 -1 4202560 266207 0 0 0 214 48 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25433] ppid=25425 vsize=15686040 CPUtime=3.38 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25425 25427 24984 0 -1 4202560 389206 0 0 0 274 64 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25434] ppid=25425 vsize=15686040 CPUtime=2.95 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25425 25427 24984 0 -1 4202560 346686 0 0 0 238 57 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25435] ppid=25425 vsize=15686040 CPUtime=2.49 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25425 25427 24984 0 -1 4202560 368143 0 0 0 192 57 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25436] ppid=25425 vsize=15686040 CPUtime=3.18 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25425 25427 24984 0 -1 4202560 344175 0 0 0 262 56 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25437] ppid=25425 vsize=15686040 CPUtime=2.88 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25425 25427 24984 0 -1 4202560 378226 0 0 0 225 63 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25438] ppid=25425 vsize=15686040 CPUtime=910.78 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) R 25425 25427 24984 0 -1 4202560 641945 0 0 0 90920 158 0 0 18 0 22 0 523251018 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 47712459567175 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=25427/tid=25439] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25425 25427 24984 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523251019 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25440] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25427 24984 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 523251019 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25441] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347716017 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25442] ppid=25425 vsize=15686040 CPUtime=1.86 cores=1,3,5,7
/proc/25427/task/25442/stat : 25442 (java) S 25425 25427 24984 0 -1 4202560 18834 0 0 0 183 3 0 0 15 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25443] ppid=25425 vsize=15686040 CPUtime=0.65 cores=1,3,5,7
/proc/25427/task/25443/stat : 25443 (java) S 25425 25427 24984 0 -1 4202560 1892 0 0 0 65 0 0 0 15 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25445] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25445/stat : 25445 (java) S 25425 25427 24984 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708928 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25446] ppid=25425 vsize=15686040 CPUtime=321.87 cores=1,3,5,7
/proc/25427/task/25446/stat : 25446 (java) S 25425 25427 24984 0 -1 4202560 123326 0 0 0 32164 23 0 0 15 0 22 0 523251093 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25447] ppid=25425 vsize=15686040 CPUtime=322.11 cores=1,3,5,7
/proc/25427/task/25447/stat : 25447 (java) S 25425 25427 24984 0 -1 4202560 116649 0 0 0 32188 23 0 0 15 0 22 0 523251093 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25448] ppid=25425 vsize=15686040 CPUtime=321.81 cores=1,3,5,7
/proc/25427/task/25448/stat : 25448 (java) S 25425 25427 24984 0 -1 4202560 102347 0 0 0 32160 21 0 0 16 0 22 0 523251093 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25449] ppid=25425 vsize=15686040 CPUtime=320.63 cores=1,3,5,7
/proc/25427/task/25449/stat : 25449 (java) S 25425 25427 24984 0 -1 4202560 117314 0 0 0 32036 27 0 0 16 0 22 0 523251093 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2225.37
Current children cumulated vsize (KiB) 15686040



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 1.41 1.40 2.99 2/197 25484
/proc/meminfo: memFree=10222708/32951124 swapFree=67111412/67111528
[pid=25427] ppid=25425 vsize=15686040 CPUtime=2293.35 cores=1,3,5,7
/proc/25427/stat : 25427 (java) S 25425 25427 24984 0 -1 4202496 3942106 0 1 0 228602 733 0 0 25 0 22 0 523251016 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25427/statm: 3921510 3867429 2294 9 0 3912229 0
[pid=25427/tid=25429] ppid=25425 vsize=15686040 CPUtime=2.3 cores=1,3,5,7
/proc/25427/task/25429/stat : 25429 (java) S 25425 25427 24984 0 -1 4202560 35670 0 1 0 225 5 0 0 24 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25430] ppid=25425 vsize=15686040 CPUtime=3.07 cores=1,3,5,7
/proc/25427/task/25430/stat : 25430 (java) S 25425 25427 24984 0 -1 4202560 350695 0 0 0 252 55 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25431] ppid=25425 vsize=15686040 CPUtime=2.61 cores=1,3,5,7
/proc/25427/task/25431/stat : 25431 (java) S 25425 25427 24984 0 -1 4202560 338871 0 0 0 204 57 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25432] ppid=25425 vsize=15686040 CPUtime=2.62 cores=1,3,5,7
/proc/25427/task/25432/stat : 25432 (java) S 25425 25427 24984 0 -1 4202560 266207 0 0 0 214 48 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25433] ppid=25425 vsize=15686040 CPUtime=3.38 cores=1,3,5,7
/proc/25427/task/25433/stat : 25433 (java) S 25425 25427 24984 0 -1 4202560 389206 0 0 0 274 64 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25434] ppid=25425 vsize=15686040 CPUtime=2.95 cores=1,3,5,7
/proc/25427/task/25434/stat : 25434 (java) S 25425 25427 24984 0 -1 4202560 346686 0 0 0 238 57 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25435] ppid=25425 vsize=15686040 CPUtime=2.49 cores=1,3,5,7
/proc/25427/task/25435/stat : 25435 (java) S 25425 25427 24984 0 -1 4202560 368143 0 0 0 192 57 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25436] ppid=25425 vsize=15686040 CPUtime=3.18 cores=1,3,5,7
/proc/25427/task/25436/stat : 25436 (java) S 25425 25427 24984 0 -1 4202560 344175 0 0 0 262 56 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25437] ppid=25425 vsize=15686040 CPUtime=2.88 cores=1,3,5,7
/proc/25427/task/25437/stat : 25437 (java) S 25425 25427 24984 0 -1 4202560 378226 0 0 0 225 63 0 0 16 0 22 0 523251017 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25438] ppid=25425 vsize=15686040 CPUtime=965.01 cores=1,3,5,7
/proc/25427/task/25438/stat : 25438 (java) R 25425 25427 24984 0 -1 4202560 641949 0 0 0 96339 162 0 0 18 0 22 0 523251018 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 47712459565428 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=25427/tid=25439] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25439/stat : 25439 (java) S 25425 25427 24984 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523251019 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25440] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25440/stat : 25440 (java) S 25425 25427 24984 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 523251019 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25441] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25441/stat : 25441 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347716017 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25442] ppid=25425 vsize=15686040 CPUtime=1.86 cores=1,3,5,7
/proc/25427/task/25442/stat : 25442 (java) S 25425 25427 24984 0 -1 4202560 18834 0 0 0 183 3 0 0 15 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25443] ppid=25425 vsize=15686040 CPUtime=0.65 cores=1,3,5,7
/proc/25427/task/25443/stat : 25443 (java) S 25425 25427 24984 0 -1 4202560 1892 0 0 0 65 0 0 0 15 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) S 25425 25427 24984 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25445] ppid=25425 vsize=15686040 CPUtime=0 cores=1,3,5,7
/proc/25427/task/25445/stat : 25445 (java) S 25425 25427 24984 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 523251021 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708928 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
[pid=25427/tid=25446] ppid=25425 vsize=15686040 CPUtime=325.32 cores=1,3,5,7
/proc/25427/task/25446/stat : 25446 (java) S 25425 25427 24984 0 -1 4202560 123440 0 0 0 32508 24 0 0 16 0 22 0 523251093 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 3 0 0 0
[pid=25427/tid=25447] ppid=25425 vsize=15686040 CPUtime=325.56 cores=1,3,5,7
/proc/25427/task/25447/stat : 25447 (java) S 25425 25427 24984 0 -1 4202560 116739 0 0 0 32532 24 0 0 15 0 22 0 523251093 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 1 0 0 0
[pid=25427/tid=25448] ppid=25425 vsize=15686040 CPUtime=325.24 cores=1,3,5,7
/proc/25427/task/25448/stat : 25448 (java) S 25425 25427 24984 0 -1 4202560 102482 0 0 0 32502 22 0 0 15 0 22 0 523251093 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708928 0 4 0 16800975 18446604460748605248 0 0 -1 7 0 0 0
[pid=25427/tid=25449] ppid=25425 vsize=15686040 CPUtime=324.05 cores=1,3,5,7
/proc/25427/task/25449/stat : 25449 (java) S 25425 25427 24984 0 -1 4202560 117431 0 0 0 32378 27 0 0 15 0 22 0 523251093 16062504960 3867429 33554432000 1073741824 1073778376 140736348639280 18446744073709551615 232347708313 0 4 0 16800975 18446604460748605248 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2293.35
Current children cumulated vsize (KiB) 15686040

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -25427

[startup+1302.3 s]
/proc/loadavg: 1.41 1.40 2.99 2/199 25486
/proc/meminfo: memFree=10222568/32951124 swapFree=67111412/67111528
[pid=25427] ppid=25425 vsize=0 CPUtime=2295.94 cores=1,3,5,7
/proc/25427/stat : 25427 (java) Z 25425 25427 24984 0 -1 4203548 3942150 0 1 0 228833 761 0 0 18 0 2 0 523251016 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25427/statm: 0 0 0 0 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=0 CPUtime=0.28 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) R 25425 25427 24984 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 523251021 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) 2295.94
Current children cumulated vsize (KiB) 0

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

[startup+1302.4 s]
/proc/loadavg: 1.41 1.40 2.99 2/199 25486
/proc/meminfo: memFree=10222568/32951124 swapFree=67111412/67111528
[pid=25427] ppid=25425 vsize=0 CPUtime=2296.04 cores=1,3,5,7
/proc/25427/stat : 25427 (java) Z 25425 25427 24984 0 -1 4203548 3942150 0 1 0 228833 771 0 0 18 0 2 0 523251016 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25427/statm: 0 0 0 0 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) R 25425 25427 24984 0 -1 4203588 1 0 0 0 0 38 0 0 18 0 2 0 523251021 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) 2296.04
Current children cumulated vsize (KiB) 0

[startup+1302.5 s]
/proc/loadavg: 1.41 1.40 2.99 2/177 25487
/proc/meminfo: memFree=24373500/32951124 swapFree=67111412/67111528
[pid=25427] ppid=25425 vsize=0 CPUtime=2296.14 cores=1,3,5,7
/proc/25427/stat : 25427 (java) Z 25425 25427 24984 0 -1 4203548 3942150 0 1 0 228833 781 0 0 18 0 2 0 523251016 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25427/statm: 0 0 0 0 0 0 0
[pid=25427/tid=25444] ppid=25425 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/25427/task/25444/stat : 25444 (java) R 25425 25427 24984 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 523251021 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) 2296.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.55
CPU time (s): 2296.2
CPU user time (s): 2288.34
CPU system time (s): 7.8628
CPU usage (%): 176.285
Max. virtual memory (cumulated for all children) (KiB): 15688096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2288.34
system time used= 7.8628
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3942150
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= 86210
involuntary context switches= 34703

runsolver used 2.14467 second user time and 5.2682 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-30 00:35:29
IDJOB=3312466
IDBENCH=82651
IDSOLVER=1699
FILE ID=node132/3312466-1304116528
RUNJOBID= node132-1304112810-25003
PBS_JOBID= 13170698
Free space on /tmp= 71872 MiB

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

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

MD5SUM BENCH= 7b0b378358197932f5212c7e9e31a14b
RANDOM SEED=1760118221

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25715156 kB
Buffers:        684964 kB
Cached:        6005396 kB
SwapCached:        112 kB
Active:        1484220 kB
Inactive:      5270336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25715156 kB
SwapTotal:    67111528 kB
SwapFree:     67111412 kB
Dirty:            3924 kB
Writeback:           0 kB
AnonPages:       64388 kB
Mapped:          14340 kB
Slab:           417716 kB
PageTables:       4556 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71868 MiB
End job on node132 at 2011-04-30 00:57:11