Trace number 3311224

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 (hbr=2)? (TO) 2322.71 1301.25

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf
MD5SUM4a57833314362e0939d4095b3206ad82
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark378.192
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	02:51 INFO : Reading from input HOME/instance-3311224-1304114571.cnf
1.03/0.83	Executor set job limit to 1000000
1.03/0.83	Executor set job limit to 1000000
1.03/0.84	Executor set job limit to 1000000
1.03/0.84	Executor set job limit to 1000000
1.03/0.84	Starting Executor!
1.03/0.84	Starting Executor!
1.03/0.84	Starting Executor!
1.03/0.84	Starting Executor!
3.14/2.03	02:53 INFO : 34861 variables remaining out of 35000
3.14/2.03	02:53 INFO : 584480 literals remaining out of 588000
1214.35/333.75	08:25 ERROR: Failed to solve instance
1214.35/333.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1214.35/333.75		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:169)
1214.35/333.75		at gnu.trove.THash.postInsertHook(THash.java:370)
1214.35/333.75		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1214.35/333.75		at ibis.structure.WatchLists.build(WatchLists.java:56)
1214.35/333.75		at ibis.structure.Solver.<init>(Solver.java:45)
1214.35/333.75		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1214.35/333.75		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1214.35/333.75		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1214.35/333.75		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1214.35/333.75		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1214.35/333.75		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1214.35/333.75		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1214.35/333.75		at ibis.constellation.Executor.processActivities(Executor.java:75)
1214.35/333.75		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1214.35/333.75		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1214.35/333.75		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1221.60/340.22	08:31 ERROR: Failed to solve instance
1221.60/340.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1221.60/340.22		at gnu.trove.TIntHashSet.rehash(TIntHashSet.java:169)
1221.60/340.22		at gnu.trove.THash.postInsertHook(THash.java:370)
1221.60/340.22		at gnu.trove.TIntHashSet.add(TIntHashSet.java:154)
1221.60/340.22		at ibis.structure.WatchLists.build(WatchLists.java:56)
1221.60/340.22		at ibis.structure.Solver.<init>(Solver.java:45)
1221.60/340.22		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1221.60/340.22		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1221.60/340.22		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1221.60/340.22		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1221.60/340.22		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1221.60/340.22		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1221.60/340.22		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1221.60/340.22		at ibis.constellation.Executor.processActivities(Executor.java:75)
1221.60/340.22		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1221.60/340.22		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1221.60/340.22		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1224.12/342.79	08:34 ERROR: Failed to solve instance
1224.12/342.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1224.12/342.79		at ibis.structure.WatchLists.build(WatchLists.java:47)
1224.12/342.79		at ibis.structure.Solver.<init>(Solver.java:45)
1224.12/342.79		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1224.12/342.79		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1224.12/342.79		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1224.12/342.79		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1224.12/342.79		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1224.12/342.79		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1224.12/342.79		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1224.12/342.79		at ibis.constellation.Executor.processActivities(Executor.java:75)
1224.12/342.79		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1224.12/342.79		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1224.12/342.79		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1227.16/345.80	08:37 ERROR: Failed to solve instance
1227.16/345.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1227.16/345.80		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1227.16/345.80		at gnu.trove.THash.postInsertHook(THash.java:370)
1227.16/345.80		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1227.16/345.80		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1227.16/345.80		at ibis.structure.Subsumming.run(Subsumming.java:58)
1227.16/345.80		at ibis.structure.Solver.simplify(Solver.java:205)
1227.16/345.80		at ibis.structure.Solver.solve(Solver.java:113)
1227.16/345.80		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1227.16/345.80		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1227.16/345.80		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1227.16/345.80		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1227.16/345.80		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1227.16/345.80		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1227.16/345.80		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1227.16/345.80		at ibis.constellation.Executor.processActivities(Executor.java:75)
1227.16/345.80		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1227.16/345.80		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1227.16/345.80		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1229.57/348.19	08:39 ERROR: Failed to solve instance
1229.57/348.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1230.26/348.75	08:40 ERROR: Failed to solve instance
1230.26/348.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1236.12/353.30	08:44 ERROR: Failed to solve instance
1236.12/353.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1237.05/354.25	08:45 ERROR: Failed to solve instance
1237.05/354.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1237.58/354.77	08:46 ERROR: Failed to solve instance
1237.58/354.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1238.09/355.24	08:46 ERROR: Failed to solve instance
1238.09/355.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1238.78/355.86	08:47 ERROR: Failed to solve instance
1238.78/355.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1246.90/362.35	08:53 ERROR: Failed to solve instance
1246.90/362.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1247.41/362.81	08:54 ERROR: Failed to solve instance
1247.41/362.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1248.80/363.93	08:55 ERROR: Failed to solve instance
1248.80/363.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1250.60/365.49	08:56 ERROR: Failed to solve instance
1250.60/365.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1251.35/366.18	08:57 ERROR: Failed to solve instance
1251.35/366.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1252.27/366.96	08:58 ERROR: Failed to solve instance
1252.27/366.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1254.59/368.80	09:00 ERROR: Failed to solve instance
1254.59/368.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1255.37/369.60	09:00 ERROR: Failed to solve instance
1255.37/369.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1260.76/373.66	09:04 ERROR: Failed to solve instance
1260.76/373.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1261.43/374.22	09:05 ERROR: Failed to solve instance
1261.43/374.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1262.21/374.97	09:06 ERROR: Failed to solve instance
1262.21/374.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1266.57/378.85	09:10 ERROR: Failed to solve instance
1266.57/378.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1267.68/379.90	09:11 ERROR: Failed to solve instance
1267.68/379.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1268.32/380.42	09:11 ERROR: Failed to solve instance
1268.32/380.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1268.84/380.99	09:12 ERROR: Failed to solve instance
1268.84/380.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1269.53/381.57	09:12 ERROR: Failed to solve instance
1269.53/381.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1279.09/388.88	09:20 ERROR: Failed to solve instance
1279.09/388.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1280.10/389.81	09:21 ERROR: Failed to solve instance
1280.10/389.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1280.62/390.31	09:21 ERROR: Failed to solve instance
1280.62/390.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1281.13/390.84	09:22 ERROR: Failed to solve instance
1281.13/390.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1281.76/391.41	09:22 ERROR: Failed to solve instance
1281.76/391.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1282.70/392.28	09:23 ERROR: Failed to solve instance
1282.70/392.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1285.36/394.39	09:25 ERROR: Failed to solve instance
1285.36/394.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1288.30/396.75	09:28 ERROR: Failed to solve instance
1288.30/396.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1289.23/397.64	09:28 ERROR: Failed to solve instance
1289.23/397.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1294.50/401.61	09:32 ERROR: Failed to solve instance
1294.50/401.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1295.12/402.23	09:33 ERROR: Failed to solve instance
1295.12/402.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1296.12/403.21	09:34 ERROR: Failed to solve instance
1296.12/403.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1296.68/403.69	09:35 ERROR: Failed to solve instance
1296.68/403.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1301.91/407.70	09:39 ERROR: Failed to solve instance
1301.91/407.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1302.74/408.60	09:39 ERROR: Failed to solve instance
1302.74/408.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1303.37/409.12	09:40 ERROR: Failed to solve instance
1303.37/409.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1303.89/409.68	09:41 ERROR: Failed to solve instance
1303.89/409.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1304.67/410.31	09:41 ERROR: Failed to solve instance
1304.67/410.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1310.12/414.67	09:46 ERROR: Failed to solve instance
1310.12/414.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1310.65/415.16	09:46 ERROR: Failed to solve instance
1310.65/415.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1311.27/415.73	09:47 ERROR: Failed to solve instance
1311.27/415.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1316.76/420.14	09:51 ERROR: Failed to solve instance
1316.76/420.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1317.28/420.63	09:51 ERROR: Failed to solve instance
1317.28/420.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1318.11/421.45	09:52 ERROR: Failed to solve instance
1318.11/421.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1318.68/422.00	09:53 ERROR: Failed to solve instance
1318.68/422.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1321.75/424.49	09:55 ERROR: Failed to solve instance
1321.75/424.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1323.07/425.60	09:56 ERROR: Failed to solve instance
1323.07/425.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1323.48/426.10	09:57 ERROR: Failed to solve instance
1323.48/426.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1330.06/431.06	10:02 ERROR: Failed to solve instance
1330.06/431.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1331.49/432.11	10:03 ERROR: Failed to solve instance
1331.49/432.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1333.19/433.61	10:04 ERROR: Failed to solve instance
1333.19/433.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1333.60/434.10	10:05 ERROR: Failed to solve instance
1333.60/434.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1334.22/434.63	10:05 ERROR: Failed to solve instance
1334.22/434.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1335.30/435.65	10:06 ERROR: Failed to solve instance
1335.30/435.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1335.69/435.93	Exception in thread "SingleThreadedConstellation 1" java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.26/443.78	10:15 ERROR: Failed to solve instance
1345.26/443.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1345.68/444.18	10:15 ERROR: Failed to solve instance
1345.68/444.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1346.19/444.62	10:15 ERROR: Failed to solve instance
1346.19/444.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1351.05/448.71	10:20 ERROR: Failed to solve instance
1351.05/448.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1351.46/449.11	10:20 ERROR: Failed to solve instance
1351.46/449.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1352.27/449.90	10:21 ERROR: Failed to solve instance
1352.27/449.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1352.69/450.33	10:21 ERROR: Failed to solve instance
1352.69/450.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1353.11/450.79	10:22 ERROR: Failed to solve instance
1353.11/450.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1353.63/451.28	10:22 ERROR: Failed to solve instance
1353.63/451.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1362.96/458.79	10:30 ERROR: Failed to solve instance
1362.96/458.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1363.38/459.14	10:30 ERROR: Failed to solve instance
1363.38/459.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1363.68/459.49	10:30 ERROR: Failed to solve instance
1363.68/459.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1364.57/460.29	10:31 ERROR: Failed to solve instance
1364.57/460.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1365.11/460.79	10:32 ERROR: Failed to solve instance
1365.11/460.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1365.62/461.20	10:32 ERROR: Failed to solve instance
1365.62/461.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1366.04/461.66	10:33 ERROR: Failed to solve instance
1366.04/461.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1371.70/466.17	10:37 ERROR: Failed to solve instance
1371.70/466.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1372.11/466.58	10:37 ERROR: Failed to solve instance
1372.11/466.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1372.64/467.03	10:38 ERROR: Failed to solve instance
1372.64/467.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.52/470.26	10:41 ERROR: Failed to solve instance
1376.52/470.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1377.34/471.00	10:42 ERROR: Failed to solve instance
1377.34/471.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1377.55/471.24	10:42 ERROR: Failed to solve instance
1377.55/471.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1380.27/473.57	10:44 ERROR: Failed to solve instance
1380.27/473.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1385.79/478.04	10:49 ERROR: Failed to solve instance
1385.79/478.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1386.20/478.47	10:49 ERROR: Failed to solve instance
1386.20/478.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1387.02/479.24	10:50 ERROR: Failed to solve instance
1387.02/479.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1387.44/479.67	10:51 ERROR: Failed to solve instance
1387.44/479.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1393.25/484.44	10:55 ERROR: Failed to solve instance
1393.25/484.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1393.67/484.84	10:56 ERROR: Failed to solve instance
1393.67/484.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1394.08/485.27	10:56 ERROR: Failed to solve instance
1394.08/485.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1396.62/487.44	10:58 ERROR: Failed to solve instance
1396.62/487.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1397.24/488.01	10:59 ERROR: Failed to solve instance
1397.24/488.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1399.53/490.08	11:01 ERROR: Failed to solve instance
1399.53/490.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1400.27/490.71	11:02 ERROR: Failed to solve instance
1400.27/490.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1400.72/491.19	11:02 ERROR: Failed to solve instance
1400.72/491.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1403.41/493.42	11:04 ERROR: Failed to solve instance
1403.41/493.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1404.13/494.18	11:05 ERROR: Failed to solve instance
1404.13/494.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1404.64/494.60	11:05 ERROR: Failed to solve instance
1404.64/494.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1409.82/498.61	11:09 ERROR: Failed to solve instance
1409.82/498.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1410.26/499.06	11:10 ERROR: Failed to solve instance
1410.26/499.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.13/499.88	11:11 ERROR: Failed to solve instance
1411.13/499.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1411.69/500.37	11:11 ERROR: Failed to solve instance
1411.69/500.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1412.10/500.75	11:12 ERROR: Failed to solve instance
1412.10/500.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1417.72/505.28	11:16 ERROR: Failed to solve instance
1417.72/505.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1418.12/505.65	11:16 ERROR: Failed to solve instance
1418.12/505.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1418.64/506.10	11:17 ERROR: Failed to solve instance
1418.64/506.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1418.95/506.49	11:17 ERROR: Failed to solve instance
1418.95/506.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1426.82/512.70	11:24 ERROR: Failed to solve instance
1426.82/512.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1427.23/513.10	11:24 ERROR: Failed to solve instance
1427.23/513.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1427.64/513.54	11:24 ERROR: Failed to solve instance
1427.64/513.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1431.38/516.71	11:28 ERROR: Failed to solve instance
1431.38/516.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1431.79/517.11	11:28 ERROR: Failed to solve instance
1431.79/517.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1432.22/517.56	11:28 ERROR: Failed to solve instance
1432.22/517.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1436.50/521.18	11:32 ERROR: Failed to solve instance
1436.50/521.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1437.32/521.93	11:33 ERROR: Failed to solve instance
1437.32/521.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1437.73/522.37	11:33 ERROR: Failed to solve instance
1437.73/522.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1438.24/522.85	11:34 ERROR: Failed to solve instance
1438.24/522.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1444.18/527.41	11:38 ERROR: Failed to solve instance
1444.18/527.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1444.91/528.15	11:39 ERROR: Failed to solve instance
1444.91/528.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.12/528.39	11:39 ERROR: Failed to solve instance
1445.12/528.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1446.24/529.33	11:40 ERROR: Failed to solve instance
1446.24/529.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1448.14/531.01	11:42 ERROR: Failed to solve instance
1448.14/531.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1448.55/531.45	11:42 ERROR: Failed to solve instance
1448.55/531.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.36/537.01	11:48 ERROR: Failed to solve instance
1455.36/537.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.09/537.77	11:49 ERROR: Failed to solve instance
1456.09/537.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.49/538.17	11:49 ERROR: Failed to solve instance
1456.49/538.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1456.96/538.57	11:49 ERROR: Failed to solve instance
1456.96/538.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.26/541.35	11:52 ERROR: Failed to solve instance
1460.26/541.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.98/542.05	11:53 ERROR: Failed to solve instance
1460.98/542.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1461.08/542.17	11:53 ERROR: Failed to solve instance
1461.08/542.17	java.lang.OutOfMemoryError: Java heap space
1461.39/542.49	11:53 ERROR: Failed to solve instance
1461.39/542.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1461.93/542.95	11:54 ERROR: Failed to solve instance
1461.93/542.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1467.79/547.77	11:59 ERROR: Failed to solve instance
1467.79/547.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1469.89/549.53	12:00 ERROR: Failed to solve instance
1469.89/549.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1470.70/550.30	12:01 ERROR: Failed to solve instance
1470.70/550.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1471.12/550.71	12:02 ERROR: Failed to solve instance
1471.12/550.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1471.53/551.19	12:02 ERROR: Failed to solve instance
1471.53/551.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1472.17/551.74	12:03 ERROR: Failed to solve instance
1472.17/551.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1478.75/556.84	12:08 ERROR: Failed to solve instance
1478.75/556.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1481.39/559.11	12:10 ERROR: Failed to solve instance
1481.39/559.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1481.81/559.51	12:10 ERROR: Failed to solve instance
1481.81/559.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1482.52/560.28	12:11 ERROR: Failed to solve instance
1482.52/560.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1482.94/560.69	12:12 ERROR: Failed to solve instance
1482.94/560.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1483.37/561.07	12:12 ERROR: Failed to solve instance
1483.37/561.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1489.23/565.72	12:17 ERROR: Failed to solve instance
1489.23/565.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1489.84/566.35	12:17 ERROR: Failed to solve instance
1489.84/566.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1490.25/566.76	12:18 ERROR: Failed to solve instance
1490.25/566.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1490.67/567.19	12:18 ERROR: Failed to solve instance
1490.67/567.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1492.80/568.97	12:20 ERROR: Failed to solve instance
1492.80/568.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1493.62/569.73	12:20 ERROR: Failed to solve instance
1493.62/569.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1494.03/570.14	12:21 ERROR: Failed to solve instance
1494.03/570.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1494.57/570.63	12:21 ERROR: Failed to solve instance
1494.57/570.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1501.60/575.72	12:27 ERROR: Failed to solve instance
1501.60/575.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1502.84/576.89	12:28 ERROR: Failed to solve instance
1502.84/576.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1504.65/578.42	12:29 ERROR: Failed to solve instance
1504.65/578.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1504.95/578.77	12:30 ERROR: Failed to solve instance
1504.95/578.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1505.47/579.20	12:30 ERROR: Failed to solve instance
1505.47/579.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.74/584.48	12:35 ERROR: Failed to solve instance
1511.74/584.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1512.36/585.07	12:36 ERROR: Failed to solve instance
1512.36/585.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1512.97/585.65	12:36 ERROR: Failed to solve instance
1512.97/585.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1513.39/586.08	12:37 ERROR: Failed to solve instance
1513.39/586.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1513.96/586.59	12:37 ERROR: Failed to solve instance
1513.96/586.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.26/592.31	12:43 ERROR: Failed to solve instance
1521.26/592.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1521.97/593.05	12:44 ERROR: Failed to solve instance
1521.97/593.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1522.39/593.46	12:44 ERROR: Failed to solve instance
1522.39/593.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1522.90/593.93	12:45 ERROR: Failed to solve instance
1522.90/593.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1526.55/596.85	12:48 ERROR: Failed to solve instance
1526.55/596.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1526.96/597.26	12:48 ERROR: Failed to solve instance
1526.96/597.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1527.83/598.02	12:49 ERROR: Failed to solve instance
1527.83/598.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.07/602.10	12:53 ERROR: Failed to solve instance
1533.07/602.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.27/602.38	12:53 ERROR: Failed to solve instance
1533.27/602.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1534.49/603.43	12:54 ERROR: Failed to solve instance
1534.49/603.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1534.90/603.87	12:55 ERROR: Failed to solve instance
1534.90/603.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1538.24/606.62	12:57 ERROR: Failed to solve instance
1538.24/606.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1538.86/607.20	12:58 ERROR: Failed to solve instance
1538.86/607.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1544.42/611.80	13:03 ERROR: Failed to solve instance
1544.42/611.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1545.16/612.57	Exception in thread "SingleThreadedConstellation 4" java.lang.OutOfMemoryError: GC overhead limit exceeded
1552.58/619.29	13:10 ERROR: Failed to solve instance
1552.58/619.29	java.lang.OutOfMemoryError: Java heap space
1552.78/619.43	13:10 ERROR: Failed to solve instance
1552.78/619.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1554.73/621.20	13:12 ERROR: Failed to solve instance
1554.73/621.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1555.14/621.68	13:13 ERROR: Failed to solve instance
1555.14/621.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1555.55/622.04	13:13 ERROR: Failed to solve instance
1555.55/622.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1561.41/627.16	13:18 ERROR: Failed to solve instance
1561.41/627.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1562.62/628.20	13:19 ERROR: Failed to solve instance
1562.62/628.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1563.13/628.78	13:20 ERROR: Failed to solve instance
1563.13/628.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1563.44/629.09	13:20 ERROR: Failed to solve instance
1563.44/629.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1563.85/629.45	13:20 ERROR: Failed to solve instance
1563.85/629.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1569.09/633.91	13:25 ERROR: Failed to solve instance
1569.09/633.91	java.lang.OutOfMemoryError: Java heap space
1569.20/634.05	13:25 ERROR: Failed to solve instance
1569.20/634.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1570.51/635.28	13:26 ERROR: Failed to solve instance
1570.51/635.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1571.90/636.58	13:27 ERROR: Failed to solve instance
1571.90/636.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1576.83/641.00	13:32 ERROR: Failed to solve instance
1576.83/641.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1577.14/641.30	13:32 ERROR: Failed to solve instance
1577.14/641.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1577.54/641.62	13:32 ERROR: Failed to solve instance
1577.54/641.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1577.85/641.97	13:33 ERROR: Failed to solve instance
1577.85/641.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1583.34/646.60	13:37 ERROR: Failed to solve instance
1583.34/646.60	java.lang.OutOfMemoryError: Java heap space
1584.74/647.86	13:39 ERROR: Failed to solve instance
1584.74/647.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1585.26/648.37	13:39 ERROR: Failed to solve instance
1585.26/648.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1585.56/648.69	13:40 ERROR: Failed to solve instance
1585.56/648.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1590.95/653.37	13:44 ERROR: Failed to solve instance
1590.95/653.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.56/653.99	13:45 ERROR: Failed to solve instance
1591.56/653.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.87/654.24	13:45 ERROR: Failed to solve instance
1591.87/654.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1592.28/654.60	13:45 ERROR: Failed to solve instance
1592.28/654.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1592.60/654.90	13:46 ERROR: Failed to solve instance
1592.60/654.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1594.16/656.35	13:47 ERROR: Failed to solve instance
1594.16/656.35	java.lang.OutOfMemoryError: Java heap space
1594.27/656.42	13:47 ERROR: Failed to solve instance
1594.27/656.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1603.12/663.64	13:54 ERROR: Failed to solve instance
1603.12/663.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1603.52/664.06	13:55 ERROR: Failed to solve instance
1603.52/664.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1603.93/664.41	13:55 ERROR: Failed to solve instance
1603.93/664.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1608.26/668.31	13:59 ERROR: Failed to solve instance
1608.26/668.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1608.87/668.98	14:00 ERROR: Failed to solve instance
1608.87/668.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1609.17/669.24	14:00 ERROR: Failed to solve instance
1609.17/669.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1610.62/670.50	14:01 ERROR: Failed to solve instance
1610.62/670.50	java.lang.OutOfMemoryError: Java heap space
1616.56/675.75	14:07 ERROR: Failed to solve instance
1616.56/675.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1617.08/676.23	14:07 ERROR: Failed to solve instance
1617.08/676.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1617.38/676.51	14:07 ERROR: Failed to solve instance
1617.38/676.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1619.04/678.09	14:09 ERROR: Failed to solve instance
1619.04/678.09	java.lang.OutOfMemoryError: Java heap space
1619.24/678.26	14:09 ERROR: Failed to solve instance
1619.24/678.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1624.47/682.77	14:14 ERROR: Failed to solve instance
1624.47/682.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1624.78/683.09	14:14 ERROR: Failed to solve instance
1624.78/683.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1625.41/683.67	14:15 ERROR: Failed to solve instance
1625.41/683.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1626.94/685.01	14:16 ERROR: Failed to solve instance
1626.94/685.01	java.lang.OutOfMemoryError: Java heap space
1627.04/685.15	14:16 ERROR: Failed to solve instance
1627.04/685.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1633.74/690.72	14:22 ERROR: Failed to solve instance
1633.74/690.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1634.04/691.04	14:22 ERROR: Failed to solve instance
1634.04/691.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.64/692.56	14:23 ERROR: Failed to solve instance
1635.64/692.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1636.06/692.90	14:24 ERROR: Failed to solve instance
1636.06/692.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1639.79/696.23	14:27 ERROR: Failed to solve instance
1639.79/696.23	java.lang.OutOfMemoryError: Java heap space
1639.89/696.37	14:27 ERROR: Failed to solve instance
1639.89/696.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1640.30/696.73	14:28 ERROR: Failed to solve instance
1640.30/696.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1644.66/700.38	14:31 ERROR: Failed to solve instance
1644.66/700.38	java.lang.OutOfMemoryError: Java heap space
1645.08/700.73	14:32 ERROR: Failed to solve instance
1645.08/700.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1647.03/702.50	14:33 ERROR: Failed to solve instance
1647.03/702.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.59/705.79	14:37 ERROR: Failed to solve instance
1650.59/705.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1650.99/706.12	14:37 ERROR: Failed to solve instance
1650.99/706.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1655.89/710.43	14:41 ERROR: Failed to solve instance
1655.89/710.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1656.19/710.76	14:42 ERROR: Failed to solve instance
1656.19/710.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1656.81/711.37	14:42 ERROR: Failed to solve instance
1656.81/711.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1660.92/714.95	14:46 ERROR: Failed to solve instance
1660.92/714.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1661.23/715.28	14:46 ERROR: Failed to solve instance
1661.23/715.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1663.21/717.05	14:48 ERROR: Failed to solve instance
1663.21/717.05	java.lang.OutOfMemoryError: Java heap space
1663.40/717.20	14:48 ERROR: Failed to solve instance
1663.40/717.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1669.05/722.00	14:53 ERROR: Failed to solve instance
1669.05/722.00	java.lang.OutOfMemoryError: Java heap space
1669.15/722.20	14:53 ERROR: Failed to solve instance
1669.15/722.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1670.49/723.39	14:54 ERROR: Failed to solve instance
1670.49/723.39	java.lang.OutOfMemoryError: Java heap space
1670.69/723.54	14:54 ERROR: Failed to solve instance
1670.69/723.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1675.74/728.03	14:59 ERROR: Failed to solve instance
1675.74/728.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1676.24/728.59	14:59 ERROR: Failed to solve instance
1676.24/728.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1676.65/728.90	15:00 ERROR: Failed to solve instance
1676.65/728.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1676.96/729.27	15:00 ERROR: Failed to solve instance
1676.96/729.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1684.43/735.66	15:06 ERROR: Failed to solve instance
1684.43/735.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1684.73/735.97	15:07 ERROR: Failed to solve instance
1684.73/735.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1685.04/736.29	15:07 ERROR: Failed to solve instance
1685.04/736.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1685.45/736.66	15:08 ERROR: Failed to solve instance
1685.45/736.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1691.81/742.15	15:13 ERROR: Failed to solve instance
1691.81/742.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1692.32/742.64	15:13 ERROR: Failed to solve instance
1692.32/742.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1692.62/742.94	15:14 ERROR: Failed to solve instance
1692.62/742.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1694.28/744.43	15:15 ERROR: Failed to solve instance
1694.28/744.43	java.lang.OutOfMemoryError: Java heap space
1699.35/748.94	15:20 ERROR: Failed to solve instance
1699.35/748.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1699.65/749.28	15:20 ERROR: Failed to solve instance
1699.65/749.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1700.27/749.88	15:21 ERROR: Failed to solve instance
1700.27/749.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1700.68/750.20	15:21 ERROR: Failed to solve instance
1700.68/750.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.61/753.65	15:24 ERROR: Failed to solve instance
1704.61/753.65	java.lang.OutOfMemoryError: Java heap space
1705.80/754.79	15:26 ERROR: Failed to solve instance
1705.80/754.79	java.lang.OutOfMemoryError: Java heap space
1707.51/756.33	15:27 ERROR: Failed to solve instance
1707.51/756.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.10/760.33	15:31 ERROR: Failed to solve instance
1712.10/760.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1712.60/760.89	15:32 ERROR: Failed to solve instance
1712.60/760.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1713.01/761.20	15:32 ERROR: Failed to solve instance
1713.01/761.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1713.32/761.55	15:32 ERROR: Failed to solve instance
1713.32/761.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1718.41/765.92	15:37 ERROR: Failed to solve instance
1718.41/765.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1718.93/766.48	15:37 ERROR: Failed to solve instance
1718.93/766.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1719.23/766.80	15:38 ERROR: Failed to solve instance
1719.23/766.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1723.76/770.77	15:42 ERROR: Failed to solve instance
1723.76/770.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1724.07/771.08	15:42 ERROR: Failed to solve instance
1724.07/771.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1724.48/771.41	15:42 ERROR: Failed to solve instance
1724.48/771.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1724.79/771.78	15:43 ERROR: Failed to solve instance
1724.79/771.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1730.86/776.99	15:48 ERROR: Failed to solve instance
1730.86/776.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1731.27/777.31	15:48 ERROR: Failed to solve instance
1731.27/777.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1732.89/778.81	15:50 ERROR: Failed to solve instance
1732.89/778.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1734.07/779.94	15:51 ERROR: Failed to solve instance
1734.07/779.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1737.71/783.15	15:54 ERROR: Failed to solve instance
1737.71/783.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1737.82/783.29	15:54 ERROR: Failed to solve instance
1737.82/783.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.50/787.39	15:58 ERROR: Failed to solve instance
1742.50/787.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.90/787.71	15:59 ERROR: Failed to solve instance
1742.90/787.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1743.21/788.05	15:59 ERROR: Failed to solve instance
1743.21/788.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1746.71/791.09	16:02 ERROR: Failed to solve instance
1746.71/791.09	java.lang.OutOfMemoryError: Java heap space
1748.64/792.89	16:04 ERROR: Failed to solve instance
1748.64/792.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1749.48/793.68	16:05 ERROR: Failed to solve instance
1749.48/793.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1751.35/795.30	16:06 ERROR: Failed to solve instance
1751.35/795.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1757.45/800.75	16:12 ERROR: Failed to solve instance
1757.45/800.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.05/801.31	16:12 ERROR: Failed to solve instance
1758.05/801.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.36/801.62	16:12 ERROR: Failed to solve instance
1758.36/801.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1758.67/801.97	16:13 ERROR: Failed to solve instance
1758.67/801.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1764.16/806.70	16:17 ERROR: Failed to solve instance
1764.16/806.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1764.47/807.01	16:18 ERROR: Failed to solve instance
1764.47/807.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1764.78/807.35	16:18 ERROR: Failed to solve instance
1764.78/807.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1765.19/807.78	16:19 ERROR: Failed to solve instance
1765.19/807.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1772.14/813.89	16:25 ERROR: Failed to solve instance
1772.14/813.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1772.65/814.38	16:25 ERROR: Failed to solve instance
1772.65/814.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1772.95/814.68	16:26 ERROR: Failed to solve instance
1772.95/814.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1774.81/816.37	16:27 ERROR: Failed to solve instance
1774.81/816.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1779.40/820.39	16:31 ERROR: Failed to solve instance
1779.40/820.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1779.80/820.72	16:32 ERROR: Failed to solve instance
1779.80/820.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1780.42/821.33	16:32 ERROR: Failed to solve instance
1780.42/821.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.95/825.30	16:36 ERROR: Failed to solve instance
1784.95/825.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1785.26/825.62	16:36 ERROR: Failed to solve instance
1785.26/825.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1785.57/825.95	16:37 ERROR: Failed to solve instance
1785.57/825.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1790.87/830.70	16:42 ERROR: Failed to solve instance
1790.87/830.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1791.18/831.02	16:42 ERROR: Failed to solve instance
1791.18/831.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1791.69/831.59	16:42 ERROR: Failed to solve instance
1791.69/831.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1792.09/831.90	16:43 ERROR: Failed to solve instance
1792.09/831.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1792.40/832.24	16:43 ERROR: Failed to solve instance
1792.40/832.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1797.53/836.61	16:47 ERROR: Failed to solve instance
1797.53/836.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1798.65/837.66	16:49 ERROR: Failed to solve instance
1798.65/837.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1799.26/838.24	16:49 ERROR: Failed to solve instance
1799.26/838.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1799.56/838.56	16:49 ERROR: Failed to solve instance
1799.56/838.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1799.97/838.90	16:50 ERROR: Failed to solve instance
1799.97/838.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1804.96/843.38	16:54 ERROR: Failed to solve instance
1804.96/843.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1806.17/844.43	16:55 ERROR: Failed to solve instance
1806.17/844.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1806.78/845.01	16:56 ERROR: Failed to solve instance
1806.78/845.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.09/845.33	16:56 ERROR: Failed to solve instance
1807.09/845.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.51/845.76	16:57 ERROR: Failed to solve instance
1807.51/845.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1813.19/850.61	17:01 ERROR: Failed to solve instance
1813.19/850.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1813.60/851.07	17:02 ERROR: Failed to solve instance
1813.60/851.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1814.01/851.42	17:02 ERROR: Failed to solve instance
1814.01/851.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1819.27/856.16	17:07 ERROR: Failed to solve instance
1819.27/856.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1819.47/856.36	17:07 ERROR: Failed to solve instance
1819.47/856.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
1819.99/856.81	17:08 ERROR: Failed to solve instance
1819.99/856.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1824.94/861.23	17:12 ERROR: Failed to solve instance
1824.94/861.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.45/861.75	17:13 ERROR: Failed to solve instance
1825.45/861.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.76/862.07	17:13 ERROR: Failed to solve instance
1825.76/862.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1827.73/863.85	17:15 ERROR: Failed to solve instance
1827.73/863.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1835.33/870.55	17:21 ERROR: Failed to solve instance
1835.33/870.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1835.63/870.81	17:22 ERROR: Failed to solve instance
1835.63/870.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1835.94/871.13	17:22 ERROR: Failed to solve instance
1835.94/871.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1837.90/872.97	17:24 ERROR: Failed to solve instance
1837.90/872.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1841.94/876.46	17:27 ERROR: Failed to solve instance
1841.94/876.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1843.68/878.02	17:29 ERROR: Failed to solve instance
1843.68/878.02	java.lang.OutOfMemoryError: Java heap space
1843.78/878.17	17:29 ERROR: Failed to solve instance
1843.78/878.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1844.19/878.52	17:29 ERROR: Failed to solve instance
1844.19/878.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1850.22/883.86	17:35 ERROR: Failed to solve instance
1850.22/883.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1850.53/884.19	17:35 ERROR: Failed to solve instance
1850.53/884.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1852.80/886.26	17:37 ERROR: Failed to solve instance
1852.80/886.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1853.10/886.59	17:37 ERROR: Failed to solve instance
1853.10/886.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1853.72/887.17	17:38 ERROR: Failed to solve instance
1853.72/887.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1854.03/887.50	17:38 ERROR: Failed to solve instance
1854.03/887.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1854.45/887.87	17:39 ERROR: Failed to solve instance
1854.45/887.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.88/893.02	17:44 ERROR: Failed to solve instance
1860.88/893.02	java.lang.OutOfMemoryError: Java heap space
1860.98/893.16	17:44 ERROR: Failed to solve instance
1860.98/893.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1862.47/894.53	17:45 ERROR: Failed to solve instance
1862.47/894.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1866.23/897.96	17:49 ERROR: Failed to solve instance
1866.23/897.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1866.54/898.28	17:49 ERROR: Failed to solve instance
1866.54/898.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1867.27/898.90	17:50 ERROR: Failed to solve instance
1867.27/898.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1867.59/899.24	17:50 ERROR: Failed to solve instance
1867.59/899.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1873.87/904.68	17:56 ERROR: Failed to solve instance
1873.87/904.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1875.05/905.78	17:57 ERROR: Failed to solve instance
1875.05/905.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1875.46/906.12	17:57 ERROR: Failed to solve instance
1875.46/906.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1880.69/910.85	18:02 ERROR: Failed to solve instance
1880.69/910.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1881.00/911.18	18:02 ERROR: Failed to solve instance
1881.00/911.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1881.61/911.76	18:03 ERROR: Failed to solve instance
1881.61/911.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1881.91/912.08	18:03 ERROR: Failed to solve instance
1881.91/912.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1882.34/912.45	18:03 ERROR: Failed to solve instance
1882.34/912.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1888.79/918.00	18:09 ERROR: Failed to solve instance
1888.79/918.00	java.lang.OutOfMemoryError: Java heap space
1888.89/918.13	18:09 ERROR: Failed to solve instance
1888.89/918.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1890.24/919.40	18:10 ERROR: Failed to solve instance
1890.24/919.40	java.lang.OutOfMemoryError: Java heap space
1890.74/919.81	18:11 ERROR: Failed to solve instance
1890.74/919.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1890.95/920.09	18:11 ERROR: Failed to solve instance
1890.95/920.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1892.43/921.38	18:12 ERROR: Failed to solve instance
1892.43/921.38	java.lang.OutOfMemoryError: Java heap space
1897.64/925.85	18:17 ERROR: Failed to solve instance
1897.64/925.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
1898.25/926.44	18:17 ERROR: Failed to solve instance
1898.25/926.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1898.56/926.76	18:18 ERROR: Failed to solve instance
1898.56/926.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1898.99/927.12	18:18 ERROR: Failed to solve instance
1898.99/927.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.21/932.48	18:23 ERROR: Failed to solve instance
1905.21/932.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.41/932.68	18:24 ERROR: Failed to solve instance
1905.41/932.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.92/933.13	18:24 ERROR: Failed to solve instance
1905.92/933.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1910.25/936.94	18:28 ERROR: Failed to solve instance
1910.25/936.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1910.55/937.24	18:28 ERROR: Failed to solve instance
1910.55/937.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1910.85/937.57	18:28 ERROR: Failed to solve instance
1910.85/937.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1911.26/937.94	18:29 ERROR: Failed to solve instance
1911.26/937.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1916.96/942.90	18:34 ERROR: Failed to solve instance
1916.96/942.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1917.17/943.19	18:34 ERROR: Failed to solve instance
1917.17/943.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1917.58/943.52	18:34 ERROR: Failed to solve instance
1917.58/943.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1917.88/943.88	18:35 ERROR: Failed to solve instance
1917.88/943.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1923.97/949.05	18:40 ERROR: Failed to solve instance
1923.97/949.05	java.lang.OutOfMemoryError: Java heap space
1924.07/949.19	18:40 ERROR: Failed to solve instance
1924.07/949.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1925.57/950.56	18:41 ERROR: Failed to solve instance
1925.57/950.56	java.lang.OutOfMemoryError: Java heap space
1925.77/950.71	18:42 ERROR: Failed to solve instance
1925.77/950.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1929.70/954.23	18:45 ERROR: Failed to solve instance
1929.70/954.23	java.lang.OutOfMemoryError: Java heap space
1929.80/954.38	18:45 ERROR: Failed to solve instance
1929.80/954.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1935.26/959.03	18:50 ERROR: Failed to solve instance
1935.26/959.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1935.56/959.37	18:50 ERROR: Failed to solve instance
1935.56/959.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1936.07/959.83	18:51 ERROR: Failed to solve instance
1936.07/959.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1938.13/961.75	18:52 ERROR: Failed to solve instance
1938.13/961.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1938.64/962.21	18:53 ERROR: Failed to solve instance
1938.64/962.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1938.94/962.55	18:53 ERROR: Failed to solve instance
1938.94/962.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1944.82/967.50	18:58 ERROR: Failed to solve instance
1944.82/967.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1946.67/969.23	19:00 ERROR: Failed to solve instance
1946.67/969.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1947.07/969.68	19:01 ERROR: Failed to solve instance
1947.07/969.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1947.49/970.04	19:01 ERROR: Failed to solve instance
1947.49/970.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1947.79/970.38	19:01 ERROR: Failed to solve instance
1947.79/970.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1953.33/975.13	19:06 ERROR: Failed to solve instance
1953.33/975.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1953.64/975.46	19:06 ERROR: Failed to solve instance
1953.64/975.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1954.26/976.07	19:07 ERROR: Failed to solve instance
1954.26/976.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1954.67/976.40	19:07 ERROR: Failed to solve instance
1954.67/976.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1960.21/981.19	19:12 ERROR: Failed to solve instance
1960.21/981.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1960.51/981.45	19:12 ERROR: Failed to solve instance
1960.51/981.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1960.94/981.84	19:13 ERROR: Failed to solve instance
1960.94/981.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1961.25/982.17	19:13 ERROR: Failed to solve instance
1961.25/982.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1964.67/985.03	19:16 ERROR: Failed to solve instance
1964.67/985.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1969.76/989.64	19:20 ERROR: Failed to solve instance
1969.76/989.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1970.27/990.17	19:21 ERROR: Failed to solve instance
1970.27/990.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1970.67/990.51	19:21 ERROR: Failed to solve instance
1970.67/990.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.00/990.88	19:22 ERROR: Failed to solve instance
1971.00/990.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.40/991.22	19:22 ERROR: Failed to solve instance
1971.40/991.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1976.36/995.38	19:26 ERROR: Failed to solve instance
1976.36/995.38	java.lang.OutOfMemoryError: Java heap space
1976.55/995.53	19:26 ERROR: Failed to solve instance
1976.55/995.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1978.42/997.26	19:28 ERROR: Failed to solve instance
1978.42/997.26	java.lang.OutOfMemoryError: Java heap space
1978.84/997.61	19:28 ERROR: Failed to solve instance
1978.84/997.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1982.91/1001.19	19:32 ERROR: Failed to solve instance
1982.91/1001.19	java.lang.OutOfMemoryError: Java heap space
1983.11/1001.34	19:32 ERROR: Failed to solve instance
1983.11/1001.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1988.66/1006.06	19:37 ERROR: Failed to solve instance
1988.66/1006.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1988.98/1006.39	19:37 ERROR: Failed to solve instance
1988.98/1006.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1989.58/1006.97	19:38 ERROR: Failed to solve instance
1989.58/1006.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1989.88/1007.28	19:38 ERROR: Failed to solve instance
1989.88/1007.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1990.29/1007.63	19:38 ERROR: Failed to solve instance
1990.29/1007.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1996.62/1013.06	19:44 ERROR: Failed to solve instance
1996.62/1013.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1997.85/1014.13	19:45 ERROR: Failed to solve instance
1997.85/1014.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1998.46/1014.71	19:45 ERROR: Failed to solve instance
1998.46/1014.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1998.78/1015.03	19:46 ERROR: Failed to solve instance
1998.78/1015.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1999.19/1015.41	19:46 ERROR: Failed to solve instance
1999.19/1015.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1999.50/1015.76	19:47 ERROR: Failed to solve instance
1999.50/1015.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2005.30/1020.66	19:51 ERROR: Failed to solve instance
2005.30/1020.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2005.60/1020.96	19:52 ERROR: Failed to solve instance
2005.60/1020.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2005.91/1021.28	19:52 ERROR: Failed to solve instance
2005.91/1021.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
2006.32/1021.63	19:52 ERROR: Failed to solve instance
2006.32/1021.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.53/1027.07	19:58 ERROR: Failed to solve instance
2012.53/1027.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2013.14/1027.64	19:58 ERROR: Failed to solve instance
2013.14/1027.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2013.45/1027.96	19:59 ERROR: Failed to solve instance
2013.45/1027.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2013.76/1028.30	19:59 ERROR: Failed to solve instance
2013.76/1028.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2017.40/1031.42	20:02 ERROR: Failed to solve instance
2017.40/1031.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2017.70/1031.75	20:03 ERROR: Failed to solve instance
2017.70/1031.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.11/1032.10	20:03 ERROR: Failed to solve instance
2018.11/1032.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2023.72/1037.08	20:08 ERROR: Failed to solve instance
2023.72/1037.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
2024.02/1037.39	20:08 ERROR: Failed to solve instance
2024.02/1037.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2024.42/1037.73	20:09 ERROR: Failed to solve instance
2024.42/1037.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2029.82/1042.48	20:13 ERROR: Failed to solve instance
2029.82/1042.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.22/1042.80	20:14 ERROR: Failed to solve instance
2030.22/1042.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2030.73/1043.38	20:14 ERROR: Failed to solve instance
2030.73/1043.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2031.15/1043.72	20:15 ERROR: Failed to solve instance
2031.15/1043.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2036.44/1048.20	20:19 ERROR: Failed to solve instance
2036.44/1048.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2036.96/1048.79	20:20 ERROR: Failed to solve instance
2036.96/1048.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.36/1049.14	20:20 ERROR: Failed to solve instance
2037.36/1049.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.66/1049.42	20:20 ERROR: Failed to solve instance
2037.66/1049.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2037.97/1049.75	20:21 ERROR: Failed to solve instance
2037.97/1049.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2039.56/1051.18	20:22 ERROR: Failed to solve instance
2039.56/1051.18	java.lang.OutOfMemoryError: Java heap space
2046.16/1056.85	20:28 ERROR: Failed to solve instance
2046.16/1056.85	java.lang.OutOfMemoryError: GC overhead limit exceeded
2046.46/1057.18	20:28 ERROR: Failed to solve instance
2046.46/1057.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2047.18/1057.80	20:29 ERROR: Failed to solve instance
2047.18/1057.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2047.49/1058.12	20:29 ERROR: Failed to solve instance
2047.49/1058.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2047.90/1058.55	20:29 ERROR: Failed to solve instance
2047.90/1058.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2053.62/1063.40	20:34 ERROR: Failed to solve instance
2053.62/1063.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.02/1063.72	20:35 ERROR: Failed to solve instance
2054.02/1063.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.33/1064.07	20:35 ERROR: Failed to solve instance
2054.33/1064.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2058.68/1067.86	20:39 ERROR: Failed to solve instance
2058.68/1067.86	java.lang.OutOfMemoryError: Java heap space
2058.78/1068.00	20:39 ERROR: Failed to solve instance
2058.78/1068.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2062.40/1071.20	20:42 ERROR: Failed to solve instance
2062.40/1071.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2063.00/1071.74	20:43 ERROR: Failed to solve instance
2063.00/1071.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2063.40/1072.14	20:43 ERROR: Failed to solve instance
2063.40/1072.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2063.71/1072.48	20:43 ERROR: Failed to solve instance
2063.71/1072.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2069.91/1077.73	20:49 ERROR: Failed to solve instance
2069.91/1077.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2070.22/1078.03	20:49 ERROR: Failed to solve instance
2070.22/1078.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2071.92/1079.69	20:51 ERROR: Failed to solve instance
2071.92/1079.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2073.00/1080.64	20:51 ERROR: Failed to solve instance
2073.00/1080.64	java.lang.OutOfMemoryError: Java heap space
2075.74/1082.98	20:54 ERROR: Failed to solve instance
2075.74/1082.98	java.lang.OutOfMemoryError: Java heap space
2077.06/1084.16	20:55 ERROR: Failed to solve instance
2077.06/1084.16	java.lang.OutOfMemoryError: Java heap space
2077.26/1084.31	20:55 ERROR: Failed to solve instance
2077.26/1084.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2082.79/1089.11	21:00 ERROR: Failed to solve instance
2082.79/1089.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.38/1090.63	21:01 ERROR: Failed to solve instance
2084.38/1090.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.71/1090.98	21:02 ERROR: Failed to solve instance
2084.71/1090.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2085.01/1091.26	21:02 ERROR: Failed to solve instance
2085.01/1091.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2087.20/1093.24	21:04 ERROR: Failed to solve instance
2087.20/1093.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2092.91/1098.27	21:09 ERROR: Failed to solve instance
2092.91/1098.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2093.21/1098.57	21:09 ERROR: Failed to solve instance
2093.21/1098.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2093.62/1098.91	21:10 ERROR: Failed to solve instance
2093.62/1098.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2095.57/1100.60	21:11 ERROR: Failed to solve instance
2095.57/1100.60	java.lang.OutOfMemoryError: Java heap space
2095.67/1100.75	21:12 ERROR: Failed to solve instance
2095.67/1100.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2099.09/1103.68	21:15 ERROR: Failed to solve instance
2099.09/1103.68	java.lang.OutOfMemoryError: Java heap space
2099.71/1104.21	21:15 ERROR: Failed to solve instance
2099.71/1104.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2099.91/1104.48	21:15 ERROR: Failed to solve instance
2099.91/1104.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2101.90/1106.30	21:17 ERROR: Failed to solve instance
2101.90/1106.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2107.20/1110.81	21:22 ERROR: Failed to solve instance
2107.20/1110.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2107.51/1111.11	21:22 ERROR: Failed to solve instance
2107.51/1111.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2107.82/1111.45	21:22 ERROR: Failed to solve instance
2107.82/1111.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2112.16/1115.29	21:26 ERROR: Failed to solve instance
2112.16/1115.29	java.lang.OutOfMemoryError: Java heap space
2112.36/1115.43	21:26 ERROR: Failed to solve instance
2112.36/1115.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2115.17/1117.82	21:29 ERROR: Failed to solve instance
2115.17/1117.82	java.lang.OutOfMemoryError: Java heap space
2116.40/1118.99	21:30 ERROR: Failed to solve instance
2116.40/1118.99	java.lang.OutOfMemoryError: Java heap space
2116.60/1119.13	21:30 ERROR: Failed to solve instance
2116.60/1119.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2121.67/1123.66	21:34 ERROR: Failed to solve instance
2121.67/1123.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2121.98/1123.97	21:35 ERROR: Failed to solve instance
2121.98/1123.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2122.38/1124.30	21:35 ERROR: Failed to solve instance
2122.38/1124.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2126.19/1127.64	21:38 ERROR: Failed to solve instance
2126.19/1127.64	java.lang.OutOfMemoryError: Java heap space
2126.29/1127.78	21:39 ERROR: Failed to solve instance
2126.29/1127.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2128.04/1129.37	21:40 ERROR: Failed to solve instance
2128.04/1129.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
2132.16/1132.91	21:44 ERROR: Failed to solve instance
2132.16/1132.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2134.01/1134.65	21:45 ERROR: Failed to solve instance
2134.01/1134.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2137.58/1137.87	21:49 ERROR: Failed to solve instance
2137.58/1137.87	java.lang.OutOfMemoryError: Java heap space
2139.31/1139.41	21:50 ERROR: Failed to solve instance
2139.31/1139.41	java.lang.OutOfMemoryError: Java heap space
2139.41/1139.56	21:50 ERROR: Failed to solve instance
2139.41/1139.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2144.86/1144.20	21:55 ERROR: Failed to solve instance
2144.86/1144.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2145.07/1144.49	21:55 ERROR: Failed to solve instance
2145.07/1144.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2145.38/1144.75	21:56 ERROR: Failed to solve instance
2145.38/1144.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2147.24/1146.45	21:57 ERROR: Failed to solve instance
2147.24/1146.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2152.10/1150.59	22:01 ERROR: Failed to solve instance
2152.10/1150.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2152.51/1150.92	22:02 ERROR: Failed to solve instance
2152.51/1150.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2153.14/1151.53	22:02 ERROR: Failed to solve instance
2153.14/1151.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2156.76/1154.60	22:05 ERROR: Failed to solve instance
2156.76/1154.60	java.lang.OutOfMemoryError: Java heap space
2157.07/1154.95	22:06 ERROR: Failed to solve instance
2157.07/1154.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2159.02/1156.73	22:08 ERROR: Failed to solve instance
2159.02/1156.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2163.88/1161.00	22:12 ERROR: Failed to solve instance
2163.88/1161.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2164.39/1161.58	22:12 ERROR: Failed to solve instance
2164.39/1161.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2164.70/1161.89	22:13 ERROR: Failed to solve instance
2164.70/1161.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2165.10/1162.23	22:13 ERROR: Failed to solve instance
2165.10/1162.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2168.87/1165.44	22:16 ERROR: Failed to solve instance
2168.87/1165.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.38/1165.91	22:17 ERROR: Failed to solve instance
2169.38/1165.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2169.68/1166.27	22:17 ERROR: Failed to solve instance
2169.68/1166.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2173.84/1169.87	22:21 ERROR: Failed to solve instance
2173.84/1169.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.25/1170.21	22:21 ERROR: Failed to solve instance
2174.25/1170.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2174.87/1170.82	22:22 ERROR: Failed to solve instance
2174.87/1170.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2179.30/1174.78	22:26 ERROR: Failed to solve instance
2179.30/1174.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2179.71/1175.10	22:26 ERROR: Failed to solve instance
2179.71/1175.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2180.01/1175.43	22:26 ERROR: Failed to solve instance
2180.01/1175.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2183.38/1178.45	22:29 ERROR: Failed to solve instance
2183.38/1178.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2183.99/1179.02	22:30 ERROR: Failed to solve instance
2183.99/1179.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.29/1179.35	22:30 ERROR: Failed to solve instance
2184.29/1179.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2190.34/1184.53	22:35 ERROR: Failed to solve instance
2190.34/1184.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2190.84/1185.09	22:36 ERROR: Failed to solve instance
2190.84/1185.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.25/1185.40	22:36 ERROR: Failed to solve instance
2191.25/1185.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.45/1185.70	22:37 ERROR: Failed to solve instance
2191.45/1185.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2191.86/1186.06	22:37 ERROR: Failed to solve instance
2191.86/1186.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2196.87/1190.39	22:41 ERROR: Failed to solve instance
2196.87/1190.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2197.48/1190.98	22:42 ERROR: Failed to solve instance
2197.48/1190.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2197.78/1191.29	22:42 ERROR: Failed to solve instance
2197.78/1191.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2198.19/1191.63	22:42 ERROR: Failed to solve instance
2198.19/1191.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2202.77/1195.39	22:46 ERROR: Failed to solve instance
2202.77/1195.39	java.lang.OutOfMemoryError: Java heap space
2204.27/1196.75	22:48 ERROR: Failed to solve instance
2204.27/1196.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2204.59/1197.09	22:48 ERROR: Failed to solve instance
2204.59/1197.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2208.01/1200.09	22:51 ERROR: Failed to solve instance
2208.01/1200.09	java.lang.OutOfMemoryError: Java heap space
2209.50/1201.41	22:52 ERROR: Failed to solve instance
2209.50/1201.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2209.81/1201.75	22:53 ERROR: Failed to solve instance
2209.81/1201.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2211.39/1203.13	22:54 ERROR: Failed to solve instance
2211.39/1203.13	java.lang.OutOfMemoryError: Java heap space
2217.87/1208.78	23:00 ERROR: Failed to solve instance
2217.87/1208.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2218.16/1209.09	23:00 ERROR: Failed to solve instance
2218.16/1209.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
2218.77/1209.66	23:00 ERROR: Failed to solve instance
2218.77/1209.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2219.08/1209.98	23:01 ERROR: Failed to solve instance
2219.08/1209.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
2219.50/1210.33	23:01 ERROR: Failed to solve instance
2219.50/1210.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2224.09/1214.10	23:05 ERROR: Failed to solve instance
2224.09/1214.10	java.lang.OutOfMemoryError: Java heap space
2225.60/1215.46	23:06 ERROR: Failed to solve instance
2225.60/1215.46	java.lang.OutOfMemoryError: Java heap space
2225.80/1215.61	23:06 ERROR: Failed to solve instance
2225.80/1215.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2229.53/1218.99	23:10 ERROR: Failed to solve instance
2229.53/1218.99	java.lang.OutOfMemoryError: Java heap space
2229.73/1219.13	23:10 ERROR: Failed to solve instance
2229.73/1219.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
2232.96/1221.95	23:13 ERROR: Failed to solve instance
2232.96/1221.95	java.lang.OutOfMemoryError: Java heap space
2233.47/1222.48	23:13 ERROR: Failed to solve instance
2233.47/1222.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
2233.78/1222.76	23:14 ERROR: Failed to solve instance
2233.78/1222.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2234.18/1223.10	23:14 ERROR: Failed to solve instance
2234.18/1223.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
2237.43/1225.85	23:17 ERROR: Failed to solve instance
2237.43/1225.85	java.lang.OutOfMemoryError: Java heap space
2242.07/1229.96	23:21 ERROR: Failed to solve instance
2242.07/1229.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.58/1230.46	23:21 ERROR: Failed to solve instance
2242.58/1230.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2242.89/1230.77	23:22 ERROR: Failed to solve instance
2242.89/1230.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2247.04/1234.16	23:25 ERROR: Failed to solve instance
2247.04/1234.16	java.lang.OutOfMemoryError: Java heap space
2248.76/1235.71	23:27 ERROR: Failed to solve instance
2248.76/1235.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2249.19/1236.20	23:27 ERROR: Failed to solve instance
2249.19/1236.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2249.60/1236.57	23:27 ERROR: Failed to solve instance
2249.60/1236.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2254.60/1240.89	23:32 ERROR: Failed to solve instance
2254.60/1240.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2255.00/1241.21	23:32 ERROR: Failed to solve instance
2255.00/1241.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2255.61/1241.80	23:33 ERROR: Failed to solve instance
2255.61/1241.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2255.92/1242.14	23:33 ERROR: Failed to solve instance
2255.92/1242.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2261.33/1246.82	23:38 ERROR: Failed to solve instance
2261.33/1246.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2261.84/1247.38	23:38 ERROR: Failed to solve instance
2261.84/1247.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2262.14/1247.69	23:39 ERROR: Failed to solve instance
2262.14/1247.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2262.55/1248.04	23:39 ERROR: Failed to solve instance
2262.55/1248.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
2267.22/1252.19	23:43 ERROR: Failed to solve instance
2267.22/1252.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2267.73/1252.66	23:43 ERROR: Failed to solve instance
2267.73/1252.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
2268.14/1253.01	23:44 ERROR: Failed to solve instance
2268.14/1253.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2272.76/1257.12	23:48 ERROR: Failed to solve instance
2272.76/1257.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2273.06/1257.43	23:48 ERROR: Failed to solve instance
2273.06/1257.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2273.37/1257.77	23:49 ERROR: Failed to solve instance
2273.37/1257.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2276.85/1260.81	23:52 ERROR: Failed to solve instance
2276.85/1260.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
2277.16/1261.14	23:52 ERROR: Failed to solve instance
2277.16/1261.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2277.57/1261.52	23:52 ERROR: Failed to solve instance
2277.57/1261.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2285.48/1268.35	23:59 ERROR: Failed to solve instance
2285.48/1268.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
2285.79/1268.67	24:00 ERROR: Failed to solve instance
2285.79/1268.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2286.20/1269.01	24:00 ERROR: Failed to solve instance
2286.20/1269.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2286.81/1269.60	24:00 ERROR: Failed to solve instance
2286.81/1269.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2287.13/1269.96	24:01 ERROR: Failed to solve instance
2287.13/1269.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2292.43/1274.46	24:05 ERROR: Failed to solve instance
2292.43/1274.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
2292.84/1274.88	24:06 ERROR: Failed to solve instance
2292.84/1274.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2295.66/1277.47	24:08 ERROR: Failed to solve instance
2295.66/1277.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2295.86/1277.67	24:09 ERROR: Failed to solve instance
2295.86/1277.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2296.38/1278.11	24:09 ERROR: Failed to solve instance
2296.38/1278.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2300.46/1281.64	24:12 ERROR: Failed to solve instance
2300.46/1281.64	java.lang.OutOfMemoryError: Java heap space
2303.40/1284.39	24:15 ERROR: Failed to solve instance
2303.40/1284.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2303.81/1284.71	24:16 ERROR: Failed to solve instance
2303.81/1284.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2304.32/1285.30	24:16 ERROR: Failed to solve instance
2304.32/1285.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2304.73/1285.62	24:16 ERROR: Failed to solve instance
2304.73/1285.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2305.15/1286.01	24:17 ERROR: Failed to solve instance
2305.15/1286.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2312.03/1291.61	24:22 ERROR: Failed to solve instance
2312.03/1291.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2312.35/1291.92	24:23 ERROR: Failed to solve instance
2312.35/1291.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2312.66/1292.26	24:23 ERROR: Failed to solve instance
2312.66/1292.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
2314.65/1294.00	24:25 ERROR: Failed to solve instance
2314.65/1294.00	java.lang.OutOfMemoryError: Java heap space
2319.14/1298.06	24:29 ERROR: Failed to solve instance
2319.14/1298.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
2319.44/1298.33	24:29 ERROR: Failed to solve instance
2319.44/1298.33	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-3311224-1304114571/watcher-3311224-1304114571 -o /tmp/evaluation-result-3311224-1304114571/solver-3311224-1304114571 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311224-1304114571.cnf -hbr 2 

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: 5.66 7.45 7.80 2/174 28775
/proc/meminfo: memFree=22905400/32951124 swapFree=67111524/67111528
[pid=28775] ppid=28773 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/28775/stat : 28775 (java) R 28773 28775 28325 0 -1 4202496 888 0 0 0 0 0 0 0 21 0 1 0 523058021 23580672 374 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270608148224 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/28775/statm: 5757 385 299 9 0 124 0

[startup+0.043875 s]
/proc/loadavg: 5.66 7.45 7.80 2/174 28775
/proc/meminfo: memFree=22905400/32951124 swapFree=67111524/67111528
[pid=28775] ppid=28773 vsize=15604248 CPUtime=0.03 cores=0,2,4,6
/proc/28775/stat : 28775 (java) S 28773 28775 28325 0 -1 4202496 3780 0 1 0 3 0 0 0 21 0 13 0 523058021 15978749952 3219 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624913381 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/28775/statm: 3901062 3219 1682 9 0 3891810 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15604248

[startup+0.100884 s]
/proc/loadavg: 5.66 7.45 7.80 2/174 28775
/proc/meminfo: memFree=22905400/32951124 swapFree=67111524/67111528
[pid=28775] ppid=28773 vsize=15741760 CPUtime=0.1 cores=0,2,4,6
/proc/28775/stat : 28775 (java) S 28773 28775 28325 0 -1 4202496 5547 0 1 0 10 0 0 0 21 0 18 0 523058021 16119562240 4961 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28775/statm: 3935440 4961 2117 9 0 3926159 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741760

[startup+0.300882 s]
/proc/loadavg: 5.66 7.45 7.80 2/174 28775
/proc/meminfo: memFree=22905400/32951124 swapFree=67111524/67111528
[pid=28775] ppid=28773 vsize=15744768 CPUtime=0.52 cores=0,2,4,6
/proc/28775/stat : 28775 (java) S 28773 28775 28325 0 -1 4202496 14572 0 1 0 50 2 0 0 21 0 18 0 523058021 16122642432 13001 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28775/statm: 3936192 13008 2207 9 0 3926911 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15744768

[startup+0.700787 s]
/proc/loadavg: 5.66 7.45 7.80 2/174 28775
/proc/meminfo: memFree=22905400/32951124 swapFree=67111524/67111528
[pid=28775] ppid=28773 vsize=15744768 CPUtime=0.93 cores=0,2,4,6
/proc/28775/stat : 28775 (java) S 28773 28775 28325 0 -1 4202496 41814 0 1 0 87 6 0 0 21 0 18 0 523058021 16122642432 40240 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28775/statm: 3936192 40240 2223 9 0 3926911 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15744768

[startup+1.50166 s]
/proc/loadavg: 5.66 7.45 7.80 4/220 28824
/proc/meminfo: memFree=22582516/32951124 swapFree=67111524/67111528
[pid=28775] ppid=28773 vsize=15754676 CPUtime=2.23 cores=0,2,4,6
/proc/28775/stat : 28775 (java) S 28773 28775 28325 0 -1 4202496 47610 0 1 0 216 7 0 0 21 0 22 0 523058021 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28775/statm: 3938669 43454 2265 9 0 3929388 0
[pid=28775/tid=28777] ppid=28773 vsize=15754676 CPUtime=1.47 cores=0,2,4,6
/proc/28775/task/28777/stat : 28777 (java) R 28773 28775 28325 0 -1 4202560 35693 0 1 0 142 5 0 0 20 0 22 0 523058022 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 46912505202431 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28775/tid=28779] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28779/stat : 28779 (java) S 28773 28775 28325 0 -1 4202560 419 0 0 0 0 0 0 0 16 0 22 0 523058023 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28780] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28780/stat : 28780 (java) S 28773 28775 28325 0 -1 4202560 367 0 0 0 0 0 0 0 17 0 22 0 523058023 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28781] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28781/stat : 28781 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523058023 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28782] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28782/stat : 28782 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 523058023 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28783] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28783/stat : 28783 (java) S 28773 28775 28325 0 -1 4202560 36 0 0 0 0 0 0 0 18 0 22 0 523058023 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28784] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28784/stat : 28784 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523058023 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28785] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28785/stat : 28785 (java) S 28773 28775 28325 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 22 0 523058023 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28786] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28786/stat : 28786 (java) S 28773 28775 28325 0 -1 4202560 667 0 0 0 0 0 0 0 15 0 22 0 523058023 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28788] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28788/stat : 28788 (java) S 28773 28775 28325 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 523058024 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 0 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28792] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28792/stat : 28792 (java) S 28773 28775 28325 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 523058024 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28793] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28793/stat : 28793 (java) S 28773 28775 28325 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 523058024 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28807] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28807/stat : 28807 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523058027 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624934321 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28808] ppid=28773 vsize=15754676 CPUtime=0.44 cores=0,2,4,6
/proc/28775/task/28808/stat : 28808 (java) S 28773 28775 28325 0 -1 4202560 5502 0 0 0 43 1 0 0 15 0 22 0 523058027 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28809] ppid=28773 vsize=15754676 CPUtime=0.28 cores=0,2,4,6
/proc/28775/task/28809/stat : 28809 (java) R 28773 28775 28325 0 -1 4202560 3470 0 0 0 28 0 0 0 15 0 22 0 523058027 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 47940001291753 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28775/tid=28810] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28810/stat : 28810 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523058027 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28811] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28811/stat : 28811 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523058027 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28817] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28817/stat : 28817 (java) S 28773 28775 28325 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 523058106 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28818] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28818/stat : 28818 (java) S 28773 28775 28325 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 523058106 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28819] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28819/stat : 28819 (java) S 28773 28775 28325 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523058106 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28820] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28820/stat : 28820 (java) S 28773 28775 28325 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 523058106 16132788224 43454 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 15754676

[startup+3.10138 s]
/proc/loadavg: 5.66 7.45 7.80 5/220 28824
/proc/meminfo: memFree=22537012/32951124 swapFree=67111524/67111528
[pid=28775] ppid=28773 vsize=15754676 CPUtime=5.87 cores=0,2,4,6
/proc/28775/stat : 28775 (java) S 28773 28775 28325 0 -1 4202496 75073 0 1 0 575 12 0 0 21 0 22 0 523058021 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28775/statm: 3938669 70549 2275 9 0 3929388 0
[pid=28775/tid=28777] ppid=28773 vsize=15754676 CPUtime=2.01 cores=0,2,4,6
/proc/28775/task/28777/stat : 28777 (java) S 28773 28775 28325 0 -1 4202560 35739 0 1 0 196 5 0 0 22 0 22 0 523058022 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28779] ppid=28773 vsize=15754676 CPUtime=0.02 cores=0,2,4,6
/proc/28775/task/28779/stat : 28779 (java) S 28773 28775 28325 0 -1 4202560 4895 0 0 0 1 1 0 0 15 0 22 0 523058023 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28780] ppid=28773 vsize=15754676 CPUtime=0.01 cores=0,2,4,6
/proc/28775/task/28780/stat : 28780 (java) S 28773 28775 28325 0 -1 4202560 1705 0 0 0 1 0 0 0 16 0 22 0 523058023 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28781] ppid=28773 vsize=15754676 CPUtime=0.02 cores=0,2,4,6
/proc/28775/task/28781/stat : 28781 (java) S 28773 28775 28325 0 -1 4202560 2690 0 0 0 2 0 0 0 16 0 22 0 523058023 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28782] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28782/stat : 28782 (java) S 28773 28775 28325 0 -1 4202560 943 0 0 0 0 0 0 0 15 0 22 0 523058023 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28783] ppid=28773 vsize=15754676 CPUtime=0.02 cores=0,2,4,6
/proc/28775/task/28783/stat : 28783 (java) S 28773 28775 28325 0 -1 4202560 3044 0 0 0 2 0 0 0 16 0 22 0 523058023 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28784] ppid=28773 vsize=15754676 CPUtime=0.01 cores=0,2,4,6
/proc/28775/task/28784/stat : 28784 (java) S 28773 28775 28325 0 -1 4202560 3810 0 0 0 1 0 0 0 16 0 22 0 523058023 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28785] ppid=28773 vsize=15754676 CPUtime=0.01 cores=0,2,4,6
/proc/28775/task/28785/stat : 28785 (java) S 28773 28775 28325 0 -1 4202560 2698 0 0 0 1 0 0 0 15 0 22 0 523058023 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28786] ppid=28773 vsize=15754676 CPUtime=0.04 cores=0,2,4,6
/proc/28775/task/28786/stat : 28786 (java) S 28773 28775 28325 0 -1 4202560 8463 0 0 0 3 1 0 0 16 0 22 0 523058023 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28788] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28788/stat : 28788 (java) S 28773 28775 28325 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 22 0 523058024 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 0 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28792] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28792/stat : 28792 (java) S 28773 28775 28325 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 523058024 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28793] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28793/stat : 28793 (java) S 28773 28775 28325 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 523058024 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28807] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28807/stat : 28807 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523058027 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624934321 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28808] ppid=28773 vsize=15754676 CPUtime=0.98 cores=0,2,4,6
/proc/28775/task/28808/stat : 28808 (java) S 28773 28775 28325 0 -1 4202560 6008 0 0 0 97 1 0 0 15 0 22 0 523058027 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28809] ppid=28773 vsize=15754676 CPUtime=0.68 cores=0,2,4,6
/proc/28775/task/28809/stat : 28809 (java) S 28773 28775 28325 0 -1 4202560 3530 0 0 0 68 0 0 0 15 0 22 0 523058027 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28810] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28810/stat : 28810 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523058027 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28811] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28811/stat : 28811 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523058027 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28817] ppid=28773 vsize=15754676 CPUtime=0.45 cores=0,2,4,6
/proc/28775/task/28817/stat : 28817 (java) S 28773 28775 28325 0 -1 4202560 23 0 0 0 45 0 0 0 15 0 22 0 523058106 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28818] ppid=28773 vsize=15754676 CPUtime=0.35 cores=0,2,4,6
/proc/28775/task/28818/stat : 28818 (java) S 28773 28775 28325 0 -1 4202560 13 0 0 0 35 0 0 0 15 0 22 0 523058106 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28819] ppid=28773 vsize=15754676 CPUtime=0.45 cores=0,2,4,6
/proc/28775/task/28819/stat : 28819 (java) R 28773 28775 28325 0 -1 4202560 10 0 0 0 45 0 0 0 16 0 22 0 523058106 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 46912506109176 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=28775/tid=28820] ppid=28773 vsize=15754676 CPUtime=0.71 cores=0,2,4,6
/proc/28775/task/28820/stat : 28820 (java) R 28773 28775 28325 0 -1 4202560 12 0 0 0 71 0 0 0 16 0 22 0 523058106 16132788224 70549 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 46912506294585 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 15754676

[startup+6.30073 s]
/proc/loadavg: 5.85 7.46 7.80 10/220 28824
/proc/meminfo: memFree=21268148/32951124 swapFree=67111524/67111528
[pid=28775] ppid=28773 vsize=15754676 CPUtime=18.51 cores=0,2,4,6
/proc/28775/stat : 28775 (java) S 28773 28775 28325 0 -1 4202496 252423 0 1 0 1813 38 0 0 21 0 22 0 523058021 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28775/statm: 3938669 246882 2275 9 0 3929388 0
[pid=28775/tid=28777] ppid=28773 vsize=15754676 CPUtime=2.01 cores=0,2,4,6
/proc/28775/task/28777/stat : 28777 (java) S 28773 28775 28325 0 -1 4202560 35739 0 1 0 196 5 0 0 22 0 22 0 523058022 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28779] ppid=28773 vsize=15754676 CPUtime=0.15 cores=0,2,4,6
/proc/28775/task/28779/stat : 28779 (java) S 28773 28775 28325 0 -1 4202560 23965 0 0 0 11 4 0 0 15 0 22 0 523058023 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28780] ppid=28773 vsize=15754676 CPUtime=0.12 cores=0,2,4,6
/proc/28775/task/28780/stat : 28780 (java) S 28773 28775 28325 0 -1 4202560 18625 0 0 0 10 2 0 0 15 0 22 0 523058023 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28781] ppid=28773 vsize=15754676 CPUtime=0.15 cores=0,2,4,6
/proc/28775/task/28781/stat : 28781 (java) S 28773 28775 28325 0 -1 4202560 19747 0 0 0 13 2 0 0 15 0 22 0 523058023 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28782] ppid=28773 vsize=15754676 CPUtime=0.04 cores=0,2,4,6
/proc/28775/task/28782/stat : 28782 (java) S 28773 28775 28325 0 -1 4202560 6902 0 0 0 4 0 0 0 16 0 22 0 523058023 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28783] ppid=28773 vsize=15754676 CPUtime=0.06 cores=0,2,4,6
/proc/28775/task/28783/stat : 28783 (java) S 28773 28775 28325 0 -1 4202560 8479 0 0 0 6 0 0 0 15 0 22 0 523058023 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28784] ppid=28773 vsize=15754676 CPUtime=0.09 cores=0,2,4,6
/proc/28775/task/28784/stat : 28784 (java) S 28773 28775 28325 0 -1 4202560 20535 0 0 0 6 3 0 0 15 0 22 0 523058023 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28785] ppid=28773 vsize=15754676 CPUtime=0.14 cores=0,2,4,6
/proc/28775/task/28785/stat : 28785 (java) S 28773 28775 28325 0 -1 4202560 40924 0 0 0 8 6 0 0 15 0 22 0 523058023 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28786] ppid=28773 vsize=15754676 CPUtime=0.11 cores=0,2,4,6
/proc/28775/task/28786/stat : 28786 (java) S 28773 28775 28325 0 -1 4202560 18957 0 0 0 8 3 0 0 15 0 22 0 523058023 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28788] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28788/stat : 28788 (java) S 28773 28775 28325 0 -1 4202560 445 0 0 0 0 0 0 0 15 0 22 0 523058024 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 0 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28792] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28792/stat : 28792 (java) S 28773 28775 28325 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 523058024 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28793] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28793/stat : 28793 (java) S 28773 28775 28325 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 523058024 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28807] ppid=28773 vsize=15754676 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28807/stat : 28807 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523058027 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624934321 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28808] ppid=28773 vsize=15754676 CPUtime=0.98 cores=0,2,4,6
/proc/28775/task/28808/stat : 28808 (java) S 28773 28775 28325 0 -1 4202560 6008 0 0 0 97 1 0 0 15 0 22 0 523058027 16132788224 246882 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0

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

[pid=28775/tid=28781] ppid=28773 vsize=15751760 CPUtime=3.5 cores=0,2,4,6
/proc/28775/task/28781/stat : 28781 (java) S 28773 28775 28325 0 -1 4202560 367871 0 0 0 255 95 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28782] ppid=28773 vsize=15751760 CPUtime=2.8 cores=0,2,4,6
/proc/28775/task/28782/stat : 28782 (java) S 28773 28775 28325 0 -1 4202560 423099 0 0 0 188 92 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28783] ppid=28773 vsize=15751760 CPUtime=2.69 cores=0,2,4,6
/proc/28775/task/28783/stat : 28783 (java) S 28773 28775 28325 0 -1 4202560 327628 0 0 0 188 81 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28784] ppid=28773 vsize=15751760 CPUtime=2.47 cores=0,2,4,6
/proc/28775/task/28784/stat : 28784 (java) S 28773 28775 28325 0 -1 4202560 238640 0 0 0 191 56 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28785] ppid=28773 vsize=15751760 CPUtime=2.89 cores=0,2,4,6
/proc/28775/task/28785/stat : 28785 (java) S 28773 28775 28325 0 -1 4202560 397452 0 0 0 183 106 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 2
[pid=28775/tid=28786] ppid=28773 vsize=15751760 CPUtime=3.44 cores=0,2,4,6
/proc/28775/task/28786/stat : 28786 (java) S 28773 28775 28325 0 -1 4202560 379365 0 0 0 236 108 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28788] ppid=28773 vsize=15751760 CPUtime=787.85 cores=0,2,4,6
/proc/28775/task/28788/stat : 28788 (java) R 28773 28775 28325 0 -1 4202560 654965 0 0 0 78595 190 0 0 15 0 20 0 523058024 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 47939998970205 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=28775/tid=28792] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28792/stat : 28792 (java) S 28773 28775 28325 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 20 0 523058024 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28793] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28793/stat : 28793 (java) S 28773 28775 28325 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 20 0 523058024 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28807] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28807/stat : 28807 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624934321 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28808] ppid=28773 vsize=15751760 CPUtime=1.02 cores=0,2,4,6
/proc/28775/task/28808/stat : 28808 (java) S 28773 28775 28325 0 -1 4202560 6008 0 0 0 101 1 0 0 16 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28809] ppid=28773 vsize=15751760 CPUtime=0.96 cores=0,2,4,6
/proc/28775/task/28809/stat : 28809 (java) S 28773 28775 28325 0 -1 4202560 3578 0 0 0 96 0 0 0 15 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28810] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28810/stat : 28810 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28811] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28811/stat : 28811 (java) S 28773 28775 28325 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28818] ppid=28773 vsize=15751760 CPUtime=383.91 cores=0,2,4,6
/proc/28775/task/28818/stat : 28818 (java) S 28773 28775 28325 0 -1 4202560 100040 0 0 0 38368 23 0 0 15 0 20 0 523058106 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28819] ppid=28773 vsize=15751760 CPUtime=382.41 cores=0,2,4,6
/proc/28775/task/28819/stat : 28819 (java) S 28773 28775 28325 0 -1 4202560 85102 0 0 0 38204 37 0 0 15 0 20 0 523058106 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2187.98
Current children cumulated vsize (KiB) 15751760

[startup+1242.3 s]
/proc/loadavg: 2.08 2.38 4.27 3/218 28860
/proc/meminfo: memFree=101096/32951124 swapFree=67111524/67111528
[pid=28775] ppid=28773 vsize=15751760 CPUtime=2256.16 cores=0,2,4,6
/proc/28775/stat : 28775 (java) S 28773 28775 28325 0 -1 4202496 3906051 0 1 0 224561 1055 0 0 21 0 20 0 523058021 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28775/statm: 3937940 3846377 2295 9 0 3928659 0
[pid=28775/tid=28777] ppid=28773 vsize=15751760 CPUtime=2.01 cores=0,2,4,6
/proc/28775/task/28777/stat : 28777 (java) S 28773 28775 28325 0 -1 4202560 35739 0 1 0 196 5 0 0 22 0 20 0 523058022 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28779] ppid=28773 vsize=15751760 CPUtime=3.72 cores=0,2,4,6
/proc/28775/task/28779/stat : 28779 (java) S 28773 28775 28325 0 -1 4202560 377878 0 0 0 256 116 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28780] ppid=28773 vsize=15751760 CPUtime=2.97 cores=0,2,4,6
/proc/28775/task/28780/stat : 28780 (java) S 28773 28775 28325 0 -1 4202560 320156 0 0 0 198 99 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28781] ppid=28773 vsize=15751760 CPUtime=3.5 cores=0,2,4,6
/proc/28775/task/28781/stat : 28781 (java) S 28773 28775 28325 0 -1 4202560 367871 0 0 0 255 95 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28782] ppid=28773 vsize=15751760 CPUtime=2.8 cores=0,2,4,6
/proc/28775/task/28782/stat : 28782 (java) S 28773 28775 28325 0 -1 4202560 423099 0 0 0 188 92 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28783] ppid=28773 vsize=15751760 CPUtime=2.69 cores=0,2,4,6
/proc/28775/task/28783/stat : 28783 (java) S 28773 28775 28325 0 -1 4202560 327628 0 0 0 188 81 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28784] ppid=28773 vsize=15751760 CPUtime=2.47 cores=0,2,4,6
/proc/28775/task/28784/stat : 28784 (java) S 28773 28775 28325 0 -1 4202560 238640 0 0 0 191 56 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28785] ppid=28773 vsize=15751760 CPUtime=2.89 cores=0,2,4,6
/proc/28775/task/28785/stat : 28785 (java) S 28773 28775 28325 0 -1 4202560 397452 0 0 0 183 106 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 2
[pid=28775/tid=28786] ppid=28773 vsize=15751760 CPUtime=3.44 cores=0,2,4,6
/proc/28775/task/28786/stat : 28786 (java) S 28773 28775 28325 0 -1 4202560 379365 0 0 0 236 108 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28788] ppid=28773 vsize=15751760 CPUtime=839.66 cores=0,2,4,6
/proc/28775/task/28788/stat : 28788 (java) R 28773 28775 28325 0 -1 4202560 654970 0 0 0 83771 195 0 0 17 0 20 0 523058024 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 47939998970205 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=28775/tid=28792] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28792/stat : 28792 (java) S 28773 28775 28325 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 20 0 523058024 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28793] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28793/stat : 28793 (java) S 28773 28775 28325 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 20 0 523058024 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28807] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28807/stat : 28807 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624934321 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28808] ppid=28773 vsize=15751760 CPUtime=1.02 cores=0,2,4,6
/proc/28775/task/28808/stat : 28808 (java) S 28773 28775 28325 0 -1 4202560 6008 0 0 0 101 1 0 0 16 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28809] ppid=28773 vsize=15751760 CPUtime=0.96 cores=0,2,4,6
/proc/28775/task/28809/stat : 28809 (java) S 28773 28775 28325 0 -1 4202560 3578 0 0 0 96 0 0 0 15 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28810] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28810/stat : 28810 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28811] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28811/stat : 28811 (java) S 28773 28775 28325 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28818] ppid=28773 vsize=15751760 CPUtime=392.09 cores=0,2,4,6
/proc/28775/task/28818/stat : 28818 (java) S 28773 28775 28325 0 -1 4202560 100274 0 0 0 39185 24 0 0 15 0 20 0 523058106 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28819] ppid=28773 vsize=15751760 CPUtime=390.61 cores=0,2,4,6
/proc/28775/task/28819/stat : 28819 (java) S 28773 28775 28325 0 -1 4202560 85392 0 0 0 39021 40 0 0 15 0 20 0 523058106 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2256.16
Current children cumulated vsize (KiB) 15751760



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300.01 s]
/proc/loadavg: 2.18 2.35 4.14 4/218 28862
/proc/meminfo: memFree=101124/32951124 swapFree=67111524/67111528
[pid=28775] ppid=28773 vsize=15751760 CPUtime=2321.46 cores=0,2,4,6
/proc/28775/stat : 28775 (java) S 28773 28775 28325 0 -1 4202496 3906630 0 1 0 231081 1065 0 0 21 0 20 0 523058021 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/28775/statm: 3937940 3846377 2295 9 0 3928659 0
[pid=28775/tid=28777] ppid=28773 vsize=15751760 CPUtime=2.01 cores=0,2,4,6
/proc/28775/task/28777/stat : 28777 (java) S 28773 28775 28325 0 -1 4202560 35739 0 1 0 196 5 0 0 22 0 20 0 523058022 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28779] ppid=28773 vsize=15751760 CPUtime=3.72 cores=0,2,4,6
/proc/28775/task/28779/stat : 28779 (java) S 28773 28775 28325 0 -1 4202560 377878 0 0 0 256 116 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28780] ppid=28773 vsize=15751760 CPUtime=2.97 cores=0,2,4,6
/proc/28775/task/28780/stat : 28780 (java) S 28773 28775 28325 0 -1 4202560 320156 0 0 0 198 99 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28781] ppid=28773 vsize=15751760 CPUtime=3.5 cores=0,2,4,6
/proc/28775/task/28781/stat : 28781 (java) S 28773 28775 28325 0 -1 4202560 367871 0 0 0 255 95 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28782] ppid=28773 vsize=15751760 CPUtime=2.8 cores=0,2,4,6
/proc/28775/task/28782/stat : 28782 (java) S 28773 28775 28325 0 -1 4202560 423099 0 0 0 188 92 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28783] ppid=28773 vsize=15751760 CPUtime=2.69 cores=0,2,4,6
/proc/28775/task/28783/stat : 28783 (java) S 28773 28775 28325 0 -1 4202560 327628 0 0 0 188 81 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28784] ppid=28773 vsize=15751760 CPUtime=2.47 cores=0,2,4,6
/proc/28775/task/28784/stat : 28784 (java) S 28773 28775 28325 0 -1 4202560 238640 0 0 0 191 56 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 0 0 0 0
[pid=28775/tid=28785] ppid=28773 vsize=15751760 CPUtime=2.89 cores=0,2,4,6
/proc/28775/task/28785/stat : 28785 (java) S 28773 28775 28325 0 -1 4202560 397452 0 0 0 183 106 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 2
[pid=28775/tid=28786] ppid=28773 vsize=15751760 CPUtime=3.44 cores=0,2,4,6
/proc/28775/task/28786/stat : 28786 (java) S 28773 28775 28325 0 -1 4202560 379365 0 0 0 236 108 0 0 16 0 20 0 523058023 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28788] ppid=28773 vsize=15751760 CPUtime=889.8 cores=0,2,4,6
/proc/28775/task/28788/stat : 28788 (java) S 28773 28775 28325 0 -1 4202560 654975 0 0 0 88780 200 0 0 16 0 20 0 523058024 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 0 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28792] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28792/stat : 28792 (java) S 28773 28775 28325 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 20 0 523058024 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28793] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28793/stat : 28793 (java) S 28773 28775 28325 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 20 0 523058024 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28807] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28807/stat : 28807 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624934321 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28808] ppid=28773 vsize=15751760 CPUtime=1.02 cores=0,2,4,6
/proc/28775/task/28808/stat : 28808 (java) S 28773 28775 28325 0 -1 4202560 6008 0 0 0 101 1 0 0 16 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28809] ppid=28773 vsize=15751760 CPUtime=0.96 cores=0,2,4,6
/proc/28775/task/28809/stat : 28809 (java) S 28773 28775 28325 0 -1 4202560 3579 0 0 0 96 0 0 0 15 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 6 0 0 0
[pid=28775/tid=28810] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28810/stat : 28810 (java) S 28773 28775 28325 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624926617 0 4 0 16800975 18446604453948232640 0 0 -1 4 0 0 0
[pid=28775/tid=28811] ppid=28773 vsize=15751760 CPUtime=0 cores=0,2,4,6
/proc/28775/task/28811/stat : 28811 (java) S 28773 28775 28325 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 20 0 523058027 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 270624927232 0 4 0 16800975 18446604453948232640 0 0 -1 2 0 0 0
[pid=28775/tid=28818] ppid=28773 vsize=15751760 CPUtime=399.66 cores=0,2,4,6
/proc/28775/task/28818/stat : 28818 (java) R 28773 28775 28325 0 -1 4202560 100545 0 0 0 39941 25 0 0 15 0 20 0 523058106 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 46912506320796 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=28775/tid=28819] ppid=28773 vsize=15751760 CPUtime=398.19 cores=0,2,4,6
/proc/28775/task/28819/stat : 28819 (java) R 28773 28775 28325 0 -1 4202560 85691 0 0 0 39777 42 0 0 15 0 20 0 523058106 16129802240 3846377 33554432000 1073741824 1073778376 140735291474416 18446744073709551615 46912506294407 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2321.46
Current children cumulated vsize (KiB) 15751760

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

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

[startup+1300.7 s]
/proc/loadavg: 2.18 2.35 4.14 4/218 28862
/proc/meminfo: memFree=101124/32951124 swapFree=67111524/67111528
[pid=28775] ppid=28773 vsize=0 CPUtime=2322.16 cores=0,2,4,6
/proc/28775/stat : 28775 (java) Z 28773 28775 28325 0 -1 4203548 3906648 0 1 0 231139 1077 0 0 15 0 2 0 523058021 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28775/statm: 0 0 0 0 0 0 0
[pid=28775/tid=28793] ppid=28773 vsize=0 CPUtime=0.11 cores=0,2,4,6
/proc/28775/task/28793/stat : 28793 (java) R 28773 28775 28325 0 -1 4203588 8 0 0 0 0 11 0 0 18 0 2 0 523058024 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2322.16
Current children cumulated vsize (KiB) 0

[startup+1301.11 s]
/proc/loadavg: 2.18 2.35 4.14 3/202 28866
/proc/meminfo: memFree=10519980/32951124 swapFree=67111524/67111528
[pid=28775] ppid=28773 vsize=0 CPUtime=2322.56 cores=0,2,4,6
/proc/28775/stat : 28775 (java) Z 28773 28775 28325 0 -1 4203548 3906648 0 1 0 231139 1117 0 0 15 0 2 0 523058021 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28775/statm: 0 0 0 0 0 0 0
[pid=28775/tid=28793] ppid=28773 vsize=0 CPUtime=0.52 cores=0,2,4,6
/proc/28775/task/28793/stat : 28793 (java) R 28773 28775 28325 0 -1 4203588 8 0 0 0 0 52 0 0 18 0 2 0 523058024 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2322.56
Current children cumulated vsize (KiB) 0

[startup+1301.2 s]
/proc/loadavg: 2.18 2.35 4.14 3/202 28866
/proc/meminfo: memFree=10519980/32951124 swapFree=67111524/67111528
[pid=28775] ppid=28773 vsize=0 CPUtime=2322.65 cores=0,2,4,6
/proc/28775/stat : 28775 (java) Z 28773 28775 28325 0 -1 4203548 3906648 0 1 0 231139 1126 0 0 15 0 2 0 523058021 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28775/statm: 0 0 0 0 0 0 0
[pid=28775/tid=28793] ppid=28773 vsize=0 CPUtime=0.61 cores=0,2,4,6
/proc/28775/task/28793/stat : 28793 (java) R 28773 28775 28325 0 -1 4203588 8 0 0 0 0 61 0 0 18 0 2 0 523058024 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2322.65
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1301.25
CPU time (s): 2322.71
CPU user time (s): 2311.4
CPU system time (s): 11.3163
CPU usage (%): 178.499
Max. virtual memory (cumulated for all children) (KiB): 15756136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2311.4
system time used= 11.3163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3906648
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= 66114
involuntary context switches= 26042

runsolver used 2.28265 second user time and 4.95025 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-30 00:02:51
IDJOB=3311224
IDBENCH=82609
IDSOLVER=1698
FILE ID=node108/3311224-1304114571
RUNJOBID= node108-1304114571-28761
PBS_JOBID= 13170680
Free space on /tmp= 72116 MiB

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

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

MD5SUM BENCH= 4a57833314362e0939d4095b3206ad82
RANDOM SEED=1679405984

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22905804 kB
Buffers:       1985484 kB
Cached:        7420776 kB
SwapCached:          4 kB
Active:         370844 kB
Inactive:      9102412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22905804 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7580 kB
Writeback:           0 kB
AnonPages:       66928 kB
Mapped:          14412 kB
Slab:           509328 kB
PageTables:       4524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191760 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= 72112 MiB
End job on node108 at 2011-04-30 00:24:33