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) | 333 | 2400.12 | 2379.12 |
| Name | StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml |
| MD5SUM | b46c08097c4951fbb159b9042bff535d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 1196 |
| Best CPU time to get the best result obtained on this benchmark | 2400.09 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5461 |
| Number of constraints | 3008 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 5409 |
| Distribution of domain sizes | [{"size":2,"count":2704},{"size":3,"count":2704},{"size":2501,"count":1},{"size":5409,"count":52}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 53 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":2701},{"degree":3,"count":55},{"degree":4,"count":200},{"degree":8,"count":196},{"degree":9,"count":2304},{"degree":53,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 54 |
| Distribution of constraint arities | [{"arity":2,"count":252},{"arity":3,"count":200},{"arity":10,"count":2500},{"arity":52,"count":4},{"arity":53,"count":1},{"arity":54,"count":51}] |
| Number of extensional constraints | 2700 |
| Number of intensional constraints | 251 |
| Distribution of constraint types | [{"type":"extension","count":2700},{"type":"intension","count":251},{"type":"sum","count":53},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.46/0.33 0.46/0.33 AbsCon 2 0.46/0.33 2.53/1.02 Solving XCSP3-instance-4244731-1500692416 as a COP in -infty..+infty 2.53/1.02 Loading variables... 3.14/1.21 Loading constraints... 19.89/4.35 Solver SolverBacktrack being built... 19.89/4.35 37.25/21.11 Preprocessing : gac=false, ccks=227993479, filters=458, revisions=734 (useless=329), AC=144876, removals=144876, inconsistent=false 37.25/21.11 54.91/37.94 o 0 66.67/47.56 o 1 96.70/76.81 o 4 98.73/78.80 o 5 204.77/184.76 o 94 307.68/287.57 o 95 426.24/406.09 o 140 501.87/481.56 o 193 541.18/520.88 o 212 704.33/683.96 o 236 958.91/938.42 o 296 970.31/949.80 o 297 1082.76/1062.20 o 313 1638.39/1617.79 o 328 1950.53/1929.74 o 329 2335.55/2314.65 o 333 2400.08/2379.10 2400.08/2379.10 v <instantiation id='sol16' type='solution' cost='333'> <list> x[][] w[][] ws[] z </list> <values> 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 1 2 1 2 1 1 2 1 2 1 1 2 0 1 1 0 2 1 1 2 0 1 0 0 0 1 1 2 1 1 1 1 0 0 1 0 1 0 0 0 1 1 2 1 1 0 0 0 1 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 0 0 0 0 0 2 2 2 2 1 0 1 0 1 0 0 0 0 1 0 2 2 2 0 1 0 0 0 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 1 0 1 0 0 1 1 2 2 1 1 0 0 0 0 1 0 0 1 1 2 2 2 2 2 1 1 0 0 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 1 0 1 1 0 2 1 1 2 2 1 0 0 1 0 1 1 1 0 1 1 2 2 2 2 2 2 2 1 0 1 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 0 0 2 2 2 2 2 0 1 0 0 0 1 0 2 1 0 0 2 2 2 2 2 2 2 2 2 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 0 1 1 2 2 2 1 1 0 0 1 1 0 2 2 2 0 2 0 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 0 1 2 2 2 2 0 2 0 0 0 1 0 2 2 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 1 0 2 2 2 2 0 1 0 0 0 1 1 2 0 1 0 0 1 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 0 1 1 0 1 1 2 2 1 1 0 0 1 0 0 1 0 2 0 0 0 1 0 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 0 0 0 1 1 2 0 1 0 0 1 0 1 0 0 2 0 1 1 0 0 1 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 1 0 0 1 0 2 1 1 0 0 1 1 2 1 0 0 0 2 2 0 1 1 0 2 2 1 2 1 2 2 2 2 1 1 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 1 1 0 1 2 2 2 0 1 0 1 2 2 2 1 1 2 2 2 2 1 1 2 2 0 1 0 1 1 2 2 2 1 1 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 1 2 2 2 2 2 2 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 1 1 0 0 0 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 0 2 2 2 2 2 2 2 2 2 0 0 1 1 1 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 0 0 1 2 2 2 2 2 2 2 1 1 0 0 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 0 1 2 2 2 2 2 2 2 2 1 0 0 1 1 2 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 0 0 1 1 2 2 2 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 0 0 1 2 2 1 1 1 0 1 1 2 2 2 2 2 2 1 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 1 0 1 0 1 2 2 2 2 2 2 0 1 0 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 0 0 1 1 2 2 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 0 1 0 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 1 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 1 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 1 2 0 0 1 2 2 2 2 2 2 0 2 0 1 1 2 2 2 2 2 2 2 2 0 0 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 0 1 1 0 0 2 2 2 2 2 2 0 2 0 2 1 2 2 2 2 2 2 2 2 1 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 1 1 0 1 1 2 2 2 2 1 0 0 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 1 1 2 1 1 2 2 2 2 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 1 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 2 2 2 2 2 0 0 0 0 1 2 2 2 2 2 1 2 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 0 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 0 0 0 1 2 2 2 1 1 0 0 0 1 0 2 2 2 0 1 0 2 2 1 1 2 2 2 2 2 2 2 2 2 1 0 1 1 2 2 2 2 2 1 1 1 0 1 2 2 2 2 0 2 0 1 0 1 2 2 0 0 1 0 0 0 0 0 2 1 1 2 1 1 2 1 1 2 2 2 1 2 2 2 2 1 1 0 1 2 2 2 2 2 1 1 0 0 1 1 2 2 2 0 2 0 2 0 1 1 0 1 1 0 0 1 0 0 0 1 1 2 0 1 0 2 2 1 1 2 2 0 1 0 2 2 2 1 0 1 1 2 2 2 2 2 1 0 1 1 1 2 2 2 1 0 0 2 2 2 1 0 1 0 1 0 0 0 0 0 0 0 0 2 2 1 2 2 2 1 1 2 1 1 0 1 1 2 2 2 1 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 0 1 1 2 2 2 1 0 1 0 1 0 0 0 0 0 0 1 1 2 2 2 2 2 1 1 2 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 1 1 2 2 2 1 1 2 0 1 0 0 1 0 0 1 2 2 2 2 2 2 1 1 1 1 0 0 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 0 0 0 0 0 0 2 1 2 2 2 2 0 0 1 0 0 1 2 2 2 2 2 2 2 1 1 2 1 1 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 0 0 0 0 0 2 0 1 1 2 2 2 0 0 0 0 0 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 1 2 2 1 2 0 0 0 1 2 2 1 1 0 0 0 1 1 2 2 2 2 2 2 2 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 18 32 45 90 150 214 283 356 435 514 588 657 721 787 862 942 1027 1112 1201 1290 1373 1456 1540 1628 1716 1804 1893 1988 2077 2152 2231 2313 2395 2486 2586 2688 2788 2885 2980 3069 3154 3236 3308 3372 3430 3487 3553 3622 3687 3750 3826 3868 333 </values> </instantiation> 2400.08/2379.11 s SATISFIABLE
OK 333
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-4244731-1500692416/watcher-4244731-1500692416 -o /tmp/evaluation-result-4244731-1500692416/solver-4244731-1500692416 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500683214-16562 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4244731-1500692416.xml pid=18071 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: 2.01 2.02 2.05 3/262 18074 /proc/meminfo: memFree=31657872/32770624 swapFree=5944/266388 [pid=18074] ppid=18071 vsize=8354884 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/stat : 18074 (java) S 18071 18074 16530 0 -1 1077944320 2242 0 0 0 0 0 0 0 20 0 7 0 4511712 8555401216 2508 33554432000 4194304 4196468 140731534640928 140731534623472 140253308489463 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 /proc/18074/statm: 2088721 2508 1209 1 0 2077632 0 [pid=18074/tid=18075] ppid=18071 vsize=8357968 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18075/stat : 18075 (java) R 18071 18074 16530 0 -1 4202560 947 0 0 0 0 0 0 0 20 0 10 0 4511712 8558559232 2508 33554432000 4194304 4196468 140731534640928 140253312730832 140253308501398 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18076] ppid=18071 vsize=8882256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18076/stat : 18076 (java) D 18071 18074 16530 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 4511713 9095430144 2508 33554432000 4194304 4196468 140731534640928 140253234563512 140253300717283 0 4 0 16784584 18446744071582151416 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18077] ppid=18071 vsize=8751184 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18077/stat : 18077 (java) D 18071 18074 16530 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 4511713 8961212416 2508 33554432000 4194304 4196468 140731534640928 140253233511408 140253301283536 0 4 0 16784584 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18078] ppid=18071 vsize=8751184 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18078/stat : 18078 (java) D 18071 18074 16530 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 4511713 8961212416 2508 33554432000 4194304 4196468 140731534640928 140253232458424 140253300717283 0 4 0 16784584 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18079] ppid=18071 vsize=8882256 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18079/stat : 18079 (java) R 18071 18074 16530 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 4511713 9095430144 2508 33554432000 4194304 4196468 140731534640928 140252912020024 140253300717283 0 4 0 16784584 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18080] ppid=18071 vsize=8816720 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18080/stat : 18080 (java) R 18071 18074 16530 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 4511713 9028321280 2508 33554432000 4194304 4196468 140731534640928 140252910966712 140253308515876 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18081] ppid=18071 vsize=9131088 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18081/stat : 18081 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 4511713 9350234112 2508 33554432000 4194304 4196468 140731534640928 140252909914384 140253308499669 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18082] ppid=18071 vsize=9147248 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18082/stat : 18082 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 4511713 9366781952 2537 33554432000 4194304 4196468 140731534640928 140252908862096 140253308499669 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18083] ppid=18071 vsize=10204016 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18083/stat : 18083 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 4511713 10448912384 2537 33554432000 4194304 4196468 140731534640928 140252907809296 140253308499669 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [startup+0.10013 s] /proc/loadavg: 2.01 2.02 2.05 3/262 18074 /proc/meminfo: memFree=31657872/32770624 swapFree=5944/266388 [pid=18074] ppid=18071 vsize=10900580 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/18074/stat : 18074 (java) S 18071 18074 16530 0 -1 1077944320 4885 0 0 0 9 1 0 0 20 0 20 0 4511712 11162193920 5970 33554432000 4194304 4196468 140731534640928 140731534623472 140253308489463 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 /proc/18074/statm: 2725114 5980 2635 1 0 2713552 0 [pid=18074/tid=18075] ppid=18071 vsize=10900456 CPUtime=0.08 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18075/stat : 18075 (java) R 18071 18074 16530 0 -1 4202560 2958 0 0 0 7 1 0 0 20 0 20 0 4511712 11162066944 5980 33554432000 4194304 4196468 140731534640928 140253312726192 140253308511485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18076] ppid=18071 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18076/stat : 18076 (java) S 18071 18074 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4511713 11162066944 5980 33554432000 4194304 4196468 140731534640928 140253234563984 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18077] ppid=18071 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18077/stat : 18077 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4511713 11162066944 5980 33554432000 4194304 4196468 140731534640928 140253233511184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18078] ppid=18071 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18078/stat : 18078 (java) S 18071 18074 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4511713 11162066944 5980 33554432000 4194304 4196468 140731534640928 140253232458896 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18079] ppid=18071 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18079/stat : 18079 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4511713 11162066944 5980 33554432000 4194304 4196468 140731534640928 140252912020496 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18080] ppid=18071 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18080/stat : 18080 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4511713 11162066944 5980 33554432000 4194304 4196468 140731534640928 140252910967184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18081] ppid=18071 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18081/stat : 18081 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4511713 11162066944 5980 33554432000 4194304 4196468 140731534640928 140252909914384 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18082] ppid=18071 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18082/stat : 18082 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4511713 11162066944 5980 33554432000 4194304 4196468 140731534640928 140252908862096 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18083] ppid=18071 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18083/stat : 18083 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4511713 11162066944 5980 33554432000 4194304 4196468 140731534640928 140252907809296 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10900580 [startup+0.200933 s] /proc/loadavg: 2.01 2.02 2.05 3/262 18074 /proc/meminfo: memFree=31657872/32770624 swapFree=5944/266388 [pid=18074] ppid=18071 vsize=10900580 CPUtime=0.27 cores=1,3,5,7,9,11,13,15 /proc/18074/stat : 18074 (java) S 18071 18074 16530 0 -1 1077944320 6082 0 0 0 25 2 0 0 20 0 20 0 4511712 11162193920 7574 33554432000 4194304 4196468 140731534640928 140731534623472 140253308489463 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 /proc/18074/statm: 2725145 7574 2870 1 0 2713552 0 [pid=18074/tid=18075] ppid=18071 vsize=10900580 CPUtime=0.18 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18075/stat : 18075 (java) R 18071 18074 16530 0 -1 4202560 3308 0 0 0 17 1 0 0 20 0 20 0 4511712 11162193920 7574 33554432000 4194304 4196468 140731534640928 140253312719584 140252912176132 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18076] ppid=18071 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18076/stat : 18076 (java) S 18071 18074 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4511713 11162193920 7574 33554432000 4194304 4196468 140731534640928 140253234563984 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18077] ppid=18071 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18077/stat : 18077 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4511713 11162193920 7574 33554432000 4194304 4196468 140731534640928 140253233511184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18078] ppid=18071 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18078/stat : 18078 (java) S 18071 18074 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4511713 11162193920 7574 33554432000 4194304 4196468 140731534640928 140253232458896 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18079] ppid=18071 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18079/stat : 18079 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4511713 11162193920 7574 33554432000 4194304 4196468 140731534640928 140252912020496 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18080] ppid=18071 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18080/stat : 18080 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4511713 11162193920 7574 33554432000 4194304 4196468 140731534640928 140252910967184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18081] ppid=18071 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18081/stat : 18081 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4511713 11162193920 7574 33554432000 4194304 4196468 140731534640928 140252909914384 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18082] ppid=18071 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18082/stat : 18082 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4511713 11162193920 7574 33554432000 4194304 4196468 140731534640928 140252908862096 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18083] ppid=18071 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18083/stat : 18083 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4511713 11162193920 7574 33554432000 4194304 4196468 140731534640928 140252907809296 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 10900580 [startup+0.301215 s] /proc/loadavg: 2.01 2.02 2.05 3/262 18074 /proc/meminfo: memFree=31657872/32770624 swapFree=5944/266388 [pid=18074] ppid=18071 vsize=10902664 CPUtime=0.46 cores=1,3,5,7,9,11,13,15 /proc/18074/stat : 18074 (java) S 18071 18074 16530 0 -1 1077944320 8022 0 0 0 43 3 0 0 20 0 20 0 4511712 11164327936 10308 33554432000 4194304 4196468 140731534640928 140731534623472 140253308489463 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 /proc/18074/statm: 2725666 10308 2911 1 0 2713552 0 [pid=18074/tid=18075] ppid=18071 vsize=10902664 CPUtime=0.28 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18075/stat : 18075 (java) R 18071 18074 16530 0 -1 4202560 5095 0 0 0 26 2 0 0 20 0 20 0 4511712 11164327936 10308 33554432000 4194304 4196468 140731534640928 140253312726672 140253308501398 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18076] ppid=18071 vsize=10902664 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18076/stat : 18076 (java) S 18071 18074 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4511713 11164327936 10308 33554432000 4194304 4196468 140731534640928 140253234563984 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18077] ppid=18071 vsize=10902664 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18077/stat : 18077 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4511713 11164327936 10308 33554432000 4194304 4196468 140731534640928 140253233511184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18078] ppid=18071 vsize=10902664 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18078/stat : 18078 (java) S 18071 18074 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4511713 11164327936 10308 33554432000 4194304 4196468 140731534640928 140253232458896 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18079] ppid=18071 vsize=10902664 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18079/stat : 18079 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4511713 11164327936 10308 33554432000 4194304 4196468 140731534640928 140252912020496 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18080] ppid=18071 vsize=10902664 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18080/stat : 18080 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4511713 11164327936 10308 33554432000 4194304 4196468 140731534640928 140252910967184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18081] ppid=18071 vsize=10902664 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18081/stat : 18081 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4511713 11164327936 10308 33554432000 4194304 4196468 140731534640928 140252909914384 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18082] ppid=18071 vsize=10902664 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18082/stat : 18082 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4511713 11164327936 10308 33554432000 4194304 4196468 140731534640928 140252908862096 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18083] ppid=18071 vsize=10902664 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18083/stat : 18083 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4511713 11164327936 10308 33554432000 4194304 4196468 140731534640928 140252907809296 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 10902664 [startup+0.700647 s] /proc/loadavg: 2.01 2.02 2.05 3/262 18074 /proc/meminfo: memFree=31657872/32770624 swapFree=5944/266388 [pid=18074] ppid=18071 vsize=10971352 CPUtime=1.46 cores=1,3,5,7,9,11,13,15 /proc/18074/stat : 18074 (java) S 18071 18074 16530 0 -1 1077944320 12309 0 0 0 141 5 0 0 20 0 21 0 4511712 11234664448 20526 33554432000 4194304 4196468 140731534640928 140731534623472 140253308489463 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 /proc/18074/statm: 2742838 20526 3101 1 0 2730705 0 [pid=18074/tid=18075] ppid=18071 vsize=10971352 CPUtime=0.3 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18075/stat : 18075 (java) S 18071 18074 16530 0 -1 1077944384 5162 0 0 0 28 2 0 0 20 0 21 0 4511712 11234664448 20526 33554432000 4194304 4196468 140731534640928 140253312732336 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18076] ppid=18071 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18076/stat : 18076 (java) S 18071 18074 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4511713 11234664448 20526 33554432000 4194304 4196468 140731534640928 140253234563984 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18077] ppid=18071 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18077/stat : 18077 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4511713 11234664448 20526 33554432000 4194304 4196468 140731534640928 140253233511184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18078] ppid=18071 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18078/stat : 18078 (java) S 18071 18074 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4511713 11234664448 20526 33554432000 4194304 4196468 140731534640928 140253232458896 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18079] ppid=18071 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18079/stat : 18079 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4511713 11234664448 20526 33554432000 4194304 4196468 140731534640928 140252912020496 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18080] ppid=18071 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18080/stat : 18080 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4511713 11234664448 20526 33554432000 4194304 4196468 140731534640928 140252910967184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18081] ppid=18071 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18081/stat : 18081 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4511713 11234664448 20526 33554432000 4194304 4196468 140731534640928 140252909914384 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18082] ppid=18071 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18082/stat : 18082 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4511713 11234664448 20526 33554432000 4194304 4196468 140731534640928 140252908862096 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18083] ppid=18071 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18083/stat : 18083 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4511713 11234664448 20526 33554432000 4194304 4196468 140731534640928 140252907809296 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 10971352 [startup+1.50091 s] /proc/loadavg: 2.01 2.02 2.05 7/283 18095 /proc/meminfo: memFree=31540756/32770624 swapFree=5944/266388 [pid=18074] ppid=18071 vsize=10973400 CPUtime=3.83 cores=1,3,5,7,9,11,13,15 /proc/18074/stat : 18074 (java) S 18071 18074 16530 0 -1 1077944320 16531 0 0 0 375 8 0 0 20 0 21 0 4511712 11236761600 43057 33554432000 4194304 4196468 140731534640928 140731534623472 140253308489463 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 /proc/18074/statm: 2743350 43057 3131 1 0 2731217 0 [pid=18074/tid=18075] ppid=18071 vsize=10973400 CPUtime=0.3 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18075/stat : 18075 (java) S 18071 18074 16530 0 -1 1077944384 5162 0 0 0 28 2 0 0 20 0 21 0 4511712 11236761600 43057 33554432000 4194304 4196468 140731534640928 140253312732336 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18076] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18076/stat : 18076 (java) S 18071 18074 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4511713 11236761600 43057 33554432000 4194304 4196468 140731534640928 140253234563984 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18077] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18077/stat : 18077 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4511713 11236761600 43057 33554432000 4194304 4196468 140731534640928 140253233511184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18078] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18078/stat : 18078 (java) S 18071 18074 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 4511713 11236761600 43057 33554432000 4194304 4196468 140731534640928 140253232458896 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18079] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18079/stat : 18079 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4511713 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252912020496 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18080] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18080/stat : 18080 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4511713 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252910967184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18081] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18081/stat : 18081 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4511713 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252909914384 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18082] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18082/stat : 18082 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4511713 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252908862096 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18083] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18083/stat : 18083 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4511713 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252907809296 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18085] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18085/stat : 18085 (java) S 18071 18074 16530 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 21 0 4511715 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252783786608 140253308500610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18086] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18086/stat : 18086 (java) S 18071 18074 16530 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 4511716 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252782732576 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18087] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18087/stat : 18087 (java) S 18071 18074 16530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 4511716 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252781680240 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18088] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18088/stat : 18088 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4511720 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252780628560 140253308508059 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18089] ppid=18071 vsize=10973400 CPUtime=0.58 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18089/stat : 18089 (java) S 18071 18074 16530 0 -1 1077944384 1759 0 0 0 58 0 0 0 20 0 21 0 4511720 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252779575408 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18090] ppid=18071 vsize=10973400 CPUtime=0.52 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18090/stat : 18090 (java) S 18071 18074 16530 0 -1 1077944384 1485 0 0 0 52 0 0 0 20 0 21 0 4511720 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252778522608 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18091] ppid=18071 vsize=10973400 CPUtime=0.53 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18091/stat : 18091 (java) R 18071 18074 16530 0 -1 4202560 1062 0 0 0 52 1 0 0 20 0 21 0 4511720 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252777470616 140253291988855 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18092] ppid=18071 vsize=10973400 CPUtime=0.68 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18092/stat : 18092 (java) S 18071 18074 16530 0 -1 1077944384 3023 0 0 0 68 0 0 0 20 0 21 0 4511720 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252776417520 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18093] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18093/stat : 18093 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4511720 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252775365472 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18094] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18094/stat : 18094 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4511721 11236761600 43057 33554432000 4194304 4196468 140731534640928 140252774312752 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18095] ppid=18071 vsize=10973400 CPUtime=1.15 cores=1,3,5,7,9,11,13,15 ################ # More data... # ################ [pid=18074/tid=18094] ppid=18071 vsize=10973400 CPUtime=0.71 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18094/stat : 18094 (java) S 18071 18074 16530 0 -1 1077944384 1463 0 0 0 35 36 0 0 20 0 21 0 4511721 11236761600 313942 33554432000 4194304 4196468 140731534640928 140252774312752 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18095] ppid=18071 vsize=10973400 CPUtime=2259.73 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18095/stat : 18095 (java) R 18071 18074 16530 0 -1 4202560 78451 0 0 0 225962 11 0 0 20 0 21 0 4511744 11236761600 313942 33554432000 4194304 4196468 140731534640928 140252771123384 140252921452092 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 Current children cumulated CPU time (s) 2283.24 Current children cumulated vsize (KiB) 10973400 [startup+2322.3 s] /proc/loadavg: 2.04 2.04 2.05 3/283 18271 /proc/meminfo: memFree=30266664/32770624 swapFree=5944/269284 [pid=18074] ppid=18071 vsize=10973400 CPUtime=2343.25 cores=1,3,5,7,9,11,13,15 /proc/18074/stat : 18074 (java) S 18071 18074 16530 0 -1 1077944320 167060 0 0 0 233873 452 0 0 20 0 21 0 4511712 11236761600 314454 33554432000 4194304 4196468 140731534640928 140731534623472 140253308489463 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 /proc/18074/statm: 2743350 314454 3198 1 0 2731217 0 [pid=18074/tid=18075] ppid=18071 vsize=10973400 CPUtime=0.3 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18075/stat : 18075 (java) S 18071 18074 16530 0 -1 1077944384 5162 0 0 0 28 2 0 0 20 0 21 0 4511712 11236761600 314454 33554432000 4194304 4196468 140731534640928 140253312732336 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18076] ppid=18071 vsize=10973400 CPUtime=1.8 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18076/stat : 18076 (java) S 18071 18074 16530 0 -1 1077944384 1483 0 0 0 130 50 0 0 20 0 21 0 4511713 11236761600 314454 33554432000 4194304 4196468 140731534640928 140253234563984 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18077] ppid=18071 vsize=10973400 CPUtime=1.81 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18077/stat : 18077 (java) S 18071 18074 16530 0 -1 1077944384 1749 0 0 0 131 50 0 0 20 0 21 0 4511713 11236761600 314454 33554432000 4194304 4196468 140731534640928 140253233511184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18078] ppid=18071 vsize=10973400 CPUtime=1.79 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18078/stat : 18078 (java) S 18071 18074 16530 0 -1 1077944384 1867 0 0 0 129 50 0 0 20 0 21 0 4511713 11236761600 314454 33554432000 4194304 4196468 140731534640928 140253232458896 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18079] ppid=18071 vsize=10973400 CPUtime=1.8 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18079/stat : 18079 (java) S 18071 18074 16530 0 -1 1077944384 1462 0 0 0 132 48 0 0 20 0 21 0 4511713 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252912020496 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18080] ppid=18071 vsize=10973400 CPUtime=1.81 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18080/stat : 18080 (java) S 18071 18074 16530 0 -1 1077944384 1606 0 0 0 131 50 0 0 20 0 21 0 4511713 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252910967184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18081] ppid=18071 vsize=10973400 CPUtime=1.81 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18081/stat : 18081 (java) S 18071 18074 16530 0 -1 1077944384 1677 0 0 0 131 50 0 0 20 0 21 0 4511713 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252909914384 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18082] ppid=18071 vsize=10973400 CPUtime=1.75 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18082/stat : 18082 (java) S 18071 18074 16530 0 -1 1077944384 1604 0 0 0 129 46 0 0 20 0 21 0 4511713 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252908862096 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18083] ppid=18071 vsize=10973400 CPUtime=1.81 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18083/stat : 18083 (java) S 18071 18074 16530 0 -1 1077944384 1954 0 0 0 133 48 0 0 20 0 21 0 4511713 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252907809296 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18085] ppid=18071 vsize=10973400 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18085/stat : 18085 (java) S 18071 18074 16530 0 -1 1077944384 5398 0 0 0 8 2 0 0 20 0 21 0 4511715 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252783786608 140253308500610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18086] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18086/stat : 18086 (java) S 18071 18074 16530 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 21 0 4511716 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252782732640 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18087] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18087/stat : 18087 (java) S 18071 18074 16530 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 21 0 4511716 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252781680256 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18088] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18088/stat : 18088 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4511720 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252780628560 140253308508059 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18089] ppid=18071 vsize=10973400 CPUtime=1.89 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18089/stat : 18089 (java) S 18071 18074 16530 0 -1 1077944384 10904 0 0 0 187 2 0 0 20 0 21 0 4511720 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252779575408 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18090] ppid=18071 vsize=10973400 CPUtime=3.06 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18090/stat : 18090 (java) S 18071 18074 16530 0 -1 1077944384 19419 0 0 0 302 4 0 0 20 0 21 0 4511720 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252778522608 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18091] ppid=18071 vsize=10973400 CPUtime=1.81 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18091/stat : 18091 (java) S 18071 18074 16530 0 -1 1077944384 10561 0 0 0 178 3 0 0 20 0 21 0 4511720 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252777470320 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18092] ppid=18071 vsize=10973400 CPUtime=1.11 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18092/stat : 18092 (java) S 18071 18074 16530 0 -1 1077944384 19837 0 0 0 109 2 0 0 20 0 21 0 4511720 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252776417520 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18093] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18093/stat : 18093 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4511720 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252775365472 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18094] ppid=18071 vsize=10973400 CPUtime=0.73 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18094/stat : 18094 (java) S 18071 18074 16530 0 -1 1077944384 1500 0 0 0 36 37 0 0 20 0 21 0 4511721 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252774312752 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18095] ppid=18071 vsize=10973400 CPUtime=2319.72 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18095/stat : 18095 (java) R 18071 18074 16530 0 -1 4202560 79462 0 0 0 231961 11 0 0 20 0 21 0 4511744 11236761600 314454 33554432000 4194304 4196468 140731534640928 140252771119632 140252921322679 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 Current children cumulated CPU time (s) 2343.25 Current children cumulated vsize (KiB) 10973400 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2379.1 s] /proc/loadavg: 2.02 2.03 2.05 3/283 18272 /proc/meminfo: memFree=30264692/32770624 swapFree=5944/269320 [pid=18074] ppid=18071 vsize=10973400 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15 /proc/18074/stat : 18074 (java) S 18071 18074 16530 0 -1 1077944320 167975 0 0 0 239555 453 0 0 20 0 21 0 4511712 11236761600 314966 33554432000 4194304 4196468 140731534640928 140731534623472 140253308489463 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 /proc/18074/statm: 2743350 314966 3198 1 0 2731217 0 [pid=18074/tid=18075] ppid=18071 vsize=10973400 CPUtime=0.3 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18075/stat : 18075 (java) S 18071 18074 16530 0 -1 1077944384 5162 0 0 0 28 2 0 0 20 0 21 0 4511712 11236761600 314966 33554432000 4194304 4196468 140731534640928 140253312732336 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18076] ppid=18071 vsize=10973400 CPUtime=1.8 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18076/stat : 18076 (java) S 18071 18074 16530 0 -1 1077944384 1483 0 0 0 130 50 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140253234563984 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18077] ppid=18071 vsize=10973400 CPUtime=1.81 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18077/stat : 18077 (java) S 18071 18074 16530 0 -1 1077944384 1749 0 0 0 131 50 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140253233511184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18078] ppid=18071 vsize=10973400 CPUtime=1.79 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18078/stat : 18078 (java) S 18071 18074 16530 0 -1 1077944384 1867 0 0 0 129 50 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140253232458896 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18079] ppid=18071 vsize=10973400 CPUtime=1.8 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18079/stat : 18079 (java) S 18071 18074 16530 0 -1 1077944384 1462 0 0 0 132 48 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252912020496 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18080] ppid=18071 vsize=10973400 CPUtime=1.81 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18080/stat : 18080 (java) S 18071 18074 16530 0 -1 1077944384 1606 0 0 0 131 50 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252910967184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18081] ppid=18071 vsize=10973400 CPUtime=1.81 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18081/stat : 18081 (java) S 18071 18074 16530 0 -1 1077944384 1677 0 0 0 131 50 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252909914384 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18082] ppid=18071 vsize=10973400 CPUtime=1.75 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18082/stat : 18082 (java) S 18071 18074 16530 0 -1 1077944384 1604 0 0 0 129 46 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252908862096 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18083] ppid=18071 vsize=10973400 CPUtime=1.81 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18083/stat : 18083 (java) S 18071 18074 16530 0 -1 1077944384 1954 0 0 0 133 48 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252907809296 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18085] ppid=18071 vsize=10973400 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18085/stat : 18085 (java) S 18071 18074 16530 0 -1 1077944384 5408 0 0 0 8 2 0 0 20 0 21 0 4511715 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252783786608 140253308500610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18086] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18086/stat : 18086 (java) S 18071 18074 16530 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 21 0 4511716 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252782732640 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18087] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18087/stat : 18087 (java) S 18071 18074 16530 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 21 0 4511716 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252781680256 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18088] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18088/stat : 18088 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4511720 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252780628560 140253308508059 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18089] ppid=18071 vsize=10973400 CPUtime=1.89 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18089/stat : 18089 (java) S 18071 18074 16530 0 -1 1077944384 10906 0 0 0 187 2 0 0 20 0 21 0 4511720 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252779575408 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18090] ppid=18071 vsize=10973400 CPUtime=3.07 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18090/stat : 18090 (java) S 18071 18074 16530 0 -1 1077944384 19587 0 0 0 303 4 0 0 20 0 21 0 4511720 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252778522608 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18091] ppid=18071 vsize=10973400 CPUtime=1.82 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18091/stat : 18091 (java) S 18071 18074 16530 0 -1 1077944384 10573 0 0 0 179 3 0 0 20 0 21 0 4511720 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252777470320 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18092] ppid=18071 vsize=10973400 CPUtime=1.11 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18092/stat : 18092 (java) S 18071 18074 16530 0 -1 1077944384 19840 0 0 0 109 2 0 0 20 0 21 0 4511720 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252776417520 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18093] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18093/stat : 18093 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4511720 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252775365472 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18094] ppid=18071 vsize=10973400 CPUtime=0.75 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18094/stat : 18094 (java) S 18071 18074 16530 0 -1 1077944384 1535 0 0 0 37 38 0 0 20 0 21 0 4511721 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252774312752 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18095] ppid=18071 vsize=10973400 CPUtime=2376.51 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18095/stat : 18095 (java) R 18071 18074 16530 0 -1 4202560 80147 0 0 0 237640 11 0 0 20 0 21 0 4511744 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252771119976 140252921542069 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 10973400 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 18074 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+2379.1 s] /proc/loadavg: 2.02 2.03 2.05 3/283 18272 /proc/meminfo: memFree=30264692/32770624 swapFree=5944/269320 [pid=18074] ppid=18071 vsize=10973400 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15 /proc/18074/stat : 18074 (java) S 18071 18074 16530 0 -1 1077944320 167975 0 0 0 239555 453 0 0 20 0 21 0 4511712 11236761600 314966 33554432000 4194304 4196468 140731534640928 140731534623472 140253308489463 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 /proc/18074/statm: 2743350 314966 3198 1 0 2731217 0 [pid=18074/tid=18075] ppid=18071 vsize=10973400 CPUtime=0.3 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18075/stat : 18075 (java) S 18071 18074 16530 0 -1 1077944384 5162 0 0 0 28 2 0 0 20 0 21 0 4511712 11236761600 314966 33554432000 4194304 4196468 140731534640928 140253312732336 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18076] ppid=18071 vsize=10973400 CPUtime=1.8 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18076/stat : 18076 (java) S 18071 18074 16530 0 -1 1077944384 1483 0 0 0 130 50 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140253234563984 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18077] ppid=18071 vsize=10973400 CPUtime=1.81 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18077/stat : 18077 (java) S 18071 18074 16530 0 -1 1077944384 1749 0 0 0 131 50 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140253233511184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18078] ppid=18071 vsize=10973400 CPUtime=1.79 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18078/stat : 18078 (java) S 18071 18074 16530 0 -1 1077944384 1867 0 0 0 129 50 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140253232458896 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18079] ppid=18071 vsize=10973400 CPUtime=1.8 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18079/stat : 18079 (java) S 18071 18074 16530 0 -1 1077944384 1462 0 0 0 132 48 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252912020496 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18080] ppid=18071 vsize=10973400 CPUtime=1.81 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18080/stat : 18080 (java) S 18071 18074 16530 0 -1 1077944384 1606 0 0 0 131 50 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252910967184 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18081] ppid=18071 vsize=10973400 CPUtime=1.81 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18081/stat : 18081 (java) S 18071 18074 16530 0 -1 1077944384 1677 0 0 0 131 50 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252909914384 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18082] ppid=18071 vsize=10973400 CPUtime=1.75 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18082/stat : 18082 (java) S 18071 18074 16530 0 -1 1077944384 1604 0 0 0 129 46 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252908862096 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18083] ppid=18071 vsize=10973400 CPUtime=1.81 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18083/stat : 18083 (java) S 18071 18074 16530 0 -1 1077944384 1954 0 0 0 133 48 0 0 20 0 21 0 4511713 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252907809296 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18085] ppid=18071 vsize=10973400 CPUtime=0.1 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18085/stat : 18085 (java) S 18071 18074 16530 0 -1 1077944384 5408 0 0 0 8 2 0 0 20 0 21 0 4511715 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252783786608 140253308500610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18086] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18086/stat : 18086 (java) S 18071 18074 16530 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 21 0 4511716 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252782732640 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18087] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18087/stat : 18087 (java) S 18071 18074 16530 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 21 0 4511716 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252781680256 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18088] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18088/stat : 18088 (java) S 18071 18074 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 4511720 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252780628560 140253308508059 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18089] ppid=18071 vsize=10973400 CPUtime=1.89 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18089/stat : 18089 (java) S 18071 18074 16530 0 -1 1077944384 10906 0 0 0 187 2 0 0 20 0 21 0 4511720 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252779575408 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18090] ppid=18071 vsize=10973400 CPUtime=3.07 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18090/stat : 18090 (java) S 18071 18074 16530 0 -1 1077944384 19587 0 0 0 303 4 0 0 20 0 21 0 4511720 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252778522608 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18091] ppid=18071 vsize=10973400 CPUtime=1.82 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18091/stat : 18091 (java) S 18071 18074 16530 0 -1 1077944384 10573 0 0 0 179 3 0 0 20 0 21 0 4511720 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252777470320 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18092] ppid=18071 vsize=10973400 CPUtime=1.11 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18092/stat : 18092 (java) S 18071 18074 16530 0 -1 1077944384 19840 0 0 0 109 2 0 0 20 0 21 0 4511720 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252776417520 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18093] ppid=18071 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18093/stat : 18093 (java) S 18071 18074 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 4511720 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252775365472 140253308499669 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18094] ppid=18071 vsize=10973400 CPUtime=0.75 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18094/stat : 18094 (java) S 18071 18074 16530 0 -1 1077944384 1535 0 0 0 37 38 0 0 20 0 21 0 4511721 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252774312752 140253308500610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 [pid=18074/tid=18095] ppid=18071 vsize=10973400 CPUtime=2376.51 cores=1,3,5,7,9,11,13,15 /proc/18074/task/18095/stat : 18095 (java) R 18071 18074 16530 0 -1 4202560 80147 0 0 0 237640 11 0 0 20 0 21 0 4511744 11236761600 314966 33554432000 4194304 4196468 140731534640928 140252771119976 140252921542069 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 26361856 140731534644419 140731534644548 140731534644548 140731534647247 0 Current children cumulated CPU time (s) 2400.08 Current children cumulated vsize (KiB) 10973400 Child status: 143 Real time (s): 2379.12 CPU time (s): 2400.12 CPU user time (s): 2395.57 CPU system time (s): 4.55004 CPU usage (%): 100.883 Max. virtual memory (cumulated for all children) (KiB): 10973400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2395.57 system time used= 4.55004 maximum resident set size= 1268848 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 168391 page faults= 0 swaps= 0 block input operations= 0 block output operations= 1928 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 57577 involuntary context switches= 121206 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 15.5445 second user time and 16.427 second system time The end
Begin job on node102 at 2017-07-22 05:00:16 IDJOB=4244731 IDBENCH=115882 IDSOLVER=2624 FILE ID=node102/4244731-1500692416 RUNJOBID= node102-1500683214-16562 PBS_JOBID= 20623336 Free space on /tmp= 61880 MiB SOLVER NAME= AbsCon-basic 2017-06-11 BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-50.xml COMMAND LINE= java -jar HOME/AbsCon-basic.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244731-1500692416/watcher-4244731-1500692416 -o /tmp/evaluation-result-4244731-1500692416/solver-4244731-1500692416 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500683214-16562 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4244731-1500692416.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 8 MD5SUM BENCH= b46c08097c4951fbb159b9042bff535d RANDOM SEED=583847764 node102.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 : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 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 : 1867.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 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 : 5333.40 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 : 1733.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 : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 9 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 0 cpu cores : 4 apicid : 17 initial apicid : 17 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 10 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 0 siblings : 8 core id : 1 cpu cores : 4 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 11 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 1600.000 cache size : 8192 KB physical id : 1 siblings : 8 core id : 1 cpu cores : 4 apicid : 19 initial apicid : 19 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 12 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 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 : 5333.40 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 : 1733.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 : 5333.40 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: 31658408 kB MemAvailable: 31831720 kB Buffers: 108664 kB Cached: 345124 kB SwapCached: 0 kB Active: 398888 kB Inactive: 274988 kB Active(anon): 223204 kB Inactive(anon): 8600 kB Active(file): 175684 kB Inactive(file): 266388 kB Unevictable: 5944 kB Mlocked: 5944 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7760 kB Writeback: 0 kB AnonPages: 337780 kB Mapped: 42652 kB Shmem: 8852 kB Slab: 127956 kB SReclaimable: 94148 kB SUnreclaim: 33808 kB KernelStack: 4896 kB PageTables: 6108 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1179296 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 268288 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 136576 kB DirectMap2M: 33409024 kB Free space on /tmp at the end= 61872 MiB End job on node102 at 2017-07-22 05:39:56