Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| R1: AbsCon-basic 2017-06-11 | SAT (TO) | 1690 | 2400.08 | 2390.52 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml |
| MD5SUM | 0731e2512da3574fe37fc3f03b16a729 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 782 |
| Best CPU time to get the best result obtained on this benchmark | 2520.1499 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 7139 |
| Number of constraints | 3652 |
| Number of domains | 167 |
| Minimum domain size | 2 |
| Maximum domain size | 167 |
| Distribution of domain sizes | [{"size":2,"count":3571},{"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":119,"count":1}, {"size":121,"count":1}, {"size":123,"count":1}, {"size":125,"count":1}, {"size":127,"count":1}, {"size":129,"count":1}, {"size":131,"count":1}, {"size":133,"count":1}, {"size":135,"count":1}, {"size":137,"count":1}, {"size":139,"count":1}, {"size":141,"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}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 83 |
| Distribution of variable degrees | [{"degree":0,"count":3403},{"degree":2,"count":3652},{"degree":83,"count":84}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 84 |
| Distribution of constraint arities | [{"arity":2,"count":84},{"arity":3,"count":3487},{"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":60,"count":1}, {"arity":61,"count":1}, {"arity":62,"count":1}, {"arity":63,"count":1}, {"arity":64,"count":1}, {"arity":65,"count":1}, {"arity":66,"count":1}, {"arity":67,"count":1}, {"arity":68,"count":1}, {"arity":69,"count":1}, {"arity":70,"count":1}, {"arity":71,"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}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 3569 |
| Distribution of constraint types | [{"type":"intension","count":3569},{"type":"sum","count":83}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.28/0.28 0.28/0.28 AbsCon 2 0.28/0.28 2.24/0.80 Solving XCSP3-instance-4247466-1500718417 as a COP in -infty..+infty 2.24/0.80 Loading variables... 2.74/0.98 Loading constraints... 6.32/1.71 Solver SolverBacktrack being built... 6.32/1.71 6.66/1.87 Preprocessing : gac=false, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false 6.66/1.87 7.40/2.08 o 194054 8.30/2.30 o 180442 9.06/2.48 o 180122 9.88/2.62 o 167806 10.22/2.75 o 167174 10.38/2.88 o 166574 10.77/3.01 o 155178 10.88/3.14 o 154298 10.98/3.27 o 144102 11.10/3.39 o 143190 11.29/3.52 o 142918 11.40/3.65 o 141862 11.59/3.78 o 132714 11.79/3.90 o 129914 11.90/4.02 o 129498 12.00/4.15 o 126434 12.10/4.27 o 125786 12.21/4.40 o 125354 12.49/4.52 o 124938 12.58/4.64 o 124378 12.68/4.76 o 124122 12.78/4.88 o 123370 12.98/5.00 o 113774 13.08/5.12 o 112382 13.19/5.24 o 112046 13.29/5.36 o 109326 13.40/5.47 o 108294 13.51/5.59 o 106750 14.42/5.81 o 105982 14.52/5.93 o 105070 14.64/6.05 o 95594 14.75/6.17 o 94330 14.95/6.35 o 91490 15.05/6.47 o 91194 15.27/6.65 o 89266 15.37/6.78 o 89178 15.66/7.00 o 88962 15.87/7.24 o 88578 16.48/7.86 o 87862 16.57/7.99 o 87454 16.77/8.18 o 85102 16.97/8.36 o 84966 17.28/8.61 o 84018 17.38/8.74 o 82738 17.60/8.92 o 79810 17.70/9.05 o 78610 17.80/9.17 o 76874 18.00/9.30 o 76338 18.10/9.42 o 74930 18.20/9.55 o 73882 18.30/9.67 o 73298 18.40/9.80 o 72410 18.61/9.98 o 71874 18.90/10.29 o 70706 19.20/10.53 o 70522 19.30/10.66 o 70466 19.71/11.02 o 69566 19.81/11.15 o 69350 20.62/11.95 o 69118 20.72/12.08 o 68398 20.83/12.20 o 67630 21.02/12.33 o 67542 21.13/12.45 o 67430 21.33/12.64 o 66622 21.44/12.76 o 66446 21.54/12.89 o 66422 22.14/13.47 o 65550 22.35/13.60 o 65374 22.55/13.82 o 28734 24.36/15.64 o 19954 24.46/15.77 o 19226 24.66/15.91 o 16566 24.86/16.12 o 16438 25.27/16.54 o 2702 146.97/138.13 o 2690 391.25/382.39 o 2598 453.57/444.62 o 2530 469.67/460.72 o 2434 522.33/513.36 o 2274 532.84/523.82 o 2150 551.75/542.73 o 2078 574.21/565.17 o 1690 2400.06/2390.50 2400.06/2390.50 v <instantiation id='sol82' type='solution' cost='1690'> <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 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 -6 -3 6 5 8 9 0 1 -6 3 -4 -5 8 5 0 1 -2 -5 0 3 -4 -1 -6 7 2 9 6 -7 0 7 16 3 -4 1 -2 1 0 1 4 1 8 3 4 -9 8 7 -2 3 0 -7 -4 9 -4 -1 -6 -1 2 1 -2 1 0 -3 0 -3 -2 -1 0 3 0 -3 0 1 2 -1 -4 3 0 -1 -2 -1 2 1 9 36 9 36 25 64 81 0 1 36 9 16 25 64 25 0 1 4 25 0 9 16 1 36 49 4 81 36 49 0 49 256 9 16 1 4 1 0 1 16 1 64 9 16 81 64 49 4 9 0 49 16 81 16 1 36 1 4 1 4 1 0 9 0 9 4 1 0 9 0 9 0 1 4 1 16 9 0 1 4 1 4 1 </values> </instantiation> 2400.06/2390.50 s SATISFIABLE
OK 1690
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-4247466-1500718417/watcher-4247466-1500718417 -o /tmp/evaluation-result-4247466-1500718417/solver-4247466-1500718417 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500715944-19853 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4247466-1500718417.xml pid=20431 running on 8 cores: 1,3,5,7,9,11,13,15 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.93 1.86 1.74 3/262 20434 /proc/meminfo: memFree=31487080/32770624 swapFree=5704/274816 [pid=20434] ppid=20431 vsize=8357968 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/stat : 20434 (java) S 20431 20434 19821 0 -1 1077944320 2255 0 0 0 0 0 0 0 20 0 10 0 7108401 8558559232 1998 33554432000 4194304 4196468 140735484130592 140735484113136 140259783778039 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 /proc/20434/statm: 2122260 1998 1209 1 0 2111171 0 [pid=20434/tid=20435] ppid=20431 vsize=8816720 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20435/stat : 20435 (java) D 20431 20434 19821 0 -1 4202560 949 0 0 0 0 0 0 0 20 0 10 0 7108401 9028321280 1998 33554432000 4194304 4196468 140735484130592 140259788019816 140259755780576 0 4 0 16784584 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20436] ppid=20431 vsize=8816720 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20436/stat : 20436 (java) D 20431 20434 19821 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 7108402 9028321280 1998 33554432000 4194304 4196468 140735484130592 140259742538264 140259763801904 0 4 0 16784584 18446744071582151416 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20437] ppid=20431 vsize=8816720 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20437/stat : 20437 (java) D 20431 20434 19821 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 7108402 9028321280 1998 33554432000 4194304 4196468 140735484130592 140259741486064 140259776511001 0 4 0 16784584 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20438] ppid=20431 vsize=8816720 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20438/stat : 20438 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 7108402 9028321280 1998 33554432000 4194304 4196468 140735484130592 140259388894352 140259783788245 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20439] ppid=20431 vsize=8882256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20439/stat : 20439 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 7108402 9095430144 1998 33554432000 4194304 4196468 140735484130592 140259387841080 140259783788245 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20440] ppid=20431 vsize=9131696 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20440/stat : 20440 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 7108402 9350856704 2027 33554432000 4194304 4196468 140735484130592 140259386788240 140259783788245 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20441] ppid=20431 vsize=10204016 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20441/stat : 20441 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 7108402 10448912384 2027 33554432000 4194304 4196468 140735484130592 140259385735440 140259783788245 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20442] ppid=20431 vsize=10204016 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20442/stat : 20442 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 7108402 10448912384 2027 33554432000 4194304 4196468 140735484130592 140259384683152 140259783788245 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20443] ppid=20431 vsize=10204016 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20443/stat : 20443 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 7108402 10448912384 2027 33554432000 4194304 4196468 140735484130592 140259383630352 140259783788245 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [startup+0.100146 s] /proc/loadavg: 1.93 1.86 1.74 3/262 20434 /proc/meminfo: memFree=31487080/32770624 swapFree=5704/274816 [pid=20434] ppid=20431 vsize=10900456 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/20434/stat : 20434 (java) S 20431 20434 19821 0 -1 1077944320 4750 0 0 0 9 1 0 0 20 0 20 0 7108401 11162066944 5854 33554432000 4194304 4196468 140735484130592 140735484113136 140259783778039 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 /proc/20434/statm: 2725114 5854 2629 1 0 2713552 0 [pid=20434/tid=20435] ppid=20431 vsize=10900456 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20435/stat : 20435 (java) R 20431 20434 19821 0 -1 4202560 2831 0 0 0 7 1 0 0 20 0 20 0 7108401 11162066944 5854 33554432000 4194304 4196468 140735484130592 140259788020320 140259776456053 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20436] ppid=20431 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20436/stat : 20436 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7108402 11162066944 5854 33554432000 4194304 4196468 140735484130592 140259742538640 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20437] ppid=20431 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20437/stat : 20437 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7108402 11162066944 5854 33554432000 4194304 4196468 140735484130592 140259741485840 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20438] ppid=20431 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20438/stat : 20438 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7108402 11162066944 5854 33554432000 4194304 4196468 140735484130592 140259388894352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20439] ppid=20431 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20439/stat : 20439 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7108402 11162066944 5854 33554432000 4194304 4196468 140735484130592 140259387841552 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20440] ppid=20431 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20440/stat : 20440 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7108402 11162066944 5854 33554432000 4194304 4196468 140735484130592 140259386788240 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20441] ppid=20431 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20441/stat : 20441 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7108402 11162066944 5854 33554432000 4194304 4196468 140735484130592 140259385735440 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20442] ppid=20431 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20442/stat : 20442 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7108402 11162066944 5854 33554432000 4194304 4196468 140735484130592 140259384683152 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20443] ppid=20431 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20443/stat : 20443 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7108402 11162066944 5854 33554432000 4194304 4196468 140735484130592 140259383630352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10900456 [startup+0.200951 s] /proc/loadavg: 1.93 1.86 1.74 3/262 20434 /proc/meminfo: memFree=31487080/32770624 swapFree=5704/274816 [pid=20434] ppid=20431 vsize=10900612 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/20434/stat : 20434 (java) S 20431 20434 19821 0 -1 1077944320 7649 0 0 0 26 2 0 0 20 0 20 0 7108401 11162226688 9063 33554432000 4194304 4196468 140735484130592 140735484113136 140259783778039 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 /proc/20434/statm: 2725153 9063 2900 1 0 2713560 0 [pid=20434/tid=20435] ppid=20431 vsize=10900612 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20435/stat : 20435 (java) R 20431 20434 19821 0 -1 4202560 4775 0 0 0 17 1 0 0 20 0 20 0 7108401 11162226688 9063 33554432000 4194304 4196468 140735484130592 140259787991856 140259776457757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20436] ppid=20431 vsize=10900612 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20436/stat : 20436 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7108402 11162226688 9063 33554432000 4194304 4196468 140735484130592 140259742538640 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20437] ppid=20431 vsize=10900612 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20437/stat : 20437 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7108402 11162226688 9063 33554432000 4194304 4196468 140735484130592 140259741485840 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20438] ppid=20431 vsize=10900612 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20438/stat : 20438 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 7108402 11162226688 9063 33554432000 4194304 4196468 140735484130592 140259388894352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20439] ppid=20431 vsize=10900612 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20439/stat : 20439 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7108402 11162226688 9063 33554432000 4194304 4196468 140735484130592 140259387841552 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20440] ppid=20431 vsize=10900612 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20440/stat : 20440 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7108402 11162226688 9063 33554432000 4194304 4196468 140735484130592 140259386788240 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20441] ppid=20431 vsize=10900612 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20441/stat : 20441 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7108402 11162226688 9063 33554432000 4194304 4196468 140735484130592 140259385735440 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20442] ppid=20431 vsize=10900612 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20442/stat : 20442 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 7108402 11162226688 9063 33554432000 4194304 4196468 140735484130592 140259384683152 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20443] ppid=20431 vsize=10900612 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20443/stat : 20443 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 7108402 11162226688 9063 33554432000 4194304 4196468 140735484130592 140259383630352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 10900612 [startup+0.300729 s] /proc/loadavg: 1.93 1.86 1.74 3/262 20434 /proc/meminfo: memFree=31487080/32770624 swapFree=5704/274816 [pid=20434] ppid=20431 vsize=10969228 CPUtime=0.49 cores=1,3,5,7,9,11,13,15 /proc/20434/stat : 20434 (java) S 20431 20434 19821 0 -1 1077944320 8487 0 0 0 46 3 0 0 20 0 21 0 7108401 11232489472 13373 33554432000 4194304 4196468 140735484130592 140735484113136 140259783778039 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 /proc/20434/statm: 2742307 13373 2982 1 0 2730193 0 [pid=20434/tid=20435] ppid=20431 vsize=10969228 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20435/stat : 20435 (java) S 20431 20434 19821 0 -1 1077944384 5179 0 0 0 25 1 0 0 20 0 21 0 7108401 11232489472 13373 33554432000 4194304 4196468 140735484130592 140259788020912 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20436] ppid=20431 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20436/stat : 20436 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7108402 11232489472 13373 33554432000 4194304 4196468 140735484130592 140259742538640 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20437] ppid=20431 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20437/stat : 20437 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7108402 11232489472 13373 33554432000 4194304 4196468 140735484130592 140259741485840 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20438] ppid=20431 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20438/stat : 20438 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7108402 11232489472 13373 33554432000 4194304 4196468 140735484130592 140259388894352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20439] ppid=20431 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20439/stat : 20439 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7108402 11232489472 13373 33554432000 4194304 4196468 140735484130592 140259387841552 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20440] ppid=20431 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20440/stat : 20440 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7108402 11232489472 13373 33554432000 4194304 4196468 140735484130592 140259386788240 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20441] ppid=20431 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20441/stat : 20441 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7108402 11232489472 13373 33554432000 4194304 4196468 140735484130592 140259385735440 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20442] ppid=20431 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20442/stat : 20442 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7108402 11232489472 13373 33554432000 4194304 4196468 140735484130592 140259384683152 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20443] ppid=20431 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20443/stat : 20443 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7108402 11232489472 13373 33554432000 4194304 4196468 140735484130592 140259383630352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 10969228 [startup+0.700624 s] /proc/loadavg: 1.93 1.86 1.74 3/262 20434 /proc/meminfo: memFree=31487080/32770624 swapFree=5704/274816 [pid=20434] ppid=20431 vsize=10971352 CPUtime=1.79 cores=1,3,5,7,9,11,13,15 /proc/20434/stat : 20434 (java) S 20431 20434 19821 0 -1 1077944320 13456 0 0 0 174 5 0 0 20 0 21 0 7108401 11234664448 24929 33554432000 4194304 4196468 140735484130592 140735484113136 140259783778039 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 /proc/20434/statm: 2742838 24929 3107 1 0 2730705 0 [pid=20434/tid=20435] ppid=20431 vsize=10971352 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20435/stat : 20435 (java) S 20431 20434 19821 0 -1 1077944384 5179 0 0 0 25 1 0 0 20 0 21 0 7108401 11234664448 24929 33554432000 4194304 4196468 140735484130592 140259788020912 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20436] ppid=20431 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20436/stat : 20436 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7108402 11234664448 24929 33554432000 4194304 4196468 140735484130592 140259742538640 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20437] ppid=20431 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20437/stat : 20437 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7108402 11234664448 24929 33554432000 4194304 4196468 140735484130592 140259741485840 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20438] ppid=20431 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20438/stat : 20438 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7108402 11234664448 24929 33554432000 4194304 4196468 140735484130592 140259388894352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20439] ppid=20431 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20439/stat : 20439 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7108402 11234664448 24929 33554432000 4194304 4196468 140735484130592 140259387841552 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20440] ppid=20431 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20440/stat : 20440 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7108402 11234664448 24929 33554432000 4194304 4196468 140735484130592 140259386788240 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20441] ppid=20431 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20441/stat : 20441 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7108402 11234664448 24929 33554432000 4194304 4196468 140735484130592 140259385735440 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20442] ppid=20431 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20442/stat : 20442 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7108402 11234664448 24929 33554432000 4194304 4196468 140735484130592 140259384683152 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20443] ppid=20431 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20443/stat : 20443 (java) S 20431 20434 19821 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 7108402 11234664448 24929 33554432000 4194304 4196468 140735484130592 140259383630352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 Current children cumulated CPU time (s) 1.79 Current children cumulated vsize (KiB) 10971352 [startup+1.5012 s] /proc/loadavg: 1.94 1.86 1.74 6/283 20455 /proc/meminfo: memFree=31339444/32770624 swapFree=5704/275148 [pid=20434] ppid=20431 vsize=10973400 CPUtime=5.43 cores=1,3,5,7,9,11,13,15 /proc/20434/stat : 20434 (java) S 20431 20434 19821 0 -1 1077944320 26289 0 0 0 531 12 0 0 20 0 21 0 7108401 11236761600 54470 33554432000 4194304 4196468 140735484130592 140735484113136 140259783778039 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 /proc/20434/statm: 2743350 54470 3152 1 0 2731217 0 [pid=20434/tid=20435] ppid=20431 vsize=10973400 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20435/stat : 20435 (java) S 20431 20434 19821 0 -1 1077944384 5179 0 0 0 25 1 0 0 20 0 21 0 7108401 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259788020912 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20436] ppid=20431 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20436/stat : 20436 (java) S 20431 20434 19821 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 21 0 7108402 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259742538640 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20437] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20437/stat : 20437 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7108402 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259741485840 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20438] ppid=20431 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20438/stat : 20438 (java) S 20431 20434 19821 0 -1 1077944384 50 0 0 0 1 0 0 0 20 0 21 0 7108402 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259388894352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20439] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20439/stat : 20439 (java) S 20431 20434 19821 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 21 0 7108402 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259387841552 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20440] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20440/stat : 20440 (java) S 20431 20434 19821 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 21 0 7108402 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259386788240 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20441] ppid=20431 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20441/stat : 20441 (java) S 20431 20434 19821 0 -1 1077944384 11 0 0 0 1 0 0 0 20 0 21 0 7108402 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259385735440 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20442] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20442/stat : 20442 (java) S 20431 20434 19821 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 21 0 7108402 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259384683152 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20443] ppid=20431 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20443/stat : 20443 (java) S 20431 20434 19821 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 21 0 7108402 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259383630352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20445] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20445/stat : 20445 (java) S 20431 20434 19821 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 21 0 7108404 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259259005552 140259783789186 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20446] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20446/stat : 20446 (java) S 20431 20434 19821 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 21 0 7108405 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259257951520 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20447] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20447/stat : 20447 (java) S 20431 20434 19821 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 21 0 7108405 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259256899184 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20448] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20448/stat : 20448 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7108409 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259255847504 140259783796635 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20449] ppid=20431 vsize=10973400 CPUtime=1.01 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20449/stat : 20449 (java) R 20431 20434 19821 0 -1 4202560 6027 0 0 0 100 1 0 0 20 0 21 0 7108409 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259254781936 140259763621610 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20450] ppid=20431 vsize=10973400 CPUtime=0.97 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20450/stat : 20450 (java) R 20431 20434 19821 0 -1 4202560 2552 0 0 0 97 0 0 0 20 0 21 0 7108409 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259253741552 140259764479228 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20451] ppid=20431 vsize=10973400 CPUtime=0.98 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20451/stat : 20451 (java) R 20431 20434 19821 0 -1 4202560 3920 0 0 0 98 0 0 0 20 0 21 0 7108409 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259252668336 140259761753604 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20452] ppid=20431 vsize=10973400 CPUtime=0.87 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20452/stat : 20452 (java) R 20431 20434 19821 0 -1 4202560 3681 0 0 0 86 1 0 0 20 0 21 0 7108409 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259251635648 140259762144148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20453] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20453/stat : 20453 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7108410 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259250584416 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20454] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20454/stat : 20454 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7108410 11236761600 54470 33554432000 4194304 4196468 140735484130592 140259249531696 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20455] ppid=20431 vsize=10973400 CPUtime=1.18 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=20434/tid=20454] ppid=20431 vsize=10973400 CPUtime=0.64 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20454/stat : 20454 (java) S 20431 20434 19821 0 -1 1077944384 1264 0 0 0 28 36 0 0 20 0 21 0 7108410 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259249531696 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20455] ppid=20431 vsize=10973400 CPUtime=2321.71 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20455/stat : 20455 (java) R 20431 20434 19821 0 -1 4202560 21633 0 0 0 232166 5 0 0 20 0 21 0 7108429 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259246339128 140259429139652 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 Current children cumulated CPU time (s) 2331.84 Current children cumulated vsize (KiB) 10973400 [startup+2382.3 s] /proc/loadavg: 2.09 2.06 2.00 3/283 20711 /proc/meminfo: memFree=31309376/32770624 swapFree=5704/277960 [pid=20434] ppid=20431 vsize=10973400 CPUtime=2391.85 cores=1,3,5,7,9,11,13,15 /proc/20434/stat : 20434 (java) S 20431 20434 19821 0 -1 1077944320 74447 0 0 0 239101 84 0 0 20 0 21 0 7108401 11236761600 85060 33554432000 4194304 4196468 140735484130592 140735484113136 140259783778039 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 /proc/20434/statm: 2743350 85060 3182 1 0 2731217 0 [pid=20434/tid=20435] ppid=20431 vsize=10973400 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20435/stat : 20435 (java) S 20431 20434 19821 0 -1 1077944384 5179 0 0 0 25 1 0 0 20 0 21 0 7108401 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259788020912 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20436] ppid=20431 vsize=10973400 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20436/stat : 20436 (java) S 20431 20434 19821 0 -1 1077944384 125 0 0 0 5 5 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259742538640 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20437] ppid=20431 vsize=10973400 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20437/stat : 20437 (java) S 20431 20434 19821 0 -1 1077944384 83 0 0 0 3 4 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259741485840 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20438] ppid=20431 vsize=10973400 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20438/stat : 20438 (java) S 20431 20434 19821 0 -1 1077944384 138 0 0 0 4 5 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259388894352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20439] ppid=20431 vsize=10973400 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20439/stat : 20439 (java) S 20431 20434 19821 0 -1 1077944384 89 0 0 0 3 5 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259387841552 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20440] ppid=20431 vsize=10973400 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20440/stat : 20440 (java) S 20431 20434 19821 0 -1 1077944384 145 0 0 0 4 4 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259386788240 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20441] ppid=20431 vsize=10973400 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20441/stat : 20441 (java) S 20431 20434 19821 0 -1 1077944384 89 0 0 0 4 5 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259385735440 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20442] ppid=20431 vsize=10973400 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20442/stat : 20442 (java) S 20431 20434 19821 0 -1 1077944384 143 0 0 0 4 4 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259384683152 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20443] ppid=20431 vsize=10973400 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20443/stat : 20443 (java) S 20431 20434 19821 0 -1 1077944384 278 0 0 0 4 4 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259383630352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20445] ppid=20431 vsize=10973400 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20445/stat : 20445 (java) S 20431 20434 19821 0 -1 1077944384 770 0 0 0 2 2 0 0 20 0 21 0 7108404 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259259005552 140259783789186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20446] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20446/stat : 20446 (java) S 20431 20434 19821 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 21 0 7108405 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259257951584 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20447] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20447/stat : 20447 (java) S 20431 20434 19821 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 21 0 7108405 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259256899200 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20448] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20448/stat : 20448 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259255847504 140259783796635 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20449] ppid=20431 vsize=10973400 CPUtime=2.28 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20449/stat : 20449 (java) S 20431 20434 19821 0 -1 1077944384 8926 0 0 0 227 1 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259254794352 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20450] ppid=20431 vsize=10973400 CPUtime=2.34 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20450/stat : 20450 (java) S 20431 20434 19821 0 -1 1077944384 6932 0 0 0 232 2 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259253741552 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20451] ppid=20431 vsize=10973400 CPUtime=2.4 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20451/stat : 20451 (java) S 20431 20434 19821 0 -1 1077944384 10321 0 0 0 239 1 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259252689264 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20452] ppid=20431 vsize=10973400 CPUtime=1.35 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20452/stat : 20452 (java) S 20431 20434 19821 0 -1 1077944384 16669 0 0 0 132 3 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259251636464 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20453] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20453/stat : 20453 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7108410 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259250584416 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20454] ppid=20431 vsize=10973400 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20454/stat : 20454 (java) S 20431 20434 19821 0 -1 1077944384 1268 0 0 0 28 37 0 0 20 0 21 0 7108410 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259249531696 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20455] ppid=20431 vsize=10973400 CPUtime=2381.71 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20455/stat : 20455 (java) R 20431 20434 19821 0 -1 4202560 21878 0 0 0 238166 5 0 0 20 0 21 0 7108429 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259246339128 140259429629792 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 Current children cumulated CPU time (s) 2391.85 Current children cumulated vsize (KiB) 10973400 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2390.5 s] /proc/loadavg: 2.08 2.05 2.00 3/283 20711 /proc/meminfo: memFree=31309448/32770624 swapFree=5704/277968 [pid=20434] ppid=20431 vsize=10973400 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15 /proc/20434/stat : 20434 (java) S 20431 20434 19821 0 -1 1077944320 74456 0 0 0 239922 84 0 0 20 0 21 0 7108401 11236761600 85060 33554432000 4194304 4196468 140735484130592 140735484113136 140259783778039 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 /proc/20434/statm: 2743350 85060 3182 1 0 2731217 0 [pid=20434/tid=20435] ppid=20431 vsize=10973400 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20435/stat : 20435 (java) S 20431 20434 19821 0 -1 1077944384 5179 0 0 0 25 1 0 0 20 0 21 0 7108401 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259788020912 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20436] ppid=20431 vsize=10973400 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20436/stat : 20436 (java) S 20431 20434 19821 0 -1 1077944384 125 0 0 0 5 5 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259742538640 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20437] ppid=20431 vsize=10973400 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20437/stat : 20437 (java) S 20431 20434 19821 0 -1 1077944384 83 0 0 0 3 4 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259741485840 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20438] ppid=20431 vsize=10973400 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20438/stat : 20438 (java) S 20431 20434 19821 0 -1 1077944384 138 0 0 0 4 5 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259388894352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20439] ppid=20431 vsize=10973400 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20439/stat : 20439 (java) S 20431 20434 19821 0 -1 1077944384 89 0 0 0 3 5 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259387841552 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20440] ppid=20431 vsize=10973400 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20440/stat : 20440 (java) S 20431 20434 19821 0 -1 1077944384 145 0 0 0 4 4 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259386788240 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20441] ppid=20431 vsize=10973400 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20441/stat : 20441 (java) S 20431 20434 19821 0 -1 1077944384 89 0 0 0 4 5 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259385735440 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20442] ppid=20431 vsize=10973400 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20442/stat : 20442 (java) S 20431 20434 19821 0 -1 1077944384 143 0 0 0 4 4 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259384683152 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20443] ppid=20431 vsize=10973400 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20443/stat : 20443 (java) S 20431 20434 19821 0 -1 1077944384 278 0 0 0 4 4 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259383630352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20445] ppid=20431 vsize=10973400 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20445/stat : 20445 (java) S 20431 20434 19821 0 -1 1077944384 770 0 0 0 2 2 0 0 20 0 21 0 7108404 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259259005552 140259783789186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20446] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20446/stat : 20446 (java) S 20431 20434 19821 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 21 0 7108405 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259257951584 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20447] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20447/stat : 20447 (java) S 20431 20434 19821 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 21 0 7108405 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259256899200 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20448] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20448/stat : 20448 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259255847504 140259783796635 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20449] ppid=20431 vsize=10973400 CPUtime=2.28 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20449/stat : 20449 (java) S 20431 20434 19821 0 -1 1077944384 8926 0 0 0 227 1 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259254794352 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20450] ppid=20431 vsize=10973400 CPUtime=2.34 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20450/stat : 20450 (java) S 20431 20434 19821 0 -1 1077944384 6932 0 0 0 232 2 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259253741552 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20451] ppid=20431 vsize=10973400 CPUtime=2.4 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20451/stat : 20451 (java) S 20431 20434 19821 0 -1 1077944384 10321 0 0 0 239 1 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259252689264 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20452] ppid=20431 vsize=10973400 CPUtime=1.35 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20452/stat : 20452 (java) S 20431 20434 19821 0 -1 1077944384 16669 0 0 0 132 3 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259251636464 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20453] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20453/stat : 20453 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7108410 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259250584416 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20454] ppid=20431 vsize=10973400 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20454/stat : 20454 (java) S 20431 20434 19821 0 -1 1077944384 1270 0 0 0 28 37 0 0 20 0 21 0 7108410 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259249531696 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20455] ppid=20431 vsize=10973400 CPUtime=2389.91 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20455/stat : 20455 (java) R 20431 20434 19821 0 -1 4202560 21885 0 0 0 238986 5 0 0 20 0 21 0 7108429 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259246339128 140259429138745 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 10973400 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 20434 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2390.5 s] /proc/loadavg: 2.08 2.05 2.00 3/283 20711 /proc/meminfo: memFree=31309448/32770624 swapFree=5704/277968 [pid=20434] ppid=20431 vsize=10973400 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15 /proc/20434/stat : 20434 (java) S 20431 20434 19821 0 -1 1077944320 74456 0 0 0 239922 84 0 0 20 0 21 0 7108401 11236761600 85060 33554432000 4194304 4196468 140735484130592 140735484113136 140259783778039 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 /proc/20434/statm: 2743350 85060 3182 1 0 2731217 0 [pid=20434/tid=20435] ppid=20431 vsize=10973400 CPUtime=0.26 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20435/stat : 20435 (java) S 20431 20434 19821 0 -1 1077944384 5179 0 0 0 25 1 0 0 20 0 21 0 7108401 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259788020912 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20436] ppid=20431 vsize=10973400 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20436/stat : 20436 (java) S 20431 20434 19821 0 -1 1077944384 125 0 0 0 5 5 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259742538640 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20437] ppid=20431 vsize=10973400 CPUtime=0.07 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20437/stat : 20437 (java) S 20431 20434 19821 0 -1 1077944384 83 0 0 0 3 4 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259741485840 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20438] ppid=20431 vsize=10973400 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20438/stat : 20438 (java) S 20431 20434 19821 0 -1 1077944384 138 0 0 0 4 5 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259388894352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20439] ppid=20431 vsize=10973400 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20439/stat : 20439 (java) S 20431 20434 19821 0 -1 1077944384 89 0 0 0 3 5 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259387841552 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20440] ppid=20431 vsize=10973400 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20440/stat : 20440 (java) S 20431 20434 19821 0 -1 1077944384 145 0 0 0 4 4 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259386788240 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20441] ppid=20431 vsize=10973400 CPUtime=0.09 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20441/stat : 20441 (java) S 20431 20434 19821 0 -1 1077944384 89 0 0 0 4 5 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259385735440 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20442] ppid=20431 vsize=10973400 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20442/stat : 20442 (java) S 20431 20434 19821 0 -1 1077944384 143 0 0 0 4 4 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259384683152 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20443] ppid=20431 vsize=10973400 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20443/stat : 20443 (java) S 20431 20434 19821 0 -1 1077944384 278 0 0 0 4 4 0 0 20 0 21 0 7108402 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259383630352 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20445] ppid=20431 vsize=10973400 CPUtime=0.04 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20445/stat : 20445 (java) S 20431 20434 19821 0 -1 1077944384 770 0 0 0 2 2 0 0 20 0 21 0 7108404 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259259005552 140259783789186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20446] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20446/stat : 20446 (java) S 20431 20434 19821 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 21 0 7108405 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259257951584 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20447] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20447/stat : 20447 (java) S 20431 20434 19821 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 21 0 7108405 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259256899200 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20448] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20448/stat : 20448 (java) S 20431 20434 19821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259255847504 140259783796635 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20449] ppid=20431 vsize=10973400 CPUtime=2.28 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20449/stat : 20449 (java) S 20431 20434 19821 0 -1 1077944384 8926 0 0 0 227 1 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259254794352 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20450] ppid=20431 vsize=10973400 CPUtime=2.34 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20450/stat : 20450 (java) S 20431 20434 19821 0 -1 1077944384 6932 0 0 0 232 2 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259253741552 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20451] ppid=20431 vsize=10973400 CPUtime=2.4 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20451/stat : 20451 (java) S 20431 20434 19821 0 -1 1077944384 10321 0 0 0 239 1 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259252689264 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20452] ppid=20431 vsize=10973400 CPUtime=1.35 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20452/stat : 20452 (java) S 20431 20434 19821 0 -1 1077944384 16669 0 0 0 132 3 0 0 20 0 21 0 7108409 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259251636464 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20453] ppid=20431 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20453/stat : 20453 (java) S 20431 20434 19821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 7108410 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259250584416 140259783788245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20454] ppid=20431 vsize=10973400 CPUtime=0.65 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20454/stat : 20454 (java) S 20431 20434 19821 0 -1 1077944384 1270 0 0 0 28 37 0 0 20 0 21 0 7108410 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259249531696 140259783789186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 [pid=20434/tid=20455] ppid=20431 vsize=10973400 CPUtime=2389.91 cores=1,3,5,7,9,11,13,15 /proc/20434/task/20455/stat : 20455 (java) R 20431 20434 19821 0 -1 4202560 21885 0 0 0 238986 5 0 0 20 0 21 0 7108429 11236761600 85060 33554432000 4194304 4196468 140735484130592 140259246339128 140259429138745 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38768640 140735484134595 140735484134724 140735484134724 140735484137423 0 Current children cumulated CPU time (s) 2400.06 Current children cumulated vsize (KiB) 10973400 Child status: 143 Real time (s): 2390.52 CPU time (s): 2400.08 CPU user time (s): 2399.23 CPU system time (s): 0.850044 CPU usage (%): 100.4 Max. virtual memory (cumulated for all children) (KiB): 10973400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.23 system time used= 0.850044 maximum resident set size= 340912 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74847 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1616 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 55654 involuntary context switches= 120949 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 13.5575 second user time and 17.4884 second system time The end
Begin job on node137 at 2017-07-22 12:13:37 IDJOB=4247466 IDBENCH=127051 IDSOLVER=2624 FILE ID=node137/4247466-1500718417 RUNJOBID= node137-1500715944-19853 PBS_JOBID= 20623358 Free space on /tmp= 62008 MiB SOLVER NAME= AbsCon-basic 2017-06-11 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-084.xml COMMAND LINE= java -jar HOME/AbsCon-basic.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247466-1500718417/watcher-4247466-1500718417 -o /tmp/evaluation-result-4247466-1500718417/solver-4247466-1500718417 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500715944-19853 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4247466-1500718417.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= 0731e2512da3574fe37fc3f03b16a729 RANDOM SEED=500373010 node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1733.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 8 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 0 cpu cores : 4 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2267.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2133.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 13 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 2 cpu cores : 4 apicid : 21 initial apicid : 21 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 14 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 3 cpu cores : 4 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 15 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 3 cpu cores : 4 apicid : 23 initial apicid : 23 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31487168 kB MemAvailable: 31713376 kB Buffers: 128312 kB Cached: 378780 kB SwapCached: 0 kB Active: 565556 kB Inactive: 283652 kB Active(anon): 344820 kB Inactive(anon): 8836 kB Active(file): 220736 kB Inactive(file): 274816 kB Unevictable: 5704 kB Mlocked: 5704 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 8104 kB Writeback: 0 kB AnonPages: 378752 kB Mapped: 43260 kB Shmem: 8852 kB Slab: 126248 kB SReclaimable: 92980 kB SUnreclaim: 33268 kB KernelStack: 4896 kB PageTables: 5868 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1311364 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 258048 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 62000 MiB End job on node137 at 2017-07-22 12:53:28