| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| STRUCTure 0.1 (hbr=2) | ? (TO) | 2383.03 | 1301.97 |
| Name | random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf |
| MD5SUM | cd155ee9ac243c838c94577589f0455b |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 221.016 |
| 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.11 50:23 INFO : Reading from input HOME/instance-3311268-1304117423.cnf 1.02/0.83 Executor set job limit to 1000000 1.02/0.83 Executor set job limit to 1000000 1.02/0.83 Executor set job limit to 1000000 1.02/0.83 Executor set job limit to 1000000 1.02/0.83 Starting Executor! 1.02/0.83 Starting Executor! 1.02/0.83 Starting Executor! 1.02/0.83 Starting Executor! 3.12/2.04 50:25 INFO : 34851 variables remaining out of 35000 3.12/2.04 50:25 INFO : 584136 literals remaining out of 588000 1254.09/345.99 56:07 ERROR: Failed to solve instance 1254.09/345.99 java.lang.OutOfMemoryError: Java heap space 1254.09/345.99 at gnu.trove.TIntLongHashMap.rehash(TIntLongHashMap.java:222) 1254.09/345.99 at gnu.trove.THash.postInsertHook(THash.java:370) 1254.09/345.99 at gnu.trove.TIntLongHashMap.doPut(TIntLongHashMap.java:193) 1254.09/345.99 at gnu.trove.TIntLongHashMap.put(TIntLongHashMap.java:160) 1254.09/345.99 at ibis.structure.Subsumming.run(Subsumming.java:58) 1254.09/345.99 at ibis.structure.Solver.simplify(Solver.java:205) 1254.09/345.99 at ibis.structure.Solver.solve(Solver.java:113) 1254.09/345.99 at ibis.structure.SolveActivity.initialize(SolveActivity.java:29) 1254.09/345.99 at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143) 1254.09/345.99 at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215) 1254.09/345.99 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398) 1254.09/345.99 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420) 1254.09/345.99 at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023) 1254.09/345.99 at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515) 1254.09/345.99 at ibis.constellation.Executor.processActivities(Executor.java:75) 1254.09/345.99 at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54) 1254.09/345.99 at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521) 1254.09/345.99 at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070) 1254.09/345.99 56:09 ERROR: Failed to solve instance 1254.09/345.99 java.lang.OutOfMemoryError: GC overhead limit exceeded 1254.09/345.99 at gnu.trove.TIntHash.setUp(TIntHash.java:134) 1254.09/345.99 at gnu.trove.THash.<init>(THash.java:128) 1254.09/345.99 at gnu.trove.THash.<init>(THash.java:97) 1254.09/345.99 at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81) 1254.09/345.99 at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68) 1254.09/345.99 at gnu.trove.TIntHash.<init>(TIntHash.java:60) 1254.09/345.99 at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59) 1254.09/345.99 at ibis.structure.WatchLists.build(WatchLists.java:47) 1254.09/345.99 at ibis.structure.Solver.<init>(Solver.java:45) 1254.09/345.99 at ibis.structure.SolveActivity.initialize(SolveActivity.java:28) 1254.09/345.99 at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143) 1254.09/345.99 at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215) 1254.09/345.99 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398) 1254.09/345.99 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420) 1254.09/345.99 at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023) 1254.09/345.99 at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515) 1254.09/345.99 at ibis.constellation.Executor.processActivities(Executor.java:75) 1254.09/345.99 at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54) 1254.09/345.99 at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521) 1254.09/345.99 at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070) 1256.40/348.27 56:11 ERROR: Failed to solve instance 1256.40/348.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 1256.40/348.27 at gnu.trove.TPrimitiveHash.setUp(TPrimitiveHash.java:123) 1256.40/348.27 at gnu.trove.TIntHash.setUp(TIntHash.java:133) 1256.40/348.27 at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83) 1256.40/348.27 at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68) 1256.40/348.27 at gnu.trove.TIntHash.<init>(TIntHash.java:60) 1256.40/348.27 at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59) 1256.40/348.27 at ibis.structure.WatchLists.build(WatchLists.java:47) 1256.40/348.27 at ibis.structure.Solver.<init>(Solver.java:45) 1256.40/348.27 at ibis.structure.SolveActivity.initialize(SolveActivity.java:28) 1256.40/348.27 at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143) 1256.40/348.27 at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215) 1256.40/348.27 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398) 1256.40/348.27 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420) 1256.40/348.27 at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023) 1256.40/348.27 at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515) 1256.40/348.27 at ibis.constellation.Executor.processActivities(Executor.java:75) 1256.40/348.27 at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54) 1256.40/348.27 at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521) 1256.40/348.27 at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070) 1258.81/350.61 56:14 ERROR: Failed to solve instance 1258.81/350.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 1258.81/350.61 at gnu.trove.TIntHash.setUp(TIntHash.java:134) 1258.81/350.61 at gnu.trove.THash.<init>(THash.java:128) 1258.81/350.61 at gnu.trove.THash.<init>(THash.java:97) 1258.81/350.61 at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:81) 1258.81/350.61 at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68) 1258.81/350.61 at gnu.trove.TIntHash.<init>(TIntHash.java:60) 1258.81/350.61 at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59) 1258.81/350.61 at ibis.structure.WatchLists.build(WatchLists.java:47) 1258.81/350.61 at ibis.structure.Solver.<init>(Solver.java:45) 1258.81/350.61 at ibis.structure.SolveActivity.initialize(SolveActivity.java:28) 1258.81/350.61 at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143) 1258.81/350.61 at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215) 1258.81/350.61 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398) 1258.81/350.61 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420) 1258.81/350.61 at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023) 1258.81/350.61 at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515) 1258.81/350.61 at ibis.constellation.Executor.processActivities(Executor.java:75) 1258.81/350.61 at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54) 1258.81/350.61 at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521) 1258.81/350.61 at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070) 1261.14/353.00 56:16 ERROR: Failed to solve instance 1261.14/353.00 java.lang.OutOfMemoryError: GC overhead limit exceeded 1265.59/356.62 56:20 ERROR: Failed to solve instance 1265.59/356.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 1267.91/358.96 56:22 ERROR: Failed to solve instance 1267.91/358.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 1268.42/359.48 56:23 ERROR: Failed to solve instance 1268.42/359.48 java.lang.OutOfMemoryError: GC overhead limit exceeded 1271.67/362.14 56:25 ERROR: Failed to solve instance 1271.67/362.14 java.lang.OutOfMemoryError: Java heap space 1274.57/364.59 56:28 ERROR: Failed to solve instance 1274.57/364.59 java.lang.OutOfMemoryError: GC overhead limit exceeded 1275.39/365.32 56:28 ERROR: Failed to solve instance 1275.39/365.32 java.lang.OutOfMemoryError: GC overhead limit exceeded 1275.91/365.83 56:29 ERROR: Failed to solve instance 1275.91/365.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 1280.21/369.44 56:32 ERROR: Failed to solve instance 1280.21/369.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 1280.73/369.95 56:33 ERROR: Failed to solve instance 1280.73/369.95 java.lang.OutOfMemoryError: GC overhead limit exceeded 1286.45/374.59 56:38 ERROR: Failed to solve instance 1286.45/374.59 java.lang.OutOfMemoryError: GC overhead limit exceeded 1287.48/375.51 56:38 ERROR: Failed to solve instance 1287.48/375.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 1287.99/376.02 56:39 ERROR: Failed to solve instance 1287.99/376.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 1288.52/376.55 56:40 ERROR: Failed to solve instance 1288.52/376.55 java.lang.OutOfMemoryError: GC overhead limit exceeded 1289.04/377.10 56:40 ERROR: Failed to solve instance 1289.04/377.10 java.lang.OutOfMemoryError: GC overhead limit exceeded 1294.72/381.55 56:45 ERROR: Failed to solve instance 1294.72/381.55 java.lang.OutOfMemoryError: GC overhead limit exceeded 1295.25/382.04 56:45 ERROR: Failed to solve instance 1295.25/382.04 java.lang.OutOfMemoryError: GC overhead limit exceeded 1296.35/383.01 56:46 ERROR: Failed to solve instance 1296.35/383.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 1296.75/383.51 56:47 ERROR: Failed to solve instance 1296.75/383.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 1300.02/386.04 56:49 ERROR: Failed to solve instance 1300.02/386.04 java.lang.OutOfMemoryError: Java heap space 1307.95/392.60 56:56 ERROR: Failed to solve instance 1307.95/392.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 1310.38/394.94 56:58 ERROR: Failed to solve instance 1310.38/394.94 java.lang.OutOfMemoryError: GC overhead limit exceeded 1311.35/395.85 56:59 ERROR: Failed to solve instance 1311.35/395.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1311.90/396.33 56:59 ERROR: Failed to solve instance 1311.90/396.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 1314.97/398.98 57:02 ERROR: Failed to solve instance 1314.97/398.98 java.lang.OutOfMemoryError: GC overhead limit exceeded 1316.39/400.26 57:03 ERROR: Failed to solve instance 1316.39/400.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 1320.36/403.67 57:07 ERROR: Failed to solve instance 1320.36/403.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1320.87/404.14 57:07 ERROR: Failed to solve instance 1320.87/404.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1321.79/405.09 57:08 ERROR: Failed to solve instance 1321.79/405.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 1322.31/405.62 57:09 ERROR: Failed to solve instance 1322.31/405.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 1327.47/409.75 57:13 ERROR: Failed to solve instance 1327.47/409.75 java.lang.OutOfMemoryError: Java heap space 1327.68/410.00 57:13 ERROR: Failed to solve instance 1327.68/410.00 java.lang.OutOfMemoryError: GC overhead limit exceeded 1334.99/415.67 57:19 ERROR: Failed to solve instance 1334.99/415.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1335.73/416.37 57:19 ERROR: Failed to solve instance 1335.73/416.37 java.lang.OutOfMemoryError: GC overhead limit exceeded 1336.27/416.86 57:20 ERROR: Failed to solve instance 1336.27/416.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 1339.45/419.53 57:23 ERROR: Failed to solve instance 1339.45/419.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 1340.29/420.39 57:23 ERROR: Failed to solve instance 1340.29/420.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 1344.92/424.25 57:27 ERROR: Failed to solve instance 1344.92/424.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 1345.44/424.73 57:28 ERROR: Failed to solve instance 1345.44/424.73 java.lang.OutOfMemoryError: GC overhead limit exceeded 1346.37/425.68 57:29 ERROR: Failed to solve instance 1346.37/425.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 1355.29/432.97 57:36 ERROR: Failed to solve instance 1355.29/432.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 1355.49/433.17 57:36 ERROR: Failed to solve instance 1355.49/433.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 1355.91/433.60 57:37 ERROR: Failed to solve instance 1355.91/433.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 1358.66/436.00 57:39 ERROR: Failed to solve instance 1358.66/436.00 java.lang.OutOfMemoryError: GC overhead limit exceeded 1359.16/436.44 57:39 ERROR: Failed to solve instance 1359.16/436.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 1360.08/437.38 57:40 ERROR: Failed to solve instance 1360.08/437.38 java.lang.OutOfMemoryError: GC overhead limit exceeded 1360.60/437.88 57:41 ERROR: Failed to solve instance 1360.60/437.88 java.lang.OutOfMemoryError: GC overhead limit exceeded 1361.23/438.40 57:41 ERROR: Failed to solve instance 1361.23/438.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 1361.74/438.95 57:42 ERROR: Failed to solve instance 1361.74/438.95 java.lang.OutOfMemoryError: GC overhead limit exceeded 1367.23/443.28 57:46 ERROR: Failed to solve instance 1367.23/443.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 1368.25/444.22 57:47 ERROR: Failed to solve instance 1368.25/444.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1368.57/444.50 57:48 ERROR: Failed to solve instance 1368.57/444.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 1371.84/447.27 57:50 ERROR: Failed to solve instance 1371.84/447.27 java.lang.OutOfMemoryError: Java heap space 1372.28/447.54 57:51 ERROR: Failed to solve instance 1372.28/447.54 java.lang.OutOfMemoryError: GC overhead limit exceeded 1380.48/454.27 57:57 ERROR: Failed to solve instance 1380.48/454.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 1380.99/454.73 57:58 ERROR: Failed to solve instance 1380.99/454.73 java.lang.OutOfMemoryError: GC overhead limit exceeded 1381.51/455.23 57:58 ERROR: Failed to solve instance 1381.51/455.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 1382.25/455.98 57:59 ERROR: Failed to solve instance 1382.25/455.98 java.lang.OutOfMemoryError: GC overhead limit exceeded 1386.36/459.46 58:02 ERROR: Failed to solve instance 1386.36/459.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 1386.87/459.92 58:03 ERROR: Failed to solve instance 1386.87/459.92 java.lang.OutOfMemoryError: GC overhead limit exceeded 1387.38/460.41 58:03 ERROR: Failed to solve instance 1387.38/460.41 java.lang.OutOfMemoryError: GC overhead limit exceeded 1388.23/461.24 58:04 ERROR: Failed to solve instance 1388.23/461.24 java.lang.OutOfMemoryError: GC overhead limit exceeded 1396.59/467.85 58:11 ERROR: Failed to solve instance 1396.59/467.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1397.41/468.69 58:12 ERROR: Failed to solve instance 1397.41/468.69 java.lang.OutOfMemoryError: GC overhead limit exceeded 1397.92/469.14 58:12 ERROR: Failed to solve instance 1397.92/469.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1398.45/469.66 58:13 ERROR: Failed to solve instance 1398.45/469.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1401.76/472.38 58:15 ERROR: Failed to solve instance 1401.76/472.38 java.lang.OutOfMemoryError: Java heap space 1402.06/472.64 58:16 ERROR: Failed to solve instance 1402.06/472.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 1408.48/477.89 58:21 ERROR: Failed to solve instance 1408.48/477.89 java.lang.OutOfMemoryError: GC overhead limit exceeded 1409.33/478.62 58:22 ERROR: Failed to solve instance 1409.33/478.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 1409.86/479.13 58:22 ERROR: Failed to solve instance 1409.86/479.13 java.lang.OutOfMemoryError: GC overhead limit exceeded 1411.29/480.42 58:23 ERROR: Failed to solve instance 1411.29/480.42 java.lang.OutOfMemoryError: Java heap space 1411.50/480.66 58:24 ERROR: Failed to solve instance 1411.50/480.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1412.05/481.19 58:24 ERROR: Failed to solve instance 1412.05/481.19 java.lang.OutOfMemoryError: GC overhead limit exceeded 1415.80/484.25 58:27 ERROR: Failed to solve instance 1415.80/484.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 1421.62/488.87 58:32 ERROR: Failed to solve instance 1421.62/488.87 java.lang.OutOfMemoryError: GC overhead limit exceeded 1422.54/489.75 58:33 ERROR: Failed to solve instance 1422.54/489.75 java.lang.OutOfMemoryError: GC overhead limit exceeded 1426.37/492.86 58:36 ERROR: Failed to solve instance 1426.37/492.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 1426.88/493.33 58:36 ERROR: Failed to solve instance 1426.88/493.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 1427.40/493.83 58:37 ERROR: Failed to solve instance 1427.40/493.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 1428.13/494.59 58:38 ERROR: Failed to solve instance 1428.13/494.59 java.lang.OutOfMemoryError: GC overhead limit exceeded 1434.99/500.12 58:43 ERROR: Failed to solve instance 1434.99/500.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 1435.92/501.07 58:44 ERROR: Failed to solve instance 1435.92/501.07 java.lang.OutOfMemoryError: GC overhead limit exceeded 1436.44/501.54 58:45 ERROR: Failed to solve instance 1436.44/501.54 java.lang.OutOfMemoryError: GC overhead limit exceeded 1436.96/502.01 58:45 ERROR: Failed to solve instance 1436.96/502.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 1437.51/502.56 58:46 ERROR: Failed to solve instance 1437.51/502.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 1441.41/505.71 58:49 ERROR: Failed to solve instance 1441.41/505.71 java.lang.OutOfMemoryError: GC overhead limit exceeded 1441.82/506.18 58:49 ERROR: Failed to solve instance 1441.82/506.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1442.45/506.74 58:50 ERROR: Failed to solve instance 1442.45/506.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 1446.09/509.58 58:53 ERROR: Failed to solve instance 1446.09/509.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 1446.81/510.27 58:53 ERROR: Failed to solve instance 1446.81/510.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 1447.33/510.77 58:54 ERROR: Failed to solve instance 1447.33/510.77 java.lang.OutOfMemoryError: GC overhead limit exceeded 1456.86/518.57 59:02 ERROR: Failed to solve instance 1456.86/518.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 1457.38/519.04 59:02 ERROR: Failed to solve instance 1457.38/519.04 java.lang.OutOfMemoryError: GC overhead limit exceeded 1458.44/520.03 59:03 ERROR: Failed to solve instance 1458.44/520.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 1458.65/520.25 59:03 ERROR: Failed to solve instance 1458.65/520.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 1459.38/520.95 59:04 ERROR: Failed to solve instance 1459.38/520.95 java.lang.OutOfMemoryError: GC overhead limit exceeded 1459.91/521.44 59:04 ERROR: Failed to solve instance 1459.91/521.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 1463.34/524.27 59:07 ERROR: Failed to solve instance 1463.34/524.27 java.lang.OutOfMemoryError: Java heap space 1463.64/524.54 59:08 ERROR: Failed to solve instance 1463.64/524.54 java.lang.OutOfMemoryError: GC overhead limit exceeded 1472.23/531.22 59:14 ERROR: Failed to solve instance 1472.23/531.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1472.65/531.66 59:15 ERROR: Failed to solve instance 1472.65/531.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1473.16/532.12 59:15 ERROR: Failed to solve instance 1473.16/532.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 1473.99/533.00 59:16 ERROR: Failed to solve instance 1473.99/533.00 java.lang.OutOfMemoryError: GC overhead limit exceeded 1474.52/533.48 59:17 ERROR: Failed to solve instance 1474.52/533.48 java.lang.OutOfMemoryError: GC overhead limit exceeded 1478.68/537.00 59:20 ERROR: Failed to solve instance 1478.68/537.00 java.lang.OutOfMemoryError: GC overhead limit exceeded 1479.20/537.46 59:20 ERROR: Failed to solve instance 1479.20/537.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 1480.23/538.44 59:21 ERROR: Failed to solve instance 1480.23/538.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 1480.43/538.66 59:22 ERROR: Failed to solve instance 1480.43/538.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1484.82/542.35 59:25 ERROR: Failed to solve instance 1484.82/542.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 1492.60/548.70 59:32 ERROR: Failed to solve instance 1492.60/548.70 java.lang.OutOfMemoryError: GC overhead limit exceeded 1493.12/549.13 59:32 ERROR: Failed to solve instance 1493.12/549.13 java.lang.OutOfMemoryError: GC overhead limit exceeded 1493.54/549.56 59:33 ERROR: Failed to solve instance 1493.54/549.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 1494.46/550.43 59:33 ERROR: Failed to solve instance 1494.46/550.43 java.lang.OutOfMemoryError: GC overhead limit exceeded 1494.99/550.91 59:34 ERROR: Failed to solve instance 1494.99/550.91 java.lang.OutOfMemoryError: GC overhead limit exceeded 1495.52/551.44 59:34 ERROR: Failed to solve instance 1495.52/551.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 1504.63/558.67 59:42 ERROR: Failed to solve instance 1504.63/558.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1507.38/560.89 59:44 ERROR: Failed to solve instance 1507.38/560.89 java.lang.OutOfMemoryError: Java heap space 1508.31/561.77 59:45 ERROR: Failed to solve instance 1508.31/561.77 java.lang.OutOfMemoryError: GC overhead limit exceeded 1508.83/562.24 59:45 ERROR: Failed to solve instance 1508.83/562.24 java.lang.OutOfMemoryError: GC overhead limit exceeded 1510.43/563.63 59:47 ERROR: Failed to solve instance 1510.43/563.63 java.lang.OutOfMemoryError: Java heap space 1510.63/563.87 59:47 ERROR: Failed to solve instance 1510.63/563.87 java.lang.OutOfMemoryError: GC overhead limit exceeded 1513.64/566.41 59:49 ERROR: Failed to solve instance 1513.64/566.41 java.lang.OutOfMemoryError: GC overhead limit exceeded 1514.05/566.87 59:50 ERROR: Failed to solve instance 1514.05/566.87 java.lang.OutOfMemoryError: GC overhead limit exceeded 1514.57/567.37 59:50 ERROR: Failed to solve instance 1514.57/567.37 java.lang.OutOfMemoryError: GC overhead limit exceeded 1515.08/567.88 59:51 ERROR: Failed to solve instance 1515.08/567.88 java.lang.OutOfMemoryError: GC overhead limit exceeded 1515.96/568.66 59:52 ERROR: Failed to solve instance 1515.96/568.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1524.08/574.99 59:58 ERROR: Failed to solve instance 1524.08/574.99 java.lang.OutOfMemoryError: GC overhead limit exceeded 1524.39/575.23 59:58 ERROR: Failed to solve instance 1524.39/575.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 1528.56/578.67 00:02 ERROR: Failed to solve instance 1528.56/578.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1529.07/579.16 00:02 ERROR: Failed to solve instance 1529.07/579.16 java.lang.OutOfMemoryError: GC overhead limit exceeded 1530.10/580.11 00:03 ERROR: Failed to solve instance 1530.10/580.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1530.52/580.57 00:04 ERROR: Failed to solve instance 1530.52/580.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 1536.44/585.33 00:08 ERROR: Failed to solve instance 1536.44/585.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 1536.95/585.81 00:09 ERROR: Failed to solve instance 1536.95/585.81 java.lang.OutOfMemoryError: GC overhead limit exceeded 1537.87/586.79 00:10 ERROR: Failed to solve instance 1537.87/586.79 java.lang.OutOfMemoryError: GC overhead limit exceeded 1538.50/587.36 00:10 ERROR: Failed to solve instance 1538.50/587.36 java.lang.OutOfMemoryError: GC overhead limit exceeded 1543.81/591.56 00:15 ERROR: Failed to solve instance 1543.81/591.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 1544.54/592.26 00:15 ERROR: Failed to solve instance 1544.54/592.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 1545.06/592.76 00:16 ERROR: Failed to solve instance 1545.06/592.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 1551.09/597.56 00:21 ERROR: Failed to solve instance 1551.09/597.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 1552.02/598.49 00:22 ERROR: Failed to solve instance 1552.02/598.49 java.lang.OutOfMemoryError: GC overhead limit exceeded 1552.54/599.02 00:22 ERROR: Failed to solve instance 1552.54/599.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 1556.91/602.41 00:25 ERROR: Failed to solve instance 1556.91/602.41 java.lang.OutOfMemoryError: Java heap space 1557.11/602.65 00:26 ERROR: Failed to solve instance 1557.11/602.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1564.55/608.85 00:32 ERROR: Failed to solve instance 1564.55/608.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1565.07/609.34 00:32 ERROR: Failed to solve instance 1565.07/609.34 java.lang.OutOfMemoryError: GC overhead limit exceeded 1565.58/609.85 00:33 ERROR: Failed to solve instance 1565.58/609.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1569.22/612.89 00:36 ERROR: Failed to solve instance 1569.22/612.89 java.lang.OutOfMemoryError: Java heap space 1569.52/613.12 00:36 ERROR: Failed to solve instance 1569.52/613.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 1570.24/613.83 00:37 ERROR: Failed to solve instance 1570.24/613.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 1570.74/614.32 00:37 ERROR: Failed to solve instance 1570.74/614.32 java.lang.OutOfMemoryError: GC overhead limit exceeded 1571.66/615.26 00:38 ERROR: Failed to solve instance 1571.66/615.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 1572.19/615.76 00:39 ERROR: Failed to solve instance 1572.19/615.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 1572.81/616.33 00:39 ERROR: Failed to solve instance 1572.81/616.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 1581.55/623.01 00:46 ERROR: Failed to solve instance 1581.55/623.01 java.lang.OutOfMemoryError: Java heap space 1582.18/623.62 00:47 ERROR: Failed to solve instance 1582.18/623.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 1582.58/624.07 00:47 ERROR: Failed to solve instance 1582.58/624.07 java.lang.OutOfMemoryError: GC overhead limit exceeded 1583.00/624.48 00:48 ERROR: Failed to solve instance 1583.00/624.48 java.lang.OutOfMemoryError: GC overhead limit exceeded 1583.93/625.36 00:48 ERROR: Failed to solve instance 1583.93/625.36 java.lang.OutOfMemoryError: GC overhead limit exceeded 1584.46/625.85 00:49 ERROR: Failed to solve instance 1584.46/625.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1585.00/626.40 00:49 ERROR: Failed to solve instance 1585.00/626.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 1593.35/632.92 00:56 ERROR: Failed to solve instance 1593.35/632.92 java.lang.OutOfMemoryError: GC overhead limit exceeded 1593.77/633.41 00:56 ERROR: Failed to solve instance 1593.77/633.41 java.lang.OutOfMemoryError: GC overhead limit exceeded 1594.42/633.95 00:57 ERROR: Failed to solve instance 1594.42/633.95 java.lang.OutOfMemoryError: GC overhead limit exceeded 1601.03/639.49 01:03 ERROR: Failed to solve instance 1601.03/639.49 java.lang.OutOfMemoryError: GC overhead limit exceeded 1604.13/642.25 01:05 ERROR: Failed to solve instance 1604.13/642.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 1604.13/642.25 01:05 ERROR: Failed to solve instance 1604.13/642.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 1604.54/642.66 01:06 ERROR: Failed to solve instance 1604.54/642.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1605.05/643.11 01:06 ERROR: Failed to solve instance 1605.05/643.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1605.89/644.00 01:07 ERROR: Failed to solve instance 1605.89/644.00 java.lang.OutOfMemoryError: GC overhead limit exceeded 1606.42/644.50 01:08 ERROR: Failed to solve instance 1606.42/644.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 1608.88/646.46 01:09 ERROR: Failed to solve instance 1608.88/646.46 java.lang.OutOfMemoryError: Java heap space 1615.45/651.83 01:15 ERROR: Failed to solve instance 1615.45/651.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 1615.87/652.27 01:15 ERROR: Failed to solve instance 1615.87/652.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 1616.39/652.77 01:16 ERROR: Failed to solve instance 1616.39/652.77 java.lang.OutOfMemoryError: GC overhead limit exceeded 1616.90/653.22 01:16 ERROR: Failed to solve instance 1616.90/653.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1621.74/657.38 01:20 ERROR: Failed to solve instance 1621.74/657.38 java.lang.OutOfMemoryError: GC overhead limit exceeded 1622.30/657.90 01:21 ERROR: Failed to solve instance 1622.30/657.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 1625.98/660.93 01:24 ERROR: Failed to solve instance 1625.98/660.93 java.lang.OutOfMemoryError: GC overhead limit exceeded 1626.63/661.61 01:25 ERROR: Failed to solve instance 1626.63/661.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 1631.40/665.60 01:29 ERROR: Failed to solve instance 1631.40/665.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 1631.90/666.02 01:29 ERROR: Failed to solve instance 1631.90/666.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 1632.32/666.46 01:29 ERROR: Failed to solve instance 1632.32/666.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 1632.83/666.94 01:30 ERROR: Failed to solve instance 1632.83/666.94 java.lang.OutOfMemoryError: GC overhead limit exceeded 1633.81/667.85 01:31 ERROR: Failed to solve instance 1633.81/667.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1640.73/673.11 01:36 ERROR: Failed to solve instance 1640.73/673.11 java.lang.OutOfMemoryError: Java heap space 1640.92/673.33 01:36 ERROR: Failed to solve instance 1640.92/673.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 1644.20/676.09 01:39 ERROR: Failed to solve instance 1644.20/676.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 1644.74/676.59 01:40 ERROR: Failed to solve instance 1644.74/676.59 java.lang.OutOfMemoryError: GC overhead limit exceeded 1651.17/681.75 01:45 ERROR: Failed to solve instance 1651.17/681.75 java.lang.OutOfMemoryError: GC overhead limit exceeded 1651.68/682.22 01:45 ERROR: Failed to solve instance 1651.68/682.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1652.51/683.06 01:46 ERROR: Failed to solve instance 1652.51/683.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 1653.03/683.55 01:47 ERROR: Failed to solve instance 1653.03/683.55 java.lang.OutOfMemoryError: GC overhead limit exceeded 1656.00/685.97 01:49 ERROR: Failed to solve instance 1656.00/685.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 1662.37/691.02 01:54 ERROR: Failed to solve instance 1662.37/691.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 1664.60/692.98 01:56 ERROR: Failed to solve instance 1664.60/692.98 java.lang.OutOfMemoryError: GC overhead limit exceeded 1665.52/693.90 01:57 ERROR: Failed to solve instance 1665.52/693.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 1666.04/694.39 01:57 ERROR: Failed to solve instance 1666.04/694.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 1666.66/694.96 01:58 ERROR: Failed to solve instance 1666.66/694.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 1668.59/696.51 02:00 ERROR: Failed to solve instance 1668.59/696.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 1675.27/702.07 02:05 ERROR: Failed to solve instance 1675.27/702.07 java.lang.OutOfMemoryError: Java heap space 1675.47/702.29 02:05 ERROR: Failed to solve instance 1675.47/702.29 java.lang.OutOfMemoryError: GC overhead limit exceeded 1676.00/702.80 02:06 ERROR: Failed to solve instance 1676.00/702.80 java.lang.OutOfMemoryError: GC overhead limit exceeded 1682.44/707.95 02:11 ERROR: Failed to solve instance 1682.44/707.95 java.lang.OutOfMemoryError: GC overhead limit exceeded 1683.17/708.66 02:12 ERROR: Failed to solve instance 1683.17/708.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1683.58/709.08 02:12 ERROR: Failed to solve instance 1683.58/709.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 1684.40/709.88 02:13 ERROR: Failed to solve instance 1684.40/709.88 java.lang.OutOfMemoryError: GC overhead limit exceeded 1684.95/710.35 02:13 ERROR: Failed to solve instance 1684.95/710.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 1688.45/713.30 02:16 ERROR: Failed to solve instance 1688.45/713.30 java.lang.OutOfMemoryError: GC overhead limit exceeded 1690.42/715.10 02:18 ERROR: Failed to solve instance 1690.42/715.10 java.lang.OutOfMemoryError: GC overhead limit exceeded 1690.94/715.65 02:19 ERROR: Failed to solve instance 1690.94/715.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1698.84/721.80 02:25 ERROR: Failed to solve instance 1698.84/721.80 java.lang.OutOfMemoryError: GC overhead limit exceeded 1699.65/722.68 02:26 ERROR: Failed to solve instance 1699.65/722.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 1700.15/723.14 02:26 ERROR: Failed to solve instance 1700.15/723.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1700.67/723.64 02:27 ERROR: Failed to solve instance 1700.67/723.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 1701.20/724.18 02:27 ERROR: Failed to solve instance 1701.20/724.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1707.69/729.33 02:32 ERROR: Failed to solve instance 1707.69/729.33 java.lang.OutOfMemoryError: Java heap space 1707.88/729.57 02:33 ERROR: Failed to solve instance 1707.88/729.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 1710.84/731.95 02:35 ERROR: Failed to solve instance 1710.84/731.95 java.lang.OutOfMemoryError: Java heap space 1711.57/732.66 02:36 ERROR: Failed to solve instance 1711.57/732.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1712.09/733.17 02:36 ERROR: Failed to solve instance 1712.09/733.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 1712.74/733.74 02:37 ERROR: Failed to solve instance 1712.74/733.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 1713.26/734.23 02:37 ERROR: Failed to solve instance 1713.26/734.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 1721.61/740.73 02:44 ERROR: Failed to solve instance 1721.61/740.73 java.lang.OutOfMemoryError: GC overhead limit exceeded 1722.54/741.70 02:45 ERROR: Failed to solve instance 1722.54/741.70 java.lang.OutOfMemoryError: GC overhead limit exceeded 1722.84/741.92 02:45 ERROR: Failed to solve instance 1722.84/741.92 java.lang.OutOfMemoryError: GC overhead limit exceeded 1726.31/744.86 02:48 ERROR: Failed to solve instance 1726.31/744.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 1727.24/745.76 02:49 ERROR: Failed to solve instance 1727.24/745.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 1727.75/746.25 02:49 ERROR: Failed to solve instance 1727.75/746.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 1728.27/746.78 02:50 ERROR: Failed to solve instance 1728.27/746.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 1728.90/747.34 02:50 ERROR: Failed to solve instance 1728.90/747.34 java.lang.OutOfMemoryError: GC overhead limit exceeded 1736.67/753.24 02:56 ERROR: Failed to solve instance 1736.67/753.24 java.lang.OutOfMemoryError: Java heap space 1738.73/755.11 02:58 ERROR: Failed to solve instance 1738.73/755.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1739.14/755.56 02:59 ERROR: Failed to solve instance 1739.14/755.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 1741.47/757.63 03:01 ERROR: Failed to solve instance 1741.47/757.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 1741.99/758.14 03:01 ERROR: Failed to solve instance 1741.99/758.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1742.52/758.67 03:02 ERROR: Failed to solve instance 1742.52/758.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1749.22/763.84 03:07 ERROR: Failed to solve instance 1749.22/763.84 java.lang.OutOfMemoryError: Java heap space 1749.77/764.35 03:07 ERROR: Failed to solve instance 1749.77/764.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 1752.57/766.83 03:10 ERROR: Failed to solve instance 1752.57/766.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 1753.12/767.37 03:10 ERROR: Failed to solve instance 1753.12/767.37 java.lang.OutOfMemoryError: GC overhead limit exceeded 1753.64/767.85 03:11 ERROR: Failed to solve instance 1753.64/767.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1757.24/770.96 03:14 ERROR: Failed to solve instance 1757.24/770.96 java.lang.OutOfMemoryError: Java heap space 1757.54/771.26 03:14 ERROR: Failed to solve instance 1757.54/771.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 1767.47/778.91 03:22 ERROR: Failed to solve instance 1767.47/778.91 java.lang.OutOfMemoryError: GC overhead limit exceeded 1769.43/780.62 03:24 ERROR: Failed to solve instance 1769.43/780.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 1771.07/782.14 03:25 ERROR: Failed to solve instance 1771.07/782.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1771.94/782.96 03:26 ERROR: Failed to solve instance 1771.94/782.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 1775.75/786.27 03:29 ERROR: Failed to solve instance 1775.75/786.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 1776.27/786.74 03:30 ERROR: Failed to solve instance 1776.27/786.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 1776.78/787.23 03:30 ERROR: Failed to solve instance 1776.78/787.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 1777.70/788.18 03:31 ERROR: Failed to solve instance 1777.70/788.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1778.24/788.73 03:32 ERROR: Failed to solve instance 1778.24/788.73 java.lang.OutOfMemoryError: GC overhead limit exceeded 1782.08/791.61 03:35 ERROR: Failed to solve instance 1782.08/791.61 java.lang.OutOfMemoryError: Java heap space 1787.79/796.29 03:39 ERROR: Failed to solve instance 1787.79/796.29 java.lang.OutOfMemoryError: GC overhead limit exceeded 1788.32/796.77 03:40 ERROR: Failed to solve instance 1788.32/796.77 java.lang.OutOfMemoryError: GC overhead limit exceeded 1789.37/797.72 03:41 ERROR: Failed to solve instance 1789.37/797.72 java.lang.OutOfMemoryError: GC overhead limit exceeded 1789.82/798.19 03:41 ERROR: Failed to solve instance 1789.82/798.19 java.lang.OutOfMemoryError: GC overhead limit exceeded 1790.54/798.72 03:42 ERROR: Failed to solve instance 1790.54/798.72 java.lang.OutOfMemoryError: GC overhead limit exceeded 1800.22/806.41 03:49 ERROR: Failed to solve instance 1800.22/806.41 java.lang.OutOfMemoryError: Java heap space 1800.42/806.63 03:50 ERROR: Failed to solve instance 1800.42/806.63 java.lang.OutOfMemoryError: Java heap space 1800.93/807.11 03:50 ERROR: Failed to solve instance 1800.93/807.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1801.86/808.07 03:51 ERROR: Failed to solve instance 1801.86/808.07 java.lang.OutOfMemoryError: GC overhead limit exceeded 1802.38/808.57 03:52 ERROR: Failed to solve instance 1802.38/808.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 1802.90/809.12 03:52 ERROR: Failed to solve instance 1802.90/809.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 1809.32/814.35 03:57 ERROR: Failed to solve instance 1809.32/814.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 1809.73/814.70 03:58 ERROR: Failed to solve instance 1809.73/814.70 java.lang.OutOfMemoryError: GC overhead limit exceeded 1810.25/815.29 03:58 ERROR: Failed to solve instance 1810.25/815.29 java.lang.OutOfMemoryError: GC overhead limit exceeded 1811.31/816.24 03:59 ERROR: Failed to solve instance 1811.31/816.24 java.lang.OutOfMemoryError: GC overhead limit exceeded 1815.50/819.75 04:03 ERROR: Failed to solve instance 1815.50/819.75 java.lang.OutOfMemoryError: GC overhead limit exceeded 1815.71/819.98 04:03 ERROR: Failed to solve instance 1815.71/819.98 java.lang.OutOfMemoryError: GC overhead limit exceeded 1816.43/820.63 04:04 ERROR: Failed to solve instance 1816.43/820.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 1816.84/821.06 04:04 ERROR: Failed to solve instance 1816.84/821.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 1819.75/823.36 04:06 ERROR: Failed to solve instance 1819.75/823.36 java.lang.OutOfMemoryError: Java heap space 1820.30/823.90 04:07 ERROR: Failed to solve instance 1820.30/823.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 1830.25/831.86 04:15 ERROR: Failed to solve instance 1830.25/831.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 1831.18/832.75 04:16 ERROR: Failed to solve instance 1831.18/832.75 java.lang.OutOfMemoryError: GC overhead limit exceeded 1831.68/833.23 04:16 ERROR: Failed to solve instance 1831.68/833.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 1832.20/833.73 04:17 ERROR: Failed to solve instance 1832.20/833.73 java.lang.OutOfMemoryError: GC overhead limit exceeded 1832.71/834.25 04:17 ERROR: Failed to solve instance 1832.71/834.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 1833.58/835.04 04:18 ERROR: Failed to solve instance 1833.58/835.04 java.lang.OutOfMemoryError: GC overhead limit exceeded 1837.24/838.09 04:21 ERROR: Failed to solve instance 1837.24/838.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 1837.76/838.58 04:22 ERROR: Failed to solve instance 1837.76/838.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 1838.39/839.11 04:22 ERROR: Failed to solve instance 1838.39/839.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1846.10/845.18 04:28 ERROR: Failed to solve instance 1846.10/845.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1846.62/845.66 04:29 ERROR: Failed to solve instance 1846.62/845.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1847.14/846.17 04:29 ERROR: Failed to solve instance 1847.14/846.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 1852.45/850.35 04:33 ERROR: Failed to solve instance 1852.45/850.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 1853.37/851.28 04:34 ERROR: Failed to solve instance 1853.37/851.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 1853.89/851.78 04:35 ERROR: Failed to solve instance 1853.89/851.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 1854.52/852.36 04:35 ERROR: Failed to solve instance 1854.52/852.36 java.lang.OutOfMemoryError: GC overhead limit exceeded 1860.53/857.01 04:40 ERROR: Failed to solve instance 1860.53/857.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 1863.29/859.47 04:43 ERROR: Failed to solve instance 1863.29/859.47 java.lang.OutOfMemoryError: GC overhead limit exceeded 1863.80/859.92 04:43 ERROR: Failed to solve instance 1863.80/859.92 java.lang.OutOfMemoryError: GC overhead limit exceeded 1864.76/860.90 04:44 ERROR: Failed to solve instance 1864.76/860.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 1865.29/861.37 04:44 ERROR: Failed to solve instance 1865.29/861.37 java.lang.OutOfMemoryError: GC overhead limit exceeded 1869.95/865.12 04:48 ERROR: Failed to solve instance 1869.95/865.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 1870.49/865.63 04:49 ERROR: Failed to solve instance 1870.49/865.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 1871.56/866.65 04:50 ERROR: Failed to solve instance 1871.56/866.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1871.97/867.09 04:50 ERROR: Failed to solve instance 1871.97/867.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 1875.28/869.77 04:53 ERROR: Failed to solve instance 1875.28/869.77 java.lang.OutOfMemoryError: GC overhead limit exceeded 1881.77/874.99 04:58 ERROR: Failed to solve instance 1881.77/874.99 java.lang.OutOfMemoryError: GC overhead limit exceeded 1882.29/875.49 04:59 ERROR: Failed to solve instance 1882.29/875.49 java.lang.OutOfMemoryError: GC overhead limit exceeded 1882.92/876.03 04:59 ERROR: Failed to solve instance 1882.92/876.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 1885.23/878.03 05:01 ERROR: Failed to solve instance 1885.23/878.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 1889.26/881.51 05:05 ERROR: Failed to solve instance 1889.26/881.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 1889.78/882.07 05:05 ERROR: Failed to solve instance 1889.78/882.07 java.lang.OutOfMemoryError: GC overhead limit exceeded 1890.29/882.57 05:06 ERROR: Failed to solve instance 1890.29/882.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 1890.80/883.02 05:06 ERROR: Failed to solve instance 1890.80/883.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 1894.18/885.75 05:09 ERROR: Failed to solve instance 1894.18/885.75 java.lang.OutOfMemoryError: Java heap space 1902.00/892.05 05:15 ERROR: Failed to solve instance 1902.00/892.05 java.lang.OutOfMemoryError: GC overhead limit exceeded 1902.92/892.97 05:16 ERROR: Failed to solve instance 1902.92/892.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 1903.23/893.23 05:16 ERROR: Failed to solve instance 1903.23/893.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 1903.94/893.92 05:17 ERROR: Failed to solve instance 1903.94/893.92 java.lang.OutOfMemoryError: GC overhead limit exceeded 1904.47/894.42 05:17 ERROR: Failed to solve instance 1904.47/894.42 java.lang.OutOfMemoryError: GC overhead limit exceeded 1911.76/900.21 05:23 ERROR: Failed to solve instance 1911.76/900.21 java.lang.OutOfMemoryError: GC overhead limit exceeded 1912.68/901.14 05:24 ERROR: Failed to solve instance 1912.68/901.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1913.10/901.53 05:25 ERROR: Failed to solve instance 1913.10/901.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 1913.73/902.14 05:25 ERROR: Failed to solve instance 1913.73/902.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1914.26/902.65 05:26 ERROR: Failed to solve instance 1914.26/902.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1922.07/909.20 05:32 ERROR: Failed to solve instance 1922.07/909.20 java.lang.OutOfMemoryError: GC overhead limit exceeded 1922.49/909.65 05:33 ERROR: Failed to solve instance 1922.49/909.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1923.00/910.14 05:33 ERROR: Failed to solve instance 1923.00/910.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1926.59/913.23 05:36 ERROR: Failed to solve instance 1926.59/913.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 1927.12/913.72 05:37 ERROR: Failed to solve instance 1927.12/913.72 java.lang.OutOfMemoryError: GC overhead limit exceeded 1927.64/914.26 05:37 ERROR: Failed to solve instance 1927.64/914.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 1934.45/919.91 05:43 ERROR: Failed to solve instance 1934.45/919.91 java.lang.OutOfMemoryError: GC overhead limit exceeded 1934.87/920.36 05:43 ERROR: Failed to solve instance 1934.87/920.36 java.lang.OutOfMemoryError: GC overhead limit exceeded 1935.39/920.89 05:44 ERROR: Failed to solve instance 1935.39/920.89 java.lang.OutOfMemoryError: GC overhead limit exceeded 1941.37/925.72 05:49 ERROR: Failed to solve instance 1941.37/925.72 java.lang.OutOfMemoryError: GC overhead limit exceeded 1941.79/926.18 05:49 ERROR: Failed to solve instance 1941.79/926.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1942.39/926.74 05:50 ERROR: Failed to solve instance 1942.39/926.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 1943.41/927.78 05:51 ERROR: Failed to solve instance 1943.41/927.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 1944.04/928.38 05:51 ERROR: Failed to solve instance 1944.04/928.38 java.lang.OutOfMemoryError: GC overhead limit exceeded 1951.23/933.81 05:57 ERROR: Failed to solve instance 1951.23/933.81 java.lang.OutOfMemoryError: GC overhead limit exceeded 1951.63/934.25 05:57 ERROR: Failed to solve instance 1951.63/934.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 1952.55/935.18 05:58 ERROR: Failed to solve instance 1952.55/935.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1953.06/935.63 05:59 ERROR: Failed to solve instance 1953.06/935.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 1953.49/936.09 05:59 ERROR: Failed to solve instance 1953.49/936.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 1954.01/936.59 06:00 ERROR: Failed to solve instance 1954.01/936.59 java.lang.OutOfMemoryError: GC overhead limit exceeded 1957.94/939.81 06:03 ERROR: Failed to solve instance 1957.94/939.81 java.lang.OutOfMemoryError: GC overhead limit exceeded 1958.46/940.31 06:03 ERROR: Failed to solve instance 1958.46/940.31 java.lang.OutOfMemoryError: GC overhead limit exceeded 1958.99/940.85 06:04 ERROR: Failed to solve instance 1958.99/940.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1968.53/948.66 06:12 ERROR: Failed to solve instance 1968.53/948.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1968.94/949.08 06:12 ERROR: Failed to solve instance 1968.94/949.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 1969.35/949.46 06:12 ERROR: Failed to solve instance 1969.35/949.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 1970.17/950.29 06:13 ERROR: Failed to solve instance 1970.17/950.29 java.lang.OutOfMemoryError: GC overhead limit exceeded 1970.68/950.76 06:14 ERROR: Failed to solve instance 1970.68/950.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 1971.20/951.27 06:14 ERROR: Failed to solve instance 1971.20/951.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 1974.65/954.06 06:17 ERROR: Failed to solve instance 1974.65/954.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 1975.17/954.57 06:18 ERROR: Failed to solve instance 1975.17/954.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 1976.19/955.51 06:18 ERROR: Failed to solve instance 1976.19/955.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 1976.72/956.11 06:19 ERROR: Failed to solve instance 1976.72/956.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1984.57/962.14 06:25 ERROR: Failed to solve instance 1984.57/962.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1985.09/962.61 06:26 ERROR: Failed to solve instance 1985.09/962.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 1985.61/963.14 06:26 ERROR: Failed to solve instance 1985.61/963.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1989.59/966.33 06:29 ERROR: Failed to solve instance 1989.59/966.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 1990.54/967.26 06:30 ERROR: Failed to solve instance 1990.54/967.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 1990.85/967.53 06:31 ERROR: Failed to solve instance 1990.85/967.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 1991.60/968.26 06:31 ERROR: Failed to solve instance 1991.60/968.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 1995.48/971.41 06:34 ERROR: Failed to solve instance 1995.48/971.41 java.lang.OutOfMemoryError: GC overhead limit exceeded 1995.89/971.86 06:35 ERROR: Failed to solve instance 1995.89/971.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 1996.41/972.36 06:35 ERROR: Failed to solve instance 1996.41/972.36 java.lang.OutOfMemoryError: GC overhead limit exceeded 1997.44/973.33 06:36 ERROR: Failed to solve instance 1997.44/973.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 2001.71/976.73 06:40 ERROR: Failed to solve instance 2001.71/976.73 java.lang.OutOfMemoryError: GC overhead limit exceeded 2002.42/977.44 06:40 ERROR: Failed to solve instance 2002.42/977.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 2002.85/977.89 06:41 ERROR: Failed to solve instance 2002.85/977.89 java.lang.OutOfMemoryError: GC overhead limit exceeded 2003.36/978.35 06:41 ERROR: Failed to solve instance 2003.36/978.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 2006.35/980.70 06:44 ERROR: Failed to solve instance 2006.35/980.70 java.lang.OutOfMemoryError: GC overhead limit exceeded 2007.09/981.45 06:44 ERROR: Failed to solve instance 2007.09/981.45 java.lang.OutOfMemoryError: GC overhead limit exceeded 2011.61/985.12 06:48 ERROR: Failed to solve instance 2011.61/985.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 2012.14/985.62 06:49 ERROR: Failed to solve instance 2012.14/985.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 2022.31/993.66 06:57 ERROR: Failed to solve instance 2022.31/993.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 2023.22/994.58 06:58 ERROR: Failed to solve instance 2023.22/994.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 2023.74/995.06 06:58 ERROR: Failed to solve instance 2023.74/995.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 2024.26/995.58 06:59 ERROR: Failed to solve instance 2024.26/995.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 2024.87/996.11 06:59 ERROR: Failed to solve instance 2024.87/996.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 2025.63/996.90 07:00 ERROR: Failed to solve instance 2025.63/996.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 2032.87/1002.87 07:06 ERROR: Failed to solve instance 2032.87/1002.87 java.lang.OutOfMemoryError: GC overhead limit exceeded 2033.79/1003.79 07:07 ERROR: Failed to solve instance 2033.79/1003.79 java.lang.OutOfMemoryError: GC overhead limit exceeded 2034.31/1004.28 07:07 ERROR: Failed to solve instance 2034.31/1004.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 2034.93/1004.90 07:08 ERROR: Failed to solve instance 2034.93/1004.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 2042.38/1010.35 07:13 ERROR: Failed to solve instance 2042.38/1010.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 2043.15/1011.08 07:14 ERROR: Failed to solve instance 2043.15/1011.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 2046.81/1014.28 07:17 ERROR: Failed to solve instance 2046.81/1014.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 2047.44/1014.86 07:18 ERROR: Failed to solve instance 2047.44/1014.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 2047.76/1015.13 07:18 ERROR: Failed to solve instance 2047.76/1015.13 java.lang.OutOfMemoryError: GC overhead limit exceeded 2051.07/1017.89 07:21 ERROR: Failed to solve instance 2051.07/1017.89 java.lang.OutOfMemoryError: GC overhead limit exceeded 2051.90/1018.61 07:22 ERROR: Failed to solve instance 2051.90/1018.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 2052.44/1019.17 07:22 ERROR: Failed to solve instance 2052.44/1019.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 2057.17/1023.18 07:26 ERROR: Failed to solve instance 2057.17/1023.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 2057.99/1023.91 07:27 ERROR: Failed to solve instance 2057.99/1023.91 java.lang.OutOfMemoryError: GC overhead limit exceeded 2058.51/1024.44 07:27 ERROR: Failed to solve instance 2058.51/1024.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 2062.00/1027.27 07:30 ERROR: Failed to solve instance 2062.00/1027.27 java.lang.OutOfMemoryError: Java heap space 2062.33/1027.50 07:31 ERROR: Failed to solve instance 2062.33/1027.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 2069.64/1033.14 07:36 ERROR: Failed to solve instance 2069.64/1033.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 2070.15/1033.60 07:37 ERROR: Failed to solve instance 2070.15/1033.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 2071.08/1034.55 07:38 ERROR: Failed to solve instance 2071.08/1034.55 java.lang.OutOfMemoryError: GC overhead limit exceeded 2071.61/1035.06 07:38 ERROR: Failed to solve instance 2071.61/1035.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 2072.01/1035.46 07:38 ERROR: Failed to solve instance 2072.01/1035.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 2072.53/1035.98 07:39 ERROR: Failed to solve instance 2072.53/1035.98 java.lang.OutOfMemoryError: GC overhead limit exceeded 2081.14/1042.83 07:46 ERROR: Failed to solve instance 2081.14/1042.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 2081.66/1043.31 07:46 ERROR: Failed to solve instance 2081.66/1043.31 java.lang.OutOfMemoryError: GC overhead limit exceeded 2082.19/1043.81 07:47 ERROR: Failed to solve instance 2082.19/1043.81 java.lang.OutOfMemoryError: GC overhead limit exceeded 2082.93/1044.57 07:48 ERROR: Failed to solve instance 2082.93/1044.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 2087.97/1048.77 07:52 ERROR: Failed to solve instance 2087.97/1048.77 java.lang.OutOfMemoryError: Java heap space 2088.07/1048.87 07:52 ERROR: Failed to solve instance 2088.07/1048.87 java.lang.OutOfMemoryError: GC overhead limit exceeded 2089.00/1049.72 07:53 ERROR: Failed to solve instance 2089.00/1049.72 java.lang.OutOfMemoryError: GC overhead limit exceeded 2089.43/1050.18 07:53 ERROR: Failed to solve instance 2089.43/1050.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 2090.07/1050.73 07:54 ERROR: Failed to solve instance 2090.07/1050.73 java.lang.OutOfMemoryError: GC overhead limit exceeded 2094.24/1054.40 Exception in thread "SingleThreadedConstellation 3" java.lang.OutOfMemoryError: GC overhead limit exceeded 2102.10/1060.84 08:04 ERROR: Failed to solve instance 2102.10/1060.84 java.lang.OutOfMemoryError: GC overhead limit exceeded 2102.51/1061.22 08:04 ERROR: Failed to solve instance 2102.51/1061.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 2102.92/1061.64 08:05 ERROR: Failed to solve instance 2102.92/1061.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 2103.33/1062.09 08:05 ERROR: Failed to solve instance 2103.33/1062.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 2108.70/1066.27 08:09 ERROR: Failed to solve instance 2108.70/1066.27 java.lang.OutOfMemoryError: Java heap space 2110.03/1067.43 08:10 ERROR: Failed to solve instance 2110.03/1067.43 java.lang.OutOfMemoryError: Java heap space 2110.45/1067.85 08:11 ERROR: Failed to solve instance 2110.45/1067.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 2113.43/1070.45 08:13 ERROR: Failed to solve instance 2113.43/1070.45 java.lang.OutOfMemoryError: GC overhead limit exceeded 2113.84/1070.83 08:14 ERROR: Failed to solve instance 2113.84/1070.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 2114.25/1071.25 08:14 ERROR: Failed to solve instance 2114.25/1071.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 2114.89/1071.89 08:15 ERROR: Failed to solve instance 2114.89/1071.89 java.lang.OutOfMemoryError: GC overhead limit exceeded 2122.05/1077.39 08:20 ERROR: Failed to solve instance 2122.05/1077.39 java.lang.OutOfMemoryError: Java heap space 2124.72/1079.90 08:23 ERROR: Failed to solve instance 2124.72/1079.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 2125.25/1080.31 08:23 ERROR: Failed to solve instance 2125.25/1080.31 java.lang.OutOfMemoryError: GC overhead limit exceeded 2126.24/1081.24 08:24 ERROR: Failed to solve instance 2126.24/1081.24 java.lang.OutOfMemoryError: Java heap space 2126.44/1081.42 08:24 ERROR: Failed to solve instance 2126.44/1081.42 java.lang.OutOfMemoryError: GC overhead limit exceeded 2128.79/1083.43 08:26 ERROR: Failed to solve instance 2128.79/1083.43 java.lang.OutOfMemoryError: GC overhead limit exceeded 2129.20/1083.84 08:27 ERROR: Failed to solve instance 2129.20/1083.84 java.lang.OutOfMemoryError: GC overhead limit exceeded 2130.02/1084.61 08:28 ERROR: Failed to solve instance 2130.02/1084.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 2130.43/1085.03 08:28 ERROR: Failed to solve instance 2130.43/1085.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 2135.94/1089.38 08:32 ERROR: Failed to solve instance 2135.94/1089.38 java.lang.OutOfMemoryError: Java heap space 2136.57/1089.97 08:33 ERROR: Failed to solve instance 2136.57/1089.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 2136.98/1090.40 08:33 ERROR: Failed to solve instance 2136.98/1090.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 2145.65/1097.67 08:41 ERROR: Failed to solve instance 2145.65/1097.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 2146.26/1098.26 08:41 ERROR: Failed to solve instance 2146.26/1098.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 2146.88/1098.82 08:42 ERROR: Failed to solve instance 2146.88/1098.82 java.lang.OutOfMemoryError: GC overhead limit exceeded 2147.19/1099.17 08:42 ERROR: Failed to solve instance 2147.19/1099.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 2149.98/1101.51 08:45 ERROR: Failed to solve instance 2149.98/1101.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 2153.10/1104.23 08:47 ERROR: Failed to solve instance 2153.10/1104.23 java.lang.OutOfMemoryError: Java heap space 2153.31/1104.42 08:47 ERROR: Failed to solve instance 2153.31/1104.42 java.lang.OutOfMemoryError: GC overhead limit exceeded 2159.62/1109.78 08:53 ERROR: Failed to solve instance 2159.62/1109.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 2160.13/1110.21 08:53 ERROR: Failed to solve instance 2160.13/1110.21 java.lang.OutOfMemoryError: GC overhead limit exceeded 2160.54/1110.63 08:54 ERROR: Failed to solve instance 2160.54/1110.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 2165.22/1114.68 08:58 ERROR: Failed to solve instance 2165.22/1114.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 2165.64/1115.07 08:58 ERROR: Failed to solve instance 2165.64/1115.07 java.lang.OutOfMemoryError: GC overhead limit exceeded 2166.45/1115.83 08:59 ERROR: Failed to solve instance 2166.45/1115.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 2166.87/1116.26 08:59 ERROR: Failed to solve instance 2166.87/1116.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 2172.47/1120.84 09:04 ERROR: Failed to solve instance 2172.47/1120.84 java.lang.OutOfMemoryError: GC overhead limit exceeded 2172.87/1121.22 09:04 ERROR: Failed to solve instance 2172.87/1121.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 2173.49/1121.89 09:05 ERROR: Failed to solve instance 2173.49/1121.89 java.lang.OutOfMemoryError: GC overhead limit exceeded 2174.10/1122.41 09:05 ERROR: Failed to solve instance 2174.10/1122.41 java.lang.OutOfMemoryError: GC overhead limit exceeded 2174.51/1122.83 09:06 ERROR: Failed to solve instance 2174.51/1122.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 2174.93/1123.30 09:06 ERROR: Failed to solve instance 2174.93/1123.30 java.lang.OutOfMemoryError: GC overhead limit exceeded 2183.09/1130.02 09:13 ERROR: Failed to solve instance 2183.09/1130.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 2183.29/1130.20 09:13 ERROR: Failed to solve instance 2183.29/1130.20 java.lang.OutOfMemoryError: GC overhead limit exceeded 2185.80/1132.40 09:15 ERROR: Failed to solve instance 2185.80/1132.40 java.lang.OutOfMemoryError: Java heap space 2185.90/1132.55 09:15 ERROR: Failed to solve instance 2185.90/1132.55 java.lang.OutOfMemoryError: GC overhead limit exceeded 2186.32/1132.92 09:16 ERROR: Failed to solve instance 2186.32/1132.92 java.lang.OutOfMemoryError: GC overhead limit exceeded 2188.82/1135.26 09:18 ERROR: Failed to solve instance 2188.82/1135.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 2189.23/1135.67 09:19 ERROR: Failed to solve instance 2189.23/1135.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 2189.75/1136.13 09:19 ERROR: Failed to solve instance 2189.75/1136.13 java.lang.OutOfMemoryError: GC overhead limit exceeded 2196.33/1141.32 09:24 ERROR: Failed to solve instance 2196.33/1141.32 java.lang.OutOfMemoryError: Java heap space 2198.16/1143.08 09:26 ERROR: Failed to solve instance 2198.16/1143.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 2198.58/1143.48 09:27 ERROR: Failed to solve instance 2198.58/1143.48 java.lang.OutOfMemoryError: GC overhead limit exceeded 2199.41/1144.20 09:27 ERROR: Failed to solve instance 2199.41/1144.20 java.lang.OutOfMemoryError: GC overhead limit exceeded 2202.28/1146.76 09:30 ERROR: Failed to solve instance 2202.28/1146.76 java.lang.OutOfMemoryError: Java heap space 2202.48/1146.96 09:30 ERROR: Failed to solve instance 2202.48/1146.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 2210.10/1153.30 09:36 ERROR: Failed to solve instance 2210.10/1153.30 java.lang.OutOfMemoryError: GC overhead limit exceeded 2210.81/1154.05 09:37 ERROR: Failed to solve instance 2210.81/1154.05 java.lang.OutOfMemoryError: GC overhead limit exceeded 2211.23/1154.44 09:37 ERROR: Failed to solve instance 2211.23/1154.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 2211.64/1154.85 09:38 ERROR: Failed to solve instance 2211.64/1154.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 2212.06/1155.29 09:38 ERROR: Failed to solve instance 2212.06/1155.29 java.lang.OutOfMemoryError: GC overhead limit exceeded 2216.55/1159.00 09:42 ERROR: Failed to solve instance 2216.55/1159.00 java.lang.OutOfMemoryError: GC overhead limit exceeded 2218.88/1161.08 09:44 ERROR: Failed to solve instance 2218.88/1161.08 java.lang.OutOfMemoryError: Java heap space 2219.18/1161.33 09:44 ERROR: Failed to solve instance 2219.18/1161.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 2221.89/1163.60 09:47 ERROR: Failed to solve instance 2221.89/1163.60 java.lang.OutOfMemoryError: Java heap space 2224.98/1166.31 09:49 ERROR: Failed to solve instance 2224.98/1166.31 java.lang.OutOfMemoryError: Java heap space 2225.18/1166.50 09:50 ERROR: Failed to solve instance 2225.18/1166.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 2230.70/1171.14 09:54 ERROR: Failed to solve instance 2230.70/1171.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 2231.42/1171.90 09:55 ERROR: Failed to solve instance 2231.42/1171.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 2231.83/1172.29 09:55 ERROR: Failed to solve instance 2231.83/1172.29 java.lang.OutOfMemoryError: GC overhead limit exceeded 2232.34/1172.74 09:56 ERROR: Failed to solve instance 2232.34/1172.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 2232.64/1173.09 09:56 ERROR: Failed to solve instance 2232.64/1173.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 2239.87/1179.11 10:02 ERROR: Failed to solve instance 2239.87/1179.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 2240.28/1179.52 10:03 ERROR: Failed to solve instance 2240.28/1179.52 java.lang.OutOfMemoryError: GC overhead limit exceeded 2244.31/1183.07 10:06 ERROR: Failed to solve instance 2244.31/1183.07 java.lang.OutOfMemoryError: GC overhead limit exceeded 2244.72/1183.46 10:06 ERROR: Failed to solve instance 2244.72/1183.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 2245.54/1184.21 10:07 ERROR: Failed to solve instance 2245.54/1184.21 java.lang.OutOfMemoryError: GC overhead limit exceeded 2245.95/1184.60 10:08 ERROR: Failed to solve instance 2245.95/1184.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 2250.36/1188.30 10:11 ERROR: Failed to solve instance 2250.36/1188.30 java.lang.OutOfMemoryError: GC overhead limit exceeded 2250.67/1188.68 10:12 ERROR: Failed to solve instance 2250.67/1188.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 2251.09/1189.10 10:12 ERROR: Failed to solve instance 2251.09/1189.10 java.lang.OutOfMemoryError: GC overhead limit exceeded 2251.60/1189.57 10:13 ERROR: Failed to solve instance 2251.60/1189.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 2257.98/1194.60 10:18 ERROR: Failed to solve instance 2257.98/1194.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 2260.18/1196.41 10:19 ERROR: Failed to solve instance 2260.18/1196.41 java.lang.OutOfMemoryError: Java heap space 2261.59/1197.75 10:21 ERROR: Failed to solve instance 2261.59/1197.75 java.lang.OutOfMemoryError: Java heap space 2263.85/1199.83 10:23 ERROR: Failed to solve instance 2263.85/1199.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 2264.27/1200.28 10:23 ERROR: Failed to solve instance 2264.27/1200.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 2269.24/1204.49 10:27 ERROR: Failed to solve instance 2269.24/1204.49 java.lang.OutOfMemoryError: GC overhead limit exceeded 2269.65/1204.87 10:28 ERROR: Failed to solve instance 2269.65/1204.87 java.lang.OutOfMemoryError: GC overhead limit exceeded 2270.16/1205.35 10:28 ERROR: Failed to solve instance 2270.16/1205.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 2270.68/1205.89 10:29 ERROR: Failed to solve instance 2270.68/1205.89 java.lang.OutOfMemoryError: GC overhead limit exceeded 2276.82/1210.81 10:34 ERROR: Failed to solve instance 2276.82/1210.81 java.lang.OutOfMemoryError: Java heap space 2277.02/1211.01 10:34 ERROR: Failed to solve instance 2277.02/1211.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 2278.37/1212.29 10:35 ERROR: Failed to solve instance 2278.37/1212.29 java.lang.OutOfMemoryError: Java heap space 2280.91/1214.49 10:38 ERROR: Failed to solve instance 2280.91/1214.49 java.lang.OutOfMemoryError: Java heap space 2281.10/1214.68 10:38 ERROR: Failed to solve instance 2281.10/1214.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 2287.33/1219.81 10:43 ERROR: Failed to solve instance 2287.33/1219.81 java.lang.OutOfMemoryError: Java heap space 2287.43/1219.97 10:43 ERROR: Failed to solve instance 2287.43/1219.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 2287.84/1220.38 10:43 ERROR: Failed to solve instance 2287.84/1220.38 java.lang.OutOfMemoryError: GC overhead limit exceeded 2293.65/1225.09 10:48 ERROR: Failed to solve instance 2293.65/1225.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 2294.37/1225.71 10:49 ERROR: Failed to solve instance 2294.37/1225.71 java.lang.OutOfMemoryError: GC overhead limit exceeded 2294.78/1226.13 10:49 ERROR: Failed to solve instance 2294.78/1226.13 java.lang.OutOfMemoryError: GC overhead limit exceeded 2298.52/1229.32 10:52 ERROR: Failed to solve instance 2298.52/1229.32 java.lang.OutOfMemoryError: GC overhead limit exceeded 2298.83/1229.67 10:53 ERROR: Failed to solve instance 2298.83/1229.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 2301.45/1231.94 10:55 ERROR: Failed to solve instance 2301.45/1231.94 java.lang.OutOfMemoryError: GC overhead limit exceeded 2301.86/1232.36 10:55 ERROR: Failed to solve instance 2301.86/1232.36 java.lang.OutOfMemoryError: GC overhead limit exceeded 2302.78/1233.22 10:56 ERROR: Failed to solve instance 2302.78/1233.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 2303.31/1233.75 10:57 ERROR: Failed to solve instance 2303.31/1233.75 java.lang.OutOfMemoryError: GC overhead limit exceeded 2309.06/1238.26 11:01 ERROR: Failed to solve instance 2309.06/1238.26 java.lang.OutOfMemoryError: Java heap space 2309.67/1238.83 11:02 ERROR: Failed to solve instance 2309.67/1238.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 2310.09/1239.25 11:02 ERROR: Failed to solve instance 2310.09/1239.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 2314.32/1242.79 11:06 ERROR: Failed to solve instance 2314.32/1242.79 java.lang.OutOfMemoryError: Java heap space 2314.53/1242.97 11:06 ERROR: Failed to solve instance 2314.53/1242.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 2317.13/1245.25 11:08 ERROR: Failed to solve instance 2317.13/1245.25 java.lang.OutOfMemoryError: Java heap space 2319.67/1247.43 11:10 ERROR: Failed to solve instance 2319.67/1247.43 java.lang.OutOfMemoryError: GC overhead limit exceeded 2325.62/1252.56 11:16 ERROR: Failed to solve instance 2325.62/1252.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 2326.04/1252.96 11:16 ERROR: Failed to solve instance 2326.04/1252.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 2328.93/1255.58 11:19 ERROR: Failed to solve instance 2328.93/1255.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 2329.35/1255.98 11:19 ERROR: Failed to solve instance 2329.35/1255.98 java.lang.OutOfMemoryError: GC overhead limit exceeded 2329.87/1256.40 11:19 ERROR: Failed to solve instance 2329.87/1256.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 2330.59/1257.19 11:20 ERROR: Failed to solve instance 2330.59/1257.19 java.lang.OutOfMemoryError: GC overhead limit exceeded 2330.90/1257.42 11:20 ERROR: Failed to solve instance 2330.90/1257.42 java.lang.OutOfMemoryError: GC overhead limit exceeded 2336.04/1261.49 11:25 ERROR: Failed to solve instance 2336.04/1261.49 java.lang.OutOfMemoryError: Java heap space 2340.37/1265.21 11:28 ERROR: Failed to solve instance 2340.37/1265.21 java.lang.OutOfMemoryError: Java heap space 2340.48/1265.37 11:28 ERROR: Failed to solve instance 2340.48/1265.37 java.lang.OutOfMemoryError: GC overhead limit exceeded 2343.30/1267.83 11:31 ERROR: Failed to solve instance 2343.30/1267.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 2343.72/1268.22 11:31 ERROR: Failed to solve instance 2343.72/1268.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 2344.12/1268.64 11:32 ERROR: Failed to solve instance 2344.12/1268.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 2351.48/1274.82 11:38 ERROR: Failed to solve instance 2351.48/1274.82 java.lang.OutOfMemoryError: GC overhead limit exceeded 2352.31/1275.61 11:39 ERROR: Failed to solve instance 2352.31/1275.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 2352.73/1276.02 11:39 ERROR: Failed to solve instance 2352.73/1276.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 2353.23/1276.51 11:40 ERROR: Failed to solve instance 2353.23/1276.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 2353.65/1276.90 11:40 ERROR: Failed to solve instance 2353.65/1276.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 2358.87/1281.17 11:44 ERROR: Failed to solve instance 2358.87/1281.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 2359.28/1281.57 11:45 ERROR: Failed to solve instance 2359.28/1281.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 2360.10/1282.33 11:45 ERROR: Failed to solve instance 2360.10/1282.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 2360.51/1282.75 11:46 ERROR: Failed to solve instance 2360.51/1282.75 java.lang.OutOfMemoryError: GC overhead limit exceeded 2361.04/1283.29 11:46 ERROR: Failed to solve instance 2361.04/1283.29 java.lang.OutOfMemoryError: GC overhead limit exceeded 2365.61/1286.65 11:50 ERROR: Failed to solve instance 2365.61/1286.65 java.lang.OutOfMemoryError: Java heap space 2367.12/1288.01 11:51 ERROR: Failed to solve instance 2367.12/1288.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 2372.86/1293.01 11:56 ERROR: Failed to solve instance 2372.86/1293.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 2373.58/1293.73 11:57 ERROR: Failed to solve instance 2373.58/1293.73 java.lang.OutOfMemoryError: GC overhead limit exceeded 2374.09/1294.23 11:57 ERROR: Failed to solve instance 2374.09/1294.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 2374.60/1294.78 11:58 ERROR: Failed to solve instance 2374.60/1294.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 2375.21/1295.37 11:58 ERROR: Failed to solve instance 2375.21/1295.37 java.lang.OutOfMemoryError: GC overhead limit exceeded 2381.45/1300.45 12:03 ERROR: Failed to solve instance 2381.45/1300.45 java.lang.OutOfMemoryError: GC overhead limit exceeded 2382.16/1301.19 Exception in thread "SingleThreadedConstellation 4" 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-3311268-1304117423/watcher-3311268-1304117423 -o /tmp/evaluation-result-3311268-1304117423/solver-3311268-1304117423 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311268-1304117423.cnf -hbr 2 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.40 3.91 4.41 3/194 27579 /proc/meminfo: memFree=25808320/32951124 swapFree=67051468/67111528 [pid=27579] ppid=27577 vsize=30580 CPUtime=0 cores=1,3,5,7 /proc/27579/stat : 27579 (java) S 27577 27579 27023 0 -1 4202496 1440 0 0 0 0 0 0 0 21 0 2 0 523345064 31313920 909 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 /proc/27579/statm: 7645 915 700 9 0 383 0 [pid=27579/tid=27580] ppid=27577 vsize=30580 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27580/stat : 27580 (java) R 27577 27579 27023 0 -1 4202560 100 0 0 0 0 0 0 0 24 0 2 0 523345065 31313920 926 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218365989156 0 0 4096 0 0 0 0 -1 5 0 0 0 [startup+0.038307 s] /proc/loadavg: 3.40 3.91 4.41 3/194 27579 /proc/meminfo: memFree=25808320/32951124 swapFree=67051468/67111528 [pid=27579] ppid=27577 vsize=15669784 CPUtime=0.02 cores=1,3,5,7 /proc/27579/stat : 27579 (java) S 27577 27579 27023 0 -1 4202496 3782 0 1 0 2 0 0 0 21 0 13 0 523345064 16045858816 3221 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382759909 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 0 /proc/27579/statm: 3917446 3221 1682 9 0 3908194 0 [pid=27579/tid=27580] ppid=27577 vsize=15669784 CPUtime=0.02 cores=1,3,5,7 /proc/27579/task/27580/stat : 27580 (java) S 27577 27579 27023 0 -1 4202560 2390 0 1 0 2 0 0 0 18 0 13 0 523345065 16045858816 3221 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382786527 0 2147483391 0 16800971 18446744071699199166 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 15669784 [startup+0.100286 s] /proc/loadavg: 3.40 3.91 4.41 3/194 27579 /proc/meminfo: memFree=25808320/32951124 swapFree=67051468/67111528 [pid=27579] ppid=27577 vsize=15676476 CPUtime=0.1 cores=1,3,5,7 /proc/27579/stat : 27579 (java) S 27577 27579 27023 0 -1 4202496 5584 0 1 0 9 1 0 0 21 0 18 0 523345064 16052711424 5023 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/27579/statm: 3919119 5023 2118 9 0 3909838 0 [pid=27579/tid=27580] ppid=27577 vsize=15676476 CPUtime=0.08 cores=1,3,5,7 /proc/27579/task/27580/stat : 27580 (java) R 27577 27579 27023 0 -1 4202560 3458 0 1 0 8 0 0 0 18 0 18 0 523345065 16052711424 5023 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382783947 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 15676476 [startup+0.300251 s] /proc/loadavg: 3.40 3.91 4.41 3/194 27579 /proc/meminfo: memFree=25808320/32951124 swapFree=67051468/67111528 [pid=27579] ppid=27577 vsize=15679648 CPUtime=0.52 cores=1,3,5,7 /proc/27579/stat : 27579 (java) S 27577 27579 27023 0 -1 4202496 15950 0 1 0 49 3 0 0 21 0 18 0 523345064 16055959552 14454 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/27579/statm: 3919912 14462 2207 9 0 3910631 0 [pid=27579/tid=27580] ppid=27577 vsize=15679648 CPUtime=0.28 cores=1,3,5,7 /proc/27579/task/27580/stat : 27580 (java) R 27577 27579 27023 0 -1 4202560 10872 0 1 0 26 2 0 0 18 0 18 0 523345065 16055959552 14465 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 46912505642353 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 15679648 [startup+0.701182 s] /proc/loadavg: 3.40 3.91 4.41 3/194 27579 /proc/meminfo: memFree=25808320/32951124 swapFree=67051468/67111528 [pid=27579] ppid=27577 vsize=15679648 CPUtime=0.92 cores=1,3,5,7 /proc/27579/stat : 27579 (java) S 27577 27579 27023 0 -1 4202496 41843 0 1 0 86 6 0 0 21 0 18 0 523345064 16055959552 40345 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/27579/statm: 3919912 40345 2223 9 0 3910631 0 [pid=27579/tid=27580] ppid=27577 vsize=15679648 CPUtime=0.68 cores=1,3,5,7 /proc/27579/task/27580/stat : 27580 (java) R 27577 27579 27023 0 -1 4202560 35509 0 1 0 63 5 0 0 18 0 18 0 523345065 16055959552 40345 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 46912505521024 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.92 Current children cumulated vsize (KiB) 15679648 [startup+1.50103 s] /proc/loadavg: 3.40 3.91 4.41 9/220 27605 /proc/meminfo: memFree=25481068/32951124 swapFree=67051468/67111528 [pid=27579] ppid=27577 vsize=15691032 CPUtime=2.24 cores=1,3,5,7 /proc/27579/stat : 27579 (java) S 27577 27579 27023 0 -1 4202496 47717 0 1 0 217 7 0 0 21 0 22 0 523345064 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/27579/statm: 3922758 43588 2265 9 0 3913477 0 [pid=27579/tid=27580] ppid=27577 vsize=15691032 CPUtime=1.47 cores=1,3,5,7 /proc/27579/task/27580/stat : 27580 (java) R 27577 27579 27023 0 -1 4202560 35612 0 1 0 142 5 0 0 21 0 22 0 523345065 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 46912505760831 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=27579/tid=27582] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27023 0 -1 4202560 721 0 0 0 0 0 0 0 18 0 22 0 523345065 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27583] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27023 0 -1 4202560 51 0 0 0 0 0 0 0 18 0 22 0 523345065 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27584] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27023 0 -1 4202560 297 0 0 0 0 0 0 0 18 0 22 0 523345065 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27585] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27023 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523345065 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27586] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27023 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523345065 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27587] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27023 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 523345065 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27588] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27588/stat : 27588 (java) S 27577 27579 27023 0 -1 4202560 389 0 0 0 0 0 0 0 18 0 22 0 523345065 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27589] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27589/stat : 27589 (java) S 27577 27579 27023 0 -1 4202560 45 0 0 0 0 0 0 0 18 0 22 0 523345065 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27590] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27590/stat : 27590 (java) S 27577 27579 27023 0 -1 4202560 71 0 0 0 0 0 0 0 18 0 22 0 523345066 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773760 0 0 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27591] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27591/stat : 27591 (java) S 27577 27579 27023 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 523345066 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27592] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27592/stat : 27592 (java) S 27577 27579 27023 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 22 0 523345066 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27593] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27593/stat : 27593 (java) S 27577 27579 27023 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523345068 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382780849 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27594] ppid=27577 vsize=15691032 CPUtime=0.34 cores=1,3,5,7 /proc/27579/task/27594/stat : 27594 (java) S 27577 27579 27023 0 -1 4202560 4187 0 0 0 34 0 0 0 16 0 22 0 523345068 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27595] ppid=27577 vsize=15691032 CPUtime=0.38 cores=1,3,5,7 /proc/27579/task/27595/stat : 27595 (java) S 27577 27579 27023 0 -1 4202560 4912 0 0 0 38 0 0 0 16 0 22 0 523345069 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27596] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27596/stat : 27596 (java) S 27577 27579 27023 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 523345069 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27597] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27597/stat : 27597 (java) S 27577 27579 27023 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523345069 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773760 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27602] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27602/stat : 27602 (java) S 27577 27579 27023 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 523345147 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773760 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27603] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27603/stat : 27603 (java) S 27577 27579 27023 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523345147 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773760 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27604] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27604/stat : 27604 (java) S 27577 27579 27023 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 523345147 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773760 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27605] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27605/stat : 27605 (java) S 27577 27579 27023 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523345147 16067616768 43588 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773760 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.24 Current children cumulated vsize (KiB) 15691032 [startup+3.10474 s] /proc/loadavg: 3.40 3.91 4.41 8/220 27605 /proc/meminfo: memFree=25393152/32951124 swapFree=67051468/67111528 [pid=27579] ppid=27577 vsize=15691032 CPUtime=6.05 cores=1,3,5,7 /proc/27579/stat : 27579 (java) S 27577 27579 27023 0 -1 4202496 71614 0 1 0 595 10 0 0 21 0 22 0 523345064 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/27579/statm: 3922758 67081 2275 9 0 3913477 0 [pid=27579/tid=27580] ppid=27577 vsize=15691032 CPUtime=2.02 cores=1,3,5,7 /proc/27579/task/27580/stat : 27580 (java) S 27577 27579 27023 0 -1 4202560 35664 0 1 0 197 5 0 0 22 0 22 0 523345065 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27582] ppid=27577 vsize=15691032 CPUtime=0.01 cores=1,3,5,7 /proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27023 0 -1 4202560 3316 0 0 0 1 0 0 0 15 0 22 0 523345065 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27583] ppid=27577 vsize=15691032 CPUtime=0.01 cores=1,3,5,7 /proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27023 0 -1 4202560 4841 0 0 0 1 0 0 0 16 0 22 0 523345065 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27584] ppid=27577 vsize=15691032 CPUtime=0.02 cores=1,3,5,7 /proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27023 0 -1 4202560 4107 0 0 0 2 0 0 0 16 0 22 0 523345065 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27585] ppid=27577 vsize=15691032 CPUtime=0.01 cores=1,3,5,7 /proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27023 0 -1 4202560 4722 0 0 0 1 0 0 0 15 0 22 0 523345065 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27586] ppid=27577 vsize=15691032 CPUtime=0.01 cores=1,3,5,7 /proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27023 0 -1 4202560 1979 0 0 0 1 0 0 0 15 0 22 0 523345065 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27587] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27023 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 22 0 523345065 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27588] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27588/stat : 27588 (java) S 27577 27579 27023 0 -1 4202560 1844 0 0 0 0 0 0 0 15 0 22 0 523345065 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27589] ppid=27577 vsize=15691032 CPUtime=0.02 cores=1,3,5,7 /proc/27579/task/27589/stat : 27589 (java) S 27577 27579 27023 0 -1 4202560 3766 0 0 0 2 0 0 0 15 0 22 0 523345065 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27590] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27590/stat : 27590 (java) S 27577 27579 27023 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 22 0 523345066 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773760 0 0 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27591] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27591/stat : 27591 (java) S 27577 27579 27023 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523345066 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27592] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27592/stat : 27592 (java) S 27577 27579 27023 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 523345066 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27593] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27593/stat : 27593 (java) S 27577 27579 27023 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523345068 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382780849 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27594] ppid=27577 vsize=15691032 CPUtime=0.68 cores=1,3,5,7 /proc/27579/task/27594/stat : 27594 (java) S 27577 27579 27023 0 -1 4202560 4237 0 0 0 68 0 0 0 15 0 22 0 523345068 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27595] ppid=27577 vsize=15691032 CPUtime=0.96 cores=1,3,5,7 /proc/27579/task/27595/stat : 27595 (java) S 27577 27579 27023 0 -1 4202560 5430 0 0 0 96 0 0 0 15 0 22 0 523345069 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27596] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27596/stat : 27596 (java) S 27577 27579 27023 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 523345069 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27597] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27597/stat : 27597 (java) S 27577 27579 27023 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523345069 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773760 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27602] ppid=27577 vsize=15691032 CPUtime=0.69 cores=1,3,5,7 /proc/27579/task/27602/stat : 27602 (java) R 27577 27579 27023 0 -1 4202560 16 0 0 0 69 0 0 0 15 0 22 0 523345147 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 46912506132536 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=27579/tid=27603] ppid=27577 vsize=15691032 CPUtime=0.4 cores=1,3,5,7 /proc/27579/task/27603/stat : 27603 (java) R 27577 27579 27023 0 -1 4202560 7 0 0 0 40 0 0 0 15 0 22 0 523345147 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 46912506132531 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=27579/tid=27604] ppid=27577 vsize=15691032 CPUtime=0.62 cores=1,3,5,7 /proc/27579/task/27604/stat : 27604 (java) R 27577 27579 27023 0 -1 4202560 25 0 0 0 62 0 0 0 16 0 22 0 523345147 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 46912506132536 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=27579/tid=27605] ppid=27577 vsize=15691032 CPUtime=0.46 cores=1,3,5,7 /proc/27579/task/27605/stat : 27605 (java) R 27577 27579 27023 0 -1 4202560 9 0 0 0 46 0 0 0 15 0 22 0 523345147 16067616768 67081 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 46912506296479 0 4 0 16800975 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 6.05 Current children cumulated vsize (KiB) 15691032 [startup+6.30115 s] /proc/loadavg: 3.61 3.94 4.42 13/220 27605 /proc/meminfo: memFree=24057692/32951124 swapFree=67051468/67111528 [pid=27579] ppid=27577 vsize=15691032 CPUtime=18.8 cores=1,3,5,7 /proc/27579/stat : 27579 (java) S 27577 27579 27023 0 -1 4202496 264849 0 1 0 1841 39 0 0 21 0 22 0 523345064 16067616768 259296 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/27579/statm: 3922758 259296 2275 9 0 3913477 0 [pid=27579/tid=27580] ppid=27577 vsize=15691032 CPUtime=2.02 cores=1,3,5,7 /proc/27579/task/27580/stat : 27580 (java) S 27577 27579 27023 0 -1 4202560 35664 0 1 0 197 5 0 0 22 0 22 0 523345065 16067616768 259296 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27582] ppid=27577 vsize=15691032 CPUtime=0.14 cores=1,3,5,7 /proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27023 0 -1 4202560 24981 0 0 0 10 4 0 0 15 0 22 0 523345065 16067616768 259296 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27583] ppid=27577 vsize=15691032 CPUtime=0.1 cores=1,3,5,7 /proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27023 0 -1 4202560 22732 0 0 0 7 3 0 0 15 0 22 0 523345065 16067616768 259296 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27584] ppid=27577 vsize=15691032 CPUtime=0.22 cores=1,3,5,7 /proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27023 0 -1 4202560 30225 0 0 0 18 4 0 0 15 0 22 0 523345065 16067616768 259296 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27585] ppid=27577 vsize=15691032 CPUtime=0.1 cores=1,3,5,7 /proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27023 0 -1 4202560 17987 0 0 0 7 3 0 0 16 0 22 0 523345065 16067616768 259296 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27586] ppid=27577 vsize=15691032 CPUtime=0.09 cores=1,3,5,7 /proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27023 0 -1 4202560 13272 0 0 0 8 1 0 0 15 0 22 0 523345065 16067616768 259296 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27587] ppid=27577 vsize=15691032 CPUtime=0.09 cores=1,3,5,7 /proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27023 0 -1 4202560 15544 0 0 0 7 2 0 0 15 0 22 0 523345065 16067616768 259296 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27588] ppid=27577 vsize=15691032 CPUtime=0.04 cores=1,3,5,7 /proc/27579/task/27588/stat : 27588 (java) S 27577 27579 27023 0 -1 4202560 8159 0 0 0 3 1 0 0 15 0 22 0 523345065 16067616768 259296 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27589] ppid=27577 vsize=15691032 CPUtime=0.21 cores=1,3,5,7 /proc/27579/task/27589/stat : 27589 (java) S 27577 27579 27023 0 -1 4202560 31485 0 0 0 17 4 0 0 15 0 22 0 523345065 16067616768 259296 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 ################ # More data... # ################ /proc/27579/statm: 3922758 3839475 2295 9 0 3913477 0 [pid=27579/tid=27580] ppid=27577 vsize=15691032 CPUtime=2.02 cores=1,3,5,7 /proc/27579/task/27580/stat : 27580 (java) S 27577 27579 27023 0 -1 4202560 35664 0 1 0 197 5 0 0 22 0 21 0 523345065 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27582] ppid=27577 vsize=15691032 CPUtime=2.34 cores=1,3,5,7 /proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27023 0 -1 4202560 235452 0 0 0 194 40 0 0 16 0 21 0 523345065 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27583] ppid=27577 vsize=15691032 CPUtime=2.66 cores=1,3,5,7 /proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27023 0 -1 4202560 372067 0 0 0 203 63 0 0 16 0 21 0 523345065 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27584] ppid=27577 vsize=15691032 CPUtime=2.65 cores=1,3,5,7 /proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27023 0 -1 4202560 358819 0 0 0 207 58 0 0 15 0 21 0 523345065 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27585] ppid=27577 vsize=15691032 CPUtime=3.21 cores=1,3,5,7 /proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27023 0 -1 4202560 396246 0 0 0 258 63 0 0 16 0 21 0 523345065 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27586] ppid=27577 vsize=15691032 CPUtime=3.52 cores=1,3,5,7 /proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27023 0 -1 4202560 486607 0 0 0 272 80 0 0 16 0 21 0 523345065 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27587] ppid=27577 vsize=15691032 CPUtime=2.82 cores=1,3,5,7 /proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27023 0 -1 4202560 355815 0 0 0 227 55 0 0 15 0 21 0 523345065 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27588] ppid=27577 vsize=15691032 CPUtime=2.74 cores=1,3,5,7 /proc/27579/task/27588/stat : 27588 (java) S 27577 27579 27023 0 -1 4202560 372352 0 0 0 211 63 0 0 16 0 21 0 523345065 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27589] ppid=27577 vsize=15691032 CPUtime=2.61 cores=1,3,5,7 /proc/27579/task/27589/stat : 27589 (java) S 27577 27579 27023 0 -1 4202560 281263 0 0 0 216 45 0 0 16 0 21 0 523345065 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27590] ppid=27577 vsize=15691032 CPUtime=928.51 cores=1,3,5,7 /proc/27579/task/27590/stat : 27590 (java) R 27577 27579 27023 0 -1 4202560 719178 0 0 0 92715 136 0 0 17 0 21 0 523345066 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382783157 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=27579/tid=27591] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27591/stat : 27591 (java) S 27577 27579 27023 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 21 0 523345066 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27592] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27592/stat : 27592 (java) S 27577 27579 27023 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 21 0 523345066 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27593] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27593/stat : 27593 (java) S 27577 27579 27023 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 21 0 523345068 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382780849 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27594] ppid=27577 vsize=15691032 CPUtime=0.83 cores=1,3,5,7 /proc/27579/task/27594/stat : 27594 (java) S 27577 27579 27023 0 -1 4202560 4257 0 0 0 83 0 0 0 16 0 21 0 523345068 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27595] ppid=27577 vsize=15691032 CPUtime=1.12 cores=1,3,5,7 /proc/27579/task/27595/stat : 27595 (java) S 27577 27579 27023 0 -1 4202560 5453 0 0 0 112 0 0 0 15 0 21 0 523345069 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27596] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27596/stat : 27596 (java) S 27577 27579 27023 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 21 0 523345069 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27597] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27597/stat : 27597 (java) S 27577 27579 27023 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 21 0 523345069 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773760 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27602] ppid=27577 vsize=15691032 CPUtime=361.64 cores=1,3,5,7 /proc/27579/task/27602/stat : 27602 (java) R 27577 27579 27023 0 -1 4202560 57564 0 0 0 36145 19 0 0 15 0 21 0 523345147 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=27579/tid=27603] ppid=27577 vsize=15691032 CPUtime=360.89 cores=1,3,5,7 /proc/27579/task/27603/stat : 27603 (java) R 27577 27579 27023 0 -1 4202560 59267 0 0 0 36069 20 0 0 15 0 21 0 523345147 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 46912506296479 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=27579/tid=27605] ppid=27577 vsize=15691032 CPUtime=361.93 cores=1,3,5,7 /proc/27579/task/27605/stat : 27605 (java) S 27577 27579 27023 0 -1 4202560 63105 0 0 0 36173 20 0 0 15 0 21 0 523345147 16067616768 3839475 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2381.06 Current children cumulated vsize (KiB) 15691032 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1300.6 s] /proc/loadavg: 5.17 5.28 5.28 7/220 27703 /proc/meminfo: memFree=5000012/32951124 swapFree=67051468/67111528 [pid=27579] ppid=27577 vsize=15691032 CPUtime=2381.65 cores=1,3,5,7 /proc/27579/stat : 27579 (java) S 27577 27579 27023 0 -1 4202496 3867427 0 1 0 237470 695 0 0 18 0 21 0 523345064 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/27579/statm: 3922758 3839481 2295 9 0 3913477 0 [pid=27579/tid=27580] ppid=27577 vsize=15691032 CPUtime=2.02 cores=1,3,5,7 /proc/27579/task/27580/stat : 27580 (java) S 27577 27579 27023 0 -1 4202560 35664 0 1 0 197 5 0 0 22 0 21 0 523345065 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27582] ppid=27577 vsize=15691032 CPUtime=2.34 cores=1,3,5,7 /proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27023 0 -1 4202560 235452 0 0 0 194 40 0 0 16 0 21 0 523345065 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27583] ppid=27577 vsize=15691032 CPUtime=2.66 cores=1,3,5,7 /proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27023 0 -1 4202560 372067 0 0 0 203 63 0 0 16 0 21 0 523345065 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27584] ppid=27577 vsize=15691032 CPUtime=2.65 cores=1,3,5,7 /proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27023 0 -1 4202560 358819 0 0 0 207 58 0 0 15 0 21 0 523345065 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27585] ppid=27577 vsize=15691032 CPUtime=3.21 cores=1,3,5,7 /proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27023 0 -1 4202560 396246 0 0 0 258 63 0 0 16 0 21 0 523345065 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27586] ppid=27577 vsize=15691032 CPUtime=3.52 cores=1,3,5,7 /proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27023 0 -1 4202560 486607 0 0 0 272 80 0 0 16 0 21 0 523345065 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27587] ppid=27577 vsize=15691032 CPUtime=2.82 cores=1,3,5,7 /proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27023 0 -1 4202560 355815 0 0 0 227 55 0 0 15 0 21 0 523345065 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27588] ppid=27577 vsize=15691032 CPUtime=2.74 cores=1,3,5,7 /proc/27579/task/27588/stat : 27588 (java) S 27577 27579 27023 0 -1 4202560 372352 0 0 0 211 63 0 0 16 0 21 0 523345065 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27589] ppid=27577 vsize=15691032 CPUtime=2.61 cores=1,3,5,7 /proc/27579/task/27589/stat : 27589 (java) S 27577 27579 27023 0 -1 4202560 281263 0 0 0 216 45 0 0 16 0 21 0 523345065 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27590] ppid=27577 vsize=15691032 CPUtime=929.1 cores=1,3,5,7 /proc/27579/task/27590/stat : 27590 (java) R 27577 27579 27023 0 -1 4202560 719178 0 0 0 92774 136 0 0 17 0 21 0 523345066 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 47175293235569 0 0 0 16800975 0 0 0 -1 3 0 0 0 [pid=27579/tid=27591] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27591/stat : 27591 (java) S 27577 27579 27023 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 21 0 523345066 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27592] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27592/stat : 27592 (java) S 27577 27579 27023 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 21 0 523345066 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27593] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27593/stat : 27593 (java) S 27577 27579 27023 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 21 0 523345068 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27594] ppid=27577 vsize=15691032 CPUtime=0.83 cores=1,3,5,7 /proc/27579/task/27594/stat : 27594 (java) S 27577 27579 27023 0 -1 4202560 4257 0 0 0 83 0 0 0 16 0 21 0 523345068 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27595] ppid=27577 vsize=15691032 CPUtime=1.12 cores=1,3,5,7 /proc/27579/task/27595/stat : 27595 (java) S 27577 27579 27023 0 -1 4202560 5453 0 0 0 112 0 0 0 15 0 21 0 523345069 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27596] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27596/stat : 27596 (java) S 27577 27579 27023 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 21 0 523345069 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27597] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27597/stat : 27597 (java) S 27577 27579 27023 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 21 0 523345069 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773760 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27602] ppid=27577 vsize=15691032 CPUtime=361.64 cores=1,3,5,7 /proc/27579/task/27602/stat : 27602 (java) S 27577 27579 27023 0 -1 4202560 57564 0 0 0 36145 19 0 0 15 0 21 0 523345147 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27603] ppid=27577 vsize=15691032 CPUtime=360.9 cores=1,3,5,7 /proc/27579/task/27603/stat : 27603 (java) S 27577 27579 27023 0 -1 4202560 59267 0 0 0 36070 20 0 0 16 0 21 0 523345147 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27605] ppid=27577 vsize=15691032 CPUtime=361.93 cores=1,3,5,7 /proc/27579/task/27605/stat : 27605 (java) S 27577 27579 27023 0 -1 4202560 63107 0 0 0 36173 20 0 0 15 0 21 0 523345147 16067616768 3839481 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2381.65 Current children cumulated vsize (KiB) 15691032 [startup+1301.4 s] /proc/loadavg: 5.17 5.28 5.28 6/221 27705 /proc/meminfo: memFree=4999804/32951124 swapFree=67051468/67111528 [pid=27579] ppid=27577 vsize=15691032 CPUtime=2382.45 cores=1,3,5,7 /proc/27579/stat : 27579 (java) S 27577 27579 27023 0 -1 4202496 3867439 0 1 0 237550 695 0 0 18 0 22 0 523345064 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/27579/statm: 3922758 3839484 2295 9 0 3913477 0 [pid=27579/tid=27580] ppid=27577 vsize=15691032 CPUtime=2.02 cores=1,3,5,7 /proc/27579/task/27580/stat : 27580 (java) S 27577 27579 27023 0 -1 4202560 35664 0 1 0 197 5 0 0 22 0 22 0 523345065 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 3 0 0 0 [pid=27579/tid=27582] ppid=27577 vsize=15691032 CPUtime=2.34 cores=1,3,5,7 /proc/27579/task/27582/stat : 27582 (java) S 27577 27579 27023 0 -1 4202560 235452 0 0 0 194 40 0 0 16 0 22 0 523345065 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27583] ppid=27577 vsize=15691032 CPUtime=2.66 cores=1,3,5,7 /proc/27579/task/27583/stat : 27583 (java) S 27577 27579 27023 0 -1 4202560 372067 0 0 0 203 63 0 0 16 0 22 0 523345065 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27584] ppid=27577 vsize=15691032 CPUtime=2.65 cores=1,3,5,7 /proc/27579/task/27584/stat : 27584 (java) S 27577 27579 27023 0 -1 4202560 358819 0 0 0 207 58 0 0 15 0 22 0 523345065 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27585] ppid=27577 vsize=15691032 CPUtime=3.21 cores=1,3,5,7 /proc/27579/task/27585/stat : 27585 (java) S 27577 27579 27023 0 -1 4202560 396246 0 0 0 258 63 0 0 16 0 22 0 523345065 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27586] ppid=27577 vsize=15691032 CPUtime=3.52 cores=1,3,5,7 /proc/27579/task/27586/stat : 27586 (java) S 27577 27579 27023 0 -1 4202560 486607 0 0 0 272 80 0 0 16 0 22 0 523345065 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27587] ppid=27577 vsize=15691032 CPUtime=2.82 cores=1,3,5,7 /proc/27579/task/27587/stat : 27587 (java) S 27577 27579 27023 0 -1 4202560 355815 0 0 0 227 55 0 0 15 0 22 0 523345065 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27588] ppid=27577 vsize=15691032 CPUtime=2.74 cores=1,3,5,7 /proc/27579/task/27588/stat : 27588 (java) S 27577 27579 27023 0 -1 4202560 372352 0 0 0 211 63 0 0 16 0 22 0 523345065 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27589] ppid=27577 vsize=15691032 CPUtime=2.61 cores=1,3,5,7 /proc/27579/task/27589/stat : 27589 (java) S 27577 27579 27023 0 -1 4202560 281263 0 0 0 216 45 0 0 16 0 22 0 523345065 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27590] ppid=27577 vsize=15691032 CPUtime=929.9 cores=1,3,5,7 /proc/27579/task/27590/stat : 27590 (java) R 27577 27579 27023 0 -1 4202560 719178 0 0 0 92854 136 0 0 18 0 22 0 523345066 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218370651209 0 0 0 16800975 0 0 0 -1 3 0 0 0 [pid=27579/tid=27591] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27591/stat : 27591 (java) S 27577 27579 27023 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523345066 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27592] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27592/stat : 27592 (java) S 27577 27579 27023 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 523345066 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27593] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27593/stat : 27593 (java) S 27577 27579 27023 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 523345068 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382780849 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27594] ppid=27577 vsize=15691032 CPUtime=0.83 cores=1,3,5,7 /proc/27579/task/27594/stat : 27594 (java) S 27577 27579 27023 0 -1 4202560 4257 0 0 0 83 0 0 0 16 0 22 0 523345068 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27595] ppid=27577 vsize=15691032 CPUtime=1.12 cores=1,3,5,7 /proc/27579/task/27595/stat : 27595 (java) S 27577 27579 27023 0 -1 4202560 5453 0 0 0 112 0 0 0 15 0 22 0 523345069 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27596] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27596/stat : 27596 (java) S 27577 27579 27023 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 523345069 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27597] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27597/stat : 27597 (java) S 27577 27579 27023 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 523345069 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773760 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27602] ppid=27577 vsize=15691032 CPUtime=361.65 cores=1,3,5,7 /proc/27579/task/27602/stat : 27602 (java) S 27577 27579 27023 0 -1 4202560 57564 0 0 0 36146 19 0 0 15 0 22 0 523345147 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 5 0 0 0 [pid=27579/tid=27603] ppid=27577 vsize=15691032 CPUtime=360.9 cores=1,3,5,7 /proc/27579/task/27603/stat : 27603 (java) S 27577 27579 27023 0 -1 4202560 59267 0 0 0 36070 20 0 0 15 0 22 0 523345147 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 1 0 0 0 [pid=27579/tid=27704] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27704/stat : 27704 (java) S 27577 27579 27023 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 523475148 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 [pid=27579/tid=27705] ppid=27577 vsize=15691032 CPUtime=0 cores=1,3,5,7 /proc/27579/task/27705/stat : 27705 (java) S 27577 27579 27023 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 523475183 16067616768 3839484 33554432000 1073741824 1073778376 140736491093152 18446744073709551615 218382773145 0 4 0 16800975 18446604461981510464 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2382.45 Current children cumulated vsize (KiB) 15691032 [startup+1301.8 s] /proc/loadavg: 5.17 5.28 5.28 6/221 27705 /proc/meminfo: memFree=4999804/32951124 swapFree=67051468/67111528 [pid=27579] ppid=27577 vsize=0 CPUtime=2382.85 cores=1,3,5,7 /proc/27579/stat : 27579 (java) Z 27577 27579 27023 0 -1 4203548 3867440 0 1 0 237556 729 0 0 18 0 2 0 523345064 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/27579/statm: 0 0 0 0 0 0 0 [pid=27579/tid=27589] ppid=27577 vsize=0 CPUtime=2.96 cores=1,3,5,7 /proc/27579/task/27589/stat : 27589 (java) R 27577 27579 27023 0 -1 4203588 281263 0 0 0 216 80 0 0 16 0 2 0 523345065 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2382.85 Current children cumulated vsize (KiB) 0 [startup+1301.9 s] /proc/loadavg: 5.17 5.28 5.28 6/221 27705 /proc/meminfo: memFree=4999804/32951124 swapFree=67051468/67111528 [pid=27579] ppid=27577 vsize=0 CPUtime=2382.95 cores=1,3,5,7 /proc/27579/stat : 27579 (java) Z 27577 27579 27023 0 -1 4203548 3867440 0 1 0 237556 739 0 0 18 0 2 0 523345064 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/27579/statm: 0 0 0 0 0 0 0 [pid=27579/tid=27589] ppid=27577 vsize=0 CPUtime=3.06 cores=1,3,5,7 /proc/27579/task/27589/stat : 27589 (java) R 27577 27579 27023 0 -1 4203588 281263 0 0 0 216 90 0 0 16 0 2 0 523345065 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2382.95 Current children cumulated vsize (KiB) 0 Child status: 143 Real time (s): 1301.97 CPU time (s): 2383.03 CPU user time (s): 2375.56 CPU system time (s): 7.46986 CPU usage (%): 183.033 Max. virtual memory (cumulated for all children) (KiB): 15692492 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2375.56 system time used= 7.46986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3867440 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= 73445 involuntary context switches= 38308 runsolver used 2.23166 second user time and 5.11222 second system time The end
Begin job on node101 at 2011-04-30 00:50:23 IDJOB=3311268 IDBENCH=82653 IDSOLVER=1698 FILE ID=node101/3311268-1304117423 RUNJOBID= node101-1304117423-27542 PBS_JOBID= 13170694 Free space on /tmp= 72020 MiB SOLVER NAME= STRUCTure 0.1 (hbr=2) BENCH NAME= SAT11/random/large/unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311268-1304117423/watcher-3311268-1304117423 -o /tmp/evaluation-result-3311268-1304117423/solver-3311268-1304117423 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311268-1304117423.cnf -hbr 2 TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= cd155ee9ac243c838c94577589f0455b RANDOM SEED=1883513423 node101.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.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 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.07 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.841 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.77 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.841 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.83 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.841 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.841 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.83 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.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25808344 kB Buffers: 1910332 kB Cached: 4739304 kB SwapCached: 30424 kB Active: 1733176 kB Inactive: 4964356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25808344 kB SwapTotal: 67111528 kB SwapFree: 67051468 kB Dirty: 6372 kB Writeback: 0 kB AnonPages: 39112 kB Mapped: 16744 kB Slab: 380740 kB PageTables: 4760 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 777688 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= 72016 MiB End job on node101 at 2011-04-30 01:12:05