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 | 246.56599 | 240.01401 |
| 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 | 1300 |
| Best CPU time to get the best result obtained on this benchmark | 251.91901 |
| 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.23/0.37 0.23/0.37 AbsCon 2 0.23/0.37 1.61/0.83 Solving XCSP3-instance-4257573-1501652752 as a COP in -infty..+infty 1.61/0.83 Loading variables... 1.98/0.99 Loading constraints... 4.76/1.85 Solver SolverBacktrack being built... 4.76/1.85 5.22/2.05 Preprocessing : gac=false, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false 5.22/2.05 5.78/2.30 o 290320 7.00/2.67 o 272460 7.86/2.93 o 272092 8.46/3.18 o 255720 9.00/3.38 o 254992 9.22/3.59 o 254296 9.71/3.80 o 238988 9.92/4.00 o 237964 10.13/4.20 o 224048 10.26/4.40 o 222992 10.57/4.60 o 222672 10.77/4.80 o 221424 10.98/5.00 o 208748 11.09/5.20 o 205420 11.29/5.39 o 203692 11.50/5.59 o 203476 11.75/5.79 o 203380 11.95/5.98 o 203108 12.15/6.18 o 201972 12.35/6.38 o 201532 12.56/6.57 o 189000 12.80/6.78 o 187048 13.11/7.06 o 185896 13.35/7.27 o 183160 13.55/7.47 o 172204 13.75/7.66 o 169060 13.96/7.86 o 167260 14.15/8.05 o 165100 14.35/8.25 o 164140 14.55/8.44 o 160596 14.86/8.71 o 159780 15.06/8.91 o 159492 15.26/9.18 o 158556 15.46/9.38 o 156044 15.66/9.58 o 145320 15.86/9.78 o 142544 16.17/10.05 o 140944 16.47/10.32 o 138856 16.67/10.52 o 138600 16.87/10.79 o 137656 17.07/10.99 o 137200 17.37/11.26 o 136248 17.57/11.46 o 135544 17.87/11.73 o 134704 18.28/12.16 o 134656 18.48/12.36 o 134640 18.78/12.64 o 134408 19.09/12.92 o 134056 20.01/13.82 o 123916 20.31/14.14 o 119672 20.53/14.34 o 116416 21.53/15.30 o 114656 22.03/15.90 o 114136 22.63/16.45 o 111936 22.84/16.65 o 111552 23.04/16.85 o 111304 23.24/17.05 o 110936 23.44/17.25 o 110216 23.74/17.53 o 109808 23.95/17.79 o 30160 34.16/27.92 o 4120 78.97/72.62 o 3944 91.99/85.62 o 3660 92.20/85.82 o 3548 92.39/86.09 o 3512 95.60/89.27 o 3420 101.43/95.08 o 3372 171.59/165.15 o 2568 246.54/240.00 246.54/240.00 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> 246.54/240.00 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-4257573-1501652752/watcher-4257573-1501652752 -o /tmp/evaluation-result-4257573-1501652752/solver-4257573-1501652752 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501642909-6626 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257573-1501652752.xml pid=16447 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.14 2.00 2.09 3/199 16450 /proc/meminfo: memFree=31561784/32770624 swapFree=0/328720 [pid=16450] ppid=16447 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/16450/stat : 16450 (runsolver) D 16447 16450 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12781002 24240128 108 18446744073709551615 4194304 4338465 140722667516128 140722667513768 140017004061399 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 25886720 140722667524256 140722667524678 140722667524678 140722667528138 0 /proc/16450/statm: 5918 108 54 36 0 2156 0 [startup+0.100159 s] /proc/loadavg: 2.14 2.00 2.09 3/199 16450 /proc/meminfo: memFree=31561784/32770624 swapFree=0/328720 [pid=16450] ppid=16447 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/16450/stat : 16450 (runsolver) D 16447 16450 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12781002 24240128 108 18446744073709551615 4194304 4338465 140722667516128 140722667513768 140017004061399 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 25886720 140722667524256 140722667524678 140722667524678 140722667528138 0 /proc/16450/statm: 5918 108 54 36 0 2156 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 23672 [startup+0.200322 s] /proc/loadavg: 2.14 2.00 2.09 3/199 16450 /proc/meminfo: memFree=31561784/32770624 swapFree=0/328720 [pid=16450] ppid=16447 vsize=10551056 CPUtime=0.05 cores=0,2,4,6 /proc/16450/stat : 16450 (java) S 16447 16450 5234 0 -1 1077944320 4674 0 0 0 4 1 0 0 20 0 15 0 12781002 10804281344 5702 18446744073709551615 4194304 4196468 140722837152400 140722837134944 139967796936439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 /proc/16450/statm: 2637764 5702 2563 1 0 2627269 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10551056 [startup+0.302521 s] /proc/loadavg: 2.14 2.00 2.09 3/199 16450 /proc/meminfo: memFree=31561784/32770624 swapFree=0/328720 [pid=16450] ppid=16447 vsize=10551180 CPUtime=0.23 cores=0,2,4,6 /proc/16450/stat : 16450 (java) S 16447 16450 5234 0 -1 1077944320 8714 0 0 0 20 3 0 0 20 0 15 0 12781002 10804408320 9071 18446744073709551615 4194304 4196468 140722837152400 140722837134944 139967796936439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 /proc/16450/statm: 2637795 9071 2884 1 0 2627269 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 10551180 [startup+0.70021 s] /proc/loadavg: 2.14 2.00 2.09 3/199 16450 /proc/meminfo: memFree=31561784/32770624 swapFree=0/328720 [pid=16450] ppid=16447 vsize=10621952 CPUtime=1.29 cores=0,2,4,6 /proc/16450/stat : 16450 (java) S 16447 16450 5234 0 -1 1077944320 13868 0 0 0 123 6 0 0 20 0 16 0 12781002 10876878848 23054 18446744073709551615 4194304 4196468 140722837152400 140722837134944 139967796936439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 /proc/16450/statm: 2655488 23054 3061 1 0 2644422 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 10621952 [startup+1.50063 s] /proc/loadavg: 2.21 2.01 2.09 6/215 16466 /proc/meminfo: memFree=31410252/32770624 swapFree=0/328728 [pid=16450] ppid=16447 vsize=10621952 CPUtime=3.83 cores=0,2,4,6 /proc/16450/stat : 16450 (java) S 16447 16450 5234 0 -1 1077944320 17070 0 0 0 372 11 0 0 20 0 16 0 12781002 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 140722837134944 139967796936439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 /proc/16450/statm: 2655488 51208 3112 1 0 2644422 0 [pid=16450/tid=16452] ppid=16447 vsize=10621952 CPUtime=0.21 cores=0,2,4,6 /proc/16450/task/16452/stat : 16452 (java) S 16447 16450 5234 0 -1 1077944384 6175 0 0 0 19 2 0 0 20 0 16 0 12781014 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967801179312 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16453] ppid=16447 vsize=10621952 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16453/stat : 16453 (java) S 16447 16450 5234 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 16 0 12781014 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967753902992 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16454] ppid=16447 vsize=10621952 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16454/stat : 16454 (java) S 16447 16450 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 12781014 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967752850192 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16455] ppid=16447 vsize=10621952 CPUtime=0.01 cores=0,2,4,6 /proc/16450/task/16455/stat : 16455 (java) S 16447 16450 5234 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 16 0 12781014 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967751797904 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16456] ppid=16447 vsize=10621952 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16456/stat : 16456 (java) S 16447 16450 5234 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 12781014 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967750745104 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16457] ppid=16447 vsize=10621952 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16457/stat : 16457 (java) S 16447 16450 5234 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 12781016 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967361144944 139967796947586 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16458] ppid=16447 vsize=10621952 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16458/stat : 16458 (java) S 16447 16450 5234 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 12781016 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967360090912 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16459] ppid=16447 vsize=10621952 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16459/stat : 16459 (java) S 16447 16450 5234 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 12781016 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967359038576 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16460] ppid=16447 vsize=10621952 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16460/stat : 16460 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967357986896 139967796955035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16461] ppid=16447 vsize=10621952 CPUtime=0.91 cores=0,2,4,6 /proc/16450/task/16461/stat : 16461 (java) R 16447 16450 5234 0 -1 4202560 1798 0 0 0 91 0 0 0 20 0 16 0 12781019 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967356927792 139967780419924 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16462] ppid=16447 vsize=10621952 CPUtime=0.9 cores=0,2,4,6 /proc/16450/task/16462/stat : 16462 (java) R 16447 16450 5234 0 -1 4202560 2033 0 0 0 90 0 0 0 20 0 16 0 12781019 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967355871760 139967780422493 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16463] ppid=16447 vsize=10621952 CPUtime=0.61 cores=0,2,4,6 /proc/16450/task/16463/stat : 16463 (java) S 16447 16450 5234 0 -1 1077944384 2528 0 0 0 60 1 0 0 20 0 16 0 12781019 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967354829680 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16464] ppid=16447 vsize=10621952 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16464/stat : 16464 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967353777120 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16465] ppid=16447 vsize=10621952 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16465/stat : 16465 (java) S 16447 16450 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12781023 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967352723888 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16466] ppid=16447 vsize=10621952 CPUtime=1.1 cores=0,2,4,6 /proc/16450/task/16466/stat : 16466 (java) R 16447 16450 5234 0 -1 4202560 3018 0 0 0 106 4 0 0 20 0 16 0 12781039 10876878848 51208 18446744073709551615 4194304 4196468 140722837152400 139967349530304 139967435736992 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 Current children cumulated CPU time (s) 3.83 Current children cumulated vsize (KiB) 10621952 [startup+3.1007 s] /proc/loadavg: 2.21 2.01 2.09 5/215 16466 /proc/meminfo: memFree=31291156/32770624 swapFree=0/328728 [pid=16450] ppid=16447 vsize=10626000 CPUtime=8.46 cores=0,2,4,6 /proc/16450/stat : 16450 (java) S 16447 16450 5234 0 -1 1077944320 24848 0 0 0 824 22 0 0 20 0 16 0 12781002 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 140722837134944 139967796936439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 /proc/16450/statm: 2656500 74451 3129 1 0 2645434 0 [pid=16450/tid=16452] ppid=16447 vsize=10626000 CPUtime=0.21 cores=0,2,4,6 /proc/16450/task/16452/stat : 16452 (java) S 16447 16450 5234 0 -1 1077944384 6175 0 0 0 19 2 0 0 20 0 16 0 12781014 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967801179312 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16453] ppid=16447 vsize=10626000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16453/stat : 16453 (java) S 16447 16450 5234 0 -1 1077944384 131 0 0 0 3 2 0 0 20 0 16 0 12781014 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967753902992 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16454] ppid=16447 vsize=10626000 CPUtime=0.04 cores=0,2,4,6 /proc/16450/task/16454/stat : 16454 (java) S 16447 16450 5234 0 -1 1077944384 109 0 0 0 2 2 0 0 20 0 16 0 12781014 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967752850192 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16455] ppid=16447 vsize=10626000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16455/stat : 16455 (java) S 16447 16450 5234 0 -1 1077944384 122 0 0 0 3 2 0 0 20 0 16 0 12781014 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967751797904 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16456] ppid=16447 vsize=10626000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16456/stat : 16456 (java) S 16447 16450 5234 0 -1 1077944384 132 0 0 0 3 2 0 0 20 0 16 0 12781014 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967750745104 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16457] ppid=16447 vsize=10626000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16457/stat : 16457 (java) S 16447 16450 5234 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 12781016 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967361144944 139967796947586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16458] ppid=16447 vsize=10626000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16458/stat : 16458 (java) S 16447 16450 5234 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 12781016 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967360090976 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16459] ppid=16447 vsize=10626000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16459/stat : 16459 (java) S 16447 16450 5234 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 12781016 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967359038592 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16460] ppid=16447 vsize=10626000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16460/stat : 16460 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967357986896 139967796955035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16461] ppid=16447 vsize=10626000 CPUtime=2.27 cores=0,2,4,6 /proc/16450/task/16461/stat : 16461 (java) R 16447 16450 5234 0 -1 4202560 5527 0 0 0 226 1 0 0 20 0 16 0 12781019 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967356916336 139967778480879 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16462] ppid=16447 vsize=10626000 CPUtime=2.24 cores=0,2,4,6 /proc/16450/task/16462/stat : 16462 (java) R 16447 16450 5234 0 -1 4202560 3119 0 0 0 224 0 0 0 20 0 16 0 12781019 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967355881968 139967774912928 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16463] ppid=16447 vsize=10626000 CPUtime=0.81 cores=0,2,4,6 /proc/16450/task/16463/stat : 16463 (java) S 16447 16450 5234 0 -1 1077944384 2974 0 0 0 80 1 0 0 20 0 16 0 12781019 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967354829680 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16464] ppid=16447 vsize=10626000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16464/stat : 16464 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967353777120 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16465] ppid=16447 vsize=10626000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16465/stat : 16465 (java) S 16447 16450 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12781023 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967352723888 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16466] ppid=16447 vsize=10626000 CPUtime=2.65 cores=0,2,4,6 /proc/16450/task/16466/stat : 16466 (java) R 16447 16450 5234 0 -1 4202560 5117 0 0 0 260 5 0 0 20 0 16 0 12781039 10881024000 74451 18446744073709551615 4194304 4196468 140722837152400 139967349525888 139967439613761 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 Current children cumulated CPU time (s) 8.46 Current children cumulated vsize (KiB) 10626000 [startup+6.30065 s] /proc/loadavg: 2.21 2.01 2.09 3/215 16466 /proc/meminfo: memFree=31260336/32770624 swapFree=0/328740 [pid=16450] ppid=16447 vsize=10624000 CPUtime=12.35 cores=0,2,4,6 /proc/16450/stat : 16450 (java) S 16447 16450 5234 0 -1 1077944320 31967 0 0 0 1212 23 0 0 20 0 16 0 12781002 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 140722837134944 139967796936439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 /proc/16450/statm: 2656000 73294 3132 1 0 2644934 0 [pid=16450/tid=16452] ppid=16447 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/16450/task/16452/stat : 16452 (java) S 16447 16450 5234 0 -1 1077944384 6175 0 0 0 19 2 0 0 20 0 16 0 12781014 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967801179312 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16453] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16453/stat : 16453 (java) S 16447 16450 5234 0 -1 1077944384 131 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967753902992 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16454] ppid=16447 vsize=10624000 CPUtime=0.04 cores=0,2,4,6 /proc/16450/task/16454/stat : 16454 (java) S 16447 16450 5234 0 -1 1077944384 109 0 0 0 2 2 0 0 20 0 16 0 12781014 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967752850192 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16455] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16455/stat : 16455 (java) S 16447 16450 5234 0 -1 1077944384 122 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967751797904 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16456] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16456/stat : 16456 (java) S 16447 16450 5234 0 -1 1077944384 132 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967750745104 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16457] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16457/stat : 16457 (java) S 16447 16450 5234 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 16 0 12781016 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967361144944 139967796947586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16458] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16458/stat : 16458 (java) S 16447 16450 5234 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 12781016 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967360090976 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16459] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16459/stat : 16459 (java) S 16447 16450 5234 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 12781016 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967359038592 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16460] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16460/stat : 16460 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967357986896 139967796955035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16461] ppid=16447 vsize=10624000 CPUtime=2.64 cores=0,2,4,6 /proc/16450/task/16461/stat : 16461 (java) S 16447 16450 5234 0 -1 1077944384 8213 0 0 0 263 1 0 0 20 0 16 0 12781019 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967356934768 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16462] ppid=16447 vsize=10624000 CPUtime=2.52 cores=0,2,4,6 /proc/16450/task/16462/stat : 16462 (java) S 16447 16450 5234 0 -1 1077944384 4442 0 0 0 251 1 0 0 20 0 16 0 12781019 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967355881968 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16463] ppid=16447 vsize=10624000 CPUtime=0.85 cores=0,2,4,6 /proc/16450/task/16463/stat : 16463 (java) S 16447 16450 5234 0 -1 1077944384 4423 0 0 0 84 1 0 0 20 0 16 0 12781019 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967354829680 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16464] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16464/stat : 16464 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967353777120 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16465] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16465/stat : 16465 (java) S 16447 16450 5234 0 -1 1077944384 516 0 0 0 0 0 0 0 20 0 16 0 12781023 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967352723888 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16466] ppid=16447 vsize=10624000 CPUtime=5.85 cores=0,2,4,6 /proc/16450/task/16466/stat : 16466 (java) R 16447 16450 5234 0 -1 4202560 6049 0 0 0 580 5 0 0 20 0 16 0 12781039 10878976000 73294 18446744073709551615 4194304 4196468 140722837152400 139967349531008 139967440401888 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 10624000 [startup+12.7006 s] /proc/loadavg: 2.10 2.00 2.09 3/215 16466 /proc/meminfo: memFree=31255332/32770624 swapFree=0/328748 [pid=16450] ppid=16447 vsize=10624000 CPUtime=18.88 cores=0,2,4,6 /proc/16450/stat : 16450 (java) S 16447 16450 5234 0 -1 1077944320 35152 0 0 0 1864 24 0 0 20 0 16 0 12781002 10878976000 73354 18446744073709551615 4194304 4196468 140722837152400 140722837134944 139967796936439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 /proc/16450/statm: 2656000 73354 3137 1 0 2644934 0 [pid=16450/tid=16452] ppid=16447 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/16450/task/16452/stat : 16452 (java) S 16447 16450 5234 0 -1 1077944384 6175 0 0 0 19 2 0 0 20 0 16 0 12781014 10878976000 73354 18446744073709551615 4194304 4196468 140722837152400 139967801179312 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16453] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16453/stat : 16453 (java) S 16447 16450 5234 0 -1 1077944384 131 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73354 18446744073709551615 4194304 4196468 140722837152400 139967753902992 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16454] ppid=16447 vsize=10624000 CPUtime=0.04 cores=0,2,4,6 /proc/16450/task/16454/stat : 16454 (java) S 16447 16450 5234 0 -1 1077944384 109 0 0 0 2 2 0 0 20 0 16 0 12781014 10878976000 73354 18446744073709551615 4194304 4196468 140722837152400 139967752850192 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16455] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16455/stat : 16455 (java) S 16447 16450 5234 0 -1 1077944384 122 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73354 18446744073709551615 4194304 4196468 140722837152400 139967751797904 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16456] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16456/stat : 16456 (java) S 16447 16450 5234 0 -1 1077944384 132 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73354 18446744073709551615 4194304 4196468 140722837152400 139967750745104 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16457] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16457/stat : 16457 (java) S 16447 16450 5234 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 16 0 12781016 10878976000 73354 18446744073709551615 4194304 4196468 140722837152400 139967361144944 139967796947586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 ################ # More data... # ################ /proc/meminfo: memFree=31209412/32770624 swapFree=0/328824 [pid=16450] ppid=16447 vsize=10624000 CPUtime=108.76 cores=0,2,4,6 /proc/16450/stat : 16450 (java) S 16447 16450 5234 0 -1 1077944320 45445 0 0 0 10849 27 0 0 20 0 16 0 12781002 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 140722837134944 139967796936439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 /proc/16450/statm: 2656000 73464 3138 1 0 2644934 0 [pid=16450/tid=16452] ppid=16447 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/16450/task/16452/stat : 16452 (java) S 16447 16450 5234 0 -1 1077944384 6175 0 0 0 19 2 0 0 20 0 16 0 12781014 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967801179312 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16453] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16453/stat : 16453 (java) S 16447 16450 5234 0 -1 1077944384 131 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967753902992 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16454] ppid=16447 vsize=10624000 CPUtime=0.04 cores=0,2,4,6 /proc/16450/task/16454/stat : 16454 (java) S 16447 16450 5234 0 -1 1077944384 109 0 0 0 2 2 0 0 20 0 16 0 12781014 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967752850192 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16455] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16455/stat : 16455 (java) S 16447 16450 5234 0 -1 1077944384 122 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967751797904 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16456] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16456/stat : 16456 (java) S 16447 16450 5234 0 -1 1077944384 132 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967750745104 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16457] ppid=16447 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/16450/task/16457/stat : 16457 (java) S 16447 16450 5234 0 -1 1077944384 496 0 0 0 1 0 0 0 20 0 16 0 12781016 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967361144944 139967796947586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16458] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16458/stat : 16458 (java) S 16447 16450 5234 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 12781016 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967360090976 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16459] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16459/stat : 16459 (java) S 16447 16450 5234 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 12781016 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967359038592 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16460] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16460/stat : 16460 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967357986896 139967796955035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16461] ppid=16447 vsize=10624000 CPUtime=2.75 cores=0,2,4,6 /proc/16450/task/16461/stat : 16461 (java) S 16447 16450 5234 0 -1 1077944384 10495 0 0 0 274 1 0 0 20 0 16 0 12781019 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967356934768 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16462] ppid=16447 vsize=10624000 CPUtime=2.68 cores=0,2,4,6 /proc/16450/task/16462/stat : 16462 (java) S 16447 16450 5234 0 -1 1077944384 7030 0 0 0 267 1 0 0 20 0 16 0 12781019 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967355881968 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16463] ppid=16447 vsize=10624000 CPUtime=0.93 cores=0,2,4,6 /proc/16450/task/16463/stat : 16463 (java) S 16447 16450 5234 0 -1 1077944384 7546 0 0 0 92 1 0 0 20 0 16 0 12781019 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967354829680 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16464] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16464/stat : 16464 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967353777120 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16465] ppid=16447 vsize=10624000 CPUtime=0.03 cores=0,2,4,6 /proc/16450/task/16465/stat : 16465 (java) S 16447 16450 5234 0 -1 1077944384 768 0 0 0 1 2 0 0 20 0 16 0 12781023 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967352723888 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16466] ppid=16447 vsize=10624000 CPUtime=101.85 cores=0,2,4,6 /proc/16450/task/16466/stat : 16466 (java) R 16447 16450 5234 0 -1 4202560 11083 0 0 0 10179 6 0 0 20 0 16 0 12781039 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967349531480 139967440528105 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 Current children cumulated CPU time (s) 108.76 Current children cumulated vsize (KiB) 10624000 [startup+162.301 s] /proc/loadavg: 2.01 2.00 2.07 3/215 16472 /proc/meminfo: memFree=31196936/32770624 swapFree=0/328848 [pid=16450] ppid=16447 vsize=10624000 CPUtime=168.78 cores=0,2,4,6 /proc/16450/stat : 16450 (java) S 16447 16450 5234 0 -1 1077944320 45936 0 0 0 16850 28 0 0 20 0 16 0 12781002 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 140722837134944 139967796936439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 /proc/16450/statm: 2656000 73464 3138 1 0 2644934 0 [pid=16450/tid=16452] ppid=16447 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/16450/task/16452/stat : 16452 (java) S 16447 16450 5234 0 -1 1077944384 6175 0 0 0 19 2 0 0 20 0 16 0 12781014 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967801179312 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16453] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16453/stat : 16453 (java) S 16447 16450 5234 0 -1 1077944384 131 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967753902992 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16454] ppid=16447 vsize=10624000 CPUtime=0.04 cores=0,2,4,6 /proc/16450/task/16454/stat : 16454 (java) S 16447 16450 5234 0 -1 1077944384 109 0 0 0 2 2 0 0 20 0 16 0 12781014 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967752850192 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16455] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16455/stat : 16455 (java) S 16447 16450 5234 0 -1 1077944384 122 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967751797904 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16456] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16456/stat : 16456 (java) S 16447 16450 5234 0 -1 1077944384 132 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967750745104 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16457] ppid=16447 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/16450/task/16457/stat : 16457 (java) S 16447 16450 5234 0 -1 1077944384 496 0 0 0 1 0 0 0 20 0 16 0 12781016 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967361144944 139967796947586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16458] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16458/stat : 16458 (java) S 16447 16450 5234 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 12781016 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967360090976 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16459] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16459/stat : 16459 (java) S 16447 16450 5234 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 12781016 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967359038592 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16460] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16460/stat : 16460 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967357986896 139967796955035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16461] ppid=16447 vsize=10624000 CPUtime=2.76 cores=0,2,4,6 /proc/16450/task/16461/stat : 16461 (java) S 16447 16450 5234 0 -1 1077944384 10495 0 0 0 275 1 0 0 20 0 16 0 12781019 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967356934768 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16462] ppid=16447 vsize=10624000 CPUtime=2.68 cores=0,2,4,6 /proc/16450/task/16462/stat : 16462 (java) S 16447 16450 5234 0 -1 1077944384 7030 0 0 0 267 1 0 0 20 0 16 0 12781019 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967355881968 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16463] ppid=16447 vsize=10624000 CPUtime=0.93 cores=0,2,4,6 /proc/16450/task/16463/stat : 16463 (java) S 16447 16450 5234 0 -1 1077944384 7546 0 0 0 92 1 0 0 20 0 16 0 12781019 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967354829680 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16464] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16464/stat : 16464 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967353777120 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16465] ppid=16447 vsize=10624000 CPUtime=0.06 cores=0,2,4,6 /proc/16450/task/16465/stat : 16465 (java) S 16447 16450 5234 0 -1 1077944384 771 0 0 0 2 4 0 0 20 0 16 0 12781023 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967352723888 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16466] ppid=16447 vsize=10624000 CPUtime=161.85 cores=0,2,4,6 /proc/16450/task/16466/stat : 16466 (java) R 16447 16450 5234 0 -1 4202560 11571 0 0 0 16179 6 0 0 20 0 16 0 12781039 10878976000 73464 18446744073709551615 4194304 4196468 140722837152400 139967349531480 139967439680680 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 Current children cumulated CPU time (s) 168.78 Current children cumulated vsize (KiB) 10624000 [startup+222.307 s] /proc/loadavg: 2.01 2.00 2.06 3/215 16474 /proc/meminfo: memFree=31181048/32770624 swapFree=0/328876 [pid=16450] ppid=16447 vsize=10624000 CPUtime=228.83 cores=0,2,4,6 /proc/16450/stat : 16450 (java) S 16447 16450 5234 0 -1 1077944320 47327 0 0 0 22853 30 0 0 20 0 16 0 12781002 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 140722837134944 139967796936439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 /proc/16450/statm: 2656000 73475 3138 1 0 2644934 0 [pid=16450/tid=16452] ppid=16447 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/16450/task/16452/stat : 16452 (java) S 16447 16450 5234 0 -1 1077944384 6175 0 0 0 19 2 0 0 20 0 16 0 12781014 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967801179312 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16453] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16453/stat : 16453 (java) S 16447 16450 5234 0 -1 1077944384 131 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967753902992 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16454] ppid=16447 vsize=10624000 CPUtime=0.04 cores=0,2,4,6 /proc/16450/task/16454/stat : 16454 (java) S 16447 16450 5234 0 -1 1077944384 109 0 0 0 2 2 0 0 20 0 16 0 12781014 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967752850192 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16455] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16455/stat : 16455 (java) S 16447 16450 5234 0 -1 1077944384 122 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967751797904 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16456] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16456/stat : 16456 (java) S 16447 16450 5234 0 -1 1077944384 132 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967750745104 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16457] ppid=16447 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/16450/task/16457/stat : 16457 (java) S 16447 16450 5234 0 -1 1077944384 549 0 0 0 1 0 0 0 20 0 16 0 12781016 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967361144944 139967796947586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16458] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16458/stat : 16458 (java) S 16447 16450 5234 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 12781016 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967360090976 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16459] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16459/stat : 16459 (java) S 16447 16450 5234 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 12781016 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967359038592 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16460] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16460/stat : 16460 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967357986896 139967796955035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16461] ppid=16447 vsize=10624000 CPUtime=2.76 cores=0,2,4,6 /proc/16450/task/16461/stat : 16461 (java) S 16447 16450 5234 0 -1 1077944384 10499 0 0 0 275 1 0 0 20 0 16 0 12781019 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967356934768 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16462] ppid=16447 vsize=10624000 CPUtime=2.68 cores=0,2,4,6 /proc/16450/task/16462/stat : 16462 (java) S 16447 16450 5234 0 -1 1077944384 7033 0 0 0 267 1 0 0 20 0 16 0 12781019 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967355881968 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16463] ppid=16447 vsize=10624000 CPUtime=0.93 cores=0,2,4,6 /proc/16450/task/16463/stat : 16463 (java) S 16447 16450 5234 0 -1 1077944384 7853 0 0 0 92 1 0 0 20 0 16 0 12781019 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967354829680 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16464] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16464/stat : 16464 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967353777120 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16465] ppid=16447 vsize=10624000 CPUtime=0.09 cores=0,2,4,6 /proc/16450/task/16465/stat : 16465 (java) S 16447 16450 5234 0 -1 1077944384 810 0 0 0 4 5 0 0 20 0 16 0 12781023 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967352723888 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16466] ppid=16447 vsize=10624000 CPUtime=221.86 cores=0,2,4,6 /proc/16450/task/16466/stat : 16466 (java) R 16447 16450 5234 0 -1 4202560 12556 0 0 0 22179 7 0 0 20 0 16 0 12781039 10878976000 73475 18446744073709551615 4194304 4196468 140722837152400 139967349530688 139967440528105 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 Current children cumulated CPU time (s) 228.83 Current children cumulated vsize (KiB) 10624000 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 2.00 2.00 2.06 5/215 16553 /proc/meminfo: memFree=31235436/32770624 swapFree=0/328904 [pid=16450] ppid=16447 vsize=10624000 CPUtime=246.54 cores=0,2,4,6 /proc/16450/stat : 16450 (java) S 16447 16450 5234 0 -1 1077944320 49303 0 0 0 24624 30 0 0 20 0 16 0 12781002 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 140722837134944 139967796936439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 10 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 /proc/16450/statm: 2656000 73494 3138 1 0 2644934 0 [pid=16450/tid=16452] ppid=16447 vsize=10624000 CPUtime=0.21 cores=0,2,4,6 /proc/16450/task/16452/stat : 16452 (java) S 16447 16450 5234 0 -1 1077944384 6175 0 0 0 19 2 0 0 20 0 16 0 12781014 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967801179312 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16453] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16453/stat : 16453 (java) S 16447 16450 5234 0 -1 1077944384 131 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967753902992 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16454] ppid=16447 vsize=10624000 CPUtime=0.04 cores=0,2,4,6 /proc/16450/task/16454/stat : 16454 (java) S 16447 16450 5234 0 -1 1077944384 109 0 0 0 2 2 0 0 20 0 16 0 12781014 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967752850192 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16455] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16455/stat : 16455 (java) S 16447 16450 5234 0 -1 1077944384 122 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967751797904 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16456] ppid=16447 vsize=10624000 CPUtime=0.05 cores=0,2,4,6 /proc/16450/task/16456/stat : 16456 (java) S 16447 16450 5234 0 -1 1077944384 132 0 0 0 3 2 0 0 20 0 16 0 12781014 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967750745104 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16457] ppid=16447 vsize=10624000 CPUtime=0.01 cores=0,2,4,6 /proc/16450/task/16457/stat : 16457 (java) S 16447 16450 5234 0 -1 1077944384 554 0 0 0 1 0 0 0 20 0 16 0 12781016 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967361144944 139967796947586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16458] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16458/stat : 16458 (java) S 16447 16450 5234 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 12781016 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967360090976 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16459] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16459/stat : 16459 (java) S 16447 16450 5234 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 12781016 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967359038592 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16460] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16460/stat : 16460 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967357986896 139967796955035 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16461] ppid=16447 vsize=10624000 CPUtime=2.76 cores=0,2,4,6 /proc/16450/task/16461/stat : 16461 (java) S 16447 16450 5234 0 -1 1077944384 10500 0 0 0 275 1 0 0 20 0 16 0 12781019 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967356934768 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16462] ppid=16447 vsize=10624000 CPUtime=2.68 cores=0,2,4,6 /proc/16450/task/16462/stat : 16462 (java) S 16447 16450 5234 0 -1 1077944384 7033 0 0 0 267 1 0 0 20 0 16 0 12781019 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967355881968 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16463] ppid=16447 vsize=10624000 CPUtime=0.94 cores=0,2,4,6 /proc/16450/task/16463/stat : 16463 (java) S 16447 16450 5234 0 -1 1077944384 9738 0 0 0 93 1 0 0 20 0 16 0 12781019 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967354829680 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16464] ppid=16447 vsize=10624000 CPUtime=0 cores=0,2,4,6 /proc/16450/task/16464/stat : 16464 (java) S 16447 16450 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12781019 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967353777120 139967796946645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16465] ppid=16447 vsize=10624000 CPUtime=0.1 cores=0,2,4,6 /proc/16450/task/16465/stat : 16465 (java) S 16447 16450 5234 0 -1 1077944384 820 0 0 0 4 6 0 0 20 0 16 0 12781023 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967352723888 139967796947586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 [pid=16450/tid=16466] ppid=16447 vsize=10624000 CPUtime=239.56 cores=0,2,4,6 /proc/16450/task/16466/stat : 16466 (java) R 16447 16450 5234 0 -1 4202560 12631 0 0 0 23949 7 0 0 20 0 16 0 12781039 10878976000 73494 18446744073709551615 4194304 4196468 140722837152400 139967349530880 139967440528090 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10469376 140722837160394 140722837160523 140722837160523 140722837163983 0 Current children cumulated CPU time (s) 246.54 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 16450 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 240.014 CPU time (s): 246.566 CPU user time (s): 246.252 CPU system time (s): 0.314169 CPU usage (%): 102.73 Max. virtual memory (cumulated for all children) (KiB): 10626000 getrusage(RUSAGE_CHILDREN,...) data: user time used= 246.252 system time used= 0.314169 maximum resident set size= 297916 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49688 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8271 involuntary context switches= 108 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.19246 second user time and 1.3839 second system time The end
Begin job on node134 at 2017-08-02 07:31:51 IDJOB=4257573 IDBENCH=126994 IDSOLVER=2642 FILE ID=node134/4257573-1501652752 RUNJOBID= node134-1501642909-6626 PBS_JOBID= Free space on /tmp= 61892 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-4257573-1501652752/watcher-4257573-1501652752 -o /tmp/evaluation-result-4257573-1501652752/solver-4257573-1501652752 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501642909-6626 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257573-1501652752.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5bf1605d7392d1261526feabe1cfbecc RANDOM SEED=1597457178 node134.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.43 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.43 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.43 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.43 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: 31562072 kB MemAvailable: 31851268 kB Buffers: 123328 kB Cached: 444660 kB SwapCached: 0 kB Active: 460332 kB Inactive: 335372 kB Active(anon): 229872 kB Inactive(anon): 6652 kB Active(file): 230460 kB Inactive(file): 328720 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8072 kB Writeback: 4 kB AnonPages: 227372 kB Mapped: 42020 kB Shmem: 8892 kB Slab: 117408 kB SReclaimable: 91704 kB SUnreclaim: 25704 kB KernelStack: 3472 kB PageTables: 5160 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1135632 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 112640 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61884 MiB End job on node134 at 2017-08-02 07:35:51