Trace number 3312387

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) 2363.7 1301.63

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf
MD5SUMe27af9a147b2d7c0283d090128805575
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark919.622
Satisfiable
(Un)Satisfiability was proved
Number of variables34999
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
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	34:12 INFO : Reading from input HOME/instance-3312387-1304112851.cnf
1.02/0.84	Executor set job limit to 1000000
1.02/0.84	Executor set job limit to 1000000
1.02/0.84	Executor set job limit to 1000000
1.02/0.84	Executor set job limit to 1000000
1.02/0.84	Starting Executor!
1.02/0.84	Starting Executor!
1.02/0.84	Starting Executor!
1.02/0.84	Starting Executor!
3.13/2.08	34:14 INFO : 34872 variables remaining out of 34999
3.13/2.08	34:14 INFO : 584824 literals remaining out of 588000
1244.09/337.86	39:50 ERROR: Failed to solve instance
1244.09/337.86	java.lang.OutOfMemoryError: Java heap space
1244.09/337.86		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:221)
1244.09/337.86		at gnu.trove.THash.postInsertHook(THash.java:370)
1244.09/337.86		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1244.09/337.86		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1244.09/337.86		at ibis.structure.Subsumming.run(Subsumming.java:58)
1244.09/337.86		at ibis.structure.Solver.simplify(Solver.java:205)
1244.09/337.86		at ibis.structure.Solver.solve(Solver.java:113)
1244.09/337.86		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1244.09/337.86		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1244.09/337.86		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1244.09/337.86		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1244.09/337.86		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1244.09/337.86		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1244.09/337.86		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1244.09/337.86		at ibis.constellation.Executor.processActivities(Executor.java:75)
1244.09/337.86		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1244.09/337.86		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1244.09/337.86		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1246.21/339.94	39:52 ERROR: Failed to solve instance
1246.21/339.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1246.21/339.94		at ibis.structure.ImplicationsGraph.create(ImplicationsGraph.java:627)
1246.21/339.94		at ibis.structure.ImplicationsGraph.<init>(ImplicationsGraph.java:27)
1246.21/339.94		at ibis.structure.Solver.<init>(Solver.java:36)
1246.21/339.94		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1246.21/339.94		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1246.21/339.94		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1246.21/339.94		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1246.21/339.94		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1246.21/339.94		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1246.21/339.94		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1246.21/339.94		at ibis.constellation.Executor.processActivities(Executor.java:75)
1246.21/339.94		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1246.21/339.94		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1246.21/339.94		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1248.65/342.31	39:54 ERROR: Failed to solve instance
1248.65/342.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1248.65/342.31		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:169)
1248.65/342.31		at gnu.trove.THash.postInsertHook(THash.java:370)
1248.65/342.31		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1248.65/342.31		at ibis.structure.WatchLists.build(WatchLists.java:56)
1248.65/342.31		at ibis.structure.Solver.<init>(Solver.java:45)
1248.65/342.31		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1248.65/342.31		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1248.65/342.31		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1248.65/342.31		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1248.65/342.31		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1248.65/342.31		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1248.65/342.31		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1248.65/342.31		at ibis.constellation.Executor.processActivities(Executor.java:75)
1248.65/342.31		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1248.65/342.31		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1248.65/342.31		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1256.97/349.96	40:02 ERROR: Failed to solve instance
1256.97/349.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1256.97/349.96		at ibis.structure.WatchLists.build(WatchLists.java:47)
1256.97/349.96		at ibis.structure.Solver.<init>(Solver.java:45)
1256.97/349.96		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1256.97/349.96		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1256.97/349.96		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1256.97/349.96		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1256.97/349.96		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1256.97/349.96		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1256.97/349.96		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1256.97/349.96		at ibis.constellation.Executor.processActivities(Executor.java:75)
1256.97/349.96		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1256.97/349.96		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1256.97/349.96		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1259.29/352.26	40:04 ERROR: Failed to solve instance
1259.29/352.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1266.28/358.19	40:10 ERROR: Failed to solve instance
1266.28/358.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1267.19/359.08	40:11 ERROR: Failed to solve instance
1267.19/359.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1267.70/359.51	40:11 ERROR: Failed to solve instance
1267.70/359.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1269.91/361.78	40:13 ERROR: Failed to solve instance
1269.91/361.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1270.55/362.31	40:14 ERROR: Failed to solve instance
1270.55/362.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1274.08/365.34	40:17 ERROR: Failed to solve instance
1274.08/365.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1274.50/365.81	40:17 ERROR: Failed to solve instance
1274.50/365.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1275.02/366.29	40:18 ERROR: Failed to solve instance
1275.02/366.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1275.95/367.16	40:19 ERROR: Failed to solve instance
1275.95/367.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1276.47/367.65	40:19 ERROR: Failed to solve instance
1276.47/367.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1283.65/373.17	40:25 ERROR: Failed to solve instance
1283.65/373.17	java.lang.OutOfMemoryError: Java heap space
1283.86/373.39	40:25 ERROR: Failed to solve instance
1283.86/373.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1287.23/376.26	40:28 ERROR: Failed to solve instance
1287.23/376.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1287.97/376.98	40:29 ERROR: Failed to solve instance
1287.97/376.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1288.48/377.40	40:29 ERROR: Failed to solve instance
1288.48/377.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1288.91/377.91	40:30 ERROR: Failed to solve instance
1288.91/377.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1296.43/384.15	40:36 ERROR: Failed to solve instance
1296.43/384.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1296.74/384.48	40:36 ERROR: Failed to solve instance
1296.74/384.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1300.49/387.66	40:39 ERROR: Failed to solve instance
1300.49/387.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1301.01/388.11	40:40 ERROR: Failed to solve instance
1301.01/388.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1301.42/388.56	40:40 ERROR: Failed to solve instance
1301.42/388.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1302.34/389.42	40:41 ERROR: Failed to solve instance
1302.34/389.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1302.76/389.93	40:42 ERROR: Failed to solve instance
1302.76/389.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1306.75/393.12	40:45 ERROR: Failed to solve instance
1306.75/393.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1307.27/393.60	40:45 ERROR: Failed to solve instance
1307.27/393.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1308.24/394.59	40:46 ERROR: Failed to solve instance
1308.24/394.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1311.52/397.21	40:49 ERROR: Failed to solve instance
1311.52/397.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1311.94/397.70	40:49 ERROR: Failed to solve instance
1311.94/397.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1318.27/402.85	40:55 ERROR: Failed to solve instance
1318.27/402.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1318.80/403.34	40:55 ERROR: Failed to solve instance
1318.80/403.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1319.73/404.28	40:56 ERROR: Failed to solve instance
1319.73/404.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1320.25/404.82	40:56 ERROR: Failed to solve instance
1320.25/404.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1325.67/409.05	41:01 ERROR: Failed to solve instance
1325.67/409.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1326.07/409.47	41:01 ERROR: Failed to solve instance
1326.07/409.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1326.49/409.89	41:02 ERROR: Failed to solve instance
1326.49/409.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1329.61/412.47	41:04 ERROR: Failed to solve instance
1329.61/412.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1330.53/413.37	41:05 ERROR: Failed to solve instance
1330.53/413.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1331.05/413.85	41:06 ERROR: Failed to solve instance
1331.05/413.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1331.58/414.36	41:06 ERROR: Failed to solve instance
1331.58/414.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1332.10/414.89	41:07 ERROR: Failed to solve instance
1332.10/414.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1340.48/421.01	41:13 ERROR: Failed to solve instance
1340.48/421.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1341.31/421.86	41:13 ERROR: Failed to solve instance
1341.31/421.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1341.82/422.33	41:14 ERROR: Failed to solve instance
1341.82/422.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.37/425.33	41:17 ERROR: Failed to solve instance
1345.37/425.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.78/425.75	41:17 ERROR: Failed to solve instance
1345.78/425.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.60/426.55	41:18 ERROR: Failed to solve instance
1346.60/426.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1347.13/427.00	41:19 ERROR: Failed to solve instance
1347.13/427.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1347.65/427.50	41:19 ERROR: Failed to solve instance
1347.65/427.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1348.06/427.96	41:20 ERROR: Failed to solve instance
1348.06/427.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1356.76/435.06	41:27 ERROR: Failed to solve instance
1356.76/435.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1357.28/435.52	41:27 ERROR: Failed to solve instance
1357.28/435.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1358.10/436.39	41:28 ERROR: Failed to solve instance
1358.10/436.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1358.62/436.86	41:29 ERROR: Failed to solve instance
1358.62/436.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1359.15/437.35	41:29 ERROR: Failed to solve instance
1359.15/437.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1359.68/437.90	41:30 ERROR: Failed to solve instance
1359.68/437.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1364.50/442.00	41:34 ERROR: Failed to solve instance
1364.50/442.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1365.01/442.49	41:34 ERROR: Failed to solve instance
1365.01/442.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1365.64/443.04	41:35 ERROR: Failed to solve instance
1365.64/443.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1374.31/449.88	41:42 ERROR: Failed to solve instance
1374.31/449.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1375.23/450.79	41:42 ERROR: Failed to solve instance
1375.23/450.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1375.74/451.27	41:43 ERROR: Failed to solve instance
1375.74/451.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.26/451.77	41:43 ERROR: Failed to solve instance
1376.26/451.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.78/452.29	41:44 ERROR: Failed to solve instance
1376.78/452.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1377.62/453.08	41:45 ERROR: Failed to solve instance
1377.62/453.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1386.22/459.93	41:52 ERROR: Failed to solve instance
1386.22/459.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1386.64/460.38	41:52 ERROR: Failed to solve instance
1386.64/460.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1387.15/460.84	41:52 ERROR: Failed to solve instance
1387.15/460.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1387.66/461.30	41:53 ERROR: Failed to solve instance
1387.66/461.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1388.63/462.22	41:54 ERROR: Failed to solve instance
1388.63/462.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1389.15/462.70	41:54 ERROR: Failed to solve instance
1389.15/462.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1393.42/466.39	41:58 ERROR: Failed to solve instance
1393.42/466.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1393.94/466.88	41:59 ERROR: Failed to solve instance
1393.94/466.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1394.34/467.30	41:59 ERROR: Failed to solve instance
1394.34/467.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1395.40/468.24	42:00 ERROR: Failed to solve instance
1395.40/468.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1399.41/471.51	42:03 ERROR: Failed to solve instance
1399.41/471.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1399.71/471.84	42:04 ERROR: Failed to solve instance
1399.71/471.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.69/481.62	42:13 ERROR: Failed to solve instance
1411.69/481.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.99/481.98	42:14 ERROR: Failed to solve instance
1411.99/481.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1412.91/482.82	42:14 ERROR: Failed to solve instance
1412.91/482.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1413.33/483.26	42:15 ERROR: Failed to solve instance
1413.33/483.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1413.85/483.74	42:15 ERROR: Failed to solve instance
1413.85/483.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1414.38/484.26	42:16 ERROR: Failed to solve instance
1414.38/484.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1417.83/487.15	42:19 ERROR: Failed to solve instance
1417.83/487.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1424.36/492.49	42:24 ERROR: Failed to solve instance
1424.36/492.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1425.19/493.21	42:25 ERROR: Failed to solve instance
1425.19/493.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1425.71/493.73	42:25 ERROR: Failed to solve instance
1425.71/493.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1432.33/499.21	42:31 ERROR: Failed to solve instance
1432.33/499.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1433.25/500.12	42:32 ERROR: Failed to solve instance
1433.25/500.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1433.66/500.60	42:32 ERROR: Failed to solve instance
1433.66/500.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1434.29/501.12	42:33 ERROR: Failed to solve instance
1434.29/501.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1434.81/501.69	42:33 ERROR: Failed to solve instance
1434.81/501.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1440.23/505.94	42:37 ERROR: Failed to solve instance
1440.23/505.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1440.76/506.41	42:38 ERROR: Failed to solve instance
1440.76/506.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1441.30/506.94	42:39 ERROR: Failed to solve instance
1441.30/506.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1444.21/509.38	42:41 ERROR: Failed to solve instance
1444.21/509.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1444.74/509.87	42:42 ERROR: Failed to solve instance
1444.74/509.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.55/510.70	42:42 ERROR: Failed to solve instance
1445.55/510.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.88/510.95	42:43 ERROR: Failed to solve instance
1445.88/510.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1449.11/513.64	42:45 ERROR: Failed to solve instance
1449.11/513.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1452.52/516.41	42:48 ERROR: Failed to solve instance
1452.52/516.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1453.48/517.31	42:49 ERROR: Failed to solve instance
1453.48/517.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1453.90/517.77	42:49 ERROR: Failed to solve instance
1453.90/517.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.43/518.28	42:50 ERROR: Failed to solve instance
1454.43/518.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.95/518.81	42:50 ERROR: Failed to solve instance
1454.95/518.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1462.78/524.81	42:56 ERROR: Failed to solve instance
1462.78/524.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1463.19/525.25	42:57 ERROR: Failed to solve instance
1463.19/525.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1463.60/525.65	42:57 ERROR: Failed to solve instance
1463.60/525.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1467.46/528.92	43:01 ERROR: Failed to solve instance
1467.46/528.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1471.31/532.28	43:04 ERROR: Failed to solve instance
1471.31/532.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1472.22/533.19	43:05 ERROR: Failed to solve instance
1472.22/533.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1472.62/533.60	43:05 ERROR: Failed to solve instance
1472.62/533.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1473.15/534.13	43:06 ERROR: Failed to solve instance
1473.15/534.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1481.44/540.67	43:12 ERROR: Failed to solve instance
1481.44/540.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1482.26/541.41	43:13 ERROR: Failed to solve instance
1482.26/541.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1482.68/541.86	43:14 ERROR: Failed to solve instance
1482.68/541.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1486.27/544.92	43:17 ERROR: Failed to solve instance
1486.27/544.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1487.19/545.80	43:17 ERROR: Failed to solve instance
1487.19/545.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1487.61/546.28	43:18 ERROR: Failed to solve instance
1487.61/546.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1488.22/546.81	43:18 ERROR: Failed to solve instance
1488.22/546.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1488.75/547.37	43:19 ERROR: Failed to solve instance
1488.75/547.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1489.77/548.37	43:20 ERROR: Failed to solve instance
1489.77/548.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.48/555.88	43:28 ERROR: Failed to solve instance
1499.48/555.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1500.12/556.48	43:28 ERROR: Failed to solve instance
1500.12/556.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1500.65/556.98	43:29 ERROR: Failed to solve instance
1500.65/556.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1504.50/560.26	43:32 ERROR: Failed to solve instance
1504.50/560.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1504.71/560.50	43:32 ERROR: Failed to solve instance
1504.71/560.50	java.lang.OutOfMemoryError: Java heap space
1505.01/560.71	43:32 ERROR: Failed to solve instance
1505.01/560.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1505.43/561.17	43:33 ERROR: Failed to solve instance
1505.43/561.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1509.26/564.48	43:36 ERROR: Failed to solve instance
1509.26/564.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1510.09/565.23	43:37 ERROR: Failed to solve instance
1510.09/565.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1512.46/567.38	43:39 ERROR: Failed to solve instance
1512.46/567.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1518.92/572.39	43:44 ERROR: Failed to solve instance
1518.92/572.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1519.44/572.85	43:45 ERROR: Failed to solve instance
1519.44/572.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1520.38/573.73	43:45 ERROR: Failed to solve instance
1520.38/573.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1520.90/574.22	43:46 ERROR: Failed to solve instance
1520.90/574.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.46/574.78	43:46 ERROR: Failed to solve instance
1521.46/574.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1530.27/581.85	43:54 ERROR: Failed to solve instance
1530.27/581.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1530.68/582.22	43:54 ERROR: Failed to solve instance
1530.68/582.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1531.50/583.02	43:55 ERROR: Failed to solve instance
1531.50/583.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1531.70/583.25	43:55 ERROR: Failed to solve instance
1531.70/583.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1532.43/583.97	43:56 ERROR: Failed to solve instance
1532.43/583.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1532.94/584.44	43:56 ERROR: Failed to solve instance
1532.94/584.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1537.86/588.68	44:00 ERROR: Failed to solve instance
1537.86/588.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1538.27/589.04	44:01 ERROR: Failed to solve instance
1538.27/589.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1543.71/593.40	44:05 ERROR: Failed to solve instance
1543.71/593.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1544.73/594.34	44:06 ERROR: Failed to solve instance
1544.73/594.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1549.52/598.37	44:10 ERROR: Failed to solve instance
1549.52/598.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1552.51/601.05	44:13 ERROR: Failed to solve instance
1552.51/601.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1553.23/601.64	44:13 ERROR: Failed to solve instance
1553.23/601.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1559.81/606.86	44:19 ERROR: Failed to solve instance
1559.81/606.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1560.32/607.33	44:19 ERROR: Failed to solve instance
1560.32/607.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1563.08/609.79	44:21 ERROR: Failed to solve instance
1563.08/609.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1563.59/610.25	44:22 ERROR: Failed to solve instance
1563.59/610.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1564.11/610.75	44:22 ERROR: Failed to solve instance
1564.11/610.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1564.63/611.27	44:23 ERROR: Failed to solve instance
1564.63/611.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1571.85/617.31	44:29 ERROR: Failed to solve instance
1571.85/617.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1572.78/618.26	44:30 ERROR: Failed to solve instance
1572.78/618.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1573.30/618.77	44:30 ERROR: Failed to solve instance
1573.30/618.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1573.92/619.31	44:31 ERROR: Failed to solve instance
1573.92/619.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1574.45/619.88	44:32 ERROR: Failed to solve instance
1574.45/619.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1580.38/624.62	44:36 ERROR: Failed to solve instance
1580.38/624.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1581.30/625.52	44:37 ERROR: Failed to solve instance
1581.30/625.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1581.72/625.99	44:38 ERROR: Failed to solve instance
1581.72/625.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1587.06/630.43	44:42 ERROR: Failed to solve instance
1587.06/630.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1589.04/632.15	44:44 ERROR: Failed to solve instance
1589.04/632.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1589.55/632.62	44:44 ERROR: Failed to solve instance
1589.55/632.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1590.47/633.55	44:45 ERROR: Failed to solve instance
1590.47/633.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.00/634.07	44:46 ERROR: Failed to solve instance
1591.00/634.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.62/634.64	44:46 ERROR: Failed to solve instance
1591.62/634.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1603.00/643.83	Exception in thread "SingleThreadedConstellation 1" java.lang.OutOfMemoryError: GC overhead limit exceeded
1608.99/649.27	44:55 ERROR: Failed to solve instance
1608.99/649.27	45:01 ERROR: Failed to solve instance
1608.99/649.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1609.81/650.00	45:02 ERROR: Failed to solve instance
1609.81/650.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1610.01/650.21	45:02 ERROR: Failed to solve instance
1610.01/650.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1610.53/650.78	45:02 ERROR: Failed to solve instance
1610.53/650.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1610.94/651.17	45:03 ERROR: Failed to solve instance
1610.94/651.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1613.47/653.37	45:05 ERROR: Failed to solve instance
1613.47/653.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1619.69/658.58	45:10 ERROR: Failed to solve instance
1619.69/658.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1620.30/659.12	45:11 ERROR: Failed to solve instance
1620.30/659.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1620.72/659.53	45:11 ERROR: Failed to solve instance
1620.72/659.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1622.78/661.24	45:13 ERROR: Failed to solve instance
1622.78/661.24	java.lang.OutOfMemoryError: Java heap space
1625.24/663.36	45:15 ERROR: Failed to solve instance
1625.24/663.36	java.lang.OutOfMemoryError: Java heap space
1627.90/665.68	45:17 ERROR: Failed to solve instance
1627.90/665.68	java.lang.OutOfMemoryError: Java heap space
1628.20/665.90	45:18 ERROR: Failed to solve instance
1628.20/665.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1633.43/670.23	45:22 ERROR: Failed to solve instance
1633.43/670.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1633.84/670.64	45:22 ERROR: Failed to solve instance
1633.84/670.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1634.27/671.08	45:23 ERROR: Failed to solve instance
1634.27/671.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.33/676.39	45:28 ERROR: Failed to solve instance
1640.33/676.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.33/676.39	45:28 ERROR: Failed to solve instance
1640.33/676.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1643.44/679.16	45:31 ERROR: Failed to solve instance
1643.44/679.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.06/679.78	45:31 ERROR: Failed to solve instance
1644.06/679.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.47/680.19	45:32 ERROR: Failed to solve instance
1644.47/680.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1651.18/685.86	45:38 ERROR: Failed to solve instance
1651.18/685.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1651.69/686.33	45:38 ERROR: Failed to solve instance
1651.69/686.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.09/686.73	45:38 ERROR: Failed to solve instance
1652.09/686.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1652.50/687.15	45:39 ERROR: Failed to solve instance
1652.50/687.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1656.91/690.83	45:42 ERROR: Failed to solve instance
1656.91/690.83	java.lang.OutOfMemoryError: Java heap space
1657.11/691.01	45:43 ERROR: Failed to solve instance
1657.11/691.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1659.95/693.52	45:45 ERROR: Failed to solve instance
1659.95/693.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1660.36/693.92	45:46 ERROR: Failed to solve instance
1660.36/693.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1660.78/694.33	45:46 ERROR: Failed to solve instance
1660.78/694.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1665.48/698.30	45:50 ERROR: Failed to solve instance
1665.48/698.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.20/699.05	45:51 ERROR: Failed to solve instance
1666.20/699.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.61/699.45	45:51 ERROR: Failed to solve instance
1666.61/699.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1667.02/699.89	45:52 ERROR: Failed to solve instance
1667.02/699.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1673.76/705.49	45:57 ERROR: Failed to solve instance
1673.76/705.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1674.17/705.89	45:58 ERROR: Failed to solve instance
1674.17/705.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1674.69/706.32	45:58 ERROR: Failed to solve instance
1674.69/706.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1678.18/709.33	46:01 ERROR: Failed to solve instance
1678.18/709.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1680.90/711.71	46:03 ERROR: Failed to solve instance
1680.90/711.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1681.41/712.28	46:04 ERROR: Failed to solve instance
1681.41/712.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1682.02/712.82	46:04 ERROR: Failed to solve instance
1682.02/712.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1682.45/713.24	46:05 ERROR: Failed to solve instance
1682.45/713.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1687.70/717.48	46:09 ERROR: Failed to solve instance
1687.70/717.48	java.lang.OutOfMemoryError: Java heap space
1690.24/719.69	46:11 ERROR: Failed to solve instance
1690.24/719.69	java.lang.OutOfMemoryError: Java heap space
1692.80/721.85	46:14 ERROR: Failed to solve instance
1692.80/721.85	java.lang.OutOfMemoryError: Java heap space
1695.67/724.38	46:16 ERROR: Failed to solve instance
1695.67/724.38	java.lang.OutOfMemoryError: Java heap space
1695.97/724.62	46:16 ERROR: Failed to solve instance
1695.97/724.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1698.13/726.42	46:18 ERROR: Failed to solve instance
1698.13/726.42	java.lang.OutOfMemoryError: Java heap space
1704.16/731.55	46:23 ERROR: Failed to solve instance
1704.16/731.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.57/731.93	46:24 ERROR: Failed to solve instance
1704.57/731.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.98/732.34	46:24 ERROR: Failed to solve instance
1704.98/732.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1705.39/732.78	46:24 ERROR: Failed to solve instance
1705.39/732.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.73/738.90	46:31 ERROR: Failed to solve instance
1712.73/738.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1713.34/739.50	46:31 ERROR: Failed to solve instance
1713.34/739.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1713.65/739.84	46:32 ERROR: Failed to solve instance
1713.65/739.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1713.96/740.20	46:32 ERROR: Failed to solve instance
1713.96/740.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1714.48/740.62	46:32 ERROR: Failed to solve instance
1714.48/740.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1717.49/743.33	46:35 ERROR: Failed to solve instance
1717.49/743.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1717.49/743.33	46:35 ERROR: Failed to solve instance
1717.49/743.33	java.lang.OutOfMemoryError: Java heap space
1719.72/745.27	46:37 ERROR: Failed to solve instance
1719.72/745.27	java.lang.OutOfMemoryError: Java heap space
1720.02/745.57	46:37 ERROR: Failed to solve instance
1720.02/745.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1727.89/752.05	46:44 ERROR: Failed to solve instance
1727.89/752.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1728.30/752.43	46:44 ERROR: Failed to solve instance
1728.30/752.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1728.70/752.83	46:44 ERROR: Failed to solve instance
1728.70/752.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1729.32/753.45	46:45 ERROR: Failed to solve instance
1729.32/753.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1731.34/755.13	46:47 ERROR: Failed to solve instance
1731.34/755.13	java.lang.OutOfMemoryError: Java heap space
1731.64/755.48	46:47 ERROR: Failed to solve instance
1731.64/755.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.64/762.33	46:54 ERROR: Failed to solve instance
1739.64/762.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.23/764.65	46:56 ERROR: Failed to solve instance
1742.23/764.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.65/765.05	46:57 ERROR: Failed to solve instance
1742.65/765.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1743.05/765.40	46:57 ERROR: Failed to solve instance
1743.05/765.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1744.86/767.13	46:59 ERROR: Failed to solve instance
1744.86/767.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1745.28/767.55	46:59 ERROR: Failed to solve instance
1745.28/767.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1745.69/767.94	47:00 ERROR: Failed to solve instance
1745.69/767.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1751.55/772.86	47:05 ERROR: Failed to solve instance
1751.55/772.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1752.37/773.61	47:05 ERROR: Failed to solve instance
1752.37/773.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1752.78/774.01	47:06 ERROR: Failed to solve instance
1752.78/774.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1756.38/777.11	47:09 ERROR: Failed to solve instance
1756.38/777.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1756.79/777.53	47:09 ERROR: Failed to solve instance
1756.79/777.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1759.82/780.13	47:12 ERROR: Failed to solve instance
1759.82/780.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1760.23/780.53	47:12 ERROR: Failed to solve instance
1760.23/780.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1760.95/781.28	47:13 ERROR: Failed to solve instance
1760.95/781.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1761.36/781.69	47:13 ERROR: Failed to solve instance
1761.36/781.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1761.88/782.13	47:14 ERROR: Failed to solve instance
1761.88/782.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1767.62/786.76	47:18 ERROR: Failed to solve instance
1767.62/786.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1768.03/787.15	47:19 ERROR: Failed to solve instance
1768.03/787.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1768.44/787.57	47:19 ERROR: Failed to solve instance
1768.44/787.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1769.19/788.22	47:20 ERROR: Failed to solve instance
1769.19/788.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1771.30/790.09	47:22 ERROR: Failed to solve instance
1771.30/790.09	java.lang.OutOfMemoryError: Java heap space
1776.56/794.46	47:26 ERROR: Failed to solve instance
1776.56/794.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1776.98/794.88	47:27 ERROR: Failed to solve instance
1776.98/794.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1781.71/798.86	47:30 ERROR: Failed to solve instance
1781.71/798.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.03/800.87	47:33 ERROR: Failed to solve instance
1784.03/800.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.45/801.26	47:33 ERROR: Failed to solve instance
1784.45/801.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1785.26/802.01	47:34 ERROR: Failed to solve instance
1785.26/802.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1785.48/802.23	47:34 ERROR: Failed to solve instance
1785.48/802.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1790.35/806.27	47:38 ERROR: Failed to solve instance
1790.35/806.27	java.lang.OutOfMemoryError: Java heap space
1791.08/806.91	47:39 ERROR: Failed to solve instance
1791.08/806.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1791.48/807.32	47:39 ERROR: Failed to solve instance
1791.48/807.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1791.89/807.77	47:39 ERROR: Failed to solve instance
1791.89/807.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1797.31/812.40	47:44 ERROR: Failed to solve instance
1797.31/812.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1797.82/812.82	47:44 ERROR: Failed to solve instance
1797.82/812.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1798.23/813.25	47:45 ERROR: Failed to solve instance
1798.23/813.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1806.40/820.08	47:52 ERROR: Failed to solve instance
1806.40/820.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1806.80/820.44	47:52 ERROR: Failed to solve instance
1806.80/820.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.21/820.85	47:53 ERROR: Failed to solve instance
1807.21/820.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.62/821.25	47:53 ERROR: Failed to solve instance
1807.62/821.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1811.77/824.61	47:56 ERROR: Failed to solve instance
1811.77/824.61	java.lang.OutOfMemoryError: Java heap space
1813.93/826.54	47:58 ERROR: Failed to solve instance
1813.93/826.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1815.89/828.32	48:00 ERROR: Failed to solve instance
1815.89/828.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1816.51/828.93	48:01 ERROR: Failed to solve instance
1816.51/828.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1816.91/829.31	48:01 ERROR: Failed to solve instance
1816.91/829.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1820.95/832.95	48:05 ERROR: Failed to solve instance
1820.95/832.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1821.37/833.34	48:05 ERROR: Failed to solve instance
1821.37/833.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1821.78/833.78	48:05 ERROR: Failed to solve instance
1821.78/833.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1829.28/839.84	48:12 ERROR: Failed to solve instance
1829.28/839.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1829.68/840.21	48:12 ERROR: Failed to solve instance
1829.68/840.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1830.09/840.61	48:12 ERROR: Failed to solve instance
1830.09/840.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1833.30/843.41	48:15 ERROR: Failed to solve instance
1833.30/843.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1833.72/843.83	48:15 ERROR: Failed to solve instance
1833.72/843.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1838.71/848.16	48:20 ERROR: Failed to solve instance
1838.71/848.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1839.12/848.55	48:20 ERROR: Failed to solve instance
1839.12/848.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1839.53/848.98	48:21 ERROR: Failed to solve instance
1839.53/848.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1845.16/853.85	48:26 ERROR: Failed to solve instance
1845.16/853.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1845.58/854.25	48:26 ERROR: Failed to solve instance
1845.58/854.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1846.09/854.71	48:26 ERROR: Failed to solve instance
1846.09/854.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1853.13/860.80	48:32 ERROR: Failed to solve instance
1853.13/860.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1853.54/861.17	48:33 ERROR: Failed to solve instance
1853.54/861.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1854.36/861.96	48:34 ERROR: Failed to solve instance
1854.36/861.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1854.77/862.34	48:34 ERROR: Failed to solve instance
1854.77/862.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1855.18/862.75	48:34 ERROR: Failed to solve instance
1855.18/862.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1855.70/863.21	48:35 ERROR: Failed to solve instance
1855.70/863.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1861.23/867.81	48:39 ERROR: Failed to solve instance
1861.23/867.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1861.96/868.56	48:40 ERROR: Failed to solve instance
1861.96/868.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.37/868.96	48:41 ERROR: Failed to solve instance
1862.37/868.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.78/869.38	48:41 ERROR: Failed to solve instance
1862.78/869.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1863.29/869.84	48:42 ERROR: Failed to solve instance
1863.29/869.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1867.19/873.02	48:45 ERROR: Failed to solve instance
1867.19/873.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1867.61/873.42	48:45 ERROR: Failed to solve instance
1867.61/873.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1872.59/877.77	48:49 ERROR: Failed to solve instance
1872.59/877.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1873.00/878.14	48:50 ERROR: Failed to solve instance
1873.00/878.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1873.41/878.57	48:50 ERROR: Failed to solve instance
1873.41/878.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1878.50/882.94	48:55 ERROR: Failed to solve instance
1878.50/882.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1878.91/883.31	48:55 ERROR: Failed to solve instance
1878.91/883.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1879.32/883.78	48:55 ERROR: Failed to solve instance
1879.32/883.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1885.94/889.38	49:01 ERROR: Failed to solve instance
1885.94/889.38	java.lang.OutOfMemoryError: Java heap space
1886.55/889.94	49:02 ERROR: Failed to solve instance
1886.55/889.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1888.51/891.75	49:03 ERROR: Failed to solve instance
1888.51/891.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1889.04/892.22	49:04 ERROR: Failed to solve instance
1889.04/892.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1895.62/898.05	49:10 ERROR: Failed to solve instance
1895.62/898.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1896.25/898.67	49:10 ERROR: Failed to solve instance
1896.25/898.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1896.66/899.03	49:11 ERROR: Failed to solve instance
1896.66/899.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1899.05/901.25	49:13 ERROR: Failed to solve instance
1899.05/901.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1900.37/902.41	49:14 ERROR: Failed to solve instance
1900.37/902.41	java.lang.OutOfMemoryError: Java heap space
1906.28/907.53	49:19 ERROR: Failed to solve instance
1906.28/907.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1906.69/907.94	49:20 ERROR: Failed to solve instance
1906.69/907.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.10/908.37	49:20 ERROR: Failed to solve instance
1907.10/908.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1913.21/913.57	49:25 ERROR: Failed to solve instance
1913.21/913.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1914.02/914.30	49:26 ERROR: Failed to solve instance
1914.02/914.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1914.33/914.70	49:26 ERROR: Failed to solve instance
1914.33/914.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1914.84/915.11	49:27 ERROR: Failed to solve instance
1914.84/915.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1915.35/915.60	49:27 ERROR: Failed to solve instance
1915.35/915.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.42/921.33	49:33 ERROR: Failed to solve instance
1922.42/921.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1923.13/922.07	49:34 ERROR: Failed to solve instance
1923.13/922.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1923.55/922.46	49:34 ERROR: Failed to solve instance
1923.55/922.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1924.05/922.92	49:35 ERROR: Failed to solve instance
1924.05/922.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1924.57/923.43	49:35 ERROR: Failed to solve instance
1924.57/923.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1928.56/926.80	49:38 ERROR: Failed to solve instance
1928.56/926.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1931.66/929.42	49:41 ERROR: Failed to solve instance
1931.66/929.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1932.08/929.81	49:41 ERROR: Failed to solve instance
1932.08/929.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1932.91/930.60	49:42 ERROR: Failed to solve instance
1932.91/930.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1935.62/933.08	49:45 ERROR: Failed to solve instance
1935.62/933.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1938.41/935.47	49:47 ERROR: Failed to solve instance
1938.41/935.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1938.81/935.86	49:48 ERROR: Failed to solve instance
1938.81/935.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1946.33/942.34	49:54 ERROR: Failed to solve instance
1946.33/942.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1946.75/942.72	49:54 ERROR: Failed to solve instance
1946.75/942.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1947.05/943.08	49:55 ERROR: Failed to solve instance
1947.05/943.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1947.76/943.73	49:55 ERROR: Failed to solve instance
1947.76/943.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1948.17/944.13	49:56 ERROR: Failed to solve instance
1948.17/944.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1948.49/944.47	49:56 ERROR: Failed to solve instance
1948.49/944.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1949.00/944.90	49:57 ERROR: Failed to solve instance
1949.00/944.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1954.05/948.92	50:01 ERROR: Failed to solve instance
1954.05/948.92	java.lang.OutOfMemoryError: Java heap space
1956.59/951.17	50:03 ERROR: Failed to solve instance
1956.59/951.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1957.21/951.75	50:03 ERROR: Failed to solve instance
1957.21/951.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1960.07/954.28	50:06 ERROR: Failed to solve instance
1960.07/954.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1966.46/959.63	50:11 ERROR: Failed to solve instance
1966.46/959.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1967.18/960.38	50:12 ERROR: Failed to solve instance
1967.18/960.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1967.59/960.77	50:12 ERROR: Failed to solve instance
1967.59/960.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1968.09/961.21	50:13 ERROR: Failed to solve instance
1968.09/961.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1968.40/961.56	50:13 ERROR: Failed to solve instance
1968.40/961.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.56/964.38	50:16 ERROR: Failed to solve instance
1971.56/964.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.56/964.38	50:16 ERROR: Failed to solve instance
1971.56/964.38	java.lang.OutOfMemoryError: Java heap space
1971.97/964.72	50:16 ERROR: Failed to solve instance
1971.97/964.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1980.48/971.53	50:23 ERROR: Failed to solve instance
1980.48/971.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1982.71/973.67	50:25 ERROR: Failed to solve instance
1982.71/973.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1983.13/974.10	50:26 ERROR: Failed to solve instance
1983.13/974.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1983.53/974.49	50:26 ERROR: Failed to solve instance
1983.53/974.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1985.98/976.52	50:28 ERROR: Failed to solve instance
1985.98/976.52	java.lang.OutOfMemoryError: Java heap space
1992.47/982.26	50:34 ERROR: Failed to solve instance
1992.47/982.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1993.08/982.86	50:35 ERROR: Failed to solve instance
1993.08/982.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1993.49/983.28	50:35 ERROR: Failed to solve instance
1993.49/983.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1999.77/988.64	50:40 ERROR: Failed to solve instance
1999.77/988.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2000.08/988.99	50:41 ERROR: Failed to solve instance
2000.08/988.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2000.80/989.69	50:41 ERROR: Failed to solve instance
2000.80/989.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2001.31/990.12	50:42 ERROR: Failed to solve instance
2001.31/990.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2001.73/990.54	50:42 ERROR: Failed to solve instance
2001.73/990.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2002.14/991.00	50:43 ERROR: Failed to solve instance
2002.14/991.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2007.98/995.76	50:47 ERROR: Failed to solve instance
2007.98/995.76	java.lang.OutOfMemoryError: Java heap space
2008.18/995.94	50:48 ERROR: Failed to solve instance
2008.18/995.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2010.23/997.65	50:49 ERROR: Failed to solve instance
2010.23/997.65	java.lang.OutOfMemoryError: Java heap space
2012.31/999.35	50:51 ERROR: Failed to solve instance
2012.31/999.35	java.lang.OutOfMemoryError: Java heap space
2017.52/1003.66	50:55 ERROR: Failed to solve instance
2017.52/1003.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2017.93/1004.06	50:56 ERROR: Failed to solve instance
2017.93/1004.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.75/1004.82	50:56 ERROR: Failed to solve instance
2018.75/1004.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.16/1005.23	50:57 ERROR: Failed to solve instance
2019.16/1005.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.58/1005.68	50:57 ERROR: Failed to solve instance
2019.58/1005.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2026.63/1011.53	51:03 ERROR: Failed to solve instance
2026.63/1011.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2027.03/1011.91	51:04 ERROR: Failed to solve instance
2027.03/1011.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2027.45/1012.36	51:04 ERROR: Failed to solve instance
2027.45/1012.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2029.36/1014.08	51:06 ERROR: Failed to solve instance
2029.36/1014.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.17/1014.85	51:06 ERROR: Failed to solve instance
2030.17/1014.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.59/1015.25	51:07 ERROR: Failed to solve instance
2030.59/1015.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2031.01/1015.69	51:07 ERROR: Failed to solve instance
2031.01/1015.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2036.86/1020.34	51:12 ERROR: Failed to solve instance
2036.86/1020.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.27/1020.74	51:12 ERROR: Failed to solve instance
2037.27/1020.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2040.19/1023.27	51:15 ERROR: Failed to solve instance
2040.19/1023.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2040.90/1024.00	51:16 ERROR: Failed to solve instance
2040.90/1024.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2041.30/1024.38	51:16 ERROR: Failed to solve instance
2041.30/1024.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2041.81/1024.80	51:16 ERROR: Failed to solve instance
2041.81/1024.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2042.22/1025.24	51:17 ERROR: Failed to solve instance
2042.22/1025.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2049.55/1031.46	51:23 ERROR: Failed to solve instance
2049.55/1031.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2050.36/1032.22	51:24 ERROR: Failed to solve instance
2050.36/1032.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2050.77/1032.62	51:24 ERROR: Failed to solve instance
2050.77/1032.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2051.18/1033.05	51:25 ERROR: Failed to solve instance
2051.18/1033.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2051.60/1033.48	51:25 ERROR: Failed to solve instance
2051.60/1033.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2057.55/1038.59	51:30 ERROR: Failed to solve instance
2057.55/1038.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2058.07/1039.02	51:31 ERROR: Failed to solve instance
2058.07/1039.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2059.81/1040.62	51:32 ERROR: Failed to solve instance
2059.81/1040.62	java.lang.OutOfMemoryError: Java heap space
2060.01/1040.81	51:32 ERROR: Failed to solve instance
2060.01/1040.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2068.47/1047.96	51:40 ERROR: Failed to solve instance
2068.47/1047.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2068.88/1048.31	51:40 ERROR: Failed to solve instance
2068.88/1048.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2069.18/1048.69	51:40 ERROR: Failed to solve instance
2069.18/1048.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.01/1049.50	51:41 ERROR: Failed to solve instance
2070.01/1049.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2072.94/1052.05	51:44 ERROR: Failed to solve instance
2072.94/1052.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2073.34/1052.44	51:44 ERROR: Failed to solve instance
2073.34/1052.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2073.75/1052.84	51:45 ERROR: Failed to solve instance
2073.75/1052.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2074.56/1053.61	51:45 ERROR: Failed to solve instance
2074.56/1053.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2074.97/1054.03	51:46 ERROR: Failed to solve instance
2074.97/1054.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.39/1054.44	51:46 ERROR: Failed to solve instance
2075.39/1054.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2080.96/1058.69	51:50 ERROR: Failed to solve instance
2080.96/1058.69	java.lang.OutOfMemoryError: Java heap space
2083.78/1061.12	51:53 ERROR: Failed to solve instance
2083.78/1061.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.49/1061.87	51:53 ERROR: Failed to solve instance
2084.49/1061.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.92/1062.27	51:54 ERROR: Failed to solve instance
2084.92/1062.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.33/1062.69	51:54 ERROR: Failed to solve instance
2085.33/1062.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.84/1063.19	51:55 ERROR: Failed to solve instance
2085.84/1063.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2093.01/1068.93	52:01 ERROR: Failed to solve instance
2093.01/1068.93	java.lang.OutOfMemoryError: Java heap space
2093.20/1069.11	52:01 ERROR: Failed to solve instance
2093.20/1069.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2095.90/1071.55	52:03 ERROR: Failed to solve instance
2095.90/1071.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2096.00/1071.63	52:03 ERROR: Failed to solve instance
2096.00/1071.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2101.73/1076.32	52:08 ERROR: Failed to solve instance
2101.73/1076.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2102.24/1076.88	52:09 ERROR: Failed to solve instance
2102.24/1076.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2102.65/1077.22	52:09 ERROR: Failed to solve instance
2102.65/1077.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.47/1079.78	52:11 ERROR: Failed to solve instance
2105.47/1079.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2105.88/1080.16	52:12 ERROR: Failed to solve instance
2105.88/1080.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2106.60/1080.85	52:13 ERROR: Failed to solve instance
2106.60/1080.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2106.69/1080.96	52:13 ERROR: Failed to solve instance
2106.69/1080.96	java.lang.OutOfMemoryError: Java heap space
2107.00/1081.29	52:13 ERROR: Failed to solve instance
2107.00/1081.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2107.52/1081.72	52:13 ERROR: Failed to solve instance
2107.52/1081.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2115.31/1087.80	52:19 ERROR: Failed to solve instance
2115.31/1087.80	java.lang.OutOfMemoryError: Java heap space
2115.72/1088.30	52:20 ERROR: Failed to solve instance
2115.72/1088.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2116.13/1088.66	52:20 ERROR: Failed to solve instance
2116.13/1088.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2116.55/1089.05	52:21 ERROR: Failed to solve instance
2116.55/1089.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2116.98/1089.49	52:21 ERROR: Failed to solve instance
2116.98/1089.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2119.40/1091.53	52:23 ERROR: Failed to solve instance
2119.40/1091.53	java.lang.OutOfMemoryError: Java heap space
2125.63/1096.72	52:28 ERROR: Failed to solve instance
2125.63/1096.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2125.93/1097.09	52:29 ERROR: Failed to solve instance
2125.93/1097.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2126.75/1097.83	52:29 ERROR: Failed to solve instance
2126.75/1097.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2127.16/1098.24	52:30 ERROR: Failed to solve instance
2127.16/1098.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2136.57/1105.83	52:37 ERROR: Failed to solve instance
2136.57/1105.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2136.77/1106.09	52:38 ERROR: Failed to solve instance
2136.77/1106.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2138.93/1107.95	52:40 ERROR: Failed to solve instance
2138.93/1107.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2139.35/1108.36	52:40 ERROR: Failed to solve instance
2139.35/1108.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.16/1109.12	52:41 ERROR: Failed to solve instance
2140.16/1109.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.58/1109.53	52:41 ERROR: Failed to solve instance
2140.58/1109.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.09/1110.02	52:42 ERROR: Failed to solve instance
2141.09/1110.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2147.85/1115.62	52:47 ERROR: Failed to solve instance
2147.85/1115.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2148.27/1116.03	52:48 ERROR: Failed to solve instance
2148.27/1116.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2149.08/1116.82	52:48 ERROR: Failed to solve instance
2149.08/1116.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2149.49/1117.23	52:49 ERROR: Failed to solve instance
2149.49/1117.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2154.65/1121.34	52:53 ERROR: Failed to solve instance
2154.65/1121.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.47/1122.12	52:54 ERROR: Failed to solve instance
2155.47/1122.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.88/1122.53	52:54 ERROR: Failed to solve instance
2155.88/1122.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2156.19/1122.84	52:55 ERROR: Failed to solve instance
2156.19/1122.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2156.60/1123.25	52:55 ERROR: Failed to solve instance
2156.60/1123.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2159.24/1125.51	52:57 ERROR: Failed to solve instance
2159.24/1125.51	java.lang.OutOfMemoryError: Java heap space
2159.44/1125.70	52:57 ERROR: Failed to solve instance
2159.44/1125.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2164.77/1130.07	53:02 ERROR: Failed to solve instance
2164.77/1130.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2165.59/1130.82	53:02 ERROR: Failed to solve instance
2165.59/1130.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2166.00/1131.21	53:03 ERROR: Failed to solve instance
2166.00/1131.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2166.40/1131.62	53:03 ERROR: Failed to solve instance
2166.40/1131.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2166.82/1132.07	53:04 ERROR: Failed to solve instance
2166.82/1132.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2173.87/1137.96	53:10 ERROR: Failed to solve instance
2173.87/1137.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.39/1138.42	53:10 ERROR: Failed to solve instance
2174.39/1138.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.70/1138.78	53:10 ERROR: Failed to solve instance
2174.70/1138.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2178.24/1141.85	53:14 ERROR: Failed to solve instance
2178.24/1141.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2178.65/1142.24	53:14 ERROR: Failed to solve instance
2178.65/1142.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2179.46/1143.03	53:15 ERROR: Failed to solve instance
2179.46/1143.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2179.90/1143.50	53:15 ERROR: Failed to solve instance
2179.90/1143.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2180.31/1143.85	53:16 ERROR: Failed to solve instance
2180.31/1143.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.56/1147.03	53:19 ERROR: Failed to solve instance
2184.56/1147.03	java.lang.OutOfMemoryError: Java heap space
2189.16/1150.95	53:23 ERROR: Failed to solve instance
2189.16/1150.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2189.98/1151.76	53:23 ERROR: Failed to solve instance
2189.98/1151.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2190.18/1151.97	53:24 ERROR: Failed to solve instance
2190.18/1151.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.49/1156.31	53:28 ERROR: Failed to solve instance
2195.49/1156.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2195.91/1156.71	53:28 ERROR: Failed to solve instance
2195.91/1156.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2196.62/1157.46	53:29 ERROR: Failed to solve instance
2196.62/1157.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2197.04/1157.87	53:30 ERROR: Failed to solve instance
2197.04/1157.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2197.55/1158.32	53:30 ERROR: Failed to solve instance
2197.55/1158.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2203.78/1163.45	53:35 ERROR: Failed to solve instance
2203.78/1163.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2204.19/1163.87	53:36 ERROR: Failed to solve instance
2204.19/1163.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2204.71/1164.32	53:36 ERROR: Failed to solve instance
2204.71/1164.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2208.02/1167.18	53:39 ERROR: Failed to solve instance
2208.02/1167.18	java.lang.OutOfMemoryError: Java heap space
2208.22/1167.35	53:39 ERROR: Failed to solve instance
2208.22/1167.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2208.65/1167.71	53:39 ERROR: Failed to solve instance
2208.65/1167.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2211.20/1169.93	53:42 ERROR: Failed to solve instance
2211.20/1169.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.19/1174.16	53:46 ERROR: Failed to solve instance
2216.19/1174.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2218.20/1175.94	53:48 ERROR: Failed to solve instance
2218.20/1175.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2218.61/1176.33	53:48 ERROR: Failed to solve instance
2218.61/1176.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2219.02/1176.74	53:48 ERROR: Failed to solve instance
2219.02/1176.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2219.84/1177.51	53:49 ERROR: Failed to solve instance
2219.84/1177.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2220.25/1177.93	53:50 ERROR: Failed to solve instance
2220.25/1177.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2224.53/1181.49	53:53 ERROR: Failed to solve instance
2224.53/1181.49	java.lang.OutOfMemoryError: Java heap space
2227.54/1184.15	53:56 ERROR: Failed to solve instance
2227.54/1184.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.27/1186.55	53:58 ERROR: Failed to solve instance
2230.27/1186.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2230.68/1186.94	53:59 ERROR: Failed to solve instance
2230.68/1186.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2231.50/1187.73	53:59 ERROR: Failed to solve instance
2231.50/1187.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2231.91/1188.17	54:00 ERROR: Failed to solve instance
2231.91/1188.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2232.32/1188.58	54:00 ERROR: Failed to solve instance
2232.32/1188.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2238.70/1193.78	54:05 ERROR: Failed to solve instance
2238.70/1193.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.10/1196.77	54:08 ERROR: Failed to solve instance
2242.10/1196.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.30/1196.95	54:09 ERROR: Failed to solve instance
2242.30/1196.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.92/1197.58	54:09 ERROR: Failed to solve instance
2242.92/1197.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2243.32/1197.97	54:10 ERROR: Failed to solve instance
2243.32/1197.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2247.83/1201.74	54:13 ERROR: Failed to solve instance
2247.83/1201.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2248.45/1202.33	54:14 ERROR: Failed to solve instance
2248.45/1202.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2248.76/1202.69	54:14 ERROR: Failed to solve instance
2248.76/1202.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2251.71/1205.23	54:17 ERROR: Failed to solve instance
2251.71/1205.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.16/1210.76	54:22 ERROR: Failed to solve instance
2258.16/1210.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.57/1211.15	54:23 ERROR: Failed to solve instance
2258.57/1211.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.98/1211.56	54:23 ERROR: Failed to solve instance
2258.98/1211.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2259.91/1212.41	54:24 ERROR: Failed to solve instance
2259.91/1212.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2260.23/1212.80	54:24 ERROR: Failed to solve instance
2260.23/1212.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2260.74/1213.21	54:25 ERROR: Failed to solve instance
2260.74/1213.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2266.51/1217.94	54:30 ERROR: Failed to solve instance
2266.51/1217.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2267.14/1218.56	54:30 ERROR: Failed to solve instance
2267.14/1218.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2267.65/1219.03	54:31 ERROR: Failed to solve instance
2267.65/1219.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2274.85/1224.81	54:36 ERROR: Failed to solve instance
2274.85/1224.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2277.08/1226.87	54:39 ERROR: Failed to solve instance
2277.08/1226.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2277.50/1227.28	54:39 ERROR: Failed to solve instance
2277.50/1227.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2278.21/1227.99	54:40 ERROR: Failed to solve instance
2278.21/1227.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2278.63/1228.38	54:40 ERROR: Failed to solve instance
2278.63/1228.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2281.22/1230.72	54:42 ERROR: Failed to solve instance
2281.22/1230.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2281.63/1231.10	54:43 ERROR: Failed to solve instance
2281.63/1231.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.05/1231.55	54:43 ERROR: Failed to solve instance
2282.05/1231.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2289.82/1237.95	54:50 ERROR: Failed to solve instance
2289.82/1237.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2290.23/1238.33	54:50 ERROR: Failed to solve instance
2290.23/1238.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2290.64/1238.75	54:50 ERROR: Failed to solve instance
2290.64/1238.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2291.27/1239.39	54:51 ERROR: Failed to solve instance
2291.27/1239.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2293.70/1241.46	54:53 ERROR: Failed to solve instance
2293.70/1241.46	java.lang.OutOfMemoryError: Java heap space
2293.99/1241.78	54:53 ERROR: Failed to solve instance
2293.99/1241.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2294.51/1242.22	54:54 ERROR: Failed to solve instance
2294.51/1242.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2304.32/1250.38	55:02 ERROR: Failed to solve instance
2304.32/1250.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2304.73/1250.75	55:02 ERROR: Failed to solve instance
2304.73/1250.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2305.14/1251.14	55:03 ERROR: Failed to solve instance
2305.14/1251.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2305.44/1251.46	55:03 ERROR: Failed to solve instance
2305.44/1251.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2308.19/1253.86	55:06 ERROR: Failed to solve instance
2308.19/1253.86	java.lang.OutOfMemoryError: Java heap space
2308.40/1254.05	55:06 ERROR: Failed to solve instance
2308.40/1254.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2314.53/1259.12	55:11 ERROR: Failed to solve instance
2314.53/1259.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2315.24/1259.84	55:11 ERROR: Failed to solve instance
2315.24/1259.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2315.65/1260.23	55:12 ERROR: Failed to solve instance
2315.65/1260.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2316.06/1260.65	55:12 ERROR: Failed to solve instance
2316.06/1260.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2316.59/1261.11	55:13 ERROR: Failed to solve instance
2316.59/1261.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2323.34/1266.73	55:18 ERROR: Failed to solve instance
2323.34/1266.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2323.74/1267.11	55:19 ERROR: Failed to solve instance
2323.74/1267.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2330.14/1272.60	55:24 ERROR: Failed to solve instance
2330.14/1272.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2330.86/1273.32	55:25 ERROR: Failed to solve instance
2330.86/1273.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2331.26/1273.70	55:25 ERROR: Failed to solve instance
2331.26/1273.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2331.68/1274.11	55:26 ERROR: Failed to solve instance
2331.68/1274.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2332.09/1274.55	55:26 ERROR: Failed to solve instance
2332.09/1274.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2338.00/1279.33	55:31 ERROR: Failed to solve instance
2338.00/1279.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2338.72/1280.07	55:32 ERROR: Failed to solve instance
2338.72/1280.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2339.13/1280.46	55:32 ERROR: Failed to solve instance
2339.13/1280.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2339.54/1280.88	55:33 ERROR: Failed to solve instance
2339.54/1280.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2340.05/1281.35	55:33 ERROR: Failed to solve instance
2340.05/1281.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2345.88/1286.02	55:38 ERROR: Failed to solve instance
2345.88/1286.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2346.30/1286.42	55:38 ERROR: Failed to solve instance
2346.30/1286.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2347.01/1287.18	55:39 ERROR: Failed to solve instance
2347.01/1287.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2347.43/1287.59	55:39 ERROR: Failed to solve instance
2347.43/1287.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2352.83/1292.02	55:44 ERROR: Failed to solve instance
2352.83/1292.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.24/1292.40	55:44 ERROR: Failed to solve instance
2353.24/1292.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.65/1292.81	55:44 ERROR: Failed to solve instance
2353.65/1292.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2354.36/1293.59	55:45 ERROR: Failed to solve instance
2354.36/1293.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2354.88/1294.02	55:46 ERROR: Failed to solve instance
2354.88/1294.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2360.19/1298.22	55:50 ERROR: Failed to solve instance
2360.19/1298.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2360.61/1298.63	55:50 ERROR: Failed to solve instance
2360.61/1298.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2361.32/1299.38	55:51 ERROR: Failed to solve instance
2361.32/1299.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2361.83/1299.80	55:51 ERROR: Failed to solve instance
2361.83/1299.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2362.24/1300.24	55:52 ERROR: Failed to solve instance
2362.24/1300.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2362.64/1300.62	55:52 ERROR: Failed to solve instance
2362.64/1300.62	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-3312387-1304112851/watcher-3312387-1304112851 -o /tmp/evaluation-result-3312387-1304112851/solver-3312387-1304112851 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312387-1304112851.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.68 5.12 6.14 2/198 27040
/proc/meminfo: memFree=11946788/32951124 swapFree=67111524/67111528
[pid=27040] ppid=27038 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/27040/stat : 27040 (java) R 27038 27040 26898 0 -1 4202496 926 0 0 0 0 0 0 0 22 0 1 0 522883137 23580672 414 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228117751573 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/27040/statm: 5757 425 329 9 0 124 0

[startup+0.065829 s]
/proc/loadavg: 4.68 5.12 6.14 2/198 27040
/proc/meminfo: memFree=11946788/32951124 swapFree=67111524/67111528
[pid=27040] ppid=27038 vsize=15609780 CPUtime=0.04 cores=1,3,5,7
/proc/27040/stat : 27040 (java) S 27038 27040 26898 0 -1 4202496 4300 0 1 0 4 0 0 0 22 0 18 0 522883137 15984414720 3741 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27040/statm: 3902445 3742 1778 9 0 3893164 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609780

[startup+0.100824 s]
/proc/loadavg: 4.68 5.12 6.14 2/198 27040
/proc/meminfo: memFree=11946788/32951124 swapFree=67111524/67111528
[pid=27040] ppid=27038 vsize=15676892 CPUtime=0.1 cores=1,3,5,7
/proc/27040/stat : 27040 (java) S 27038 27040 26898 0 -1 4202496 5574 0 1 0 9 1 0 0 22 0 18 0 522883137 16053137408 4977 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27040/statm: 3919223 4977 2116 9 0 3909942 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676892

[startup+0.30079 s]
/proc/loadavg: 4.68 5.12 6.14 2/198 27040
/proc/meminfo: memFree=11946788/32951124 swapFree=67111524/67111528
[pid=27040] ppid=27038 vsize=15680336 CPUtime=0.51 cores=1,3,5,7
/proc/27040/stat : 27040 (java) S 27038 27040 26898 0 -1 4202496 15052 0 1 0 48 3 0 0 22 0 18 0 522883137 16056664064 13494 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27040/statm: 3920084 13499 2206 9 0 3910803 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680336

[startup+0.700725 s]
/proc/loadavg: 4.68 5.12 6.14 2/198 27040
/proc/meminfo: memFree=11946788/32951124 swapFree=67111524/67111528
[pid=27040] ppid=27038 vsize=15680336 CPUtime=0.92 cores=1,3,5,7
/proc/27040/stat : 27040 (java) S 27038 27040 26898 0 -1 4202496 41843 0 1 0 86 6 0 0 22 0 18 0 522883137 16056664064 40282 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27040/statm: 3920084 40282 2222 9 0 3910803 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15680336

[startup+1.50158 s]
/proc/loadavg: 4.68 5.12 6.14 3/220 27062
/proc/meminfo: memFree=11791924/32951124 swapFree=67111524/67111528
[pid=27040] ppid=27038 vsize=15692196 CPUtime=2.25 cores=1,3,5,7
/proc/27040/stat : 27040 (java) S 27038 27040 26898 0 -1 4202496 46707 0 1 0 217 8 0 0 22 0 22 0 522883137 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27040/statm: 3923049 43825 2264 9 0 3913768 0
[pid=27040/tid=27042] ppid=27038 vsize=15692196 CPUtime=1.47 cores=1,3,5,7
/proc/27040/task/27042/stat : 27042 (java) R 27038 27040 26898 0 -1 4202560 35639 0 1 0 142 5 0 0 21 0 22 0 522883137 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 46912505719110 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27040/tid=27043] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27043/stat : 27043 (java) S 27038 27040 26898 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 522883138 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27044] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27044/stat : 27044 (java) S 27038 27040 26898 0 -1 4202560 721 0 0 0 0 0 0 0 18 0 22 0 522883138 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27045] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27045/stat : 27045 (java) S 27038 27040 26898 0 -1 4202560 282 0 0 0 0 0 0 0 18 0 22 0 522883138 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27046] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27046/stat : 27046 (java) S 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 522883138 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27047] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27047/stat : 27047 (java) S 27038 27040 26898 0 -1 4202560 20 0 0 0 0 0 0 0 18 0 22 0 522883138 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27048] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27048/stat : 27048 (java) S 27038 27040 26898 0 -1 4202560 22 0 0 0 0 0 0 0 18 0 22 0 522883138 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27049] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27049/stat : 27049 (java) S 27038 27040 26898 0 -1 4202560 70 0 0 0 0 0 0 0 18 0 22 0 522883138 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27050] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27050/stat : 27050 (java) S 27038 27040 26898 0 -1 4202560 373 0 0 0 0 0 0 0 18 0 22 0 522883138 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27051] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27051/stat : 27051 (java) S 27038 27040 26898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522883139 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134530560 0 0 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27052] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27052/stat : 27052 (java) S 27038 27040 26898 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522883139 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27053] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27053/stat : 27053 (java) S 27038 27040 26898 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522883139 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27054] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27054/stat : 27054 (java) S 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522883142 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134537649 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27055] ppid=27038 vsize=15692196 CPUtime=0.36 cores=1,3,5,7
/proc/27040/task/27055/stat : 27055 (java) R 27038 27040 26898 0 -1 4202560 3561 0 0 0 36 0 0 0 16 0 22 0 522883142 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 47427363714658 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27040/tid=27056] ppid=27038 vsize=15692196 CPUtime=0.36 cores=1,3,5,7
/proc/27040/task/27056/stat : 27056 (java) S 27038 27040 26898 0 -1 4202560 4568 0 0 0 36 0 0 0 15 0 22 0 522883142 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27057] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27057/stat : 27057 (java) S 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522883142 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27058] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27058/stat : 27058 (java) S 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522883142 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134530560 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27059] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27059/stat : 27059 (java) S 27038 27040 26898 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 522883221 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134530560 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27060] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27060/stat : 27060 (java) S 27038 27040 26898 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 522883221 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134530560 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27061] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27061/stat : 27061 (java) S 27038 27040 26898 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522883221 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134530560 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27062] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27062/stat : 27062 (java) S 27038 27040 26898 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522883222 16068808704 43825 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134530560 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 15692196

[startup+3.11059 s]
/proc/loadavg: 4.68 5.12 6.14 4/220 27062
/proc/meminfo: memFree=11778656/32951124 swapFree=67111524/67111528
[pid=27040] ppid=27038 vsize=15692196 CPUtime=5.57 cores=1,3,5,7
/proc/27040/stat : 27040 (java) S 27038 27040 26898 0 -1 4202496 75193 0 1 0 545 12 0 0 22 0 22 0 522883137 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27040/statm: 3923049 72208 2274 9 0 3913768 0
[pid=27040/tid=27042] ppid=27038 vsize=15692196 CPUtime=2.06 cores=1,3,5,7
/proc/27040/task/27042/stat : 27042 (java) S 27038 27040 26898 0 -1 4202560 35690 0 1 0 200 6 0 0 22 0 22 0 522883137 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27043] ppid=27038 vsize=15692196 CPUtime=0.03 cores=1,3,5,7
/proc/27040/task/27043/stat : 27043 (java) R 27038 27040 26898 0 -1 4202560 4757 0 0 0 3 0 0 0 15 0 22 0 522883138 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228122667319 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27040/tid=27044] ppid=27038 vsize=15692196 CPUtime=0.02 cores=1,3,5,7
/proc/27040/task/27044/stat : 27044 (java) R 27038 27040 26898 0 -1 4202560 5104 0 0 0 1 1 0 0 15 0 22 0 522883138 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228122667319 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27040/tid=27045] ppid=27038 vsize=15692196 CPUtime=0.02 cores=1,3,5,7
/proc/27040/task/27045/stat : 27045 (java) S 27038 27040 26898 0 -1 4202560 4162 0 0 0 2 0 0 0 16 0 22 0 522883138 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27046] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27046/stat : 27046 (java) R 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522883138 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27040/tid=27047] ppid=27038 vsize=15692196 CPUtime=0.03 cores=1,3,5,7
/proc/27040/task/27047/stat : 27047 (java) R 27038 27040 26898 0 -1 4202560 6111 0 0 0 3 0 0 0 15 0 22 0 522883138 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228122667319 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27040/tid=27048] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27048/stat : 27048 (java) R 27038 27040 26898 0 -1 4202560 2069 0 0 0 0 0 0 0 15 0 22 0 522883138 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228122667319 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27040/tid=27049] ppid=27038 vsize=15692196 CPUtime=0.02 cores=1,3,5,7
/proc/27040/task/27049/stat : 27049 (java) R 27038 27040 26898 0 -1 4202560 2818 0 0 0 2 0 0 0 15 0 22 0 522883138 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228122667319 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27040/tid=27050] ppid=27038 vsize=15692196 CPUtime=0.03 cores=1,3,5,7
/proc/27040/task/27050/stat : 27050 (java) R 27038 27040 26898 0 -1 4202560 4703 0 0 0 3 0 0 0 15 0 22 0 522883138 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228122667319 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27040/tid=27051] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27051/stat : 27051 (java) S 27038 27040 26898 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 22 0 522883139 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 0 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27052] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27052/stat : 27052 (java) S 27038 27040 26898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522883139 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27053] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27053/stat : 27053 (java) S 27038 27040 26898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522883139 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27054] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27054/stat : 27054 (java) S 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522883142 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134537649 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27055] ppid=27038 vsize=15692196 CPUtime=0.98 cores=1,3,5,7
/proc/27040/task/27055/stat : 27055 (java) S 27038 27040 26898 0 -1 4202560 3646 0 0 0 98 0 0 0 15 0 22 0 522883142 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27056] ppid=27038 vsize=15692196 CPUtime=0.64 cores=1,3,5,7
/proc/27040/task/27056/stat : 27056 (java) S 27038 27040 26898 0 -1 4202560 4602 0 0 0 64 0 0 0 15 0 22 0 522883142 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27057] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27057/stat : 27057 (java) S 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522883142 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27058] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27058/stat : 27058 (java) S 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522883142 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134530560 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27059] ppid=27038 vsize=15692196 CPUtime=0.45 cores=1,3,5,7
/proc/27040/task/27059/stat : 27059 (java) S 27038 27040 26898 0 -1 4202560 18 0 0 0 45 0 0 0 16 0 22 0 522883221 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27060] ppid=27038 vsize=15692196 CPUtime=0.1 cores=1,3,5,7
/proc/27040/task/27060/stat : 27060 (java) S 27038 27040 26898 0 -1 4202560 9 0 0 0 10 0 0 0 15 0 22 0 522883221 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27061] ppid=27038 vsize=15692196 CPUtime=0.64 cores=1,3,5,7
/proc/27040/task/27061/stat : 27061 (java) S 27038 27040 26898 0 -1 4202560 9 0 0 0 64 0 0 0 15 0 22 0 522883221 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27062] ppid=27038 vsize=15692196 CPUtime=0.42 cores=1,3,5,7
/proc/27040/task/27062/stat : 27062 (java) S 27038 27040 26898 0 -1 4202560 20 0 0 0 42 0 0 0 15 0 22 0 522883222 16068808704 72208 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134530560 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 15692196

[startup+6.30168 s]
/proc/loadavg: 4.55 5.09 6.12 10/220 27062
/proc/meminfo: memFree=11142408/32951124 swapFree=67111524/67111528
[pid=27040] ppid=27038 vsize=15692196 CPUtime=17.7 cores=1,3,5,7
/proc/27040/stat : 27040 (java) S 27038 27040 26898 0 -1 4202496 244902 0 1 0 1736 34 0 0 22 0 22 0 522883137 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27040/statm: 3923049 241546 2274 9 0 3913768 0
[pid=27040/tid=27042] ppid=27038 vsize=15692196 CPUtime=2.06 cores=1,3,5,7
/proc/27040/task/27042/stat : 27042 (java) S 27038 27040 26898 0 -1 4202560 35690 0 1 0 200 6 0 0 22 0 22 0 522883137 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27043] ppid=27038 vsize=15692196 CPUtime=0.11 cores=1,3,5,7
/proc/27040/task/27043/stat : 27043 (java) S 27038 27040 26898 0 -1 4202560 21488 0 0 0 9 2 0 0 15 0 22 0 522883138 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27044] ppid=27038 vsize=15692196 CPUtime=0.05 cores=1,3,5,7
/proc/27040/task/27044/stat : 27044 (java) S 27038 27040 26898 0 -1 4202560 10280 0 0 0 4 1 0 0 15 0 22 0 522883138 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27045] ppid=27038 vsize=15692196 CPUtime=0.12 cores=1,3,5,7
/proc/27040/task/27045/stat : 27045 (java) S 27038 27040 26898 0 -1 4202560 21550 0 0 0 9 3 0 0 16 0 22 0 522883138 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27046] ppid=27038 vsize=15692196 CPUtime=0.1 cores=1,3,5,7
/proc/27040/task/27046/stat : 27046 (java) S 27038 27040 26898 0 -1 4202560 18484 0 0 0 8 2 0 0 16 0 22 0 522883138 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27047] ppid=27038 vsize=15692196 CPUtime=0.07 cores=1,3,5,7
/proc/27040/task/27047/stat : 27047 (java) S 27038 27040 26898 0 -1 4202560 11941 0 0 0 6 1 0 0 16 0 22 0 522883138 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27048] ppid=27038 vsize=15692196 CPUtime=0.13 cores=1,3,5,7
/proc/27040/task/27048/stat : 27048 (java) S 27038 27040 26898 0 -1 4202560 26324 0 0 0 9 4 0 0 16 0 22 0 522883138 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27049] ppid=27038 vsize=15692196 CPUtime=0.09 cores=1,3,5,7
/proc/27040/task/27049/stat : 27049 (java) S 27038 27040 26898 0 -1 4202560 18847 0 0 0 7 2 0 0 16 0 22 0 522883138 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27050] ppid=27038 vsize=15692196 CPUtime=0.13 cores=1,3,5,7
/proc/27040/task/27050/stat : 27050 (java) S 27038 27040 26898 0 -1 4202560 23657 0 0 0 11 2 0 0 16 0 22 0 522883138 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27051] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27051/stat : 27051 (java) S 27038 27040 26898 0 -1 4202560 428 0 0 0 0 0 0 0 15 0 22 0 522883139 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134530560 0 0 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27052] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27052/stat : 27052 (java) S 27038 27040 26898 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522883139 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27053] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27053/stat : 27053 (java) S 27038 27040 26898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522883139 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27054] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27054/stat : 27054 (java) S 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522883142 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134537649 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27055] ppid=27038 vsize=15692196 CPUtime=1.02 cores=1,3,5,7
/proc/27040/task/27055/stat : 27055 (java) S 27038 27040 26898 0 -1 4202560 3649 0 0 0 102 0 0 0 15 0 22 0 522883142 16068808704 241546 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0

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

[pid=27040] ppid=27038 vsize=15692196 CPUtime=2294.62 cores=1,3,5,7
/proc/27040/stat : 27040 (java) S 27038 27040 26898 0 -1 4202496 3883760 0 1 0 228764 698 0 0 22 0 21 0 522883137 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27040/statm: 3923049 3854693 2294 9 0 3913768 0
[pid=27040/tid=27042] ppid=27038 vsize=15692196 CPUtime=2.06 cores=1,3,5,7
/proc/27040/task/27042/stat : 27042 (java) S 27038 27040 26898 0 -1 4202560 35690 0 1 0 200 6 0 0 22 0 21 0 522883137 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27043] ppid=27038 vsize=15692196 CPUtime=2.64 cores=1,3,5,7
/proc/27040/task/27043/stat : 27043 (java) S 27038 27040 26898 0 -1 4202560 349565 0 0 0 211 53 0 0 16 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27044] ppid=27038 vsize=15692196 CPUtime=3.15 cores=1,3,5,7
/proc/27040/task/27044/stat : 27044 (java) S 27038 27040 26898 0 -1 4202560 394742 0 0 0 252 63 0 0 16 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27045] ppid=27038 vsize=15692196 CPUtime=2.99 cores=1,3,5,7
/proc/27040/task/27045/stat : 27045 (java) S 27038 27040 26898 0 -1 4202560 343836 0 0 0 244 55 0 0 16 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27046] ppid=27038 vsize=15692196 CPUtime=2.7 cores=1,3,5,7
/proc/27040/task/27046/stat : 27046 (java) S 27038 27040 26898 0 -1 4202560 348759 0 0 0 212 58 0 0 16 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27047] ppid=27038 vsize=15692196 CPUtime=1.98 cores=1,3,5,7
/proc/27040/task/27047/stat : 27047 (java) S 27038 27040 26898 0 -1 4202560 249239 0 0 0 154 44 0 0 15 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27048] ppid=27038 vsize=15692196 CPUtime=2.85 cores=1,3,5,7
/proc/27040/task/27048/stat : 27048 (java) S 27038 27040 26898 0 -1 4202560 422199 0 0 0 215 70 0 0 16 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27049] ppid=27038 vsize=15692196 CPUtime=2.9 cores=1,3,5,7
/proc/27040/task/27049/stat : 27049 (java) S 27038 27040 26898 0 -1 4202560 399851 0 0 0 227 63 0 0 15 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27050] ppid=27038 vsize=15692196 CPUtime=3.21 cores=1,3,5,7
/proc/27040/task/27050/stat : 27050 (java) S 27038 27040 26898 0 -1 4202560 396078 0 0 0 255 66 0 0 16 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27051] ppid=27038 vsize=15692196 CPUtime=871.01 cores=1,3,5,7
/proc/27040/task/27051/stat : 27051 (java) R 27038 27040 26898 0 -1 4202560 607167 0 0 0 86973 128 0 0 18 0 21 0 522883139 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 47427364299126 0 0 0 16800975 0 0 0 -1 7 0 0 0
[pid=27040/tid=27052] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27052/stat : 27052 (java) S 27038 27040 26898 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 522883139 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27053] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27053/stat : 27053 (java) S 27038 27040 26898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 522883139 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27054] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27054/stat : 27054 (java) S 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522883142 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134537649 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27055] ppid=27038 vsize=15692196 CPUtime=1.25 cores=1,3,5,7
/proc/27040/task/27055/stat : 27055 (java) S 27038 27040 26898 0 -1 4202560 3684 0 0 0 124 1 0 0 15 0 21 0 522883142 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27056] ppid=27038 vsize=15692196 CPUtime=0.65 cores=1,3,5,7
/proc/27040/task/27056/stat : 27056 (java) S 27038 27040 26898 0 -1 4202560 4602 0 0 0 65 0 0 0 16 0 21 0 522883142 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27057] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27057/stat : 27057 (java) S 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522883142 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27058] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27058/stat : 27058 (java) S 27038 27040 26898 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 21 0 522883142 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134530560 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27060] ppid=27038 vsize=15692196 CPUtime=361.32 cores=1,3,5,7
/proc/27040/task/27060/stat : 27060 (java) S 27038 27040 26898 0 -1 4202560 71572 0 0 0 36111 21 0 0 15 0 21 0 522883221 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27061] ppid=27038 vsize=15692196 CPUtime=361.66 cores=1,3,5,7
/proc/27040/task/27061/stat : 27061 (java) S 27038 27040 26898 0 -1 4202560 80389 0 0 0 36144 22 0 0 15 0 21 0 522883221 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27062] ppid=27038 vsize=15692196 CPUtime=359.82 cores=1,3,5,7
/proc/27040/task/27062/stat : 27062 (java) S 27038 27040 26898 0 -1 4202560 98874 0 0 0 35956 26 0 0 16 0 21 0 522883222 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2294.62
Current children cumulated vsize (KiB) 15692196



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.96 5.23 5.64 3/215 27193
/proc/meminfo: memFree=11819244/32951124 swapFree=67111524/67111528
[pid=27040] ppid=27038 vsize=15692196 CPUtime=2362.05 cores=1,3,5,7
/proc/27040/stat : 27040 (java) S 27038 27040 26898 0 -1 4202496 3884249 0 1 0 235499 706 0 0 22 0 21 0 522883137 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27040/statm: 3923049 3854693 2294 9 0 3913768 0
[pid=27040/tid=27042] ppid=27038 vsize=15692196 CPUtime=2.06 cores=1,3,5,7
/proc/27040/task/27042/stat : 27042 (java) S 27038 27040 26898 0 -1 4202560 35690 0 1 0 200 6 0 0 22 0 21 0 522883137 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27043] ppid=27038 vsize=15692196 CPUtime=2.64 cores=1,3,5,7
/proc/27040/task/27043/stat : 27043 (java) S 27038 27040 26898 0 -1 4202560 349565 0 0 0 211 53 0 0 16 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27044] ppid=27038 vsize=15692196 CPUtime=3.15 cores=1,3,5,7
/proc/27040/task/27044/stat : 27044 (java) S 27038 27040 26898 0 -1 4202560 394742 0 0 0 252 63 0 0 16 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27045] ppid=27038 vsize=15692196 CPUtime=2.99 cores=1,3,5,7
/proc/27040/task/27045/stat : 27045 (java) S 27038 27040 26898 0 -1 4202560 343836 0 0 0 244 55 0 0 16 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27046] ppid=27038 vsize=15692196 CPUtime=2.7 cores=1,3,5,7
/proc/27040/task/27046/stat : 27046 (java) S 27038 27040 26898 0 -1 4202560 348759 0 0 0 212 58 0 0 16 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27047] ppid=27038 vsize=15692196 CPUtime=1.98 cores=1,3,5,7
/proc/27040/task/27047/stat : 27047 (java) S 27038 27040 26898 0 -1 4202560 249239 0 0 0 154 44 0 0 15 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27048] ppid=27038 vsize=15692196 CPUtime=2.85 cores=1,3,5,7
/proc/27040/task/27048/stat : 27048 (java) S 27038 27040 26898 0 -1 4202560 422199 0 0 0 215 70 0 0 16 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27049] ppid=27038 vsize=15692196 CPUtime=2.9 cores=1,3,5,7
/proc/27040/task/27049/stat : 27049 (java) S 27038 27040 26898 0 -1 4202560 399851 0 0 0 227 63 0 0 15 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27050] ppid=27038 vsize=15692196 CPUtime=3.21 cores=1,3,5,7
/proc/27040/task/27050/stat : 27050 (java) S 27038 27040 26898 0 -1 4202560 396078 0 0 0 255 66 0 0 16 0 21 0 522883138 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27051] ppid=27038 vsize=15692196 CPUtime=923.73 cores=1,3,5,7
/proc/27040/task/27051/stat : 27051 (java) R 27038 27040 26898 0 -1 4202560 607171 0 0 0 92239 134 0 0 18 0 21 0 522883139 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 47427364299068 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=27040/tid=27052] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27052/stat : 27052 (java) S 27038 27040 26898 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 522883139 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27053] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27053/stat : 27053 (java) S 27038 27040 26898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 522883139 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27054] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27054/stat : 27054 (java) S 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522883142 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134537649 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27055] ppid=27038 vsize=15692196 CPUtime=1.25 cores=1,3,5,7
/proc/27040/task/27055/stat : 27055 (java) S 27038 27040 26898 0 -1 4202560 3684 0 0 0 124 1 0 0 15 0 21 0 522883142 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27056] ppid=27038 vsize=15692196 CPUtime=0.65 cores=1,3,5,7
/proc/27040/task/27056/stat : 27056 (java) S 27038 27040 26898 0 -1 4202560 4602 0 0 0 65 0 0 0 16 0 21 0 522883142 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27057] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27057/stat : 27057 (java) S 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522883142 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27058] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27058/stat : 27058 (java) S 27038 27040 26898 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 21 0 522883142 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134530560 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27060] ppid=27038 vsize=15692196 CPUtime=366.21 cores=1,3,5,7
/proc/27040/task/27060/stat : 27060 (java) S 27038 27040 26898 0 -1 4202560 71775 0 0 0 36600 21 0 0 15 0 21 0 522883221 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27061] ppid=27038 vsize=15692196 CPUtime=366.56 cores=1,3,5,7
/proc/27040/task/27061/stat : 27061 (java) S 27038 27040 26898 0 -1 4202560 80533 0 0 0 36633 23 0 0 15 0 21 0 522883221 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27062] ppid=27038 vsize=15692196 CPUtime=364.74 cores=1,3,5,7
/proc/27040/task/27062/stat : 27062 (java) S 27038 27040 26898 0 -1 4202560 99008 0 0 0 36446 28 0 0 15 0 21 0 522883222 16068808704 3854693 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2362.05
Current children cumulated vsize (KiB) 15692196

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

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

[startup+1300.4 s]
/proc/loadavg: 4.96 5.23 5.64 3/215 27193
/proc/meminfo: memFree=11819244/32951124 swapFree=67111524/67111528
[pid=27040] ppid=27038 vsize=15692196 CPUtime=2362.44 cores=1,3,5,7
/proc/27040/stat : 27040 (java) S 27038 27040 26898 0 -1 4202496 3884259 0 1 0 235538 706 0 0 18 0 21 0 522883137 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0
/proc/27040/statm: 3923049 3854700 2294 9 0 3913768 0
[pid=27040/tid=27042] ppid=27038 vsize=15692196 CPUtime=2.06 cores=1,3,5,7
/proc/27040/task/27042/stat : 27042 (java) S 27038 27040 26898 0 -1 4202560 35690 0 1 0 200 6 0 0 22 0 21 0 522883137 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27043] ppid=27038 vsize=15692196 CPUtime=2.64 cores=1,3,5,7
/proc/27040/task/27043/stat : 27043 (java) S 27038 27040 26898 0 -1 4202560 349565 0 0 0 211 53 0 0 16 0 21 0 522883138 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27044] ppid=27038 vsize=15692196 CPUtime=3.15 cores=1,3,5,7
/proc/27040/task/27044/stat : 27044 (java) S 27038 27040 26898 0 -1 4202560 394742 0 0 0 252 63 0 0 16 0 21 0 522883138 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27045] ppid=27038 vsize=15692196 CPUtime=2.99 cores=1,3,5,7
/proc/27040/task/27045/stat : 27045 (java) S 27038 27040 26898 0 -1 4202560 343836 0 0 0 244 55 0 0 16 0 21 0 522883138 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27046] ppid=27038 vsize=15692196 CPUtime=2.7 cores=1,3,5,7
/proc/27040/task/27046/stat : 27046 (java) S 27038 27040 26898 0 -1 4202560 348759 0 0 0 212 58 0 0 16 0 21 0 522883138 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27047] ppid=27038 vsize=15692196 CPUtime=1.98 cores=1,3,5,7
/proc/27040/task/27047/stat : 27047 (java) S 27038 27040 26898 0 -1 4202560 249239 0 0 0 154 44 0 0 15 0 21 0 522883138 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27048] ppid=27038 vsize=15692196 CPUtime=2.85 cores=1,3,5,7
/proc/27040/task/27048/stat : 27048 (java) S 27038 27040 26898 0 -1 4202560 422199 0 0 0 215 70 0 0 16 0 21 0 522883138 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27049] ppid=27038 vsize=15692196 CPUtime=2.9 cores=1,3,5,7
/proc/27040/task/27049/stat : 27049 (java) S 27038 27040 26898 0 -1 4202560 399851 0 0 0 227 63 0 0 15 0 21 0 522883138 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27050] ppid=27038 vsize=15692196 CPUtime=3.21 cores=1,3,5,7
/proc/27040/task/27050/stat : 27050 (java) S 27038 27040 26898 0 -1 4202560 396078 0 0 0 255 66 0 0 16 0 21 0 522883138 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27051] ppid=27038 vsize=15692196 CPUtime=924.13 cores=1,3,5,7
/proc/27040/task/27051/stat : 27051 (java) R 27038 27040 26898 0 -1 4202560 607171 0 0 0 92279 134 0 0 18 0 21 0 522883139 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 47427364299121 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=27040/tid=27052] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27052/stat : 27052 (java) S 27038 27040 26898 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 21 0 522883139 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27053] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27053/stat : 27053 (java) S 27038 27040 26898 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 522883139 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27054] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27054/stat : 27054 (java) S 27038 27040 26898 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 21 0 522883142 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 7 0 0 0
[pid=27040/tid=27055] ppid=27038 vsize=15692196 CPUtime=1.25 cores=1,3,5,7
/proc/27040/task/27055/stat : 27055 (java) S 27038 27040 26898 0 -1 4202560 3684 0 0 0 124 1 0 0 15 0 21 0 522883142 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27056] ppid=27038 vsize=15692196 CPUtime=0.65 cores=1,3,5,7
/proc/27040/task/27056/stat : 27056 (java) S 27038 27040 26898 0 -1 4202560 4602 0 0 0 65 0 0 0 16 0 21 0 522883142 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27057] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27057/stat : 27057 (java) S 27038 27040 26898 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 522883142 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
[pid=27040/tid=27058] ppid=27038 vsize=15692196 CPUtime=0 cores=1,3,5,7
/proc/27040/task/27058/stat : 27058 (java) S 27038 27040 26898 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 21 0 522883142 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134530560 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27060] ppid=27038 vsize=15692196 CPUtime=366.21 cores=1,3,5,7
/proc/27040/task/27060/stat : 27060 (java) S 27038 27040 26898 0 -1 4202560 71775 0 0 0 36600 21 0 0 16 0 21 0 522883221 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 3 0 0 0
[pid=27040/tid=27061] ppid=27038 vsize=15692196 CPUtime=366.56 cores=1,3,5,7
/proc/27040/task/27061/stat : 27061 (java) S 27038 27040 26898 0 -1 4202560 80533 0 0 0 36633 23 0 0 15 0 21 0 522883221 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 1 0 0 0
[pid=27040/tid=27062] ppid=27038 vsize=15692196 CPUtime=364.74 cores=1,3,5,7
/proc/27040/task/27062/stat : 27062 (java) S 27038 27040 26898 0 -1 4202560 99008 0 0 0 36446 28 0 0 15 0 21 0 522883222 16068808704 3854700 33554432000 1073741824 1073778376 140735339698928 18446744073709551615 228134529945 0 4 0 16800975 18446604470071897088 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2362.44
Current children cumulated vsize (KiB) 15692196

[startup+1301.2 s]
/proc/loadavg: 4.96 5.23 5.64 4/221 27199
/proc/meminfo: memFree=11783236/32951124 swapFree=67111524/67111528
[pid=27040] ppid=27038 vsize=0 CPUtime=2363.26 cores=1,3,5,7
/proc/27040/stat : 27040 (java) R 27038 27040 26898 0 -1 4203524 3884276 0 1 0 235609 717 0 0 18 0 1 0 522883137 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27040/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2363.26
Current children cumulated vsize (KiB) 0

[startup+1301.6 s]
/proc/loadavg: 4.96 5.23 5.64 4/221 27199
/proc/meminfo: memFree=11783236/32951124 swapFree=67111524/67111528
[pid=27040] ppid=27038 vsize=0 CPUtime=2363.66 cores=1,3,5,7
/proc/27040/stat : 27040 (java) R 27038 27040 26898 0 -1 4203524 3884276 0 1 0 235609 757 0 0 18 0 1 0 522883137 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27040/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2363.66
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1301.63
CPU time (s): 2363.7
CPU user time (s): 2356.1
CPU system time (s): 7.60584
CPU usage (%): 181.595
Max. virtual memory (cumulated for all children) (KiB): 15692196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2356.1
system time used= 7.60584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3884276
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= 75279
involuntary context switches= 45236

runsolver used 2.24666 second user time and 5.00424 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-29 23:34:12
IDJOB=3312387
IDBENCH=82572
IDSOLVER=1699
FILE ID=node138/3312387-1304112851
RUNJOBID= node138-1304111642-26917
PBS_JOBID= 13170689
Free space on /tmp= 71808 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312387-1304112851/watcher-3312387-1304112851 -o /tmp/evaluation-result-3312387-1304112851/solver-3312387-1304112851 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312387-1304112851.cnf

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

MD5SUM BENCH= e27af9a147b2d7c0283d090128805575
RANDOM SEED=1894707642

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.854
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:      11947068 kB
Buffers:       1141444 kB
Cached:        3865460 kB
SwapCached:          4 kB
Active:       15601768 kB
Inactive:      4904892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11947068 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            4324 kB
Writeback:           0 kB
AnonPages:    15499556 kB
Mapped:          23444 kB
Slab:           404920 kB
PageTables:      34624 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 15685168 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71808 MiB
End job on node138 at 2011-04-29 23:55:54