Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| AbsCon-basic 2017-06-11 | SAT (TO) | 1166 | 2520.1799 | 2513.74 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml |
| MD5SUM | e65d1522f1056f49054155eb060914b2 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 598 |
| Best CPU time to get the best result obtained on this benchmark | 2400.05 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4829 |
| Number of constraints | 2482 |
| Number of domains | 137 |
| Minimum domain size | 2 |
| Maximum domain size | 137 |
| Distribution of domain sizes | [{"size":2,"count":2416},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}, {"size":101,"count":1}, {"size":103,"count":1}, {"size":105,"count":1}, {"size":107,"count":1}, {"size":109,"count":1}, {"size":111,"count":1}, {"size":113,"count":1}, {"size":115,"count":1}, {"size":117,"count":1}, {"size":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 68 |
| Distribution of variable degrees | [{"degree":0,"count":2278},{"degree":2,"count":2482},{"degree":68,"count":69}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 69 |
| Distribution of constraint arities | [{"arity":2,"count":69},{"arity":3,"count":2347},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},"...",{"arity":45,"count":1}, {"arity":46,"count":1}, {"arity":47,"count":1}, {"arity":48,"count":1}, {"arity":49,"count":1}, {"arity":50,"count":1}, {"arity":51,"count":1}, {"arity":52,"count":1}, {"arity":53,"count":1}, {"arity":54,"count":1}, {"arity":55,"count":1}, {"arity":56,"count":1}, {"arity":57,"count":1}, {"arity":58,"count":1}, {"arity":59,"count":1}, {"arity":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 2414 |
| Distribution of constraint types | [{"type":"intension","count":2414},{"type":"sum","count":68}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.26/0.35 0.26/0.35 AbsCon 2 0.26/0.35 1.32/0.74 Solving XCSP3-instance-4263979-1502291386 as a COP in -infty..+infty 1.32/0.74 Loading variables... 1.78/0.88 Loading constraints... 3.63/1.41 Solver SolverBacktrack being built... 3.63/1.41 3.84/1.56 Preprocessing : gac=false, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false 3.84/1.56 4.40/1.71 o 107134 4.69/1.89 o 98022 5.31/2.08 o 97762 5.92/2.24 o 89706 6.22/2.38 o 89194 6.70/2.52 o 88714 6.98/2.65 o 81398 7.25/2.78 o 80698 7.72/2.91 o 74342 7.92/3.04 o 73146 8.14/3.17 o 73054 8.31/3.30 o 71014 8.52/3.42 o 70518 8.62/3.55 o 70278 8.73/3.68 o 69978 8.98/3.80 o 69574 9.08/3.93 o 69462 9.18/4.05 o 68902 9.32/4.17 o 61786 9.42/4.30 o 61534 9.63/4.42 o 61178 9.73/4.55 o 60794 9.83/4.67 o 54914 10.03/4.80 o 54130 10.14/4.92 o 53602 10.24/5.05 o 53282 10.35/5.17 o 53026 10.45/5.29 o 52558 10.65/5.41 o 52514 10.76/5.53 o 51358 10.86/5.66 o 50854 10.96/5.78 o 50834 11.16/5.91 o 44958 11.26/6.03 o 43986 11.36/6.20 o 42082 11.56/6.32 o 41942 11.68/6.49 o 41154 11.88/6.70 o 40626 12.20/6.96 o 40606 12.50/7.23 o 39074 12.63/7.36 o 38902 13.04/7.74 o 37930 13.14/7.87 o 37766 13.36/8.00 o 36042 13.58/8.27 o 35730 13.68/8.39 o 35174 14.59/9.21 o 33358 14.69/9.33 o 32686 14.89/9.58 o 31886 15.09/9.71 o 31506 15.19/9.88 o 30818 16.20/10.83 o 30810 16.31/10.95 o 5418 16.41/11.07 o 4694 18.02/12.64 o 4518 19.12/13.74 o 2658 19.22/13.86 o 1998 19.32/13.99 o 1934 25.04/19.62 o 1870 68.40/62.94 o 1830 294.40/288.86 o 1810 296.10/290.59 o 1714 429.83/424.28 o 1690 446.16/440.56 o 1658 448.37/442.75 o 1642 559.92/554.21 o 1610 639.21/633.44 o 1442 703.63/697.81 o 1306 817.57/811.77 o 1282 989.62/983.75 o 1246 1093.96/1088.09 o 1166 2520.05/2513.73 2520.05/2513.73 v <instantiation id='sol71' type='solution' cost='1166'> <list> x[] y[][] c[] s[] </list> <values> -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 * -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 * * 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 * * * -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 * * * * 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 * * * * * 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 * * * * * * -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 * * * * * * * 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 -1 * * * * * * * * 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 * * * * * * * * * -1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 * * * * * * * * * * -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 * * * * * * * * * * * -1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 * * * * * * * * * * * * -1 -1 -1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * 1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 1 -1 1 1 1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 6 -1 6 1 -4 3 0 -5 0 3 0 -5 6 5 -4 1 -2 1 -2 -1 -4 -3 0 -1 0 -1 2 -1 2 -7 -6 11 6 -1 0 3 2 -1 6 1 -2 1 -4 -3 2 -21 4 -1 0 1 0 3 6 1 -2 1 -2 1 -2 1 0 -1 2 -1 0 -1 4 25 36 1 36 1 16 9 0 25 0 9 0 25 36 25 16 1 4 1 4 1 16 9 0 1 0 1 4 1 4 49 36 121 36 1 0 9 4 1 36 1 4 1 16 9 4 441 16 1 0 1 0 9 36 1 4 1 4 1 4 1 0 1 4 1 0 1 </values> </instantiation> 2520.05/2513.73 s SATISFIABLE
OK 1166
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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-4263979-1502291386/watcher-4263979-1502291386 -o /tmp/evaluation-result-4263979-1502291386/solver-4263979-1502291386 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502258002-23061 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4263979-1502291386.xml pid=811 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB [startup+0 s] /proc/loadavg: 2.02 2.04 2.05 2/195 814 /proc/meminfo: memFree=30648428/32770624 swapFree=0/457152 [pid=814] ppid=811 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/814/stat : 814 (runsolver) D 811 814 16590 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 31332207 24240128 108 18446744073709551615 4194304 4338465 140722708983840 140722708981480 140042022126295 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 37720064 140722708992160 140722708992586 140722708992586 140722708996042 0 /proc/814/statm: 5918 108 54 36 0 2156 0 [startup+0.100201 s] /proc/loadavg: 2.02 2.04 2.05 2/195 814 /proc/meminfo: memFree=30648428/32770624 swapFree=0/457152 [pid=814] ppid=811 vsize=10151672 CPUtime=0.02 cores=0,2,4,6 /proc/814/stat : 814 (java) S 811 814 16590 0 -1 1077944320 4088 0 0 0 2 0 0 0 20 0 9 0 31332207 10395312128 5261 18446744073709551615 4194304 4196468 140733249841168 140733249823712 139829631532791 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 /proc/814/statm: 2537918 5261 2112 1 0 2527415 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10151672 [startup+0.20075 s] /proc/loadavg: 2.02 2.04 2.05 2/195 814 /proc/meminfo: memFree=30648428/32770624 swapFree=0/457152 [pid=814] ppid=811 vsize=10551180 CPUtime=0.08 cores=0,2,4,6 /proc/814/stat : 814 (java) S 811 814 16590 0 -1 1077944320 5182 0 0 0 8 0 0 0 20 0 15 0 31332207 10804408320 6686 18446744073709551615 4194304 4196468 140733249841168 140733249823712 139829631532791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 /proc/814/statm: 2637795 6686 2672 1 0 2627261 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 10551180 [startup+0.300245 s] /proc/loadavg: 2.02 2.04 2.05 2/195 814 /proc/meminfo: memFree=30648428/32770624 swapFree=0/457152 [pid=814] ppid=811 vsize=10553264 CPUtime=0.26 cores=0,2,4,6 /proc/814/stat : 814 (java) S 811 814 16590 0 -1 1077944320 8914 0 0 0 24 2 0 0 20 0 15 0 31332207 10806542336 9734 18446744073709551615 4194304 4196468 140733249841168 140733249823712 139829631532791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 /proc/814/statm: 2638316 9734 2916 1 0 2627261 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 10553264 [startup+0.70022 s] /proc/loadavg: 2.02 2.04 2.05 2/195 814 /proc/meminfo: memFree=30648428/32770624 swapFree=0/457152 [pid=814] ppid=811 vsize=10621952 CPUtime=1.32 cores=0,2,4,6 /proc/814/stat : 814 (java) S 811 814 16590 0 -1 1077944320 13923 0 0 0 127 5 0 0 20 0 16 0 31332207 10876878848 23639 18446744073709551615 4194304 4196468 140733249841168 140733249823712 139829631532791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 /proc/814/statm: 2655488 23639 3077 1 0 2644414 0 Current children cumulated CPU time (s) 1.32 Current children cumulated vsize (KiB) 10621952 [startup+1.50066 s] /proc/loadavg: 2.26 2.09 2.06 4/211 830 /proc/meminfo: memFree=30521020/32770624 swapFree=0/457196 [pid=814] ppid=811 vsize=10624000 CPUtime=3.84 cores=0,2,4,6 /proc/814/stat : 814 (java) S 811 814 16590 0 -1 1077944320 22824 0 0 0 372 12 0 0 20 0 16 0 31332207 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 140733249823712 139829631532791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 /proc/814/statm: 2656000 53942 3131 1 0 2644926 0 [pid=814/tid=816] ppid=811 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/814/task/816/stat : 816 (java) S 811 814 16590 0 -1 1077944384 6212 0 0 0 19 2 0 0 20 0 16 0 31332213 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829635775664 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=817] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/817/stat : 817 (java) S 811 814 16590 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829243144592 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=818] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/818/stat : 818 (java) S 811 814 16590 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829242091792 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=819] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/819/stat : 819 (java) S 811 814 16590 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829241039504 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=820] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/820/stat : 820 (java) S 811 814 16590 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829239986704 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=821] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/821/stat : 821 (java) S 811 814 16590 0 -1 1077944384 777 0 0 0 0 0 0 0 20 0 16 0 31332215 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829127834224 139829631543938 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=822] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/822/stat : 822 (java) S 811 814 16590 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829126780192 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=823] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/823/stat : 823 (java) S 811 814 16590 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829125727856 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=824] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/824/stat : 824 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332218 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829124676176 139829631551387 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=825] ppid=811 vsize=10624000 CPUtime=0.84 cores=0,2,4,6 /proc/814/task/825/stat : 825 (java) R 811 814 16590 0 -1 1077944384 2808 0 0 0 83 1 0 0 20 0 16 0 31332218 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829123623024 139829631543938 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=826] ppid=811 vsize=10624000 CPUtime=0.88 cores=0,2,4,6 /proc/814/task/826/stat : 826 (java) S 811 814 16590 0 -1 1077944384 2086 0 0 0 88 0 0 0 20 0 16 0 31332218 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829122570224 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=827] ppid=811 vsize=10624000 CPUtime=0.67 cores=0,2,4,6 /proc/814/task/827/stat : 827 (java) R 811 814 16590 0 -1 4202560 3754 0 0 0 66 1 0 0 20 0 16 0 31332218 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829121517936 139829615613278 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=828] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/828/stat : 828 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332219 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829120465376 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=829] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/829/stat : 829 (java) S 811 814 16590 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 31332225 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829119413168 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=830] ppid=811 vsize=10624000 CPUtime=1.11 cores=0,2,4,6 /proc/814/task/830/stat : 830 (java) R 811 814 16590 0 -1 4202560 5095 0 0 0 108 3 0 0 20 0 16 0 31332242 10878976000 53942 18446744073709551615 4194304 4196468 140733249841168 139829116220128 139829631544726 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 10624000 [startup+3.10076 s] /proc/loadavg: 2.26 2.09 2.06 5/211 830 /proc/meminfo: memFree=30420380/32770624 swapFree=0/457196 [pid=814] ppid=811 vsize=10624000 CPUtime=8.14 cores=0,2,4,6 /proc/814/stat : 814 (java) S 811 814 16590 0 -1 1077944320 34408 0 0 0 800 14 0 0 20 0 16 0 31332207 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 140733249823712 139829631532791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 /proc/814/statm: 2656000 61126 3135 1 0 2644926 0 [pid=814/tid=816] ppid=811 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/814/task/816/stat : 816 (java) S 811 814 16590 0 -1 1077944384 6212 0 0 0 19 2 0 0 20 0 16 0 31332213 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829635775664 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=817] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/817/stat : 817 (java) S 811 814 16590 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829243144592 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=818] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/818/stat : 818 (java) S 811 814 16590 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829242091792 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=819] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/819/stat : 819 (java) S 811 814 16590 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829241039504 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=820] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/820/stat : 820 (java) S 811 814 16590 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829239986704 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=821] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/821/stat : 821 (java) S 811 814 16590 0 -1 1077944384 788 0 0 0 0 0 0 0 20 0 16 0 31332215 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829127834224 139829631543938 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=822] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/822/stat : 822 (java) S 811 814 16590 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829126780192 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=823] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/823/stat : 823 (java) S 811 814 16590 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829125727856 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=824] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/824/stat : 824 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332218 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829124676176 139829631551387 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=825] ppid=811 vsize=10624000 CPUtime=1.89 cores=0,2,4,6 /proc/814/task/825/stat : 825 (java) S 811 814 16590 0 -1 1077944384 5833 0 0 0 188 1 0 0 20 0 16 0 31332218 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829123623024 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=826] ppid=811 vsize=10624000 CPUtime=2.41 cores=0,2,4,6 /proc/814/task/826/stat : 826 (java) R 811 814 16590 0 -1 4202560 7760 0 0 0 240 1 0 0 20 0 16 0 31332218 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829122551328 139829613077009 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=827] ppid=811 vsize=10624000 CPUtime=0.78 cores=0,2,4,6 /proc/814/task/827/stat : 827 (java) S 811 814 16590 0 -1 1077944384 4834 0 0 0 77 1 0 0 20 0 16 0 31332218 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829121517936 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=828] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/828/stat : 828 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332219 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829120465376 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=829] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/829/stat : 829 (java) S 811 814 16590 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 31332225 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829119413168 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=830] ppid=811 vsize=10624000 CPUtime=2.71 cores=0,2,4,6 /proc/814/task/830/stat : 830 (java) R 811 814 16590 0 -1 4202560 6886 0 0 0 267 4 0 0 20 0 16 0 31332242 10878976000 61126 18446744073709551615 4194304 4196468 140733249841168 139829116220288 139829262356663 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 Current children cumulated CPU time (s) 8.14 Current children cumulated vsize (KiB) 10624000 [startup+6.30073 s] /proc/loadavg: 2.26 2.09 2.06 3/211 830 /proc/meminfo: memFree=30422908/32770624 swapFree=0/457196 [pid=814] ppid=811 vsize=10624000 CPUtime=11.56 cores=0,2,4,6 /proc/814/stat : 814 (java) S 811 814 16590 0 -1 1077944320 34683 0 0 0 1142 14 0 0 20 0 16 0 31332207 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 140733249823712 139829631532791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 /proc/814/statm: 2656000 59488 3135 1 0 2644926 0 [pid=814/tid=816] ppid=811 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/814/task/816/stat : 816 (java) S 811 814 16590 0 -1 1077944384 6212 0 0 0 19 2 0 0 20 0 16 0 31332213 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829635775664 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=817] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/817/stat : 817 (java) S 811 814 16590 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829243144592 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=818] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/818/stat : 818 (java) S 811 814 16590 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829242091792 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=819] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/819/stat : 819 (java) S 811 814 16590 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829241039504 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=820] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/820/stat : 820 (java) S 811 814 16590 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829239986704 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=821] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/821/stat : 821 (java) S 811 814 16590 0 -1 1077944384 788 0 0 0 0 0 0 0 20 0 16 0 31332215 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829127834224 139829631543938 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=822] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/822/stat : 822 (java) S 811 814 16590 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829126780192 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=823] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/823/stat : 823 (java) S 811 814 16590 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829125727856 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=824] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/824/stat : 824 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332218 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829124676176 139829631551387 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=825] ppid=811 vsize=10624000 CPUtime=1.99 cores=0,2,4,6 /proc/814/task/825/stat : 825 (java) S 811 814 16590 0 -1 1077944384 5853 0 0 0 198 1 0 0 20 0 16 0 31332218 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829123623024 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=826] ppid=811 vsize=10624000 CPUtime=2.51 cores=0,2,4,6 /proc/814/task/826/stat : 826 (java) S 811 814 16590 0 -1 1077944384 7812 0 0 0 250 1 0 0 20 0 16 0 31332218 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829122570224 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=827] ppid=811 vsize=10624000 CPUtime=0.81 cores=0,2,4,6 /proc/814/task/827/stat : 827 (java) S 811 814 16590 0 -1 1077944384 4979 0 0 0 80 1 0 0 20 0 16 0 31332218 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829121517936 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=828] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/828/stat : 828 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332219 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829120465376 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=829] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/829/stat : 829 (java) S 811 814 16590 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 16 0 31332225 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829119413168 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=830] ppid=811 vsize=10624000 CPUtime=5.91 cores=0,2,4,6 /proc/814/task/830/stat : 830 (java) R 811 814 16590 0 -1 4202560 6937 0 0 0 587 4 0 0 20 0 16 0 31332242 10878976000 59488 18446744073709551615 4194304 4196468 140733249841168 139829116220048 139829262655078 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 Current children cumulated CPU time (s) 11.56 Current children cumulated vsize (KiB) 10624000 [startup+12.7006 s] /proc/loadavg: 2.14 2.07 2.06 3/211 830 /proc/meminfo: memFree=30422112/32770624 swapFree=0/457200 [pid=814] ppid=811 vsize=10624000 CPUtime=18.12 cores=0,2,4,6 /proc/814/stat : 814 (java) S 811 814 16590 0 -1 1077944320 38870 0 0 0 1796 16 0 0 20 0 16 0 31332207 10878976000 59586 18446744073709551615 4194304 4196468 140733249841168 140733249823712 139829631532791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 /proc/814/statm: 2656000 59586 3140 1 0 2644926 0 [pid=814/tid=816] ppid=811 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/814/task/816/stat : 816 (java) S 811 814 16590 0 -1 1077944384 6212 0 0 0 19 2 0 0 20 0 16 0 31332213 10878976000 59586 18446744073709551615 4194304 4196468 140733249841168 139829635775664 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=817] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/817/stat : 817 (java) S 811 814 16590 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 59586 18446744073709551615 4194304 4196468 140733249841168 139829243144592 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=818] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/818/stat : 818 (java) S 811 814 16590 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 59586 18446744073709551615 4194304 4196468 140733249841168 139829242091792 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=819] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/819/stat : 819 (java) S 811 814 16590 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 59586 18446744073709551615 4194304 4196468 140733249841168 139829241039504 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=820] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/820/stat : 820 (java) S 811 814 16590 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 59586 18446744073709551615 4194304 4196468 140733249841168 139829239986704 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=821] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/821/stat : 821 (java) S 811 814 16590 0 -1 1077944384 814 0 0 0 0 0 0 0 20 0 16 0 31332215 10878976000 59586 18446744073709551615 4194304 4196468 140733249841168 139829127834224 139829631543938 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 ################ # More data... # ################ /proc/meminfo: memFree=31011868/32770624 swapFree=0/458288 [pid=814] ppid=811 vsize=10624000 CPUtime=2448.63 cores=0,2,4,6 /proc/814/stat : 814 (java) S 811 814 16590 0 -1 1077944320 65320 0 0 0 244811 52 0 0 20 0 16 0 31332207 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 140733249823712 139829631532791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 /proc/814/statm: 2656000 64985 3148 1 0 2644926 0 [pid=814/tid=816] ppid=811 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/814/task/816/stat : 816 (java) S 811 814 16590 0 -1 1077944384 6212 0 0 0 19 2 0 0 20 0 16 0 31332213 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829635775664 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=817] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/817/stat : 817 (java) S 811 814 16590 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829243144592 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=818] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/818/stat : 818 (java) S 811 814 16590 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829242091792 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=819] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/819/stat : 819 (java) S 811 814 16590 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829241039504 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=820] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/820/stat : 820 (java) S 811 814 16590 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829239986704 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=821] ppid=811 vsize=10624000 CPUtime=0.03 cores=0,2,4,6 /proc/814/task/821/stat : 821 (java) S 811 814 16590 0 -1 1077944384 1145 0 0 0 2 1 0 0 20 0 16 0 31332215 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829127834224 139829631543938 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=822] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/822/stat : 822 (java) S 811 814 16590 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829126780192 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=823] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/823/stat : 823 (java) S 811 814 16590 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829125727856 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=824] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/824/stat : 824 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829124676176 139829631551387 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=825] ppid=811 vsize=10624000 CPUtime=2.15 cores=0,2,4,6 /proc/814/task/825/stat : 825 (java) S 811 814 16590 0 -1 1077944384 10792 0 0 0 213 2 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829123623024 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=826] ppid=811 vsize=10624000 CPUtime=2.64 cores=0,2,4,6 /proc/814/task/826/stat : 826 (java) S 811 814 16590 0 -1 1077944384 10836 0 0 0 262 2 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829122570224 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=827] ppid=811 vsize=10624000 CPUtime=0.96 cores=0,2,4,6 /proc/814/task/827/stat : 827 (java) S 811 814 16590 0 -1 1077944384 13556 0 0 0 93 3 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829121517936 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=828] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/828/stat : 828 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332219 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829120465376 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=829] ppid=811 vsize=10624000 CPUtime=0.82 cores=0,2,4,6 /proc/814/task/829/stat : 829 (java) S 811 814 16590 0 -1 1077944384 997 0 0 0 40 42 0 0 20 0 16 0 31332225 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829119413168 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=830] ppid=811 vsize=10624000 CPUtime=2441.67 cores=0,2,4,6 /proc/814/task/830/stat : 830 (java) R 811 814 16590 0 -1 4202560 19696 0 0 0 244161 6 0 0 20 0 16 0 31332242 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829116221048 139829262356612 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 Current children cumulated CPU time (s) 2448.63 Current children cumulated vsize (KiB) 10624000 [startup+2502.3 s] /proc/loadavg: 2.08 2.04 2.05 3/211 1162 /proc/meminfo: memFree=31011972/32770624 swapFree=0/458316 [pid=814] ppid=811 vsize=10624000 CPUtime=2508.64 cores=0,2,4,6 /proc/814/stat : 814 (java) S 811 814 16590 0 -1 1077944320 65494 0 0 0 250812 52 0 0 20 0 16 0 31332207 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 140733249823712 139829631532791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 /proc/814/statm: 2656000 64985 3148 1 0 2644926 0 [pid=814/tid=816] ppid=811 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/814/task/816/stat : 816 (java) S 811 814 16590 0 -1 1077944384 6212 0 0 0 19 2 0 0 20 0 16 0 31332213 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829635775664 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=817] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/817/stat : 817 (java) S 811 814 16590 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829243144592 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=818] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/818/stat : 818 (java) S 811 814 16590 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829242091792 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=819] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/819/stat : 819 (java) S 811 814 16590 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829241039504 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=820] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/820/stat : 820 (java) S 811 814 16590 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829239986704 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=821] ppid=811 vsize=10624000 CPUtime=0.03 cores=0,2,4,6 /proc/814/task/821/stat : 821 (java) S 811 814 16590 0 -1 1077944384 1152 0 0 0 2 1 0 0 20 0 16 0 31332215 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829127834224 139829631543938 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=822] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/822/stat : 822 (java) S 811 814 16590 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829126780192 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=823] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/823/stat : 823 (java) S 811 814 16590 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829125727856 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=824] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/824/stat : 824 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829124676176 139829631551387 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=825] ppid=811 vsize=10624000 CPUtime=2.15 cores=0,2,4,6 /proc/814/task/825/stat : 825 (java) S 811 814 16590 0 -1 1077944384 10794 0 0 0 213 2 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829123623024 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=826] ppid=811 vsize=10624000 CPUtime=2.64 cores=0,2,4,6 /proc/814/task/826/stat : 826 (java) S 811 814 16590 0 -1 1077944384 10838 0 0 0 262 2 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829122570224 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=827] ppid=811 vsize=10624000 CPUtime=0.96 cores=0,2,4,6 /proc/814/task/827/stat : 827 (java) S 811 814 16590 0 -1 1077944384 13564 0 0 0 93 3 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829121517936 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=828] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/828/stat : 828 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332219 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829120465376 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=829] ppid=811 vsize=10624000 CPUtime=0.84 cores=0,2,4,6 /proc/814/task/829/stat : 829 (java) S 811 814 16590 0 -1 1077944384 1028 0 0 0 41 43 0 0 20 0 16 0 31332225 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829119413168 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=830] ppid=811 vsize=10624000 CPUtime=2501.66 cores=0,2,4,6 /proc/814/task/830/stat : 830 (java) R 811 814 16590 0 -1 4202560 19820 0 0 0 250160 6 0 0 20 0 16 0 31332242 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829116221048 139829262653772 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 Current children cumulated CPU time (s) 2508.64 Current children cumulated vsize (KiB) 10624000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2513.7 s] /proc/loadavg: 2.06 2.03 2.05 3/211 1163 /proc/meminfo: memFree=31011848/32770624 swapFree=0/458344 [pid=814] ppid=811 vsize=10624000 CPUtime=2520.05 cores=0,2,4,6 /proc/814/stat : 814 (java) S 811 814 16590 0 -1 1077944320 65494 0 0 0 251952 53 0 0 20 0 16 0 31332207 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 140733249823712 139829631532791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 /proc/814/statm: 2656000 64985 3148 1 0 2644926 0 [pid=814/tid=816] ppid=811 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/814/task/816/stat : 816 (java) S 811 814 16590 0 -1 1077944384 6212 0 0 0 19 2 0 0 20 0 16 0 31332213 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829635775664 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=817] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/817/stat : 817 (java) S 811 814 16590 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829243144592 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=818] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/818/stat : 818 (java) S 811 814 16590 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829242091792 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=819] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/819/stat : 819 (java) S 811 814 16590 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829241039504 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=820] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/820/stat : 820 (java) S 811 814 16590 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829239986704 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=821] ppid=811 vsize=10624000 CPUtime=0.03 cores=0,2,4,6 /proc/814/task/821/stat : 821 (java) S 811 814 16590 0 -1 1077944384 1152 0 0 0 2 1 0 0 20 0 16 0 31332215 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829127834224 139829631543938 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=822] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/822/stat : 822 (java) S 811 814 16590 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829126780192 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=823] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/823/stat : 823 (java) S 811 814 16590 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829125727856 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=824] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/824/stat : 824 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829124676176 139829631551387 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=825] ppid=811 vsize=10624000 CPUtime=2.15 cores=0,2,4,6 /proc/814/task/825/stat : 825 (java) S 811 814 16590 0 -1 1077944384 10794 0 0 0 213 2 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829123623024 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=826] ppid=811 vsize=10624000 CPUtime=2.64 cores=0,2,4,6 /proc/814/task/826/stat : 826 (java) S 811 814 16590 0 -1 1077944384 10838 0 0 0 262 2 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829122570224 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=827] ppid=811 vsize=10624000 CPUtime=0.96 cores=0,2,4,6 /proc/814/task/827/stat : 827 (java) S 811 814 16590 0 -1 1077944384 13564 0 0 0 93 3 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829121517936 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=828] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/828/stat : 828 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332219 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829120465376 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=829] ppid=811 vsize=10624000 CPUtime=0.84 cores=0,2,4,6 /proc/814/task/829/stat : 829 (java) S 811 814 16590 0 -1 1077944384 1028 0 0 0 41 43 0 0 20 0 16 0 31332225 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829119413168 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=830] ppid=811 vsize=10624000 CPUtime=2513.06 cores=0,2,4,6 /proc/814/task/830/stat : 830 (java) R 811 814 16590 0 -1 4202560 19820 0 0 0 251300 6 0 0 20 0 16 0 31332242 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829116221048 139829262116696 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 Current children cumulated CPU time (s) 2520.05 Current children cumulated vsize (KiB) 10624000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 814 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2513.7 s] /proc/loadavg: 2.06 2.03 2.05 3/211 1163 /proc/meminfo: memFree=31011848/32770624 swapFree=0/458344 [pid=814] ppid=811 vsize=10624000 CPUtime=2520.05 cores=0,2,4,6 /proc/814/stat : 814 (java) S 811 814 16590 0 -1 1077944320 65494 0 0 0 251952 53 0 0 20 0 16 0 31332207 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 140733249823712 139829631532791 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 /proc/814/statm: 2656000 64985 3148 1 0 2644926 0 [pid=814/tid=816] ppid=811 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/814/task/816/stat : 816 (java) S 811 814 16590 0 -1 1077944384 6212 0 0 0 19 2 0 0 20 0 16 0 31332213 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829635775664 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=817] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/817/stat : 817 (java) S 811 814 16590 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829243144592 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=818] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/818/stat : 818 (java) S 811 814 16590 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829242091792 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=819] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/819/stat : 819 (java) S 811 814 16590 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829241039504 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=820] ppid=811 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/814/task/820/stat : 820 (java) S 811 814 16590 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 16 0 31332214 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829239986704 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=821] ppid=811 vsize=10624000 CPUtime=0.03 cores=0,2,4,6 /proc/814/task/821/stat : 821 (java) S 811 814 16590 0 -1 1077944384 1152 0 0 0 2 1 0 0 20 0 16 0 31332215 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829127834224 139829631543938 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=822] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/822/stat : 822 (java) S 811 814 16590 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829126780192 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=823] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/823/stat : 823 (java) S 811 814 16590 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 31332216 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829125727856 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=824] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/824/stat : 824 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829124676176 139829631551387 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=825] ppid=811 vsize=10624000 CPUtime=2.15 cores=0,2,4,6 /proc/814/task/825/stat : 825 (java) S 811 814 16590 0 -1 1077944384 10794 0 0 0 213 2 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829123623024 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=826] ppid=811 vsize=10624000 CPUtime=2.64 cores=0,2,4,6 /proc/814/task/826/stat : 826 (java) S 811 814 16590 0 -1 1077944384 10838 0 0 0 262 2 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829122570224 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=827] ppid=811 vsize=10624000 CPUtime=0.96 cores=0,2,4,6 /proc/814/task/827/stat : 827 (java) S 811 814 16590 0 -1 1077944384 13564 0 0 0 93 3 0 0 20 0 16 0 31332218 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829121517936 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=828] ppid=811 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/814/task/828/stat : 828 (java) S 811 814 16590 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31332219 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829120465376 139829631542997 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=829] ppid=811 vsize=10624000 CPUtime=0.84 cores=0,2,4,6 /proc/814/task/829/stat : 829 (java) S 811 814 16590 0 -1 1077944384 1028 0 0 0 41 43 0 0 20 0 16 0 31332225 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829119413168 139829631543938 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 [pid=814/tid=830] ppid=811 vsize=10624000 CPUtime=2513.06 cores=0,2,4,6 /proc/814/task/830/stat : 830 (java) R 811 814 16590 0 -1 4202560 19820 0 0 0 251300 6 0 0 20 0 16 0 31332242 10878976000 64985 18446744073709551615 4194304 4196468 140733249841168 139829116221048 139829262116696 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18460672 140733249847758 140733249847887 140733249847887 140733249851343 0 Current children cumulated CPU time (s) 2520.05 Current children cumulated vsize (KiB) 10624000 Child status: 143 Real time (s): 2513.74 CPU time (s): 2520.18 CPU user time (s): 2519.59 CPU system time (s): 0.591028 CPU usage (%): 100.256 Max. virtual memory (cumulated for all children) (KiB): 10626016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.59 system time used= 0.591028 maximum resident set size= 306516 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67008 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1648 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 57480 involuntary context switches= 3178 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.9269 second user time and 13.0021 second system time The end
Begin job on node127 at 2017-08-09 16:55:40 IDJOB=4263979 IDBENCH=127023 IDSOLVER=2652 FILE ID=node127/4263979-1502291386 RUNJOBID= node127-1502258002-23061 PBS_JOBID= Free space on /tmp= 62020 MiB SOLVER NAME= AbsCon-basic 2017-06-11 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-069.xml COMMAND LINE= java -jar HOME/AbsCon-basic.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4263979-1502291386/watcher-4263979-1502291386 -o /tmp/evaluation-result-4263979-1502291386/solver-4263979-1502291386 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502258002-23061 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4263979-1502291386.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e65d1522f1056f49054155eb060914b2 RANDOM SEED=1514541053 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial 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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30648904 kB MemAvailable: 31255396 kB Buffers: 204608 kB Cached: 686180 kB SwapCached: 0 kB Active: 1230416 kB Inactive: 473868 kB Active(anon): 813524 kB Inactive(anon): 16716 kB Active(file): 416892 kB Inactive(file): 457152 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7884 kB Writeback: 0 kB AnonPages: 812596 kB Mapped: 48892 kB Shmem: 17060 kB Slab: 121708 kB SReclaimable: 96568 kB SUnreclaim: 25140 kB KernelStack: 3440 kB PageTables: 6412 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2153332 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 690176 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62016 MiB End job on node127 at 2017-08-09 17:37:34