| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| STRUCTure 0.1 | ? (TO) | 2414.13 | 1302.51 |
| Name | random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf |
| MD5SUM | eb4eadfedd2c4dc9b0ed7231ad324f1f |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 273.432 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 40000 |
| Number of clauses | 168000 |
| Sum of the clauses size | 504000 |
| 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 | 168000 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.10/0.12 59:55 INFO : Reading from input HOME/instance-3312494-1304117995.cnf 1.12/0.92 Executor set job limit to 1000000 1.12/0.92 Executor set job limit to 1000000 1.12/0.92 Executor set job limit to 1000000 1.12/0.92 Executor set job limit to 1000000 1.12/0.93 Starting Executor! 1.12/0.93 Starting Executor! 1.12/0.93 Starting Executor! 1.12/0.93 Starting Executor! 4.72/2.71 59:58 INFO : 39828 variables remaining out of 40000 4.72/2.71 59:58 INFO : 667576 literals remaining out of 672000 1271.05/347.81 05:41 ERROR: Failed to solve instance 1271.05/347.81 java.lang.OutOfMemoryError: GC overhead limit exceeded 1271.05/347.81 at gnu.trove.TIntArrayList.ensureCapacity(TIntArrayList.java:100) 1271.05/347.81 at gnu.trove.TIntArrayList.add(TIntArrayList.java:144) 1271.05/347.81 at ibis.structure.Subsumming.run(Subsumming.java:57) 1271.05/347.81 at ibis.structure.Solver.simplify(Solver.java:205) 1271.05/347.81 at ibis.structure.Solver.solve(Solver.java:113) 1271.05/347.81 at ibis.structure.SolveActivity.initialize(SolveActivity.java:29) 1271.05/347.81 at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143) 1271.05/347.81 at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215) 1271.05/347.81 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398) 1271.05/347.81 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420) 1271.05/347.81 at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023) 1271.05/347.81 at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515) 1271.05/347.81 at ibis.constellation.Executor.processActivities(Executor.java:75) 1271.05/347.81 at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54) 1271.05/347.81 at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521) 1271.05/347.81 at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070) 1273.15/350.00 05:45 ERROR: Failed to solve instance 1273.15/350.00 java.lang.OutOfMemoryError: GC overhead limit exceeded 1273.15/350.00 at ibis.structure.ImplicationsGraph.create(ImplicationsGraph.java:627) 1273.15/350.00 at ibis.structure.ImplicationsGraph.<init>(ImplicationsGraph.java:27) 1273.15/350.00 at ibis.structure.Solver.<init>(Solver.java:36) 1273.15/350.00 at ibis.structure.SolveActivity.initialize(SolveActivity.java:28) 1273.15/350.00 at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143) 1273.15/350.00 at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215) 1273.15/350.00 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398) 1273.15/350.00 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420) 1273.15/350.00 at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023) 1273.15/350.00 at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515) 1273.15/350.00 at ibis.constellation.Executor.processActivities(Executor.java:75) 1273.15/350.00 at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54) 1273.15/350.00 at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521) 1273.15/350.00 at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070) 1277.99/354.43 05:49 ERROR: Failed to solve instance 1277.99/354.43 java.lang.OutOfMemoryError: GC overhead limit exceeded 1277.99/354.43 at gnu.trove.TIntArrayList.ensureCapacity(TIntArrayList.java:100) 1277.99/354.43 at gnu.trove.TIntArrayList.add(TIntArrayList.java:144) 1277.99/354.43 at ibis.structure.Subsumming.run(Subsumming.java:57) 1277.99/354.43 at ibis.structure.Solver.simplify(Solver.java:205) 1277.99/354.43 at ibis.structure.Solver.solve(Solver.java:113) 1277.99/354.43 at ibis.structure.SolveActivity.initialize(SolveActivity.java:29) 1277.99/354.43 at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143) 1277.99/354.43 at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215) 1277.99/354.43 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398) 1277.99/354.43 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420) 1277.99/354.43 at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023) 1277.99/354.43 at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515) 1277.99/354.43 at ibis.constellation.Executor.processActivities(Executor.java:75) 1277.99/354.43 at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54) 1277.99/354.43 at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521) 1277.99/354.43 at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070) 1280.20/356.65 05:52 ERROR: Failed to solve instance 1280.20/356.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1280.20/356.65 at ibis.structure.Solver.<init>(Solver.java:40) 1280.20/356.65 at ibis.structure.SolveActivity.initialize(SolveActivity.java:28) 1280.20/356.65 at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143) 1280.20/356.65 at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215) 1280.20/356.65 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398) 1280.20/356.65 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420) 1280.20/356.65 at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023) 1280.20/356.65 at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515) 1280.20/356.65 at ibis.constellation.Executor.processActivities(Executor.java:75) 1280.20/356.65 at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54) 1280.20/356.65 at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521) 1280.20/356.65 at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070) 1286.83/362.39 05:57 ERROR: Failed to solve instance 1286.83/362.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 1287.34/362.86 05:58 ERROR: Failed to solve instance 1287.34/362.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 1287.86/363.35 05:58 ERROR: Failed to solve instance 1287.86/363.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 1290.18/365.70 06:01 ERROR: Failed to solve instance 1290.18/365.70 java.lang.OutOfMemoryError: GC overhead limit exceeded 1294.02/368.90 06:04 ERROR: Failed to solve instance 1294.02/368.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 1294.54/369.39 06:04 ERROR: Failed to solve instance 1294.54/369.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 1295.61/370.38 06:05 ERROR: Failed to solve instance 1295.61/370.38 java.lang.OutOfMemoryError: GC overhead limit exceeded 1297.94/372.69 06:08 ERROR: Failed to solve instance 1297.94/372.69 java.lang.OutOfMemoryError: GC overhead limit exceeded 1298.57/373.24 06:08 ERROR: Failed to solve instance 1298.57/373.24 java.lang.OutOfMemoryError: GC overhead limit exceeded 1299.23/373.83 06:09 ERROR: Failed to solve instance 1299.23/373.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 1307.88/380.73 06:16 ERROR: Failed to solve instance 1307.88/380.73 java.lang.OutOfMemoryError: GC overhead limit exceeded 1308.91/381.70 06:17 ERROR: Failed to solve instance 1308.91/381.70 java.lang.OutOfMemoryError: GC overhead limit exceeded 1309.24/382.01 06:17 ERROR: Failed to solve instance 1309.24/382.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 1310.01/382.81 06:18 ERROR: Failed to solve instance 1310.01/382.81 java.lang.OutOfMemoryError: GC overhead limit exceeded 1316.78/388.30 06:23 ERROR: Failed to solve instance 1316.78/388.30 java.lang.OutOfMemoryError: GC overhead limit exceeded 1317.81/389.24 06:24 ERROR: Failed to solve instance 1317.81/389.24 java.lang.OutOfMemoryError: GC overhead limit exceeded 1318.34/389.78 06:25 ERROR: Failed to solve instance 1318.34/389.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 1318.99/390.38 06:25 ERROR: Failed to solve instance 1318.99/390.38 java.lang.OutOfMemoryError: GC overhead limit exceeded 1323.18/393.74 06:29 ERROR: Failed to solve instance 1323.18/393.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 1323.91/394.43 06:29 ERROR: Failed to solve instance 1323.91/394.43 java.lang.OutOfMemoryError: GC overhead limit exceeded 1325.08/395.52 06:31 ERROR: Failed to solve instance 1325.08/395.52 java.lang.OutOfMemoryError: GC overhead limit exceeded 1325.60/396.03 06:31 ERROR: Failed to solve instance 1325.60/396.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 1333.62/402.28 06:37 ERROR: Failed to solve instance 1333.62/402.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 1334.45/403.03 06:38 ERROR: Failed to solve instance 1334.45/403.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 1334.98/403.59 06:39 ERROR: Failed to solve instance 1334.98/403.59 java.lang.OutOfMemoryError: GC overhead limit exceeded 1335.64/404.18 06:39 ERROR: Failed to solve instance 1335.64/404.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1339.00/406.96 06:42 ERROR: Failed to solve instance 1339.00/406.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 1339.52/407.47 06:43 ERROR: Failed to solve instance 1339.52/407.47 java.lang.OutOfMemoryError: GC overhead limit exceeded 1340.14/408.03 06:43 ERROR: Failed to solve instance 1340.14/408.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 1346.05/412.65 06:48 ERROR: Failed to solve instance 1346.05/412.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1347.08/413.63 06:49 ERROR: Failed to solve instance 1347.08/413.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 1347.71/414.22 06:49 ERROR: Failed to solve instance 1347.71/414.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1348.42/414.79 06:50 ERROR: Failed to solve instance 1348.42/414.79 java.lang.OutOfMemoryError: GC overhead limit exceeded 1356.03/420.58 06:56 ERROR: Failed to solve instance 1356.03/420.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 1356.64/421.10 06:56 ERROR: Failed to solve instance 1356.64/421.10 java.lang.OutOfMemoryError: GC overhead limit exceeded 1357.17/421.65 06:57 ERROR: Failed to solve instance 1357.17/421.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1358.35/422.77 06:58 ERROR: Failed to solve instance 1358.35/422.77 java.lang.OutOfMemoryError: GC overhead limit exceeded 1358.86/423.22 06:58 ERROR: Failed to solve instance 1358.86/423.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1359.39/423.81 06:59 ERROR: Failed to solve instance 1359.39/423.81 java.lang.OutOfMemoryError: GC overhead limit exceeded 1366.41/429.09 07:04 ERROR: Failed to solve instance 1366.41/429.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 1367.02/429.62 07:05 ERROR: Failed to solve instance 1367.02/429.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 1367.54/430.17 07:05 ERROR: Failed to solve instance 1367.54/430.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 1368.50/431.02 07:06 ERROR: Failed to solve instance 1368.50/431.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 1372.18/434.02 07:09 ERROR: Failed to solve instance 1372.18/434.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 1372.69/434.53 07:10 ERROR: Failed to solve instance 1372.69/434.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 1373.72/435.53 07:11 ERROR: Failed to solve instance 1373.72/435.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 1374.24/436.07 07:11 ERROR: Failed to solve instance 1374.24/436.07 java.lang.OutOfMemoryError: GC overhead limit exceeded 1374.86/436.64 07:12 ERROR: Failed to solve instance 1374.86/436.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 1384.38/444.01 07:19 ERROR: Failed to solve instance 1384.38/444.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 1385.32/444.99 07:20 ERROR: Failed to solve instance 1385.32/444.99 java.lang.OutOfMemoryError: GC overhead limit exceeded 1385.94/445.53 07:21 ERROR: Failed to solve instance 1385.94/445.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 1386.57/446.12 07:21 ERROR: Failed to solve instance 1386.57/446.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 1389.02/448.23 07:23 ERROR: Failed to solve instance 1389.02/448.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 1389.55/448.76 07:24 ERROR: Failed to solve instance 1389.55/448.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 1390.59/449.75 07:25 ERROR: Failed to solve instance 1390.59/449.75 java.lang.OutOfMemoryError: GC overhead limit exceeded 1391.11/450.27 07:25 ERROR: Failed to solve instance 1391.11/450.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 1391.63/450.83 07:26 ERROR: Failed to solve instance 1391.63/450.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 1400.29/457.58 07:33 ERROR: Failed to solve instance 1400.29/457.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 1400.92/458.11 07:33 ERROR: Failed to solve instance 1400.92/458.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1401.44/458.66 07:34 ERROR: Failed to solve instance 1401.44/458.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1405.25/461.85 07:37 ERROR: Failed to solve instance 1405.25/461.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1405.79/462.36 07:37 ERROR: Failed to solve instance 1405.79/462.36 java.lang.OutOfMemoryError: GC overhead limit exceeded 1409.64/465.53 07:41 ERROR: Failed to solve instance 1409.64/465.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 1410.56/466.48 07:42 ERROR: Failed to solve instance 1410.56/466.48 java.lang.OutOfMemoryError: GC overhead limit exceeded 1411.19/467.01 07:42 ERROR: Failed to solve instance 1411.19/467.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 1411.71/467.61 07:43 ERROR: Failed to solve instance 1411.71/467.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 1422.50/475.86 07:51 ERROR: Failed to solve instance 1422.50/475.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 1422.92/476.28 07:51 ERROR: Failed to solve instance 1422.92/476.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 1423.43/476.71 07:52 ERROR: Failed to solve instance 1423.43/476.71 java.lang.OutOfMemoryError: GC overhead limit exceeded 1423.83/477.13 07:52 ERROR: Failed to solve instance 1423.83/477.13 java.lang.OutOfMemoryError: GC overhead limit exceeded 1424.35/477.61 07:53 ERROR: Failed to solve instance 1424.35/477.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 1425.29/478.58 07:54 ERROR: Failed to solve instance 1425.29/478.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 1425.92/479.14 07:54 ERROR: Failed to solve instance 1425.92/479.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1426.59/479.78 07:55 ERROR: Failed to solve instance 1426.59/479.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 1435.67/487.05 08:02 ERROR: Failed to solve instance 1435.67/487.05 java.lang.OutOfMemoryError: GC overhead limit exceeded 1436.30/487.69 08:03 ERROR: Failed to solve instance 1436.30/487.69 java.lang.OutOfMemoryError: GC overhead limit exceeded 1436.93/488.24 08:03 ERROR: Failed to solve instance 1436.93/488.24 java.lang.OutOfMemoryError: GC overhead limit exceeded 1440.85/491.54 08:07 ERROR: Failed to solve instance 1440.85/491.54 java.lang.OutOfMemoryError: GC overhead limit exceeded 1441.37/492.01 08:07 ERROR: Failed to solve instance 1441.37/492.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 1442.39/493.03 08:08 ERROR: Failed to solve instance 1442.39/493.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 1442.91/493.62 08:09 ERROR: Failed to solve instance 1442.91/493.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 1449.28/498.63 08:14 ERROR: Failed to solve instance 1449.28/498.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 1449.79/499.12 08:14 ERROR: Failed to solve instance 1449.79/499.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 1450.42/499.72 08:15 ERROR: Failed to solve instance 1450.42/499.72 java.lang.OutOfMemoryError: GC overhead limit exceeded 1451.04/500.36 08:15 ERROR: Failed to solve instance 1451.04/500.36 java.lang.OutOfMemoryError: GC overhead limit exceeded 1459.92/507.37 08:22 ERROR: Failed to solve instance 1459.92/507.37 java.lang.OutOfMemoryError: GC overhead limit exceeded 1460.98/508.35 08:23 ERROR: Failed to solve instance 1460.98/508.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 1461.50/508.82 08:24 ERROR: Failed to solve instance 1461.50/508.82 java.lang.OutOfMemoryError: GC overhead limit exceeded 1462.04/509.32 08:24 ERROR: Failed to solve instance 1462.04/509.32 java.lang.OutOfMemoryError: GC overhead limit exceeded 1462.57/509.86 08:25 ERROR: Failed to solve instance 1462.57/509.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 1465.93/512.67 08:28 ERROR: Failed to solve instance 1465.93/512.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1466.75/513.44 08:28 ERROR: Failed to solve instance 1466.75/513.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 1467.31/513.99 08:29 ERROR: Failed to solve instance 1467.31/513.99 java.lang.OutOfMemoryError: GC overhead limit exceeded 1470.86/516.99 08:32 ERROR: Failed to solve instance 1470.86/516.99 java.lang.OutOfMemoryError: GC overhead limit exceeded 1471.81/517.84 08:33 ERROR: Failed to solve instance 1471.81/517.84 java.lang.OutOfMemoryError: GC overhead limit exceeded 1472.34/518.35 08:33 ERROR: Failed to solve instance 1472.34/518.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 1480.77/524.90 08:40 ERROR: Failed to solve instance 1480.77/524.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 1481.38/525.43 08:40 ERROR: Failed to solve instance 1481.38/525.43 java.lang.OutOfMemoryError: GC overhead limit exceeded 1482.42/526.45 08:41 ERROR: Failed to solve instance 1482.42/526.45 java.lang.OutOfMemoryError: GC overhead limit exceeded 1482.95/526.94 08:42 ERROR: Failed to solve instance 1482.95/526.94 java.lang.OutOfMemoryError: GC overhead limit exceeded 1491.21/533.28 08:48 ERROR: Failed to solve instance 1491.21/533.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 1491.71/533.74 08:49 ERROR: Failed to solve instance 1491.71/533.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 1492.23/534.27 08:49 ERROR: Failed to solve instance 1492.23/534.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 1496.60/538.09 08:53 ERROR: Failed to solve instance 1496.60/538.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 1497.11/538.56 08:54 ERROR: Failed to solve instance 1497.11/538.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 1497.61/539.07 08:54 ERROR: Failed to solve instance 1497.61/539.07 java.lang.OutOfMemoryError: GC overhead limit exceeded 1498.24/539.65 08:55 ERROR: Failed to solve instance 1498.24/539.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1504.62/544.73 09:00 ERROR: Failed to solve instance 1504.62/544.73 java.lang.OutOfMemoryError: GC overhead limit exceeded 1505.14/545.24 09:00 ERROR: Failed to solve instance 1505.14/545.24 java.lang.OutOfMemoryError: GC overhead limit exceeded 1509.38/548.65 09:04 ERROR: Failed to solve instance 1509.38/548.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1510.11/549.33 09:04 ERROR: Failed to solve instance 1510.11/549.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 1510.76/549.92 09:05 ERROR: Failed to solve instance 1510.76/549.92 java.lang.OutOfMemoryError: GC overhead limit exceeded 1513.32/552.10 09:07 ERROR: Failed to solve instance 1513.32/552.10 java.lang.OutOfMemoryError: GC overhead limit exceeded 1516.74/555.17 09:10 ERROR: Failed to solve instance 1516.74/555.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 1517.25/555.65 09:11 ERROR: Failed to solve instance 1517.25/555.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1517.76/556.17 09:11 ERROR: Failed to solve instance 1517.76/556.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 1518.38/556.72 09:12 ERROR: Failed to solve instance 1518.38/556.72 java.lang.OutOfMemoryError: GC overhead limit exceeded 1519.41/557.75 09:13 ERROR: Failed to solve instance 1519.41/557.75 java.lang.OutOfMemoryError: GC overhead limit exceeded 1519.94/558.31 09:13 ERROR: Failed to solve instance 1519.94/558.31 java.lang.OutOfMemoryError: GC overhead limit exceeded 1527.93/564.11 09:19 ERROR: Failed to solve instance 1527.93/564.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1528.66/564.85 09:20 ERROR: Failed to solve instance 1528.66/564.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1529.28/565.40 09:20 ERROR: Failed to solve instance 1529.28/565.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 1534.24/569.67 09:25 ERROR: Failed to solve instance 1534.24/569.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1534.75/570.15 09:25 ERROR: Failed to solve instance 1534.75/570.15 java.lang.OutOfMemoryError: GC overhead limit exceeded 1535.77/571.18 09:26 ERROR: Failed to solve instance 1535.77/571.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1536.07/571.46 09:26 ERROR: Failed to solve instance 1536.07/571.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 1536.80/572.17 09:27 ERROR: Failed to solve instance 1536.80/572.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 1537.42/572.70 09:28 ERROR: Failed to solve instance 1537.42/572.70 java.lang.OutOfMemoryError: GC overhead limit exceeded 1542.08/576.50 09:32 ERROR: Failed to solve instance 1542.08/576.50 java.lang.OutOfMemoryError: Java heap space 1542.28/576.77 09:32 ERROR: Failed to solve instance 1542.28/576.77 java.lang.OutOfMemoryError: GC overhead limit exceeded 1550.48/583.30 09:38 ERROR: Failed to solve instance 1550.48/583.30 java.lang.OutOfMemoryError: GC overhead limit exceeded 1551.16/583.81 09:39 ERROR: Failed to solve instance 1551.16/583.81 java.lang.OutOfMemoryError: GC overhead limit exceeded 1551.66/584.38 09:39 ERROR: Failed to solve instance 1551.66/584.38 java.lang.OutOfMemoryError: GC overhead limit exceeded 1554.10/586.45 09:41 ERROR: Failed to solve instance 1554.10/586.45 java.lang.OutOfMemoryError: GC overhead limit exceeded 1555.12/587.41 09:42 ERROR: Failed to solve instance 1555.12/587.41 java.lang.OutOfMemoryError: GC overhead limit exceeded 1555.64/587.94 09:43 ERROR: Failed to solve instance 1555.64/587.94 java.lang.OutOfMemoryError: GC overhead limit exceeded 1556.27/588.50 09:44 ERROR: Failed to solve instance 1556.27/588.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 1563.50/594.14 09:49 ERROR: Failed to solve instance 1563.50/594.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1564.02/594.63 09:50 ERROR: Failed to solve instance 1564.02/594.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 1564.54/595.17 09:50 ERROR: Failed to solve instance 1564.54/595.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 1565.46/596.06 09:51 ERROR: Failed to solve instance 1565.46/596.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 1565.99/596.58 09:52 ERROR: Failed to solve instance 1565.99/596.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 1570.25/600.08 09:55 ERROR: Failed to solve instance 1570.25/600.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 1570.87/600.62 09:56 ERROR: Failed to solve instance 1570.87/600.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 1572.03/601.72 09:57 ERROR: Failed to solve instance 1572.03/601.72 java.lang.OutOfMemoryError: GC overhead limit exceeded 1572.45/602.21 09:57 ERROR: Failed to solve instance 1572.45/602.21 java.lang.OutOfMemoryError: GC overhead limit exceeded 1580.71/608.54 10:04 ERROR: Failed to solve instance 1580.71/608.54 java.lang.OutOfMemoryError: GC overhead limit exceeded 1581.23/609.05 10:04 ERROR: Failed to solve instance 1581.23/609.05 java.lang.OutOfMemoryError: GC overhead limit exceeded 1581.75/609.58 10:05 ERROR: Failed to solve instance 1581.75/609.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 1586.36/613.43 10:08 ERROR: Failed to solve instance 1586.36/613.43 java.lang.OutOfMemoryError: GC overhead limit exceeded 1586.89/613.95 10:09 ERROR: Failed to solve instance 1586.89/613.95 java.lang.OutOfMemoryError: GC overhead limit exceeded 1587.44/614.45 10:09 ERROR: Failed to solve instance 1587.44/614.45 java.lang.OutOfMemoryError: GC overhead limit exceeded 1590.31/616.71 10:12 ERROR: Failed to solve instance 1590.31/616.71 java.lang.OutOfMemoryError: GC overhead limit exceeded 1597.06/621.94 10:17 ERROR: Failed to solve instance 1597.06/621.94 java.lang.OutOfMemoryError: GC overhead limit exceeded 1597.88/622.76 10:18 ERROR: Failed to solve instance 1597.88/622.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 1598.40/623.22 10:18 ERROR: Failed to solve instance 1598.40/623.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1601.02/625.43 10:20 ERROR: Failed to solve instance 1601.02/625.43 java.lang.OutOfMemoryError: GC overhead limit exceeded 1601.75/626.18 10:21 ERROR: Failed to solve instance 1601.75/626.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1602.62/626.96 10:22 ERROR: Failed to solve instance 1602.62/626.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 1603.16/627.51 10:23 ERROR: Failed to solve instance 1603.16/627.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 1603.82/628.09 10:23 ERROR: Failed to solve instance 1603.82/628.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 1610.98/633.34 10:28 ERROR: Failed to solve instance 1610.98/633.34 java.lang.OutOfMemoryError: Java heap space 1617.18/638.23 10:33 ERROR: Failed to solve instance 1617.18/638.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 1617.70/638.71 10:34 ERROR: Failed to solve instance 1617.70/638.71 java.lang.OutOfMemoryError: GC overhead limit exceeded 1618.22/639.23 10:34 ERROR: Failed to solve instance 1618.22/639.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 1619.30/640.26 10:35 ERROR: Failed to solve instance 1619.30/640.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 1622.71/643.03 10:38 ERROR: Failed to solve instance 1622.71/643.03 java.lang.OutOfMemoryError: Java heap space 1623.01/643.33 10:38 ERROR: Failed to solve instance 1623.01/643.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 1625.92/645.69 10:41 ERROR: Failed to solve instance 1625.92/645.69 java.lang.OutOfMemoryError: Java heap space 1630.48/649.48 10:45 ERROR: Failed to solve instance 1630.48/649.48 java.lang.OutOfMemoryError: GC overhead limit exceeded 1631.14/650.01 10:45 ERROR: Failed to solve instance 1631.14/650.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 1631.63/650.60 10:46 ERROR: Failed to solve instance 1631.63/650.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 1640.46/657.69 10:53 ERROR: Failed to solve instance 1640.46/657.69 java.lang.OutOfMemoryError: GC overhead limit exceeded 1641.00/658.16 10:53 ERROR: Failed to solve instance 1641.00/658.16 java.lang.OutOfMemoryError: GC overhead limit exceeded 1641.51/658.67 10:54 ERROR: Failed to solve instance 1641.51/658.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1642.40/659.47 10:55 ERROR: Failed to solve instance 1642.40/659.47 java.lang.OutOfMemoryError: GC overhead limit exceeded 1645.25/661.80 10:57 ERROR: Failed to solve instance 1645.25/661.80 java.lang.OutOfMemoryError: GC overhead limit exceeded 1645.98/662.59 10:58 ERROR: Failed to solve instance 1645.98/662.59 java.lang.OutOfMemoryError: GC overhead limit exceeded 1646.61/663.15 10:58 ERROR: Failed to solve instance 1646.61/663.15 java.lang.OutOfMemoryError: GC overhead limit exceeded 1647.60/664.02 10:59 ERROR: Failed to solve instance 1647.60/664.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 1656.59/671.16 11:06 ERROR: Failed to solve instance 1656.59/671.16 java.lang.OutOfMemoryError: GC overhead limit exceeded 1657.00/671.60 11:07 ERROR: Failed to solve instance 1657.00/671.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 1657.63/672.11 11:07 ERROR: Failed to solve instance 1657.63/672.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1661.30/675.24 11:10 ERROR: Failed to solve instance 1661.30/675.24 java.lang.OutOfMemoryError: GC overhead limit exceeded 1661.83/675.72 11:11 ERROR: Failed to solve instance 1661.83/675.72 java.lang.OutOfMemoryError: GC overhead limit exceeded 1662.34/676.22 11:11 ERROR: Failed to solve instance 1662.34/676.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1663.28/677.17 11:12 ERROR: Failed to solve instance 1663.28/677.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 1663.81/677.69 11:13 ERROR: Failed to solve instance 1663.81/677.69 java.lang.OutOfMemoryError: GC overhead limit exceeded 1664.46/678.27 11:13 ERROR: Failed to solve instance 1664.46/678.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 1672.08/684.02 11:19 ERROR: Failed to solve instance 1672.08/684.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 1673.00/684.91 11:20 ERROR: Failed to solve instance 1673.00/684.91 java.lang.OutOfMemoryError: GC overhead limit exceeded 1673.42/685.40 11:20 ERROR: Failed to solve instance 1673.42/685.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 1674.04/685.93 11:21 ERROR: Failed to solve instance 1674.04/685.93 java.lang.OutOfMemoryError: GC overhead limit exceeded 1674.71/686.56 11:22 ERROR: Failed to solve instance 1674.71/686.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 1683.16/693.11 11:28 ERROR: Failed to solve instance 1683.16/693.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1683.68/693.60 11:29 ERROR: Failed to solve instance 1683.68/693.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 1684.62/694.60 11:30 ERROR: Failed to solve instance 1684.62/694.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 1685.24/695.14 11:30 ERROR: Failed to solve instance 1685.24/695.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1685.75/695.64 11:31 ERROR: Failed to solve instance 1685.75/695.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 1686.29/696.18 11:31 ERROR: Failed to solve instance 1686.29/696.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1695.92/703.98 11:39 ERROR: Failed to solve instance 1695.92/703.98 java.lang.OutOfMemoryError: GC overhead limit exceeded 1696.44/704.46 11:39 ERROR: Failed to solve instance 1696.44/704.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 1696.95/704.95 11:40 ERROR: Failed to solve instance 1696.95/704.95 java.lang.OutOfMemoryError: GC overhead limit exceeded 1697.99/705.97 11:41 ERROR: Failed to solve instance 1697.99/705.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 1698.50/706.43 11:41 ERROR: Failed to solve instance 1698.50/706.43 java.lang.OutOfMemoryError: GC overhead limit exceeded 1699.03/706.95 11:42 ERROR: Failed to solve instance 1699.03/706.95 java.lang.OutOfMemoryError: GC overhead limit exceeded 1699.67/707.52 11:43 ERROR: Failed to solve instance 1699.67/707.52 java.lang.OutOfMemoryError: GC overhead limit exceeded 1708.22/714.26 11:49 ERROR: Failed to solve instance 1708.22/714.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 1709.14/715.14 11:50 ERROR: Failed to solve instance 1709.14/715.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1709.65/715.64 11:51 ERROR: Failed to solve instance 1709.65/715.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 1710.17/716.16 11:51 ERROR: Failed to solve instance 1710.17/716.16 java.lang.OutOfMemoryError: GC overhead limit exceeded 1710.80/716.73 11:52 ERROR: Failed to solve instance 1710.80/716.73 java.lang.OutOfMemoryError: GC overhead limit exceeded 1720.25/724.38 11:59 ERROR: Failed to solve instance 1720.25/724.38 java.lang.OutOfMemoryError: GC overhead limit exceeded 1721.27/725.32 12:00 ERROR: Failed to solve instance 1721.27/725.32 java.lang.OutOfMemoryError: GC overhead limit exceeded 1721.69/725.78 12:01 ERROR: Failed to solve instance 1721.69/725.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 1722.22/726.26 12:01 ERROR: Failed to solve instance 1722.22/726.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 1722.73/726.78 12:02 ERROR: Failed to solve instance 1722.73/726.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 1727.04/730.42 12:05 ERROR: Failed to solve instance 1727.04/730.42 java.lang.OutOfMemoryError: GC overhead limit exceeded 1727.46/730.89 12:06 ERROR: Failed to solve instance 1727.46/730.89 java.lang.OutOfMemoryError: GC overhead limit exceeded 1728.09/731.41 12:06 ERROR: Failed to solve instance 1728.09/731.41 java.lang.OutOfMemoryError: GC overhead limit exceeded 1728.61/731.97 12:07 ERROR: Failed to solve instance 1728.61/731.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 1736.13/738.08 12:13 ERROR: Failed to solve instance 1736.13/738.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 1736.64/738.57 12:14 ERROR: Failed to solve instance 1736.64/738.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 1737.16/739.03 12:14 ERROR: Failed to solve instance 1737.16/739.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 1740.33/741.61 12:17 ERROR: Failed to solve instance 1740.33/741.61 java.lang.OutOfMemoryError: Java heap space 1740.53/741.88 12:17 ERROR: Failed to solve instance 1740.53/741.88 java.lang.OutOfMemoryError: GC overhead limit exceeded 1749.08/748.71 12:24 ERROR: Failed to solve instance 1749.08/748.71 java.lang.OutOfMemoryError: GC overhead limit exceeded 1749.50/749.20 12:24 ERROR: Failed to solve instance 1749.50/749.20 java.lang.OutOfMemoryError: GC overhead limit exceeded 1751.39/750.77 12:26 ERROR: Failed to solve instance 1751.39/750.77 java.lang.OutOfMemoryError: GC overhead limit exceeded 1754.01/752.99 12:28 ERROR: Failed to solve instance 1754.01/752.99 java.lang.OutOfMemoryError: GC overhead limit exceeded 1755.04/753.97 12:29 ERROR: Failed to solve instance 1755.04/753.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 1755.66/754.50 12:30 ERROR: Failed to solve instance 1755.66/754.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 1756.19/755.08 12:30 ERROR: Failed to solve instance 1756.19/755.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 1756.82/755.67 12:31 ERROR: Failed to solve instance 1756.82/755.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1757.81/756.53 12:32 ERROR: Failed to solve instance 1757.81/756.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 1768.12/764.32 12:39 ERROR: Failed to solve instance 1768.12/764.32 java.lang.OutOfMemoryError: GC overhead limit exceeded 1769.06/765.25 12:40 ERROR: Failed to solve instance 1769.06/765.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 1769.59/765.76 12:41 ERROR: Failed to solve instance 1769.59/765.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 1772.96/768.46 12:43 ERROR: Failed to solve instance 1772.96/768.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 1773.48/768.97 12:44 ERROR: Failed to solve instance 1773.48/768.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 1774.10/769.52 12:45 ERROR: Failed to solve instance 1774.10/769.52 java.lang.OutOfMemoryError: GC overhead limit exceeded 1775.29/770.63 12:46 ERROR: Failed to solve instance 1775.29/770.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 1775.80/771.13 12:46 ERROR: Failed to solve instance 1775.80/771.13 java.lang.OutOfMemoryError: GC overhead limit exceeded 1784.54/778.04 12:53 ERROR: Failed to solve instance 1784.54/778.04 java.lang.OutOfMemoryError: GC overhead limit exceeded 1786.30/779.68 12:55 ERROR: Failed to solve instance 1786.30/779.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 1786.93/780.21 12:55 ERROR: Failed to solve instance 1786.93/780.21 java.lang.OutOfMemoryError: GC overhead limit exceeded 1787.33/780.64 12:56 ERROR: Failed to solve instance 1787.33/780.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 1788.41/781.65 12:57 ERROR: Failed to solve instance 1788.41/781.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1788.94/782.14 12:57 ERROR: Failed to solve instance 1788.94/782.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1791.92/784.65 13:00 ERROR: Failed to solve instance 1791.92/784.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1792.55/785.22 13:00 ERROR: Failed to solve instance 1792.55/785.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1793.44/786.06 13:01 ERROR: Failed to solve instance 1793.44/786.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 1802.30/792.85 13:08 ERROR: Failed to solve instance 1802.30/792.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1802.83/793.36 13:08 ERROR: Failed to solve instance 1802.83/793.36 java.lang.OutOfMemoryError: GC overhead limit exceeded 1803.45/793.95 13:09 ERROR: Failed to solve instance 1803.45/793.95 java.lang.OutOfMemoryError: GC overhead limit exceeded 1811.85/800.68 13:16 ERROR: Failed to solve instance 1811.85/800.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 1812.38/801.16 13:16 ERROR: Failed to solve instance 1812.38/801.16 java.lang.OutOfMemoryError: GC overhead limit exceeded 1812.89/801.68 13:17 ERROR: Failed to solve instance 1812.89/801.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 1814.04/802.75 13:18 ERROR: Failed to solve instance 1814.04/802.75 java.lang.OutOfMemoryError: GC overhead limit exceeded 1814.57/803.24 13:18 ERROR: Failed to solve instance 1814.57/803.24 java.lang.OutOfMemoryError: GC overhead limit exceeded 1817.84/805.90 13:21 ERROR: Failed to solve instance 1817.84/805.90 java.lang.OutOfMemoryError: Java heap space 1818.04/806.18 13:21 ERROR: Failed to solve instance 1818.04/806.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1823.87/810.65 13:26 ERROR: Failed to solve instance 1823.87/810.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1824.39/811.17 13:26 ERROR: Failed to solve instance 1824.39/811.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 1825.44/812.15 13:27 ERROR: Failed to solve instance 1825.44/812.15 java.lang.OutOfMemoryError: GC overhead limit exceeded 1825.96/812.67 13:28 ERROR: Failed to solve instance 1825.96/812.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1830.11/816.01 13:31 ERROR: Failed to solve instance 1830.11/816.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 1830.64/816.55 13:32 ERROR: Failed to solve instance 1830.64/816.55 java.lang.OutOfMemoryError: GC overhead limit exceeded 1831.67/817.55 13:32 ERROR: Failed to solve instance 1831.67/817.55 java.lang.OutOfMemoryError: GC overhead limit exceeded 1832.23/818.08 13:33 ERROR: Failed to solve instance 1832.23/818.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 1840.62/824.60 13:40 ERROR: Failed to solve instance 1840.62/824.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 1841.14/825.11 13:40 ERROR: Failed to solve instance 1841.14/825.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1845.61/828.96 13:44 ERROR: Failed to solve instance 1845.61/828.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 1846.11/829.43 13:44 ERROR: Failed to solve instance 1846.11/829.43 java.lang.OutOfMemoryError: GC overhead limit exceeded 1846.62/829.95 13:45 ERROR: Failed to solve instance 1846.62/829.95 java.lang.OutOfMemoryError: GC overhead limit exceeded 1847.14/830.50 13:46 ERROR: Failed to solve instance 1847.14/830.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 1848.32/831.60 13:46 ERROR: Failed to solve instance 1848.32/831.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 1856.32/837.65 13:53 ERROR: Failed to solve instance 1856.32/837.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1857.24/838.60 13:54 ERROR: Failed to solve instance 1857.24/838.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 1857.77/839.06 13:54 ERROR: Failed to solve instance 1857.77/839.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 1858.30/839.54 13:55 ERROR: Failed to solve instance 1858.30/839.54 java.lang.OutOfMemoryError: GC overhead limit exceeded 1858.83/840.06 13:55 ERROR: Failed to solve instance 1858.83/840.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 1862.70/843.31 13:58 ERROR: Failed to solve instance 1862.70/843.31 java.lang.OutOfMemoryError: GC overhead limit exceeded 1863.20/843.80 13:59 ERROR: Failed to solve instance 1863.20/843.80 java.lang.OutOfMemoryError: GC overhead limit exceeded 1864.18/844.77 14:00 ERROR: Failed to solve instance 1864.18/844.77 java.lang.OutOfMemoryError: GC overhead limit exceeded 1864.71/845.28 14:00 ERROR: Failed to solve instance 1864.71/845.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 1865.35/845.86 14:01 ERROR: Failed to solve instance 1865.35/845.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 1873.41/851.85 14:07 ERROR: Failed to solve instance 1873.41/851.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1873.94/852.40 14:07 ERROR: Failed to solve instance 1873.94/852.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 1875.07/853.46 14:08 ERROR: Failed to solve instance 1875.07/853.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 1882.86/859.51 14:15 ERROR: Failed to solve instance 1882.86/859.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 1883.28/859.98 14:15 ERROR: Failed to solve instance 1883.28/859.98 java.lang.OutOfMemoryError: GC overhead limit exceeded 1883.80/860.50 14:16 ERROR: Failed to solve instance 1883.80/860.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 1884.31/860.98 14:16 ERROR: Failed to solve instance 1884.31/860.98 java.lang.OutOfMemoryError: GC overhead limit exceeded 1887.02/863.22 14:18 ERROR: Failed to solve instance 1887.02/863.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1888.04/864.21 14:19 ERROR: Failed to solve instance 1888.04/864.21 java.lang.OutOfMemoryError: GC overhead limit exceeded 1888.56/864.74 14:20 ERROR: Failed to solve instance 1888.56/864.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 1889.21/865.34 14:20 ERROR: Failed to solve instance 1889.21/865.34 java.lang.OutOfMemoryError: GC overhead limit exceeded 1889.73/865.87 14:21 ERROR: Failed to solve instance 1889.73/865.87 java.lang.OutOfMemoryError: GC overhead limit exceeded 1898.64/872.74 14:28 ERROR: Failed to solve instance 1898.64/872.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 1899.16/873.23 14:28 ERROR: Failed to solve instance 1899.16/873.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 1899.67/873.77 14:29 ERROR: Failed to solve instance 1899.67/873.77 java.lang.OutOfMemoryError: GC overhead limit exceeded 1900.70/874.81 14:30 ERROR: Failed to solve instance 1900.70/874.81 java.lang.OutOfMemoryError: GC overhead limit exceeded 1912.07/884.08 14:39 ERROR: Failed to solve instance 1912.07/884.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 1913.09/885.02 14:40 ERROR: Failed to solve instance 1913.09/885.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 1913.60/885.53 14:41 ERROR: Failed to solve instance 1913.60/885.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 1914.11/886.06 14:41 ERROR: Failed to solve instance 1914.11/886.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 1914.62/886.59 14:42 ERROR: Failed to solve instance 1914.62/886.59 java.lang.OutOfMemoryError: GC overhead limit exceeded 1919.67/890.78 14:46 ERROR: Failed to solve instance 1919.67/890.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 1920.20/891.26 14:46 ERROR: Failed to solve instance 1920.20/891.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 1921.21/892.22 14:47 ERROR: Failed to solve instance 1921.21/892.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1921.75/892.79 14:48 ERROR: Failed to solve instance 1921.75/892.79 java.lang.OutOfMemoryError: GC overhead limit exceeded 1922.43/893.31 14:48 ERROR: Failed to solve instance 1922.43/893.31 java.lang.OutOfMemoryError: GC overhead limit exceeded 1926.42/896.62 14:52 ERROR: Failed to solve instance 1926.42/896.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 1927.34/897.57 14:52 ERROR: Failed to solve instance 1927.34/897.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 1927.86/898.10 14:53 ERROR: Failed to solve instance 1927.86/898.10 java.lang.OutOfMemoryError: GC overhead limit exceeded 1928.48/898.64 14:54 ERROR: Failed to solve instance 1928.48/898.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 1929.10/899.23 14:54 ERROR: Failed to solve instance 1929.10/899.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 1938.08/906.15 15:01 ERROR: Failed to solve instance 1938.08/906.15 java.lang.OutOfMemoryError: GC overhead limit exceeded 1938.62/906.67 15:02 ERROR: Failed to solve instance 1938.62/906.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1941.87/909.40 15:04 ERROR: Failed to solve instance 1941.87/909.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 1942.30/909.90 15:05 ERROR: Failed to solve instance 1942.30/909.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 1942.93/910.46 15:05 ERROR: Failed to solve instance 1942.93/910.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 1952.21/918.08 15:13 ERROR: Failed to solve instance 1952.21/918.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 1952.72/918.58 15:14 ERROR: Failed to solve instance 1952.72/918.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 1953.13/918.94 15:14 ERROR: Failed to solve instance 1953.13/918.94 java.lang.OutOfMemoryError: GC overhead limit exceeded 1953.55/919.39 15:14 ERROR: Failed to solve instance 1953.55/919.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 1955.97/921.45 15:16 ERROR: Failed to solve instance 1955.97/921.45 java.lang.OutOfMemoryError: GC overhead limit exceeded 1956.49/921.97 15:17 ERROR: Failed to solve instance 1956.49/921.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 1957.52/922.94 15:18 ERROR: Failed to solve instance 1957.52/922.94 java.lang.OutOfMemoryError: GC overhead limit exceeded 1958.03/923.48 15:18 ERROR: Failed to solve instance 1958.03/923.48 java.lang.OutOfMemoryError: GC overhead limit exceeded 1969.48/932.37 15:27 ERROR: Failed to solve instance 1969.48/932.37 java.lang.OutOfMemoryError: GC overhead limit exceeded 1970.00/932.84 15:28 ERROR: Failed to solve instance 1970.00/932.84 java.lang.OutOfMemoryError: GC overhead limit exceeded 1970.52/933.35 15:28 ERROR: Failed to solve instance 1970.52/933.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 1975.90/937.86 15:33 ERROR: Failed to solve instance 1975.90/937.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 1976.43/938.36 15:33 ERROR: Failed to solve instance 1976.43/938.36 java.lang.OutOfMemoryError: GC overhead limit exceeded 1980.38/941.56 15:37 ERROR: Failed to solve instance 1980.38/941.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 1981.40/942.53 15:38 ERROR: Failed to solve instance 1981.40/942.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 1981.93/943.04 15:38 ERROR: Failed to solve instance 1981.93/943.04 java.lang.OutOfMemoryError: GC overhead limit exceeded 1982.44/943.58 15:39 ERROR: Failed to solve instance 1982.44/943.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 1983.07/944.16 15:39 ERROR: Failed to solve instance 1983.07/944.16 java.lang.OutOfMemoryError: GC overhead limit exceeded 1984.25/945.28 15:40 ERROR: Failed to solve instance 1984.25/945.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 1984.76/945.75 15:41 ERROR: Failed to solve instance 1984.76/945.75 java.lang.OutOfMemoryError: GC overhead limit exceeded 1992.19/951.17 15:46 ERROR: Failed to solve instance 1992.19/951.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 1992.71/951.68 15:47 ERROR: Failed to solve instance 1992.71/951.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 1993.73/952.67 15:48 ERROR: Failed to solve instance 1993.73/952.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1994.35/953.20 15:48 ERROR: Failed to solve instance 1994.35/953.20 java.lang.OutOfMemoryError: GC overhead limit exceeded 1994.88/953.80 15:49 ERROR: Failed to solve instance 1994.88/953.80 java.lang.OutOfMemoryError: GC overhead limit exceeded 2003.49/960.31 15:55 ERROR: Failed to solve instance 2003.49/960.31 java.lang.OutOfMemoryError: GC overhead limit exceeded 2004.51/961.35 15:56 ERROR: Failed to solve instance 2004.51/961.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 2005.03/961.86 15:57 ERROR: Failed to solve instance 2005.03/961.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 2005.65/962.42 15:57 ERROR: Failed to solve instance 2005.65/962.42 java.lang.OutOfMemoryError: GC overhead limit exceeded 2006.28/963.00 15:58 ERROR: Failed to solve instance 2006.28/963.00 java.lang.OutOfMemoryError: GC overhead limit exceeded 2014.54/969.64 16:05 ERROR: Failed to solve instance 2014.54/969.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 2015.45/970.58 16:06 ERROR: Failed to solve instance 2015.45/970.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 2015.95/971.08 16:06 ERROR: Failed to solve instance 2015.95/971.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 2016.57/971.61 16:07 ERROR: Failed to solve instance 2016.57/971.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 2017.09/972.19 16:07 ERROR: Failed to solve instance 2017.09/972.19 java.lang.OutOfMemoryError: GC overhead limit exceeded 2022.09/976.23 16:11 ERROR: Failed to solve instance 2022.09/976.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 2022.61/976.70 16:12 ERROR: Failed to solve instance 2022.61/976.70 java.lang.OutOfMemoryError: GC overhead limit exceeded 2026.80/980.20 16:15 ERROR: Failed to solve instance 2026.80/980.20 java.lang.OutOfMemoryError: GC overhead limit exceeded 2027.85/981.18 16:16 ERROR: Failed to solve instance 2027.85/981.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 2028.47/981.71 16:17 ERROR: Failed to solve instance 2028.47/981.71 java.lang.OutOfMemoryError: GC overhead limit exceeded 2029.14/982.23 16:17 ERROR: Failed to solve instance 2029.14/982.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 2032.65/985.08 16:20 ERROR: Failed to solve instance 2032.65/985.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 2035.38/987.35 16:22 ERROR: Failed to solve instance 2035.38/987.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 2036.42/988.34 16:23 ERROR: Failed to solve instance 2036.42/988.34 java.lang.OutOfMemoryError: GC overhead limit exceeded 2036.94/988.89 16:24 ERROR: Failed to solve instance 2036.94/988.89 java.lang.OutOfMemoryError: GC overhead limit exceeded 2043.24/993.81 16:29 ERROR: Failed to solve instance 2043.24/993.81 java.lang.OutOfMemoryError: GC overhead limit exceeded 2043.97/994.53 16:30 ERROR: Failed to solve instance 2043.97/994.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 2045.88/996.14 16:31 ERROR: Failed to solve instance 2045.88/996.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 2046.91/997.12 16:32 ERROR: Failed to solve instance 2046.91/997.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 2047.44/997.70 16:33 ERROR: Failed to solve instance 2047.44/997.70 java.lang.OutOfMemoryError: GC overhead limit exceeded 2048.06/998.25 16:33 ERROR: Failed to solve instance 2048.06/998.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 2048.58/998.79 16:34 ERROR: Failed to solve instance 2048.58/998.79 java.lang.OutOfMemoryError: GC overhead limit exceeded 2055.50/1004.03 16:39 ERROR: Failed to solve instance 2055.50/1004.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 2056.04/1004.57 16:40 ERROR: Failed to solve instance 2056.04/1004.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 2057.06/1005.59 16:40 ERROR: Failed to solve instance 2057.06/1005.59 java.lang.OutOfMemoryError: GC overhead limit exceeded 2059.69/1007.74 16:43 ERROR: Failed to solve instance 2059.69/1007.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 2060.72/1008.72 16:44 ERROR: Failed to solve instance 2060.72/1008.72 java.lang.OutOfMemoryError: GC overhead limit exceeded 2061.24/1009.27 16:44 ERROR: Failed to solve instance 2061.24/1009.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 2061.92/1009.87 16:45 ERROR: Failed to solve instance 2061.92/1009.87 java.lang.OutOfMemoryError: GC overhead limit exceeded 2062.35/1010.30 16:45 ERROR: Failed to solve instance 2062.35/1010.30 java.lang.OutOfMemoryError: GC overhead limit exceeded 2070.25/1016.14 16:51 ERROR: Failed to solve instance 2070.25/1016.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 2070.77/1016.64 16:52 ERROR: Failed to solve instance 2070.77/1016.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 2071.39/1017.21 16:52 ERROR: Failed to solve instance 2071.39/1017.21 java.lang.OutOfMemoryError: GC overhead limit exceeded 2071.80/1017.68 16:53 ERROR: Failed to solve instance 2071.80/1017.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 2076.03/1021.03 16:56 ERROR: Failed to solve instance 2076.03/1021.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 2076.95/1022.00 16:57 ERROR: Failed to solve instance 2076.95/1022.00 java.lang.OutOfMemoryError: GC overhead limit exceeded 2077.58/1022.53 16:58 ERROR: Failed to solve instance 2077.58/1022.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 2078.11/1023.11 16:58 ERROR: Failed to solve instance 2078.11/1023.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 2088.06/1030.84 17:06 ERROR: Failed to solve instance 2088.06/1030.84 java.lang.OutOfMemoryError: GC overhead limit exceeded 2089.09/1031.80 17:07 ERROR: Failed to solve instance 2089.09/1031.80 java.lang.OutOfMemoryError: GC overhead limit exceeded 2089.60/1032.33 17:07 ERROR: Failed to solve instance 2089.60/1032.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 2090.03/1032.81 17:08 ERROR: Failed to solve instance 2090.03/1032.81 java.lang.OutOfMemoryError: GC overhead limit exceeded 2092.05/1034.46 17:09 ERROR: Failed to solve instance 2092.05/1034.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 2099.95/1040.54 17:16 ERROR: Failed to solve instance 2099.95/1040.54 java.lang.OutOfMemoryError: Java heap space 2100.15/1040.79 17:16 ERROR: Failed to solve instance 2100.15/1040.79 java.lang.OutOfMemoryError: GC overhead limit exceeded 2102.49/1042.83 17:18 ERROR: Failed to solve instance 2102.49/1042.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 2103.02/1043.36 17:18 ERROR: Failed to solve instance 2103.02/1043.36 java.lang.OutOfMemoryError: GC overhead limit exceeded 2103.65/1043.92 17:19 ERROR: Failed to solve instance 2103.65/1043.92 java.lang.OutOfMemoryError: GC overhead limit exceeded 2109.06/1048.45 17:23 ERROR: Failed to solve instance 2109.06/1048.45 java.lang.OutOfMemoryError: GC overhead limit exceeded 2109.58/1048.96 17:24 ERROR: Failed to solve instance 2109.58/1048.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 2113.18/1051.79 17:27 ERROR: Failed to solve instance 2113.18/1051.79 java.lang.OutOfMemoryError: GC overhead limit exceeded 2113.70/1052.28 17:27 ERROR: Failed to solve instance 2113.70/1052.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 2114.32/1052.83 17:28 ERROR: Failed to solve instance 2114.32/1052.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 2118.58/1056.25 17:31 ERROR: Failed to solve instance 2118.58/1056.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 2119.60/1057.24 17:32 ERROR: Failed to solve instance 2119.60/1057.24 java.lang.OutOfMemoryError: GC overhead limit exceeded 2120.23/1057.83 17:33 ERROR: Failed to solve instance 2120.23/1057.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 2120.75/1058.41 17:33 ERROR: Failed to solve instance 2120.75/1058.41 java.lang.OutOfMemoryError: GC overhead limit exceeded 2129.76/1065.30 17:40 ERROR: Failed to solve instance 2129.76/1065.30 java.lang.OutOfMemoryError: GC overhead limit exceeded 2130.18/1065.67 17:41 ERROR: Failed to solve instance 2130.18/1065.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 2130.81/1066.28 17:41 ERROR: Failed to solve instance 2130.81/1066.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 2133.91/1068.97 17:44 ERROR: Failed to solve instance 2133.91/1068.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 2134.43/1069.49 17:45 ERROR: Failed to solve instance 2134.43/1069.49 java.lang.OutOfMemoryError: GC overhead limit exceeded 2135.05/1070.03 17:45 ERROR: Failed to solve instance 2135.05/1070.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 2137.57/1072.35 17:47 ERROR: Failed to solve instance 2137.57/1072.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 2143.53/1077.06 17:52 ERROR: Failed to solve instance 2143.53/1077.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 2144.05/1077.55 17:53 ERROR: Failed to solve instance 2144.05/1077.55 java.lang.OutOfMemoryError: GC overhead limit exceeded 2144.66/1078.12 17:53 ERROR: Failed to solve instance 2144.66/1078.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 2151.44/1083.63 17:59 ERROR: Failed to solve instance 2151.44/1083.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 2152.36/1084.57 17:59 ERROR: Failed to solve instance 2152.36/1084.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 2152.96/1085.12 18:00 ERROR: Failed to solve instance 2152.96/1085.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 2153.58/1085.71 18:01 ERROR: Failed to solve instance 2153.58/1085.71 java.lang.OutOfMemoryError: GC overhead limit exceeded 2154.21/1086.33 18:01 ERROR: Failed to solve instance 2154.21/1086.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 2160.13/1090.95 18:06 ERROR: Failed to solve instance 2160.13/1090.95 java.lang.OutOfMemoryError: GC overhead limit exceeded 2160.66/1091.49 18:07 ERROR: Failed to solve instance 2160.66/1091.49 java.lang.OutOfMemoryError: GC overhead limit exceeded 2161.28/1092.03 18:07 ERROR: Failed to solve instance 2161.28/1092.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 2165.31/1095.29 18:10 ERROR: Failed to solve instance 2165.31/1095.29 java.lang.OutOfMemoryError: Java heap space 2166.15/1096.09 18:11 ERROR: Failed to solve instance 2166.15/1096.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 2166.77/1096.68 18:12 ERROR: Failed to solve instance 2166.77/1096.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 2174.70/1102.93 18:18 ERROR: Failed to solve instance 2174.70/1102.93 java.lang.OutOfMemoryError: GC overhead limit exceeded 2175.00/1103.25 18:18 ERROR: Failed to solve instance 2175.00/1103.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 2175.74/1103.93 18:19 ERROR: Failed to solve instance 2175.74/1103.93 java.lang.OutOfMemoryError: GC overhead limit exceeded 2179.14/1106.76 18:22 ERROR: Failed to solve instance 2179.14/1106.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 2183.67/1110.62 18:26 ERROR: Failed to solve instance 2183.67/1110.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 2184.07/1111.09 18:26 ERROR: Failed to solve instance 2184.07/1111.09 java.lang.OutOfMemoryError: Java heap space 2184.38/1111.37 18:26 ERROR: Failed to solve instance 2184.38/1111.37 java.lang.OutOfMemoryError: GC overhead limit exceeded 2185.19/1112.15 18:27 ERROR: Failed to solve instance 2185.19/1112.15 java.lang.OutOfMemoryError: GC overhead limit exceeded 2185.81/1112.74 18:28 ERROR: Failed to solve instance 2185.81/1112.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 2186.45/1113.39 18:28 ERROR: Failed to solve instance 2186.45/1113.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 2194.57/1119.50 18:35 ERROR: Failed to solve instance 2194.57/1119.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 2195.20/1120.03 18:35 ERROR: Failed to solve instance 2195.20/1120.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 2196.25/1121.08 18:36 ERROR: Failed to solve instance 2196.25/1121.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 2196.66/1121.50 18:37 ERROR: Failed to solve instance 2196.66/1121.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 2197.19/1122.01 18:37 ERROR: Failed to solve instance 2197.19/1122.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 2200.11/1124.36 18:39 ERROR: Failed to solve instance 2200.11/1124.36 java.lang.OutOfMemoryError: Java heap space 2200.76/1124.91 18:40 ERROR: Failed to solve instance 2200.76/1124.91 java.lang.OutOfMemoryError: GC overhead limit exceeded 2201.18/1125.38 18:40 ERROR: Failed to solve instance 2201.18/1125.38 java.lang.OutOfMemoryError: GC overhead limit exceeded 2205.28/1128.76 18:44 ERROR: Failed to solve instance 2205.28/1128.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 2205.81/1129.26 18:44 ERROR: Failed to solve instance 2205.81/1129.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 2206.43/1129.81 18:45 ERROR: Failed to solve instance 2206.43/1129.81 java.lang.OutOfMemoryError: GC overhead limit exceeded 2207.06/1130.42 18:45 ERROR: Failed to solve instance 2207.06/1130.42 java.lang.OutOfMemoryError: GC overhead limit exceeded 2217.33/1138.29 18:53 ERROR: Failed to solve instance 2217.33/1138.29 java.lang.OutOfMemoryError: GC overhead limit exceeded 2218.34/1139.23 18:54 ERROR: Failed to solve instance 2218.34/1139.23 java.lang.OutOfMemoryError: GC overhead limit exceeded 2218.86/1139.74 18:55 ERROR: Failed to solve instance 2218.86/1139.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 2219.37/1140.27 18:55 ERROR: Failed to solve instance 2219.37/1140.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 2219.99/1140.85 18:56 ERROR: Failed to solve instance 2219.99/1140.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 2226.85/1146.40 19:01 ERROR: Failed to solve instance 2226.85/1146.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 2227.77/1147.36 19:02 ERROR: Failed to solve instance 2227.77/1147.36 java.lang.OutOfMemoryError: GC overhead limit exceeded 2228.41/1147.90 19:03 ERROR: Failed to solve instance 2228.41/1147.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 2228.91/1148.47 19:04 ERROR: Failed to solve instance 2228.91/1148.47 java.lang.OutOfMemoryError: GC overhead limit exceeded 2229.54/1149.09 19:04 ERROR: Failed to solve instance 2229.54/1149.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 2238.00/1155.48 19:11 ERROR: Failed to solve instance 2238.00/1155.48 java.lang.OutOfMemoryError: GC overhead limit exceeded 2238.83/1156.28 19:11 ERROR: Failed to solve instance 2238.83/1156.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 2239.46/1156.86 19:12 ERROR: Failed to solve instance 2239.46/1156.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 2242.19/1159.11 19:14 ERROR: Failed to solve instance 2242.19/1159.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 2243.23/1160.12 19:15 ERROR: Failed to solve instance 2243.23/1160.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 2243.75/1160.67 19:16 ERROR: Failed to solve instance 2243.75/1160.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 2252.77/1167.57 19:22 ERROR: Failed to solve instance 2252.77/1167.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 2253.28/1168.06 19:23 ERROR: Failed to solve instance 2253.28/1168.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 2253.80/1168.59 19:24 ERROR: Failed to solve instance 2253.80/1168.59 java.lang.OutOfMemoryError: GC overhead limit exceeded 2254.42/1169.18 19:24 ERROR: Failed to solve instance 2254.42/1169.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 2255.40/1170.03 19:25 ERROR: Failed to solve instance 2255.40/1170.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 2259.10/1173.03 19:28 ERROR: Failed to solve instance 2259.10/1173.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 2259.62/1173.51 19:29 ERROR: Failed to solve instance 2259.62/1173.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 2260.14/1174.05 19:29 ERROR: Failed to solve instance 2260.14/1174.05 java.lang.OutOfMemoryError: GC overhead limit exceeded 2260.76/1174.61 19:30 ERROR: Failed to solve instance 2260.76/1174.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 2261.66/1175.47 19:31 ERROR: Failed to solve instance 2261.66/1175.47 java.lang.OutOfMemoryError: GC overhead limit exceeded 2270.18/1182.17 19:37 ERROR: Failed to solve instance 2270.18/1182.17 java.lang.OutOfMemoryError: GC overhead limit exceeded 2271.21/1183.15 19:38 ERROR: Failed to solve instance 2271.21/1183.15 java.lang.OutOfMemoryError: GC overhead limit exceeded 2271.53/1183.44 19:38 ERROR: Failed to solve instance 2271.53/1183.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 2272.38/1184.22 19:39 ERROR: Failed to solve instance 2272.38/1184.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 2272.90/1184.73 19:40 ERROR: Failed to solve instance 2272.90/1184.73 java.lang.OutOfMemoryError: GC overhead limit exceeded 2275.97/1187.27 19:42 ERROR: Failed to solve instance 2275.97/1187.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 2276.80/1188.04 19:43 ERROR: Failed to solve instance 2276.80/1188.04 java.lang.OutOfMemoryError: GC overhead limit exceeded 2277.43/1188.62 19:44 ERROR: Failed to solve instance 2277.43/1188.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 2286.26/1195.49 19:51 ERROR: Failed to solve instance 2286.26/1195.49 java.lang.OutOfMemoryError: GC overhead limit exceeded 2286.91/1196.04 19:51 ERROR: Failed to solve instance 2286.91/1196.04 java.lang.OutOfMemoryError: GC overhead limit exceeded 2287.42/1196.51 19:52 ERROR: Failed to solve instance 2287.42/1196.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 2290.36/1198.90 19:54 ERROR: Failed to solve instance 2290.36/1198.90 java.lang.OutOfMemoryError: Java heap space 2290.93/1199.47 19:55 ERROR: Failed to solve instance 2290.93/1199.47 java.lang.OutOfMemoryError: GC overhead limit exceeded 2293.65/1201.72 19:57 ERROR: Failed to solve instance 2293.65/1201.72 java.lang.OutOfMemoryError: Java heap space 2294.05/1202.12 19:57 ERROR: Failed to solve instance 2294.05/1202.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 2300.52/1207.28 20:02 ERROR: Failed to solve instance 2300.52/1207.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 2301.30/1207.99 20:03 ERROR: Failed to solve instance 2301.30/1207.99 java.lang.OutOfMemoryError: GC overhead limit exceeded 2301.81/1208.43 20:03 ERROR: Failed to solve instance 2301.81/1208.43 java.lang.OutOfMemoryError: GC overhead limit exceeded 2305.13/1211.20 20:06 ERROR: Failed to solve instance 2305.13/1211.20 java.lang.OutOfMemoryError: Java heap space 2305.24/1211.31 20:06 ERROR: Failed to solve instance 2305.24/1211.31 java.lang.OutOfMemoryError: GC overhead limit exceeded 2312.30/1216.99 20:12 ERROR: Failed to solve instance 2312.30/1216.99 java.lang.OutOfMemoryError: GC overhead limit exceeded 2312.92/1217.51 20:13 ERROR: Failed to solve instance 2312.92/1217.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 2313.45/1218.10 20:13 ERROR: Failed to solve instance 2313.45/1218.10 java.lang.OutOfMemoryError: GC overhead limit exceeded 2319.93/1223.26 20:18 ERROR: Failed to solve instance 2319.93/1223.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 2320.95/1224.27 20:19 ERROR: Failed to solve instance 2320.95/1224.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 2321.57/1224.88 20:20 ERROR: Failed to solve instance 2321.57/1224.88 java.lang.OutOfMemoryError: GC overhead limit exceeded 2328.05/1230.06 20:25 ERROR: Failed to solve instance 2328.05/1230.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 2328.58/1230.57 20:26 ERROR: Failed to solve instance 2328.58/1230.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 2329.21/1231.14 20:26 ERROR: Failed to solve instance 2329.21/1231.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 2333.90/1235.12 20:30 ERROR: Failed to solve instance 2333.90/1235.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 2334.31/1235.60 20:31 ERROR: Failed to solve instance 2334.31/1235.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 2334.92/1236.15 20:31 ERROR: Failed to solve instance 2334.92/1236.15 java.lang.OutOfMemoryError: GC overhead limit exceeded 2341.21/1241.11 20:36 ERROR: Failed to solve instance 2341.21/1241.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 2341.72/1241.63 20:37 ERROR: Failed to solve instance 2341.72/1241.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 2342.75/1242.63 20:38 ERROR: Failed to solve instance 2342.75/1242.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 2343.27/1243.21 20:38 ERROR: Failed to solve instance 2343.27/1243.21 java.lang.OutOfMemoryError: GC overhead limit exceeded 2352.22/1250.31 20:45 ERROR: Failed to solve instance 2352.22/1250.31 java.lang.OutOfMemoryError: GC overhead limit exceeded 2352.64/1250.78 20:46 ERROR: Failed to solve instance 2352.64/1250.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 2355.31/1253.01 20:48 ERROR: Failed to solve instance 2355.31/1253.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 2358.31/1255.63 20:51 ERROR: Failed to solve instance 2358.31/1255.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 2358.83/1256.14 20:51 ERROR: Failed to solve instance 2358.83/1256.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 2359.85/1257.13 20:52 ERROR: Failed to solve instance 2359.85/1257.13 java.lang.OutOfMemoryError: GC overhead limit exceeded 2360.38/1257.71 20:53 ERROR: Failed to solve instance 2360.38/1257.71 java.lang.OutOfMemoryError: GC overhead limit exceeded 2368.67/1264.32 20:59 ERROR: Failed to solve instance 2368.67/1264.32 java.lang.OutOfMemoryError: GC overhead limit exceeded 2369.19/1264.80 21:00 ERROR: Failed to solve instance 2369.19/1264.80 java.lang.OutOfMemoryError: GC overhead limit exceeded 2369.49/1265.19 21:00 ERROR: Failed to solve instance 2369.49/1265.19 java.lang.OutOfMemoryError: GC overhead limit exceeded 2370.42/1266.09 21:01 ERROR: Failed to solve instance 2370.42/1266.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 2370.94/1266.59 21:02 ERROR: Failed to solve instance 2370.94/1266.59 java.lang.OutOfMemoryError: GC overhead limit exceeded 2371.57/1267.14 21:02 ERROR: Failed to solve instance 2371.57/1267.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 2374.69/1269.64 21:05 ERROR: Failed to solve instance 2374.69/1269.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 2378.90/1273.28 21:08 ERROR: Failed to solve instance 2378.90/1273.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 2379.42/1273.76 21:09 ERROR: Failed to solve instance 2379.42/1273.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 2380.03/1274.32 21:09 ERROR: Failed to solve instance 2380.03/1274.32 java.lang.OutOfMemoryError: GC overhead limit exceeded 2389.55/1281.86 21:17 ERROR: Failed to solve instance 2389.55/1281.86 java.lang.OutOfMemoryError: GC overhead limit exceeded 2390.07/1282.37 21:17 ERROR: Failed to solve instance 2390.07/1282.37 java.lang.OutOfMemoryError: GC overhead limit exceeded 2390.70/1282.92 21:18 ERROR: Failed to solve instance 2390.70/1282.92 java.lang.OutOfMemoryError: GC overhead limit exceeded 2391.89/1284.03 21:19 ERROR: Failed to solve instance 2391.89/1284.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 2392.40/1284.54 21:20 ERROR: Failed to solve instance 2392.40/1284.54 java.lang.OutOfMemoryError: GC overhead limit exceeded 2395.52/1287.12 21:22 ERROR: Failed to solve instance 2395.52/1287.12 java.lang.OutOfMemoryError: Java heap space 2395.72/1287.40 21:22 ERROR: Failed to solve instance 2395.72/1287.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 2404.29/1293.89 21:29 ERROR: Failed to solve instance 2404.29/1293.89 java.lang.OutOfMemoryError: GC overhead limit exceeded 2407.94/1297.09 21:32 ERROR: Failed to solve instance 2407.94/1297.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 2408.46/1297.58 21:33 ERROR: Failed to solve instance 2408.46/1297.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 2409.07/1298.10 21:33 ERROR: Failed to solve instance 2409.07/1298.10 java.lang.OutOfMemoryError: GC overhead limit exceeded 2410.00/1299.01 21:34 ERROR: Failed to solve instance 2410.00/1299.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 2410.56/1299.50 21:35 ERROR: Failed to solve instance 2410.56/1299.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 2413.15/1301.79 21:37 ERROR: Failed to solve instance 2413.15/1301.79 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-3312494-1304117995/watcher-3312494-1304117995 -o /tmp/evaluation-result-3312494-1304117995/solver-3312494-1304117995 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312494-1304117995.cnf 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: 1.84 4.15 5.72 1/171 22597 /proc/meminfo: memFree=30327120/32951124 swapFree=67111364/67111528 [pid=22597] ppid=22595 vsize=9100 CPUtime=0 cores=1,3,5,7 /proc/22597/stat : 22597 (java) S 22595 22597 22152 0 -1 4202496 668 0 0 0 0 0 0 0 21 0 1 0 523399895 9318400 155 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253635935879 0 2147483391 4096 0 18446744071699199166 0 0 17 1 0 0 0 /proc/22597/statm: 2275 155 126 9 0 67 0 [startup+0.044677 s] /proc/loadavg: 1.84 4.15 5.72 1/171 22597 /proc/meminfo: memFree=30327120/32951124 swapFree=67111364/67111528 [pid=22597] ppid=22595 vsize=15604248 CPUtime=0.02 cores=1,3,5,7 /proc/22597/stat : 22597 (java) S 22595 22597 22152 0 -1 4202496 3795 0 1 0 2 0 0 0 21 0 13 0 523399895 15978749952 3233 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652662245 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 /proc/22597/statm: 3901062 3235 1682 9 0 3891810 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 15604248 [startup+0.103238 s] /proc/loadavg: 1.84 4.15 5.72 1/171 22597 /proc/meminfo: memFree=30327120/32951124 swapFree=67111364/67111528 [pid=22597] ppid=22595 vsize=15676460 CPUtime=0.1 cores=1,3,5,7 /proc/22597/stat : 22597 (java) S 22595 22597 22152 0 -1 4202496 5543 0 1 0 9 1 0 0 21 0 18 0 523399895 16052695040 4981 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22597/statm: 3919115 4981 2116 9 0 3909834 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 15676460 [startup+0.300623 s] /proc/loadavg: 1.84 4.15 5.72 1/171 22597 /proc/meminfo: memFree=30327120/32951124 swapFree=67111364/67111528 [pid=22597] ppid=22595 vsize=15681596 CPUtime=0.5 cores=1,3,5,7 /proc/22597/stat : 22597 (java) S 22595 22597 22152 0 -1 4202496 14968 0 1 0 47 3 0 0 21 0 18 0 523399895 16057954304 13162 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22597/statm: 3920399 13168 2206 9 0 3911118 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 15681596 [startup+0.700554 s] /proc/loadavg: 1.84 4.15 5.72 1/171 22597 /proc/meminfo: memFree=30327120/32951124 swapFree=67111364/67111528 [pid=22597] ppid=22595 vsize=15681596 CPUtime=0.91 cores=1,3,5,7 /proc/22597/stat : 22597 (java) S 22595 22597 22152 0 -1 4202496 41887 0 1 0 86 5 0 0 21 0 18 0 523399895 16057954304 40078 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22597/statm: 3920399 40078 2222 9 0 3911118 0 Current children cumulated CPU time (s) 0.91 Current children cumulated vsize (KiB) 15681596 [startup+1.50139 s] /proc/loadavg: 1.77 4.09 5.70 4/193 22619 /proc/meminfo: memFree=30158244/32951124 swapFree=67111364/67111528 [pid=22597] ppid=22595 vsize=15688508 CPUtime=2.23 cores=1,3,5,7 /proc/22597/stat : 22597 (java) S 22595 22597 22152 0 -1 4202496 56939 0 1 0 215 8 0 0 21 0 22 0 523399895 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22597/statm: 3922127 52305 2260 9 0 3912846 0 [pid=22597/tid=22599] ppid=22595 vsize=15688508 CPUtime=1.45 cores=1,3,5,7 /proc/22597/task/22599/stat : 22599 (java) R 22595 22597 22152 0 -1 4202560 35650 0 1 0 141 4 0 0 21 0 22 0 523399895 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 46912505217685 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=22597/tid=22600] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22600/stat : 22600 (java) S 22595 22597 22152 0 -1 4202560 1883 0 0 0 0 0 0 0 16 0 22 0 523399896 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22601] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22601/stat : 22601 (java) S 22595 22597 22152 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 523399896 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22602] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22602/stat : 22602 (java) S 22595 22597 22152 0 -1 4202560 663 0 0 0 0 0 0 0 16 0 22 0 523399896 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22603] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22603/stat : 22603 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 523399896 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22604] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22604/stat : 22604 (java) S 22595 22597 22152 0 -1 4202560 1328 0 0 0 0 0 0 0 16 0 22 0 523399896 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22605] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22605/stat : 22605 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 523399896 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22606] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22606/stat : 22606 (java) S 22595 22597 22152 0 -1 4202560 381 0 0 0 0 0 0 0 16 0 22 0 523399896 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22607] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22607/stat : 22607 (java) S 22595 22597 22152 0 -1 4202560 812 0 0 0 0 0 0 0 15 0 22 0 523399896 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22608] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22608/stat : 22608 (java) S 22595 22597 22152 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 22 0 523399897 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 0 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22609] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22609/stat : 22609 (java) S 22595 22597 22152 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 523399897 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22610] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22610/stat : 22610 (java) S 22595 22597 22152 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 523399897 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22611] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22611/stat : 22611 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523399900 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652683185 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22612] ppid=22595 vsize=15688508 CPUtime=0.19 cores=1,3,5,7 /proc/22597/task/22612/stat : 22612 (java) S 22595 22597 22152 0 -1 4202560 2386 0 0 0 19 0 0 0 15 0 22 0 523399900 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22613] ppid=22595 vsize=15688508 CPUtime=0.52 cores=1,3,5,7 /proc/22597/task/22613/stat : 22613 (java) R 22595 22597 22152 0 -1 4202560 12280 0 0 0 50 2 0 0 16 0 22 0 523399900 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 47948243973586 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22597/tid=22614] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22614/stat : 22614 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523399900 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22615] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22615/stat : 22615 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523399900 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22616] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22616/stat : 22616 (java) S 22595 22597 22152 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 523399988 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22617] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22617/stat : 22617 (java) S 22595 22597 22152 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 523399988 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22618] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22618/stat : 22618 (java) S 22595 22597 22152 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 523399988 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22619] ppid=22595 vsize=15688508 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22619/stat : 22619 (java) S 22595 22597 22152 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 523399988 16065032192 52305 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2.23 Current children cumulated vsize (KiB) 15688508 [startup+3.1011 s] /proc/loadavg: 1.77 4.09 5.70 3/193 22619 /proc/meminfo: memFree=30123896/32951124 swapFree=67111364/67111528 [pid=22597] ppid=22595 vsize=15685708 CPUtime=5.62 cores=1,3,5,7 /proc/22597/stat : 22597 (java) S 22595 22597 22152 0 -1 4202496 75143 0 1 0 552 10 0 0 21 0 22 0 523399895 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22597/statm: 3921427 63581 2275 9 0 3912146 0 [pid=22597/tid=22599] ppid=22595 vsize=15685708 CPUtime=2.67 cores=1,3,5,7 /proc/22597/task/22599/stat : 22599 (java) S 22595 22597 22152 0 -1 4202560 35703 0 1 0 263 4 0 0 25 0 22 0 523399895 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22600] ppid=22595 vsize=15685708 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22600/stat : 22600 (java) S 22595 22597 22152 0 -1 4202560 1883 0 0 0 0 0 0 0 15 0 22 0 523399896 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22601] ppid=22595 vsize=15685708 CPUtime=0.01 cores=1,3,5,7 /proc/22597/task/22601/stat : 22601 (java) S 22595 22597 22152 0 -1 4202560 3485 0 0 0 1 0 0 0 16 0 22 0 523399896 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22602] ppid=22595 vsize=15685708 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22602/stat : 22602 (java) S 22595 22597 22152 0 -1 4202560 663 0 0 0 0 0 0 0 15 0 22 0 523399896 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22603] ppid=22595 vsize=15685708 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22603/stat : 22603 (java) S 22595 22597 22152 0 -1 4202560 81 0 0 0 0 0 0 0 16 0 22 0 523399896 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22604] ppid=22595 vsize=15685708 CPUtime=0.02 cores=1,3,5,7 /proc/22597/task/22604/stat : 22604 (java) S 22595 22597 22152 0 -1 4202560 4294 0 0 0 2 0 0 0 16 0 22 0 523399896 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22605] ppid=22595 vsize=15685708 CPUtime=0.01 cores=1,3,5,7 /proc/22597/task/22605/stat : 22605 (java) S 22595 22597 22152 0 -1 4202560 1816 0 0 0 1 0 0 0 16 0 22 0 523399896 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22606] ppid=22595 vsize=15685708 CPUtime=0.02 cores=1,3,5,7 /proc/22597/task/22606/stat : 22606 (java) S 22595 22597 22152 0 -1 4202560 3008 0 0 0 2 0 0 0 16 0 22 0 523399896 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22607] ppid=22595 vsize=15685708 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22607/stat : 22607 (java) S 22595 22597 22152 0 -1 4202560 812 0 0 0 0 0 0 0 15 0 22 0 523399896 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22608] ppid=22595 vsize=15685708 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22608/stat : 22608 (java) S 22595 22597 22152 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 22 0 523399897 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 0 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22609] ppid=22595 vsize=15685708 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22609/stat : 22609 (java) S 22595 22597 22152 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 523399897 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22610] ppid=22595 vsize=15685708 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22610/stat : 22610 (java) S 22595 22597 22152 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 523399897 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22611] ppid=22595 vsize=15685708 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22611/stat : 22611 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523399900 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652683185 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22612] ppid=22595 vsize=15685708 CPUtime=0.59 cores=1,3,5,7 /proc/22597/task/22612/stat : 22612 (java) S 22595 22597 22152 0 -1 4202560 2470 0 0 0 59 0 0 0 15 0 22 0 523399900 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22613] ppid=22595 vsize=15685708 CPUtime=1.66 cores=1,3,5,7 /proc/22597/task/22613/stat : 22613 (java) R 22595 22597 22152 0 -1 4202560 19395 0 0 0 163 3 0 0 15 0 22 0 523399900 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 47948243945465 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=22597/tid=22614] ppid=22595 vsize=15685708 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22614/stat : 22614 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523399900 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22615] ppid=22595 vsize=15685708 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22615/stat : 22615 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523399900 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22616] ppid=22595 vsize=15685708 CPUtime=0.22 cores=1,3,5,7 /proc/22597/task/22616/stat : 22616 (java) R 22595 22597 22152 0 -1 4202560 18 0 0 0 22 0 0 0 16 0 22 0 523399988 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 46912505228560 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=22597/tid=22617] ppid=22595 vsize=15685708 CPUtime=0.21 cores=1,3,5,7 /proc/22597/task/22617/stat : 22617 (java) R 22595 22597 22152 0 -1 4202560 8 0 0 0 21 0 0 0 16 0 22 0 523399988 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 46912505523903 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=22597/tid=22618] ppid=22595 vsize=15685708 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22618/stat : 22618 (java) S 22595 22597 22152 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523399988 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22619] ppid=22595 vsize=15685708 CPUtime=0.09 cores=1,3,5,7 /proc/22597/task/22619/stat : 22619 (java) S 22595 22597 22152 0 -1 4202560 21 0 0 0 9 0 0 0 15 0 22 0 523399988 16062164992 63581 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.62 Current children cumulated vsize (KiB) 15685708 [startup+6.30149 s] /proc/loadavg: 1.77 4.09 5.70 5/193 22619 /proc/meminfo: memFree=29458480/32951124 swapFree=67111364/67111528 [pid=22597] ppid=22595 vsize=15686276 CPUtime=17.64 cores=1,3,5,7 /proc/22597/stat : 22597 (java) S 22595 22597 22152 0 -1 4202496 281393 0 1 0 1723 41 0 0 21 0 22 0 523399895 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22597/statm: 3921569 268563 2275 9 0 3912288 0 [pid=22597/tid=22599] ppid=22595 vsize=15686276 CPUtime=2.67 cores=1,3,5,7 /proc/22597/task/22599/stat : 22599 (java) S 22595 22597 22152 0 -1 4202560 35703 0 1 0 263 4 0 0 25 0 22 0 523399895 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22600] ppid=22595 vsize=15686276 CPUtime=0.08 cores=1,3,5,7 /proc/22597/task/22600/stat : 22600 (java) S 22595 22597 22152 0 -1 4202560 10484 0 0 0 7 1 0 0 15 0 22 0 523399896 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22601] ppid=22595 vsize=15686276 CPUtime=0.16 cores=1,3,5,7 /proc/22597/task/22601/stat : 22601 (java) S 22595 22597 22152 0 -1 4202560 32201 0 0 0 12 4 0 0 15 0 22 0 523399896 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22602] ppid=22595 vsize=15686276 CPUtime=0.07 cores=1,3,5,7 /proc/22597/task/22602/stat : 22602 (java) S 22595 22597 22152 0 -1 4202560 9565 0 0 0 6 1 0 0 15 0 22 0 523399896 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22603] ppid=22595 vsize=15686276 CPUtime=0.09 cores=1,3,5,7 /proc/22597/task/22603/stat : 22603 (java) S 22595 22597 22152 0 -1 4202560 14163 0 0 0 8 1 0 0 15 0 22 0 523399896 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22604] ppid=22595 vsize=15686276 CPUtime=0.24 cores=1,3,5,7 /proc/22597/task/22604/stat : 22604 (java) S 22595 22597 22152 0 -1 4202560 34174 0 0 0 19 5 0 0 16 0 22 0 523399896 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22605] ppid=22595 vsize=15686276 CPUtime=0.2 cores=1,3,5,7 /proc/22597/task/22605/stat : 22605 (java) S 22595 22597 22152 0 -1 4202560 22978 0 0 0 16 4 0 0 16 0 22 0 523399896 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22606] ppid=22595 vsize=15686276 CPUtime=0.24 cores=1,3,5,7 /proc/22597/task/22606/stat : 22606 (java) S 22595 22597 22152 0 -1 4202560 29564 0 0 0 20 4 0 0 16 0 22 0 523399896 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22607] ppid=22595 vsize=15686276 CPUtime=0.15 cores=1,3,5,7 /proc/22597/task/22607/stat : 22607 (java) S 22595 22597 22152 0 -1 4202560 33442 0 0 0 11 4 0 0 16 0 22 0 523399896 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22608] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22608/stat : 22608 (java) S 22595 22597 22152 0 -1 4202560 445 0 0 0 0 0 0 0 15 0 22 0 523399897 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 0 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22609] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22609/stat : 22609 (java) S 22595 22597 22152 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 523399897 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22610] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22610/stat : 22610 (java) S 22595 22597 22152 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 523399897 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22611] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22611/stat : 22611 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523399900 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652683185 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22612] ppid=22595 vsize=15686276 CPUtime=0.71 cores=1,3,5,7 /proc/22597/task/22612/stat : 22612 (java) S 22595 22597 22152 0 -1 4202560 2739 0 0 0 71 0 0 0 15 0 22 0 523399900 16062746624 268563 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 ################ # More data... # ################ /proc/22597/task/22604/stat : 22604 (java) S 22595 22597 22152 0 -1 4202560 411476 0 0 0 271 65 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22605] ppid=22595 vsize=15686276 CPUtime=2.79 cores=1,3,5,7 /proc/22597/task/22605/stat : 22605 (java) S 22595 22597 22152 0 -1 4202560 302610 0 0 0 229 50 0 0 15 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22606] ppid=22595 vsize=15686276 CPUtime=2.99 cores=1,3,5,7 /proc/22597/task/22606/stat : 22606 (java) S 22595 22597 22152 0 -1 4202560 379089 0 0 0 238 61 0 0 15 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22607] ppid=22595 vsize=15686276 CPUtime=2.81 cores=1,3,5,7 /proc/22597/task/22607/stat : 22607 (java) S 22595 22597 22152 0 -1 4202560 349925 0 0 0 225 56 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22608] ppid=22595 vsize=15686276 CPUtime=815.54 cores=1,3,5,7 /proc/22597/task/22608/stat : 22608 (java) R 22595 22597 22152 0 -1 4202560 685622 0 0 0 81413 141 0 0 18 0 22 0 523399897 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 47948243992925 0 0 0 16800975 0 0 0 -1 3 0 0 0 [pid=22597/tid=22609] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22609/stat : 22609 (java) S 22595 22597 22152 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523399897 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22610] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22610/stat : 22610 (java) S 22595 22597 22152 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 523399897 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22611] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22611/stat : 22611 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652683185 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22612] ppid=22595 vsize=15686276 CPUtime=0.82 cores=1,3,5,7 /proc/22597/task/22612/stat : 22612 (java) S 22595 22597 22152 0 -1 4202560 2747 0 0 0 82 0 0 0 15 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22613] ppid=22595 vsize=15686276 CPUtime=1.94 cores=1,3,5,7 /proc/22597/task/22613/stat : 22613 (java) S 22595 22597 22152 0 -1 4202560 19436 0 0 0 191 3 0 0 15 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22614] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22614/stat : 22614 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22615] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22615/stat : 22615 (java) S 22595 22597 22152 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22616] ppid=22595 vsize=15686276 CPUtime=356.49 cores=1,3,5,7 /proc/22597/task/22616/stat : 22616 (java) S 22595 22597 22152 0 -1 4202560 45767 0 0 0 35638 11 0 0 15 0 22 0 523399988 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22617] ppid=22595 vsize=15686276 CPUtime=356.36 cores=1,3,5,7 /proc/22597/task/22617/stat : 22617 (java) S 22595 22597 22152 0 -1 4202560 60693 0 0 0 35624 12 0 0 15 0 22 0 523399988 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22618] ppid=22595 vsize=15686276 CPUtime=356.46 cores=1,3,5,7 /proc/22597/task/22618/stat : 22618 (java) S 22595 22597 22152 0 -1 4202560 61282 0 0 0 35633 13 0 0 15 0 22 0 523399988 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22619] ppid=22595 vsize=15686276 CPUtime=354.83 cores=1,3,5,7 /proc/22597/task/22619/stat : 22619 (java) S 22595 22597 22152 0 -1 4202560 45068 0 0 0 35474 9 0 0 15 0 22 0 523399988 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2270.38 Current children cumulated vsize (KiB) 15686276 [startup+1242.3 s] /proc/loadavg: 1.39 1.51 2.79 2/193 22664 /proc/meminfo: memFree=14978272/32951124 swapFree=67111364/67111528 [pid=22597] ppid=22595 vsize=15686276 CPUtime=2342.45 cores=1,3,5,7 /proc/22597/stat : 22597 (java) S 22595 22597 22152 0 -1 4202496 3897891 0 1 0 233570 675 0 0 21 0 22 0 523399895 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22597/statm: 3921569 3831551 2294 9 0 3912288 0 [pid=22597/tid=22599] ppid=22595 vsize=15686276 CPUtime=2.67 cores=1,3,5,7 /proc/22597/task/22599/stat : 22599 (java) S 22595 22597 22152 0 -1 4202560 35703 0 1 0 263 4 0 0 25 0 22 0 523399895 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22600] ppid=22595 vsize=15686276 CPUtime=3.21 cores=1,3,5,7 /proc/22597/task/22600/stat : 22600 (java) S 22595 22597 22152 0 -1 4202560 359261 0 0 0 266 55 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22601] ppid=22595 vsize=15686276 CPUtime=3.28 cores=1,3,5,7 /proc/22597/task/22601/stat : 22601 (java) S 22595 22597 22152 0 -1 4202560 362840 0 0 0 268 60 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22602] ppid=22595 vsize=15686276 CPUtime=2.94 cores=1,3,5,7 /proc/22597/task/22602/stat : 22602 (java) S 22595 22597 22152 0 -1 4202560 353732 0 0 0 237 57 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22603] ppid=22595 vsize=15686276 CPUtime=3.69 cores=1,3,5,7 /proc/22597/task/22603/stat : 22603 (java) S 22595 22597 22152 0 -1 4202560 420798 0 0 0 306 63 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22604] ppid=22595 vsize=15686276 CPUtime=3.36 cores=1,3,5,7 /proc/22597/task/22604/stat : 22604 (java) S 22595 22597 22152 0 -1 4202560 411476 0 0 0 271 65 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22605] ppid=22595 vsize=15686276 CPUtime=2.79 cores=1,3,5,7 /proc/22597/task/22605/stat : 22605 (java) S 22595 22597 22152 0 -1 4202560 302610 0 0 0 229 50 0 0 15 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22606] ppid=22595 vsize=15686276 CPUtime=2.99 cores=1,3,5,7 /proc/22597/task/22606/stat : 22606 (java) S 22595 22597 22152 0 -1 4202560 379089 0 0 0 238 61 0 0 15 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22607] ppid=22595 vsize=15686276 CPUtime=2.81 cores=1,3,5,7 /proc/22597/task/22607/stat : 22607 (java) S 22595 22597 22152 0 -1 4202560 349925 0 0 0 225 56 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22608] ppid=22595 vsize=15686276 CPUtime=871.43 cores=1,3,5,7 /proc/22597/task/22608/stat : 22608 (java) R 22595 22597 22152 0 -1 4202560 685624 0 0 0 86998 145 0 0 18 0 22 0 523399897 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 47948243992608 0 0 0 16800975 0 0 0 -1 5 0 0 0 [pid=22597/tid=22609] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22609/stat : 22609 (java) S 22595 22597 22152 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523399897 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22610] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22610/stat : 22610 (java) S 22595 22597 22152 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 523399897 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22611] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22611/stat : 22611 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652683185 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22612] ppid=22595 vsize=15686276 CPUtime=0.82 cores=1,3,5,7 /proc/22597/task/22612/stat : 22612 (java) S 22595 22597 22152 0 -1 4202560 2747 0 0 0 82 0 0 0 15 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22613] ppid=22595 vsize=15686276 CPUtime=1.94 cores=1,3,5,7 /proc/22597/task/22613/stat : 22613 (java) S 22595 22597 22152 0 -1 4202560 19436 0 0 0 191 3 0 0 15 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22614] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22614/stat : 22614 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22615] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22615/stat : 22615 (java) S 22595 22597 22152 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22616] ppid=22595 vsize=15686276 CPUtime=360.54 cores=1,3,5,7 /proc/22597/task/22616/stat : 22616 (java) S 22595 22597 22152 0 -1 4202560 45858 0 0 0 36043 11 0 0 15 0 22 0 523399988 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22617] ppid=22595 vsize=15686276 CPUtime=360.4 cores=1,3,5,7 /proc/22597/task/22617/stat : 22617 (java) S 22595 22597 22152 0 -1 4202560 60767 0 0 0 36028 12 0 0 16 0 22 0 523399988 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22618] ppid=22595 vsize=15686276 CPUtime=360.5 cores=1,3,5,7 /proc/22597/task/22618/stat : 22618 (java) S 22595 22597 22152 0 -1 4202560 61390 0 0 0 36037 13 0 0 15 0 22 0 523399988 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22619] ppid=22595 vsize=15686276 CPUtime=358.89 cores=1,3,5,7 /proc/22597/task/22619/stat : 22619 (java) S 22595 22597 22152 0 -1 4202560 45182 0 0 0 35879 10 0 0 15 0 22 0 523399988 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2342.45 Current children cumulated vsize (KiB) 15686276 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 1.59 1.57 2.74 2/193 22665 /proc/meminfo: memFree=14978488/32951124 swapFree=67111364/67111528 [pid=22597] ppid=22595 vsize=15686276 CPUtime=2411.23 cores=1,3,5,7 /proc/22597/stat : 22597 (java) S 22595 22597 22152 0 -1 4202496 3898287 0 1 0 240441 682 0 0 21 0 22 0 523399895 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22597/statm: 3921569 3831551 2294 9 0 3912288 0 [pid=22597/tid=22599] ppid=22595 vsize=15686276 CPUtime=2.67 cores=1,3,5,7 /proc/22597/task/22599/stat : 22599 (java) S 22595 22597 22152 0 -1 4202560 35703 0 1 0 263 4 0 0 25 0 22 0 523399895 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 [pid=22597/tid=22600] ppid=22595 vsize=15686276 CPUtime=3.21 cores=1,3,5,7 /proc/22597/task/22600/stat : 22600 (java) S 22595 22597 22152 0 -1 4202560 359261 0 0 0 266 55 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22601] ppid=22595 vsize=15686276 CPUtime=3.28 cores=1,3,5,7 /proc/22597/task/22601/stat : 22601 (java) S 22595 22597 22152 0 -1 4202560 362840 0 0 0 268 60 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22602] ppid=22595 vsize=15686276 CPUtime=2.94 cores=1,3,5,7 /proc/22597/task/22602/stat : 22602 (java) S 22595 22597 22152 0 -1 4202560 353732 0 0 0 237 57 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22603] ppid=22595 vsize=15686276 CPUtime=3.69 cores=1,3,5,7 /proc/22597/task/22603/stat : 22603 (java) S 22595 22597 22152 0 -1 4202560 420798 0 0 0 306 63 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22604] ppid=22595 vsize=15686276 CPUtime=3.36 cores=1,3,5,7 /proc/22597/task/22604/stat : 22604 (java) S 22595 22597 22152 0 -1 4202560 411476 0 0 0 271 65 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22605] ppid=22595 vsize=15686276 CPUtime=2.79 cores=1,3,5,7 /proc/22597/task/22605/stat : 22605 (java) S 22595 22597 22152 0 -1 4202560 302610 0 0 0 229 50 0 0 15 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22606] ppid=22595 vsize=15686276 CPUtime=2.99 cores=1,3,5,7 /proc/22597/task/22606/stat : 22606 (java) S 22595 22597 22152 0 -1 4202560 379089 0 0 0 238 61 0 0 15 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22607] ppid=22595 vsize=15686276 CPUtime=2.81 cores=1,3,5,7 /proc/22597/task/22607/stat : 22607 (java) S 22595 22597 22152 0 -1 4202560 349925 0 0 0 225 56 0 0 16 0 22 0 523399896 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22608] ppid=22595 vsize=15686276 CPUtime=925.38 cores=1,3,5,7 /proc/22597/task/22608/stat : 22608 (java) R 22595 22597 22152 0 -1 4202560 685629 0 0 0 92388 150 0 0 18 0 22 0 523399897 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 47948246710698 0 0 0 16800975 0 0 0 -1 3 0 0 0 [pid=22597/tid=22609] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22609/stat : 22609 (java) S 22595 22597 22152 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523399897 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22610] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22610/stat : 22610 (java) S 22595 22597 22152 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 523399897 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22611] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22611/stat : 22611 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652683185 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22612] ppid=22595 vsize=15686276 CPUtime=0.82 cores=1,3,5,7 /proc/22597/task/22612/stat : 22612 (java) S 22595 22597 22152 0 -1 4202560 2747 0 0 0 82 0 0 0 15 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22613] ppid=22595 vsize=15686276 CPUtime=1.94 cores=1,3,5,7 /proc/22597/task/22613/stat : 22613 (java) S 22595 22597 22152 0 -1 4202560 19436 0 0 0 191 3 0 0 15 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22614] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22614/stat : 22614 (java) S 22595 22597 22152 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22615] ppid=22595 vsize=15686276 CPUtime=0 cores=1,3,5,7 /proc/22597/task/22615/stat : 22615 (java) S 22595 22597 22152 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 523399900 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652676096 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22616] ppid=22595 vsize=15686276 CPUtime=364.22 cores=1,3,5,7 /proc/22597/task/22616/stat : 22616 (java) S 22595 22597 22152 0 -1 4202560 45981 0 0 0 36411 11 0 0 15 0 22 0 523399988 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 7 0 0 0 [pid=22597/tid=22617] ppid=22595 vsize=15686276 CPUtime=364.1 cores=1,3,5,7 /proc/22597/task/22617/stat : 22617 (java) S 22595 22597 22152 0 -1 4202560 60873 0 0 0 36397 13 0 0 15 0 22 0 523399988 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 5 0 0 0 [pid=22597/tid=22618] ppid=22595 vsize=15686276 CPUtime=364.21 cores=1,3,5,7 /proc/22597/task/22618/stat : 22618 (java) S 22595 22597 22152 0 -1 4202560 61470 0 0 0 36408 13 0 0 15 0 22 0 523399988 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 1 0 0 0 [pid=22597/tid=22619] ppid=22595 vsize=15686276 CPUtime=362.6 cores=1,3,5,7 /proc/22597/task/22619/stat : 22619 (java) S 22595 22597 22152 0 -1 4202560 45261 0 0 0 36250 10 0 0 15 0 22 0 523399988 16062746624 3831551 33554432000 1073741824 1073778376 140734277689808 18446744073709551615 253652675481 0 4 0 16800975 18446604454342023040 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2411.23 Current children cumulated vsize (KiB) 15686276 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -22597 [startup+1302.3 s] /proc/loadavg: 1.54 1.56 2.73 2/195 22668 /proc/meminfo: memFree=14978348/32951124 swapFree=67111364/67111528 [pid=22597] ppid=22595 vsize=0 CPUtime=2413.9 cores=1,3,5,7 /proc/22597/stat : 22597 (java) Z 22595 22597 22152 0 -1 4203548 3898317 0 1 0 240680 710 0 0 18 0 2 0 523399895 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22597/statm: 0 0 0 0 0 0 0 [pid=22597/tid=22614] ppid=22595 vsize=0 CPUtime=0.28 cores=1,3,5,7 /proc/22597/task/22614/stat : 22614 (java) R 22595 22597 22152 0 -1 4203588 1 0 0 0 0 28 0 0 18 0 2 0 523399900 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) 2413.9 Current children cumulated vsize (KiB) 0 Solver just ended. Dumping a history of the last processes samples [startup+1302.5 s] /proc/loadavg: 1.54 1.56 2.73 2/195 22668 /proc/meminfo: memFree=14978348/32951124 swapFree=67111364/67111528 [pid=22597] ppid=22595 vsize=0 CPUtime=2414.1 cores=1,3,5,7 /proc/22597/stat : 22597 (java) Z 22595 22597 22152 0 -1 4203548 3898317 0 1 0 240680 730 0 0 18 0 2 0 523399895 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 /proc/22597/statm: 0 0 0 0 0 0 0 [pid=22597/tid=22614] ppid=22595 vsize=0 CPUtime=0.48 cores=1,3,5,7 /proc/22597/task/22614/stat : 22614 (java) R 22595 22597 22152 0 -1 4203588 1 0 0 0 0 48 0 0 18 0 2 0 523399900 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) 2414.1 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1302.51 CPU time (s): 2414.13 CPU user time (s): 2406.81 CPU system time (s): 7.32289 CPU usage (%): 185.344 Max. virtual memory (cumulated for all children) (KiB): 15688536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2406.81 system time used= 7.32289 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3898317 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= 74467 involuntary context switches= 34288 runsolver used 2.10768 second user time and 5.2752 second system time The end
Begin job on node106 at 2011-04-30 00:59:55 IDJOB=3312494 IDBENCH=82679 IDSOLVER=1699 FILE ID=node106/3312494-1304117995 RUNJOBID= node106-1304114276-22171 PBS_JOBID= 13170704 Free space on /tmp= 72156 MiB SOLVER NAME= STRUCTure 0.1 BENCH NAME= SAT11/random/large/unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312494-1304117995/watcher-3312494-1304117995 -o /tmp/evaluation-result-3312494-1304117995/solver-3312494-1304117995 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312494-1304117995.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eb4eadfedd2c4dc9b0ed7231ad324f1f RANDOM SEED=212334512 node106.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.830 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.66 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.830 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.20 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 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: 30327400 kB Buffers: 262712 kB Cached: 2085240 kB SwapCached: 88 kB Active: 803472 kB Inactive: 1607764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30327400 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 5100 kB Writeback: 0 kB AnonPages: 64116 kB Mapped: 14700 kB Slab: 146744 kB PageTables: 4052 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 185316 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= 72156 MiB End job on node106 at 2011-04-30 01:21:38