0.10/0.12	57:42 INFO : Reading from input HOME/instance-3312425-1304114261.cnf
1.04/0.84	Executor set job limit to 1000000
1.04/0.84	Executor set job limit to 1000000
1.04/0.84	Executor set job limit to 1000000
1.04/0.84	Executor set job limit to 1000000
1.04/0.84	Starting Executor!
1.04/0.84	Starting Executor!
1.04/0.84	Starting Executor!
1.04/0.84	Starting Executor!
3.14/2.02	57:44 INFO : 34897 variables remaining out of 35000
3.14/2.02	57:44 INFO : 585284 literals remaining out of 588000
1259.88/342.22	03:24 ERROR: Failed to solve instance
1259.88/342.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1259.88/342.22		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:221)
1259.88/342.22		at gnu.trove.THash.postInsertHook(THash.java:370)
1259.88/342.22		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1259.88/342.22		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1259.88/342.22		at ibis.structure.Subsumming.run(Subsumming.java:58)
1259.88/342.22		at ibis.structure.Solver.simplify(Solver.java:205)
1259.88/342.22		at ibis.structure.Solver.solve(Solver.java:113)
1259.88/342.22		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1259.88/342.22		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1259.88/342.22		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1259.88/342.22		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1259.88/342.22		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1259.88/342.22		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1259.88/342.22		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1259.88/342.22		at ibis.constellation.Executor.processActivities(Executor.java:75)
1259.88/342.22		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1259.88/342.22		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1259.88/342.22		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1264.41/346.73	03:28 ERROR: Failed to solve instance
1264.41/346.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1264.41/346.73		at gnu.trove.TPrimitiveHash.setUp(TPrimitiveHash.java:123)
1264.41/346.73		at gnu.trove.TIntHash.setUp(TIntHash.java:133)
1264.41/346.73		at gnu.trove.THash.<init>(THash.java:128)
1264.41/346.73		at gnu.trove.THash.<init>(THash.java:97)
1264.41/346.73		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1264.41/346.73		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1264.41/346.73		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1264.41/346.73		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1264.41/346.73		at ibis.structure.WatchLists.build(WatchLists.java:47)
1264.41/346.73		at ibis.structure.Solver.<init>(Solver.java:45)
1264.41/346.73		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1264.41/346.73		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1264.41/346.73		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1264.41/346.73		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1264.41/346.73		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1264.41/346.73		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1264.41/346.73		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1264.41/346.73		at ibis.constellation.Executor.processActivities(Executor.java:75)
1264.41/346.73		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1264.41/346.73		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1264.41/346.73		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1269.17/351.11	03:32 ERROR: Failed to solve instance
1269.17/351.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1269.17/351.11		at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222)
1269.17/351.11		at gnu.trove.THash.postInsertHook(THash.java:370)
1269.17/351.11		at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193)
1269.17/351.11		at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160)
1269.17/351.11		at ibis.structure.Subsumming.run(Subsumming.java:58)
1269.17/351.11		at ibis.structure.Solver.simplify(Solver.java:205)
1269.17/351.11		at ibis.structure.Solver.solve(Solver.java:113)
1269.17/351.11		at ibis.structure.SolveActivity.initialize(SolveActivity.java:29)
1269.17/351.11		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1269.17/351.11		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1269.17/351.11		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1269.17/351.11		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1269.17/351.11		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1269.17/351.11		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1269.17/351.11		at ibis.constellation.Executor.processActivities(Executor.java:75)
1269.17/351.11		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1269.17/351.11		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1269.17/351.11		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1271.48/353.44	03:33 ERROR: Failed to solve instance
1271.48/353.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1271.48/353.44		at gnu.trove.TIntHash.setUp(TIntHash.java:134)
1271.48/353.44		at gnu.trove.THash.<init>(THash.java:128)
1271.48/353.44		at gnu.trove.THash.<init>(THash.java:97)
1271.48/353.44		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81)
1271.48/353.44		at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68)
1271.48/353.44		at gnu.trove.TIntHash.<init>(TIntHash.java:60)
1271.48/353.44		at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59)
1271.48/353.44		at ibis.structure.WatchLists.build(WatchLists.java:47)
1271.48/353.44		at ibis.structure.Solver.<init>(Solver.java:45)
1271.48/353.44		at ibis.structure.SolveActivity.initialize(SolveActivity.java:28)
1271.48/353.44		at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143)
1271.48/353.44		at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215)
1271.48/353.44		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398)
1271.48/353.44		at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420)
1271.48/353.44		at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023)
1271.48/353.44		at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515)
1271.48/353.44		at ibis.constellation.Executor.processActivities(Executor.java:75)
1271.48/353.44		at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54)
1271.48/353.44		at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521)
1271.48/353.44		at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070)
1273.93/355.83	03:37 ERROR: Failed to solve instance
1273.93/355.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1279.64/360.82	03:42 ERROR: Failed to solve instance
1279.64/360.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
1280.55/361.73	03:43 ERROR: Failed to solve instance
1280.55/361.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1281.06/362.23	03:44 ERROR: Failed to solve instance
1281.06/362.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1281.58/362.75	03:44 ERROR: Failed to solve instance
1281.58/362.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1287.41/367.50	03:49 ERROR: Failed to solve instance
1287.41/367.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1287.92/367.99	03:50 ERROR: Failed to solve instance
1287.92/367.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1288.42/368.44	03:50 ERROR: Failed to solve instance
1288.42/368.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1293.29/372.60	03:54 ERROR: Failed to solve instance
1293.29/372.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1295.70/374.94	03:57 ERROR: Failed to solve instance
1295.70/374.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1296.62/375.89	03:57 ERROR: Failed to solve instance
1296.62/375.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1297.25/376.41	03:58 ERROR: Failed to solve instance
1297.25/376.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1304.52/382.18	04:04 ERROR: Failed to solve instance
1304.52/382.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1305.03/382.64	04:04 ERROR: Failed to solve instance
1305.03/382.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1305.96/383.52	04:05 ERROR: Failed to solve instance
1305.96/383.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1306.38/383.95	04:05 ERROR: Failed to solve instance
1306.38/383.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1309.95/386.92	04:08 ERROR: Failed to solve instance
1309.95/386.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1310.37/387.37	04:09 ERROR: Failed to solve instance
1310.37/387.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1310.88/387.80	04:09 ERROR: Failed to solve instance
1310.88/387.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1311.71/388.68	04:10 ERROR: Failed to solve instance
1311.71/388.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1312.24/389.15	04:11 ERROR: Failed to solve instance
1312.24/389.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1312.76/389.67	04:11 ERROR: Failed to solve instance
1312.76/389.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1320.97/396.14	04:18 ERROR: Failed to solve instance
1320.97/396.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1321.71/396.88	04:18 ERROR: Failed to solve instance
1321.71/396.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1324.31/399.02	04:21 ERROR: Failed to solve instance
1324.31/399.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1326.05/400.61	04:22 ERROR: Failed to solve instance
1326.05/400.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
1326.87/401.50	04:23 ERROR: Failed to solve instance
1326.87/401.50	java.lang.OutOfMemoryError: GC overhead limit exceeded
1327.38/401.98	04:24 ERROR: Failed to solve instance
1327.38/401.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1327.79/402.39	04:24 ERROR: Failed to solve instance
1327.79/402.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1328.31/402.87	04:24 ERROR: Failed to solve instance
1328.31/402.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1336.94/409.74	04:31 ERROR: Failed to solve instance
1336.94/409.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
1337.37/410.19	04:32 ERROR: Failed to solve instance
1337.37/410.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1337.88/410.69	04:32 ERROR: Failed to solve instance
1337.88/410.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1338.82/411.55	04:33 ERROR: Failed to solve instance
1338.82/411.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1339.33/412.03	04:34 ERROR: Failed to solve instance
1339.33/412.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1339.88/412.59	04:34 ERROR: Failed to solve instance
1339.88/412.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1347.55/418.59	04:40 ERROR: Failed to solve instance
1347.55/418.59	java.lang.OutOfMemoryError: Java heap space
1347.55/418.59	04:40 ERROR: Failed to solve instance
1347.55/418.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1347.96/418.94	04:40 ERROR: Failed to solve instance
1347.96/418.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1348.50/419.45	04:41 ERROR: Failed to solve instance
1348.50/419.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1351.81/422.21	04:44 ERROR: Failed to solve instance
1351.81/422.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1352.55/422.91	04:44 ERROR: Failed to solve instance
1352.55/422.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1360.03/428.76	04:50 ERROR: Failed to solve instance
1360.03/428.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1360.55/429.23	04:51 ERROR: Failed to solve instance
1360.55/429.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1361.47/430.13	04:52 ERROR: Failed to solve instance
1361.47/430.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1361.99/430.64	04:52 ERROR: Failed to solve instance
1361.99/430.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1362.53/431.14	04:53 ERROR: Failed to solve instance
1362.53/431.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1363.04/431.62	04:53 ERROR: Failed to solve instance
1363.04/431.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1371.67/438.67	05:00 ERROR: Failed to solve instance
1371.67/438.67	java.lang.OutOfMemoryError: Java heap space
1371.87/438.89	05:00 ERROR: Failed to solve instance
1371.87/438.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1375.10/441.56	05:03 ERROR: Failed to solve instance
1375.10/441.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.02/442.48	05:04 ERROR: Failed to solve instance
1376.02/442.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1376.34/442.76	05:04 ERROR: Failed to solve instance
1376.34/442.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1381.05/446.76	05:08 ERROR: Failed to solve instance
1381.05/446.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1381.56/447.25	05:09 ERROR: Failed to solve instance
1381.56/447.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1382.09/447.77	05:09 ERROR: Failed to solve instance
1382.09/447.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
1390.02/454.10	05:16 ERROR: Failed to solve instance
1390.02/454.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1390.44/454.55	05:16 ERROR: Failed to solve instance
1390.44/454.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1390.97/455.04	05:17 ERROR: Failed to solve instance
1390.97/455.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1391.38/455.47	05:17 ERROR: Failed to solve instance
1391.38/455.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1392.44/456.42	05:18 ERROR: Failed to solve instance
1392.44/456.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
1392.96/456.91	05:18 ERROR: Failed to solve instance
1392.96/456.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1393.49/457.46	05:19 ERROR: Failed to solve instance
1393.49/457.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1394.02/458.00	05:20 ERROR: Failed to solve instance
1394.02/458.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1403.88/465.55	05:27 ERROR: Failed to solve instance
1403.88/465.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1404.40/466.00	05:28 ERROR: Failed to solve instance
1404.40/466.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1405.33/466.91	05:28 ERROR: Failed to solve instance
1405.33/466.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1405.75/467.38	05:29 ERROR: Failed to solve instance
1405.75/467.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1409.23/470.26	05:32 ERROR: Failed to solve instance
1409.23/470.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1412.64/473.20	05:35 ERROR: Failed to solve instance
1412.64/473.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1413.67/474.11	05:36 ERROR: Failed to solve instance
1413.67/474.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1414.18/474.64	05:36 ERROR: Failed to solve instance
1414.18/474.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1414.70/475.20	05:37 ERROR: Failed to solve instance
1414.70/475.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1415.33/475.79	05:37 ERROR: Failed to solve instance
1415.33/475.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1423.90/482.43	05:44 ERROR: Failed to solve instance
1423.90/482.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1424.43/482.95	05:45 ERROR: Failed to solve instance
1424.43/482.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1424.95/483.44	05:45 ERROR: Failed to solve instance
1424.95/483.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1429.66/487.37	05:49 ERROR: Failed to solve instance
1429.66/487.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1432.50/489.78	05:51 ERROR: Failed to solve instance
1432.50/489.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1433.36/490.55	05:52 ERROR: Failed to solve instance
1433.36/490.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1433.89/491.05	05:53 ERROR: Failed to solve instance
1433.89/491.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1436.85/493.64	05:55 ERROR: Failed to solve instance
1436.85/493.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1437.38/494.15	05:56 ERROR: Failed to solve instance
1437.38/494.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1438.81/495.49	05:57 ERROR: Failed to solve instance
1438.81/495.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1445.80/501.13	06:03 ERROR: Failed to solve instance
1445.80/501.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1446.32/501.63	06:03 ERROR: Failed to solve instance
1446.32/501.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1446.83/502.15	06:04 ERROR: Failed to solve instance
1446.83/502.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1450.82/505.56	06:07 ERROR: Failed to solve instance
1450.82/505.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.35/508.59	06:10 ERROR: Failed to solve instance
1454.35/508.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1454.87/509.07	06:11 ERROR: Failed to solve instance
1454.87/509.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1455.82/509.91	06:11 ERROR: Failed to solve instance
1455.82/509.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.11/513.53	06:15 ERROR: Failed to solve instance
1460.11/513.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1460.62/514.01	06:16 ERROR: Failed to solve instance
1460.62/514.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
1468.42/520.27	06:22 ERROR: Failed to solve instance
1468.42/520.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1468.95/520.76	06:22 ERROR: Failed to solve instance
1468.95/520.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1469.47/521.29	06:23 ERROR: Failed to solve instance
1469.47/521.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1471.78/523.26	06:25 ERROR: Failed to solve instance
1471.78/523.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1472.70/524.18	06:26 ERROR: Failed to solve instance
1472.70/524.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1473.21/524.67	06:26 ERROR: Failed to solve instance
1473.21/524.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1473.73/525.20	06:27 ERROR: Failed to solve instance
1473.73/525.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1476.18/527.21	06:29 ERROR: Failed to solve instance
1476.18/527.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
1476.59/527.69	06:29 ERROR: Failed to solve instance
1476.59/527.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1477.61/528.63	06:30 ERROR: Failed to solve instance
1477.61/528.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1478.13/529.15	06:31 ERROR: Failed to solve instance
1478.13/529.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1478.65/529.73	06:31 ERROR: Failed to solve instance
1478.65/529.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1486.34/535.31	06:37 ERROR: Failed to solve instance
1486.34/535.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1486.77/535.80	06:37 ERROR: Failed to solve instance
1486.77/535.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1487.79/536.75	06:38 ERROR: Failed to solve instance
1487.79/536.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1488.32/537.27	06:39 ERROR: Failed to solve instance
1488.32/537.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1493.86/541.62	06:43 ERROR: Failed to solve instance
1493.86/541.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
1494.78/542.54	06:44 ERROR: Failed to solve instance
1494.78/542.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1495.31/543.05	06:45 ERROR: Failed to solve instance
1495.31/543.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1501.61/548.29	06:50 ERROR: Failed to solve instance
1501.61/548.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1502.12/548.73	06:50 ERROR: Failed to solve instance
1502.12/548.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1502.63/549.23	06:51 ERROR: Failed to solve instance
1502.63/549.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1503.56/550.20	06:52 ERROR: Failed to solve instance
1503.56/550.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1504.18/550.72	06:52 ERROR: Failed to solve instance
1504.18/550.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1509.98/555.41	06:57 ERROR: Failed to solve instance
1509.98/555.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1510.40/555.87	06:57 ERROR: Failed to solve instance
1510.40/555.87	java.lang.OutOfMemoryError: GC overhead limit exceeded
1511.02/556.43	06:58 ERROR: Failed to solve instance
1511.02/556.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
1516.33/560.67	07:02 ERROR: Failed to solve instance
1516.33/560.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1516.85/561.14	07:03 ERROR: Failed to solve instance
1516.85/561.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
1517.47/561.71	07:03 ERROR: Failed to solve instance
1517.47/561.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1523.38/566.56	07:08 ERROR: Failed to solve instance
1523.38/566.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1523.89/567.04	07:09 ERROR: Failed to solve instance
1523.89/567.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1524.92/568.02	07:09 ERROR: Failed to solve instance
1524.92/568.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1525.45/568.57	07:10 ERROR: Failed to solve instance
1525.45/568.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1533.08/574.57	07:16 ERROR: Failed to solve instance
1533.08/574.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1534.01/575.47	07:17 ERROR: Failed to solve instance
1534.01/575.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1534.41/575.86	07:17 ERROR: Failed to solve instance
1534.41/575.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1534.94/576.33	07:18 ERROR: Failed to solve instance
1534.94/576.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1535.36/576.79	07:18 ERROR: Failed to solve instance
1535.36/576.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1538.49/579.57	07:21 ERROR: Failed to solve instance
1538.49/579.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
1539.11/580.12	07:22 ERROR: Failed to solve instance
1539.11/580.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1539.74/580.71	07:22 ERROR: Failed to solve instance
1539.74/580.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
1551.56/590.34	07:32 ERROR: Failed to solve instance
1551.56/590.34	java.lang.OutOfMemoryError: Java heap space
1551.97/590.78	07:32 ERROR: Failed to solve instance
1551.97/590.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1552.69/591.49	07:33 ERROR: Failed to solve instance
1552.69/591.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
1553.30/592.02	07:34 ERROR: Failed to solve instance
1553.30/592.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
1553.82/592.59	07:34 ERROR: Failed to solve instance
1553.82/592.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1555.00/593.65	07:35 ERROR: Failed to solve instance
1555.00/593.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1563.47/600.71	07:42 ERROR: Failed to solve instance
1563.47/600.71	java.lang.OutOfMemoryError: Java heap space
1563.66/600.94	07:43 ERROR: Failed to solve instance
1563.66/600.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1564.37/601.64	07:43 ERROR: Failed to solve instance
1564.37/601.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1564.88/602.12	07:44 ERROR: Failed to solve instance
1564.88/602.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1565.80/603.09	07:45 ERROR: Failed to solve instance
1565.80/603.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1566.21/603.48	07:45 ERROR: Failed to solve instance
1566.21/603.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1566.74/603.98	07:46 ERROR: Failed to solve instance
1566.74/603.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1567.25/604.51	07:46 ERROR: Failed to solve instance
1567.25/604.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1571.85/608.32	07:50 ERROR: Failed to solve instance
1571.85/608.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
1572.24/608.78	07:50 ERROR: Failed to solve instance
1572.24/608.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
1572.86/609.31	07:51 ERROR: Failed to solve instance
1572.86/609.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1582.11/616.68	07:58 ERROR: Failed to solve instance
1582.11/616.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1583.03/617.59	07:59 ERROR: Failed to solve instance
1583.03/617.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1583.55/618.08	08:00 ERROR: Failed to solve instance
1583.55/618.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1584.07/618.60	08:00 ERROR: Failed to solve instance
1584.07/618.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1584.59/619.07	08:01 ERROR: Failed to solve instance
1584.59/619.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1589.47/623.19	08:05 ERROR: Failed to solve instance
1589.47/623.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1589.98/623.65	08:05 ERROR: Failed to solve instance
1589.98/623.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1590.39/624.05	08:06 ERROR: Failed to solve instance
1590.39/624.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1591.24/624.90	08:06 ERROR: Failed to solve instance
1591.24/624.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1594.74/627.88	08:09 ERROR: Failed to solve instance
1594.74/627.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1595.56/628.63	08:10 ERROR: Failed to solve instance
1595.56/628.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1595.97/629.06	08:11 ERROR: Failed to solve instance
1595.97/629.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1596.82/629.81	08:11 ERROR: Failed to solve instance
1596.82/629.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1599.92/632.33	08:14 ERROR: Failed to solve instance
1599.92/632.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
1607.85/638.51	08:20 ERROR: Failed to solve instance
1607.85/638.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1608.59/639.25	08:21 ERROR: Failed to solve instance
1608.59/639.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1609.10/639.73	08:21 ERROR: Failed to solve instance
1609.10/639.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1612.03/642.20	08:24 ERROR: Failed to solve instance
1612.03/642.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1618.23/647.20	08:29 ERROR: Failed to solve instance
1618.23/647.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
1618.65/647.66	08:29 ERROR: Failed to solve instance
1618.65/647.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1619.06/648.07	08:30 ERROR: Failed to solve instance
1619.06/648.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1619.81/648.80	08:30 ERROR: Failed to solve instance
1619.81/648.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1623.15/651.64	08:33 ERROR: Failed to solve instance
1623.15/651.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
1623.68/652.13	08:34 ERROR: Failed to solve instance
1623.68/652.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1624.20/652.65	08:34 ERROR: Failed to solve instance
1624.20/652.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1625.26/653.66	08:35 ERROR: Failed to solve instance
1625.26/653.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1625.76/654.13	08:36 ERROR: Failed to solve instance
1625.76/654.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1633.24/659.97	08:42 ERROR: Failed to solve instance
1633.24/659.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1634.16/660.84	08:42 ERROR: Failed to solve instance
1634.16/660.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1634.68/661.31	08:43 ERROR: Failed to solve instance
1634.68/661.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.20/661.83	08:43 ERROR: Failed to solve instance
1635.20/661.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1635.63/662.30	08:44 ERROR: Failed to solve instance
1635.63/662.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
1642.61/667.50	08:49 ERROR: Failed to solve instance
1642.61/667.50	java.lang.OutOfMemoryError: Java heap space
1646.31/670.79	08:52 ERROR: Failed to solve instance
1646.31/670.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1646.83/671.24	08:53 ERROR: Failed to solve instance
1646.83/671.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
1647.34/671.73	08:53 ERROR: Failed to solve instance
1647.34/671.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1648.16/672.60	08:54 ERROR: Failed to solve instance
1648.16/672.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1648.69/673.11	08:55 ERROR: Failed to solve instance
1648.69/673.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
1658.13/680.83	09:02 ERROR: Failed to solve instance
1658.13/680.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1658.54/681.28	09:03 ERROR: Failed to solve instance
1658.54/681.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1659.06/681.73	09:03 ERROR: Failed to solve instance
1659.06/681.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1659.87/682.60	09:04 ERROR: Failed to solve instance
1659.87/682.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1660.38/683.05	09:05 ERROR: Failed to solve instance
1660.38/683.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1660.90/683.51	09:05 ERROR: Failed to solve instance
1660.90/683.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1661.43/684.04	09:06 ERROR: Failed to solve instance
1661.43/684.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.28/688.16	09:10 ERROR: Failed to solve instance
1666.28/688.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1666.91/688.79	09:10 ERROR: Failed to solve instance
1666.91/688.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1667.56/689.35	09:11 ERROR: Failed to solve instance
1667.56/689.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1671.14/692.31	09:14 ERROR: Failed to solve instance
1671.14/692.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
1677.76/697.72	09:19 ERROR: Failed to solve instance
1677.76/697.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
1680.21/699.83	09:21 ERROR: Failed to solve instance
1680.21/699.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1681.13/700.73	09:22 ERROR: Failed to solve instance
1681.13/700.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1681.65/701.23	09:23 ERROR: Failed to solve instance
1681.65/701.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1682.17/701.75	09:23 ERROR: Failed to solve instance
1682.17/701.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1693.86/711.21	09:33 ERROR: Failed to solve instance
1693.86/711.21	java.lang.OutOfMemoryError: Java heap space
1694.06/711.44	09:33 ERROR: Failed to solve instance
1694.06/711.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1694.57/711.93	09:34 ERROR: Failed to solve instance
1694.57/711.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.59/712.94	09:35 ERROR: Failed to solve instance
1695.59/712.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1695.99/713.35	09:35 ERROR: Failed to solve instance
1695.99/713.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1696.52/713.88	09:35 ERROR: Failed to solve instance
1696.52/713.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1697.03/714.38	09:36 ERROR: Failed to solve instance
1697.03/714.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1704.75/720.70	09:42 ERROR: Failed to solve instance
1704.75/720.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1705.25/721.16	09:43 ERROR: Failed to solve instance
1705.25/721.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1705.67/721.59	09:43 ERROR: Failed to solve instance
1705.67/721.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1706.59/722.45	09:44 ERROR: Failed to solve instance
1706.59/722.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1707.11/722.92	09:44 ERROR: Failed to solve instance
1707.11/722.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1707.64/723.44	09:45 ERROR: Failed to solve instance
1707.64/723.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1711.45/726.59	09:48 ERROR: Failed to solve instance
1711.45/726.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1711.97/727.09	09:49 ERROR: Failed to solve instance
1711.97/727.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1713.02/728.08	09:49 ERROR: Failed to solve instance
1713.02/728.08	java.lang.OutOfMemoryError: GC overhead limit exceeded
1716.25/730.70	09:52 ERROR: Failed to solve instance
1716.25/730.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
1716.67/731.19	09:53 ERROR: Failed to solve instance
1716.67/731.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1719.91/733.84	09:55 ERROR: Failed to solve instance
1719.91/733.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1720.64/734.58	09:56 ERROR: Failed to solve instance
1720.64/734.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1724.34/737.69	09:59 ERROR: Failed to solve instance
1724.34/737.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1727.73/740.53	10:02 ERROR: Failed to solve instance
1727.73/740.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1728.66/741.45	10:03 ERROR: Failed to solve instance
1728.66/741.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1729.17/741.97	10:04 ERROR: Failed to solve instance
1729.17/741.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
1734.20/745.84	10:07 ERROR: Failed to solve instance
1734.20/745.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1737.73/748.81	10:10 ERROR: Failed to solve instance
1737.73/748.81	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.15/749.25	10:11 ERROR: Failed to solve instance
1738.15/749.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1738.66/749.75	10:11 ERROR: Failed to solve instance
1738.66/749.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.07/750.18	10:12 ERROR: Failed to solve instance
1739.07/750.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1739.80/750.88	10:12 ERROR: Failed to solve instance
1739.80/750.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1742.53/752.91	10:14 ERROR: Failed to solve instance
1742.53/752.91	java.lang.OutOfMemoryError: Java heap space
1751.34/760.04	10:22 ERROR: Failed to solve instance
1751.34/760.04	java.lang.OutOfMemoryError: Java heap space
1751.54/760.27	10:22 ERROR: Failed to solve instance
1751.54/760.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1754.68/762.96	10:25 ERROR: Failed to solve instance
1754.68/762.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1755.19/763.44	10:25 ERROR: Failed to solve instance
1755.19/763.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1762.03/769.12	10:31 ERROR: Failed to solve instance
1762.03/769.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
1762.76/769.90	10:31 ERROR: Failed to solve instance
1762.76/769.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
1763.50/770.53	10:32 ERROR: Failed to solve instance
1763.50/770.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1763.91/770.95	10:33 ERROR: Failed to solve instance
1763.91/770.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1764.32/771.39	10:33 ERROR: Failed to solve instance
1764.32/771.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
1768.68/775.09	10:37 ERROR: Failed to solve instance
1768.68/775.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1769.20/775.56	10:37 ERROR: Failed to solve instance
1769.20/775.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1769.71/776.03	10:38 ERROR: Failed to solve instance
1769.71/776.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1770.64/776.91	10:38 ERROR: Failed to solve instance
1770.64/776.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1771.07/777.40	10:39 ERROR: Failed to solve instance
1771.07/777.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1779.03/783.66	10:45 ERROR: Failed to solve instance
1779.03/783.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1779.76/784.40	10:46 ERROR: Failed to solve instance
1779.76/784.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1780.27/784.83	10:46 ERROR: Failed to solve instance
1780.27/784.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1783.33/787.48	10:49 ERROR: Failed to solve instance
1783.33/787.48	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.35/788.44	10:50 ERROR: Failed to solve instance
1784.35/788.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1784.55/788.69	10:50 ERROR: Failed to solve instance
1784.55/788.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1791.12/794.03	10:56 ERROR: Failed to solve instance
1791.12/794.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1792.04/794.91	10:56 ERROR: Failed to solve instance
1792.04/794.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
1792.46/795.38	10:57 ERROR: Failed to solve instance
1792.46/795.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1792.99/795.92	10:57 ERROR: Failed to solve instance
1792.99/795.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1801.72/803.00	11:05 ERROR: Failed to solve instance
1801.72/803.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.44/803.69	11:05 ERROR: Failed to solve instance
1802.44/803.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1802.97/804.15	11:06 ERROR: Failed to solve instance
1802.97/804.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1807.29/807.94	11:10 ERROR: Failed to solve instance
1807.29/807.94	java.lang.OutOfMemoryError: Java heap space
1807.49/808.16	11:10 ERROR: Failed to solve instance
1807.49/808.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1808.50/809.10	11:11 ERROR: Failed to solve instance
1808.50/809.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1808.50/809.10	11:11 ERROR: Failed to solve instance
1808.50/809.10	java.lang.OutOfMemoryError: Java heap space
1808.60/809.28	11:11 ERROR: Failed to solve instance
1808.60/809.28	java.lang.OutOfMemoryError: GC overhead limit exceeded
1811.80/811.84	11:13 ERROR: Failed to solve instance
1811.80/811.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
1819.93/818.29	11:20 ERROR: Failed to solve instance
1819.93/818.29	java.lang.OutOfMemoryError: Java heap space
1820.23/818.53	11:20 ERROR: Failed to solve instance
1820.23/818.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1823.27/821.03	11:23 ERROR: Failed to solve instance
1823.27/821.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
1824.19/821.96	11:23 ERROR: Failed to solve instance
1824.19/821.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
1824.71/822.46	11:24 ERROR: Failed to solve instance
1824.71/822.46	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.24/822.98	11:25 ERROR: Failed to solve instance
1825.24/822.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1825.86/823.54	11:25 ERROR: Failed to solve instance
1825.86/823.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.31/830.18	11:32 ERROR: Failed to solve instance
1834.31/830.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
1834.83/830.68	11:32 ERROR: Failed to solve instance
1834.83/830.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
1835.45/831.22	11:33 ERROR: Failed to solve instance
1835.45/831.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
1841.61/836.27	11:38 ERROR: Failed to solve instance
1841.61/836.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
1842.35/836.98	11:39 ERROR: Failed to solve instance
1842.35/836.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1842.76/837.38	11:39 ERROR: Failed to solve instance
1842.76/837.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
1846.47/840.43	Exception in thread "SingleThreadedConstellation 2" java.lang.OutOfMemoryError: GC overhead limit exceeded
1851.54/844.87	11:42 ERROR: Failed to solve instance
1851.54/844.87	11:46 ERROR: Failed to solve instance
1851.54/844.87	java.lang.OutOfMemoryError: Java heap space
1851.73/845.04	11:47 ERROR: Failed to solve instance
1851.73/845.04	java.lang.OutOfMemoryError: GC overhead limit exceeded
1858.72/851.05	11:53 ERROR: Failed to solve instance
1858.72/851.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
1859.13/851.45	11:53 ERROR: Failed to solve instance
1859.13/851.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
1859.54/851.86	11:53 ERROR: Failed to solve instance
1859.54/851.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.36/852.66	11:54 ERROR: Failed to solve instance
1860.36/852.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1860.87/853.13	11:55 ERROR: Failed to solve instance
1860.87/853.13	java.lang.OutOfMemoryError: GC overhead limit exceeded
1861.29/853.53	11:55 ERROR: Failed to solve instance
1861.29/853.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1861.70/853.95	11:56 ERROR: Failed to solve instance
1861.70/853.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1871.01/861.73	12:03 ERROR: Failed to solve instance
1871.01/861.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
1871.44/862.15	12:04 ERROR: Failed to solve instance
1871.44/862.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1871.85/862.51	12:04 ERROR: Failed to solve instance
1871.85/862.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
1874.16/864.57	12:06 ERROR: Failed to solve instance
1874.16/864.57	java.lang.OutOfMemoryError: Java heap space
1874.36/864.76	12:06 ERROR: Failed to solve instance
1874.36/864.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
1879.83/869.41	12:11 ERROR: Failed to solve instance
1879.83/869.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
1880.14/869.79	12:11 ERROR: Failed to solve instance
1880.14/869.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1880.55/870.16	12:12 ERROR: Failed to solve instance
1880.55/870.16	java.lang.OutOfMemoryError: GC overhead limit exceeded
1880.96/870.59	12:12 ERROR: Failed to solve instance
1880.96/870.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
1888.79/876.88	12:18 ERROR: Failed to solve instance
1888.79/876.88	java.lang.OutOfMemoryError: Java heap space
1890.75/878.63	12:20 ERROR: Failed to solve instance
1890.75/878.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
1891.26/879.19	12:21 ERROR: Failed to solve instance
1891.26/879.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1893.75/881.44	12:23 ERROR: Failed to solve instance
1893.75/881.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
1894.15/881.83	12:23 ERROR: Failed to solve instance
1894.15/881.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1900.38/887.15	12:29 ERROR: Failed to solve instance
1900.38/887.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
1900.80/887.55	12:29 ERROR: Failed to solve instance
1900.80/887.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
1901.21/887.98	12:30 ERROR: Failed to solve instance
1901.21/887.98	java.lang.OutOfMemoryError: GC overhead limit exceeded
1904.65/890.94	12:33 ERROR: Failed to solve instance
1904.65/890.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.37/891.69	12:33 ERROR: Failed to solve instance
1905.37/891.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
1905.78/892.09	12:34 ERROR: Failed to solve instance
1905.78/892.09	java.lang.OutOfMemoryError: GC overhead limit exceeded
1906.29/892.53	12:34 ERROR: Failed to solve instance
1906.29/892.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
1906.71/892.99	12:35 ERROR: Failed to solve instance
1906.71/892.99	java.lang.OutOfMemoryError: GC overhead limit exceeded
1914.17/899.26	12:41 ERROR: Failed to solve instance
1914.17/899.26	java.lang.OutOfMemoryError: GC overhead limit exceeded
1914.58/899.66	12:41 ERROR: Failed to solve instance
1914.58/899.66	java.lang.OutOfMemoryError: GC overhead limit exceeded
1915.09/900.10	12:42 ERROR: Failed to solve instance
1915.09/900.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1917.61/902.30	12:44 ERROR: Failed to solve instance
1917.61/902.30	java.lang.OutOfMemoryError: Java heap space
1923.07/907.06	12:49 ERROR: Failed to solve instance
1923.07/907.06	java.lang.OutOfMemoryError: Java heap space
1925.54/909.37	12:51 ERROR: Failed to solve instance
1925.54/909.37	java.lang.OutOfMemoryError: GC overhead limit exceeded
1926.25/910.00	12:52 ERROR: Failed to solve instance
1926.25/910.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1926.55/910.35	12:52 ERROR: Failed to solve instance
1926.55/910.35	java.lang.OutOfMemoryError: GC overhead limit exceeded
1930.10/913.47	12:55 ERROR: Failed to solve instance
1930.10/913.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1930.51/913.86	12:55 ERROR: Failed to solve instance
1930.51/913.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
1930.93/914.29	12:56 ERROR: Failed to solve instance
1930.93/914.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
1937.93/920.17	13:02 ERROR: Failed to solve instance
1937.93/920.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
1938.34/920.52	13:02 ERROR: Failed to solve instance
1938.34/920.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
1938.75/920.95	13:03 ERROR: Failed to solve instance
1938.75/920.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
1941.79/923.68	13:05 ERROR: Failed to solve instance
1941.79/923.68	java.lang.OutOfMemoryError: Java heap space
1941.99/923.88	13:05 ERROR: Failed to solve instance
1941.99/923.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
1949.21/929.67	13:11 ERROR: Failed to solve instance
1949.21/929.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
1949.61/930.06	13:12 ERROR: Failed to solve instance
1949.61/930.06	java.lang.OutOfMemoryError: GC overhead limit exceeded
1950.34/930.79	13:12 ERROR: Failed to solve instance
1950.34/930.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
1950.75/931.19	13:13 ERROR: Failed to solve instance
1950.75/931.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
1951.16/931.58	13:13 ERROR: Failed to solve instance
1951.16/931.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
1951.67/932.00	13:14 ERROR: Failed to solve instance
1951.67/932.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
1957.00/936.34	13:18 ERROR: Failed to solve instance
1957.00/936.34	java.lang.OutOfMemoryError: Java heap space
1959.53/938.53	13:20 ERROR: Failed to solve instance
1959.53/938.53	java.lang.OutOfMemoryError: Java heap space
1959.94/938.92	13:20 ERROR: Failed to solve instance
1959.94/938.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1966.43/944.42	13:26 ERROR: Failed to solve instance
1966.43/944.42	java.lang.OutOfMemoryError: Java heap space
1966.63/944.60	13:26 ERROR: Failed to solve instance
1966.63/944.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
1969.74/947.34	13:29 ERROR: Failed to solve instance
1969.74/947.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1970.45/948.07	13:30 ERROR: Failed to solve instance
1970.45/948.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
1970.86/948.47	13:30 ERROR: Failed to solve instance
1970.86/948.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.27/948.89	13:30 ERROR: Failed to solve instance
1971.27/948.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
1971.79/949.34	13:31 ERROR: Failed to solve instance
1971.79/949.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
1979.02/955.40	13:37 ERROR: Failed to solve instance
1979.02/955.40	java.lang.OutOfMemoryError: GC overhead limit exceeded
1979.34/955.80	13:37 ERROR: Failed to solve instance
1979.34/955.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
1979.85/956.25	13:38 ERROR: Failed to solve instance
1979.85/956.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
1986.09/961.56	13:43 ERROR: Failed to solve instance
1986.09/961.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
1987.88/963.10	13:45 ERROR: Failed to solve instance
1987.88/963.10	java.lang.OutOfMemoryError: GC overhead limit exceeded
1988.59/963.83	13:45 ERROR: Failed to solve instance
1988.59/963.83	java.lang.OutOfMemoryError: GC overhead limit exceeded
1988.99/964.23	13:46 ERROR: Failed to solve instance
1988.99/964.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
1989.30/964.54	13:46 ERROR: Failed to solve instance
1989.30/964.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
1989.70/964.92	13:46 ERROR: Failed to solve instance
1989.70/964.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
1992.57/967.45	13:49 ERROR: Failed to solve instance
1992.57/967.45	java.lang.OutOfMemoryError: Java heap space
1992.78/967.65	13:49 ERROR: Failed to solve instance
1992.78/967.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
1998.45/972.26	13:54 ERROR: Failed to solve instance
1998.45/972.26	java.lang.OutOfMemoryError: Java heap space
1998.66/972.45	13:54 ERROR: Failed to solve instance
1998.66/972.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2001.02/974.43	13:56 ERROR: Failed to solve instance
2001.02/974.43	java.lang.OutOfMemoryError: Java heap space
2001.33/974.79	13:56 ERROR: Failed to solve instance
2001.33/974.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2003.70/976.74	13:58 ERROR: Failed to solve instance
2003.70/976.74	java.lang.OutOfMemoryError: Java heap space
2011.91/983.58	14:05 ERROR: Failed to solve instance
2011.91/983.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.31/983.94	14:06 ERROR: Failed to solve instance
2012.31/983.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2012.71/984.33	14:06 ERROR: Failed to solve instance
2012.71/984.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2013.22/984.80	14:06 ERROR: Failed to solve instance
2013.22/984.80	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.27/989.19	14:11 ERROR: Failed to solve instance
2018.27/989.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2018.89/989.79	14:11 ERROR: Failed to solve instance
2018.89/989.79	java.lang.OutOfMemoryError: GC overhead limit exceeded
2019.30/990.18	14:12 ERROR: Failed to solve instance
2019.30/990.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2021.63/992.16	14:14 ERROR: Failed to solve instance
2021.63/992.16	java.lang.OutOfMemoryError: Java heap space
2023.97/994.12	14:16 ERROR: Failed to solve instance
2023.97/994.12	java.lang.OutOfMemoryError: Java heap space
2026.42/996.22	14:18 ERROR: Failed to solve instance
2026.42/996.22	java.lang.OutOfMemoryError: Java heap space
2028.97/998.47	14:20 ERROR: Failed to solve instance
2028.97/998.47	java.lang.OutOfMemoryError: Java heap space
2031.01/1000.17	14:22 ERROR: Failed to solve instance
2031.01/1000.17	java.lang.OutOfMemoryError: Java heap space
2037.44/1005.57	14:27 ERROR: Failed to solve instance
2037.44/1005.57	java.lang.OutOfMemoryError: GC overhead limit exceeded
2038.13/1006.20	14:28 ERROR: Failed to solve instance
2038.13/1006.20	java.lang.OutOfMemoryError: Java heap space
2038.13/1006.29	14:28 ERROR: Failed to solve instance
2038.13/1006.29	java.lang.OutOfMemoryError: GC overhead limit exceeded
2038.55/1006.68	14:28 ERROR: Failed to solve instance
2038.55/1006.68	java.lang.OutOfMemoryError: GC overhead limit exceeded
2039.06/1007.17	14:29 ERROR: Failed to solve instance
2039.06/1007.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2039.59/1007.67	14:29 ERROR: Failed to solve instance
2039.59/1007.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2045.54/1012.55	14:34 ERROR: Failed to solve instance
2045.54/1012.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2045.99/1012.96	14:35 ERROR: Failed to solve instance
2045.99/1012.96	java.lang.OutOfMemoryError: GC overhead limit exceeded
2048.30/1014.96	14:37 ERROR: Failed to solve instance
2048.30/1014.96	java.lang.OutOfMemoryError: Java heap space
2053.10/1018.92	14:40 ERROR: Failed to solve instance
2053.10/1018.92	java.lang.OutOfMemoryError: GC overhead limit exceeded
2053.51/1019.33	14:41 ERROR: Failed to solve instance
2053.51/1019.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.33/1020.11	14:42 ERROR: Failed to solve instance
2054.33/1020.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2054.75/1020.56	14:42 ERROR: Failed to solve instance
2054.75/1020.56	java.lang.OutOfMemoryError: GC overhead limit exceeded
2061.08/1025.72	14:47 ERROR: Failed to solve instance
2061.08/1025.72	java.lang.OutOfMemoryError: GC overhead limit exceeded
2061.80/1026.42	14:48 ERROR: Failed to solve instance
2061.80/1026.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2062.11/1026.78	14:48 ERROR: Failed to solve instance
2062.11/1026.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2062.52/1027.18	14:49 ERROR: Failed to solve instance
2062.52/1027.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2062.94/1027.59	14:49 ERROR: Failed to solve instance
2062.94/1027.59	java.lang.OutOfMemoryError: GC overhead limit exceeded
2068.75/1032.38	14:54 ERROR: Failed to solve instance
2068.75/1032.38	java.lang.OutOfMemoryError: Java heap space
2069.05/1032.65	14:54 ERROR: Failed to solve instance
2069.05/1032.65	java.lang.OutOfMemoryError: GC overhead limit exceeded
2071.58/1034.84	14:56 ERROR: Failed to solve instance
2071.58/1034.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2074.83/1037.71	14:59 ERROR: Failed to solve instance
2074.83/1037.71	java.lang.OutOfMemoryError: Java heap space
2074.83/1037.71	14:59 ERROR: Failed to solve instance
2074.83/1037.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2075.03/1037.94	15:00 ERROR: Failed to solve instance
2075.03/1037.94	java.lang.OutOfMemoryError: GC overhead limit exceeded
2076.80/1039.38	15:01 ERROR: Failed to solve instance
2076.80/1039.38	java.lang.OutOfMemoryError: Java heap space
2083.82/1045.33	15:07 ERROR: Failed to solve instance
2083.82/1045.33	java.lang.OutOfMemoryError: GC overhead limit exceeded
2084.34/1045.88	15:07 ERROR: Failed to solve instance
2084.34/1045.88	java.lang.OutOfMemoryError: GC overhead limit exceeded
2087.17/1048.39	15:10 ERROR: Failed to solve instance
2087.17/1048.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2087.88/1049.02	15:11 ERROR: Failed to solve instance
2087.88/1049.02	java.lang.OutOfMemoryError: GC overhead limit exceeded
2088.30/1049.42	15:11 ERROR: Failed to solve instance
2088.30/1049.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2093.83/1054.14	15:16 ERROR: Failed to solve instance
2093.83/1054.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2094.25/1054.58	15:16 ERROR: Failed to solve instance
2094.25/1054.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2098.74/1058.52	15:20 ERROR: Failed to solve instance
2098.74/1058.52	java.lang.OutOfMemoryError: GC overhead limit exceeded
2099.16/1058.93	15:21 ERROR: Failed to solve instance
2099.16/1058.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2099.58/1059.32	15:21 ERROR: Failed to solve instance
2099.58/1059.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2106.73/1065.44	15:27 ERROR: Failed to solve instance
2106.73/1065.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2107.34/1066.07	15:28 ERROR: Failed to solve instance
2107.34/1066.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2107.75/1066.43	15:28 ERROR: Failed to solve instance
2107.75/1066.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2108.05/1066.78	15:28 ERROR: Failed to solve instance
2108.05/1066.78	java.lang.OutOfMemoryError: GC overhead limit exceeded
2108.46/1067.17	15:29 ERROR: Failed to solve instance
2108.46/1067.17	java.lang.OutOfMemoryError: GC overhead limit exceeded
2111.90/1070.20	15:32 ERROR: Failed to solve instance
2111.90/1070.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2112.21/1070.58	15:32 ERROR: Failed to solve instance
2112.21/1070.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2112.62/1071.00	15:33 ERROR: Failed to solve instance
2112.62/1071.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2119.14/1076.49	15:38 ERROR: Failed to solve instance
2119.14/1076.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2119.96/1077.24	15:39 ERROR: Failed to solve instance
2119.96/1077.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2120.37/1077.64	15:39 ERROR: Failed to solve instance
2120.37/1077.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2120.79/1078.07	15:40 ERROR: Failed to solve instance
2120.79/1078.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2121.30/1078.53	15:40 ERROR: Failed to solve instance
2121.30/1078.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2128.28/1084.11	15:46 ERROR: Failed to solve instance
2128.28/1084.11	java.lang.OutOfMemoryError: Java heap space
2128.80/1084.64	15:46 ERROR: Failed to solve instance
2128.80/1084.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2129.21/1085.05	15:47 ERROR: Failed to solve instance
2129.21/1085.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2132.17/1087.63	15:49 ERROR: Failed to solve instance
2132.17/1087.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2138.47/1092.93	15:55 ERROR: Failed to solve instance
2138.47/1092.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2138.88/1093.32	15:55 ERROR: Failed to solve instance
2138.88/1093.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2139.30/1093.76	15:55 ERROR: Failed to solve instance
2139.30/1093.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2142.00/1096.03	15:58 ERROR: Failed to solve instance
2142.00/1096.03	java.lang.OutOfMemoryError: GC overhead limit exceeded
2142.42/1096.42	15:58 ERROR: Failed to solve instance
2142.42/1096.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2143.14/1097.18	15:59 ERROR: Failed to solve instance
2143.14/1097.18	java.lang.OutOfMemoryError: GC overhead limit exceeded
2143.65/1097.63	15:59 ERROR: Failed to solve instance
2143.65/1097.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2150.27/1103.14	16:05 ERROR: Failed to solve instance
2150.27/1103.14	java.lang.OutOfMemoryError: GC overhead limit exceeded
2150.98/1103.82	16:05 ERROR: Failed to solve instance
2150.98/1103.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2151.30/1104.19	16:06 ERROR: Failed to solve instance
2151.30/1104.19	java.lang.OutOfMemoryError: GC overhead limit exceeded
2151.81/1104.62	16:06 ERROR: Failed to solve instance
2151.81/1104.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2152.23/1105.05	16:07 ERROR: Failed to solve instance
2152.23/1105.05	java.lang.OutOfMemoryError: GC overhead limit exceeded
2155.95/1108.31	16:10 ERROR: Failed to solve instance
2155.95/1108.31	java.lang.OutOfMemoryError: GC overhead limit exceeded
2156.27/1108.69	16:10 ERROR: Failed to solve instance
2156.27/1108.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2160.79/1112.44	16:14 ERROR: Failed to solve instance
2160.79/1112.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2161.20/1112.82	16:14 ERROR: Failed to solve instance
2161.20/1112.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2163.42/1114.70	16:16 ERROR: Failed to solve instance
2163.42/1114.70	java.lang.OutOfMemoryError: Java heap space
2170.57/1120.84	16:22 ERROR: Failed to solve instance
2170.57/1120.84	java.lang.OutOfMemoryError: GC overhead limit exceeded
2170.97/1121.21	16:23 ERROR: Failed to solve instance
2170.97/1121.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2171.37/1121.60	16:23 ERROR: Failed to solve instance
2171.37/1121.60	java.lang.OutOfMemoryError: GC overhead limit exceeded
2172.09/1122.36	16:24 ERROR: Failed to solve instance
2172.09/1122.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2172.60/1122.82	16:24 ERROR: Failed to solve instance
2172.60/1122.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2179.07/1128.11	16:30 ERROR: Failed to solve instance
2179.07/1128.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2179.27/1128.38	16:30 ERROR: Failed to solve instance
2179.27/1128.38	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.04/1132.45	16:34 ERROR: Failed to solve instance
2184.04/1132.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.45/1132.82	16:34 ERROR: Failed to solve instance
2184.45/1132.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2184.86/1133.23	16:35 ERROR: Failed to solve instance
2184.86/1133.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2185.27/1133.69	16:35 ERROR: Failed to solve instance
2185.27/1133.69	java.lang.OutOfMemoryError: GC overhead limit exceeded
2193.02/1140.27	16:42 ERROR: Failed to solve instance
2193.02/1140.27	java.lang.OutOfMemoryError: GC overhead limit exceeded
2193.44/1140.67	16:42 ERROR: Failed to solve instance
2193.44/1140.67	java.lang.OutOfMemoryError: GC overhead limit exceeded
2193.95/1141.11	16:43 ERROR: Failed to solve instance
2193.95/1141.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2196.25/1143.23	16:45 ERROR: Failed to solve instance
2196.25/1143.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2198.56/1145.25	16:47 ERROR: Failed to solve instance
2198.56/1145.25	java.lang.OutOfMemoryError: Java heap space
2199.17/1145.82	16:47 ERROR: Failed to solve instance
2199.17/1145.82	java.lang.OutOfMemoryError: GC overhead limit exceeded
2199.59/1146.23	16:48 ERROR: Failed to solve instance
2199.59/1146.23	java.lang.OutOfMemoryError: GC overhead limit exceeded
2206.11/1151.95	16:54 ERROR: Failed to solve instance
2206.11/1151.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2206.62/1152.47	16:54 ERROR: Failed to solve instance
2206.62/1152.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2207.04/1152.89	16:54 ERROR: Failed to solve instance
2207.04/1152.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2209.86/1155.36	16:57 ERROR: Failed to solve instance
2209.86/1155.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2214.78/1159.58	17:01 ERROR: Failed to solve instance
2214.78/1159.58	java.lang.OutOfMemoryError: GC overhead limit exceeded
2215.60/1160.36	17:02 ERROR: Failed to solve instance
2215.60/1160.36	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.01/1160.76	17:02 ERROR: Failed to solve instance
2216.01/1160.76	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.52/1161.21	17:03 ERROR: Failed to solve instance
2216.52/1161.21	java.lang.OutOfMemoryError: GC overhead limit exceeded
2216.93/1161.63	17:03 ERROR: Failed to solve instance
2216.93/1161.63	java.lang.OutOfMemoryError: GC overhead limit exceeded
2219.40/1163.71	17:05 ERROR: Failed to solve instance
2219.40/1163.71	java.lang.OutOfMemoryError: Java heap space
2226.44/1169.75	17:11 ERROR: Failed to solve instance
2226.44/1169.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2227.15/1170.49	17:12 ERROR: Failed to solve instance
2227.15/1170.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2227.66/1170.90	17:12 ERROR: Failed to solve instance
2227.66/1170.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2234.83/1177.07	17:19 ERROR: Failed to solve instance
2234.83/1177.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2235.23/1177.47	17:19 ERROR: Failed to solve instance
2235.23/1177.47	java.lang.OutOfMemoryError: GC overhead limit exceeded
2235.53/1177.77	17:19 ERROR: Failed to solve instance
2235.53/1177.77	java.lang.OutOfMemoryError: GC overhead limit exceeded
2236.37/1178.54	17:20 ERROR: Failed to solve instance
2236.37/1178.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2238.44/1180.42	17:22 ERROR: Failed to solve instance
2238.44/1180.42	java.lang.OutOfMemoryError: GC overhead limit exceeded
2243.98/1185.24	17:27 ERROR: Failed to solve instance
2243.98/1185.24	java.lang.OutOfMemoryError: GC overhead limit exceeded
2244.50/1185.74	17:27 ERROR: Failed to solve instance
2244.50/1185.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2244.90/1186.12	17:28 ERROR: Failed to solve instance
2244.90/1186.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2248.12/1188.97	17:31 ERROR: Failed to solve instance
2248.12/1188.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2248.53/1189.39	17:31 ERROR: Failed to solve instance
2248.53/1189.39	java.lang.OutOfMemoryError: GC overhead limit exceeded
2253.32/1193.45	17:35 ERROR: Failed to solve instance
2253.32/1193.45	java.lang.OutOfMemoryError: GC overhead limit exceeded
2254.14/1194.20	17:36 ERROR: Failed to solve instance
2254.14/1194.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2254.55/1194.61	17:36 ERROR: Failed to solve instance
2254.55/1194.61	java.lang.OutOfMemoryError: GC overhead limit exceeded
2258.05/1197.43	17:39 ERROR: Failed to solve instance
2258.05/1197.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2260.68/1199.71	17:41 ERROR: Failed to solve instance
2260.68/1199.71	java.lang.OutOfMemoryError: Java heap space
2260.78/1199.89	17:41 ERROR: Failed to solve instance
2260.78/1199.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2262.62/1201.42	17:43 ERROR: Failed to solve instance
2262.62/1201.42	java.lang.OutOfMemoryError: Java heap space
2263.05/1201.86	17:43 ERROR: Failed to solve instance
2263.05/1201.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2263.46/1202.25	17:44 ERROR: Failed to solve instance
2263.46/1202.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2269.66/1207.32	17:49 ERROR: Failed to solve instance
2269.66/1207.32	java.lang.OutOfMemoryError: GC overhead limit exceeded
2270.07/1207.71	17:49 ERROR: Failed to solve instance
2270.07/1207.71	java.lang.OutOfMemoryError: GC overhead limit exceeded
2270.37/1208.07	17:50 ERROR: Failed to solve instance
2270.37/1208.07	java.lang.OutOfMemoryError: GC overhead limit exceeded
2273.23/1210.53	17:52 ERROR: Failed to solve instance
2273.23/1210.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2276.54/1213.44	17:55 ERROR: Failed to solve instance
2276.54/1213.44	java.lang.OutOfMemoryError: Java heap space
2276.74/1213.64	17:55 ERROR: Failed to solve instance
2276.74/1213.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2282.90/1218.74	18:00 ERROR: Failed to solve instance
2282.90/1218.74	java.lang.OutOfMemoryError: GC overhead limit exceeded
2283.31/1219.20	18:01 ERROR: Failed to solve instance
2283.31/1219.20	java.lang.OutOfMemoryError: GC overhead limit exceeded
2283.82/1219.62	18:01 ERROR: Failed to solve instance
2283.82/1219.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2290.00/1224.91	18:06 ERROR: Failed to solve instance
2290.00/1224.91	java.lang.OutOfMemoryError: GC overhead limit exceeded
2290.72/1225.62	18:07 ERROR: Failed to solve instance
2290.72/1225.62	java.lang.OutOfMemoryError: GC overhead limit exceeded
2291.13/1226.00	18:08 ERROR: Failed to solve instance
2291.13/1226.00	java.lang.OutOfMemoryError: GC overhead limit exceeded
2291.54/1226.44	18:08 ERROR: Failed to solve instance
2291.54/1226.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2291.96/1226.86	18:08 ERROR: Failed to solve instance
2291.96/1226.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2297.52/1231.37	18:13 ERROR: Failed to solve instance
2297.52/1231.37	java.lang.OutOfMemoryError: Java heap space
2300.56/1234.02	18:16 ERROR: Failed to solve instance
2300.56/1234.02	java.lang.OutOfMemoryError: Java heap space
2300.77/1234.22	18:16 ERROR: Failed to solve instance
2300.77/1234.22	java.lang.OutOfMemoryError: GC overhead limit exceeded
2302.92/1236.14	18:18 ERROR: Failed to solve instance
2302.92/1236.14	java.lang.OutOfMemoryError: Java heap space
2304.14/1237.29	18:19 ERROR: Failed to solve instance
2304.14/1237.29	java.lang.OutOfMemoryError: Java heap space
2309.34/1241.54	18:23 ERROR: Failed to solve instance
2309.34/1241.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2309.54/1241.73	18:23 ERROR: Failed to solve instance
2309.54/1241.73	java.lang.OutOfMemoryError: GC overhead limit exceeded
2314.04/1245.53	18:27 ERROR: Failed to solve instance
2314.04/1245.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2314.45/1245.90	18:27 ERROR: Failed to solve instance
2314.45/1245.90	java.lang.OutOfMemoryError: GC overhead limit exceeded
2314.86/1246.34	18:28 ERROR: Failed to solve instance
2314.86/1246.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2320.06/1250.81	18:32 ERROR: Failed to solve instance
2320.06/1250.81	java.lang.OutOfMemoryError: Java heap space
2320.36/1251.12	18:33 ERROR: Failed to solve instance
2320.36/1251.12	java.lang.OutOfMemoryError: GC overhead limit exceeded
2320.78/1251.53	18:33 ERROR: Failed to solve instance
2320.78/1251.53	java.lang.OutOfMemoryError: GC overhead limit exceeded
2321.19/1251.93	18:34 ERROR: Failed to solve instance
2321.19/1251.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2321.59/1252.34	18:34 ERROR: Failed to solve instance
2321.59/1252.34	java.lang.OutOfMemoryError: GC overhead limit exceeded
2328.10/1257.70	18:39 ERROR: Failed to solve instance
2328.10/1257.70	java.lang.OutOfMemoryError: GC overhead limit exceeded
2328.51/1258.11	18:40 ERROR: Failed to solve instance
2328.51/1258.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2329.22/1258.89	18:40 ERROR: Failed to solve instance
2329.22/1258.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2329.74/1259.30	18:41 ERROR: Failed to solve instance
2329.74/1259.30	java.lang.OutOfMemoryError: GC overhead limit exceeded
2330.16/1259.75	18:41 ERROR: Failed to solve instance
2330.16/1259.75	java.lang.OutOfMemoryError: GC overhead limit exceeded
2337.94/1266.11	18:48 ERROR: Failed to solve instance
2337.94/1266.11	java.lang.OutOfMemoryError: GC overhead limit exceeded
2338.25/1266.49	18:48 ERROR: Failed to solve instance
2338.25/1266.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2338.77/1266.93	18:49 ERROR: Failed to solve instance
2338.77/1266.93	java.lang.OutOfMemoryError: GC overhead limit exceeded
2344.15/1271.41	18:53 ERROR: Failed to solve instance
2344.15/1271.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2344.86/1272.15	18:54 ERROR: Failed to solve instance
2344.86/1272.15	java.lang.OutOfMemoryError: GC overhead limit exceeded
2345.27/1272.54	18:54 ERROR: Failed to solve instance
2345.27/1272.54	java.lang.OutOfMemoryError: GC overhead limit exceeded
2345.68/1272.97	18:55 ERROR: Failed to solve instance
2345.68/1272.97	java.lang.OutOfMemoryError: GC overhead limit exceeded
2346.20/1273.43	18:55 ERROR: Failed to solve instance
2346.20/1273.43	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.41/1279.51	19:01 ERROR: Failed to solve instance
2353.41/1279.51	java.lang.OutOfMemoryError: GC overhead limit exceeded
2353.72/1279.89	19:01 ERROR: Failed to solve instance
2353.72/1279.89	java.lang.OutOfMemoryError: GC overhead limit exceeded
2354.13/1280.25	19:02 ERROR: Failed to solve instance
2354.13/1280.25	java.lang.OutOfMemoryError: GC overhead limit exceeded
2356.82/1282.64	19:04 ERROR: Failed to solve instance
2356.82/1282.64	java.lang.OutOfMemoryError: GC overhead limit exceeded
2359.36/1285.01	19:07 ERROR: Failed to solve instance
2359.36/1285.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2359.78/1285.41	19:07 ERROR: Failed to solve instance
2359.78/1285.41	java.lang.OutOfMemoryError: GC overhead limit exceeded
2360.20/1285.86	19:07 ERROR: Failed to solve instance
2360.20/1285.86	java.lang.OutOfMemoryError: GC overhead limit exceeded
2365.89/1290.55	19:12 ERROR: Failed to solve instance
2365.89/1290.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2365.89/1290.55	19:12 ERROR: Failed to solve instance
2365.89/1290.55	java.lang.OutOfMemoryError: GC overhead limit exceeded
2368.70/1293.01	19:15 ERROR: Failed to solve instance
2368.70/1293.01	java.lang.OutOfMemoryError: GC overhead limit exceeded
2371.28/1295.49	19:17 ERROR: Failed to solve instance
2371.28/1295.49	java.lang.OutOfMemoryError: GC overhead limit exceeded
2371.80/1295.95	19:18 ERROR: Failed to solve instance
2371.80/1295.95	java.lang.OutOfMemoryError: GC overhead limit exceeded
2376.05/1299.44	19:21 ERROR: Failed to solve instance
2376.05/1299.44	java.lang.OutOfMemoryError: GC overhead limit exceeded
2377.15/1300.40	19:22 ERROR: Failed to solve instance
2377.15/1300.40	java.lang.OutOfMemoryError: GC overhead limit exceeded

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3312425-1304114261/watcher-3312425-1304114261 -o /tmp/evaluation-result-3312425-1304114261/solver-3312425-1304114261 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312425-1304114261.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.42 7.95 8.01 2/194 20032
/proc/meminfo: memFree=30643212/32950928 swapFree=67111428/67111528
[pid=20032] ppid=20030 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/20032/stat : 20032 (java) S 20030 20032 19242 0 -1 4202496 1413 0 0 0 0 0 0 0 22 0 2 0 523025951 26714112 885 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101500901 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/20032/statm: 6522 885 678 9 0 381 0
[pid=20032/tid=20033] ppid=20030 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20033/stat : 20033 (java) S 20030 20032 19242 0 -1 4202560 66 0 0 0 0 0 0 0 24 0 2 0 523025952 27824128 894 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248084774535 0 2147483391 4096 0 18446744071699199166 0 0 -1 4 0 0 0

[startup+0.077371 s]
/proc/loadavg: 7.42 7.95 8.01 2/194 20032
/proc/meminfo: memFree=30643212/32950928 swapFree=67111428/67111528
[pid=20032] ppid=20030 vsize=15675756 CPUtime=0.07 cores=0,2,4,6
/proc/20032/stat : 20032 (java) S 20030 20032 19242 0 -1 4202496 4712 0 1 0 6 1 0 0 22 0 18 0 523025951 16051974144 4152 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20032/statm: 3918939 4153 1938 9 0 3909658 0
[pid=20032/tid=20033] ppid=20030 vsize=15675756 CPUtime=0.05 cores=0,2,4,6
/proc/20032/task/20033/stat : 20033 (java) R 20030 20032 19242 0 -1 4202560 3089 0 1 0 5 0 0 0 25 0 18 0 523025952 16051974144 4154 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 47387831008760 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15675756

[startup+0.100367 s]
/proc/loadavg: 7.42 7.95 8.01 2/194 20032
/proc/meminfo: memFree=30643212/32950928 swapFree=67111428/67111528
[pid=20032] ppid=20030 vsize=15676552 CPUtime=0.1 cores=0,2,4,6
/proc/20032/stat : 20032 (java) S 20030 20032 19242 0 -1 4202496 5570 0 1 0 9 1 0 0 22 0 18 0 523025951 16052789248 4950 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20032/statm: 3919138 4950 2116 9 0 3909857 0
[pid=20032/tid=20033] ppid=20030 vsize=15676552 CPUtime=0.08 cores=0,2,4,6
/proc/20032/task/20033/stat : 20033 (java) R 20030 20032 19242 0 -1 4202560 3421 0 1 0 7 1 0 0 18 0 18 0 523025952 16052789248 4950 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248089694053 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676552

[startup+0.300392 s]
/proc/loadavg: 7.42 7.95 8.01 2/194 20032
/proc/meminfo: memFree=30643212/32950928 swapFree=67111428/67111528
[pid=20032] ppid=20030 vsize=15679676 CPUtime=0.53 cores=0,2,4,6
/proc/20032/stat : 20032 (java) S 20030 20032 19242 0 -1 4202496 14763 0 1 0 50 3 0 0 22 0 18 0 523025951 16055988224 13163 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20032/statm: 3919919 13169 2206 9 0 3910638 0
[pid=20032/tid=20033] ppid=20030 vsize=15679676 CPUtime=0.28 cores=0,2,4,6
/proc/20032/task/20033/stat : 20033 (java) R 20030 20032 19242 0 -1 4202560 9651 0 1 0 26 2 0 0 18 0 18 0 523025952 16055988224 13172 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 46912505641875 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15679676

[startup+0.700206 s]
/proc/loadavg: 7.42 7.95 8.01 2/194 20032
/proc/meminfo: memFree=30643212/32950928 swapFree=67111428/67111528
[pid=20032] ppid=20030 vsize=15679676 CPUtime=0.94 cores=0,2,4,6
/proc/20032/stat : 20032 (java) S 20030 20032 19242 0 -1 4202496 41857 0 1 0 88 6 0 0 22 0 18 0 523025951 16055988224 40253 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20032/statm: 3919919 40253 2222 9 0 3910638 0
[pid=20032/tid=20033] ppid=20030 vsize=15679676 CPUtime=0.68 cores=0,2,4,6
/proc/20032/task/20033/stat : 20033 (java) R 20030 20032 19242 0 -1 4202560 35551 0 1 0 63 5 0 0 18 0 18 0 523025952 16055988224 40253 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 46912505520713 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 15679676

[startup+1.50106 s]
/proc/loadavg: 7.31 7.91 8.00 5/220 20058
/proc/meminfo: memFree=30317108/32950928 swapFree=67111428/67111528
[pid=20032] ppid=20030 vsize=15692808 CPUtime=2.24 cores=0,2,4,6
/proc/20032/stat : 20032 (java) S 20030 20032 19242 0 -1 4202496 46146 0 1 0 217 7 0 0 22 0 22 0 523025951 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20032/statm: 3923202 44043 2264 9 0 3913921 0
[pid=20032/tid=20033] ppid=20030 vsize=15692808 CPUtime=1.48 cores=0,2,4,6
/proc/20032/task/20033/stat : 20033 (java) R 20030 20032 19242 0 -1 4202560 35665 0 1 0 143 5 0 0 20 0 22 0 523025952 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 46912505120870 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20032/tid=20035] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20035/stat : 20035 (java) S 20030 20032 19242 0 -1 4202560 733 0 0 0 0 0 0 0 16 0 22 0 523025952 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20036] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20036/stat : 20036 (java) S 20030 20032 19242 0 -1 4202560 27 0 0 0 0 0 0 0 18 0 22 0 523025952 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20037] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20037/stat : 20037 (java) S 20030 20032 19242 0 -1 4202560 37 0 0 0 0 0 0 0 18 0 22 0 523025952 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20038] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20038/stat : 20038 (java) S 20030 20032 19242 0 -1 4202560 275 0 0 0 0 0 0 0 18 0 22 0 523025952 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 2 0 0 0
[pid=20032/tid=20039] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20039/stat : 20039 (java) S 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523025952 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20040] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20040/stat : 20040 (java) S 20030 20032 19242 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 22 0 523025952 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20041] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20041/stat : 20041 (java) S 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 523025952 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 2 0 0 0
[pid=20032/tid=20042] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20042/stat : 20042 (java) S 20030 20032 19242 0 -1 4202560 392 0 0 0 0 0 0 0 16 0 22 0 523025952 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 2 0 0 0
[pid=20032/tid=20043] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20043/stat : 20043 (java) S 20030 20032 19242 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523025953 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514752 0 0 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20044] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20044/stat : 20044 (java) S 20030 20032 19242 0 -1 4202560 18 0 0 0 0 0 0 0 21 0 22 0 523025954 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 2 0 0 0
[pid=20032/tid=20045] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20045/stat : 20045 (java) S 20030 20032 19242 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 523025954 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 2 0 0 0
[pid=20032/tid=20046] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20046/stat : 20046 (java) S 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523025956 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101521841 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20047] ppid=20030 vsize=15692808 CPUtime=0.37 cores=0,2,4,6
/proc/20032/task/20047/stat : 20047 (java) R 20030 20032 19242 0 -1 4202560 3561 0 0 0 37 0 0 0 15 0 22 0 523025956 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101524149 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20032/tid=20048] ppid=20030 vsize=15692808 CPUtime=0.34 cores=0,2,4,6
/proc/20032/task/20048/stat : 20048 (java) S 20030 20032 19242 0 -1 4202560 3975 0 0 0 34 0 0 0 16 0 22 0 523025956 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20049] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20049/stat : 20049 (java) S 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523025956 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20050] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20050/stat : 20050 (java) S 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523025956 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514752 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20055] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20055/stat : 20055 (java) S 20030 20032 19242 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523026036 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514752 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20056] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20056/stat : 20056 (java) S 20030 20032 19242 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 523026036 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514752 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20057] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20057/stat : 20057 (java) S 20030 20032 19242 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523026036 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514752 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20058] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20058/stat : 20058 (java) S 20030 20032 19242 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523026036 16069435392 44043 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514752 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 15692808

[startup+3.19377 s]
/proc/loadavg: 7.31 7.91 8.00 7/220 20058
/proc/meminfo: memFree=30217040/32950928 swapFree=67111428/67111528
[pid=20032] ppid=20030 vsize=15692808 CPUtime=6.2 cores=0,2,4,6
/proc/20032/stat : 20032 (java) S 20030 20032 19242 0 -1 4202496 67160 0 1 0 610 10 0 0 22 0 22 0 523025951 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20032/statm: 3923202 65017 2274 9 0 3913921 0
[pid=20032/tid=20033] ppid=20030 vsize=15692808 CPUtime=2 cores=0,2,4,6
/proc/20032/task/20033/stat : 20033 (java) S 20030 20032 19242 0 -1 4202560 35710 0 1 0 195 5 0 0 22 0 22 0 523025952 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20035] ppid=20030 vsize=15692808 CPUtime=0.01 cores=0,2,4,6
/proc/20032/task/20035/stat : 20035 (java) S 20030 20032 19242 0 -1 4202560 3427 0 0 0 1 0 0 0 16 0 22 0 523025952 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20036] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20036/stat : 20036 (java) S 20030 20032 19242 0 -1 4202560 2136 0 0 0 0 0 0 0 15 0 22 0 523025952 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20037] ppid=20030 vsize=15692808 CPUtime=0.01 cores=0,2,4,6
/proc/20032/task/20037/stat : 20037 (java) S 20030 20032 19242 0 -1 4202560 2452 0 0 0 1 0 0 0 16 0 22 0 523025952 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20038] ppid=20030 vsize=15692808 CPUtime=0.02 cores=0,2,4,6
/proc/20032/task/20038/stat : 20038 (java) S 20030 20032 19242 0 -1 4202560 4057 0 0 0 2 0 0 0 16 0 22 0 523025952 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 2 0 0 0
[pid=20032/tid=20039] ppid=20030 vsize=15692808 CPUtime=0.01 cores=0,2,4,6
/proc/20032/task/20039/stat : 20039 (java) S 20030 20032 19242 0 -1 4202560 2209 0 0 0 1 0 0 0 15 0 22 0 523025952 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20040] ppid=20030 vsize=15692808 CPUtime=0.01 cores=0,2,4,6
/proc/20032/task/20040/stat : 20040 (java) S 20030 20032 19242 0 -1 4202560 2701 0 0 0 1 0 0 0 15 0 22 0 523025952 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20041] ppid=20030 vsize=15692808 CPUtime=0.02 cores=0,2,4,6
/proc/20032/task/20041/stat : 20041 (java) S 20030 20032 19242 0 -1 4202560 3322 0 0 0 2 0 0 0 16 0 22 0 523025952 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 2 0 0 0
[pid=20032/tid=20042] ppid=20030 vsize=15692808 CPUtime=0.01 cores=0,2,4,6
/proc/20032/task/20042/stat : 20042 (java) S 20030 20032 19242 0 -1 4202560 1953 0 0 0 1 0 0 0 15 0 22 0 523025952 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 2 0 0 0
[pid=20032/tid=20043] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20043/stat : 20043 (java) S 20030 20032 19242 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 22 0 523025953 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514752 0 0 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20044] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20044/stat : 20044 (java) S 20030 20032 19242 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 523025954 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20045] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20045/stat : 20045 (java) S 20030 20032 19242 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523025954 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20046] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20046/stat : 20046 (java) S 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523025956 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101521841 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20047] ppid=20030 vsize=15692808 CPUtime=0.87 cores=0,2,4,6
/proc/20032/task/20047/stat : 20047 (java) S 20030 20032 19242 0 -1 4202560 3632 0 0 0 87 0 0 0 15 0 22 0 523025956 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 2 0 0 0
[pid=20032/tid=20048] ppid=20030 vsize=15692808 CPUtime=0.71 cores=0,2,4,6
/proc/20032/task/20048/stat : 20048 (java) S 20030 20032 19242 0 -1 4202560 4018 0 0 0 71 0 0 0 15 0 22 0 523025956 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20049] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20049/stat : 20049 (java) S 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523025956 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20050] ppid=20030 vsize=15692808 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20050/stat : 20050 (java) R 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523025956 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514752 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20032/tid=20055] ppid=20030 vsize=15692808 CPUtime=0.7 cores=0,2,4,6
/proc/20032/task/20055/stat : 20055 (java) R 20030 20032 19242 0 -1 4202560 30 0 0 0 70 0 0 0 16 0 22 0 523026036 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 46912506284828 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20032/tid=20056] ppid=20030 vsize=15692808 CPUtime=0.38 cores=0,2,4,6
/proc/20032/task/20056/stat : 20056 (java) R 20030 20032 19242 0 -1 4202560 11 0 0 0 38 0 0 0 15 0 22 0 523026036 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 18446744073699065947 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20032/tid=20057] ppid=20030 vsize=15692808 CPUtime=0.54 cores=0,2,4,6
/proc/20032/task/20057/stat : 20057 (java) R 20030 20032 19242 0 -1 4202560 7 0 0 0 54 0 0 0 15 0 22 0 523026036 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 46912506127795 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20032/tid=20058] ppid=20030 vsize=15692808 CPUtime=0.79 cores=0,2,4,6
/proc/20032/task/20058/stat : 20058 (java) R 20030 20032 19242 0 -1 4202560 14 0 0 0 79 0 0 0 15 0 22 0 523026036 16069435392 65017 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 46912506280072 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 15692808

[startup+6.30122 s]
/proc/loadavg: 7.31 7.91 8.00 11/220 20058
/proc/meminfo: memFree=28983596/32950928 swapFree=67111428/67111528
[pid=20032] ppid=20030 vsize=15689428 CPUtime=18.6 cores=0,2,4,6
/proc/20032/stat : 20032 (java) S 20030 20032 19242 0 -1 4202496 258681 0 1 0 1824 36 0 0 22 0 22 0 523025951 16065974272 254499 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20032/statm: 3922357 254499 2274 9 0 3913076 0
[pid=20032/tid=20033] ppid=20030 vsize=15689428 CPUtime=2 cores=0,2,4,6
/proc/20032/task/20033/stat : 20033 (java) S 20030 20032 19242 0 -1 4202560 35710 0 1 0 195 5 0 0 22 0 22 0 523025952 16065974272 254499 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20035] ppid=20030 vsize=15689428 CPUtime=0.11 cores=0,2,4,6
/proc/20032/task/20035/stat : 20035 (java) S 20030 20032 19242 0 -1 4202560 15018 0 0 0 10 1 0 0 15 0 22 0 523025952 16065974272 254499 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20036] ppid=20030 vsize=15689428 CPUtime=0.07 cores=0,2,4,6
/proc/20032/task/20036/stat : 20036 (java) S 20030 20032 19242 0 -1 4202560 12282 0 0 0 6 1 0 0 15 0 22 0 523025952 16065974272 254499 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 2 0 0 0
[pid=20032/tid=20037] ppid=20030 vsize=15689428 CPUtime=0.14 cores=0,2,4,6
/proc/20032/task/20037/stat : 20037 (java) S 20030 20032 19242 0 -1 4202560 18824 0 0 0 12 2 0 0 16 0 22 0 523025952 16065974272 254499 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20038] ppid=20030 vsize=15689428 CPUtime=0.23 cores=0,2,4,6
/proc/20032/task/20038/stat : 20038 (java) S 20030 20032 19242 0 -1 4202560 29711 0 0 0 19 4 0 0 16 0 22 0 523025952 16065974272 254499 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20039] ppid=20030 vsize=15689428 CPUtime=0.11 cores=0,2,4,6
/proc/20032/task/20039/stat : 20039 (java) S 20030 20032 19242 0 -1 4202560 14632 0 0 0 9 2 0 0 15 0 22 0 523025952 16065974272 254499 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20040] ppid=20030 vsize=15689428 CPUtime=0.14 cores=0,2,4,6
/proc/20032/task/20040/stat : 20040 (java) S 20030 20032 19242 0 -1 4202560 31997 0 0 0 10 4 0 0 16 0 22 0 523025952 16065974272 254499 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20041] ppid=20030 vsize=15689428 CPUtime=0.09 cores=0,2,4,6
/proc/20032/task/20041/stat : 20041 (java) S 20030 20032 19242 0 -1 4202560 22868 0 0 0 7 2 0 0 15 0 22 0 523025952 16065974272 254499 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20042] ppid=20030 vsize=15689428 CPUtime=0.1 cores=0,2,4,6
/proc/20032/task/20042/stat : 20042 (java) S 20030 20032 19242 0 -1 4202560 12516 0 0 0 9 1 0 0 16 0 22 0 523025952 16065974272 254499 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 2 0 0 0

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

[pid=20032/tid=20040] ppid=20030 vsize=15689428 CPUtime=2.66 cores=0,2,4,6
/proc/20032/task/20040/stat : 20040 (java) S 20030 20032 19242 0 -1 4202560 397770 0 0 0 202 64 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20041] ppid=20030 vsize=15689428 CPUtime=2.64 cores=0,2,4,6
/proc/20032/task/20041/stat : 20041 (java) S 20030 20032 19242 0 -1 4202560 296554 0 0 0 216 48 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20042] ppid=20030 vsize=15689428 CPUtime=2.8 cores=0,2,4,6
/proc/20032/task/20042/stat : 20042 (java) S 20030 20032 19242 0 -1 4202560 366180 0 0 0 218 62 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20043] ppid=20030 vsize=15689428 CPUtime=816.24 cores=0,2,4,6
/proc/20032/task/20043/stat : 20043 (java) S 20030 20032 19242 0 -1 4202560 753546 0 0 0 81521 103 0 0 18 0 21 0 523025953 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514752 0 0 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20044] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20044/stat : 20044 (java) S 20030 20032 19242 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 21 0 523025954 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20045] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20045/stat : 20045 (java) S 20030 20032 19242 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 21 0 523025954 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20046] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20046/stat : 20046 (java) S 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101521841 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20047] ppid=20030 vsize=15689428 CPUtime=0.98 cores=0,2,4,6
/proc/20032/task/20047/stat : 20047 (java) S 20030 20032 19242 0 -1 4202560 3654 0 0 0 98 0 0 0 15 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20048] ppid=20030 vsize=15689428 CPUtime=0.89 cores=0,2,4,6
/proc/20032/task/20048/stat : 20048 (java) S 20030 20032 19242 0 -1 4202560 4036 0 0 0 89 0 0 0 15 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20049] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20049/stat : 20049 (java) S 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20050] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20050/stat : 20050 (java) R 20030 20032 19242 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514752 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=20032/tid=20055] ppid=20030 vsize=15689428 CPUtime=355.85 cores=0,2,4,6
/proc/20032/task/20055/stat : 20055 (java) R 20030 20032 19242 0 -1 4202560 88560 0 0 0 35566 19 0 0 15 0 21 0 523026036 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 46912505523436 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=20032/tid=20057] ppid=20030 vsize=15689428 CPUtime=356.69 cores=0,2,4,6
/proc/20032/task/20057/stat : 20057 (java) R 20030 20032 19242 0 -1 4202560 80754 0 0 0 35653 16 0 0 15 0 21 0 523026036 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 46912506281031 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=20032/tid=20058] ppid=20030 vsize=15689428 CPUtime=357.08 cores=0,2,4,6
/proc/20032/task/20058/stat : 20058 (java) R 20030 20032 19242 0 -1 4202560 81249 0 0 0 35693 15 0 0 15 0 21 0 523026036 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 46912506075339 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2240.69
Current children cumulated vsize (KiB) 15689428

[startup+1242.3 s]
/proc/loadavg: 3.28 4.86 6.08 2/192 20123
/proc/meminfo: memFree=15277712/32950928 swapFree=67111428/67111528
[pid=20032] ppid=20030 vsize=15689428 CPUtime=2310.21 cores=0,2,4,6
/proc/20032/stat : 20032 (java) S 20030 20032 19242 0 -1 4202496 3874916 0 1 0 230375 646 0 0 22 0 21 0 523025951 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20032/statm: 3922357 3839006 2295 9 0 3913076 0
[pid=20032/tid=20033] ppid=20030 vsize=15689428 CPUtime=2 cores=0,2,4,6
/proc/20032/task/20033/stat : 20033 (java) S 20030 20032 19242 0 -1 4202560 35710 0 1 0 195 5 0 0 22 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20035] ppid=20030 vsize=15689428 CPUtime=2.67 cores=0,2,4,6
/proc/20032/task/20035/stat : 20035 (java) S 20030 20032 19242 0 -1 4202560 372829 0 0 0 204 63 0 0 15 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20036] ppid=20030 vsize=15689428 CPUtime=2.33 cores=0,2,4,6
/proc/20032/task/20036/stat : 20036 (java) S 20030 20032 19242 0 -1 4202560 345625 0 0 0 174 59 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20037] ppid=20030 vsize=15689428 CPUtime=2.51 cores=0,2,4,6
/proc/20032/task/20037/stat : 20037 (java) S 20030 20032 19242 0 -1 4202560 317935 0 0 0 200 51 0 0 15 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20038] ppid=20030 vsize=15689428 CPUtime=2.34 cores=0,2,4,6
/proc/20032/task/20038/stat : 20038 (java) S 20030 20032 19242 0 -1 4202560 319909 0 0 0 179 55 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20039] ppid=20030 vsize=15689428 CPUtime=2.49 cores=0,2,4,6
/proc/20032/task/20039/stat : 20039 (java) S 20030 20032 19242 0 -1 4202560 326111 0 0 0 193 56 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20040] ppid=20030 vsize=15689428 CPUtime=2.66 cores=0,2,4,6
/proc/20032/task/20040/stat : 20040 (java) S 20030 20032 19242 0 -1 4202560 397770 0 0 0 202 64 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20041] ppid=20030 vsize=15689428 CPUtime=2.64 cores=0,2,4,6
/proc/20032/task/20041/stat : 20041 (java) S 20030 20032 19242 0 -1 4202560 296554 0 0 0 216 48 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20042] ppid=20030 vsize=15689428 CPUtime=2.8 cores=0,2,4,6
/proc/20032/task/20042/stat : 20042 (java) S 20030 20032 19242 0 -1 4202560 366180 0 0 0 218 62 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20043] ppid=20030 vsize=15689428 CPUtime=871.31 cores=0,2,4,6
/proc/20032/task/20043/stat : 20043 (java) R 20030 20032 19242 0 -1 4202560 753548 0 0 0 87024 107 0 0 18 0 21 0 523025953 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 47387830669424 0 0 0 16800975 0 0 0 -1 6 0 0 0
[pid=20032/tid=20044] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20044/stat : 20044 (java) S 20030 20032 19242 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 21 0 523025954 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20045] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20045/stat : 20045 (java) S 20030 20032 19242 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 21 0 523025954 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20046] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20046/stat : 20046 (java) S 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101521841 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20047] ppid=20030 vsize=15689428 CPUtime=0.98 cores=0,2,4,6
/proc/20032/task/20047/stat : 20047 (java) S 20030 20032 19242 0 -1 4202560 3654 0 0 0 98 0 0 0 15 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20048] ppid=20030 vsize=15689428 CPUtime=0.89 cores=0,2,4,6
/proc/20032/task/20048/stat : 20048 (java) S 20030 20032 19242 0 -1 4202560 4036 0 0 0 89 0 0 0 15 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20049] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20049/stat : 20049 (java) S 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20050] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20050/stat : 20050 (java) S 20030 20032 19242 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514752 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20055] ppid=20030 vsize=15689428 CPUtime=360.67 cores=0,2,4,6
/proc/20032/task/20055/stat : 20055 (java) S 20030 20032 19242 0 -1 4202560 88727 0 0 0 36047 20 0 0 15 0 21 0 523026036 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20057] ppid=20030 vsize=15689428 CPUtime=361.52 cores=0,2,4,6
/proc/20032/task/20057/stat : 20057 (java) S 20030 20032 19242 0 -1 4202560 80868 0 0 0 36135 17 0 0 16 0 21 0 523026036 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20058] ppid=20030 vsize=15689428 CPUtime=361.89 cores=0,2,4,6
/proc/20032/task/20058/stat : 20058 (java) S 20030 20032 19242 0 -1 4202560 81440 0 0 0 36173 16 0 0 15 0 21 0 523026036 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2310.21
Current children cumulated vsize (KiB) 15689428



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.00 4.24 5.80 2/192 20125
/proc/meminfo: memFree=15276876/32950928 swapFree=67111428/67111528
[pid=20032] ppid=20030 vsize=15689428 CPUtime=2376.75 cores=0,2,4,6
/proc/20032/stat : 20032 (java) S 20030 20032 19242 0 -1 4202496 3875417 0 1 0 237022 653 0 0 22 0 21 0 523025951 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20032/statm: 3922357 3839006 2295 9 0 3913076 0
[pid=20032/tid=20033] ppid=20030 vsize=15689428 CPUtime=2 cores=0,2,4,6
/proc/20032/task/20033/stat : 20033 (java) S 20030 20032 19242 0 -1 4202560 35710 0 1 0 195 5 0 0 22 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20035] ppid=20030 vsize=15689428 CPUtime=2.67 cores=0,2,4,6
/proc/20032/task/20035/stat : 20035 (java) S 20030 20032 19242 0 -1 4202560 372829 0 0 0 204 63 0 0 15 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20036] ppid=20030 vsize=15689428 CPUtime=2.33 cores=0,2,4,6
/proc/20032/task/20036/stat : 20036 (java) S 20030 20032 19242 0 -1 4202560 345625 0 0 0 174 59 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20037] ppid=20030 vsize=15689428 CPUtime=2.51 cores=0,2,4,6
/proc/20032/task/20037/stat : 20037 (java) S 20030 20032 19242 0 -1 4202560 317935 0 0 0 200 51 0 0 15 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20038] ppid=20030 vsize=15689428 CPUtime=2.34 cores=0,2,4,6
/proc/20032/task/20038/stat : 20038 (java) S 20030 20032 19242 0 -1 4202560 319909 0 0 0 179 55 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20039] ppid=20030 vsize=15689428 CPUtime=2.49 cores=0,2,4,6
/proc/20032/task/20039/stat : 20039 (java) S 20030 20032 19242 0 -1 4202560 326111 0 0 0 193 56 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20040] ppid=20030 vsize=15689428 CPUtime=2.66 cores=0,2,4,6
/proc/20032/task/20040/stat : 20040 (java) S 20030 20032 19242 0 -1 4202560 397770 0 0 0 202 64 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20041] ppid=20030 vsize=15689428 CPUtime=2.64 cores=0,2,4,6
/proc/20032/task/20041/stat : 20041 (java) S 20030 20032 19242 0 -1 4202560 296554 0 0 0 216 48 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20042] ppid=20030 vsize=15689428 CPUtime=2.8 cores=0,2,4,6
/proc/20032/task/20042/stat : 20042 (java) S 20030 20032 19242 0 -1 4202560 366180 0 0 0 218 62 0 0 16 0 21 0 523025952 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20043] ppid=20030 vsize=15689428 CPUtime=924.43 cores=0,2,4,6
/proc/20032/task/20043/stat : 20043 (java) R 20030 20032 19242 0 -1 4202560 753552 0 0 0 92330 113 0 0 17 0 21 0 523025953 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 47387829751924 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=20032/tid=20044] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20044/stat : 20044 (java) S 20030 20032 19242 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 21 0 523025954 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20045] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20045/stat : 20045 (java) S 20030 20032 19242 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 21 0 523025954 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20046] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20046/stat : 20046 (java) S 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101521841 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20047] ppid=20030 vsize=15689428 CPUtime=0.98 cores=0,2,4,6
/proc/20032/task/20047/stat : 20047 (java) S 20030 20032 19242 0 -1 4202560 3654 0 0 0 98 0 0 0 15 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20048] ppid=20030 vsize=15689428 CPUtime=0.89 cores=0,2,4,6
/proc/20032/task/20048/stat : 20048 (java) S 20030 20032 19242 0 -1 4202560 4036 0 0 0 89 0 0 0 15 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20049] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20049/stat : 20049 (java) S 20030 20032 19242 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20050] ppid=20030 vsize=15689428 CPUtime=0 cores=0,2,4,6
/proc/20032/task/20050/stat : 20050 (java) S 20030 20032 19242 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 21 0 523025956 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514752 0 4 0 16800975 18446604453865686976 0 0 -1 6 0 0 0
[pid=20032/tid=20055] ppid=20030 vsize=15689428 CPUtime=365.14 cores=0,2,4,6
/proc/20032/task/20055/stat : 20055 (java) S 20030 20032 19242 0 -1 4202560 88920 0 0 0 36493 21 0 0 15 0 21 0 523026036 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 4 0 0 0
[pid=20032/tid=20057] ppid=20030 vsize=15689428 CPUtime=366 cores=0,2,4,6
/proc/20032/task/20057/stat : 20057 (java) S 20030 20032 19242 0 -1 4202560 80985 0 0 0 36582 18 0 0 15 0 21 0 523026036 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 0 0 0 0
[pid=20032/tid=20058] ppid=20030 vsize=15689428 CPUtime=366.38 cores=0,2,4,6
/proc/20032/task/20058/stat : 20058 (java) S 20030 20032 19242 0 -1 4202560 81623 0 0 0 36621 17 0 0 15 0 21 0 523026036 16065974272 3839006 33554432000 1073741824 1073778376 140737447805728 18446744073709551615 248101514137 0 4 0 16800975 18446604453865686976 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2376.75
Current children cumulated vsize (KiB) 15689428

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.00 4.24 5.80 2/194 20127
/proc/meminfo: memFree=15276860/32950928 swapFree=67111428/67111528
[pid=20032] ppid=20030 vsize=0 CPUtime=2377.45 cores=0,2,4,6
/proc/20032/stat : 20032 (java) Z 20030 20032 19242 0 -1 4203548 3875444 0 1 0 237089 656 0 0 15 0 2 0 523025951 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20032/statm: 0 0 0 0 0 0 0
[pid=20032/tid=20043] ppid=20030 vsize=0 CPUtime=925.12 cores=0,2,4,6
/proc/20032/task/20043/stat : 20043 (java) R 20030 20032 19242 0 -1 4202564 753552 0 0 0 92396 116 0 0 18 0 2 0 523025953 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2377.45
Current children cumulated vsize (KiB) 0

[startup+1301.1 s]
/proc/loadavg: 2.00 4.24 5.80 2/194 20127
/proc/meminfo: memFree=15276860/32950928 swapFree=67111428/67111528
[pid=20032] ppid=20030 vsize=0 CPUtime=2377.85 cores=0,2,4,6
/proc/20032/stat : 20032 (java) Z 20030 20032 19242 0 -1 4203548 3875444 0 1 0 237089 696 0 0 15 0 2 0 523025951 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20032/statm: 0 0 0 0 0 0 0
[pid=20032/tid=20043] ppid=20030 vsize=0 CPUtime=925.52 cores=0,2,4,6
/proc/20032/task/20043/stat : 20043 (java) R 20030 20032 19242 0 -1 4202564 753552 0 0 0 92396 156 0 0 18 0 2 0 523025953 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2377.85
Current children cumulated vsize (KiB) 0

[startup+1301.2 s]
/proc/loadavg: 2.00 4.24 5.80 2/194 20127
/proc/meminfo: memFree=15276860/32950928 swapFree=67111428/67111528
[pid=20032] ppid=20030 vsize=0 CPUtime=2377.95 cores=0,2,4,6
/proc/20032/stat : 20032 (java) Z 20030 20032 19242 0 -1 4203548 3875444 0 1 0 237089 706 0 0 15 0 2 0 523025951 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/20032/statm: 0 0 0 0 0 0 0
[pid=20032/tid=20043] ppid=20030 vsize=0 CPUtime=925.62 cores=0,2,4,6
/proc/20032/task/20043/stat : 20043 (java) R 20030 20032 19242 0 -1 4202564 753552 0 0 0 92396 166 0 0 18 0 2 0 523025953 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2377.95
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1301.23
CPU time (s): 2377.98
CPU user time (s): 2370.89
CPU system time (s): 7.08892
CPU usage (%): 182.749
Max. virtual memory (cumulated for all children) (KiB): 15692808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2370.89
system time used= 7.08892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3875444
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= 74119
involuntary context switches= 45124

runsolver used 2.22266 second user time and 5.04723 second system time

The end

Begin job on node123 at 2011-04-29 23:57:42
IDJOB=3312425
IDBENCH=82610
IDSOLVER=1699
FILE ID=node123/3312425-1304114261
RUNJOBID= node123-1304114261-19995
PBS_JOBID= 13170665
Free space on /tmp= 72812 MiB

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

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

MD5SUM BENCH= 1ba3e47e885ea3862e5726ce64a96a9c
RANDOM SEED=396349359

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
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.82
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.838
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.74
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.838
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.80
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.838
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.74
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.838
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:     32950928 kB
MemFree:      30643608 kB
Buffers:        576932 kB
Cached:        1293976 kB
SwapCached:        100 kB
Active:         140464 kB
Inactive:      1805360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30643608 kB
SwapTotal:    67111528 kB
SwapFree:     67111428 kB
Dirty:            6996 kB
Writeback:           0 kB
AnonPages:       74004 kB
Mapped:          21868 kB
Slab:           298348 kB
PageTables:       4692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   780640 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= 72812 MiB
End job on node123 at 2011-04-30 00:19:24