| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| STRUCTure 0.1 | ? (TO) | 2489.94 | 1302.51 |
| Name | random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf |
| MD5SUM | 4033245e3bd21ace8cfcd57089ff73c5 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 213.183 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 50000 |
| Number of clauses | 210000 |
| Sum of the clauses size | 630000 |
| 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 | 210000 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.10/0.11 56:25 INFO : Reading from input HOME/instance-3312487-1304117785.cnf 1.24/1.07 Executor set job limit to 1000000 1.24/1.07 Executor set job limit to 1000000 1.24/1.07 Executor set job limit to 1000000 1.24/1.07 Executor set job limit to 1000000 1.24/1.07 Starting Executor! 1.24/1.07 Starting Executor! 1.24/1.07 Starting Executor! 1.24/1.07 Starting Executor! 5.54/3.31 56:28 INFO : 49825 variables remaining out of 50000 5.54/3.31 56:28 INFO : 835876 literals remaining out of 840000 1467.93/395.41 03:00 ERROR: Failed to solve instance 1467.93/395.41 java.lang.OutOfMemoryError: Java heap space 1467.93/395.41 at gnu.trove.TIntArrayList.ensureCapacity(TIntArrayList.java:100) 1467.93/395.41 at gnu.trove.TIntArrayList.add(TIntArrayList.java:144) 1467.93/395.41 at ibis.structure.Subsumming.run(Subsumming.java:57) 1467.93/395.41 at ibis.structure.Solver.simplify(Solver.java:205) 1467.93/395.41 at ibis.structure.Solver.solve(Solver.java:113) 1467.93/395.41 at ibis.structure.SolveActivity.initialize(SolveActivity.java:29) 1467.93/395.41 at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143) 1467.93/395.41 at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215) 1467.93/395.41 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398) 1467.93/395.41 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420) 1467.93/395.41 at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023) 1467.93/395.41 at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515) 1467.93/395.41 at ibis.constellation.Executor.processActivities(Executor.java:75) 1467.93/395.41 at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54) 1467.93/395.41 at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521) 1467.93/395.41 at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070) 1478.29/404.18 03:09 ERROR: Failed to solve instance 1478.29/404.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1478.29/404.18 at gnu.trove.TPrimitiveHash.setUp(TPrimitiveHash.java:123) 1478.29/404.18 at gnu.trove.TIntHash.setUp(TIntHash.java:133) 1478.29/404.18 at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83) 1478.29/404.18 at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68) 1478.29/404.18 at gnu.trove.TIntHash.<init>(TIntHash.java:60) 1478.29/404.18 at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59) 1478.29/404.18 at ibis.structure.WatchLists.build(WatchLists.java:47) 1478.29/404.18 at ibis.structure.Solver.<init>(Solver.java:45) 1478.29/404.18 at ibis.structure.SolveActivity.initialize(SolveActivity.java:28) 1478.29/404.18 at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143) 1478.29/404.18 at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215) 1478.29/404.18 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398) 1478.29/404.18 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420) 1478.29/404.18 at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023) 1478.29/404.18 at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515) 1478.29/404.18 at ibis.constellation.Executor.processActivities(Executor.java:75) 1478.29/404.18 at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54) 1478.29/404.18 at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521) 1478.29/404.18 at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070) 1480.62/406.50 03:11 ERROR: Failed to solve instance 1480.62/406.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 1480.62/406.50 at gnu.trove.TIntHash.setUp(TIntHash.java:134) 1480.62/406.50 at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:83) 1480.62/406.50 at gnu.trove.TPrimitiveHash.<init>(TPrimitiveHash.java:68) 1480.62/406.50 at gnu.trove.TIntHash.<init>(TIntHash.java:60) 1480.62/406.50 at gnu.trove.TIntHashSet.<init>(TIntHashSet.java:59) 1480.62/406.50 at ibis.structure.WatchLists.build(WatchLists.java:47) 1480.62/406.50 at ibis.structure.Solver.<init>(Solver.java:45) 1480.62/406.50 at ibis.structure.SolveActivity.initialize(SolveActivity.java:28) 1480.62/406.50 at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143) 1480.62/406.50 at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215) 1480.62/406.50 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398) 1480.62/406.50 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420) 1480.62/406.50 at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023) 1480.62/406.50 at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515) 1480.62/406.50 at ibis.constellation.Executor.processActivities(Executor.java:75) 1480.62/406.50 at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54) 1480.62/406.50 at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521) 1480.62/406.50 at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070) 1483.04/408.90 03:14 ERROR: Failed to solve instance 1483.04/408.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 1483.04/408.90 at ibis.structure.WatchLists.build(WatchLists.java:47) 1483.04/408.90 at ibis.structure.Solver.<init>(Solver.java:45) 1483.04/408.90 at ibis.structure.SolveActivity.initialize(SolveActivity.java:28) 1483.04/408.90 at ibis.constellation.impl.ActivityRecord.runStateMachine(ActivityRecord.java:143) 1483.04/408.90 at ibis.constellation.impl.ActivityRecord.run(ActivityRecord.java:215) 1483.04/408.90 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:398) 1483.04/408.90 at ibis.constellation.impl.ExecutorWrapper.process(ExecutorWrapper.java:420) 1483.04/408.90 at ibis.constellation.impl.SingleThreadedConstellation.processActivities(SingleThreadedConstellation.java:1023) 1483.04/408.90 at ibis.constellation.impl.ExecutorWrapper.processActivities(ExecutorWrapper.java:515) 1483.04/408.90 at ibis.constellation.Executor.processActivities(Executor.java:75) 1483.04/408.90 at ibis.constellation.SimpleExecutor.run(SimpleExecutor.java:54) 1483.04/408.90 at ibis.constellation.impl.ExecutorWrapper.runExecutor(ExecutorWrapper.java:521) 1483.04/408.90 at ibis.constellation.impl.SingleThreadedConstellation.run(SingleThreadedConstellation.java:1070) 1492.43/416.60 03:22 ERROR: Failed to solve instance 1492.43/416.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 1493.46/417.68 03:23 ERROR: Failed to solve instance 1493.46/417.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 1494.07/418.29 03:23 ERROR: Failed to solve instance 1494.07/418.29 java.lang.OutOfMemoryError: GC overhead limit exceeded 1494.80/418.94 03:24 ERROR: Failed to solve instance 1494.80/418.94 java.lang.OutOfMemoryError: GC overhead limit exceeded 1495.55/419.66 03:25 ERROR: Failed to solve instance 1495.55/419.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1507.45/429.03 03:34 ERROR: Failed to solve instance 1507.45/429.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 1509.77/431.39 03:36 ERROR: Failed to solve instance 1509.77/431.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 1512.08/433.63 03:39 ERROR: Failed to solve instance 1512.08/433.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 1513.23/434.74 03:40 ERROR: Failed to solve instance 1513.23/434.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 1513.87/435.34 03:40 ERROR: Failed to solve instance 1513.87/435.34 java.lang.OutOfMemoryError: GC overhead limit exceeded 1514.51/435.99 03:41 ERROR: Failed to solve instance 1514.51/435.99 java.lang.OutOfMemoryError: GC overhead limit exceeded 1520.19/440.56 03:46 ERROR: Failed to solve instance 1520.19/440.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 1522.52/442.89 03:48 ERROR: Failed to solve instance 1522.52/442.89 java.lang.OutOfMemoryError: GC overhead limit exceeded 1523.23/443.52 03:49 ERROR: Failed to solve instance 1523.23/443.52 java.lang.OutOfMemoryError: GC overhead limit exceeded 1532.91/451.05 03:56 ERROR: Failed to solve instance 1532.91/451.05 java.lang.OutOfMemoryError: GC overhead limit exceeded 1536.19/453.84 03:59 ERROR: Failed to solve instance 1536.19/453.84 java.lang.OutOfMemoryError: GC overhead limit exceeded 1536.82/454.44 03:59 ERROR: Failed to solve instance 1536.82/454.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 1537.94/455.60 04:00 ERROR: Failed to solve instance 1537.94/455.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 1538.67/456.22 04:01 ERROR: Failed to solve instance 1538.67/456.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1539.30/456.87 04:02 ERROR: Failed to solve instance 1539.30/456.87 java.lang.OutOfMemoryError: GC overhead limit exceeded 1540.03/457.57 04:03 ERROR: Failed to solve instance 1540.03/457.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 1541.11/458.57 04:04 ERROR: Failed to solve instance 1541.11/458.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 1550.71/466.24 04:11 ERROR: Failed to solve instance 1550.71/466.24 java.lang.OutOfMemoryError: GC overhead limit exceeded 1551.33/466.84 04:12 ERROR: Failed to solve instance 1551.33/466.84 java.lang.OutOfMemoryError: GC overhead limit exceeded 1552.06/467.51 04:12 ERROR: Failed to solve instance 1552.06/467.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 1557.28/471.92 04:17 ERROR: Failed to solve instance 1557.28/471.92 java.lang.OutOfMemoryError: GC overhead limit exceeded 1557.81/472.48 04:17 ERROR: Failed to solve instance 1557.81/472.48 java.lang.OutOfMemoryError: GC overhead limit exceeded 1558.44/473.10 04:18 ERROR: Failed to solve instance 1558.44/473.10 java.lang.OutOfMemoryError: GC overhead limit exceeded 1559.18/473.76 04:19 ERROR: Failed to solve instance 1559.18/473.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 1569.94/482.12 04:27 ERROR: Failed to solve instance 1569.94/482.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 1574.04/485.66 04:31 ERROR: Failed to solve instance 1574.04/485.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1575.00/486.58 04:32 ERROR: Failed to solve instance 1575.00/486.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 1575.84/487.39 04:32 ERROR: Failed to solve instance 1575.84/487.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 1576.59/488.01 04:33 ERROR: Failed to solve instance 1576.59/488.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 1577.10/488.55 04:34 ERROR: Failed to solve instance 1577.10/488.55 java.lang.OutOfMemoryError: GC overhead limit exceeded 1583.01/493.59 04:39 ERROR: Failed to solve instance 1583.01/493.59 java.lang.OutOfMemoryError: GC overhead limit exceeded 1583.63/494.14 04:39 ERROR: Failed to solve instance 1583.63/494.14 java.lang.OutOfMemoryError: GC overhead limit exceeded 1584.85/495.32 04:40 ERROR: Failed to solve instance 1584.85/495.32 java.lang.OutOfMemoryError: GC overhead limit exceeded 1585.47/495.95 04:41 ERROR: Failed to solve instance 1585.47/495.95 java.lang.OutOfMemoryError: GC overhead limit exceeded 1586.20/496.62 04:42 ERROR: Failed to solve instance 1586.20/496.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 1586.94/497.33 04:42 ERROR: Failed to solve instance 1586.94/497.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 1600.05/507.26 04:52 ERROR: Failed to solve instance 1600.05/507.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 1600.58/507.80 04:53 ERROR: Failed to solve instance 1600.58/507.80 java.lang.OutOfMemoryError: GC overhead limit exceeded 1601.19/508.40 04:53 ERROR: Failed to solve instance 1601.19/508.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 1601.91/509.06 04:54 ERROR: Failed to solve instance 1601.91/509.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 1603.15/510.29 04:55 ERROR: Failed to solve instance 1603.15/510.29 java.lang.OutOfMemoryError: GC overhead limit exceeded 1603.89/511.00 04:56 ERROR: Failed to solve instance 1603.89/511.00 java.lang.OutOfMemoryError: GC overhead limit exceeded 1615.10/519.64 05:05 ERROR: Failed to solve instance 1615.10/519.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 1615.73/520.26 05:05 ERROR: Failed to solve instance 1615.73/520.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 1616.24/520.76 05:06 ERROR: Failed to solve instance 1616.24/520.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 1617.38/521.84 05:07 ERROR: Failed to solve instance 1617.38/521.84 java.lang.OutOfMemoryError: GC overhead limit exceeded 1618.17/522.50 05:07 ERROR: Failed to solve instance 1618.17/522.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 1618.67/523.04 05:08 ERROR: Failed to solve instance 1618.67/523.04 java.lang.OutOfMemoryError: GC overhead limit exceeded 1622.78/526.43 05:11 ERROR: Failed to solve instance 1622.78/526.43 java.lang.OutOfMemoryError: Java heap space 1623.29/526.99 05:12 ERROR: Failed to solve instance 1623.29/526.99 java.lang.OutOfMemoryError: GC overhead limit exceeded 1624.04/527.65 05:13 ERROR: Failed to solve instance 1624.04/527.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1636.52/536.96 05:22 ERROR: Failed to solve instance 1636.52/536.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 1637.04/537.50 05:22 ERROR: Failed to solve instance 1637.04/537.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 1637.65/538.08 05:23 ERROR: Failed to solve instance 1637.65/538.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 1638.68/539.10 05:24 ERROR: Failed to solve instance 1638.68/539.10 java.lang.OutOfMemoryError: GC overhead limit exceeded 1639.31/539.64 05:25 ERROR: Failed to solve instance 1639.31/539.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 1639.93/540.25 05:25 ERROR: Failed to solve instance 1639.93/540.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 1640.59/540.90 05:26 ERROR: Failed to solve instance 1640.59/540.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 1653.08/550.96 05:36 ERROR: Failed to solve instance 1653.08/550.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 1653.70/551.51 05:36 ERROR: Failed to solve instance 1653.70/551.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 1654.32/552.12 05:37 ERROR: Failed to solve instance 1654.32/552.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 1655.55/553.32 05:38 ERROR: Failed to solve instance 1655.55/553.32 java.lang.OutOfMemoryError: GC overhead limit exceeded 1656.06/553.90 05:39 ERROR: Failed to solve instance 1656.06/553.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 1656.81/554.54 05:40 ERROR: Failed to solve instance 1656.81/554.54 java.lang.OutOfMemoryError: GC overhead limit exceeded 1662.67/559.31 05:44 ERROR: Failed to solve instance 1662.67/559.31 java.lang.OutOfMemoryError: GC overhead limit exceeded 1663.30/559.93 05:45 ERROR: Failed to solve instance 1663.30/559.93 java.lang.OutOfMemoryError: GC overhead limit exceeded 1673.36/567.84 05:53 ERROR: Failed to solve instance 1673.36/567.84 java.lang.OutOfMemoryError: GC overhead limit exceeded 1673.89/568.40 05:53 ERROR: Failed to solve instance 1673.89/568.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 1674.63/569.04 05:54 ERROR: Failed to solve instance 1674.63/569.04 java.lang.OutOfMemoryError: GC overhead limit exceeded 1677.70/571.63 05:57 ERROR: Failed to solve instance 1677.70/571.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 1678.93/572.82 05:58 ERROR: Failed to solve instance 1678.93/572.82 java.lang.OutOfMemoryError: GC overhead limit exceeded 1679.56/573.43 05:58 ERROR: Failed to solve instance 1679.56/573.43 java.lang.OutOfMemoryError: GC overhead limit exceeded 1680.20/574.11 05:59 ERROR: Failed to solve instance 1680.20/574.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1689.58/581.37 06:06 ERROR: Failed to solve instance 1689.58/581.37 java.lang.OutOfMemoryError: GC overhead limit exceeded 1690.19/581.94 06:07 ERROR: Failed to solve instance 1690.19/581.94 java.lang.OutOfMemoryError: GC overhead limit exceeded 1691.32/583.09 06:08 ERROR: Failed to solve instance 1691.32/583.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 1691.95/583.70 06:09 ERROR: Failed to solve instance 1691.95/583.70 java.lang.OutOfMemoryError: GC overhead limit exceeded 1692.78/584.44 06:09 ERROR: Failed to solve instance 1692.78/584.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 1701.54/591.09 06:16 ERROR: Failed to solve instance 1701.54/591.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 1702.16/591.65 06:17 ERROR: Failed to solve instance 1702.16/591.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1702.80/592.30 06:17 ERROR: Failed to solve instance 1702.80/592.30 java.lang.OutOfMemoryError: GC overhead limit exceeded 1705.87/594.87 06:20 ERROR: Failed to solve instance 1705.87/594.87 java.lang.OutOfMemoryError: GC overhead limit exceeded 1706.93/595.82 06:21 ERROR: Failed to solve instance 1706.93/595.82 java.lang.OutOfMemoryError: GC overhead limit exceeded 1710.10/598.55 06:24 ERROR: Failed to solve instance 1710.10/598.55 java.lang.OutOfMemoryError: GC overhead limit exceeded 1710.73/599.12 06:24 ERROR: Failed to solve instance 1710.73/599.12 java.lang.OutOfMemoryError: GC overhead limit exceeded 1711.34/599.73 06:25 ERROR: Failed to solve instance 1711.34/599.73 java.lang.OutOfMemoryError: GC overhead limit exceeded 1712.58/600.95 06:26 ERROR: Failed to solve instance 1712.58/600.95 java.lang.OutOfMemoryError: GC overhead limit exceeded 1713.31/601.65 06:27 ERROR: Failed to solve instance 1713.31/601.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1714.06/602.40 06:27 ERROR: Failed to solve instance 1714.06/602.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 1727.32/612.46 06:37 ERROR: Failed to solve instance 1727.32/612.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 1727.94/613.06 06:38 ERROR: Failed to solve instance 1727.94/613.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 1728.55/613.66 06:39 ERROR: Failed to solve instance 1728.55/613.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1729.69/614.72 06:40 ERROR: Failed to solve instance 1729.69/614.72 java.lang.OutOfMemoryError: GC overhead limit exceeded 1730.24/615.31 06:40 ERROR: Failed to solve instance 1730.24/615.31 java.lang.OutOfMemoryError: GC overhead limit exceeded 1735.23/619.20 06:44 ERROR: Failed to solve instance 1735.23/619.20 java.lang.OutOfMemoryError: GC overhead limit exceeded 1735.73/619.76 06:45 ERROR: Failed to solve instance 1735.73/619.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 1736.97/620.93 06:46 ERROR: Failed to solve instance 1736.97/620.93 java.lang.OutOfMemoryError: GC overhead limit exceeded 1737.59/621.55 06:47 ERROR: Failed to solve instance 1737.59/621.55 java.lang.OutOfMemoryError: GC overhead limit exceeded 1738.33/622.22 06:47 ERROR: Failed to solve instance 1738.33/622.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1748.96/630.36 06:55 ERROR: Failed to solve instance 1748.96/630.36 java.lang.OutOfMemoryError: GC overhead limit exceeded 1753.89/634.64 07:00 ERROR: Failed to solve instance 1753.89/634.64 java.lang.OutOfMemoryError: GC overhead limit exceeded 1754.41/635.19 07:00 ERROR: Failed to solve instance 1754.41/635.19 java.lang.OutOfMemoryError: GC overhead limit exceeded 1755.02/635.78 07:01 ERROR: Failed to solve instance 1755.02/635.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 1756.07/636.78 07:02 ERROR: Failed to solve instance 1756.07/636.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 1760.64/640.39 07:05 ERROR: Failed to solve instance 1760.64/640.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 1761.27/640.97 07:06 ERROR: Failed to solve instance 1761.27/640.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 1761.98/641.61 07:07 ERROR: Failed to solve instance 1761.98/641.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 1778.18/654.67 Exception in thread "SingleThreadedConstellation 4" java.lang.OutOfMemoryError: GC overhead limit exceeded 1781.17/657.53 07:23 ERROR: Failed to solve instance 1781.17/657.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 1785.79/661.53 07:27 ERROR: Failed to solve instance 1785.79/661.53 java.lang.OutOfMemoryError: GC overhead limit exceeded 1786.30/662.01 07:27 ERROR: Failed to solve instance 1786.30/662.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 1786.82/662.55 07:28 ERROR: Failed to solve instance 1786.82/662.55 java.lang.OutOfMemoryError: GC overhead limit exceeded 1796.47/670.60 07:36 ERROR: Failed to solve instance 1796.47/670.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 1796.98/671.05 07:36 ERROR: Failed to solve instance 1796.98/671.05 java.lang.OutOfMemoryError: GC overhead limit exceeded 1797.90/671.96 07:37 ERROR: Failed to solve instance 1797.90/671.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 1798.42/672.44 07:37 ERROR: Failed to solve instance 1798.42/672.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 1802.78/676.16 07:41 ERROR: Failed to solve instance 1802.78/676.16 java.lang.OutOfMemoryError: GC overhead limit exceeded 1803.29/676.62 07:42 ERROR: Failed to solve instance 1803.29/676.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 1807.02/679.78 07:45 ERROR: Failed to solve instance 1807.02/679.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 1807.53/680.24 07:45 ERROR: Failed to solve instance 1807.53/680.24 java.lang.OutOfMemoryError: GC overhead limit exceeded 1808.05/680.74 07:46 ERROR: Failed to solve instance 1808.05/680.74 java.lang.OutOfMemoryError: GC overhead limit exceeded 1808.98/681.65 07:47 ERROR: Failed to solve instance 1808.98/681.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 1809.49/682.16 07:47 ERROR: Failed to solve instance 1809.49/682.16 java.lang.OutOfMemoryError: GC overhead limit exceeded 1821.91/692.22 07:57 ERROR: Failed to solve instance 1821.91/692.22 java.lang.OutOfMemoryError: GC overhead limit exceeded 1822.33/692.67 07:58 ERROR: Failed to solve instance 1822.33/692.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1823.15/693.48 07:58 ERROR: Failed to solve instance 1823.15/693.48 java.lang.OutOfMemoryError: GC overhead limit exceeded 1825.52/695.52 08:01 ERROR: Failed to solve instance 1825.52/695.52 java.lang.OutOfMemoryError: GC overhead limit exceeded 1825.94/695.97 08:01 ERROR: Failed to solve instance 1825.94/695.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 1826.45/696.43 08:01 ERROR: Failed to solve instance 1826.45/696.43 java.lang.OutOfMemoryError: GC overhead limit exceeded 1826.99/696.96 08:02 ERROR: Failed to solve instance 1826.99/696.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 1832.11/701.46 08:06 ERROR: Failed to solve instance 1832.11/701.46 java.lang.OutOfMemoryError: GC overhead limit exceeded 1832.62/701.91 08:07 ERROR: Failed to solve instance 1832.62/701.91 java.lang.OutOfMemoryError: GC overhead limit exceeded 1833.14/702.45 08:07 ERROR: Failed to solve instance 1833.14/702.45 java.lang.OutOfMemoryError: GC overhead limit exceeded 1841.20/708.84 08:14 ERROR: Failed to solve instance 1841.20/708.84 java.lang.OutOfMemoryError: GC overhead limit exceeded 1841.92/709.56 08:15 ERROR: Failed to solve instance 1841.92/709.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 1842.44/710.09 08:15 ERROR: Failed to solve instance 1842.44/710.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 1851.76/717.75 08:23 ERROR: Failed to solve instance 1851.76/717.75 java.lang.OutOfMemoryError: GC overhead limit exceeded 1852.18/718.19 08:23 ERROR: Failed to solve instance 1852.18/718.19 java.lang.OutOfMemoryError: GC overhead limit exceeded 1852.69/718.67 08:24 ERROR: Failed to solve instance 1852.69/718.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1853.21/719.18 08:24 ERROR: Failed to solve instance 1853.21/719.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1854.24/720.11 08:25 ERROR: Failed to solve instance 1854.24/720.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1854.76/720.62 08:26 ERROR: Failed to solve instance 1854.76/720.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 1863.21/727.42 08:32 ERROR: Failed to solve instance 1863.21/727.42 java.lang.OutOfMemoryError: GC overhead limit exceeded 1863.64/727.88 08:33 ERROR: Failed to solve instance 1863.64/727.88 java.lang.OutOfMemoryError: GC overhead limit exceeded 1864.15/728.39 08:33 ERROR: Failed to solve instance 1864.15/728.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 1868.50/732.09 08:37 ERROR: Failed to solve instance 1868.50/732.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 1869.02/732.56 08:38 ERROR: Failed to solve instance 1869.02/732.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 1869.54/733.08 08:38 ERROR: Failed to solve instance 1869.54/733.08 java.lang.OutOfMemoryError: GC overhead limit exceeded 1870.36/733.84 08:39 ERROR: Failed to solve instance 1870.36/733.84 java.lang.OutOfMemoryError: GC overhead limit exceeded 1873.13/736.18 08:41 ERROR: Failed to solve instance 1873.13/736.18 java.lang.OutOfMemoryError: Java heap space 1881.71/743.28 08:48 ERROR: Failed to solve instance 1881.71/743.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 1882.43/743.90 08:49 ERROR: Failed to solve instance 1882.43/743.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 1882.95/744.41 08:49 ERROR: Failed to solve instance 1882.95/744.41 java.lang.OutOfMemoryError: GC overhead limit exceeded 1887.41/748.37 08:53 ERROR: Failed to solve instance 1887.41/748.37 java.lang.OutOfMemoryError: GC overhead limit exceeded 1887.93/748.85 08:54 ERROR: Failed to solve instance 1887.93/748.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1888.45/749.39 08:54 ERROR: Failed to solve instance 1888.45/749.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 1897.87/757.18 09:02 ERROR: Failed to solve instance 1897.87/757.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 1898.39/757.67 09:03 ERROR: Failed to solve instance 1898.39/757.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1898.89/758.13 09:03 ERROR: Failed to solve instance 1898.89/758.13 java.lang.OutOfMemoryError: GC overhead limit exceeded 1910.28/767.51 09:12 ERROR: Failed to solve instance 1910.28/767.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 1910.59/767.85 09:13 ERROR: Failed to solve instance 1910.59/767.85 java.lang.OutOfMemoryError: GC overhead limit exceeded 1911.51/768.76 09:14 ERROR: Failed to solve instance 1911.51/768.76 java.lang.OutOfMemoryError: GC overhead limit exceeded 1911.93/769.19 09:14 ERROR: Failed to solve instance 1911.93/769.19 java.lang.OutOfMemoryError: GC overhead limit exceeded 1914.97/771.71 09:17 ERROR: Failed to solve instance 1914.97/771.71 java.lang.OutOfMemoryError: Java heap space 1915.60/772.38 09:17 ERROR: Failed to solve instance 1915.60/772.38 java.lang.OutOfMemoryError: GC overhead limit exceeded 1916.13/772.88 09:18 ERROR: Failed to solve instance 1916.13/772.88 java.lang.OutOfMemoryError: GC overhead limit exceeded 1919.43/775.61 09:21 ERROR: Failed to solve instance 1919.43/775.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 1920.25/776.49 09:21 ERROR: Failed to solve instance 1920.25/776.49 java.lang.OutOfMemoryError: GC overhead limit exceeded 1920.77/776.97 09:22 ERROR: Failed to solve instance 1920.77/776.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 1921.29/777.50 09:22 ERROR: Failed to solve instance 1921.29/777.50 java.lang.OutOfMemoryError: GC overhead limit exceeded 1921.92/778.09 09:23 ERROR: Failed to solve instance 1921.92/778.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 1929.43/783.59 09:29 ERROR: Failed to solve instance 1929.43/783.59 java.lang.OutOfMemoryError: GC overhead limit exceeded 1930.36/784.48 09:29 ERROR: Failed to solve instance 1930.36/784.48 java.lang.OutOfMemoryError: GC overhead limit exceeded 1930.88/784.97 09:30 ERROR: Failed to solve instance 1930.88/784.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 1931.50/785.54 09:31 ERROR: Failed to solve instance 1931.50/785.54 java.lang.OutOfMemoryError: GC overhead limit exceeded 1939.49/791.82 09:37 ERROR: Failed to solve instance 1939.49/791.82 java.lang.OutOfMemoryError: GC overhead limit exceeded 1939.90/792.27 09:37 ERROR: Failed to solve instance 1939.90/792.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 1944.39/796.06 09:41 ERROR: Failed to solve instance 1944.39/796.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 1944.90/796.54 09:42 ERROR: Failed to solve instance 1944.90/796.54 java.lang.OutOfMemoryError: GC overhead limit exceeded 1945.41/797.02 09:42 ERROR: Failed to solve instance 1945.41/797.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 1955.36/805.48 09:50 ERROR: Failed to solve instance 1955.36/805.48 java.lang.OutOfMemoryError: GC overhead limit exceeded 1956.17/806.21 09:51 ERROR: Failed to solve instance 1956.17/806.21 java.lang.OutOfMemoryError: GC overhead limit exceeded 1956.58/806.67 09:52 ERROR: Failed to solve instance 1956.58/806.67 java.lang.OutOfMemoryError: GC overhead limit exceeded 1957.09/807.10 09:52 ERROR: Failed to solve instance 1957.09/807.10 java.lang.OutOfMemoryError: GC overhead limit exceeded 1957.52/807.58 09:53 ERROR: Failed to solve instance 1957.52/807.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 1965.65/814.27 09:59 ERROR: Failed to solve instance 1965.65/814.27 java.lang.OutOfMemoryError: GC overhead limit exceeded 1966.57/815.15 10:00 ERROR: Failed to solve instance 1966.57/815.15 java.lang.OutOfMemoryError: GC overhead limit exceeded 1967.08/815.63 10:01 ERROR: Failed to solve instance 1967.08/815.63 java.lang.OutOfMemoryError: GC overhead limit exceeded 1967.60/816.11 10:01 ERROR: Failed to solve instance 1967.60/816.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 1968.12/816.66 10:02 ERROR: Failed to solve instance 1968.12/816.66 java.lang.OutOfMemoryError: GC overhead limit exceeded 1980.09/826.62 10:12 ERROR: Failed to solve instance 1980.09/826.62 java.lang.OutOfMemoryError: GC overhead limit exceeded 1980.90/827.45 10:12 ERROR: Failed to solve instance 1980.90/827.45 java.lang.OutOfMemoryError: GC overhead limit exceeded 1981.42/827.91 10:13 ERROR: Failed to solve instance 1981.42/827.91 java.lang.OutOfMemoryError: GC overhead limit exceeded 1981.92/828.40 10:13 ERROR: Failed to solve instance 1981.92/828.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 1982.45/828.94 10:14 ERROR: Failed to solve instance 1982.45/828.94 java.lang.OutOfMemoryError: GC overhead limit exceeded 1990.18/835.51 10:20 ERROR: Failed to solve instance 1990.18/835.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 1990.69/836.00 10:21 ERROR: Failed to solve instance 1990.69/836.00 java.lang.OutOfMemoryError: GC overhead limit exceeded 1991.20/836.51 10:22 ERROR: Failed to solve instance 1991.20/836.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 1999.28/843.03 10:28 ERROR: Failed to solve instance 1999.28/843.03 java.lang.OutOfMemoryError: GC overhead limit exceeded 1999.79/843.54 10:29 ERROR: Failed to solve instance 1999.79/843.54 java.lang.OutOfMemoryError: GC overhead limit exceeded 2000.20/843.92 10:29 ERROR: Failed to solve instance 2000.20/843.92 java.lang.OutOfMemoryError: GC overhead limit exceeded 2003.52/846.83 10:32 ERROR: Failed to solve instance 2003.52/846.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 2008.65/851.33 10:36 ERROR: Failed to solve instance 2008.65/851.33 java.lang.OutOfMemoryError: GC overhead limit exceeded 2009.06/851.78 10:37 ERROR: Failed to solve instance 2009.06/851.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 2009.57/852.29 10:37 ERROR: Failed to solve instance 2009.57/852.29 java.lang.OutOfMemoryError: GC overhead limit exceeded 2015.58/857.24 10:42 ERROR: Failed to solve instance 2015.58/857.24 java.lang.OutOfMemoryError: GC overhead limit exceeded 2019.69/860.90 10:46 ERROR: Failed to solve instance 2019.69/860.90 java.lang.OutOfMemoryError: GC overhead limit exceeded 2020.21/861.37 10:46 ERROR: Failed to solve instance 2020.21/861.37 java.lang.OutOfMemoryError: GC overhead limit exceeded 2020.72/861.82 10:47 ERROR: Failed to solve instance 2020.72/861.82 java.lang.OutOfMemoryError: GC overhead limit exceeded 2024.29/864.98 10:50 ERROR: Failed to solve instance 2024.29/864.98 java.lang.OutOfMemoryError: GC overhead limit exceeded 2024.80/865.47 10:50 ERROR: Failed to solve instance 2024.80/865.47 java.lang.OutOfMemoryError: GC overhead limit exceeded 2033.83/872.97 10:58 ERROR: Failed to solve instance 2033.83/872.97 java.lang.OutOfMemoryError: GC overhead limit exceeded 2034.34/873.44 10:58 ERROR: Failed to solve instance 2034.34/873.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 2034.74/873.80 10:59 ERROR: Failed to solve instance 2034.74/873.80 java.lang.OutOfMemoryError: GC overhead limit exceeded 2035.56/874.61 11:00 ERROR: Failed to solve instance 2035.56/874.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 2036.09/875.11 11:00 ERROR: Failed to solve instance 2036.09/875.11 java.lang.OutOfMemoryError: GC overhead limit exceeded 2036.61/875.60 11:01 ERROR: Failed to solve instance 2036.61/875.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 2044.18/881.65 11:07 ERROR: Failed to solve instance 2044.18/881.65 java.lang.OutOfMemoryError: GC overhead limit exceeded 2044.70/882.15 11:07 ERROR: Failed to solve instance 2044.70/882.15 java.lang.OutOfMemoryError: GC overhead limit exceeded 2045.22/882.68 11:08 ERROR: Failed to solve instance 2045.22/882.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 2054.44/890.34 11:15 ERROR: Failed to solve instance 2054.44/890.34 java.lang.OutOfMemoryError: GC overhead limit exceeded 2054.96/890.82 11:16 ERROR: Failed to solve instance 2054.96/890.82 java.lang.OutOfMemoryError: GC overhead limit exceeded 2055.38/891.26 11:16 ERROR: Failed to solve instance 2055.38/891.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 2058.92/894.39 11:19 ERROR: Failed to solve instance 2058.92/894.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 2059.44/894.87 11:20 ERROR: Failed to solve instance 2059.44/894.87 java.lang.OutOfMemoryError: GC overhead limit exceeded 2059.95/895.35 11:20 ERROR: Failed to solve instance 2059.95/895.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 2060.88/896.29 11:21 ERROR: Failed to solve instance 2060.88/896.29 java.lang.OutOfMemoryError: GC overhead limit exceeded 2071.51/904.84 11:30 ERROR: Failed to solve instance 2071.51/904.84 java.lang.OutOfMemoryError: GC overhead limit exceeded 2072.02/905.31 11:30 ERROR: Failed to solve instance 2072.02/905.31 java.lang.OutOfMemoryError: GC overhead limit exceeded 2072.84/906.19 11:31 ERROR: Failed to solve instance 2072.84/906.19 java.lang.OutOfMemoryError: GC overhead limit exceeded 2073.26/906.58 11:32 ERROR: Failed to solve instance 2073.26/906.58 java.lang.OutOfMemoryError: GC overhead limit exceeded 2077.94/910.56 11:36 ERROR: Failed to solve instance 2077.94/910.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 2078.46/911.05 11:36 ERROR: Failed to solve instance 2078.46/911.05 java.lang.OutOfMemoryError: GC overhead limit exceeded 2078.98/911.57 11:37 ERROR: Failed to solve instance 2078.98/911.57 java.lang.OutOfMemoryError: GC overhead limit exceeded 2087.05/918.10 11:43 ERROR: Failed to solve instance 2087.05/918.10 java.lang.OutOfMemoryError: GC overhead limit exceeded 2088.07/919.01 11:44 ERROR: Failed to solve instance 2088.07/919.01 java.lang.OutOfMemoryError: GC overhead limit exceeded 2088.48/919.48 11:44 ERROR: Failed to solve instance 2088.48/919.48 java.lang.OutOfMemoryError: GC overhead limit exceeded 2089.00/919.98 11:45 ERROR: Failed to solve instance 2089.00/919.98 java.lang.OutOfMemoryError: GC overhead limit exceeded 2089.62/920.52 11:46 ERROR: Failed to solve instance 2089.62/920.52 java.lang.OutOfMemoryError: GC overhead limit exceeded 2098.86/928.10 11:53 ERROR: Failed to solve instance 2098.86/928.10 java.lang.OutOfMemoryError: GC overhead limit exceeded 2099.27/928.56 11:54 ERROR: Failed to solve instance 2099.27/928.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 2099.78/929.04 11:54 ERROR: Failed to solve instance 2099.78/929.04 java.lang.OutOfMemoryError: GC overhead limit exceeded 2100.70/929.93 11:55 ERROR: Failed to solve instance 2100.70/929.93 java.lang.OutOfMemoryError: GC overhead limit exceeded 2101.23/930.44 11:55 ERROR: Failed to solve instance 2101.23/930.44 java.lang.OutOfMemoryError: GC overhead limit exceeded 2108.03/935.93 12:01 ERROR: Failed to solve instance 2108.03/935.93 java.lang.OutOfMemoryError: GC overhead limit exceeded 2108.55/936.41 12:01 ERROR: Failed to solve instance 2108.55/936.41 java.lang.OutOfMemoryError: GC overhead limit exceeded 2108.86/936.80 12:02 ERROR: Failed to solve instance 2108.86/936.80 java.lang.OutOfMemoryError: GC overhead limit exceeded 2112.08/939.59 12:05 ERROR: Failed to solve instance 2112.08/939.59 java.lang.OutOfMemoryError: Java heap space 2112.61/940.06 12:05 ERROR: Failed to solve instance 2112.61/940.06 java.lang.OutOfMemoryError: GC overhead limit exceeded 2120.33/946.51 12:12 ERROR: Failed to solve instance 2120.33/946.51 java.lang.OutOfMemoryError: GC overhead limit exceeded 2121.06/947.25 12:12 ERROR: Failed to solve instance 2121.06/947.25 java.lang.OutOfMemoryError: GC overhead limit exceeded 2121.57/947.71 12:13 ERROR: Failed to solve instance 2121.57/947.71 java.lang.OutOfMemoryError: GC overhead limit exceeded 2128.78/953.60 12:19 ERROR: Failed to solve instance 2128.78/953.60 java.lang.OutOfMemoryError: GC overhead limit exceeded 2129.19/954.05 12:19 ERROR: Failed to solve instance 2129.19/954.05 java.lang.OutOfMemoryError: GC overhead limit exceeded 2129.70/954.55 12:20 ERROR: Failed to solve instance 2129.70/954.55 java.lang.OutOfMemoryError: GC overhead limit exceeded 2130.43/955.28 12:20 ERROR: Failed to solve instance 2130.43/955.28 java.lang.OutOfMemoryError: GC overhead limit exceeded 2133.84/958.22 Exception in thread "SingleThreadedConstellation 2" java.lang.OutOfMemoryError: GC overhead limit exceeded 2143.72/966.72 12:32 ERROR: Failed to solve instance 2143.72/966.72 java.lang.OutOfMemoryError: Java heap space 2146.26/969.12 12:34 ERROR: Failed to solve instance 2146.26/969.12 java.lang.OutOfMemoryError: Java heap space 2146.37/969.29 12:34 ERROR: Failed to solve instance 2146.37/969.29 java.lang.OutOfMemoryError: GC overhead limit exceeded 2146.67/969.56 12:35 ERROR: Failed to solve instance 2146.67/969.56 java.lang.OutOfMemoryError: GC overhead limit exceeded 2147.08/969.91 12:35 ERROR: Failed to solve instance 2147.08/969.91 java.lang.OutOfMemoryError: GC overhead limit exceeded 2149.21/971.83 12:37 ERROR: Failed to solve instance 2149.21/971.83 java.lang.OutOfMemoryError: Java heap space 2156.57/978.04 12:43 ERROR: Failed to solve instance 2156.57/978.04 java.lang.OutOfMemoryError: GC overhead limit exceeded 2157.19/978.68 12:44 ERROR: Failed to solve instance 2157.19/978.68 java.lang.OutOfMemoryError: GC overhead limit exceeded 2157.59/979.02 12:44 ERROR: Failed to solve instance 2157.59/979.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 2158.00/979.40 12:44 ERROR: Failed to solve instance 2158.00/979.40 java.lang.OutOfMemoryError: GC overhead limit exceeded 2158.42/979.83 12:45 ERROR: Failed to solve instance 2158.42/979.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 2166.64/986.88 12:52 ERROR: Failed to solve instance 2166.64/986.88 java.lang.OutOfMemoryError: GC overhead limit exceeded 2167.05/987.26 12:52 ERROR: Failed to solve instance 2167.05/987.26 java.lang.OutOfMemoryError: GC overhead limit exceeded 2169.85/989.87 12:55 ERROR: Failed to solve instance 2169.85/989.87 java.lang.OutOfMemoryError: GC overhead limit exceeded 2175.66/995.09 13:00 ERROR: Failed to solve instance 2175.66/995.09 java.lang.OutOfMemoryError: GC overhead limit exceeded 2176.07/995.47 13:00 ERROR: Failed to solve instance 2176.07/995.47 java.lang.OutOfMemoryError: GC overhead limit exceeded 2182.95/1001.68 13:07 ERROR: Failed to solve instance 2182.95/1001.68 java.lang.OutOfMemoryError: Java heap space 2185.27/1003.84 13:09 ERROR: Failed to solve instance 2185.27/1003.84 java.lang.OutOfMemoryError: Java heap space 2185.37/1003.99 13:09 ERROR: Failed to solve instance 2185.37/1003.99 java.lang.OutOfMemoryError: GC overhead limit exceeded 2185.77/1004.39 13:09 ERROR: Failed to solve instance 2185.77/1004.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 2191.40/1009.34 13:14 ERROR: Failed to solve instance 2191.40/1009.34 java.lang.OutOfMemoryError: GC overhead limit exceeded 2191.80/1009.78 13:15 ERROR: Failed to solve instance 2191.80/1009.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 2192.21/1010.18 13:15 ERROR: Failed to solve instance 2192.21/1010.18 java.lang.OutOfMemoryError: GC overhead limit exceeded 2200.14/1016.96 13:22 ERROR: Failed to solve instance 2200.14/1016.96 java.lang.OutOfMemoryError: GC overhead limit exceeded 2200.86/1017.61 13:23 ERROR: Failed to solve instance 2200.86/1017.61 java.lang.OutOfMemoryError: GC overhead limit exceeded 2201.16/1017.94 13:23 ERROR: Failed to solve instance 2201.16/1017.94 java.lang.OutOfMemoryError: GC overhead limit exceeded 2201.57/1018.32 13:23 ERROR: Failed to solve instance 2201.57/1018.32 java.lang.OutOfMemoryError: GC overhead limit exceeded 2209.50/1025.39 13:30 ERROR: Failed to solve instance 2209.50/1025.39 java.lang.OutOfMemoryError: GC overhead limit exceeded 2210.21/1026.02 13:31 ERROR: Failed to solve instance 2210.21/1026.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 2210.52/1026.35 13:31 ERROR: Failed to solve instance 2210.52/1026.35 java.lang.OutOfMemoryError: GC overhead limit exceeded 2210.92/1026.72 13:32 ERROR: Failed to solve instance 2210.92/1026.72 java.lang.OutOfMemoryError: GC overhead limit exceeded 2219.37/1034.05 13:39 ERROR: Failed to solve instance 2219.37/1034.05 java.lang.OutOfMemoryError: GC overhead limit exceeded 2222.20/1036.77 13:42 ERROR: Failed to solve instance 2222.20/1036.77 java.lang.OutOfMemoryError: GC overhead limit exceeded 2222.61/1037.13 13:42 ERROR: Failed to solve instance 2222.61/1037.13 java.lang.OutOfMemoryError: GC overhead limit exceeded 2228.09/1042.02 13:47 ERROR: Failed to solve instance 2228.09/1042.02 java.lang.OutOfMemoryError: GC overhead limit exceeded 2228.40/1042.38 13:47 ERROR: Failed to solve instance 2228.40/1042.38 java.lang.OutOfMemoryError: GC overhead limit exceeded 2228.81/1042.78 13:48 ERROR: Failed to solve instance 2228.81/1042.78 java.lang.OutOfMemoryError: GC overhead limit exceeded 2236.74/1049.52 13:55 ERROR: Failed to solve instance 2236.74/1049.52 java.lang.OutOfMemoryError: GC overhead limit exceeded 2237.06/1049.83 13:55 ERROR: Failed to solve instance 2237.06/1049.83 java.lang.OutOfMemoryError: GC overhead limit exceeded 2239.91/1052.57 Exception in thread "SingleThreadedConstellation 1" java.lang.OutOfMemoryError: Java heap space 2246.01/1058.66 13:57 ERROR: Failed to solve instance 2246.01/1058.66 14:04 ERROR: Failed to solve instance 2246.01/1058.66 java.lang.OutOfMemoryError: Java heap space 2247.31/1059.98 14:05 ERROR: Failed to solve instance 2247.31/1059.98 java.lang.OutOfMemoryError: Java heap space 2251.41/1064.08 14:09 ERROR: Failed to solve instance 2251.41/1064.08 java.lang.OutOfMemoryError: Java heap space 2252.91/1065.53 14:11 ERROR: Failed to solve instance 2252.91/1065.53 java.lang.OutOfMemoryError: Java heap space 2255.20/1067.84 14:13 ERROR: Failed to solve instance 2255.20/1067.84 java.lang.OutOfMemoryError: Java heap space 2256.12/1068.73 14:14 ERROR: Failed to solve instance 2256.12/1068.73 java.lang.OutOfMemoryError: Java heap space 2261.20/1073.88 14:19 ERROR: Failed to solve instance 2261.20/1073.88 java.lang.OutOfMemoryError: Java heap space 2262.71/1075.33 14:20 ERROR: Failed to solve instance 2262.71/1075.33 java.lang.OutOfMemoryError: Java heap space 2265.01/1077.65 14:23 ERROR: Failed to solve instance 2265.01/1077.65 java.lang.OutOfMemoryError: Java heap space 2265.91/1078.54 14:24 ERROR: Failed to solve instance 2265.91/1078.54 java.lang.OutOfMemoryError: Java heap space 2268.91/1081.59 14:27 ERROR: Failed to solve instance 2268.91/1081.59 java.lang.OutOfMemoryError: Java heap space 2270.01/1082.62 14:28 ERROR: Failed to solve instance 2270.01/1082.62 java.lang.OutOfMemoryError: Java heap space 2273.71/1086.36 14:31 ERROR: Failed to solve instance 2273.71/1086.36 java.lang.OutOfMemoryError: Java heap space 2275.00/1087.67 14:33 ERROR: Failed to solve instance 2275.00/1087.67 java.lang.OutOfMemoryError: Java heap space 2278.91/1091.52 14:37 ERROR: Failed to solve instance 2278.91/1091.52 java.lang.OutOfMemoryError: Java heap space 2280.01/1092.66 14:38 ERROR: Failed to solve instance 2280.01/1092.66 java.lang.OutOfMemoryError: Java heap space 2281.20/1093.85 14:39 ERROR: Failed to solve instance 2281.20/1093.85 java.lang.OutOfMemoryError: Java heap space 2286.61/1099.20 14:44 ERROR: Failed to solve instance 2286.61/1099.20 java.lang.OutOfMemoryError: Java heap space 2288.01/1100.66 14:46 ERROR: Failed to solve instance 2288.01/1100.66 java.lang.OutOfMemoryError: Java heap space 2290.31/1102.97 14:48 ERROR: Failed to solve instance 2290.31/1102.97 java.lang.OutOfMemoryError: Java heap space 2291.20/1103.86 14:49 ERROR: Failed to solve instance 2291.20/1103.86 java.lang.OutOfMemoryError: Java heap space 2294.31/1106.92 14:52 ERROR: Failed to solve instance 2294.31/1106.92 java.lang.OutOfMemoryError: Java heap space 2295.31/1107.95 14:53 ERROR: Failed to solve instance 2295.31/1107.95 java.lang.OutOfMemoryError: Java heap space 2299.01/1111.68 14:57 ERROR: Failed to solve instance 2299.01/1111.68 java.lang.OutOfMemoryError: Java heap space 2300.31/1112.97 14:58 ERROR: Failed to solve instance 2300.31/1112.97 java.lang.OutOfMemoryError: Java heap space 2304.40/1117.04 15:02 ERROR: Failed to solve instance 2304.40/1117.04 java.lang.OutOfMemoryError: Java heap space 2305.51/1118.17 15:03 ERROR: Failed to solve instance 2305.51/1118.17 java.lang.OutOfMemoryError: Java heap space 2306.71/1119.37 15:04 ERROR: Failed to solve instance 2306.71/1119.37 java.lang.OutOfMemoryError: Java heap space 2310.51/1123.11 15:08 ERROR: Failed to solve instance 2310.51/1123.11 java.lang.OutOfMemoryError: Java heap space 2311.41/1124.00 15:09 ERROR: Failed to solve instance 2311.41/1124.00 java.lang.OutOfMemoryError: Java heap space 2315.10/1127.75 15:13 ERROR: Failed to solve instance 2315.10/1127.75 java.lang.OutOfMemoryError: Java heap space 2316.40/1129.05 15:14 ERROR: Failed to solve instance 2316.40/1129.05 java.lang.OutOfMemoryError: Java heap space 2320.51/1133.12 15:18 ERROR: Failed to solve instance 2320.51/1133.12 java.lang.OutOfMemoryError: Java heap space 2321.61/1134.26 15:19 ERROR: Failed to solve instance 2321.61/1134.26 java.lang.OutOfMemoryError: Java heap space 2322.81/1135.46 15:20 ERROR: Failed to solve instance 2322.81/1135.46 java.lang.OutOfMemoryError: Java heap space 2327.41/1140.06 15:25 ERROR: Failed to solve instance 2327.41/1140.06 java.lang.OutOfMemoryError: Java heap space 2328.71/1141.34 15:26 ERROR: Failed to solve instance 2328.71/1141.34 java.lang.OutOfMemoryError: Java heap space 2330.81/1143.47 15:28 ERROR: Failed to solve instance 2330.81/1143.47 java.lang.OutOfMemoryError: Java heap space 2332.01/1144.65 15:30 ERROR: Failed to solve instance 2332.01/1144.65 java.lang.OutOfMemoryError: Java heap space 2334.91/1147.55 15:33 ERROR: Failed to solve instance 2334.91/1147.55 java.lang.OutOfMemoryError: Java heap space 2336.10/1148.74 15:34 ERROR: Failed to solve instance 2336.10/1148.74 java.lang.OutOfMemoryError: Java heap space 2339.31/1151.90 15:37 ERROR: Failed to solve instance 2339.31/1151.90 java.lang.OutOfMemoryError: Java heap space 2340.61/1153.23 15:38 ERROR: Failed to solve instance 2340.61/1153.23 java.lang.OutOfMemoryError: Java heap space 2344.70/1157.33 15:42 ERROR: Failed to solve instance 2344.70/1157.33 java.lang.OutOfMemoryError: Java heap space 2346.01/1158.63 15:44 ERROR: Failed to solve instance 2346.01/1158.63 java.lang.OutOfMemoryError: Java heap space 2348.62/1161.24 15:46 ERROR: Failed to solve instance 2348.62/1161.24 java.lang.OutOfMemoryError: Java heap space 2349.62/1162.27 15:47 ERROR: Failed to solve instance 2349.62/1162.27 java.lang.OutOfMemoryError: Java heap space 2355.21/1167.80 15:53 ERROR: Failed to solve instance 2355.21/1167.80 java.lang.OutOfMemoryError: Java heap space 2356.51/1169.13 15:54 ERROR: Failed to solve instance 2356.51/1169.13 java.lang.OutOfMemoryError: Java heap space 2360.62/1173.24 15:58 ERROR: Failed to solve instance 2360.62/1173.24 java.lang.OutOfMemoryError: Java heap space 2362.01/1174.69 16:00 ERROR: Failed to solve instance 2362.01/1174.69 java.lang.OutOfMemoryError: Java heap space 2364.41/1177.02 16:02 ERROR: Failed to solve instance 2364.41/1177.02 java.lang.OutOfMemoryError: Java heap space 2365.31/1177.91 16:03 ERROR: Failed to solve instance 2365.31/1177.91 java.lang.OutOfMemoryError: Java heap space 2370.42/1183.02 16:08 ERROR: Failed to solve instance 2370.42/1183.02 java.lang.OutOfMemoryError: Java heap space 2371.81/1184.48 16:09 ERROR: Failed to solve instance 2371.81/1184.48 java.lang.OutOfMemoryError: Java heap space 2374.41/1187.03 16:12 ERROR: Failed to solve instance 2374.41/1187.03 java.lang.OutOfMemoryError: Java heap space 2375.31/1187.92 16:13 ERROR: Failed to solve instance 2375.31/1187.92 java.lang.OutOfMemoryError: Java heap space 2378.31/1190.97 16:16 ERROR: Failed to solve instance 2378.31/1190.97 java.lang.OutOfMemoryError: Java heap space 2379.42/1192.00 16:17 ERROR: Failed to solve instance 2379.42/1192.00 java.lang.OutOfMemoryError: Java heap space 2383.11/1195.75 16:21 ERROR: Failed to solve instance 2383.11/1195.75 java.lang.OutOfMemoryError: Java heap space 2384.41/1197.07 16:22 ERROR: Failed to solve instance 2384.41/1197.07 java.lang.OutOfMemoryError: Java heap space 2388.32/1200.92 16:26 ERROR: Failed to solve instance 2388.32/1200.92 java.lang.OutOfMemoryError: Java heap space 2389.41/1202.06 16:27 ERROR: Failed to solve instance 2389.41/1202.06 java.lang.OutOfMemoryError: Java heap space 2390.61/1203.25 16:28 ERROR: Failed to solve instance 2390.61/1203.25 java.lang.OutOfMemoryError: Java heap space 2396.01/1208.60 16:34 ERROR: Failed to solve instance 2396.01/1208.60 java.lang.OutOfMemoryError: Java heap space 2397.41/1210.05 16:35 ERROR: Failed to solve instance 2397.41/1210.05 java.lang.OutOfMemoryError: Java heap space 2399.72/1212.37 16:37 ERROR: Failed to solve instance 2399.72/1212.37 java.lang.OutOfMemoryError: Java heap space 2400.62/1213.26 16:38 ERROR: Failed to solve instance 2400.62/1213.26 java.lang.OutOfMemoryError: Java heap space 2403.72/1216.33 16:41 ERROR: Failed to solve instance 2403.72/1216.33 java.lang.OutOfMemoryError: Java heap space 2404.72/1217.36 16:42 ERROR: Failed to solve instance 2404.72/1217.36 java.lang.OutOfMemoryError: Java heap space 2408.51/1221.10 16:46 ERROR: Failed to solve instance 2408.51/1221.10 java.lang.OutOfMemoryError: Java heap space 2409.81/1222.42 16:47 ERROR: Failed to solve instance 2409.81/1222.42 java.lang.OutOfMemoryError: Java heap space 2411.91/1224.59 16:50 ERROR: Failed to solve instance 2411.91/1224.59 java.lang.OutOfMemoryError: Java heap space 2413.11/1225.78 16:51 ERROR: Failed to solve instance 2413.11/1225.78 java.lang.OutOfMemoryError: Java heap space 2416.91/1229.52 16:55 ERROR: Failed to solve instance 2416.91/1229.52 java.lang.OutOfMemoryError: Java heap space 2417.81/1230.41 16:55 ERROR: Failed to solve instance 2417.81/1230.41 java.lang.OutOfMemoryError: Java heap space 2421.52/1234.14 16:59 ERROR: Failed to solve instance 2421.52/1234.14 java.lang.OutOfMemoryError: Java heap space 2422.82/1235.46 17:00 ERROR: Failed to solve instance 2422.82/1235.46 java.lang.OutOfMemoryError: Java heap space 2426.72/1239.31 17:04 ERROR: Failed to solve instance 2426.72/1239.31 java.lang.OutOfMemoryError: Java heap space 2427.82/1240.44 17:05 ERROR: Failed to solve instance 2427.82/1240.44 java.lang.OutOfMemoryError: Java heap space 2429.01/1241.63 17:07 ERROR: Failed to solve instance 2429.01/1241.63 java.lang.OutOfMemoryError: Java heap space 2433.61/1246.23 17:11 ERROR: Failed to solve instance 2433.61/1246.23 java.lang.OutOfMemoryError: Java heap space 2434.91/1247.53 17:13 ERROR: Failed to solve instance 2434.91/1247.53 java.lang.OutOfMemoryError: Java heap space 2439.02/1251.61 17:17 ERROR: Failed to solve instance 2439.02/1251.61 java.lang.OutOfMemoryError: Java heap space 2440.11/1252.73 17:18 ERROR: Failed to solve instance 2440.11/1252.73 java.lang.OutOfMemoryError: Java heap space 2441.31/1253.92 17:19 ERROR: Failed to solve instance 2441.31/1253.92 java.lang.OutOfMemoryError: Java heap space 2445.82/1258.49 17:23 ERROR: Failed to solve instance 2445.82/1258.49 java.lang.OutOfMemoryError: Java heap space 2447.02/1259.62 17:25 ERROR: Failed to solve instance 2447.02/1259.62 java.lang.OutOfMemoryError: Java heap space 2448.01/1260.66 17:26 ERROR: Failed to solve instance 2448.01/1260.66 java.lang.OutOfMemoryError: Java heap space 2451.31/1263.99 17:29 ERROR: Failed to solve instance 2451.31/1263.99 java.lang.OutOfMemoryError: Java heap space 2452.71/1265.32 17:30 ERROR: Failed to solve instance 2452.71/1265.32 java.lang.OutOfMemoryError: Java heap space 2456.81/1269.41 17:34 ERROR: Failed to solve instance 2456.81/1269.41 java.lang.OutOfMemoryError: Java heap space 2458.11/1270.70 17:36 ERROR: Failed to solve instance 2458.11/1270.70 java.lang.OutOfMemoryError: Java heap space 2460.61/1273.30 17:38 ERROR: Failed to solve instance 2460.61/1273.30 java.lang.OutOfMemoryError: Java heap space 2461.71/1274.32 17:39 ERROR: Failed to solve instance 2461.71/1274.32 java.lang.OutOfMemoryError: Java heap space 2468.01/1280.66 17:46 ERROR: Failed to solve instance 2468.01/1280.66 java.lang.OutOfMemoryError: Java heap space 2469.51/1282.12 17:47 ERROR: Failed to solve instance 2469.51/1282.12 java.lang.OutOfMemoryError: Java heap space 2471.81/1284.44 17:49 ERROR: Failed to solve instance 2471.81/1284.44 java.lang.OutOfMemoryError: Java heap space 2472.72/1285.33 17:50 ERROR: Failed to solve instance 2472.72/1285.33 java.lang.OutOfMemoryError: Java heap space 2475.71/1288.39 17:53 ERROR: Failed to solve instance 2475.71/1288.39 java.lang.OutOfMemoryError: Java heap space 2476.81/1289.42 17:54 ERROR: Failed to solve instance 2476.81/1289.42 java.lang.OutOfMemoryError: Java heap space 2480.52/1293.15 17:58 ERROR: Failed to solve instance 2480.52/1293.15 java.lang.OutOfMemoryError: Java heap space 2481.81/1294.45 17:59 ERROR: Failed to solve instance 2481.81/1294.45 java.lang.OutOfMemoryError: Java heap space 2485.91/1298.53 18:04 ERROR: Failed to solve instance 2485.91/1298.53 java.lang.OutOfMemoryError: Java heap space 2487.01/1299.66 18:05 ERROR: Failed to solve instance 2487.01/1299.66 java.lang.OutOfMemoryError: Java heap space
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-3312487-1304117785/watcher-3312487-1304117785 -o /tmp/evaluation-result-3312487-1304117785/solver-3312487-1304117785 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312487-1304117785.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: 4.15 6.74 6.90 6/194 29223 /proc/meminfo: memFree=30181608/32950928 swapFree=67086612/67111528 [pid=29223] ppid=29221 vsize=28356 CPUtime=0 cores=1,3,5,7 /proc/29223/stat : 29223 (java) S 29221 29223 28616 0 -1 4202496 1423 0 0 0 0 0 0 0 22 0 2 0 523375560 29036544 894 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488497637 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 /proc/29223/statm: 7096 898 686 9 0 381 0 [pid=29223/tid=29224] ppid=29221 vsize=30580 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29224/stat : 29224 (java) R 29221 29223 28616 0 -1 4202560 83 0 0 0 0 0 0 0 24 0 2 0 523375561 31313920 909 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239471732380 0 0 4096 0 0 0 0 -1 5 0 0 0 [startup+0.090819 s] /proc/loadavg: 4.15 6.74 6.90 6/194 29223 /proc/meminfo: memFree=30181608/32950928 swapFree=67086612/67111528 [pid=29223] ppid=29221 vsize=15676980 CPUtime=0.1 cores=1,3,5,7 /proc/29223/stat : 29223 (java) S 29221 29223 28616 0 -1 4202496 5472 0 1 0 9 1 0 0 22 0 18 0 523375560 16053227520 4912 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29223/statm: 3919245 4913 2116 9 0 3909964 0 [pid=29223/tid=29224] ppid=29221 vsize=15676980 CPUtime=0.07 cores=1,3,5,7 /proc/29223/task/29224/stat : 29224 (java) R 29221 29223 28616 0 -1 4202560 3347 0 1 0 7 0 0 0 18 0 18 0 523375561 16053227520 4913 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 47945238928293 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 15676980 [startup+0.100837 s] /proc/loadavg: 4.15 6.74 6.90 6/194 29223 /proc/meminfo: memFree=30181608/32950928 swapFree=67086612/67111528 [pid=29223] ppid=29221 vsize=15676980 CPUtime=0.1 cores=1,3,5,7 /proc/29223/stat : 29223 (java) S 29221 29223 28616 0 -1 4202496 5572 0 1 0 9 1 0 0 22 0 18 0 523375560 16053227520 5012 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29223/statm: 3919245 5013 2117 9 0 3909964 0 [pid=29223/tid=29224] ppid=29221 vsize=15676980 CPUtime=0.09 cores=1,3,5,7 /proc/29223/task/29224/stat : 29224 (java) R 29221 29223 28616 0 -1 4202560 3448 0 1 0 8 1 0 0 18 0 18 0 523375561 16053227520 5014 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 47945238070019 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 15676980 [startup+0.300805 s] /proc/loadavg: 4.15 6.74 6.90 6/194 29223 /proc/meminfo: memFree=30181608/32950928 swapFree=67086612/67111528 [pid=29223] ppid=29221 vsize=15682456 CPUtime=0.52 cores=1,3,5,7 /proc/29223/stat : 29223 (java) S 29221 29223 28616 0 -1 4202496 15768 0 1 0 50 2 0 0 22 0 18 0 523375560 16058834944 13987 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29223/statm: 3920614 13994 2207 9 0 3911333 0 [pid=29223/tid=29224] ppid=29221 vsize=15682456 CPUtime=0.28 cores=1,3,5,7 /proc/29223/task/29224/stat : 29224 (java) R 29221 29223 28616 0 -1 4202560 10658 0 1 0 27 1 0 0 18 0 18 0 523375561 16058834944 13997 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 46912505642515 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 15682456 [startup+0.700738 s] /proc/loadavg: 4.15 6.74 6.90 6/194 29223 /proc/meminfo: memFree=30181608/32950928 swapFree=67086612/67111528 [pid=29223] ppid=29221 vsize=15682456 CPUtime=0.93 cores=1,3,5,7 /proc/29223/stat : 29223 (java) S 29221 29223 28616 0 -1 4202496 41930 0 1 0 87 6 0 0 22 0 18 0 523375560 16058834944 40147 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29223/statm: 3920614 40147 2223 9 0 3911333 0 [pid=29223/tid=29224] ppid=29221 vsize=15682456 CPUtime=0.68 cores=1,3,5,7 /proc/29223/task/29224/stat : 29224 (java) R 29221 29223 28616 0 -1 4202560 35537 0 1 0 63 5 0 0 18 0 18 0 523375561 16058834944 40147 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 46912505553003 0 4 0 16800975 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.93 Current children cumulated vsize (KiB) 15682456 [startup+1.50151 s] /proc/loadavg: 4.15 6.74 6.90 5/216 29245 /proc/meminfo: memFree=29857168/32950928 swapFree=67086612/67111528 [pid=29223] ppid=29221 vsize=15688640 CPUtime=2.07 cores=1,3,5,7 /proc/29223/stat : 29223 (java) S 29221 29223 28616 0 -1 4202496 55144 0 1 0 200 7 0 0 22 0 22 0 523375560 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29223/statm: 3922160 51209 2261 9 0 3912879 0 [pid=29223/tid=29224] ppid=29221 vsize=15688640 CPUtime=1.45 cores=1,3,5,7 /proc/29223/task/29224/stat : 29224 (java) R 29221 29223 28616 0 -1 4202560 35647 0 1 0 140 5 0 0 21 0 22 0 523375561 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 46912505179440 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=29223/tid=29226] ppid=29221 vsize=15688640 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29226/stat : 29226 (java) S 29221 29223 28616 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 22 0 523375561 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29227] ppid=29221 vsize=15688640 CPUtime=0.01 cores=1,3,5,7 /proc/29223/task/29227/stat : 29227 (java) S 29221 29223 28616 0 -1 4202560 1315 0 0 0 1 0 0 0 16 0 22 0 523375561 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29228] ppid=29221 vsize=15688640 CPUtime=0.01 cores=1,3,5,7 /proc/29223/task/29228/stat : 29228 (java) S 29221 29223 28616 0 -1 4202560 1824 0 0 0 1 0 0 0 16 0 22 0 523375561 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29229] ppid=29221 vsize=15688640 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29229/stat : 29229 (java) S 29221 29223 28616 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 22 0 523375561 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29230] ppid=29221 vsize=15688640 CPUtime=0.01 cores=1,3,5,7 /proc/29223/task/29230/stat : 29230 (java) S 29221 29223 28616 0 -1 4202560 1539 0 0 0 1 0 0 0 16 0 22 0 523375561 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29231] ppid=29221 vsize=15688640 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29231/stat : 29231 (java) S 29221 29223 28616 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 523375561 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29232] ppid=29221 vsize=15688640 CPUtime=0.01 cores=1,3,5,7 /proc/29223/task/29232/stat : 29232 (java) S 29221 29223 28616 0 -1 4202560 1574 0 0 0 1 0 0 0 16 0 22 0 523375561 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29233] ppid=29221 vsize=15688640 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29233/stat : 29233 (java) S 29221 29223 28616 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 22 0 523375561 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29234] ppid=29221 vsize=15688640 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29234/stat : 29234 (java) S 29221 29223 28616 0 -1 4202560 135 0 0 0 0 0 0 0 15 0 22 0 523375562 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488511488 0 0 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29235] ppid=29221 vsize=15688640 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29235/stat : 29235 (java) S 29221 29223 28616 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523375563 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29236] ppid=29221 vsize=15688640 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29236/stat : 29236 (java) S 29221 29223 28616 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 523375563 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29237] ppid=29221 vsize=15688640 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29237/stat : 29237 (java) S 29221 29223 28616 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523375565 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488518577 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29238] ppid=29221 vsize=15688640 CPUtime=0.2 cores=1,3,5,7 /proc/29223/task/29238/stat : 29238 (java) S 29221 29223 28616 0 -1 4202560 2273 0 0 0 20 0 0 0 16 0 22 0 523375565 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29239] ppid=29221 vsize=15688640 CPUtime=0.32 cores=1,3,5,7 /proc/29223/task/29239/stat : 29239 (java) R 29221 29223 28616 0 -1 4202560 8502 0 0 0 32 0 0 0 16 0 22 0 523375565 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 47945238894264 0 4 0 16800975 0 0 0 -1 7 0 0 0 [pid=29223/tid=29240] ppid=29221 vsize=15688640 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29240/stat : 29240 (java) S 29221 29223 28616 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523375565 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29241] ppid=29221 vsize=15688640 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29241/stat : 29241 (java) S 29221 29223 28616 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523375565 16065167360 51209 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488511488 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.07 Current children cumulated vsize (KiB) 15688640 [startup+3.10126 s] /proc/loadavg: 4.15 6.74 6.90 8/220 29249 /proc/meminfo: memFree=29773700/32950928 swapFree=67086612/67111528 [pid=29223] ppid=29221 vsize=15686568 CPUtime=5.21 cores=1,3,5,7 /proc/29223/stat : 29223 (java) S 29221 29223 28616 0 -1 4202496 69706 0 1 0 512 9 0 0 22 0 22 0 523375560 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29223/statm: 3921642 54978 2266 9 0 3912361 0 [pid=29223/tid=29224] ppid=29221 vsize=15686568 CPUtime=3.05 cores=1,3,5,7 /proc/29223/task/29224/stat : 29224 (java) R 29221 29223 28616 0 -1 4202560 35679 0 1 0 300 5 0 0 25 0 22 0 523375561 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 46912505202431 0 4 0 16800975 0 0 0 -1 5 0 0 0 [pid=29223/tid=29226] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29226/stat : 29226 (java) S 29221 29223 28616 0 -1 4202560 784 0 0 0 0 0 0 0 15 0 22 0 523375561 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29227] ppid=29221 vsize=15686568 CPUtime=0.01 cores=1,3,5,7 /proc/29223/task/29227/stat : 29227 (java) S 29221 29223 28616 0 -1 4202560 1315 0 0 0 1 0 0 0 16 0 22 0 523375561 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29228] ppid=29221 vsize=15686568 CPUtime=0.01 cores=1,3,5,7 /proc/29223/task/29228/stat : 29228 (java) S 29221 29223 28616 0 -1 4202560 1824 0 0 0 1 0 0 0 16 0 22 0 523375561 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29229] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29229/stat : 29229 (java) S 29221 29223 28616 0 -1 4202560 25 0 0 0 0 0 0 0 15 0 22 0 523375561 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29230] ppid=29221 vsize=15686568 CPUtime=0.01 cores=1,3,5,7 /proc/29223/task/29230/stat : 29230 (java) S 29221 29223 28616 0 -1 4202560 1539 0 0 0 1 0 0 0 16 0 22 0 523375561 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29231] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29231/stat : 29231 (java) S 29221 29223 28616 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 523375561 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29232] ppid=29221 vsize=15686568 CPUtime=0.01 cores=1,3,5,7 /proc/29223/task/29232/stat : 29232 (java) S 29221 29223 28616 0 -1 4202560 1574 0 0 0 1 0 0 0 16 0 22 0 523375561 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29233] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29233/stat : 29233 (java) S 29221 29223 28616 0 -1 4202560 31 0 0 0 0 0 0 0 15 0 22 0 523375561 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29234] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29234/stat : 29234 (java) S 29221 29223 28616 0 -1 4202560 136 0 0 0 0 0 0 0 15 0 22 0 523375562 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488511488 0 0 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29235] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29235/stat : 29235 (java) S 29221 29223 28616 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523375563 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29236] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29236/stat : 29236 (java) S 29221 29223 28616 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 523375563 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29237] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29237/stat : 29237 (java) S 29221 29223 28616 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523375565 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488518577 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29238] ppid=29221 vsize=15686568 CPUtime=0.41 cores=1,3,5,7 /proc/29223/task/29238/stat : 29238 (java) R 29221 29223 28616 0 -1 4202560 2334 0 0 0 41 0 0 0 15 0 22 0 523375565 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 47945240764456 0 4 0 16800975 0 0 0 -1 3 0 0 0 [pid=29223/tid=29239] ppid=29221 vsize=15686568 CPUtime=1.65 cores=1,3,5,7 /proc/29223/task/29239/stat : 29239 (java) S 29221 29223 28616 0 -1 4202560 22970 0 0 0 163 2 0 0 15 0 22 0 523375565 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29240] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29240/stat : 29240 (java) S 29221 29223 28616 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523375565 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29241] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29241/stat : 29241 (java) S 29221 29223 28616 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523375565 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488511488 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29246] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29246/stat : 29246 (java) S 29221 29223 28616 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 523375668 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488511488 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29247] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29247/stat : 29247 (java) S 29221 29223 28616 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 523375668 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488511488 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29248] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29248/stat : 29248 (java) S 29221 29223 28616 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 523375668 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488511488 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29249] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29249/stat : 29249 (java) S 29221 29223 28616 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 523375668 16063045632 54978 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488511488 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.21 Current children cumulated vsize (KiB) 15686568 [startup+6.3016 s] /proc/loadavg: 4.62 6.80 6.92 11/220 29249 /proc/meminfo: memFree=28667420/32950928 swapFree=67086612/67111528 [pid=29223] ppid=29221 vsize=15686568 CPUtime=15.75 cores=1,3,5,7 /proc/29223/stat : 29223 (java) S 29221 29223 28616 0 -1 4202496 233871 0 1 0 1545 30 0 0 22 0 22 0 523375560 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29223/statm: 3921642 217347 2275 9 0 3912361 0 [pid=29223/tid=29224] ppid=29221 vsize=15686568 CPUtime=3.27 cores=1,3,5,7 /proc/29223/task/29224/stat : 29224 (java) S 29221 29223 28616 0 -1 4202560 35701 0 1 0 322 5 0 0 25 0 22 0 523375561 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29226] ppid=29221 vsize=15686568 CPUtime=0.13 cores=1,3,5,7 /proc/29223/task/29226/stat : 29226 (java) S 29221 29223 28616 0 -1 4202560 14930 0 0 0 11 2 0 0 15 0 22 0 523375561 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29227] ppid=29221 vsize=15686568 CPUtime=0.15 cores=1,3,5,7 /proc/29223/task/29227/stat : 29227 (java) S 29221 29223 28616 0 -1 4202560 16116 0 0 0 13 2 0 0 16 0 22 0 523375561 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29228] ppid=29221 vsize=15686568 CPUtime=0.07 cores=1,3,5,7 /proc/29223/task/29228/stat : 29228 (java) S 29221 29223 28616 0 -1 4202560 9650 0 0 0 6 1 0 0 15 0 22 0 523375561 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29229] ppid=29221 vsize=15686568 CPUtime=0.08 cores=1,3,5,7 /proc/29223/task/29229/stat : 29229 (java) S 29221 29223 28616 0 -1 4202560 10202 0 0 0 7 1 0 0 16 0 22 0 523375561 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29230] ppid=29221 vsize=15686568 CPUtime=0.11 cores=1,3,5,7 /proc/29223/task/29230/stat : 29230 (java) S 29221 29223 28616 0 -1 4202560 19663 0 0 0 9 2 0 0 16 0 22 0 523375561 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29231] ppid=29221 vsize=15686568 CPUtime=0.19 cores=1,3,5,7 /proc/29223/task/29231/stat : 29231 (java) S 29221 29223 28616 0 -1 4202560 22829 0 0 0 16 3 0 0 16 0 22 0 523375561 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29232] ppid=29221 vsize=15686568 CPUtime=0.04 cores=1,3,5,7 /proc/29223/task/29232/stat : 29232 (java) S 29221 29223 28616 0 -1 4202560 4692 0 0 0 4 0 0 0 15 0 22 0 523375561 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29233] ppid=29221 vsize=15686568 CPUtime=0.1 cores=1,3,5,7 /proc/29223/task/29233/stat : 29233 (java) S 29221 29223 28616 0 -1 4202560 12936 0 0 0 9 1 0 0 16 0 22 0 523375561 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29234] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29234/stat : 29234 (java) S 29221 29223 28616 0 -1 4202560 495 0 0 0 0 0 0 0 15 0 22 0 523375562 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488511488 0 0 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29235] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29235/stat : 29235 (java) S 29221 29223 28616 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 523375563 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29236] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29236/stat : 29236 (java) S 29221 29223 28616 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 523375563 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29237] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29237/stat : 29237 (java) S 29221 29223 28616 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523375565 16063045632 217347 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488518577 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 ################ # More data... # ################ [startup+1182.3 s] /proc/loadavg: 5.04 5.36 6.11 6/217 29293 /proc/meminfo: memFree=6219984/32950928 swapFree=67086612/67111528 [pid=29223] ppid=29221 vsize=15686568 CPUtime=2369.71 cores=1,3,5,7 /proc/29223/stat : 29223 (java) S 29221 29223 28616 0 -1 4202496 3887753 0 1 0 236304 667 0 0 22 0 19 0 523375560 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29223/statm: 3921642 3845066 2295 9 0 3912361 0 [pid=29223/tid=29224] ppid=29221 vsize=15686568 CPUtime=3.27 cores=1,3,5,7 /proc/29223/task/29224/stat : 29224 (java) S 29221 29223 28616 0 -1 4202560 35701 0 1 0 322 5 0 0 25 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29226] ppid=29221 vsize=15686568 CPUtime=3.08 cores=1,3,5,7 /proc/29223/task/29226/stat : 29226 (java) S 29221 29223 28616 0 -1 4202560 393192 0 0 0 247 61 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29227] ppid=29221 vsize=15686568 CPUtime=2.3 cores=1,3,5,7 /proc/29223/task/29227/stat : 29227 (java) S 29221 29223 28616 0 -1 4202560 299040 0 0 0 183 47 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29228] ppid=29221 vsize=15686568 CPUtime=3.04 cores=1,3,5,7 /proc/29223/task/29228/stat : 29228 (java) S 29221 29223 28616 0 -1 4202560 409093 0 0 0 239 65 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29229] ppid=29221 vsize=15686568 CPUtime=2.7 cores=1,3,5,7 /proc/29223/task/29229/stat : 29229 (java) S 29221 29223 28616 0 -1 4202560 352005 0 0 0 215 55 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29230] ppid=29221 vsize=15686568 CPUtime=3.28 cores=1,3,5,7 /proc/29223/task/29230/stat : 29230 (java) S 29221 29223 28616 0 -1 4202560 351919 0 0 0 269 59 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29231] ppid=29221 vsize=15686568 CPUtime=2.89 cores=1,3,5,7 /proc/29223/task/29231/stat : 29231 (java) S 29221 29223 28616 0 -1 4202560 338493 0 0 0 234 55 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29232] ppid=29221 vsize=15686568 CPUtime=2.29 cores=1,3,5,7 /proc/29223/task/29232/stat : 29232 (java) S 29221 29223 28616 0 -1 4202560 274665 0 0 0 183 46 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29233] ppid=29221 vsize=15686568 CPUtime=3.48 cores=1,3,5,7 /proc/29223/task/29233/stat : 29233 (java) S 29221 29223 28616 0 -1 4202560 405821 0 0 0 283 65 0 0 15 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29234] ppid=29221 vsize=15686568 CPUtime=730.62 cores=1,3,5,7 /proc/29223/task/29234/stat : 29234 (java) R 29221 29223 28616 0 -1 4202560 733211 0 0 0 72926 136 0 0 15 0 19 0 523375562 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 47945241655679 0 0 0 16800975 0 0 0 -1 3 0 0 0 [pid=29223/tid=29235] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29235/stat : 29235 (java) S 29221 29223 28616 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 523375563 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29236] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29236/stat : 29236 (java) S 29221 29223 28616 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 523375563 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29237] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29237/stat : 29237 (java) S 29221 29223 28616 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488518577 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29238] ppid=29221 vsize=15686568 CPUtime=0.83 cores=1,3,5,7 /proc/29223/task/29238/stat : 29238 (java) S 29221 29223 28616 0 -1 4202560 2397 0 0 0 83 0 0 0 15 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29239] ppid=29221 vsize=15686568 CPUtime=2 cores=1,3,5,7 /proc/29223/task/29239/stat : 29239 (java) S 29221 29223 28616 0 -1 4202560 23010 0 0 0 198 2 0 0 15 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29240] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29240/stat : 29240 (java) S 29221 29223 28616 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29241] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29241/stat : 29241 (java) S 29221 29223 28616 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488511488 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29248] ppid=29221 vsize=15686568 CPUtime=441.48 cores=1,3,5,7 /proc/29223/task/29248/stat : 29248 (java) S 29221 29223 28616 0 -1 4202560 59847 0 0 0 44129 19 0 0 15 0 19 0 523375668 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2369.71 Current children cumulated vsize (KiB) 15686568 [startup+1242.3 s] /proc/loadavg: 5.14 5.34 6.05 6/217 29345 /proc/meminfo: memFree=12985068/32950928 swapFree=67086612/67111528 [pid=29223] ppid=29221 vsize=15686568 CPUtime=2429.71 cores=1,3,5,7 /proc/29223/stat : 29223 (java) S 29221 29223 28616 0 -1 4202496 3888244 0 1 0 242299 672 0 0 22 0 19 0 523375560 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29223/statm: 3921642 3845066 2295 9 0 3912361 0 [pid=29223/tid=29224] ppid=29221 vsize=15686568 CPUtime=3.27 cores=1,3,5,7 /proc/29223/task/29224/stat : 29224 (java) S 29221 29223 28616 0 -1 4202560 35701 0 1 0 322 5 0 0 25 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29226] ppid=29221 vsize=15686568 CPUtime=3.08 cores=1,3,5,7 /proc/29223/task/29226/stat : 29226 (java) S 29221 29223 28616 0 -1 4202560 393192 0 0 0 247 61 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29227] ppid=29221 vsize=15686568 CPUtime=2.3 cores=1,3,5,7 /proc/29223/task/29227/stat : 29227 (java) S 29221 29223 28616 0 -1 4202560 299040 0 0 0 183 47 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29228] ppid=29221 vsize=15686568 CPUtime=3.04 cores=1,3,5,7 /proc/29223/task/29228/stat : 29228 (java) S 29221 29223 28616 0 -1 4202560 409093 0 0 0 239 65 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29229] ppid=29221 vsize=15686568 CPUtime=2.7 cores=1,3,5,7 /proc/29223/task/29229/stat : 29229 (java) S 29221 29223 28616 0 -1 4202560 352005 0 0 0 215 55 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29230] ppid=29221 vsize=15686568 CPUtime=3.28 cores=1,3,5,7 /proc/29223/task/29230/stat : 29230 (java) S 29221 29223 28616 0 -1 4202560 351919 0 0 0 269 59 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29231] ppid=29221 vsize=15686568 CPUtime=2.89 cores=1,3,5,7 /proc/29223/task/29231/stat : 29231 (java) S 29221 29223 28616 0 -1 4202560 338493 0 0 0 234 55 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29232] ppid=29221 vsize=15686568 CPUtime=2.29 cores=1,3,5,7 /proc/29223/task/29232/stat : 29232 (java) S 29221 29223 28616 0 -1 4202560 274665 0 0 0 183 46 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29233] ppid=29221 vsize=15686568 CPUtime=3.48 cores=1,3,5,7 /proc/29223/task/29233/stat : 29233 (java) S 29221 29223 28616 0 -1 4202560 405821 0 0 0 283 65 0 0 15 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29234] ppid=29221 vsize=15686568 CPUtime=774.93 cores=1,3,5,7 /proc/29223/task/29234/stat : 29234 (java) S 29221 29223 28616 0 -1 4202560 733215 0 0 0 77353 140 0 0 16 0 19 0 523375562 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488511488 0 0 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29235] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29235/stat : 29235 (java) S 29221 29223 28616 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 523375563 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29236] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29236/stat : 29236 (java) S 29221 29223 28616 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 523375563 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29237] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29237/stat : 29237 (java) S 29221 29223 28616 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488518577 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29238] ppid=29221 vsize=15686568 CPUtime=0.83 cores=1,3,5,7 /proc/29223/task/29238/stat : 29238 (java) S 29221 29223 28616 0 -1 4202560 2397 0 0 0 83 0 0 0 15 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29239] ppid=29221 vsize=15686568 CPUtime=2 cores=1,3,5,7 /proc/29223/task/29239/stat : 29239 (java) S 29221 29223 28616 0 -1 4202560 23010 0 0 0 198 2 0 0 15 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29240] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29240/stat : 29240 (java) S 29221 29223 28616 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29241] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29241/stat : 29241 (java) S 29221 29223 28616 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488511488 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29248] ppid=29221 vsize=15686568 CPUtime=457.18 cores=1,3,5,7 /proc/29223/task/29248/stat : 29248 (java) R 29221 29223 28616 0 -1 4202560 60330 0 0 0 45699 19 0 0 15 0 19 0 523375668 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 46912506366028 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2429.71 Current children cumulated vsize (KiB) 15686568 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 5.09 5.29 5.99 6/217 29347 /proc/meminfo: memFree=12925964/32950928 swapFree=67086612/67111528 [pid=29223] ppid=29221 vsize=15686568 CPUtime=2487.42 cores=1,3,5,7 /proc/29223/stat : 29223 (java) S 29221 29223 28616 0 -1 4202496 3888716 0 1 0 248062 680 0 0 22 0 19 0 523375560 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29223/statm: 3921642 3845066 2295 9 0 3912361 0 [pid=29223/tid=29224] ppid=29221 vsize=15686568 CPUtime=3.27 cores=1,3,5,7 /proc/29223/task/29224/stat : 29224 (java) S 29221 29223 28616 0 -1 4202560 35701 0 1 0 322 5 0 0 25 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29226] ppid=29221 vsize=15686568 CPUtime=3.08 cores=1,3,5,7 /proc/29223/task/29226/stat : 29226 (java) S 29221 29223 28616 0 -1 4202560 393192 0 0 0 247 61 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29227] ppid=29221 vsize=15686568 CPUtime=2.3 cores=1,3,5,7 /proc/29223/task/29227/stat : 29227 (java) S 29221 29223 28616 0 -1 4202560 299040 0 0 0 183 47 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 3 0 0 0 [pid=29223/tid=29228] ppid=29221 vsize=15686568 CPUtime=3.04 cores=1,3,5,7 /proc/29223/task/29228/stat : 29228 (java) S 29221 29223 28616 0 -1 4202560 409093 0 0 0 239 65 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29229] ppid=29221 vsize=15686568 CPUtime=2.7 cores=1,3,5,7 /proc/29223/task/29229/stat : 29229 (java) S 29221 29223 28616 0 -1 4202560 352005 0 0 0 215 55 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29230] ppid=29221 vsize=15686568 CPUtime=3.28 cores=1,3,5,7 /proc/29223/task/29230/stat : 29230 (java) S 29221 29223 28616 0 -1 4202560 351919 0 0 0 269 59 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29231] ppid=29221 vsize=15686568 CPUtime=2.89 cores=1,3,5,7 /proc/29223/task/29231/stat : 29231 (java) S 29221 29223 28616 0 -1 4202560 338493 0 0 0 234 55 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29232] ppid=29221 vsize=15686568 CPUtime=2.29 cores=1,3,5,7 /proc/29223/task/29232/stat : 29232 (java) S 29221 29223 28616 0 -1 4202560 274665 0 0 0 183 46 0 0 16 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29233] ppid=29221 vsize=15686568 CPUtime=3.48 cores=1,3,5,7 /proc/29223/task/29233/stat : 29233 (java) S 29221 29223 28616 0 -1 4202560 405821 0 0 0 283 65 0 0 15 0 19 0 523375561 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29234] ppid=29221 vsize=15686568 CPUtime=817.61 cores=1,3,5,7 /proc/29223/task/29234/stat : 29234 (java) R 29221 29223 28616 0 -1 4202560 733219 0 0 0 81615 146 0 0 16 0 19 0 523375562 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 47945237370691 0 0 0 16800975 0 0 0 -1 3 0 0 0 [pid=29223/tid=29235] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29235/stat : 29235 (java) S 29221 29223 28616 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 523375563 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29236] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29236/stat : 29236 (java) S 29221 29223 28616 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 523375563 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 7 0 0 0 [pid=29223/tid=29237] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29237/stat : 29237 (java) S 29221 29223 28616 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488518577 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29238] ppid=29221 vsize=15686568 CPUtime=0.83 cores=1,3,5,7 /proc/29223/task/29238/stat : 29238 (java) S 29221 29223 28616 0 -1 4202560 2397 0 0 0 83 0 0 0 15 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29239] ppid=29221 vsize=15686568 CPUtime=2 cores=1,3,5,7 /proc/29223/task/29239/stat : 29239 (java) S 29221 29223 28616 0 -1 4202560 23010 0 0 0 198 2 0 0 15 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 [pid=29223/tid=29240] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29240/stat : 29240 (java) S 29221 29223 28616 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29241] ppid=29221 vsize=15686568 CPUtime=0 cores=1,3,5,7 /proc/29223/task/29241/stat : 29241 (java) S 29221 29223 28616 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 523375565 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488511488 0 4 0 16800975 18446604458294180800 0 0 -1 5 0 0 0 [pid=29223/tid=29248] ppid=29221 vsize=15686568 CPUtime=472.2 cores=1,3,5,7 /proc/29223/task/29248/stat : 29248 (java) S 29221 29223 28616 0 -1 4202560 60794 0 0 0 47199 21 0 0 15 0 19 0 523375668 16063045632 3845066 33554432000 1073741824 1073778376 140734123169472 18446744073709551615 239488510873 0 4 0 16800975 18446604458294180800 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2487.42 Current children cumulated vsize (KiB) 15686568 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -29223 [startup+1302.3 s] /proc/loadavg: 5.09 5.29 5.99 6/220 29350 /proc/meminfo: memFree=12923832/32950928 swapFree=67086612/67111528 [pid=29223] ppid=29221 vsize=0 CPUtime=2489.71 cores=1,3,5,7 /proc/29223/stat : 29223 (java) Z 29221 29223 28616 0 -1 4203548 3888734 0 1 0 248263 708 0 0 18 0 2 0 523375560 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29223/statm: 0 0 0 0 0 0 0 [pid=29223/tid=29236] ppid=29221 vsize=0 CPUtime=0.28 cores=1,3,5,7 /proc/29223/task/29236/stat : 29236 (java) R 29221 29223 28616 0 -1 4203588 9 0 0 0 0 28 0 0 16 0 2 0 523375563 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) 2489.71 Current children cumulated vsize (KiB) 0 Solver just ended. Dumping a history of the last processes samples [startup+1302.5 s] /proc/loadavg: 5.09 5.29 5.99 6/220 29350 /proc/meminfo: memFree=12923832/32950928 swapFree=67086612/67111528 [pid=29223] ppid=29221 vsize=0 CPUtime=2489.91 cores=1,3,5,7 /proc/29223/stat : 29223 (java) Z 29221 29223 28616 0 -1 4203548 3888734 0 1 0 248263 728 0 0 18 0 2 0 523375560 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 /proc/29223/statm: 0 0 0 0 0 0 0 [pid=29223/tid=29236] ppid=29221 vsize=0 CPUtime=0.48 cores=1,3,5,7 /proc/29223/task/29236/stat : 29236 (java) R 29221 29223 28616 0 -1 4203588 9 0 0 0 0 48 0 0 16 0 2 0 523375563 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) 2489.91 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1302.51 CPU time (s): 2489.94 CPU user time (s): 2482.64 CPU system time (s): 7.29889 CPU usage (%): 191.164 Max. virtual memory (cumulated for all children) (KiB): 15689540 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2482.64 system time used= 7.29889 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3888734 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= 55947 involuntary context switches= 36034 runsolver used 2.17667 second user time and 5.03423 second system time The end
Begin job on node148 at 2011-04-30 00:56:25 IDJOB=3312487 IDBENCH=82672 IDSOLVER=1699 FILE ID=node148/3312487-1304117785 RUNJOBID= node148-1304117784-29187 PBS_JOBID= 13170695 Free space on /tmp= 71428 MiB SOLVER NAME= STRUCTure 0.1 BENCH NAME= SAT11/random/large/unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312487-1304117785/watcher-3312487-1304117785 -o /tmp/evaluation-result-3312487-1304117785/solver-3312487-1304117785 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312487-1304117785.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4033245e3bd21ace8cfcd57089ff73c5 RANDOM SEED=544404600 node148.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.854 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.70 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.854 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 : 5332.75 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.854 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.83 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.854 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.75 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.854 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.854 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.854 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.82 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.854 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30181756 kB Buffers: 710452 kB Cached: 1636328 kB SwapCached: 3696 kB Active: 138144 kB Inactive: 2265600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30181756 kB SwapTotal: 67111528 kB SwapFree: 67086612 kB Dirty: 8568 kB Writeback: 16 kB AnonPages: 55096 kB Mapped: 21536 kB Slab: 300572 kB PageTables: 4488 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 775928 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= 71428 MiB End job on node148 at 2011-04-30 01:18:08