Trace number 3312334

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) 2338.22 1301.04

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf
MD5SUM07407a86c8d0f1e46c34022f68908549
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark606.272
Satisfiable
(Un)Satisfiability was proved
Number of variables35000
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	04:13 INFO : Reading from input HOME/instance-3312334-1304111053.cnf
1.01/0.83	Executor set job limit to 1000000
1.01/0.83	Executor set job limit to 1000000
1.01/0.83	Executor set job limit to 1000000
1.01/0.83	Executor set job limit to 1000000
1.01/0.83	Starting Executor!
1.01/0.83	Starting Executor!
1.01/0.83	Starting Executor!
1.01/0.84	Starting Executor!
3.07/2.09	04:15 INFO : 34877 variables remaining out of 35000
3.07/2.09	04:15 INFO : 584916 literals remaining out of 588000
1214.34/330.71	09:41 ERROR: Failed to solve instance
1214.34/330.71	java.lang.OutOfMemoryError: Java heap space
1214.34/330.71		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:223)
1214.34/330.71		at gnu.trove.THash.postInsertHook(THash.java:370)
1214.34/330.71		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1214.34/330.71		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1214.34/330.71		at ibis.structure.Subsumming.run(Subsumming.java:58)
1214.34/330.71		at ibis.structure.Solver.simplify(Solver.java:205)
1214.34/330.71		at ibis.structure.Solver.solve(Solver.java:113)
1214.34/330.71		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1214.34/330.71		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1214.34/330.71		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1214.34/330.71		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1214.34/330.71		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1214.34/330.71		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1214.34/330.71		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1214.34/330.71		at ibis.constellation.Executor.processActivities(Executor.java:75)
1214.34/330.71		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1214.34/330.71		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1214.34/330.71		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1214.34/330.71	09:44 ERROR: Failed to solve instance
1214.34/330.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1214.34/330.71		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1214.34/330.71		at gnu.trove.THash.postInsertHook(THash.java:370)
1214.34/330.71		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1214.34/330.71		at ibis.structure.WatchLists.build(WatchLists.java:56)
1214.34/330.71		at ibis.structure.Solver.<init>(Solver.java:45)
1214.34/330.71		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1214.34/330.71		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1214.34/330.71		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1214.34/330.71		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1214.34/330.71		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1214.34/330.71		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1214.34/330.71		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1214.34/330.71		at ibis.constellation.Executor.processActivities(Executor.java:75)
1214.34/330.71		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1214.34/330.71		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1214.34/330.71		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1216.76/333.20	09:46 ERROR: Failed to solve instance
1216.76/333.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1216.76/333.20		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1216.76/333.20		at gnu.trove.THash.postInsertHook(THash.java:370)
1216.76/333.20		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1216.76/333.20		at ibis.structure.WatchLists.build(WatchLists.java:56)
1216.76/333.20		at ibis.structure.Solver.<init>(Solver.java:45)
1216.76/333.20		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1216.76/333.20		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1216.76/333.20		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1216.76/333.20		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1216.76/333.20		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1216.76/333.20		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1216.76/333.20		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1216.76/333.20		at ibis.constellation.Executor.processActivities(Executor.java:75)
1216.76/333.20		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1216.76/333.20		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1216.76/333.20		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1219.40/335.78	09:49 ERROR: Failed to solve instance
1219.40/335.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1219.40/335.78		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:170)
1219.40/335.78		at gnu.trove.THash.postInsertHook(THash.java:370)
1219.40/335.78		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1219.40/335.78		at ibis.structure.WatchLists.build(WatchLists.java:56)
1219.40/335.78		at ibis.structure.Solver.<init>(Solver.java:45)
1219.40/335.78		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1219.40/335.78		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1219.40/335.78		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1219.40/335.78		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1219.40/335.78		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1219.40/335.78		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1219.40/335.78		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1219.40/335.78		at ibis.constellation.Executor.processActivities(Executor.java:75)
1219.40/335.78		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1219.40/335.78		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1219.40/335.78		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1224.24/340.06	09:53 ERROR: Failed to solve instance
1224.24/340.06	java.lang.OutOfMemoryError: Java heap space
1224.55/340.31	09:53 ERROR: Failed to solve instance
1224.55/340.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1230.01/344.68	09:58 ERROR: Failed to solve instance
1230.01/344.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1231.04/345.65	09:59 ERROR: Failed to solve instance
1231.04/345.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1231.55/346.18	09:59 ERROR: Failed to solve instance
1231.55/346.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1232.18/346.76	10:00 ERROR: Failed to solve instance
1232.18/346.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1237.25/350.61	10:04 ERROR: Failed to solve instance
1237.25/350.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1237.78/351.13	10:04 ERROR: Failed to solve instance
1237.78/351.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1238.29/351.70	10:05 ERROR: Failed to solve instance
1238.29/351.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1244.83/357.00	10:10 ERROR: Failed to solve instance
1244.83/357.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1245.24/357.50	10:11 ERROR: Failed to solve instance
1245.24/357.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1245.85/358.05	10:11 ERROR: Failed to solve instance
1245.85/358.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1246.49/358.68	10:12 ERROR: Failed to solve instance
1246.49/358.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1254.31/364.99	10:18 ERROR: Failed to solve instance
1254.31/364.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1255.23/365.86	10:19 ERROR: Failed to solve instance
1255.23/365.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1255.74/366.31	10:19 ERROR: Failed to solve instance
1255.74/366.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1256.16/366.79	10:20 ERROR: Failed to solve instance
1256.16/366.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1256.78/367.30	10:20 ERROR: Failed to solve instance
1256.78/367.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1257.67/368.12	10:21 ERROR: Failed to solve instance
1257.67/368.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1260.64/370.67	10:24 ERROR: Failed to solve instance
1260.64/370.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1261.29/371.22	10:24 ERROR: Failed to solve instance
1261.29/371.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1267.68/376.19	10:29 ERROR: Failed to solve instance
1267.68/376.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1268.20/376.66	10:30 ERROR: Failed to solve instance
1268.20/376.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1268.71/377.17	10:30 ERROR: Failed to solve instance
1268.71/377.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1269.36/377.79	Exception in thread "SingleThreadedConstellation 1" java.lang.OutOfMemoryError: GC overhead limit exceeded
1278.40/385.32	10:38 ERROR: Failed to solve instance
1278.40/385.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1278.60/385.56	10:39 ERROR: Failed to solve instance
1278.60/385.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1281.34/387.93	10:41 ERROR: Failed to solve instance
1281.34/387.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1281.76/388.35	10:41 ERROR: Failed to solve instance
1281.76/388.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1286.73/392.54	10:46 ERROR: Failed to solve instance
1286.73/392.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1287.16/392.95	10:46 ERROR: Failed to solve instance
1287.16/392.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1288.80/394.48	10:47 ERROR: Failed to solve instance
1288.80/394.48	java.lang.OutOfMemoryError: Java heap space
1290.90/396.56	10:50 ERROR: Failed to solve instance
1290.90/396.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1293.00/398.45	10:51 ERROR: Failed to solve instance
1293.00/398.45	java.lang.OutOfMemoryError: Java heap space
1293.00/398.45	10:51 ERROR: Failed to solve instance
1293.00/398.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1299.52/403.78	10:57 ERROR: Failed to solve instance
1299.52/403.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1300.34/404.52	10:57 ERROR: Failed to solve instance
1300.34/404.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1300.75/404.93	10:58 ERROR: Failed to solve instance
1300.75/404.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1301.07/405.29	10:58 ERROR: Failed to solve instance
1301.07/405.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1306.85/409.98	11:03 ERROR: Failed to solve instance
1306.85/409.98	java.lang.OutOfMemoryError: Java heap space
1307.57/410.61	11:04 ERROR: Failed to solve instance
1307.57/410.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1307.88/410.98	11:04 ERROR: Failed to solve instance
1307.88/410.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1308.30/411.38	11:04 ERROR: Failed to solve instance
1308.30/411.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1314.41/416.68	11:10 ERROR: Failed to solve instance
1314.41/416.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1314.82/417.04	11:10 ERROR: Failed to solve instance
1314.82/417.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1315.23/417.43	11:10 ERROR: Failed to solve instance
1315.23/417.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1315.64/417.80	11:11 ERROR: Failed to solve instance
1315.64/417.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1318.00/419.82	11:13 ERROR: Failed to solve instance
1318.00/419.82	java.lang.OutOfMemoryError: Java heap space
1318.20/420.02	11:13 ERROR: Failed to solve instance
1318.20/420.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1323.74/424.40	11:17 ERROR: Failed to solve instance
1323.74/424.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1327.63/427.85	11:21 ERROR: Failed to solve instance
1327.63/427.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1328.05/428.26	11:21 ERROR: Failed to solve instance
1328.05/428.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1328.45/428.68	11:22 ERROR: Failed to solve instance
1328.45/428.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1335.67/434.75	11:28 ERROR: Failed to solve instance
1335.67/434.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1336.07/435.11	11:28 ERROR: Failed to solve instance
1336.07/435.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1336.48/435.50	11:29 ERROR: Failed to solve instance
1336.48/435.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1337.19/436.27	11:29 ERROR: Failed to solve instance
1337.19/436.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1337.61/436.68	11:30 ERROR: Failed to solve instance
1337.61/436.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1338.13/437.12	11:30 ERROR: Failed to solve instance
1338.13/437.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1342.31/440.55	11:34 ERROR: Failed to solve instance
1342.31/440.55	java.lang.OutOfMemoryError: Java heap space
1342.51/440.73	11:34 ERROR: Failed to solve instance
1342.51/440.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.18/443.08	11:36 ERROR: Failed to solve instance
1345.18/443.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1348.03/445.58	11:39 ERROR: Failed to solve instance
1348.03/445.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1350.29/447.45	11:40 ERROR: Failed to solve instance
1350.29/447.45	java.lang.OutOfMemoryError: Java heap space
1352.46/449.21	11:42 ERROR: Failed to solve instance
1352.46/449.21	java.lang.OutOfMemoryError: Java heap space
1359.22/454.98	11:48 ERROR: Failed to solve instance
1359.22/454.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1359.63/455.37	11:48 ERROR: Failed to solve instance
1359.63/455.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1360.35/456.09	11:49 ERROR: Failed to solve instance
1360.35/456.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1363.02/458.32	11:51 ERROR: Failed to solve instance
1363.02/458.32	java.lang.OutOfMemoryError: Java heap space
1363.22/458.52	11:52 ERROR: Failed to solve instance
1363.22/458.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1365.40/460.49	11:54 ERROR: Failed to solve instance
1365.40/460.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1366.12/461.10	11:54 ERROR: Failed to solve instance
1366.12/461.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1366.53/461.56	11:55 ERROR: Failed to solve instance
1366.53/461.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1374.51/467.99	12:01 ERROR: Failed to solve instance
1374.51/467.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1374.92/468.35	12:01 ERROR: Failed to solve instance
1374.92/468.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1375.73/469.10	12:02 ERROR: Failed to solve instance
1375.73/469.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.04/469.49	12:03 ERROR: Failed to solve instance
1376.04/469.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.57/469.90	12:03 ERROR: Failed to solve instance
1376.57/469.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.98/470.36	12:03 ERROR: Failed to solve instance
1376.98/470.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1381.84/474.42	12:07 ERROR: Failed to solve instance
1381.84/474.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1382.25/474.82	12:08 ERROR: Failed to solve instance
1382.25/474.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1382.97/475.58	12:09 ERROR: Failed to solve instance
1382.97/475.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1383.38/475.98	12:09 ERROR: Failed to solve instance
1383.38/475.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1390.47/481.87	12:15 ERROR: Failed to solve instance
1390.47/481.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1390.88/482.27	12:15 ERROR: Failed to solve instance
1390.88/482.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1391.40/482.72	12:16 ERROR: Failed to solve instance
1391.40/482.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1394.32/485.39	12:18 ERROR: Failed to solve instance
1394.32/485.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1399.96/490.28	12:23 ERROR: Failed to solve instance
1399.96/490.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1400.77/491.05	12:24 ERROR: Failed to solve instance
1400.77/491.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1401.18/491.46	12:24 ERROR: Failed to solve instance
1401.18/491.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1401.49/491.78	12:25 ERROR: Failed to solve instance
1401.49/491.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1402.00/492.21	12:25 ERROR: Failed to solve instance
1402.00/492.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1404.88/494.70	12:28 ERROR: Failed to solve instance
1404.88/494.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.40/500.22	12:33 ERROR: Failed to solve instance
1411.40/500.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.81/500.61	12:34 ERROR: Failed to solve instance
1411.81/500.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1412.22/501.03	12:34 ERROR: Failed to solve instance
1412.22/501.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1412.87/501.67	12:35 ERROR: Failed to solve instance
1412.87/501.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1414.92/503.38	12:36 ERROR: Failed to solve instance
1414.92/503.38	java.lang.OutOfMemoryError: Java heap space
1420.52/507.96	12:41 ERROR: Failed to solve instance
1420.52/507.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.34/508.73	12:42 ERROR: Failed to solve instance
1421.34/508.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1421.75/509.13	12:42 ERROR: Failed to solve instance
1421.75/509.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1422.17/509.57	12:43 ERROR: Failed to solve instance
1422.17/509.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1429.97/515.94	12:49 ERROR: Failed to solve instance
1429.97/515.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1431.65/517.48	12:50 ERROR: Failed to solve instance
1431.65/517.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1432.05/517.83	12:51 ERROR: Failed to solve instance
1432.05/517.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1432.36/518.13	12:51 ERROR: Failed to solve instance
1432.36/518.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1433.08/518.84	12:52 ERROR: Failed to solve instance
1433.08/518.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1433.49/519.27	12:52 ERROR: Failed to solve instance
1433.49/519.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1434.00/519.71	12:53 ERROR: Failed to solve instance
1434.00/519.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1434.42/520.11	12:53 ERROR: Failed to solve instance
1434.42/520.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1439.78/524.40	12:57 ERROR: Failed to solve instance
1439.78/524.40	java.lang.OutOfMemoryError: Java heap space
1439.88/524.58	12:58 ERROR: Failed to solve instance
1439.88/524.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1441.54/525.87	12:59 ERROR: Failed to solve instance
1441.54/525.87	java.lang.OutOfMemoryError: Java heap space
1447.31/530.75	13:04 ERROR: Failed to solve instance
1447.31/530.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1447.73/531.15	13:04 ERROR: Failed to solve instance
1447.73/531.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1450.73/533.61	13:07 ERROR: Failed to solve instance
1450.73/533.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1453.32/535.99	13:09 ERROR: Failed to solve instance
1453.32/535.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1453.72/536.39	13:09 ERROR: Failed to solve instance
1453.72/536.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.24/536.84	13:10 ERROR: Failed to solve instance
1454.24/536.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1458.96/540.88	13:14 ERROR: Failed to solve instance
1458.96/540.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1459.59/541.49	13:15 ERROR: Failed to solve instance
1459.59/541.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.21/542.08	13:15 ERROR: Failed to solve instance
1460.21/542.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.61/542.46	13:15 ERROR: Failed to solve instance
1460.61/542.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1461.13/542.93	13:16 ERROR: Failed to solve instance
1461.13/542.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1467.24/547.91	13:21 ERROR: Failed to solve instance
1467.24/547.91	java.lang.OutOfMemoryError: Java heap space
1467.44/548.11	13:21 ERROR: Failed to solve instance
1467.44/548.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1473.26/553.03	13:26 ERROR: Failed to solve instance
1473.26/553.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1473.67/553.44	13:26 ERROR: Failed to solve instance
1473.67/553.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1477.01/556.42	13:29 ERROR: Failed to solve instance
1477.01/556.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1477.31/556.76	13:30 ERROR: Failed to solve instance
1477.31/556.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1477.72/557.10	13:30 ERROR: Failed to solve instance
1477.72/557.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1478.26/557.68	13:31 ERROR: Failed to solve instance
1478.26/557.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1480.98/560.10	13:33 ERROR: Failed to solve instance
1480.98/560.10	java.lang.OutOfMemoryError: Java heap space
1480.98/560.10	13:33 ERROR: Failed to solve instance
1480.98/560.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1486.78/564.67	13:38 ERROR: Failed to solve instance
1486.78/564.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1489.73/567.26	13:40 ERROR: Failed to solve instance
1489.73/567.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1490.14/567.63	13:41 ERROR: Failed to solve instance
1490.14/567.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1490.55/568.03	13:41 ERROR: Failed to solve instance
1490.55/568.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1491.27/568.73	13:42 ERROR: Failed to solve instance
1491.27/568.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1491.69/569.11	13:42 ERROR: Failed to solve instance
1491.69/569.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1497.47/573.81	13:47 ERROR: Failed to solve instance
1497.47/573.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1498.20/574.54	13:47 ERROR: Failed to solve instance
1498.20/574.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1498.61/574.94	13:48 ERROR: Failed to solve instance
1498.61/574.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1499.03/575.37	13:48 ERROR: Failed to solve instance
1499.03/575.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1508.00/582.53	13:56 ERROR: Failed to solve instance
1508.00/582.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1508.42/582.93	13:56 ERROR: Failed to solve instance
1508.42/582.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1509.05/583.56	13:57 ERROR: Failed to solve instance
1509.05/583.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.33/585.61	13:59 ERROR: Failed to solve instance
1511.33/585.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.64/585.97	13:59 ERROR: Failed to solve instance
1511.64/585.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1512.98/587.16	14:00 ERROR: Failed to solve instance
1512.98/587.16	java.lang.OutOfMemoryError: Java heap space
1514.87/588.80	14:02 ERROR: Failed to solve instance
1514.87/588.80	java.lang.OutOfMemoryError: Java heap space
1515.07/589.00	14:02 ERROR: Failed to solve instance
1515.07/589.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.78/594.39	14:07 ERROR: Failed to solve instance
1521.78/594.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1522.18/594.77	14:08 ERROR: Failed to solve instance
1522.18/594.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1522.59/595.17	14:08 ERROR: Failed to solve instance
1522.59/595.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1526.23/598.29	14:11 ERROR: Failed to solve instance
1526.23/598.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1526.64/598.68	14:12 ERROR: Failed to solve instance
1526.64/598.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1527.15/599.11	14:12 ERROR: Failed to solve instance
1527.15/599.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1532.33/603.48	14:16 ERROR: Failed to solve instance
1532.33/603.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1532.74/603.86	14:17 ERROR: Failed to solve instance
1532.74/603.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.15/604.24	14:17 ERROR: Failed to solve instance
1533.15/604.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.56/604.64	14:18 ERROR: Failed to solve instance
1533.56/604.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1536.31/607.05	14:20 ERROR: Failed to solve instance
1536.31/607.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1542.77/612.46	14:25 ERROR: Failed to solve instance
1542.77/612.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1543.48/613.19	14:26 ERROR: Failed to solve instance
1543.48/613.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1543.89/613.58	14:27 ERROR: Failed to solve instance
1543.89/613.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1544.41/614.01	14:27 ERROR: Failed to solve instance
1544.41/614.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1544.82/614.48	14:27 ERROR: Failed to solve instance
1544.82/614.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1552.16/620.32	14:33 ERROR: Failed to solve instance
1552.16/620.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1552.67/620.82	14:34 ERROR: Failed to solve instance
1552.67/620.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1553.09/621.25	14:34 ERROR: Failed to solve instance
1553.09/621.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1556.15/623.92	14:37 ERROR: Failed to solve instance
1556.15/623.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1556.56/624.32	14:37 ERROR: Failed to solve instance
1556.56/624.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1556.97/624.73	14:38 ERROR: Failed to solve instance
1556.97/624.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.59/628.69	14:42 ERROR: Failed to solve instance
1561.59/628.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1562.00/629.08	14:42 ERROR: Failed to solve instance
1562.00/629.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1562.54/629.54	14:43 ERROR: Failed to solve instance
1562.54/629.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1568.23/634.12	14:47 ERROR: Failed to solve instance
1568.23/634.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1571.03/636.67	14:50 ERROR: Failed to solve instance
1571.03/636.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1571.84/637.44	14:50 ERROR: Failed to solve instance
1571.84/637.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1572.05/637.68	14:51 ERROR: Failed to solve instance
1572.05/637.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1572.67/638.22	14:51 ERROR: Failed to solve instance
1572.67/638.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1573.08/638.67	14:52 ERROR: Failed to solve instance
1573.08/638.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1575.75/640.96	14:54 ERROR: Failed to solve instance
1575.75/640.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1576.57/641.70	14:55 ERROR: Failed to solve instance
1576.57/641.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1576.88/642.09	14:55 ERROR: Failed to solve instance
1576.88/642.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1577.40/642.53	14:56 ERROR: Failed to solve instance
1577.40/642.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1584.39/648.12	15:01 ERROR: Failed to solve instance
1584.39/648.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1584.80/648.50	15:02 ERROR: Failed to solve instance
1584.80/648.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1585.52/649.25	15:02 ERROR: Failed to solve instance
1585.52/649.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1585.93/649.65	15:03 ERROR: Failed to solve instance
1585.93/649.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1586.44/650.11	15:03 ERROR: Failed to solve instance
1586.44/650.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1593.41/655.76	15:09 ERROR: Failed to solve instance
1593.41/655.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1594.23/656.50	15:09 ERROR: Failed to solve instance
1594.23/656.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1594.54/656.90	15:10 ERROR: Failed to solve instance
1594.54/656.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1595.06/657.33	15:10 ERROR: Failed to solve instance
1595.06/657.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1600.61/661.93	15:15 ERROR: Failed to solve instance
1600.61/661.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1601.33/662.67	15:16 ERROR: Failed to solve instance
1601.33/662.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1601.74/663.08	15:16 ERROR: Failed to solve instance
1601.74/663.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1602.14/663.46	15:16 ERROR: Failed to solve instance
1602.14/663.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1606.44/667.04	15:20 ERROR: Failed to solve instance
1606.44/667.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1607.05/667.68	15:21 ERROR: Failed to solve instance
1607.05/667.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1607.57/668.17	15:21 ERROR: Failed to solve instance
1607.57/668.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1607.98/668.59	15:22 ERROR: Failed to solve instance
1607.98/668.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1608.50/669.05	15:22 ERROR: Failed to solve instance
1608.50/669.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1615.90/675.09	15:28 ERROR: Failed to solve instance
1615.90/675.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1616.31/675.46	15:28 ERROR: Failed to solve instance
1616.31/675.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1616.72/675.87	15:29 ERROR: Failed to solve instance
1616.72/675.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1617.53/676.65	15:30 ERROR: Failed to solve instance
1617.53/676.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1617.95/677.08	15:30 ERROR: Failed to solve instance
1617.95/677.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1625.19/683.18	15:36 ERROR: Failed to solve instance
1625.19/683.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1625.80/683.78	15:37 ERROR: Failed to solve instance
1625.80/683.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1626.22/684.17	15:37 ERROR: Failed to solve instance
1626.22/684.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1629.04/686.67	15:40 ERROR: Failed to solve instance
1629.04/686.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1634.29/691.15	15:44 ERROR: Failed to solve instance
1634.29/691.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1634.99/691.88	15:45 ERROR: Failed to solve instance
1634.99/691.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.41/692.27	15:45 ERROR: Failed to solve instance
1635.41/692.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.92/692.71	15:46 ERROR: Failed to solve instance
1635.92/692.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.33/693.13	15:46 ERROR: Failed to solve instance
1636.33/693.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1643.44/699.07	15:52 ERROR: Failed to solve instance
1643.44/699.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1643.85/699.45	15:52 ERROR: Failed to solve instance
1643.85/699.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.26/699.85	15:53 ERROR: Failed to solve instance
1644.26/699.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.97/700.51	15:54 ERROR: Failed to solve instance
1644.97/700.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1648.34/703.46	15:56 ERROR: Failed to solve instance
1648.34/703.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1648.96/704.06	15:57 ERROR: Failed to solve instance
1648.96/704.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1649.36/704.46	15:57 ERROR: Failed to solve instance
1649.36/704.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1654.60/708.71	16:02 ERROR: Failed to solve instance
1654.60/708.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1655.31/709.48	16:02 ERROR: Failed to solve instance
1655.31/709.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1655.73/709.89	16:03 ERROR: Failed to solve instance
1655.73/709.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1656.24/710.32	16:03 ERROR: Failed to solve instance
1656.24/710.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1661.16/714.21	16:07 ERROR: Failed to solve instance
1661.16/714.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1661.79/714.82	16:08 ERROR: Failed to solve instance
1661.79/714.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1664.48/717.25	16:10 ERROR: Failed to solve instance
1664.48/717.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1664.89/717.69	16:11 ERROR: Failed to solve instance
1664.89/717.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1665.61/718.40	16:11 ERROR: Failed to solve instance
1665.61/718.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.03/718.75	16:12 ERROR: Failed to solve instance
1666.03/718.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1671.78/723.41	16:16 ERROR: Failed to solve instance
1671.78/723.41	java.lang.OutOfMemoryError: Java heap space
1672.21/723.82	16:17 ERROR: Failed to solve instance
1672.21/723.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1672.52/724.16	16:17 ERROR: Failed to solve instance
1672.52/724.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1674.65/725.92	16:19 ERROR: Failed to solve instance
1674.65/725.92	java.lang.OutOfMemoryError: Java heap space
1680.72/730.82	16:24 ERROR: Failed to solve instance
1680.72/730.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1682.95/732.85	16:26 ERROR: Failed to solve instance
1682.95/732.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1683.36/733.21	16:26 ERROR: Failed to solve instance
1683.36/733.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1683.77/733.61	16:27 ERROR: Failed to solve instance
1683.77/733.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1684.19/734.08	16:27 ERROR: Failed to solve instance
1684.19/734.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1689.28/738.28	16:31 ERROR: Failed to solve instance
1689.28/738.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1689.69/738.67	16:32 ERROR: Failed to solve instance
1689.69/738.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1692.92/741.51	16:35 ERROR: Failed to solve instance
1692.92/741.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.33/741.90	16:35 ERROR: Failed to solve instance
1693.33/741.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.65/742.28	16:35 ERROR: Failed to solve instance
1693.65/742.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1694.36/742.98	16:36 ERROR: Failed to solve instance
1694.36/742.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1694.99/743.56	16:37 ERROR: Failed to solve instance
1694.99/743.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.50/744.03	16:37 ERROR: Failed to solve instance
1695.50/744.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.23/750.90	16:44 ERROR: Failed to solve instance
1704.23/750.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.54/751.29	16:44 ERROR: Failed to solve instance
1704.54/751.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.96/751.69	16:45 ERROR: Failed to solve instance
1704.96/751.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1705.78/752.49	16:46 ERROR: Failed to solve instance
1705.78/752.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1706.29/752.98	16:46 ERROR: Failed to solve instance
1706.29/752.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1706.70/753.37	16:46 ERROR: Failed to solve instance
1706.70/753.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.36/757.95	16:51 ERROR: Failed to solve instance
1712.36/757.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.77/758.34	16:51 ERROR: Failed to solve instance
1712.77/758.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1713.60/759.13	16:52 ERROR: Failed to solve instance
1713.60/759.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1714.01/759.57	16:53 ERROR: Failed to solve instance
1714.01/759.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1714.53/760.01	16:53 ERROR: Failed to solve instance
1714.53/760.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1721.09/765.37	16:58 ERROR: Failed to solve instance
1721.09/765.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1721.73/765.99	16:59 ERROR: Failed to solve instance
1721.73/765.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1724.14/768.01	17:01 ERROR: Failed to solve instance
1724.14/768.01	java.lang.OutOfMemoryError: Java heap space
1728.05/771.55	17:05 ERROR: Failed to solve instance
1728.05/771.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1728.47/771.97	17:05 ERROR: Failed to solve instance
1728.47/771.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1732.00/775.03	17:08 ERROR: Failed to solve instance
1732.00/775.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1732.62/775.64	17:09 ERROR: Failed to solve instance
1732.62/775.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1733.02/776.06	17:09 ERROR: Failed to solve instance
1733.02/776.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.48/780.54	17:14 ERROR: Failed to solve instance
1738.48/780.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1740.70/782.54	17:16 ERROR: Failed to solve instance
1740.70/782.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1741.11/782.91	17:16 ERROR: Failed to solve instance
1741.11/782.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1741.82/783.68	17:17 ERROR: Failed to solve instance
1741.82/783.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.23/784.07	17:17 ERROR: Failed to solve instance
1742.23/784.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.65/784.49	17:18 ERROR: Failed to solve instance
1742.65/784.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1748.81/789.42	17:22 ERROR: Failed to solve instance
1748.81/789.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1750.63/791.00	17:24 ERROR: Failed to solve instance
1750.63/791.00	java.lang.OutOfMemoryError: Java heap space
1751.04/791.48	17:24 ERROR: Failed to solve instance
1751.04/791.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1751.46/791.88	17:25 ERROR: Failed to solve instance
1751.46/791.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1752.86/793.19	17:26 ERROR: Failed to solve instance
1752.86/793.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1753.28/793.58	17:27 ERROR: Failed to solve instance
1753.28/793.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1756.16/796.00	17:29 ERROR: Failed to solve instance
1756.16/796.00	java.lang.OutOfMemoryError: Java heap space
1761.47/800.31	17:33 ERROR: Failed to solve instance
1761.47/800.31	java.lang.OutOfMemoryError: Java heap space
1763.61/802.34	17:35 ERROR: Failed to solve instance
1763.61/802.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1764.03/802.74	17:36 ERROR: Failed to solve instance
1764.03/802.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1764.43/803.12	17:36 ERROR: Failed to solve instance
1764.43/803.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1772.22/809.52	17:42 ERROR: Failed to solve instance
1772.22/809.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1772.52/809.85	17:43 ERROR: Failed to solve instance
1772.52/809.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1772.94/810.24	17:43 ERROR: Failed to solve instance
1772.94/810.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1774.32/811.48	17:44 ERROR: Failed to solve instance
1774.32/811.48	java.lang.OutOfMemoryError: Java heap space
1774.52/811.67	17:45 ERROR: Failed to solve instance
1774.52/811.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1777.01/813.98	17:47 ERROR: Failed to solve instance
1777.01/813.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1777.43/814.38	17:47 ERROR: Failed to solve instance
1777.43/814.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1777.94/814.84	17:48 ERROR: Failed to solve instance
1777.94/814.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1786.79/821.87	17:55 ERROR: Failed to solve instance
1786.79/821.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.20/822.27	17:55 ERROR: Failed to solve instance
1787.20/822.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1787.62/822.68	17:56 ERROR: Failed to solve instance
1787.62/822.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1788.43/823.45	17:56 ERROR: Failed to solve instance
1788.43/823.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1788.85/823.88	17:57 ERROR: Failed to solve instance
1788.85/823.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1794.47/828.31	18:01 ERROR: Failed to solve instance
1794.47/828.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1796.31/830.08	18:03 ERROR: Failed to solve instance
1796.31/830.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1797.05/830.70	18:04 ERROR: Failed to solve instance
1797.05/830.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1797.34/831.09	18:04 ERROR: Failed to solve instance
1797.34/831.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1799.84/833.35	18:06 ERROR: Failed to solve instance
1799.84/833.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1804.88/837.54	18:11 ERROR: Failed to solve instance
1804.88/837.54	java.lang.OutOfMemoryError: Java heap space
1805.50/838.14	18:11 ERROR: Failed to solve instance
1805.50/838.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1805.91/838.52	18:12 ERROR: Failed to solve instance
1805.91/838.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1811.24/842.81	18:16 ERROR: Failed to solve instance
1811.24/842.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1813.50/844.98	18:18 ERROR: Failed to solve instance
1813.50/844.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1813.91/845.37	18:18 ERROR: Failed to solve instance
1813.91/845.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1814.32/845.78	18:19 ERROR: Failed to solve instance
1814.32/845.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1817.36/848.47	18:21 ERROR: Failed to solve instance
1817.36/848.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1817.77/848.87	18:22 ERROR: Failed to solve instance
1817.77/848.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1821.97/852.39	18:25 ERROR: Failed to solve instance
1821.97/852.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1822.79/853.12	18:26 ERROR: Failed to solve instance
1822.79/853.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1823.19/853.52	18:27 ERROR: Failed to solve instance
1823.19/853.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1823.61/853.95	18:27 ERROR: Failed to solve instance
1823.61/853.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1830.71/859.66	18:33 ERROR: Failed to solve instance
1830.71/859.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1831.12/860.03	18:33 ERROR: Failed to solve instance
1831.12/860.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1831.53/860.44	18:33 ERROR: Failed to solve instance
1831.53/860.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1832.04/860.91	18:34 ERROR: Failed to solve instance
1832.04/860.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1839.17/866.92	18:40 ERROR: Failed to solve instance
1839.17/866.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1839.58/867.33	18:40 ERROR: Failed to solve instance
1839.58/867.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1840.40/868.11	18:41 ERROR: Failed to solve instance
1840.40/868.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1840.81/868.52	18:42 ERROR: Failed to solve instance
1840.81/868.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1841.22/868.96	18:42 ERROR: Failed to solve instance
1841.22/868.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1847.78/874.31	18:47 ERROR: Failed to solve instance
1847.78/874.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1848.09/874.70	18:48 ERROR: Failed to solve instance
1848.09/874.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1848.90/875.45	18:48 ERROR: Failed to solve instance
1848.90/875.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1849.32/875.86	18:49 ERROR: Failed to solve instance
1849.32/875.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1849.83/876.30	18:49 ERROR: Failed to solve instance
1849.83/876.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1850.24/876.72	18:50 ERROR: Failed to solve instance
1850.24/876.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1854.37/880.15	18:53 ERROR: Failed to solve instance
1854.37/880.15	java.lang.OutOfMemoryError: Java heap space
1857.13/882.58	18:56 ERROR: Failed to solve instance
1857.13/882.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1857.94/883.34	18:56 ERROR: Failed to solve instance
1857.94/883.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1858.15/883.57	18:57 ERROR: Failed to solve instance
1858.15/883.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.21/885.25	18:58 ERROR: Failed to solve instance
1860.21/885.25	java.lang.OutOfMemoryError: Java heap space
1866.08/890.24	19:03 ERROR: Failed to solve instance
1866.08/890.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1866.48/890.66	19:04 ERROR: Failed to solve instance
1866.48/890.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1870.18/893.84	19:07 ERROR: Failed to solve instance
1870.18/893.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1870.60/894.26	19:07 ERROR: Failed to solve instance
1870.60/894.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1875.29/898.21	19:11 ERROR: Failed to solve instance
1875.29/898.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1876.02/898.93	19:12 ERROR: Failed to solve instance
1876.02/898.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1876.33/899.27	19:12 ERROR: Failed to solve instance
1876.33/899.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1880.35/902.75	19:16 ERROR: Failed to solve instance
1880.35/902.75	java.lang.OutOfMemoryError: Java heap space
1880.55/902.92	19:16 ERROR: Failed to solve instance
1880.55/902.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1882.96/905.05	19:18 ERROR: Failed to solve instance
1882.96/905.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1883.68/905.73	19:19 ERROR: Failed to solve instance
1883.68/905.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1884.19/906.24	19:19 ERROR: Failed to solve instance
1884.19/906.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1884.61/906.69	19:20 ERROR: Failed to solve instance
1884.61/906.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1885.12/907.12	19:20 ERROR: Failed to solve instance
1885.12/907.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.37/911.96	19:25 ERROR: Failed to solve instance
1891.37/911.96	java.lang.OutOfMemoryError: Java heap space
1891.58/912.15	19:25 ERROR: Failed to solve instance
1891.58/912.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1894.63/914.81	19:28 ERROR: Failed to solve instance
1894.63/914.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1897.69/917.56	19:31 ERROR: Failed to solve instance
1897.69/917.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1898.10/917.96	19:31 ERROR: Failed to solve instance
1898.10/917.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1898.51/918.39	19:31 ERROR: Failed to solve instance
1898.51/918.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1899.33/919.17	19:32 ERROR: Failed to solve instance
1899.33/919.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1899.85/919.60	19:33 ERROR: Failed to solve instance
1899.85/919.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.56/925.73	19:39 ERROR: Failed to solve instance
1907.56/925.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1907.97/926.16	19:39 ERROR: Failed to solve instance
1907.97/926.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1911.39/929.13	19:42 ERROR: Failed to solve instance
1911.39/929.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1911.80/929.51	19:43 ERROR: Failed to solve instance
1911.80/929.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1912.51/930.28	19:43 ERROR: Failed to solve instance
1912.51/930.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1912.92/930.67	19:44 ERROR: Failed to solve instance
1912.92/930.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1913.44/931.12	19:44 ERROR: Failed to solve instance
1913.44/931.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1918.05/934.74	19:48 ERROR: Failed to solve instance
1918.05/934.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1918.67/935.32	19:48 ERROR: Failed to solve instance
1918.67/935.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1921.30/937.60	19:51 ERROR: Failed to solve instance
1921.30/937.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.01/938.36	19:51 ERROR: Failed to solve instance
1922.01/938.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.42/938.76	19:52 ERROR: Failed to solve instance
1922.42/938.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1922.84/939.18	19:52 ERROR: Failed to solve instance
1922.84/939.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1923.37/939.64	19:53 ERROR: Failed to solve instance
1923.37/939.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1929.91/944.93	19:58 ERROR: Failed to solve instance
1929.91/944.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1930.33/945.35	19:58 ERROR: Failed to solve instance
1930.33/945.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1930.96/945.98	19:59 ERROR: Failed to solve instance
1930.96/945.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1933.38/948.08	20:01 ERROR: Failed to solve instance
1933.38/948.08	java.lang.OutOfMemoryError: Java heap space
1933.59/948.28	20:01 ERROR: Failed to solve instance
1933.59/948.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1939.94/953.51	20:07 ERROR: Failed to solve instance
1939.94/953.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1940.64/954.22	20:07 ERROR: Failed to solve instance
1940.64/954.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1941.05/954.61	20:08 ERROR: Failed to solve instance
1941.05/954.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1941.46/955.02	20:08 ERROR: Failed to solve instance
1941.46/955.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1941.87/955.48	20:08 ERROR: Failed to solve instance
1941.87/955.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1948.74/961.00	20:14 ERROR: Failed to solve instance
1948.74/961.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1951.11/963.14	20:16 ERROR: Failed to solve instance
1951.11/963.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1951.52/963.57	20:17 ERROR: Failed to solve instance
1951.52/963.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1951.93/963.91	20:17 ERROR: Failed to solve instance
1951.93/963.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1954.27/965.97	20:19 ERROR: Failed to solve instance
1954.27/965.97	java.lang.OutOfMemoryError: Java heap space
1957.13/968.42	20:21 ERROR: Failed to solve instance
1957.13/968.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1957.85/969.16	20:22 ERROR: Failed to solve instance
1957.85/969.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1958.26/969.58	20:23 ERROR: Failed to solve instance
1958.26/969.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1965.73/975.69	20:29 ERROR: Failed to solve instance
1965.73/975.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1966.35/976.25	20:29 ERROR: Failed to solve instance
1966.35/976.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1966.86/976.77	20:30 ERROR: Failed to solve instance
1966.86/976.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1967.37/977.20	20:30 ERROR: Failed to solve instance
1967.37/977.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1967.68/977.56	20:31 ERROR: Failed to solve instance
1967.68/977.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.45/980.84	20:34 ERROR: Failed to solve instance
1971.45/980.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.36/986.79	20:40 ERROR: Failed to solve instance
1978.36/986.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.99/987.38	20:40 ERROR: Failed to solve instance
1978.99/987.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1979.40/987.72	20:41 ERROR: Failed to solve instance
1979.40/987.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1981.79/989.81	20:43 ERROR: Failed to solve instance
1981.79/989.81	java.lang.OutOfMemoryError: Java heap space
1982.40/990.40	20:43 ERROR: Failed to solve instance
1982.40/990.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1982.81/990.81	20:44 ERROR: Failed to solve instance
1982.81/990.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1983.23/991.24	20:44 ERROR: Failed to solve instance
1983.23/991.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1983.75/991.74	20:45 ERROR: Failed to solve instance
1983.75/991.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.13/998.67	20:52 ERROR: Failed to solve instance
1992.13/998.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.56/999.04	20:52 ERROR: Failed to solve instance
1992.56/999.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.96/999.44	20:52 ERROR: Failed to solve instance
1992.96/999.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1993.78/1000.22	20:53 ERROR: Failed to solve instance
1993.78/1000.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2000.05/1005.44	20:58 ERROR: Failed to solve instance
2000.05/1005.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2000.47/1005.85	20:59 ERROR: Failed to solve instance
2000.47/1005.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2000.88/1006.23	20:59 ERROR: Failed to solve instance
2000.88/1006.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2001.51/1006.89	21:00 ERROR: Failed to solve instance
2001.51/1006.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2005.78/1010.62	21:04 ERROR: Failed to solve instance
2005.78/1010.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2006.19/1011.01	21:04 ERROR: Failed to solve instance
2006.19/1011.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2006.60/1011.44	21:04 ERROR: Failed to solve instance
2006.60/1011.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.81/1016.61	21:10 ERROR: Failed to solve instance
2012.81/1016.61	java.lang.OutOfMemoryError: Java heap space
2012.91/1016.78	21:10 ERROR: Failed to solve instance
2012.91/1016.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2013.44/1017.20	21:10 ERROR: Failed to solve instance
2013.44/1017.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2016.12/1019.61	21:13 ERROR: Failed to solve instance
2016.12/1019.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2016.54/1020.04	21:13 ERROR: Failed to solve instance
2016.54/1020.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2017.17/1020.67	21:14 ERROR: Failed to solve instance
2017.17/1020.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2021.04/1024.08	21:17 ERROR: Failed to solve instance
2021.04/1024.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2021.46/1024.47	21:17 ERROR: Failed to solve instance
2021.46/1024.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2021.97/1024.90	21:18 ERROR: Failed to solve instance
2021.97/1024.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2028.84/1030.46	21:23 ERROR: Failed to solve instance
2028.84/1030.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2029.54/1031.17	21:24 ERROR: Failed to solve instance
2029.54/1031.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2029.95/1031.56	21:25 ERROR: Failed to solve instance
2029.95/1031.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.37/1031.99	21:25 ERROR: Failed to solve instance
2030.37/1031.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.89/1032.47	21:25 ERROR: Failed to solve instance
2030.89/1032.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.58/1037.77	21:31 ERROR: Failed to solve instance
2037.58/1037.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2039.87/1039.78	21:33 ERROR: Failed to solve instance
2039.87/1039.78	java.lang.OutOfMemoryError: Java heap space
2040.07/1039.96	21:33 ERROR: Failed to solve instance
2040.07/1039.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2042.00/1041.78	21:35 ERROR: Failed to solve instance
2042.00/1041.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2042.41/1042.18	21:35 ERROR: Failed to solve instance
2042.41/1042.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2042.82/1042.56	21:36 ERROR: Failed to solve instance
2042.82/1042.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2051.22/1049.59	21:43 ERROR: Failed to solve instance
2051.22/1049.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2051.63/1049.96	21:43 ERROR: Failed to solve instance
2051.63/1049.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2052.05/1050.38	21:43 ERROR: Failed to solve instance
2052.05/1050.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2052.47/1050.78	21:44 ERROR: Failed to solve instance
2052.47/1050.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.22/1052.35	21:45 ERROR: Failed to solve instance
2054.22/1052.35	java.lang.OutOfMemoryError: Java heap space
2054.42/1052.53	21:46 ERROR: Failed to solve instance
2054.42/1052.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2055.79/1053.79	21:47 ERROR: Failed to solve instance
2055.79/1053.79	java.lang.OutOfMemoryError: Java heap space
2055.99/1053.98	21:47 ERROR: Failed to solve instance
2055.99/1053.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2061.24/1058.37	21:51 ERROR: Failed to solve instance
2061.24/1058.37	java.lang.OutOfMemoryError: Java heap space
2061.45/1058.57	21:52 ERROR: Failed to solve instance
2061.45/1058.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2069.25/1064.96	21:58 ERROR: Failed to solve instance
2069.25/1064.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2069.87/1065.57	21:59 ERROR: Failed to solve instance
2069.87/1065.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.28/1065.95	21:59 ERROR: Failed to solve instance
2070.28/1065.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2072.80/1068.21	22:01 ERROR: Failed to solve instance
2072.80/1068.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2073.21/1068.63	22:02 ERROR: Failed to solve instance
2073.21/1068.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.05/1070.35	22:03 ERROR: Failed to solve instance
2075.05/1070.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.45/1070.76	22:04 ERROR: Failed to solve instance
2075.45/1070.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.76/1071.07	22:04 ERROR: Failed to solve instance
2075.76/1071.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2081.56/1075.74	22:09 ERROR: Failed to solve instance
2081.56/1075.74	java.lang.OutOfMemoryError: Java heap space
2084.31/1078.11	22:11 ERROR: Failed to solve instance
2084.31/1078.11	java.lang.OutOfMemoryError: Java heap space
2084.52/1078.31	22:11 ERROR: Failed to solve instance
2084.52/1078.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2094.29/1086.44	22:19 ERROR: Failed to solve instance
2094.29/1086.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2094.59/1086.78	22:20 ERROR: Failed to solve instance
2094.59/1086.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2095.01/1087.11	22:20 ERROR: Failed to solve instance
2095.01/1087.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2095.31/1087.47	22:20 ERROR: Failed to solve instance
2095.31/1087.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2096.03/1088.20	22:21 ERROR: Failed to solve instance
2096.03/1088.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2096.44/1088.58	22:22 ERROR: Failed to solve instance
2096.44/1088.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2096.97/1089.02	22:22 ERROR: Failed to solve instance
2096.97/1089.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2097.39/1089.48	22:22 ERROR: Failed to solve instance
2097.39/1089.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2103.28/1094.21	22:27 ERROR: Failed to solve instance
2103.28/1094.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2103.90/1094.82	22:28 ERROR: Failed to solve instance
2103.90/1094.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2104.32/1095.28	22:28 ERROR: Failed to solve instance
2104.32/1095.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2113.35/1102.41	22:35 ERROR: Failed to solve instance
2113.35/1102.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2113.76/1102.80	22:36 ERROR: Failed to solve instance
2113.76/1102.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2114.50/1103.58	22:37 ERROR: Failed to solve instance
2114.50/1103.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2115.02/1104.01	22:37 ERROR: Failed to solve instance
2115.02/1104.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2115.43/1104.40	22:37 ERROR: Failed to solve instance
2115.43/1104.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2115.84/1104.83	22:38 ERROR: Failed to solve instance
2115.84/1104.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
2121.69/1109.57	22:43 ERROR: Failed to solve instance
2121.69/1109.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2122.50/1110.32	22:43 ERROR: Failed to solve instance
2122.50/1110.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2122.91/1110.71	22:44 ERROR: Failed to solve instance
2122.91/1110.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2123.32/1111.13	22:44 ERROR: Failed to solve instance
2123.32/1111.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2128.63/1115.32	22:48 ERROR: Failed to solve instance
2128.63/1115.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2129.04/1115.70	22:49 ERROR: Failed to solve instance
2129.04/1115.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2129.44/1116.11	22:49 ERROR: Failed to solve instance
2129.44/1116.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.17/1116.88	22:50 ERROR: Failed to solve instance
2130.17/1116.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2130.68/1117.32	22:50 ERROR: Failed to solve instance
2130.68/1117.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2136.80/1122.39	22:55 ERROR: Failed to solve instance
2136.80/1122.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2137.21/1122.79	22:56 ERROR: Failed to solve instance
2137.21/1122.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.46/1125.69	22:59 ERROR: Failed to solve instance
2140.46/1125.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2140.86/1126.05	22:59 ERROR: Failed to solve instance
2140.86/1126.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.27/1126.45	22:59 ERROR: Failed to solve instance
2141.27/1126.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2141.79/1126.92	23:00 ERROR: Failed to solve instance
2141.79/1126.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2151.10/1134.45	23:07 ERROR: Failed to solve instance
2151.10/1134.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2151.51/1134.85	23:08 ERROR: Failed to solve instance
2151.51/1134.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2152.25/1135.59	23:09 ERROR: Failed to solve instance
2152.25/1135.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2152.67/1135.99	23:09 ERROR: Failed to solve instance
2152.67/1135.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2153.20/1136.45	23:09 ERROR: Failed to solve instance
2153.20/1136.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2153.71/1136.90	23:10 ERROR: Failed to solve instance
2153.71/1136.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2160.31/1142.42	23:15 ERROR: Failed to solve instance
2160.31/1142.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2161.03/1143.14	23:16 ERROR: Failed to solve instance
2161.03/1143.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2161.43/1143.53	23:17 ERROR: Failed to solve instance
2161.43/1143.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2161.84/1143.94	23:17 ERROR: Failed to solve instance
2161.84/1143.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2162.26/1144.39	23:17 ERROR: Failed to solve instance
2162.26/1144.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.29/1150.25	23:23 ERROR: Failed to solve instance
2169.29/1150.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.71/1150.64	23:24 ERROR: Failed to solve instance
2169.71/1150.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2170.12/1151.04	23:24 ERROR: Failed to solve instance
2170.12/1151.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2173.15/1153.75	23:27 ERROR: Failed to solve instance
2173.15/1153.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2173.97/1154.50	23:27 ERROR: Failed to solve instance
2173.97/1154.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.38/1154.90	23:28 ERROR: Failed to solve instance
2174.38/1154.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.68/1155.29	23:28 ERROR: Failed to solve instance
2174.68/1155.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2178.64/1158.42	23:31 ERROR: Failed to solve instance
2178.64/1158.42	java.lang.OutOfMemoryError: Java heap space
2181.79/1161.28	23:34 ERROR: Failed to solve instance
2181.79/1161.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2182.19/1161.64	23:35 ERROR: Failed to solve instance
2182.19/1161.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2182.63/1162.09	23:35 ERROR: Failed to solve instance
2182.63/1162.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2188.74/1167.05	23:40 ERROR: Failed to solve instance
2188.74/1167.05	java.lang.OutOfMemoryError: Java heap space
2188.95/1167.24	23:40 ERROR: Failed to solve instance
2188.95/1167.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.95/1169.75	23:43 ERROR: Failed to solve instance
2191.95/1169.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2192.36/1170.16	23:43 ERROR: Failed to solve instance
2192.36/1170.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
2193.08/1170.87	23:44 ERROR: Failed to solve instance
2193.08/1170.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2197.48/1174.58	23:48 ERROR: Failed to solve instance
2197.48/1174.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2197.89/1174.95	23:48 ERROR: Failed to solve instance
2197.89/1174.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.06/1178.61	23:52 ERROR: Failed to solve instance
2202.06/1178.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.37/1178.99	23:52 ERROR: Failed to solve instance
2202.37/1178.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.77/1179.34	23:52 ERROR: Failed to solve instance
2202.77/1179.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2205.74/1181.91	23:55 ERROR: Failed to solve instance
2205.74/1181.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2206.35/1182.54	23:56 ERROR: Failed to solve instance
2206.35/1182.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2206.76/1182.93	23:56 ERROR: Failed to solve instance
2206.76/1182.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2213.87/1188.90	24:02 ERROR: Failed to solve instance
2213.87/1188.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2214.58/1189.65	24:03 ERROR: Failed to solve instance
2214.58/1189.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2214.99/1190.05	24:03 ERROR: Failed to solve instance
2214.99/1190.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2215.40/1190.47	24:03 ERROR: Failed to solve instance
2215.40/1190.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2215.91/1190.96	24:04 ERROR: Failed to solve instance
2215.91/1190.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2221.93/1195.82	Exception in thread "SingleThreadedConstellation 3" java.lang.OutOfMemoryError: GC overhead limit exceeded
2228.03/1201.26	24:14 ERROR: Failed to solve instance
2228.03/1201.26	java.lang.OutOfMemoryError: Java heap space
2232.49/1205.39	24:18 ERROR: Failed to solve instance
2232.49/1205.39	java.lang.OutOfMemoryError: Java heap space
2234.69/1207.43	24:20 ERROR: Failed to solve instance
2234.69/1207.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2235.00/1207.79	24:21 ERROR: Failed to solve instance
2235.00/1207.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2239.68/1212.04	24:25 ERROR: Failed to solve instance
2239.68/1212.04	java.lang.OutOfMemoryError: Java heap space
2241.38/1213.68	24:27 ERROR: Failed to solve instance
2241.38/1213.68	java.lang.OutOfMemoryError: Java heap space
2241.58/1213.84	24:27 ERROR: Failed to solve instance
2241.58/1213.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2245.89/1217.78	24:31 ERROR: Failed to solve instance
2245.89/1217.78	java.lang.OutOfMemoryError: Java heap space
2247.17/1218.99	24:32 ERROR: Failed to solve instance
2247.17/1218.99	java.lang.OutOfMemoryError: Java heap space
2248.77/1220.44	24:33 ERROR: Failed to solve instance
2248.77/1220.44	java.lang.OutOfMemoryError: Java heap space
2254.76/1225.78	24:39 ERROR: Failed to solve instance
2254.76/1225.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2256.97/1227.82	24:41 ERROR: Failed to solve instance
2256.97/1227.82	java.lang.OutOfMemoryError: Java heap space
2257.08/1227.98	24:41 ERROR: Failed to solve instance
2257.08/1227.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.42/1229.22	24:42 ERROR: Failed to solve instance
2258.42/1229.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.72/1229.55	24:43 ERROR: Failed to solve instance
2258.72/1229.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2265.73/1235.75	24:49 ERROR: Failed to solve instance
2265.73/1235.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2266.34/1236.37	24:49 ERROR: Failed to solve instance
2266.34/1236.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2266.65/1236.70	24:50 ERROR: Failed to solve instance
2266.65/1236.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2267.05/1237.03	24:50 ERROR: Failed to solve instance
2267.05/1237.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2267.46/1237.42	24:50 ERROR: Failed to solve instance
2267.46/1237.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2274.11/1243.25	24:56 ERROR: Failed to solve instance
2274.11/1243.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2274.41/1243.58	24:57 ERROR: Failed to solve instance
2274.41/1243.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2274.82/1243.98	24:57 ERROR: Failed to solve instance
2274.82/1243.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2279.70/1248.39	25:01 ERROR: Failed to solve instance
2279.70/1248.39	java.lang.OutOfMemoryError: Java heap space
2280.21/1248.89	25:02 ERROR: Failed to solve instance
2280.21/1248.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.65/1251.17	25:04 ERROR: Failed to solve instance
2282.65/1251.17	java.lang.OutOfMemoryError: Java heap space
2282.85/1251.33	25:04 ERROR: Failed to solve instance
2282.85/1251.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2283.26/1251.72	25:05 ERROR: Failed to solve instance
2283.26/1251.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2289.13/1256.91	25:10 ERROR: Failed to solve instance
2289.13/1256.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2289.43/1257.26	25:10 ERROR: Failed to solve instance
2289.43/1257.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2292.30/1259.92	25:13 ERROR: Failed to solve instance
2292.30/1259.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2292.91/1260.55	25:13 ERROR: Failed to solve instance
2292.91/1260.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2293.22/1260.89	25:14 ERROR: Failed to solve instance
2293.22/1260.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2293.62/1261.25	25:14 ERROR: Failed to solve instance
2293.62/1261.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2294.03/1261.63	25:15 ERROR: Failed to solve instance
2294.03/1261.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2300.49/1267.25	25:20 ERROR: Failed to solve instance
2300.49/1267.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2300.90/1267.60	25:21 ERROR: Failed to solve instance
2300.90/1267.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2301.20/1267.97	25:21 ERROR: Failed to solve instance
2301.20/1267.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2305.17/1271.48	25:24 ERROR: Failed to solve instance
2305.17/1271.48	java.lang.OutOfMemoryError: Java heap space
2307.20/1273.34	25:26 ERROR: Failed to solve instance
2307.20/1273.34	java.lang.OutOfMemoryError: Java heap space
2307.40/1273.50	25:27 ERROR: Failed to solve instance
2307.40/1273.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2311.40/1277.00	25:30 ERROR: Failed to solve instance
2311.40/1277.00	java.lang.OutOfMemoryError: Java heap space
2315.99/1281.11	25:34 ERROR: Failed to solve instance
2315.99/1281.11	java.lang.OutOfMemoryError: Java heap space
2318.40/1283.49	25:37 ERROR: Failed to solve instance
2318.40/1283.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2318.92/1283.99	25:37 ERROR: Failed to solve instance
2318.92/1283.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
2319.32/1284.37	25:37 ERROR: Failed to solve instance
2319.32/1284.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2323.29/1287.94	25:41 ERROR: Failed to solve instance
2323.29/1287.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2323.60/1288.26	25:41 ERROR: Failed to solve instance
2323.60/1288.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2324.01/1288.63	25:42 ERROR: Failed to solve instance
2324.01/1288.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2330.87/1294.50	25:48 ERROR: Failed to solve instance
2330.87/1294.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
2331.48/1295.12	25:48 ERROR: Failed to solve instance
2331.48/1295.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2331.78/1295.44	25:48 ERROR: Failed to solve instance
2331.78/1295.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2332.19/1295.80	25:49 ERROR: Failed to solve instance
2332.19/1295.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2332.60/1296.21	25:49 ERROR: Failed to solve instance
2332.60/1296.21	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-3312334-1304111053/watcher-3312334-1304111053 -o /tmp/evaluation-result-3312334-1304111053/solver-3312334-1304111053 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312334-1304111053.cnf 

running on 4 cores: 0,2,4,6

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: 2.18 3.88 5.08 2/198 22667
/proc/meminfo: memFree=15599208/32951124 swapFree=67103136/67111528
[pid=22667] ppid=22665 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/22667/stat : 22667 (java) R 22665 22667 21847 0 -1 4202496 1192 0 0 0 0 0 0 0 25 0 1 0 601335962 23580672 678 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224279963112 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22667/statm: 5757 678 504 9 0 124 0

[startup+0.0156821 s]
/proc/loadavg: 2.18 3.88 5.08 2/198 22667
/proc/meminfo: memFree=15599208/32951124 swapFree=67103136/67111528
[pid=22667] ppid=22665 vsize=15590392 CPUtime=0 cores=0,2,4,6
/proc/22667/stat : 22667 (java) S 22665 22667 21847 0 -1 4202496 2457 0 1 0 0 0 0 0 25 0 10 0 601335962 15964561408 1899 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/22667/statm: 3897598 1899 1055 9 0 3888754 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15590392

[startup+0.101077 s]
/proc/loadavg: 2.18 3.88 5.08 2/198 22667
/proc/meminfo: memFree=15599208/32951124 swapFree=67103136/67111528
[pid=22667] ppid=22665 vsize=15677200 CPUtime=0.1 cores=0,2,4,6
/proc/22667/stat : 22667 (java) S 22665 22667 21847 0 -1 4202496 5575 0 1 0 10 0 0 0 25 0 18 0 601335962 16053452800 4996 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22667/statm: 3919300 4996 2117 9 0 3910019 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677200

[startup+0.301069 s]
/proc/loadavg: 2.18 3.88 5.08 2/198 22667
/proc/meminfo: memFree=15599208/32951124 swapFree=67103136/67111528
[pid=22667] ppid=22665 vsize=15681296 CPUtime=0.5 cores=0,2,4,6
/proc/22667/stat : 22667 (java) S 22665 22667 21847 0 -1 4202496 15450 0 1 0 49 1 0 0 25 0 18 0 601335962 16057647104 14040 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22667/statm: 3920324 14048 2207 9 0 3911043 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15681296

[startup+0.701028 s]
/proc/loadavg: 2.18 3.88 5.08 2/198 22667
/proc/meminfo: memFree=15599208/32951124 swapFree=67103136/67111528
[pid=22667] ppid=22665 vsize=15681296 CPUtime=0.91 cores=0,2,4,6
/proc/22667/stat : 22667 (java) S 22665 22667 21847 0 -1 4202496 41756 0 1 0 86 5 0 0 25 0 18 0 601335962 16057647104 40344 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22667/statm: 3920324 40344 2223 9 0 3911043 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 15681296

[startup+1.50087 s]
/proc/loadavg: 2.18 3.88 5.08 3/220 22689
/proc/meminfo: memFree=15443972/32951124 swapFree=67103136/67111528
[pid=22667] ppid=22665 vsize=15692576 CPUtime=2.2 cores=0,2,4,6
/proc/22667/stat : 22667 (java) S 22665 22667 21847 0 -1 4202496 47247 0 1 0 214 6 0 0 25 0 22 0 601335962 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22667/statm: 3923144 43665 2262 9 0 3913863 0
[pid=22667/tid=22669] ppid=22665 vsize=15692576 CPUtime=1.46 cores=0,2,4,6
/proc/22667/task/22669/stat : 22669 (java) R 22665 22667 21847 0 -1 4202560 35646 0 1 0 142 4 0 0 21 0 22 0 601335963 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 46912505215960 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22667/tid=22670] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22670/stat : 22670 (java) S 22665 22667 21847 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 22 0 601335964 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22671] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22671/stat : 22671 (java) S 22665 22667 21847 0 -1 4202560 358 0 0 0 0 0 0 0 18 0 22 0 601335964 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22672] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22672/stat : 22672 (java) S 22665 22667 21847 0 -1 4202560 83 0 0 0 0 0 0 0 18 0 22 0 601335964 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22673] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22673/stat : 22673 (java) S 22665 22667 21847 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 601335964 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22674] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22674/stat : 22674 (java) S 22665 22667 21847 0 -1 4202560 270 0 0 0 0 0 0 0 18 0 22 0 601335964 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 2 0 0 0
[pid=22667/tid=22675] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22675/stat : 22675 (java) S 22665 22667 21847 0 -1 4202560 15 0 0 0 0 0 0 0 18 0 22 0 601335964 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22676] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22676/stat : 22676 (java) S 22665 22667 21847 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 22 0 601335964 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22677] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22677/stat : 22677 (java) S 22665 22667 21847 0 -1 4202560 729 0 0 0 0 0 0 0 18 0 22 0 601335964 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22678] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22678/stat : 22678 (java) S 22665 22667 21847 0 -1 4202560 71 0 0 0 0 0 0 0 18 0 22 0 601335965 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296742400 0 0 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22679] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22679/stat : 22679 (java) S 22665 22667 21847 0 -1 4202560 18 0 0 0 0 0 0 0 21 0 22 0 601335965 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22680] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22680/stat : 22680 (java) S 22665 22667 21847 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 601335965 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22681] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22681/stat : 22681 (java) S 22665 22667 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601335967 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296749489 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22682] ppid=22665 vsize=15692576 CPUtime=0.33 cores=0,2,4,6
/proc/22667/task/22682/stat : 22682 (java) S 22665 22667 21847 0 -1 4202560 3903 0 0 0 33 0 0 0 18 0 22 0 601335967 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22683] ppid=22665 vsize=15692576 CPUtime=0.36 cores=0,2,4,6
/proc/22667/task/22683/stat : 22683 (java) R 22665 22667 21847 0 -1 4202560 4690 0 0 0 36 0 0 0 15 0 22 0 601335967 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 47485045166325 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22667/tid=22684] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22684/stat : 22684 (java) S 22665 22667 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601335967 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22685] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22685/stat : 22685 (java) S 22665 22667 21847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601335967 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296742400 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22686] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22686/stat : 22686 (java) S 22665 22667 21847 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 601336046 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296742400 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22687] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22687/stat : 22687 (java) S 22665 22667 21847 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601336046 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296742400 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22688] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22688/stat : 22688 (java) S 22665 22667 21847 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 601336046 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296742400 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22689] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22689/stat : 22689 (java) S 22665 22667 21847 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 601336046 16069197824 43665 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296742400 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 15692576

[startup+3.10162 s]
/proc/loadavg: 2.18 3.88 5.08 3/220 22689
/proc/meminfo: memFree=15431684/32951124 swapFree=67103136/67111528
[pid=22667] ppid=22665 vsize=15692576 CPUtime=5.5 cores=0,2,4,6
/proc/22667/stat : 22667 (java) S 22665 22667 21847 0 -1 4202496 68660 0 1 0 540 10 0 0 25 0 22 0 601335962 16069197824 65025 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22667/statm: 3923144 65028 2275 9 0 3913863 0
[pid=22667/tid=22669] ppid=22665 vsize=15692576 CPUtime=2.06 cores=0,2,4,6
/proc/22667/task/22669/stat : 22669 (java) S 22665 22667 21847 0 -1 4202560 35697 0 1 0 202 4 0 0 22 0 22 0 601335963 16069197824 65031 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22670] ppid=22665 vsize=15692576 CPUtime=0.01 cores=0,2,4,6
/proc/22667/task/22670/stat : 22670 (java) S 22665 22667 21847 0 -1 4202560 1003 0 0 0 1 0 0 0 16 0 22 0 601335964 16069197824 65032 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22671] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22671/stat : 22671 (java) S 22665 22667 21847 0 -1 4202560 358 0 0 0 0 0 0 0 15 0 22 0 601335964 16069197824 65035 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22672] ppid=22665 vsize=15692576 CPUtime=0.01 cores=0,2,4,6
/proc/22667/task/22672/stat : 22672 (java) S 22665 22667 21847 0 -1 4202560 4551 0 0 0 1 0 0 0 16 0 22 0 601335964 16069197824 65037 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22673] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22673/stat : 22673 (java) S 22665 22667 21847 0 -1 4202560 2892 0 0 0 0 0 0 0 15 0 22 0 601335964 16069197824 65038 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22674] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22674/stat : 22674 (java) S 22665 22667 21847 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 22 0 601335964 16069197824 65041 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22675] ppid=22665 vsize=15692576 CPUtime=0.01 cores=0,2,4,6
/proc/22667/task/22675/stat : 22675 (java) S 22665 22667 21847 0 -1 4202560 2893 0 0 0 1 0 0 0 15 0 22 0 601335964 16069197824 65042 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22676] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22676/stat : 22676 (java) S 22665 22667 21847 0 -1 4202560 975 0 0 0 0 0 0 0 15 0 22 0 601335964 16069197824 65044 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22677] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22677/stat : 22677 (java) S 22665 22667 21847 0 -1 4202560 2059 0 0 0 0 0 0 0 15 0 22 0 601335964 16069197824 65047 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22678] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22678/stat : 22678 (java) S 22665 22667 21847 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 22 0 601335965 16069197824 65050 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296742400 0 0 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22679] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22679/stat : 22679 (java) S 22665 22667 21847 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 601335965 16069197824 65050 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22680] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22680/stat : 22680 (java) S 22665 22667 21847 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 601335965 16069197824 65053 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22681] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22681/stat : 22681 (java) S 22665 22667 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601335967 16069197824 65056 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296749489 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22682] ppid=22665 vsize=15692576 CPUtime=0.8 cores=0,2,4,6
/proc/22667/task/22682/stat : 22682 (java) S 22665 22667 21847 0 -1 4202560 4089 0 0 0 80 0 0 0 15 0 22 0 601335967 16069197824 65057 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22683] ppid=22665 vsize=15692576 CPUtime=0.75 cores=0,2,4,6
/proc/22667/task/22683/stat : 22683 (java) S 22665 22667 21847 0 -1 4202560 4736 0 0 0 75 0 0 0 15 0 22 0 601335967 16069197824 65059 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22684] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22684/stat : 22684 (java) S 22665 22667 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601335967 16069197824 65062 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22685] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22685/stat : 22685 (java) S 22665 22667 21847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 601335967 16069197824 65064 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296742400 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22686] ppid=22665 vsize=15692576 CPUtime=0.59 cores=0,2,4,6
/proc/22667/task/22686/stat : 22686 (java) R 22665 22667 21847 0 -1 4202560 1331 0 0 0 59 0 0 0 16 0 22 0 601336046 16069197824 65065 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 46912506229526 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22667/tid=22687] ppid=22665 vsize=15692576 CPUtime=0.05 cores=0,2,4,6
/proc/22667/task/22687/stat : 22687 (java) R 22665 22667 21847 0 -1 4202560 4785 0 0 0 5 0 0 0 15 0 22 0 601336046 16069197824 65068 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 46912506229526 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=22667/tid=22688] ppid=22665 vsize=15692576 CPUtime=0.57 cores=0,2,4,6
/proc/22667/task/22688/stat : 22688 (java) S 22665 22667 21847 0 -1 4202560 11 0 0 0 57 0 0 0 15 0 22 0 601336046 16069197824 65070 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296742400 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22689] ppid=22665 vsize=15692576 CPUtime=0.52 cores=0,2,4,6
/proc/22667/task/22689/stat : 22689 (java) R 22665 22667 21847 0 -1 4202560 1578 0 0 0 52 0 0 0 16 0 22 0 601336046 16069197824 65071 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 46912506229526 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 15692576

[startup+6.30104 s]
/proc/loadavg: 2.41 3.89 5.08 6/220 22689
/proc/meminfo: memFree=14773128/32951124 swapFree=67103136/67111528
[pid=22667] ppid=22665 vsize=15692576 CPUtime=17.91 cores=0,2,4,6
/proc/22667/stat : 22667 (java) S 22665 22667 21847 0 -1 4202496 259629 0 1 0 1753 38 0 0 25 0 22 0 601335962 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22667/statm: 3923144 254594 2275 9 0 3913863 0
[pid=22667/tid=22669] ppid=22665 vsize=15692576 CPUtime=2.06 cores=0,2,4,6
/proc/22667/task/22669/stat : 22669 (java) S 22665 22667 21847 0 -1 4202560 35697 0 1 0 202 4 0 0 22 0 22 0 601335963 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22670] ppid=22665 vsize=15692576 CPUtime=0.13 cores=0,2,4,6
/proc/22667/task/22670/stat : 22670 (java) S 22665 22667 21847 0 -1 4202560 13453 0 0 0 11 2 0 0 15 0 22 0 601335964 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22671] ppid=22665 vsize=15692576 CPUtime=0.18 cores=0,2,4,6
/proc/22667/task/22671/stat : 22671 (java) S 22665 22667 21847 0 -1 4202560 26350 0 0 0 14 4 0 0 15 0 22 0 601335964 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22672] ppid=22665 vsize=15692576 CPUtime=0.12 cores=0,2,4,6
/proc/22667/task/22672/stat : 22672 (java) S 22665 22667 21847 0 -1 4202560 24849 0 0 0 8 4 0 0 16 0 22 0 601335964 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22673] ppid=22665 vsize=15692576 CPUtime=0.16 cores=0,2,4,6
/proc/22667/task/22673/stat : 22673 (java) S 22665 22667 21847 0 -1 4202560 21064 0 0 0 13 3 0 0 16 0 22 0 601335964 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22674] ppid=22665 vsize=15692576 CPUtime=0.09 cores=0,2,4,6
/proc/22667/task/22674/stat : 22674 (java) S 22665 22667 21847 0 -1 4202560 10481 0 0 0 8 1 0 0 16 0 22 0 601335964 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22675] ppid=22665 vsize=15692576 CPUtime=0.15 cores=0,2,4,6
/proc/22667/task/22675/stat : 22675 (java) S 22665 22667 21847 0 -1 4202560 20934 0 0 0 12 3 0 0 16 0 22 0 601335964 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22676] ppid=22665 vsize=15692576 CPUtime=0.11 cores=0,2,4,6
/proc/22667/task/22676/stat : 22676 (java) S 22665 22667 21847 0 -1 4202560 19886 0 0 0 9 2 0 0 16 0 22 0 601335964 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 2 0 0 0
[pid=22667/tid=22677] ppid=22665 vsize=15692576 CPUtime=0.11 cores=0,2,4,6
/proc/22667/task/22677/stat : 22677 (java) S 22665 22667 21847 0 -1 4202560 17152 0 0 0 9 2 0 0 15 0 22 0 601335964 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22678] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22678/stat : 22678 (java) S 22665 22667 21847 0 -1 4202560 454 0 0 0 0 0 0 0 15 0 22 0 601335965 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296742400 0 0 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22679] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22679/stat : 22679 (java) S 22665 22667 21847 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 601335965 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22680] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22680/stat : 22680 (java) S 22665 22667 21847 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 601335965 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22681] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22681/stat : 22681 (java) S 22665 22667 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 601335967 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296749489 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22682] ppid=22665 vsize=15692576 CPUtime=0.8 cores=0,2,4,6
/proc/22667/task/22682/stat : 22682 (java) S 22665 22667 21847 0 -1 4202560 4089 0 0 0 80 0 0 0 15 0 22 0 601335967 16069197824 254594 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0

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

[pid=22667/tid=22672] ppid=22665 vsize=15692576 CPUtime=2.9 cores=0,2,4,6
/proc/22667/task/22672/stat : 22672 (java) S 22665 22667 21847 0 -1 4202560 400159 0 0 0 221 69 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 2 0 0 0
[pid=22667/tid=22673] ppid=22665 vsize=15692576 CPUtime=2.86 cores=0,2,4,6
/proc/22667/task/22673/stat : 22673 (java) S 22665 22667 21847 0 -1 4202560 285291 0 0 0 235 51 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22674] ppid=22665 vsize=15692576 CPUtime=2.62 cores=0,2,4,6
/proc/22667/task/22674/stat : 22674 (java) S 22665 22667 21847 0 -1 4202560 359002 0 0 0 200 62 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22675] ppid=22665 vsize=15692576 CPUtime=3.63 cores=0,2,4,6
/proc/22667/task/22675/stat : 22675 (java) S 22665 22667 21847 0 -1 4202560 487642 0 0 0 280 83 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22676] ppid=22665 vsize=15692576 CPUtime=2.72 cores=0,2,4,6
/proc/22667/task/22676/stat : 22676 (java) S 22665 22667 21847 0 -1 4202560 296652 0 0 0 221 51 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22677] ppid=22665 vsize=15692576 CPUtime=2.95 cores=0,2,4,6
/proc/22667/task/22677/stat : 22677 (java) S 22665 22667 21847 0 -1 4202560 380854 0 0 0 234 61 0 0 15 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 2 0 0 0
[pid=22667/tid=22678] ppid=22665 vsize=15692576 CPUtime=867.67 cores=0,2,4,6
/proc/22667/task/22678/stat : 22678 (java) R 22665 22667 21847 0 -1 4202560 659502 0 0 0 86623 144 0 0 16 0 20 0 601335965 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 47485047924931 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22667/tid=22679] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22679/stat : 22679 (java) S 22665 22667 21847 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 20 0 601335965 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22680] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22680/stat : 22680 (java) S 22665 22667 21847 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 20 0 601335965 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22681] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22681/stat : 22681 (java) S 22665 22667 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296749489 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22682] ppid=22665 vsize=15692576 CPUtime=0.81 cores=0,2,4,6
/proc/22667/task/22682/stat : 22682 (java) S 22665 22667 21847 0 -1 4202560 4090 0 0 0 81 0 0 0 16 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22683] ppid=22665 vsize=15692576 CPUtime=0.99 cores=0,2,4,6
/proc/22667/task/22683/stat : 22683 (java) S 22665 22667 21847 0 -1 4202560 4966 0 0 0 99 0 0 0 15 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22684] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22684/stat : 22684 (java) S 22665 22667 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22685] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22685/stat : 22685 (java) S 22665 22667 21847 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296742400 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22687] ppid=22665 vsize=15692576 CPUtime=363.83 cores=0,2,4,6
/proc/22667/task/22687/stat : 22687 (java) S 22665 22667 21847 0 -1 4202560 68882 0 0 0 36361 22 0 0 15 0 20 0 601336046 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 2 0 0 0
[pid=22667/tid=22689] ppid=22665 vsize=15692576 CPUtime=364.07 cores=0,2,4,6
/proc/22667/task/22689/stat : 22689 (java) S 22665 22667 21847 0 -1 4202560 55983 0 0 0 36384 23 0 0 15 0 20 0 601336046 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2273.18
Current children cumulated vsize (KiB) 15692576



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 1.16 1.41 2.71 2/191 22744
/proc/meminfo: memFree=15601476/32951124 swapFree=67103136/67111528
[pid=22667] ppid=22665 vsize=15692576 CPUtime=2337.18 cores=0,2,4,6
/proc/22667/stat : 22667 (java) S 22665 22667 21847 0 -1 4202496 3897525 0 1 0 232975 743 0 0 25 0 20 0 601335962 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22667/statm: 3923144 3862751 2295 9 0 3913863 0
[pid=22667/tid=22669] ppid=22665 vsize=15692576 CPUtime=2.06 cores=0,2,4,6
/proc/22667/task/22669/stat : 22669 (java) S 22665 22667 21847 0 -1 4202560 35697 0 1 0 202 4 0 0 22 0 20 0 601335963 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22670] ppid=22665 vsize=15692576 CPUtime=2.58 cores=0,2,4,6
/proc/22667/task/22670/stat : 22670 (java) S 22665 22667 21847 0 -1 4202560 307776 0 0 0 205 53 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 2 0 0 0
[pid=22667/tid=22671] ppid=22665 vsize=15692576 CPUtime=3.64 cores=0,2,4,6
/proc/22667/task/22671/stat : 22671 (java) S 22665 22667 21847 0 -1 4202560 417466 0 0 0 291 73 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22672] ppid=22665 vsize=15692576 CPUtime=2.9 cores=0,2,4,6
/proc/22667/task/22672/stat : 22672 (java) S 22665 22667 21847 0 -1 4202560 400159 0 0 0 221 69 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 2 0 0 0
[pid=22667/tid=22673] ppid=22665 vsize=15692576 CPUtime=2.86 cores=0,2,4,6
/proc/22667/task/22673/stat : 22673 (java) S 22665 22667 21847 0 -1 4202560 285291 0 0 0 235 51 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22674] ppid=22665 vsize=15692576 CPUtime=2.62 cores=0,2,4,6
/proc/22667/task/22674/stat : 22674 (java) S 22665 22667 21847 0 -1 4202560 359002 0 0 0 200 62 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22675] ppid=22665 vsize=15692576 CPUtime=3.63 cores=0,2,4,6
/proc/22667/task/22675/stat : 22675 (java) S 22665 22667 21847 0 -1 4202560 487642 0 0 0 280 83 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22676] ppid=22665 vsize=15692576 CPUtime=2.72 cores=0,2,4,6
/proc/22667/task/22676/stat : 22676 (java) S 22665 22667 21847 0 -1 4202560 296652 0 0 0 221 51 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22677] ppid=22665 vsize=15692576 CPUtime=2.95 cores=0,2,4,6
/proc/22667/task/22677/stat : 22677 (java) S 22665 22667 21847 0 -1 4202560 380854 0 0 0 234 61 0 0 15 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 2 0 0 0
[pid=22667/tid=22678] ppid=22665 vsize=15692576 CPUtime=919.11 cores=0,2,4,6
/proc/22667/task/22678/stat : 22678 (java) R 22665 22667 21847 0 -1 4202560 659506 0 0 0 91763 148 0 0 15 0 20 0 601335965 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 47485045232081 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22667/tid=22679] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22679/stat : 22679 (java) S 22665 22667 21847 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 20 0 601335965 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22680] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22680/stat : 22680 (java) S 22665 22667 21847 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 20 0 601335965 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22681] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22681/stat : 22681 (java) S 22665 22667 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296749489 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22682] ppid=22665 vsize=15692576 CPUtime=0.81 cores=0,2,4,6
/proc/22667/task/22682/stat : 22682 (java) S 22665 22667 21847 0 -1 4202560 4090 0 0 0 81 0 0 0 16 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22683] ppid=22665 vsize=15692576 CPUtime=0.99 cores=0,2,4,6
/proc/22667/task/22683/stat : 22683 (java) S 22665 22667 21847 0 -1 4202560 4968 0 0 0 99 0 0 0 15 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22684] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22684/stat : 22684 (java) S 22665 22667 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22685] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22685/stat : 22685 (java) S 22665 22667 21847 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296742400 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22687] ppid=22665 vsize=15692576 CPUtime=370.09 cores=0,2,4,6
/proc/22667/task/22687/stat : 22687 (java) S 22665 22667 21847 0 -1 4202560 69180 0 0 0 36987 22 0 0 15 0 20 0 601336046 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 2 0 0 0
[pid=22667/tid=22689] ppid=22665 vsize=15692576 CPUtime=370.36 cores=0,2,4,6
/proc/22667/task/22689/stat : 22689 (java) S 22665 22667 21847 0 -1 4202560 56175 0 0 0 37012 24 0 0 15 0 20 0 601336046 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2337.18
Current children cumulated vsize (KiB) 15692576

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

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

[startup+1300.11 s]
/proc/loadavg: 1.16 1.41 2.71 2/191 22744
/proc/meminfo: memFree=15601476/32951124 swapFree=67103136/67111528
[pid=22667] ppid=22665 vsize=15692576 CPUtime=2337.28 cores=0,2,4,6
/proc/22667/stat : 22667 (java) S 22665 22667 21847 0 -1 4202496 3897526 0 1 0 232985 743 0 0 18 0 20 0 601335962 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22667/statm: 3923144 3862751 2295 9 0 3913863 0
[pid=22667/tid=22669] ppid=22665 vsize=15692576 CPUtime=2.06 cores=0,2,4,6
/proc/22667/task/22669/stat : 22669 (java) S 22665 22667 21847 0 -1 4202560 35697 0 1 0 202 4 0 0 22 0 20 0 601335963 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22670] ppid=22665 vsize=15692576 CPUtime=2.58 cores=0,2,4,6
/proc/22667/task/22670/stat : 22670 (java) S 22665 22667 21847 0 -1 4202560 307776 0 0 0 205 53 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 2 0 0 0
[pid=22667/tid=22671] ppid=22665 vsize=15692576 CPUtime=3.64 cores=0,2,4,6
/proc/22667/task/22671/stat : 22671 (java) S 22665 22667 21847 0 -1 4202560 417466 0 0 0 291 73 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22672] ppid=22665 vsize=15692576 CPUtime=2.9 cores=0,2,4,6
/proc/22667/task/22672/stat : 22672 (java) S 22665 22667 21847 0 -1 4202560 400159 0 0 0 221 69 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 2 0 0 0
[pid=22667/tid=22673] ppid=22665 vsize=15692576 CPUtime=2.86 cores=0,2,4,6
/proc/22667/task/22673/stat : 22673 (java) S 22665 22667 21847 0 -1 4202560 285291 0 0 0 235 51 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22674] ppid=22665 vsize=15692576 CPUtime=2.62 cores=0,2,4,6
/proc/22667/task/22674/stat : 22674 (java) S 22665 22667 21847 0 -1 4202560 359002 0 0 0 200 62 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22675] ppid=22665 vsize=15692576 CPUtime=3.63 cores=0,2,4,6
/proc/22667/task/22675/stat : 22675 (java) S 22665 22667 21847 0 -1 4202560 487642 0 0 0 280 83 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 0 0 0 0
[pid=22667/tid=22676] ppid=22665 vsize=15692576 CPUtime=2.72 cores=0,2,4,6
/proc/22667/task/22676/stat : 22676 (java) S 22665 22667 21847 0 -1 4202560 296652 0 0 0 221 51 0 0 16 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22677] ppid=22665 vsize=15692576 CPUtime=2.95 cores=0,2,4,6
/proc/22667/task/22677/stat : 22677 (java) S 22665 22667 21847 0 -1 4202560 380854 0 0 0 234 61 0 0 15 0 20 0 601335964 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 2 0 0 0
[pid=22667/tid=22678] ppid=22665 vsize=15692576 CPUtime=919.22 cores=0,2,4,6
/proc/22667/task/22678/stat : 22678 (java) R 22665 22667 21847 0 -1 4202560 659506 0 0 0 91774 148 0 0 16 0 20 0 601335965 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 47485043640128 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22667/tid=22679] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22679/stat : 22679 (java) S 22665 22667 21847 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 20 0 601335965 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
[pid=22667/tid=22680] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22680/stat : 22680 (java) S 22665 22667 21847 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 20 0 601335965 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22681] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22681/stat : 22681 (java) S 22665 22667 21847 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22682] ppid=22665 vsize=15692576 CPUtime=0.81 cores=0,2,4,6
/proc/22667/task/22682/stat : 22682 (java) S 22665 22667 21847 0 -1 4202560 4090 0 0 0 81 0 0 0 16 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22683] ppid=22665 vsize=15692576 CPUtime=0.99 cores=0,2,4,6
/proc/22667/task/22683/stat : 22683 (java) S 22665 22667 21847 0 -1 4202560 4968 0 0 0 99 0 0 0 15 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22684] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22684/stat : 22684 (java) S 22665 22667 21847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22685] ppid=22665 vsize=15692576 CPUtime=0 cores=0,2,4,6
/proc/22667/task/22685/stat : 22685 (java) S 22665 22667 21847 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 20 0 601335967 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296742400 0 4 0 16800975 18446604443735167104 0 0 -1 6 0 0 0
[pid=22667/tid=22687] ppid=22665 vsize=15692576 CPUtime=370.09 cores=0,2,4,6
/proc/22667/task/22687/stat : 22687 (java) S 22665 22667 21847 0 -1 4202560 69180 0 0 0 36987 22 0 0 15 0 20 0 601336046 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 2 0 0 0
[pid=22667/tid=22689] ppid=22665 vsize=15692576 CPUtime=370.36 cores=0,2,4,6
/proc/22667/task/22689/stat : 22689 (java) S 22665 22667 21847 0 -1 4202560 56175 0 0 0 37012 24 0 0 15 0 20 0 601336046 16069197824 3862751 33554432000 1073741824 1073778376 140736676446112 18446744073709551615 224296741785 0 4 0 16800975 18446604443735167104 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2337.28
Current children cumulated vsize (KiB) 15692576

[startup+1300.51 s]
/proc/loadavg: 1.16 1.41 2.71 3/194 22747
/proc/meminfo: memFree=15601452/32951124 swapFree=67103136/67111528
[pid=22667] ppid=22665 vsize=0 CPUtime=2337.68 cores=0,2,4,6
/proc/22667/stat : 22667 (java) Z 22665 22667 21847 0 -1 4203548 3897539 0 1 0 233022 746 0 0 15 0 2 0 601335962 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22667/statm: 0 0 0 0 0 0 0
[pid=22667/tid=22677] ppid=22665 vsize=0 CPUtime=2.99 cores=0,2,4,6
/proc/22667/task/22677/stat : 22677 (java) R 22665 22667 21847 0 -1 4203588 380854 0 0 0 234 65 0 0 15 0 2 0 601335964 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2337.68
Current children cumulated vsize (KiB) 0

[startup+1300.9 s]
/proc/loadavg: 1.16 1.41 2.71 3/194 22747
/proc/meminfo: memFree=15601452/32951124 swapFree=67103136/67111528
[pid=22667] ppid=22665 vsize=0 CPUtime=2338.07 cores=0,2,4,6
/proc/22667/stat : 22667 (java) Z 22665 22667 21847 0 -1 4203548 3897539 0 1 0 233022 785 0 0 15 0 2 0 601335962 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22667/statm: 0 0 0 0 0 0 0
[pid=22667/tid=22677] ppid=22665 vsize=0 CPUtime=3.38 cores=0,2,4,6
/proc/22667/task/22677/stat : 22677 (java) R 22665 22667 21847 0 -1 4203588 380854 0 0 0 234 104 0 0 16 0 2 0 601335964 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2338.07
Current children cumulated vsize (KiB) 0

[startup+1301 s]
/proc/loadavg: 1.16 1.41 2.71 3/194 22747
/proc/meminfo: memFree=15601452/32951124 swapFree=67103136/67111528
[pid=22667] ppid=22665 vsize=0 CPUtime=2338.17 cores=0,2,4,6
/proc/22667/stat : 22667 (java) Z 22665 22667 21847 0 -1 4203548 3897539 0 1 0 233022 795 0 0 15 0 2 0 601335962 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22667/statm: 0 0 0 0 0 0 0
[pid=22667/tid=22677] ppid=22665 vsize=0 CPUtime=3.48 cores=0,2,4,6
/proc/22667/task/22677/stat : 22677 (java) R 22665 22667 21847 0 -1 4203588 380854 0 0 0 234 114 0 0 16 0 2 0 601335964 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2338.17
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1301.04
CPU time (s): 2338.22
CPU user time (s): 2330.22
CPU system time (s): 7.99678
CPU usage (%): 179.719
Max. virtual memory (cumulated for all children) (KiB): 15693728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2330.22
system time used= 7.99678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3897539
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= 70132
involuntary context switches= 39501

runsolver used 2.32864 second user time and 4.84226 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-29 23:04:13
IDJOB=3312334
IDBENCH=82519
IDSOLVER=1699
FILE ID=node118/3312334-1304111053
RUNJOBID= node118-1304109359-22372
PBS_JOBID= 13170646
Free space on /tmp= 71612 MiB

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

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

MD5SUM BENCH= 07407a86c8d0f1e46c34022f68908549
RANDOM SEED=2040568251

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15599364 kB
Buffers:        362940 kB
Cached:        1117724 kB
SwapCached:       1984 kB
Active:       15475120 kB
Inactive:      1505888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15599364 kB
SwapTotal:    67111528 kB
SwapFree:     67103136 kB
Dirty:            4764 kB
Writeback:           0 kB
AnonPages:    15499784 kB
Mapped:          23428 kB
Slab:           275368 kB
PageTables:      35048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 15695116 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= 71612 MiB
End job on node118 at 2011-04-29 23:25:55