| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| STRUCTure 0.1 | ? (TO) | 2377.98 | 1301.23 |
| Name | random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf |
| MD5SUM | 1ba3e47e885ea3862e5726ce64a96a9c |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 136.94 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 35000 |
| Number of clauses | 147000 |
| Sum of the clauses size | 441000 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 147000 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
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