Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: AbsCon-basic 2017-06-11 | SAT (TO) | 1166 | 2400.1 | 2391.31 |
| 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.27/0.28 0.27/0.28 AbsCon 2 0.27/0.28 1.81/0.72 Solving XCSP3-instance-4247424-1500718332 as a COP in -infty..+infty 1.81/0.72 Loading variables... 2.30/0.88 Loading constraints... 4.57/1.46 Solver SolverBacktrack being built... 4.57/1.46 5.00/1.59 Preprocessing : gac=false, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false 5.00/1.59 5.62/1.73 o 107134 6.47/1.93 o 98022 6.88/2.08 o 97762 7.29/2.20 o 89706 7.73/2.30 o 89194 8.22/2.40 o 88714 8.40/2.50 o 81398 8.56/2.60 o 80698 8.56/2.70 o 74342 8.67/2.79 o 73146 8.77/2.89 o 73054 8.87/2.98 o 71014 8.99/3.08 o 70518 9.09/3.17 o 70278 9.26/3.27 o 69978 9.42/3.36 o 69574 9.52/3.45 o 69462 9.61/3.55 o 68902 9.75/3.64 o 61786 9.85/3.73 o 61534 9.95/3.82 o 61178 10.05/3.92 o 60794 10.16/4.01 o 54914 10.26/4.11 o 54130 10.37/4.20 o 53602 10.37/4.29 o 53282 10.48/4.38 o 53026 10.59/4.47 o 52558 10.69/4.56 o 52514 10.78/4.65 o 51358 10.88/4.75 o 50854 10.98/4.84 o 50834 11.08/4.93 o 44958 11.18/5.03 o 43986 11.28/5.16 o 42082 11.39/5.25 o 41942 11.49/5.38 o 41154 11.72/5.55 o 40626 11.93/5.76 o 40606 12.13/5.98 o 39074 12.26/6.07 o 38902 12.57/6.38 o 37930 12.67/6.48 o 37766 12.83/6.58 o 36042 13.07/6.79 o 35730 13.16/6.89 o 35174 13.87/7.58 o 33358 13.97/7.67 o 32686 14.18/7.87 o 31886 14.27/7.96 o 31506 14.47/8.10 o 30818 15.31/8.91 o 30810 15.40/9.00 o 5418 15.40/9.09 o 4694 16.81/10.44 o 4518 17.71/11.38 o 2658 17.81/11.47 o 1998 17.91/11.56 o 1934 22.73/16.31 o 1870 63.73/56.91 o 1830 266.30/259.26 o 1810 267.91/260.81 o 1714 393.21/386.09 o 1690 408.76/401.56 o 1658 410.85/403.62 o 1642 513.20/505.69 o 1610 576.50/568.83 o 1442 627.85/620.19 o 1306 718.92/711.12 o 1282 855.82/847.93 o 1246 939.09/931.11 o 1166 2400.08/2391.30 2400.08/2391.30 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> 2400.08/2391.30 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-4247424-1500718332/watcher-4247424-1500718332 -o /tmp/evaluation-result-4247424-1500718332/solver-4247424-1500718332 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500715944-19852 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4247424-1500718332.xml pid=20254 running on 8 cores: 0,2,4,6,8,10,12,14 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 1.80 1.80 1.71 3/262 20257 /proc/meminfo: memFree=31625304/32770624 swapFree=5704/274932 [pid=20257] ppid=20254 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/stat : 20257 (java) S 20254 20257 19821 0 -1 1077944320 1987 0 0 0 0 0 0 0 20 0 2 0 7099858 8550137856 2263 33554432000 4194304 4196468 140733356578128 140733356560672 140167729389303 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 /proc/20257/statm: 2087436 2263 1198 1 0 2076347 0 [pid=20257/tid=20258] ppid=20254 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20258/stat : 20258 (java) R 20254 20257 19821 0 -1 4202560 785 0 0 0 0 0 0 0 20 0 2 0 7099858 8550137856 2329 33554432000 4194304 4196468 140733356578128 140167733631392 140167721678752 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [startup+0.100061 s] /proc/loadavg: 1.80 1.80 1.71 3/262 20257 /proc/meminfo: memFree=31625304/32770624 swapFree=5704/274932 [pid=20257] ppid=20254 vsize=10900580 CPUtime=0.09 cores=0,2,4,6,8,10,12,14 /proc/20257/stat : 20257 (java) S 20254 20257 19821 0 -1 1077944320 4723 0 0 0 8 1 0 0 20 0 20 0 7099858 11162193920 5812 33554432000 4194304 4196468 140733356578128 140733356560672 140167729389303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 /proc/20257/statm: 2725145 5812 2625 1 0 2713552 0 [pid=20257/tid=20258] ppid=20254 vsize=10900580 CPUtime=0.08 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20258/stat : 20258 (java) R 20254 20257 19821 0 -1 4202560 2810 0 0 0 7 1 0 0 20 0 20 0 7099858 11162193920 5812 33554432000 4194304 4196468 140733356578128 140167733631584 140167710783037 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10900580 [startup+0.200361 s] /proc/loadavg: 1.80 1.80 1.71 3/262 20257 /proc/meminfo: memFree=31625304/32770624 swapFree=5704/274932 [pid=20257] ppid=20254 vsize=10900580 CPUtime=0.27 cores=0,2,4,6,8,10,12,14 /proc/20257/stat : 20257 (java) S 20254 20257 19821 0 -1 1077944320 7664 0 0 0 25 2 0 0 20 0 20 0 7099858 11162193920 9044 33554432000 4194304 4196468 140733356578128 140733356560672 140167729389303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 /proc/20257/statm: 2725145 9044 2898 1 0 2713552 0 [pid=20257/tid=20258] ppid=20254 vsize=10900580 CPUtime=0.18 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20258/stat : 20258 (java) R 20254 20257 19821 0 -1 4202560 4779 0 0 0 17 1 0 0 20 0 20 0 7099858 11162193920 9044 33554432000 4194304 4196468 140733356578128 140167733603120 140167712731297 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 10900580 [startup+0.300388 s] /proc/loadavg: 1.80 1.80 1.71 3/262 20257 /proc/meminfo: memFree=31625304/32770624 swapFree=5704/274932 [pid=20257] ppid=20254 vsize=10969228 CPUtime=0.48 cores=0,2,4,6,8,10,12,14 /proc/20257/stat : 20257 (java) S 20254 20257 19821 0 -1 1077944320 8485 0 0 0 45 3 0 0 20 0 21 0 7099858 11232489472 13291 33554432000 4194304 4196468 140733356578128 140733356560672 140167729389303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 /proc/20257/statm: 2742307 13291 2983 1 0 2730193 0 [pid=20257/tid=20258] ppid=20254 vsize=10969228 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20258/stat : 20258 (java) S 20254 20257 19821 0 -1 1077944384 5160 0 0 0 24 1 0 0 20 0 21 0 7099858 11232489472 13291 33554432000 4194304 4196468 140733356578128 140167733632176 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 10969228 [startup+0.700212 s] /proc/loadavg: 1.80 1.80 1.71 3/262 20257 /proc/meminfo: memFree=31625304/32770624 swapFree=5704/274932 [pid=20257] ppid=20254 vsize=10971352 CPUtime=1.81 cores=0,2,4,6,8,10,12,14 /proc/20257/stat : 20257 (java) S 20254 20257 19821 0 -1 1077944320 13329 0 0 0 175 6 0 0 20 0 21 0 7099858 11234664448 25124 33554432000 4194304 4196468 140733356578128 140733356560672 140167729389303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 /proc/20257/statm: 2742838 25124 3109 1 0 2730705 0 [pid=20257/tid=20258] ppid=20254 vsize=10971352 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20258/stat : 20258 (java) S 20254 20257 19821 0 -1 1077944384 5160 0 0 0 24 1 0 0 20 0 21 0 7099858 11234664448 25124 33554432000 4194304 4196468 140733356578128 140167733632176 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 Current children cumulated CPU time (s) 1.81 Current children cumulated vsize (KiB) 10971352 [startup+1.50118 s] /proc/loadavg: 1.98 1.83 1.72 7/283 20278 /proc/meminfo: memFree=31497408/32770624 swapFree=5704/275008 [pid=20257] ppid=20254 vsize=10973400 CPUtime=5 cores=0,2,4,6,8,10,12,14 /proc/20257/stat : 20257 (java) S 20254 20257 19821 0 -1 1077944320 21231 0 0 0 479 21 0 0 20 0 21 0 7099858 11236761600 53595 33554432000 4194304 4196468 140733356578128 140733356560672 140167729389303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 /proc/20257/statm: 2743350 53595 3156 1 0 2731217 0 [pid=20257/tid=20258] ppid=20254 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20258/stat : 20258 (java) S 20254 20257 19821 0 -1 1077944384 5160 0 0 0 24 1 0 0 20 0 21 0 7099858 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167733632176 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20260] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20260/stat : 20260 (java) S 20254 20257 19821 0 -1 1077944384 90 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167671393296 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20261] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20261/stat : 20261 (java) S 20254 20257 19821 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167670340752 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20262] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20262/stat : 20262 (java) S 20254 20257 19821 0 -1 1077944384 29 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167669287696 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20263] ppid=20254 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20263/stat : 20263 (java) S 20254 20257 19821 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 21 0 7099859 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167668235152 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20264] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20264/stat : 20264 (java) S 20254 20257 19821 0 -1 1077944384 20 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167332289040 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20265] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20265/stat : 20265 (java) S 20254 20257 19821 0 -1 1077944384 21 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167331236496 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20266] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20266/stat : 20266 (java) S 20254 20257 19821 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167330183440 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20267] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20267/stat : 20267 (java) S 20254 20257 19821 0 -1 1077944384 25 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167329130896 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20268] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20268/stat : 20268 (java) S 20254 20257 19821 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 21 0 7099861 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167272225520 140167729400450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20269] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20269/stat : 20269 (java) S 20254 20257 19821 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 21 0 7099862 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167271171744 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20270] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20270/stat : 20270 (java) S 20254 20257 19821 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 7099862 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167270118640 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20271] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20271/stat : 20271 (java) S 20254 20257 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7099866 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167269067216 140167729407899 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20272] ppid=20254 vsize=10973400 CPUtime=0.83 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20272/stat : 20272 (java) S 20254 20257 19821 0 -1 1077944384 2634 0 0 0 83 0 0 0 20 0 21 0 7099866 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167268014320 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20273] ppid=20254 vsize=10973400 CPUtime=0.82 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20273/stat : 20273 (java) S 20254 20257 19821 0 -1 1077944384 2407 0 0 0 81 1 0 0 20 0 21 0 7099866 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167266961776 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20274] ppid=20254 vsize=10973400 CPUtime=0.8 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20274/stat : 20274 (java) S 20254 20257 19821 0 -1 1077944384 2093 0 0 0 80 0 0 0 20 0 21 0 7099866 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167265908720 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20275] ppid=20254 vsize=10973400 CPUtime=0.88 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20275/stat : 20275 (java) S 20254 20257 19821 0 -1 1077944384 3461 0 0 0 87 1 0 0 20 0 21 0 7099866 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167063005296 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20276] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20276/stat : 20276 (java) S 20254 20257 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7099867 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167061953504 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20277] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20277/stat : 20277 (java) S 20254 20257 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7099867 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167060901040 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20278] ppid=20254 vsize=10973400 CPUtime=1.18 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20278/stat : 20278 (java) R 20254 20257 19821 0 -1 4202560 3695 0 0 0 116 2 0 0 20 0 21 0 7099885 11236761600 53595 33554432000 4194304 4196468 140733356578128 140167057708160 140167713469790 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 Current children cumulated CPU time (s) 5 Current children cumulated vsize (KiB) 10973400 [startup+3.10091 s] /proc/loadavg: 1.98 1.83 1.72 6/283 20278 /proc/meminfo: memFree=31392256/32770624 swapFree=5704/275000 [pid=20257] ppid=20254 vsize=10973400 CPUtime=9.09 cores=0,2,4,6,8,10,12,14 /proc/20257/stat : 20257 (java) S 20254 20257 19821 0 -1 1077944320 32859 0 0 0 886 23 0 0 20 0 21 0 7099858 11236761600 62007 33554432000 4194304 4196468 140733356578128 140733356560672 140167729389303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 /proc/20257/statm: 2743350 62007 3160 1 0 2731217 0 [pid=20257/tid=20258] ppid=20254 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20258/stat : 20258 (java) S 20254 20257 19821 0 -1 1077944384 5160 0 0 0 24 1 0 0 20 0 21 0 7099858 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167733632176 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20260] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20260/stat : 20260 (java) S 20254 20257 19821 0 -1 1077944384 90 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167671393296 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20261] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20261/stat : 20261 (java) S 20254 20257 19821 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167670340752 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20262] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20262/stat : 20262 (java) S 20254 20257 19821 0 -1 1077944384 29 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167669287696 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20263] ppid=20254 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20263/stat : 20263 (java) S 20254 20257 19821 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 21 0 7099859 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167668235152 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20264] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20264/stat : 20264 (java) S 20254 20257 19821 0 -1 1077944384 20 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167332289040 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20265] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20265/stat : 20265 (java) S 20254 20257 19821 0 -1 1077944384 21 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167331236496 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20266] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20266/stat : 20266 (java) S 20254 20257 19821 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167330183440 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20267] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20267/stat : 20267 (java) S 20254 20257 19821 0 -1 1077944384 25 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167329130896 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20268] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20268/stat : 20268 (java) S 20254 20257 19821 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 21 0 7099861 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167272225520 140167729400450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20269] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20269/stat : 20269 (java) S 20254 20257 19821 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 21 0 7099862 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167271171744 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20270] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20270/stat : 20270 (java) S 20254 20257 19821 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 7099862 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167270118640 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20271] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20271/stat : 20271 (java) S 20254 20257 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7099866 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167269067216 140167729407899 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20272] ppid=20254 vsize=10973400 CPUtime=1.63 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20272/stat : 20272 (java) S 20254 20257 19821 0 -1 1077944384 7755 0 0 0 162 1 0 0 20 0 21 0 7099866 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167268014320 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20273] ppid=20254 vsize=10973400 CPUtime=1.57 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20273/stat : 20273 (java) S 20254 20257 19821 0 -1 1077944384 5201 0 0 0 156 1 0 0 20 0 21 0 7099866 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167266961776 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20274] ppid=20254 vsize=10973400 CPUtime=1.59 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20274/stat : 20274 (java) S 20254 20257 19821 0 -1 1077944384 4159 0 0 0 158 1 0 0 20 0 21 0 7099866 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167265908720 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20275] ppid=20254 vsize=10973400 CPUtime=1.03 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20275/stat : 20275 (java) S 20254 20257 19821 0 -1 1077944384 3963 0 0 0 101 2 0 0 20 0 21 0 7099866 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167063005296 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20276] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20276/stat : 20276 (java) S 20254 20257 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7099867 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167061953504 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20277] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20277/stat : 20277 (java) S 20254 20257 19821 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 21 0 7099867 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167060901040 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20278] ppid=20254 vsize=10973400 CPUtime=2.77 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20278/stat : 20278 (java) R 20254 20257 19821 0 -1 4202560 4787 0 0 0 275 2 0 0 20 0 21 0 7099885 11236761600 62007 33554432000 4194304 4196468 140733356578128 140167057706040 140167356832914 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 Current children cumulated CPU time (s) 9.09 Current children cumulated vsize (KiB) 10973400 [startup+6.3009 s] /proc/loadavg: 1.98 1.83 1.72 3/283 20278 /proc/meminfo: memFree=31404764/32770624 swapFree=5704/275008 [pid=20257] ppid=20254 vsize=10973400 CPUtime=12.57 cores=0,2,4,6,8,10,12,14 /proc/20257/stat : 20257 (java) S 20254 20257 19821 0 -1 1077944320 34309 0 0 0 1234 23 0 0 20 0 21 0 7099858 11236761600 58398 33554432000 4194304 4196468 140733356578128 140733356560672 140167729389303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 /proc/20257/statm: 2743350 58398 3166 1 0 2731217 0 [pid=20257/tid=20258] ppid=20254 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20258/stat : 20258 (java) S 20254 20257 19821 0 -1 1077944384 5160 0 0 0 24 1 0 0 20 0 21 0 7099858 11236761600 58398 33554432000 4194304 4196468 140733356578128 140167733632176 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20260] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20260/stat : 20260 (java) S 20254 20257 19821 0 -1 1077944384 90 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 58398 33554432000 4194304 4196468 140733356578128 140167671393296 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20261] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20261/stat : 20261 (java) S 20254 20257 19821 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 58398 33554432000 4194304 4196468 140733356578128 140167670340752 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20262] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20262/stat : 20262 (java) S 20254 20257 19821 0 -1 1077944384 29 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 58398 33554432000 4194304 4196468 140733356578128 140167669287696 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20263] ppid=20254 vsize=10973400 CPUtime=0.02 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20263/stat : 20263 (java) S 20254 20257 19821 0 -1 1077944384 16 0 0 0 1 1 0 0 20 0 21 0 7099859 11236761600 58398 33554432000 4194304 4196468 140733356578128 140167668235152 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20264] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20264/stat : 20264 (java) S 20254 20257 19821 0 -1 1077944384 20 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 58398 33554432000 4194304 4196468 140733356578128 140167332289040 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20265] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20265/stat : 20265 (java) S 20254 20257 19821 0 -1 1077944384 21 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 58398 33554432000 4194304 4196468 140733356578128 140167331236496 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20266] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20266/stat : 20266 (java) S 20254 20257 19821 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 58398 33554432000 4194304 4196468 140733356578128 140167330183440 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20267] ppid=20254 vsize=10973400 CPUtime=0.01 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20267/stat : 20267 (java) S 20254 20257 19821 0 -1 1077944384 25 0 0 0 0 1 0 0 20 0 21 0 7099859 11236761600 58398 33554432000 4194304 4196468 140733356578128 140167329130896 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20268] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20268/stat : 20268 (java) S 20254 20257 19821 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 21 0 7099861 11236761600 58398 33554432000 4194304 4196468 140733356578128 140167272225520 140167729400450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20269] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 ################ # More data... # ################ [pid=20257/tid=20277] ppid=20254 vsize=10973400 CPUtime=0.83 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20277/stat : 20277 (java) S 20254 20257 19821 0 -1 1077944384 1214 0 0 0 40 43 0 0 20 0 21 0 7099867 11236761600 72160 33554432000 4194304 4196468 140733356578128 140167060901040 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20278] ppid=20254 vsize=10973400 CPUtime=2321.45 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20278/stat : 20278 (java) R 20254 20257 19821 0 -1 4202560 22595 0 0 0 232139 6 0 0 20 0 21 0 7099885 11236761600 72160 33554432000 4194304 4196468 140733356578128 140167057710544 140167357119163 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 Current children cumulated CPU time (s) 2331.06 Current children cumulated vsize (KiB) 10973400 [startup+2382.3 s] /proc/loadavg: 2.00 2.02 1.98 3/283 20527 /proc/meminfo: memFree=31161268/32770624 swapFree=5704/277704 [pid=20257] ppid=20254 vsize=10973400 CPUtime=2391.08 cores=0,2,4,6,8,10,12,14 /proc/20257/stat : 20257 (java) S 20254 20257 19821 0 -1 1077944320 89014 0 0 0 238986 122 0 0 20 0 21 0 7099858 11236761600 71111 33554432000 4194304 4196468 140733356578128 140733356560672 140167729389303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 /proc/20257/statm: 2743350 71111 3179 1 0 2731217 0 [pid=20257/tid=20258] ppid=20254 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20258/stat : 20258 (java) S 20254 20257 19821 0 -1 1077944384 5160 0 0 0 24 1 0 0 20 0 21 0 7099858 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167733632176 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20260] ppid=20254 vsize=10973400 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20260/stat : 20260 (java) S 20254 20257 19821 0 -1 1077944384 2663 0 0 0 15 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167671393296 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20261] ppid=20254 vsize=10973400 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20261/stat : 20261 (java) S 20254 20257 19821 0 -1 1077944384 2257 0 0 0 13 9 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167670340752 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20262] ppid=20254 vsize=10973400 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20262/stat : 20262 (java) S 20254 20257 19821 0 -1 1077944384 1970 0 0 0 13 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167669287696 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20263] ppid=20254 vsize=10973400 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20263/stat : 20263 (java) S 20254 20257 19821 0 -1 1077944384 1568 0 0 0 15 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167668235152 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20264] ppid=20254 vsize=10973400 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20264/stat : 20264 (java) S 20254 20257 19821 0 -1 1077944384 2165 0 0 0 14 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167332289040 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20265] ppid=20254 vsize=10973400 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20265/stat : 20265 (java) S 20254 20257 19821 0 -1 1077944384 2122 0 0 0 15 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167331236496 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20266] ppid=20254 vsize=10973400 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20266/stat : 20266 (java) S 20254 20257 19821 0 -1 1077944384 2192 0 0 0 14 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167330183440 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20267] ppid=20254 vsize=10973400 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20267/stat : 20267 (java) S 20254 20257 19821 0 -1 1077944384 3079 0 0 0 15 7 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167329130896 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20268] ppid=20254 vsize=10973400 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20268/stat : 20268 (java) S 20254 20257 19821 0 -1 1077944384 5104 0 0 0 6 4 0 0 20 0 21 0 7099861 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167272225520 140167729400450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20269] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20269/stat : 20269 (java) S 20254 20257 19821 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 21 0 7099862 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167271171808 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20270] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20270/stat : 20270 (java) S 20254 20257 19821 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 21 0 7099862 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167270118656 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20271] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20271/stat : 20271 (java) S 20254 20257 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167269067216 140167729407899 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20272] ppid=20254 vsize=10973400 CPUtime=1.78 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20272/stat : 20272 (java) S 20254 20257 19821 0 -1 1077944384 9176 0 0 0 177 1 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167268014320 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20273] ppid=20254 vsize=10973400 CPUtime=1.78 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20273/stat : 20273 (java) S 20254 20257 19821 0 -1 1077944384 7423 0 0 0 176 2 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167266961776 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20274] ppid=20254 vsize=10973400 CPUtime=1.76 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20274/stat : 20274 (java) S 20254 20257 19821 0 -1 1077944384 5769 0 0 0 175 1 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167265908720 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20275] ppid=20254 vsize=10973400 CPUtime=1.19 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20275/stat : 20275 (java) S 20254 20257 19821 0 -1 1077944384 12967 0 0 0 117 2 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167063005296 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20276] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20276/stat : 20276 (java) S 20254 20257 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7099867 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167061953504 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20277] ppid=20254 vsize=10973400 CPUtime=0.85 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20277/stat : 20277 (java) S 20254 20257 19821 0 -1 1077944384 1231 0 0 0 41 44 0 0 20 0 21 0 7099867 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167060901040 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20278] ppid=20254 vsize=10973400 CPUtime=2381.42 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20278/stat : 20278 (java) R 20254 20257 19821 0 -1 4202560 22728 0 0 0 238136 6 0 0 20 0 21 0 7099885 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167057710544 140167357295147 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 Current children cumulated CPU time (s) 2391.08 Current children cumulated vsize (KiB) 10973400 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2391.3 s] /proc/loadavg: 2.00 2.02 1.98 3/283 20527 /proc/meminfo: memFree=31160584/32770624 swapFree=5704/277728 [pid=20257] ppid=20254 vsize=10973400 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14 /proc/20257/stat : 20257 (java) S 20254 20257 19821 0 -1 1077944320 89014 0 0 0 239886 122 0 0 20 0 21 0 7099858 11236761600 71111 33554432000 4194304 4196468 140733356578128 140733356560672 140167729389303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 /proc/20257/statm: 2743350 71111 3179 1 0 2731217 0 [pid=20257/tid=20258] ppid=20254 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20258/stat : 20258 (java) S 20254 20257 19821 0 -1 1077944384 5160 0 0 0 24 1 0 0 20 0 21 0 7099858 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167733632176 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20260] ppid=20254 vsize=10973400 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20260/stat : 20260 (java) S 20254 20257 19821 0 -1 1077944384 2663 0 0 0 15 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167671393296 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20261] ppid=20254 vsize=10973400 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20261/stat : 20261 (java) S 20254 20257 19821 0 -1 1077944384 2257 0 0 0 13 9 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167670340752 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20262] ppid=20254 vsize=10973400 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20262/stat : 20262 (java) S 20254 20257 19821 0 -1 1077944384 1970 0 0 0 13 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167669287696 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20263] ppid=20254 vsize=10973400 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20263/stat : 20263 (java) S 20254 20257 19821 0 -1 1077944384 1568 0 0 0 15 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167668235152 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20264] ppid=20254 vsize=10973400 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20264/stat : 20264 (java) S 20254 20257 19821 0 -1 1077944384 2165 0 0 0 14 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167332289040 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20265] ppid=20254 vsize=10973400 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20265/stat : 20265 (java) S 20254 20257 19821 0 -1 1077944384 2122 0 0 0 15 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167331236496 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20266] ppid=20254 vsize=10973400 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20266/stat : 20266 (java) S 20254 20257 19821 0 -1 1077944384 2192 0 0 0 14 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167330183440 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20267] ppid=20254 vsize=10973400 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20267/stat : 20267 (java) S 20254 20257 19821 0 -1 1077944384 3079 0 0 0 15 7 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167329130896 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20268] ppid=20254 vsize=10973400 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20268/stat : 20268 (java) S 20254 20257 19821 0 -1 1077944384 5104 0 0 0 6 4 0 0 20 0 21 0 7099861 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167272225520 140167729400450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20269] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20269/stat : 20269 (java) S 20254 20257 19821 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 21 0 7099862 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167271171808 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20270] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20270/stat : 20270 (java) S 20254 20257 19821 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 21 0 7099862 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167270118656 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20271] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20271/stat : 20271 (java) S 20254 20257 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167269067216 140167729407899 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20272] ppid=20254 vsize=10973400 CPUtime=1.78 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20272/stat : 20272 (java) S 20254 20257 19821 0 -1 1077944384 9176 0 0 0 177 1 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167268014320 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20273] ppid=20254 vsize=10973400 CPUtime=1.78 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20273/stat : 20273 (java) S 20254 20257 19821 0 -1 1077944384 7423 0 0 0 176 2 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167266961776 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20274] ppid=20254 vsize=10973400 CPUtime=1.76 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20274/stat : 20274 (java) S 20254 20257 19821 0 -1 1077944384 5769 0 0 0 175 1 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167265908720 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20275] ppid=20254 vsize=10973400 CPUtime=1.19 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20275/stat : 20275 (java) S 20254 20257 19821 0 -1 1077944384 12967 0 0 0 117 2 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167063005296 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20276] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20276/stat : 20276 (java) S 20254 20257 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7099867 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167061953504 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20277] ppid=20254 vsize=10973400 CPUtime=0.86 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20277/stat : 20277 (java) S 20254 20257 19821 0 -1 1077944384 1231 0 0 0 41 45 0 0 20 0 21 0 7099867 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167060901040 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20278] ppid=20254 vsize=10973400 CPUtime=2390.42 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20278/stat : 20278 (java) R 20254 20257 19821 0 -1 4202560 22728 0 0 0 239036 6 0 0 20 0 21 0 7099885 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167057710544 140167357295309 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 10973400 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 20257 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2391.3 s] /proc/loadavg: 2.00 2.02 1.98 3/283 20527 /proc/meminfo: memFree=31160584/32770624 swapFree=5704/277728 [pid=20257] ppid=20254 vsize=10973400 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14 /proc/20257/stat : 20257 (java) S 20254 20257 19821 0 -1 1077944320 89014 0 0 0 239886 122 0 0 20 0 21 0 7099858 11236761600 71111 33554432000 4194304 4196468 140733356578128 140733356560672 140167729389303 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 /proc/20257/statm: 2743350 71111 3179 1 0 2731217 0 [pid=20257/tid=20258] ppid=20254 vsize=10973400 CPUtime=0.25 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20258/stat : 20258 (java) S 20254 20257 19821 0 -1 1077944384 5160 0 0 0 24 1 0 0 20 0 21 0 7099858 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167733632176 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20260] ppid=20254 vsize=10973400 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20260/stat : 20260 (java) S 20254 20257 19821 0 -1 1077944384 2663 0 0 0 15 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167671393296 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20261] ppid=20254 vsize=10973400 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20261/stat : 20261 (java) S 20254 20257 19821 0 -1 1077944384 2257 0 0 0 13 9 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167670340752 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20262] ppid=20254 vsize=10973400 CPUtime=0.21 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20262/stat : 20262 (java) S 20254 20257 19821 0 -1 1077944384 1970 0 0 0 13 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167669287696 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20263] ppid=20254 vsize=10973400 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20263/stat : 20263 (java) S 20254 20257 19821 0 -1 1077944384 1568 0 0 0 15 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167668235152 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20264] ppid=20254 vsize=10973400 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20264/stat : 20264 (java) S 20254 20257 19821 0 -1 1077944384 2165 0 0 0 14 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167332289040 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20265] ppid=20254 vsize=10973400 CPUtime=0.23 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20265/stat : 20265 (java) S 20254 20257 19821 0 -1 1077944384 2122 0 0 0 15 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167331236496 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20266] ppid=20254 vsize=10973400 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20266/stat : 20266 (java) S 20254 20257 19821 0 -1 1077944384 2192 0 0 0 14 8 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167330183440 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20267] ppid=20254 vsize=10973400 CPUtime=0.22 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20267/stat : 20267 (java) S 20254 20257 19821 0 -1 1077944384 3079 0 0 0 15 7 0 0 20 0 21 0 7099859 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167329130896 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20268] ppid=20254 vsize=10973400 CPUtime=0.1 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20268/stat : 20268 (java) S 20254 20257 19821 0 -1 1077944384 5104 0 0 0 6 4 0 0 20 0 21 0 7099861 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167272225520 140167729400450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20269] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20269/stat : 20269 (java) S 20254 20257 19821 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 21 0 7099862 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167271171808 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20270] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20270/stat : 20270 (java) S 20254 20257 19821 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 21 0 7099862 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167270118656 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20271] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20271/stat : 20271 (java) S 20254 20257 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167269067216 140167729407899 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20272] ppid=20254 vsize=10973400 CPUtime=1.78 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20272/stat : 20272 (java) S 20254 20257 19821 0 -1 1077944384 9176 0 0 0 177 1 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167268014320 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20273] ppid=20254 vsize=10973400 CPUtime=1.78 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20273/stat : 20273 (java) S 20254 20257 19821 0 -1 1077944384 7423 0 0 0 176 2 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167266961776 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20274] ppid=20254 vsize=10973400 CPUtime=1.76 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20274/stat : 20274 (java) S 20254 20257 19821 0 -1 1077944384 5769 0 0 0 175 1 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167265908720 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20275] ppid=20254 vsize=10973400 CPUtime=1.19 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20275/stat : 20275 (java) S 20254 20257 19821 0 -1 1077944384 12967 0 0 0 117 2 0 0 20 0 21 0 7099866 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167063005296 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20276] ppid=20254 vsize=10973400 CPUtime=0 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20276/stat : 20276 (java) S 20254 20257 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7099867 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167061953504 140167729399509 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20277] ppid=20254 vsize=10973400 CPUtime=0.86 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20277/stat : 20277 (java) S 20254 20257 19821 0 -1 1077944384 1231 0 0 0 41 45 0 0 20 0 21 0 7099867 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167060901040 140167729400450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 [pid=20257/tid=20278] ppid=20254 vsize=10973400 CPUtime=2390.42 cores=0,2,4,6,8,10,12,14 /proc/20257/task/20278/stat : 20278 (java) R 20254 20257 19821 0 -1 4202560 22728 0 0 0 239036 6 0 0 20 0 21 0 7099885 11236761600 71111 33554432000 4194304 4196468 140733356578128 140167057710544 140167357295309 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17489920 140733356582083 140733356582212 140733356582212 140733356584911 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 10973400 Child status: 143 Real time (s): 2391.31 CPU time (s): 2400.1 CPU user time (s): 2398.87 CPU system time (s): 1.23006 CPU usage (%): 100.368 Max. virtual memory (cumulated for all children) (KiB): 10975744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2398.87 system time used= 1.23006 maximum resident set size= 479728 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89298 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2160 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 57380 involuntary context switches= 121453 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 16.4253 second user time and 15.1496 second system time The end
Begin job on node137 at 2017-07-22 12:12:12 IDJOB=4247424 IDBENCH=127023 IDSOLVER=2624 FILE ID=node137/4247424-1500718332 RUNJOBID= node137-1500715944-19852 PBS_JOBID= 20623358 Free space on /tmp= 62008 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-4247424-1500718332/watcher-4247424-1500718332 -o /tmp/evaluation-result-4247424-1500718332/solver-4247424-1500718332 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500715944-19852 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4247424-1500718332.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= e65d1522f1056f49054155eb060914b2 RANDOM SEED=2000070910 node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /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 : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5332.93 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5332.93 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5332.93 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 : 8 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 : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 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 : 5332.93 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 : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 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: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 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 : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 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 : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 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 : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 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: 31625316 kB MemAvailable: 31851012 kB Buffers: 128140 kB Cached: 379204 kB SwapCached: 0 kB Active: 422324 kB Inactive: 283768 kB Active(anon): 202236 kB Inactive(anon): 8836 kB Active(file): 220088 kB Inactive(file): 274932 kB Unevictable: 5704 kB Mlocked: 5704 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7788 kB Writeback: 0 kB AnonPages: 206332 kB Mapped: 43024 kB Shmem: 8852 kB Slab: 126412 kB SReclaimable: 93024 kB SUnreclaim: 33388 kB KernelStack: 4544 kB PageTables: 5716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1064096 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 131072 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62000 MiB End job on node137 at 2017-07-22 12:52:03