Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| AbsCon-basic 2017-06-11 | SAT (TO) | 2568 | 2520.03 | 2511.71 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml |
| MD5SUM | 5bf1605d7392d1261526feabe1cfbecc |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1188 |
| Best CPU time to get the best result obtained on this benchmark | 2519.8401 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 9311 |
| Number of constraints | 4750 |
| Number of domains | 191 |
| Minimum domain size | 2 |
| Maximum domain size | 191 |
| Distribution of domain sizes | [{"size":2,"count":4657},{"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":143,"count":1}, {"size":145,"count":1}, {"size":147,"count":1}, {"size":149,"count":1}, {"size":151,"count":1}, {"size":153,"count":1}, {"size":155,"count":1}, {"size":157,"count":1}, {"size":159,"count":1}, {"size":161,"count":1}, {"size":163,"count":1}, {"size":165,"count":1}, {"size":167,"count":1}, {"size":169,"count":1}, {"size":171,"count":1}, {"size":173,"count":1}, {"size":175,"count":1}, {"size":177,"count":1}, {"size":179,"count":1}, {"size":181,"count":1}, {"size":183,"count":1}, {"size":185,"count":1}, {"size":187,"count":1}, {"size":189,"count":1}, {"size":191,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 95 |
| Distribution of variable degrees | [{"degree":0,"count":4465},{"degree":2,"count":4750},{"degree":95,"count":96}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 96 |
| Distribution of constraint arities | [{"arity":2,"count":96},{"arity":3,"count":4561},{"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":72,"count":1}, {"arity":73,"count":1}, {"arity":74,"count":1}, {"arity":75,"count":1}, {"arity":76,"count":1}, {"arity":77,"count":1}, {"arity":78,"count":1}, {"arity":79,"count":1}, {"arity":80,"count":1}, {"arity":81,"count":1}, {"arity":82,"count":1}, {"arity":83,"count":1}, {"arity":84,"count":1}, {"arity":85,"count":1}, {"arity":86,"count":1}, {"arity":87,"count":1}, {"arity":88,"count":1}, {"arity":89,"count":1}, {"arity":90,"count":1}, {"arity":91,"count":1}, {"arity":92,"count":1}, {"arity":93,"count":1}, {"arity":94,"count":1}, {"arity":95,"count":1}, {"arity":96,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 4655 |
| Distribution of constraint types | [{"type":"intension","count":4655},{"type":"sum","count":95}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.25/0.35 0.25/0.35 AbsCon 2 0.25/0.35 1.67/0.81 Solving XCSP3-instance-4263982-1502291062 as a COP in -infty..+infty 1.67/0.81 Loading variables... 2.03/0.96 Loading constraints... 4.93/1.84 Solver SolverBacktrack being built... 4.93/1.84 5.38/2.04 Preprocessing : gac=false, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false 5.38/2.04 5.97/2.30 o 290320 7.18/2.64 o 272460 7.63/2.87 o 272092 8.21/3.08 o 255720 8.56/3.29 o 254992 8.95/3.51 o 254296 9.52/3.75 o 238988 9.90/3.95 o 237964 10.10/4.15 o 224048 10.32/4.35 o 222992 10.52/4.55 o 222672 10.72/4.75 o 221424 10.98/4.95 o 208748 11.19/5.15 o 205420 11.40/5.35 o 203692 11.62/5.54 o 203476 11.84/5.74 o 203380 12.05/5.94 o 203108 12.25/6.13 o 201972 12.45/6.33 o 201532 12.66/6.52 o 189000 12.88/6.73 o 187048 13.19/7.01 o 185896 13.41/7.22 o 183160 13.62/7.41 o 172204 13.82/7.61 o 169060 14.03/7.80 o 167260 14.22/8.00 o 165100 14.32/8.19 o 164140 14.52/8.39 o 160596 14.83/8.66 o 159780 15.03/8.85 o 159492 15.33/9.12 o 158556 15.53/9.32 o 156044 15.73/9.52 o 145320 15.93/9.72 o 142544 16.14/9.99 o 140944 16.44/10.26 o 138856 16.64/10.46 o 138600 16.94/10.74 o 137656 17.14/10.93 o 137200 17.45/11.20 o 136248 17.65/11.40 o 135544 17.85/11.67 o 134704 18.36/12.11 o 134656 18.55/12.30 o 134640 18.76/12.58 o 134408 19.06/12.86 o 134056 19.97/13.78 o 123916 20.27/14.09 o 119672 20.47/14.29 o 116416 21.47/15.25 o 114656 22.07/15.85 o 114136 22.67/16.41 o 111936 22.89/16.61 o 111552 23.12/16.81 o 111304 23.32/17.01 o 110936 23.52/17.21 o 110216 23.72/17.49 o 109808 24.03/17.75 o 30160 34.24/27.98 o 4120 79.67/73.17 o 3944 92.99/86.47 o 3660 93.19/86.68 o 3548 93.50/86.96 o 3512 96.81/90.23 o 3420 102.72/96.18 o 3372 173.86/167.23 o 2568 2520.00/2511.70 2520.00/2511.70 v <instantiation id='sol68' type='solution' cost='2568'> <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 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 1 -1 -1 1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 -1 1 1 -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 -1 1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 -1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -12 -3 6 -5 -4 -7 2 5 12 1 -6 -9 -2 11 0 1 8 5 -8 -3 2 -5 2 1 -2 -3 4 -13 4 1 -10 -1 12 -3 4 1 2 1 6 5 -2 1 -2 -7 -8 -5 0 9 4 -5 10 3 -6 -1 2 -1 6 3 -8 -1 -8 -3 2 -1 -4 5 8 3 -6 -1 -2 5 -2 -5 4 11 0 -1 -4 -7 -2 1 -2 -5 4 3 2 -1 -4 -3 2 3 0 -1 1 144 9 36 25 16 49 4 25 144 1 36 81 4 121 0 1 64 25 64 9 4 25 4 1 4 9 16 169 16 1 100 1 144 9 16 1 4 1 36 25 4 1 4 49 64 25 0 81 16 25 100 9 36 1 4 1 36 9 64 1 64 9 4 1 16 25 64 9 36 1 4 25 4 25 16 121 0 1 16 49 4 1 4 25 16 9 4 1 16 9 4 9 0 1 </values> </instantiation> 2520.00/2511.70 s SATISFIABLE
OK 2568
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-4263982-1502291062/watcher-4263982-1502291062 -o /tmp/evaluation-result-4263982-1502291062/solver-4263982-1502291062 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502257550-8974 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4263982-1502291062.xml pid=13919 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 2.08 2.05 2.05 2/199 13922 /proc/meminfo: memFree=30709560/32770624 swapFree=0/450152 [pid=13922] ppid=13919 vsize=23672 CPUtime=0 cores=1,3,5,7 /proc/13922/stat : 13922 (runsolver) D 13919 13922 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 31327022 24240128 107 18446744073709551615 4194304 4338465 140737116489072 140737116486712 140597636571863 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 30060544 140737116496033 140737116496458 140737116496458 140737116499914 0 /proc/13922/statm: 5918 107 54 36 0 2156 0 [startup+0.10014 s] /proc/loadavg: 2.08 2.05 2.05 2/199 13922 /proc/meminfo: memFree=30709560/32770624 swapFree=0/450152 [pid=13922] ppid=13919 vsize=9936560 CPUtime=0 cores=1,3,5,7 /proc/13922/stat : 13922 (java) S 13919 13922 4057 0 -1 1077944320 3357 0 0 0 0 0 0 0 20 0 6 0 31327022 10175037440 4565 18446744073709551615 4194304 4196468 140729486567232 140729486549776 140420691881719 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 /proc/13922/statm: 2484140 4565 1918 1 0 2473637 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9936560 [startup+0.200898 s] /proc/loadavg: 2.08 2.05 2.05 2/199 13922 /proc/meminfo: memFree=30709560/32770624 swapFree=0/450152 [pid=13922] ppid=13919 vsize=10551180 CPUtime=0.08 cores=1,3,5,7 /proc/13922/stat : 13922 (java) S 13919 13922 4057 0 -1 1077944320 4870 0 0 0 7 1 0 0 20 0 15 0 31327022 10804408320 6916 18446744073709551615 4194304 4196468 140729486567232 140729486549776 140420691881719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 /proc/13922/statm: 2637795 6916 2674 1 0 2627261 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 10551180 [startup+0.300348 s] /proc/loadavg: 2.08 2.05 2.05 2/199 13922 /proc/meminfo: memFree=30709560/32770624 swapFree=0/450152 [pid=13922] ppid=13919 vsize=10553264 CPUtime=0.25 cores=1,3,5,7 /proc/13922/stat : 13922 (java) S 13919 13922 4057 0 -1 1077944320 8489 0 0 0 23 2 0 0 20 0 15 0 31327022 10806542336 9886 18446744073709551615 4194304 4196468 140729486567232 140729486549776 140420691881719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 /proc/13922/statm: 2638316 9886 2922 1 0 2627261 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 10553264 [startup+0.7009 s] /proc/loadavg: 2.08 2.05 2.05 2/199 13922 /proc/meminfo: memFree=30709560/32770624 swapFree=0/450152 [pid=13922] ppid=13919 vsize=10621952 CPUtime=1.34 cores=1,3,5,7 /proc/13922/stat : 13922 (java) S 13919 13922 4057 0 -1 1077944320 13563 0 0 0 130 4 0 0 20 0 16 0 31327022 10876878848 24790 18446744073709551615 4194304 4196468 140729486567232 140729486549776 140420691881719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 /proc/13922/statm: 2655488 24790 3078 1 0 2644414 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 10621952 [startup+1.5007 s] /proc/loadavg: 2.08 2.05 2.05 3/215 13938 /proc/meminfo: memFree=30561380/32770624 swapFree=0/450444 [pid=13922] ppid=13919 vsize=10621952 CPUtime=3.96 cores=1,3,5,7 /proc/13922/stat : 13922 (java) S 13919 13922 4057 0 -1 1077944320 17575 0 0 0 388 8 0 0 20 0 16 0 31327022 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140729486549776 140420691881719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 /proc/13922/statm: 2655488 51700 3122 1 0 2644414 0 [pid=13922/tid=13924] ppid=13919 vsize=10621952 CPUtime=0.2 cores=1,3,5,7 /proc/13922/task/13924/stat : 13924 (java) S 13919 13922 4057 0 -1 1077944384 5749 0 0 0 19 1 0 0 20 0 16 0 31327031 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420696124592 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13925] ppid=13919 vsize=10621952 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13925/stat : 13925 (java) S 13919 13922 4057 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 31327031 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420622302096 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13926] ppid=13919 vsize=10621952 CPUtime=0.01 cores=1,3,5,7 /proc/13922/task/13926/stat : 13926 (java) S 13919 13922 4057 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 16 0 31327031 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420621249296 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13927] ppid=13919 vsize=10621952 CPUtime=0.01 cores=1,3,5,7 /proc/13922/task/13927/stat : 13927 (java) S 13919 13922 4057 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 16 0 31327031 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420620197008 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13928] ppid=13919 vsize=10621952 CPUtime=0.01 cores=1,3,5,7 /proc/13922/task/13928/stat : 13928 (java) S 13919 13922 4057 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 16 0 31327031 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420619144208 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13929] ppid=13919 vsize=10621952 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13929/stat : 13929 (java) S 13919 13922 4057 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 31327033 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420188166256 140420691892866 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13930] ppid=13919 vsize=10621952 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13930/stat : 13930 (java) S 13919 13922 4057 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 31327033 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420187112224 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13931] ppid=13919 vsize=10621952 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13931/stat : 13931 (java) S 13919 13922 4057 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 31327033 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420186059888 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13932] ppid=13919 vsize=10621952 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13932/stat : 13932 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420185008208 140420691900315 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13933] ppid=13919 vsize=10621952 CPUtime=0.99 cores=1,3,5,7 /proc/13922/task/13933/stat : 13933 (java) R 13919 13922 4057 0 -1 4202560 2696 0 0 0 99 0 0 0 20 0 16 0 31327036 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420183941664 140420671720336 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13934] ppid=13919 vsize=10621952 CPUtime=0.95 cores=1,3,5,7 /proc/13922/task/13934/stat : 13934 (java) R 13919 13922 4057 0 -1 4202560 2137 0 0 0 95 0 0 0 20 0 16 0 31327036 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420182888896 140420676544858 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13935] ppid=13919 vsize=10621952 CPUtime=0.59 cores=1,3,5,7 /proc/13922/task/13935/stat : 13935 (java) S 13919 13922 4057 0 -1 1077944384 2500 0 0 0 59 0 0 0 20 0 16 0 31327036 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420181850992 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13936] ppid=13919 vsize=10621952 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13936/stat : 13936 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420180798432 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13937] ppid=13919 vsize=10621952 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13937/stat : 13937 (java) S 13919 13922 4057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 31327040 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420179745200 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13938] ppid=13919 vsize=10621952 CPUtime=1.12 cores=1,3,5,7 /proc/13922/task/13938/stat : 13938 (java) R 13919 13922 4057 0 -1 4202560 2977 0 0 0 109 3 0 0 20 0 16 0 31327057 10876878848 51700 18446744073709551615 4194304 4196468 140729486567232 140420176548248 140420287025703 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 Current children cumulated CPU time (s) 3.96 Current children cumulated vsize (KiB) 10621952 [startup+3.10073 s] /proc/loadavg: 2.08 2.05 2.05 5/215 13938 /proc/meminfo: memFree=30428640/32770624 swapFree=0/450444 [pid=13922] ppid=13919 vsize=10624000 CPUtime=8.36 cores=1,3,5,7 /proc/13922/stat : 13922 (java) S 13919 13922 4057 0 -1 1077944320 22461 0 0 0 816 20 0 0 20 0 16 0 31327022 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140729486549776 140420691881719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 /proc/13922/statm: 2656000 72687 3140 1 0 2644926 0 [pid=13922/tid=13924] ppid=13919 vsize=10624000 CPUtime=0.2 cores=1,3,5,7 /proc/13922/task/13924/stat : 13924 (java) S 13919 13922 4057 0 -1 1077944384 5749 0 0 0 19 1 0 0 20 0 16 0 31327031 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420696124592 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13925] ppid=13919 vsize=10624000 CPUtime=0.04 cores=1,3,5,7 /proc/13922/task/13925/stat : 13925 (java) S 13919 13922 4057 0 -1 1077944384 116 0 0 0 2 2 0 0 20 0 16 0 31327031 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420622302096 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13926] ppid=13919 vsize=10624000 CPUtime=0.05 cores=1,3,5,7 /proc/13922/task/13926/stat : 13926 (java) S 13919 13922 4057 0 -1 1077944384 147 0 0 0 3 2 0 0 20 0 16 0 31327031 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420621249296 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13927] ppid=13919 vsize=10624000 CPUtime=0.05 cores=1,3,5,7 /proc/13922/task/13927/stat : 13927 (java) S 13919 13922 4057 0 -1 1077944384 96 0 0 0 3 2 0 0 20 0 16 0 31327031 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420620197008 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13928] ppid=13919 vsize=10624000 CPUtime=0.05 cores=1,3,5,7 /proc/13922/task/13928/stat : 13928 (java) S 13919 13922 4057 0 -1 1077944384 139 0 0 0 3 2 0 0 20 0 16 0 31327031 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420619144208 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13929] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13929/stat : 13929 (java) S 13919 13922 4057 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420188166256 140420691892866 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13930] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13930/stat : 13930 (java) S 13919 13922 4057 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420187112288 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13931] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13931/stat : 13931 (java) S 13919 13922 4057 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420186059904 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13932] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13932/stat : 13932 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420185008208 140420691900315 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13933] ppid=13919 vsize=10624000 CPUtime=2.21 cores=1,3,5,7 /proc/13922/task/13933/stat : 13933 (java) R 13919 13922 4057 0 -1 4202560 3474 0 0 0 221 0 0 0 20 0 16 0 31327036 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420183942928 140420677896108 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13934] ppid=13919 vsize=10624000 CPUtime=2.19 cores=1,3,5,7 /proc/13922/task/13934/stat : 13934 (java) R 13919 13922 4057 0 -1 4202560 3289 0 0 0 218 1 0 0 20 0 16 0 31327036 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420182903280 140420684122246 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13935] ppid=13919 vsize=10624000 CPUtime=0.81 cores=1,3,5,7 /proc/13922/task/13935/stat : 13935 (java) S 13919 13922 4057 0 -1 1077944384 2945 0 0 0 80 1 0 0 20 0 16 0 31327036 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420181850992 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13936] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13936/stat : 13936 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420180798432 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13937] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13937/stat : 13937 (java) S 13919 13922 4057 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 31327040 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420179745200 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13938] ppid=13919 vsize=10624000 CPUtime=2.66 cores=1,3,5,7 /proc/13922/task/13938/stat : 13938 (java) R 13919 13922 4057 0 -1 4202560 5063 0 0 0 262 4 0 0 20 0 16 0 31327057 10878976000 72687 18446744073709551615 4194304 4196468 140729486567232 140420176553072 140420290635359 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 Current children cumulated CPU time (s) 8.36 Current children cumulated vsize (KiB) 10624000 [startup+6.30071 s] /proc/loadavg: 2.16 2.07 2.06 6/215 13938 /proc/meminfo: memFree=30419444/32770624 swapFree=0/450460 [pid=13922] ppid=13919 vsize=10624000 CPUtime=12.45 cores=1,3,5,7 /proc/13922/stat : 13922 (java) S 13919 13922 4057 0 -1 1077944320 31658 0 0 0 1223 22 0 0 20 0 16 0 31327022 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140729486549776 140420691881719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 /proc/13922/statm: 2656000 72294 3143 1 0 2644926 0 [pid=13922/tid=13924] ppid=13919 vsize=10624000 CPUtime=0.2 cores=1,3,5,7 /proc/13922/task/13924/stat : 13924 (java) S 13919 13922 4057 0 -1 1077944384 5749 0 0 0 19 1 0 0 20 0 16 0 31327031 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420696124592 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13925] ppid=13919 vsize=10624000 CPUtime=0.04 cores=1,3,5,7 /proc/13922/task/13925/stat : 13925 (java) S 13919 13922 4057 0 -1 1077944384 116 0 0 0 2 2 0 0 20 0 16 0 31327031 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420622302096 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13926] ppid=13919 vsize=10624000 CPUtime=0.05 cores=1,3,5,7 /proc/13922/task/13926/stat : 13926 (java) S 13919 13922 4057 0 -1 1077944384 147 0 0 0 3 2 0 0 20 0 16 0 31327031 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420621249296 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13927] ppid=13919 vsize=10624000 CPUtime=0.05 cores=1,3,5,7 /proc/13922/task/13927/stat : 13927 (java) S 13919 13922 4057 0 -1 1077944384 96 0 0 0 3 2 0 0 20 0 16 0 31327031 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420620197008 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13928] ppid=13919 vsize=10624000 CPUtime=0.05 cores=1,3,5,7 /proc/13922/task/13928/stat : 13928 (java) S 13919 13922 4057 0 -1 1077944384 139 0 0 0 3 2 0 0 20 0 16 0 31327031 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420619144208 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13929] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13929/stat : 13929 (java) S 13919 13922 4057 0 -1 1077944384 256 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420188166256 140420691892866 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13930] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13930/stat : 13930 (java) S 13919 13922 4057 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420187112288 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13931] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13931/stat : 13931 (java) S 13919 13922 4057 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420186059904 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13932] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13932/stat : 13932 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420185008208 140420691900315 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13933] ppid=13919 vsize=10624000 CPUtime=2.56 cores=1,3,5,7 /proc/13922/task/13933/stat : 13933 (java) S 13919 13922 4057 0 -1 1077944384 6131 0 0 0 255 1 0 0 20 0 16 0 31327036 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420183956080 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13934] ppid=13919 vsize=10624000 CPUtime=2.68 cores=1,3,5,7 /proc/13922/task/13934/stat : 13934 (java) S 13919 13922 4057 0 -1 1077944384 6997 0 0 0 267 1 0 0 20 0 16 0 31327036 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420182903280 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13935] ppid=13919 vsize=10624000 CPUtime=0.85 cores=1,3,5,7 /proc/13922/task/13935/stat : 13935 (java) S 13919 13922 4057 0 -1 1077944384 4486 0 0 0 84 1 0 0 20 0 16 0 31327036 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420181850992 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13936] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13936/stat : 13936 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420180798432 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13937] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13937/stat : 13937 (java) S 13919 13922 4057 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 16 0 31327040 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420179745200 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13938] ppid=13919 vsize=10624000 CPUtime=5.87 cores=1,3,5,7 /proc/13922/task/13938/stat : 13938 (java) R 13919 13922 4057 0 -1 4202560 6045 0 0 0 582 5 0 0 20 0 16 0 31327057 10878976000 72294 18446744073709551615 4194304 4196468 140729486567232 140420176552888 140420288735828 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 Current children cumulated CPU time (s) 12.45 Current children cumulated vsize (KiB) 10624000 [startup+12.7007 s] /proc/loadavg: 2.14 2.07 2.06 3/215 13938 /proc/meminfo: memFree=30417952/32770624 swapFree=0/450472 [pid=13922] ppid=13919 vsize=10624000 CPUtime=18.96 cores=1,3,5,7 /proc/13922/stat : 13922 (java) S 13919 13922 4057 0 -1 1077944320 34627 0 0 0 1874 22 0 0 20 0 16 0 31327022 10878976000 72335 18446744073709551615 4194304 4196468 140729486567232 140729486549776 140420691881719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 /proc/13922/statm: 2656000 72335 3148 1 0 2644926 0 [pid=13922/tid=13924] ppid=13919 vsize=10624000 CPUtime=0.2 cores=1,3,5,7 /proc/13922/task/13924/stat : 13924 (java) S 13919 13922 4057 0 -1 1077944384 5749 0 0 0 19 1 0 0 20 0 16 0 31327031 10878976000 72335 18446744073709551615 4194304 4196468 140729486567232 140420696124592 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13925] ppid=13919 vsize=10624000 CPUtime=0.04 cores=1,3,5,7 /proc/13922/task/13925/stat : 13925 (java) S 13919 13922 4057 0 -1 1077944384 116 0 0 0 2 2 0 0 20 0 16 0 31327031 10878976000 72335 18446744073709551615 4194304 4196468 140729486567232 140420622302096 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13926] ppid=13919 vsize=10624000 CPUtime=0.05 cores=1,3,5,7 /proc/13922/task/13926/stat : 13926 (java) S 13919 13922 4057 0 -1 1077944384 147 0 0 0 3 2 0 0 20 0 16 0 31327031 10878976000 72335 18446744073709551615 4194304 4196468 140729486567232 140420621249296 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13927] ppid=13919 vsize=10624000 CPUtime=0.05 cores=1,3,5,7 /proc/13922/task/13927/stat : 13927 (java) S 13919 13922 4057 0 -1 1077944384 96 0 0 0 3 2 0 0 20 0 16 0 31327031 10878976000 72335 18446744073709551615 4194304 4196468 140729486567232 140420620197008 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13928] ppid=13919 vsize=10624000 CPUtime=0.05 cores=1,3,5,7 /proc/13922/task/13928/stat : 13928 (java) S 13919 13922 4057 0 -1 1077944384 139 0 0 0 3 2 0 0 20 0 16 0 31327031 10878976000 72335 18446744073709551615 4194304 4196468 140729486567232 140420619144208 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13929] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13929/stat : 13929 (java) S 13919 13922 4057 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 72335 18446744073709551615 4194304 4196468 140729486567232 140420188166256 140420691892866 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 ################ # More data... # ################ /proc/meminfo: memFree=30703580/32770624 swapFree=0/451524 [pid=13922] ppid=13919 vsize=10624000 CPUtime=2450.55 cores=1,3,5,7 /proc/13922/stat : 13922 (java) S 13919 13922 4057 0 -1 1077944320 56530 0 0 0 244967 88 0 0 20 0 16 0 31327022 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140729486549776 140420691881719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 /proc/13922/statm: 2656000 121614 3149 1 0 2644926 0 [pid=13922/tid=13924] ppid=13919 vsize=10624000 CPUtime=0.2 cores=1,3,5,7 /proc/13922/task/13924/stat : 13924 (java) S 13919 13922 4057 0 -1 1077944384 5749 0 0 0 19 1 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420696124592 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13925] ppid=13919 vsize=10624000 CPUtime=0.08 cores=1,3,5,7 /proc/13922/task/13925/stat : 13925 (java) S 13919 13922 4057 0 -1 1077944384 597 0 0 0 4 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420622302096 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13926] ppid=13919 vsize=10624000 CPUtime=0.09 cores=1,3,5,7 /proc/13922/task/13926/stat : 13926 (java) S 13919 13922 4057 0 -1 1077944384 1328 0 0 0 5 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420621249296 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13927] ppid=13919 vsize=10624000 CPUtime=0.09 cores=1,3,5,7 /proc/13922/task/13927/stat : 13927 (java) S 13919 13922 4057 0 -1 1077944384 181 0 0 0 5 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420620197008 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13928] ppid=13919 vsize=10624000 CPUtime=0.09 cores=1,3,5,7 /proc/13922/task/13928/stat : 13928 (java) S 13919 13922 4057 0 -1 1077944384 368 0 0 0 5 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420619144208 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13929] ppid=13919 vsize=10624000 CPUtime=0.05 cores=1,3,5,7 /proc/13922/task/13929/stat : 13929 (java) S 13919 13922 4057 0 -1 1077944384 914 0 0 0 3 2 0 0 20 0 16 0 31327033 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420188166256 140420691892866 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13930] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13930/stat : 13930 (java) S 13919 13922 4057 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420187112288 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13931] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13931/stat : 13931 (java) S 13919 13922 4057 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420186059904 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13932] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13932/stat : 13932 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420185008208 140420691900315 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13933] ppid=13919 vsize=10624000 CPUtime=2.71 cores=1,3,5,7 /proc/13922/task/13933/stat : 13933 (java) S 13919 13922 4057 0 -1 1077944384 8995 0 0 0 269 2 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420183956080 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13934] ppid=13919 vsize=10624000 CPUtime=2.8 cores=1,3,5,7 /proc/13922/task/13934/stat : 13934 (java) S 13919 13922 4057 0 -1 1077944384 9500 0 0 0 278 2 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420182903280 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13935] ppid=13919 vsize=10624000 CPUtime=0.96 cores=1,3,5,7 /proc/13922/task/13935/stat : 13935 (java) S 13919 13922 4057 0 -1 1077944384 10926 0 0 0 94 2 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420181850992 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13936] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13936/stat : 13936 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420180798432 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13937] ppid=13919 vsize=10624000 CPUtime=1.3 cores=1,3,5,7 /proc/13922/task/13937/stat : 13937 (java) S 13919 13922 4057 0 -1 1077944384 1139 0 0 0 66 64 0 0 20 0 16 0 31327040 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420179745200 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13938] ppid=13919 vsize=10624000 CPUtime=2442.07 cores=1,3,5,7 /proc/13922/task/13938/stat : 13938 (java) R 13919 13922 4057 0 -1 4202560 15474 0 0 0 244200 7 0 0 20 0 16 0 31327057 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420176552192 140420291340748 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 Current children cumulated CPU time (s) 2450.55 Current children cumulated vsize (KiB) 10624000 [startup+2502.3 s] /proc/loadavg: 2.08 2.04 2.05 3/212 14206 /proc/meminfo: memFree=30707520/32770624 swapFree=0/451524 [pid=13922] ppid=13919 vsize=10624000 CPUtime=2510.59 cores=1,3,5,7 /proc/13922/stat : 13922 (java) S 13919 13922 4057 0 -1 1077944320 56578 0 0 0 250970 89 0 0 20 0 16 0 31327022 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140729486549776 140420691881719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 /proc/13922/statm: 2656000 121614 3149 1 0 2644926 0 [pid=13922/tid=13924] ppid=13919 vsize=10624000 CPUtime=0.2 cores=1,3,5,7 /proc/13922/task/13924/stat : 13924 (java) S 13919 13922 4057 0 -1 1077944384 5749 0 0 0 19 1 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420696124592 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13925] ppid=13919 vsize=10624000 CPUtime=0.08 cores=1,3,5,7 /proc/13922/task/13925/stat : 13925 (java) S 13919 13922 4057 0 -1 1077944384 597 0 0 0 4 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420622302096 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13926] ppid=13919 vsize=10624000 CPUtime=0.09 cores=1,3,5,7 /proc/13922/task/13926/stat : 13926 (java) S 13919 13922 4057 0 -1 1077944384 1328 0 0 0 5 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420621249296 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13927] ppid=13919 vsize=10624000 CPUtime=0.09 cores=1,3,5,7 /proc/13922/task/13927/stat : 13927 (java) S 13919 13922 4057 0 -1 1077944384 181 0 0 0 5 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420620197008 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13928] ppid=13919 vsize=10624000 CPUtime=0.09 cores=1,3,5,7 /proc/13922/task/13928/stat : 13928 (java) S 13919 13922 4057 0 -1 1077944384 368 0 0 0 5 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420619144208 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13929] ppid=13919 vsize=10624000 CPUtime=0.05 cores=1,3,5,7 /proc/13922/task/13929/stat : 13929 (java) S 13919 13922 4057 0 -1 1077944384 914 0 0 0 3 2 0 0 20 0 16 0 31327033 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420188166256 140420691892866 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13930] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13930/stat : 13930 (java) S 13919 13922 4057 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420187112288 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13931] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13931/stat : 13931 (java) S 13919 13922 4057 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420186059904 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13932] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13932/stat : 13932 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420185008208 140420691900315 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13933] ppid=13919 vsize=10624000 CPUtime=2.71 cores=1,3,5,7 /proc/13922/task/13933/stat : 13933 (java) S 13919 13922 4057 0 -1 1077944384 8995 0 0 0 269 2 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420183956080 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13934] ppid=13919 vsize=10624000 CPUtime=2.8 cores=1,3,5,7 /proc/13922/task/13934/stat : 13934 (java) S 13919 13922 4057 0 -1 1077944384 9500 0 0 0 278 2 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420182903280 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13935] ppid=13919 vsize=10624000 CPUtime=0.96 cores=1,3,5,7 /proc/13922/task/13935/stat : 13935 (java) S 13919 13922 4057 0 -1 1077944384 10926 0 0 0 94 2 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420181850992 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13936] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13936/stat : 13936 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420180798432 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13937] ppid=13919 vsize=10624000 CPUtime=1.33 cores=1,3,5,7 /proc/13922/task/13937/stat : 13937 (java) S 13919 13922 4057 0 -1 1077944384 1143 0 0 0 68 65 0 0 20 0 16 0 31327040 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420179745200 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13938] ppid=13919 vsize=10624000 CPUtime=2502.07 cores=1,3,5,7 /proc/13922/task/13938/stat : 13938 (java) R 13919 13922 4057 0 -1 4202560 15518 0 0 0 250200 7 0 0 20 0 16 0 31327057 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420176552192 140420291056667 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 Current children cumulated CPU time (s) 2510.59 Current children cumulated vsize (KiB) 10624000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2511.7 s] /proc/loadavg: 2.06 2.04 2.05 3/212 14206 /proc/meminfo: memFree=30707532/32770624 swapFree=0/451524 [pid=13922] ppid=13919 vsize=10624000 CPUtime=2520 cores=1,3,5,7 /proc/13922/stat : 13922 (java) S 13919 13922 4057 0 -1 1077944320 56580 0 0 0 251911 89 0 0 20 0 16 0 31327022 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140729486549776 140420691881719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 /proc/13922/statm: 2656000 121614 3149 1 0 2644926 0 [pid=13922/tid=13924] ppid=13919 vsize=10624000 CPUtime=0.2 cores=1,3,5,7 /proc/13922/task/13924/stat : 13924 (java) S 13919 13922 4057 0 -1 1077944384 5749 0 0 0 19 1 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420696124592 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13925] ppid=13919 vsize=10624000 CPUtime=0.08 cores=1,3,5,7 /proc/13922/task/13925/stat : 13925 (java) S 13919 13922 4057 0 -1 1077944384 597 0 0 0 4 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420622302096 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13926] ppid=13919 vsize=10624000 CPUtime=0.09 cores=1,3,5,7 /proc/13922/task/13926/stat : 13926 (java) S 13919 13922 4057 0 -1 1077944384 1328 0 0 0 5 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420621249296 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13927] ppid=13919 vsize=10624000 CPUtime=0.09 cores=1,3,5,7 /proc/13922/task/13927/stat : 13927 (java) S 13919 13922 4057 0 -1 1077944384 181 0 0 0 5 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420620197008 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13928] ppid=13919 vsize=10624000 CPUtime=0.09 cores=1,3,5,7 /proc/13922/task/13928/stat : 13928 (java) S 13919 13922 4057 0 -1 1077944384 368 0 0 0 5 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420619144208 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13929] ppid=13919 vsize=10624000 CPUtime=0.05 cores=1,3,5,7 /proc/13922/task/13929/stat : 13929 (java) S 13919 13922 4057 0 -1 1077944384 914 0 0 0 3 2 0 0 20 0 16 0 31327033 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420188166256 140420691892866 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13930] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13930/stat : 13930 (java) S 13919 13922 4057 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420187112288 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13931] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13931/stat : 13931 (java) S 13919 13922 4057 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420186059904 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13932] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13932/stat : 13932 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420185008208 140420691900315 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13933] ppid=13919 vsize=10624000 CPUtime=2.71 cores=1,3,5,7 /proc/13922/task/13933/stat : 13933 (java) S 13919 13922 4057 0 -1 1077944384 8995 0 0 0 269 2 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420183956080 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13934] ppid=13919 vsize=10624000 CPUtime=2.8 cores=1,3,5,7 /proc/13922/task/13934/stat : 13934 (java) S 13919 13922 4057 0 -1 1077944384 9500 0 0 0 278 2 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420182903280 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13935] ppid=13919 vsize=10624000 CPUtime=0.96 cores=1,3,5,7 /proc/13922/task/13935/stat : 13935 (java) S 13919 13922 4057 0 -1 1077944384 10926 0 0 0 94 2 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420181850992 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13936] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13936/stat : 13936 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420180798432 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13937] ppid=13919 vsize=10624000 CPUtime=1.35 cores=1,3,5,7 /proc/13922/task/13937/stat : 13937 (java) S 13919 13922 4057 0 -1 1077944384 1145 0 0 0 69 66 0 0 20 0 16 0 31327040 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420179745200 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13938] ppid=13919 vsize=10624000 CPUtime=2511.47 cores=1,3,5,7 /proc/13922/task/13938/stat : 13938 (java) R 13919 13922 4057 0 -1 4202560 15518 0 0 0 251140 7 0 0 20 0 16 0 31327057 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420176552192 140420291341430 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 Current children cumulated CPU time (s) 2520 Current children cumulated vsize (KiB) 10624000 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 13922 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2511.7 s] /proc/loadavg: 2.06 2.04 2.05 3/212 14206 /proc/meminfo: memFree=30707532/32770624 swapFree=0/451524 [pid=13922] ppid=13919 vsize=10624000 CPUtime=2520 cores=1,3,5,7 /proc/13922/stat : 13922 (java) S 13919 13922 4057 0 -1 1077944320 56580 0 0 0 251911 89 0 0 20 0 16 0 31327022 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140729486549776 140420691881719 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 /proc/13922/statm: 2656000 121614 3149 1 0 2644926 0 [pid=13922/tid=13924] ppid=13919 vsize=10624000 CPUtime=0.2 cores=1,3,5,7 /proc/13922/task/13924/stat : 13924 (java) S 13919 13922 4057 0 -1 1077944384 5749 0 0 0 19 1 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420696124592 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13925] ppid=13919 vsize=10624000 CPUtime=0.08 cores=1,3,5,7 /proc/13922/task/13925/stat : 13925 (java) S 13919 13922 4057 0 -1 1077944384 597 0 0 0 4 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420622302096 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13926] ppid=13919 vsize=10624000 CPUtime=0.09 cores=1,3,5,7 /proc/13922/task/13926/stat : 13926 (java) S 13919 13922 4057 0 -1 1077944384 1328 0 0 0 5 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420621249296 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13927] ppid=13919 vsize=10624000 CPUtime=0.09 cores=1,3,5,7 /proc/13922/task/13927/stat : 13927 (java) S 13919 13922 4057 0 -1 1077944384 181 0 0 0 5 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420620197008 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13928] ppid=13919 vsize=10624000 CPUtime=0.09 cores=1,3,5,7 /proc/13922/task/13928/stat : 13928 (java) S 13919 13922 4057 0 -1 1077944384 368 0 0 0 5 4 0 0 20 0 16 0 31327031 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420619144208 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13929] ppid=13919 vsize=10624000 CPUtime=0.05 cores=1,3,5,7 /proc/13922/task/13929/stat : 13929 (java) S 13919 13922 4057 0 -1 1077944384 914 0 0 0 3 2 0 0 20 0 16 0 31327033 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420188166256 140420691892866 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13930] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13930/stat : 13930 (java) S 13919 13922 4057 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420187112288 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13931] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13931/stat : 13931 (java) S 13919 13922 4057 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 31327033 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420186059904 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13932] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13932/stat : 13932 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420185008208 140420691900315 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13933] ppid=13919 vsize=10624000 CPUtime=2.71 cores=1,3,5,7 /proc/13922/task/13933/stat : 13933 (java) S 13919 13922 4057 0 -1 1077944384 8995 0 0 0 269 2 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420183956080 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13934] ppid=13919 vsize=10624000 CPUtime=2.8 cores=1,3,5,7 /proc/13922/task/13934/stat : 13934 (java) S 13919 13922 4057 0 -1 1077944384 9500 0 0 0 278 2 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420182903280 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13935] ppid=13919 vsize=10624000 CPUtime=0.96 cores=1,3,5,7 /proc/13922/task/13935/stat : 13935 (java) S 13919 13922 4057 0 -1 1077944384 10926 0 0 0 94 2 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420181850992 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13936] ppid=13919 vsize=10624000 CPUtime=0 cores=1,3,5,7 /proc/13922/task/13936/stat : 13936 (java) S 13919 13922 4057 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 31327036 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420180798432 140420691891925 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13937] ppid=13919 vsize=10624000 CPUtime=1.35 cores=1,3,5,7 /proc/13922/task/13937/stat : 13937 (java) S 13919 13922 4057 0 -1 1077944384 1145 0 0 0 69 66 0 0 20 0 16 0 31327040 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420179745200 140420691892866 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 [pid=13922/tid=13938] ppid=13919 vsize=10624000 CPUtime=2511.47 cores=1,3,5,7 /proc/13922/task/13938/stat : 13938 (java) R 13919 13922 4057 0 -1 4202560 15518 0 0 0 251140 7 0 0 20 0 16 0 31327057 10878976000 121614 18446744073709551615 4194304 4196468 140729486567232 140420176552192 140420291341430 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9617408 140729486569934 140729486570063 140729486570063 140729486573519 0 Current children cumulated CPU time (s) 2520 Current children cumulated vsize (KiB) 10624000 Child status: 143 Real time (s): 2511.71 CPU time (s): 2520.03 CPU user time (s): 2519.13 CPU system time (s): 0.898232 CPU usage (%): 100.331 Max. virtual memory (cumulated for all children) (KiB): 10624000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.13 system time used= 0.898232 maximum resident set size= 486968 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57087 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1584 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 57511 involuntary context switches= 835 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.2926 second user time and 15.6503 second system time The end
Begin job on node125 at 2017-08-09 16:50:18 IDJOB=4263982 IDBENCH=126994 IDSOLVER=2652 FILE ID=node125/4263982-1502291062 RUNJOBID= node125-1502257550-8974 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= AbsCon-basic 2017-06-11 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-096.xml COMMAND LINE= java -jar HOME/AbsCon-basic.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4263982-1502291062/watcher-4263982-1502291062 -o /tmp/evaluation-result-4263982-1502291062/solver-4263982-1502291062 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502257550-8974 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4263982-1502291062.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5bf1605d7392d1261526feabe1cfbecc RANDOM SEED=1870596677 node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.07 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30710028 kB MemAvailable: 31293876 kB Buffers: 203364 kB Cached: 665756 kB SwapCached: 0 kB Active: 1175684 kB Inactive: 466868 kB Active(anon): 773868 kB Inactive(anon): 16716 kB Active(file): 401816 kB Inactive(file): 450152 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7948 kB Writeback: 12 kB AnonPages: 772884 kB Mapped: 50004 kB Shmem: 17060 kB Slab: 120268 kB SReclaimable: 95428 kB SUnreclaim: 24840 kB KernelStack: 3504 kB PageTables: 6964 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1484280 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 688128 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62016 MiB End job on node125 at 2017-08-09 17:32:09