Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| slowpoke 2018-04-29 | SAT (TO) | 20 | 2520.02 | 2505.52 |
| Name | PseudoBoolean-opt/ Pb-circ4-3_c18.xml |
| MD5SUM | 49cd334f61ed4e195aeb645067fd2083 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 20 |
| Best CPU time to get the best result obtained on this benchmark | 12.8912 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 144 |
| Number of constraints | 704 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":144}] |
| Minimum variable degree | 8 |
| Maximum variable degree | 27 |
| Distribution of variable degrees | [{"degree":8,"count":8},{"degree":9,"count":24},{"degree":12,"count":8},{"degree":13,"count":8},{"degree":14,"count":12},{"degree":16,"count":24},{"degree":18,"count":12},{"degree":23,"count":12},{"degree":26,"count":24},{"degree":27,"count":12}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 12 |
| Distribution of constraint arities | [{"arity":2,"count":156},{"arity":3,"count":344},{"arity":4,"count":84},{"arity":5,"count":48},{"arity":6,"count":60},{"arity":12,"count":12}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"sum","count":704}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.12/0.13 c version: 2018-04-11 0.12/0.13 c seed: 1811631 0.12/0.13 c timeout: 2520 0.12/0.13 c memlimit: -1 0.12/0.13 c nbcore: -1 0.56/0.38 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.39 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.40 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.41 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.56/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.42 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.43 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.44 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.45 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.46 I had a sum 0.86/0.49 o 28 0.86/0.49 o 26 0.86/0.49 o 24 1.48/0.61 o 22 1.76/0.76 o 20 2520.00/2505.50 s SATISFIABLE 2520.00/2505.50 v <instantiation> 2520.00/2505.50 v <list> 2520.00/2505.50 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] 2520.00/2505.50 v </list> 2520.00/2505.50 v <values> 2520.00/2505.50 v 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 2520.00/2505.50 v </values> 2520.00/2505.50 v </instantiation>
OK 20
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12568 MiB free)
memory of node 1: 16384 MiB (14741 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298374-1532757789/watcher-4298374-1532757789 -o /tmp/evaluation-result-4298374-1532757789/solver-4298374-1532757789 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532740162-2005 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298374-1532757789.xml --timelimit 2520
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4518, runsolver pid=4515
Current StackSize limit: 8192 KiB
[startup+0.100128 s]*
/proc/loadavg: 1.46 1.45 1.55 3/218 4533
/proc/meminfo: memFree=27949240/32770624 swapFree=67108792/67108860
[pid=4518] ppid=4515 vsize=10661056 memory=27860 CPUtime=0.12 cores=1,3,5,7
/proc/4518/stat : 4518 (java) S 4515 4518 1972 0 -1 1077944320 5374 0 0 0 11 1 0 0 20 0 15 0 93342221 10916921344 6965 33554432000 4194304 4196468 140720813857232 140720813839776 140601308827383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
/proc/4518/statm: 2665264 6965 2860 1 0 2627263 0
[pid=4518/tid=4520] ppid=4515 vsize=10661056 memory=-8968736631886279872 CPUtime=0.09 cores=1,3,5,7
/proc/4518/task/4520/stat : 4520 (java) R 4515 4518 1972 0 -1 4202560 3246 0 0 0 9 0 0 0 20 0 15 0 93342221 10916921344 6965 33554432000 4194304 4196468 140720813857232 140601313055872 140601308839318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4521] ppid=4515 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4521/stat : 4521 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916921344 6965 33554432000 4194304 4196468 140720813857232 140601261447568 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4522] ppid=4515 vsize=10661056 memory=140410025748096 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4522/stat : 4522 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916921344 6965 33554432000 4194304 4196468 140720813857232 140601260394768 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4523] ppid=4515 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4523/stat : 4523 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916921344 6965 33554432000 4194304 4196468 140720813857232 140601259342480 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4524] ppid=4515 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4524/stat : 4524 (java) S 4515 4518 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93342222 10916921344 6965 33554432000 4194304 4196468 140720813857232 140600912042512 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4525] ppid=4515 vsize=10661056 memory=140410025748096 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4525/stat : 4525 (java) S 4515 4518 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93342223 10916921344 6965 33554432000 4194304 4196468 140720813857232 140600868625008 140601308838530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4526] ppid=4515 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4526/stat : 4526 (java) S 4515 4518 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93342223 10916921344 6965 33554432000 4194304 4196468 140720813857232 140600867570976 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4527] ppid=4515 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4527/stat : 4527 (java) S 4515 4518 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93342224 10916921344 6965 33554432000 4194304 4196468 140720813857232 140600866518640 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4528] ppid=4515 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4528/stat : 4528 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916921344 6965 33554432000 4194304 4196468 140720813857232 140600865466960 140601308845979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4529] ppid=4515 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4529/stat : 4529 (java) R 4515 4518 1972 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 93342226 10916921344 6965 33554432000 4194304 4196468 140720813857232 140600864413808 140601308838530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4530] ppid=4515 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4530/stat : 4530 (java) R 4515 4518 1972 0 -1 4202560 145 0 0 0 0 0 0 0 20 0 15 0 93342226 10916921344 6965 33554432000 4194304 4196468 140720813857232 140600863361008 140601292226556 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4531] ppid=4515 vsize=10661056 memory=140410025748096 CPUtime=0.01 cores=1,3,5,7
/proc/4518/task/4531/stat : 4531 (java) R 4515 4518 1972 0 -1 4202560 317 0 0 0 1 0 0 0 20 0 15 0 93342226 10916921344 6965 33554432000 4194304 4196468 140720813857232 140600862308720 140601288225872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4532] ppid=4515 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4532/stat : 4532 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916921344 6965 33554432000 4194304 4196468 140720813857232 140600861256160 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4533] ppid=4515 vsize=10661056 memory=140410025748096 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4533/stat : 4533 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342227 10916921344 6965 33554432000 4194304 4196468 140720813857232 140600860203952 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27860 KiB
[startup+0.210771 s]*
/proc/loadavg: 1.46 1.45 1.55 6/218 4533
/proc/meminfo: memFree=27937312/32770624 swapFree=67108792/67108860
[pid=4518] ppid=4515 vsize=10661056 memory=40296 CPUtime=0.33 cores=1,3,5,7
/proc/4518/stat : 4518 (java) S 4515 4518 1972 0 -1 1077944320 8116 0 0 0 31 2 0 0 20 0 15 0 93342221 10916921344 10074 33554432000 4194304 4196468 140720813857232 140720813839776 140601308827383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
/proc/4518/statm: 2665264 10074 2957 1 0 2627263 0
[pid=4518/tid=4520] ppid=4515 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4518/task/4520/stat : 4520 (java) R 4515 4518 1972 0 -1 4202560 5144 0 0 0 19 1 0 0 20 0 15 0 93342221 10916921344 10074 33554432000 4194304 4196468 140720813857232 140601313065344 140600940359115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4521] ppid=4515 vsize=10661056 memory=343 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4521/stat : 4521 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916921344 10074 33554432000 4194304 4196468 140720813857232 140601261447568 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4522] ppid=4515 vsize=10661056 memory=140410025757405 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4522/stat : 4522 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916921344 10074 33554432000 4194304 4196468 140720813857232 140601260394768 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4523] ppid=4515 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4523/stat : 4523 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916921344 10074 33554432000 4194304 4196468 140720813857232 140601259342480 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4524] ppid=4515 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4524/stat : 4524 (java) S 4515 4518 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93342222 10916921344 10074 33554432000 4194304 4196468 140720813857232 140600912042512 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4525] ppid=4515 vsize=10661056 memory=140410025748096 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4525/stat : 4525 (java) S 4515 4518 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93342223 10916921344 10074 33554432000 4194304 4196468 140720813857232 140600868625008 140601308838530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4526] ppid=4515 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4526/stat : 4526 (java) S 4515 4518 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93342223 10916921344 10074 33554432000 4194304 4196468 140720813857232 140600867570976 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4527] ppid=4515 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4527/stat : 4527 (java) S 4515 4518 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93342224 10916921344 10074 33554432000 4194304 4196468 140720813857232 140600866518640 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4528] ppid=4515 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4528/stat : 4528 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916921344 10074 33554432000 4194304 4196468 140720813857232 140600865466960 140601308845979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4529] ppid=4515 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4518/task/4529/stat : 4529 (java) R 4515 4518 1972 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 15 0 93342226 10916921344 10074 33554432000 4194304 4196468 140720813857232 140600864413808 140601308838530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4530] ppid=4515 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4518/task/4530/stat : 4530 (java) R 4515 4518 1972 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 93342226 10916921344 10074 33554432000 4194304 4196468 140720813857232 140600863361008 140601286406544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4531] ppid=4515 vsize=10661056 memory=140410025748096 CPUtime=0.08 cores=1,3,5,7
/proc/4518/task/4531/stat : 4531 (java) R 4515 4518 1972 0 -1 4202560 860 0 0 0 8 0 0 0 20 0 15 0 93342226 10916921344 10074 33554432000 4194304 4196468 140720813857232 140600862306512 140601287752128 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4532] ppid=4515 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4532/stat : 4532 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916921344 10074 33554432000 4194304 4196468 140720813857232 140600861256160 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4533] ppid=4515 vsize=10661056 memory=140410025748096 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4533/stat : 4533 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342227 10916921344 10074 33554432000 4194304 4196468 140720813857232 140600860203952 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40296 KiB
[startup+0.310695 s]*
/proc/loadavg: 1.46 1.45 1.55 4/218 4533
/proc/meminfo: memFree=27932652/32770624 swapFree=67108792/67108860
[pid=4518] ppid=4515 vsize=10661132 memory=44764 CPUtime=0.56 cores=1,3,5,7
/proc/4518/stat : 4518 (java) S 4515 4518 1972 0 -1 1077944320 8734 0 0 0 53 3 0 0 20 0 15 0 93342221 10916999168 11191 33554432000 4194304 4196468 140720813857232 140720813839776 140601308827383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
/proc/4518/statm: 2665283 11191 3056 1 0 2627263 0
[pid=4518/tid=4520] ppid=4515 vsize=10661132 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/4518/task/4520/stat : 4520 (java) R 4515 4518 1972 0 -1 4202560 5508 0 0 0 28 2 0 0 20 0 15 0 93342221 10916999168 11191 33554432000 4194304 4196468 140720813857232 140601313065072 140601286844641 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4521] ppid=4515 vsize=10661132 memory=4294977868 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4521/stat : 4521 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916999168 11191 33554432000 4194304 4196468 140720813857232 140601261447568 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4522] ppid=4515 vsize=10661132 memory=140410026305043 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4522/stat : 4522 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916999168 11191 33554432000 4194304 4196468 140720813857232 140601260394768 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4523] ppid=4515 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4523/stat : 4523 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916999168 11191 33554432000 4194304 4196468 140720813857232 140601259342480 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4524] ppid=4515 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4524/stat : 4524 (java) S 4515 4518 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93342222 10916999168 11191 33554432000 4194304 4196468 140720813857232 140600912042512 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4525] ppid=4515 vsize=10661132 memory=140410025748096 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4525/stat : 4525 (java) S 4515 4518 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93342223 10916999168 11191 33554432000 4194304 4196468 140720813857232 140600868625008 140601308838530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4526] ppid=4515 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4526/stat : 4526 (java) S 4515 4518 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93342223 10916999168 11191 33554432000 4194304 4196468 140720813857232 140600867570976 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4527] ppid=4515 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4527/stat : 4527 (java) S 4515 4518 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93342224 10916999168 11191 33554432000 4194304 4196468 140720813857232 140600866518640 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4528] ppid=4515 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4528/stat : 4528 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916999168 11191 33554432000 4194304 4196468 140720813857232 140600865466960 140601308845979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4529] ppid=4515 vsize=10661132 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/4518/task/4529/stat : 4529 (java) R 4515 4518 1972 0 -1 1077944384 469 0 0 0 4 0 0 0 20 0 15 0 93342226 10916999168 11191 33554432000 4194304 4196468 140720813857232 140600864413808 140601308838530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4530] ppid=4515 vsize=10661132 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/4518/task/4530/stat : 4530 (java) R 4515 4518 1972 0 -1 4202560 412 0 0 0 5 0 0 0 20 0 15 0 93342226 10916999168 11191 33554432000 4194304 4196468 140720813857232 140600863361008 140601293221048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4531] ppid=4515 vsize=10661132 memory=140410025748096 CPUtime=0.15 cores=1,3,5,7
/proc/4518/task/4531/stat : 4531 (java) R 4515 4518 1972 0 -1 4202560 988 0 0 0 15 0 0 0 20 0 15 0 93342226 10916999168 11191 33554432000 4194304 4196468 140720813857232 140600862304480 140601292907870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4532] ppid=4515 vsize=10661132 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4532/stat : 4532 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916999168 11191 33554432000 4194304 4196468 140720813857232 140600861256160 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4533] ppid=4515 vsize=10661132 memory=140410025748096 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4533/stat : 4533 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342227 10916999168 11191 33554432000 4194304 4196468 140720813857232 140600860203952 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 44764 KiB
[startup+0.700827 s]
/proc/loadavg: 1.46 1.45 1.55 5/218 4533
/proc/meminfo: memFree=27911560/32770624 swapFree=67108792/67108860
[pid=4518] ppid=4515 vsize=10661132 memory=86952 CPUtime=1.76 cores=1,3,5,7
/proc/4518/stat : 4518 (java) S 4515 4518 1972 0 -1 1077944320 14265 0 0 0 170 6 0 0 20 0 15 0 93342221 10916999168 21738 33554432000 4194304 4196468 140720813857232 140720813839776 140601308827383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
/proc/4518/statm: 2665283 21738 3110 1 0 2627263 0
[pid=4518/tid=4520] ppid=4515 vsize=10661132 memory=159844589905164 CPUtime=0.67 cores=1,3,5,7
/proc/4518/task/4520/stat : 4520 (java) R 4515 4518 1972 0 -1 4202560 5738 0 0 0 65 2 0 0 20 0 15 0 93342221 10916999168 21738 33554432000 4194304 4196468 140720813857232 140601313064352 140720813877186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4521] ppid=4515 vsize=10661132 memory=551299 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4521/stat : 4521 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916999168 21738 33554432000 4194304 4196468 140720813857232 140601261447568 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4522] ppid=4515 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4522/stat : 4522 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916999168 21738 33554432000 4194304 4196468 140720813857232 140601260394768 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4523] ppid=4515 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4523/stat : 4523 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916999168 21738 33554432000 4194304 4196468 140720813857232 140601259342480 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4524] ppid=4515 vsize=10661132 memory=7809523229951467576 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4524/stat : 4524 (java) S 4515 4518 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93342222 10916999168 21738 33554432000 4194304 4196468 140720813857232 140600912042512 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4525] ppid=4515 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4525/stat : 4525 (java) S 4515 4518 1972 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93342223 10916999168 21738 33554432000 4194304 4196468 140720813857232 140600868625008 140601308838530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4526] ppid=4515 vsize=10661132 memory=-3535359994705171810 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4526/stat : 4526 (java) S 4515 4518 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93342223 10916999168 21738 33554432000 4194304 4196468 140720813857232 140600867570976 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4527] ppid=4515 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4527/stat : 4527 (java) S 4515 4518 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93342224 10916999168 21738 33554432000 4194304 4196468 140720813857232 140600866518640 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4528] ppid=4515 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4528/stat : 4528 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916999168 21738 33554432000 4194304 4196468 140720813857232 140600865466960 140601308845979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4529] ppid=4515 vsize=10661132 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/4518/task/4529/stat : 4529 (java) R 4515 4518 1972 0 -1 4202560 3210 0 0 0 34 1 0 0 20 0 15 0 93342226 10916999168 21738 33554432000 4194304 4196468 140720813857232 140600864394824 140601290371106 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4530] ppid=4515 vsize=10661132 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/4518/task/4530/stat : 4530 (java) R 4515 4518 1972 0 -1 4202560 2109 0 0 0 37 0 0 0 20 0 15 0 93342226 10916999168 21738 33554432000 4194304 4196468 140720813857232 140600863349808 140601294855808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4531] ppid=4515 vsize=10661132 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/4518/task/4531/stat : 4531 (java) S 4515 4518 1972 0 -1 1077944384 1843 0 0 0 33 0 0 0 20 0 15 0 93342226 10916999168 21738 33554432000 4194304 4196468 140720813857232 140600862308720 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4532] ppid=4515 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4532/stat : 4532 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916999168 21738 33554432000 4194304 4196468 140720813857232 140600861256160 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4533] ppid=4515 vsize=10661132 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4533/stat : 4533 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342227 10916999168 21804 33554432000 4194304 4196468 140720813857232 140600860203952 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 86952 KiB
[startup+1.50074 s]
/proc/loadavg: 1.46 1.45 1.55 3/218 4533
/proc/meminfo: memFree=27857832/32770624 swapFree=67108792/67108860
[pid=4518] ppid=4515 vsize=10661132 memory=175196 CPUtime=2.93 cores=1,3,5,7
/proc/4518/stat : 4518 (java) S 4515 4518 1972 0 -1 1077944320 17526 0 0 0 285 8 0 0 20 0 15 0 93342221 10916999168 43799 33554432000 4194304 4196468 140720813857232 140720813839776 140601308827383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
/proc/4518/statm: 2665283 43799 3122 1 0 2627263 0
[pid=4518/tid=4520] ppid=4515 vsize=10661132 memory=10799 CPUtime=1.47 cores=1,3,5,7
/proc/4518/task/4520/stat : 4520 (java) R 4515 4518 1972 0 -1 4202560 6246 0 0 0 143 4 0 0 20 0 15 0 93342221 10916999168 43799 33554432000 4194304 4196468 140720813857232 140601313068304 140720813877186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4521] ppid=4515 vsize=10661132 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4521/stat : 4521 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916999168 43799 33554432000 4194304 4196468 140720813857232 140601261447568 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4522] ppid=4515 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4522/stat : 4522 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916999168 43799 33554432000 4194304 4196468 140720813857232 140601260394768 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4523] ppid=4515 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4523/stat : 4523 (java) S 4515 4518 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93342222 10916999168 43799 33554432000 4194304 4196468 140720813857232 140601259342480 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4524] ppid=4515 vsize=10661132 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4524/stat : 4524 (java) S 4515 4518 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93342222 10916999168 43799 33554432000 4194304 4196468 140720813857232 140600912042512 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4525] ppid=4515 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4525/stat : 4525 (java) S 4515 4518 1972 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 93342223 10916999168 43799 33554432000 4194304 4196468 140720813857232 140600868625008 140601308838530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
################
# More data... #
################
/proc/4518/task/4520/stat : 4520 (java) R 4515 4518 1972 0 -1 4202560 19513 0 0 0 241234 1870 0 0 20 0 15 0 93342221 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601313066896 140720813877186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4521] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.52 cores=1,3,5,7
/proc/4518/task/4521/stat : 4521 (java) S 4515 4518 1972 0 -1 1077944384 2340 0 0 0 424 28 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601261447568 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4522] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.51 cores=1,3,5,7
/proc/4518/task/4522/stat : 4522 (java) S 4515 4518 1972 0 -1 1077944384 3450 0 0 0 422 29 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601260394768 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4523] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.53 cores=1,3,5,7
/proc/4518/task/4523/stat : 4523 (java) S 4515 4518 1972 0 -1 1077944384 3024 0 0 0 423 30 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601259342480 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4524] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.5 cores=1,3,5,7
/proc/4518/task/4524/stat : 4524 (java) S 4515 4518 1972 0 -1 1077944384 2586 0 0 0 423 27 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600912042512 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4525] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.51 cores=1,3,5,7
/proc/4518/task/4525/stat : 4525 (java) S 4515 4518 1972 0 -1 1077944384 5353 0 0 0 423 28 0 0 20 0 15 0 93342223 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600868625008 140601308838530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4526] ppid=4515 vsize=10661132 memory=185280 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4526/stat : 4526 (java) S 4515 4518 1972 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 93342223 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600867570976 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4527] ppid=4515 vsize=10661132 memory=185280 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4527/stat : 4527 (java) S 4515 4518 1972 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 93342224 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600866518640 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4528] ppid=4515 vsize=10661132 memory=185280 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4528/stat : 4528 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600865466960 140601308845979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4529] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.71 cores=1,3,5,7
/proc/4518/task/4529/stat : 4529 (java) S 4515 4518 1972 0 -1 1077944384 6427 0 0 0 70 1 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600864413808 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4530] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.8 cores=1,3,5,7
/proc/4518/task/4530/stat : 4530 (java) S 4515 4518 1972 0 -1 1077944384 5997 0 0 0 79 1 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600863361008 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4531] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.4 cores=1,3,5,7
/proc/4518/task/4531/stat : 4531 (java) S 4515 4518 1972 0 -1 1077944384 2851 0 0 0 39 1 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600862308720 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4532] ppid=4515 vsize=10661132 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4532/stat : 4532 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600861256160 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4533] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.84 cores=1,3,5,7
/proc/4518/task/4533/stat : 4533 (java) S 4515 4518 1972 0 -1 1077944384 750 0 0 0 40 44 0 0 20 0 15 0 93342227 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600860203952 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
Current children cumulated CPU time: 2456.45 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 185280 KiB
[startup+2502.3 s]
/proc/loadavg: 1.57 1.43 1.39 3/216 4684
/proc/meminfo: memFree=24407196/32770624 swapFree=67108792/67108860
[pid=4518] ppid=4515 vsize=10661132 memory=185280 CPUtime=2516.78 cores=1,3,5,7
/proc/4518/stat : 4518 (java) S 4515 4518 1972 0 -1 1077944320 54586 0 0 0 249603 2075 0 0 20 0 15 0 93342221 10916999168 46320 33554432000 4194304 4196468 140720813857232 140720813839776 140601308827383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
/proc/4518/statm: 2665283 46320 3147 1 0 2627263 0
[pid=4518/tid=4520] ppid=4515 vsize=10661132 memory=185280 CPUtime=2490.75 cores=1,3,5,7
/proc/4518/task/4520/stat : 4520 (java) R 4515 4518 1972 0 -1 4202560 19879 0 0 0 247158 1917 0 0 20 0 15 0 93342221 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601313066800 140720813877186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4521] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.64 cores=1,3,5,7
/proc/4518/task/4521/stat : 4521 (java) S 4515 4518 1972 0 -1 1077944384 2384 0 0 0 435 29 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601261447568 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4522] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.63 cores=1,3,5,7
/proc/4518/task/4522/stat : 4522 (java) S 4515 4518 1972 0 -1 1077944384 3680 0 0 0 433 30 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601260394768 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4523] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.64 cores=1,3,5,7
/proc/4518/task/4523/stat : 4523 (java) S 4515 4518 1972 0 -1 1077944384 3037 0 0 0 434 30 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601259342480 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4524] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.63 cores=1,3,5,7
/proc/4518/task/4524/stat : 4524 (java) S 4515 4518 1972 0 -1 1077944384 2614 0 0 0 435 28 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600912042512 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4525] ppid=4515 vsize=10661132 memory=15876 CPUtime=4.61 cores=1,3,5,7
/proc/4518/task/4525/stat : 4525 (java) S 4515 4518 1972 0 -1 1077944384 5528 0 0 0 433 28 0 0 20 0 15 0 93342223 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600868625008 140601308838530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4526] ppid=4515 vsize=10661132 memory=185280 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4526/stat : 4526 (java) S 4515 4518 1972 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 93342223 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600867570976 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4527] ppid=4515 vsize=10661132 memory=185280 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4527/stat : 4527 (java) S 4515 4518 1972 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 93342224 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600866518640 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4528] ppid=4515 vsize=10661132 memory=280819726391648 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4528/stat : 4528 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600865466960 140601308845979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4529] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.71 cores=1,3,5,7
/proc/4518/task/4529/stat : 4529 (java) S 4515 4518 1972 0 -1 1077944384 6429 0 0 0 70 1 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600864413808 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4530] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.8 cores=1,3,5,7
/proc/4518/task/4530/stat : 4530 (java) S 4515 4518 1972 0 -1 1077944384 5999 0 0 0 79 1 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600863361008 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4531] ppid=4515 vsize=10661132 memory=27244 CPUtime=0.4 cores=1,3,5,7
/proc/4518/task/4531/stat : 4531 (java) S 4515 4518 1972 0 -1 1077944384 2853 0 0 0 39 1 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600862308720 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4532] ppid=4515 vsize=10661132 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4532/stat : 4532 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600861256160 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4533] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.86 cores=1,3,5,7
/proc/4518/task/4533/stat : 4533 (java) S 4515 4518 1972 0 -1 1077944384 764 0 0 0 42 44 0 0 20 0 15 0 93342227 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600860203952 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
Current children cumulated CPU time: 2516.78 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 185280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.5 s]
/proc/loadavg: 1.61 1.43 1.39 3/216 4685
/proc/meminfo: memFree=24406080/32770624 swapFree=67108792/67108860
[pid=4518] ppid=4515 vsize=10661132 memory=185280 CPUtime=2520 cores=1,3,5,7
/proc/4518/stat : 4518 (java) S 4515 4518 1972 0 -1 1077944320 54595 0 0 0 249922 2078 0 0 20 0 15 0 93342221 10916999168 46320 33554432000 4194304 4196468 140720813857232 140720813839776 140601308827383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
/proc/4518/statm: 2665283 46320 3147 1 0 2627263 0
[pid=4518/tid=4520] ppid=4515 vsize=10661132 memory=185280 CPUtime=2493.94 cores=1,3,5,7
/proc/4518/task/4520/stat : 4520 (java) R 4515 4518 1972 0 -1 4202560 19888 0 0 0 247474 1920 0 0 20 0 15 0 93342221 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601313068432 140720813877186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4521] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.65 cores=1,3,5,7
/proc/4518/task/4521/stat : 4521 (java) S 4515 4518 1972 0 -1 1077944384 2384 0 0 0 436 29 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601261447568 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4522] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.64 cores=1,3,5,7
/proc/4518/task/4522/stat : 4522 (java) S 4515 4518 1972 0 -1 1077944384 3680 0 0 0 434 30 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601260394768 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4523] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.64 cores=1,3,5,7
/proc/4518/task/4523/stat : 4523 (java) S 4515 4518 1972 0 -1 1077944384 3037 0 0 0 434 30 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601259342480 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4524] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.63 cores=1,3,5,7
/proc/4518/task/4524/stat : 4524 (java) S 4515 4518 1972 0 -1 1077944384 2614 0 0 0 435 28 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600912042512 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4525] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.62 cores=1,3,5,7
/proc/4518/task/4525/stat : 4525 (java) S 4515 4518 1972 0 -1 1077944384 5528 0 0 0 434 28 0 0 20 0 15 0 93342223 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600868625008 140601308838530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4526] ppid=4515 vsize=10661132 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4526/stat : 4526 (java) S 4515 4518 1972 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 93342223 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600867570976 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4527] ppid=4515 vsize=10661132 memory=185280 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4527/stat : 4527 (java) S 4515 4518 1972 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 93342224 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600866518640 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4528] ppid=4515 vsize=10661132 memory=185280 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4528/stat : 4528 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600865466960 140601308845979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4529] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.71 cores=1,3,5,7
/proc/4518/task/4529/stat : 4529 (java) S 4515 4518 1972 0 -1 1077944384 6429 0 0 0 70 1 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600864413808 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4530] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.8 cores=1,3,5,7
/proc/4518/task/4530/stat : 4530 (java) S 4515 4518 1972 0 -1 1077944384 5999 0 0 0 79 1 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600863361008 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4531] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.4 cores=1,3,5,7
/proc/4518/task/4531/stat : 4531 (java) S 4515 4518 1972 0 -1 1077944384 2853 0 0 0 39 1 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600862308720 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4532] ppid=4515 vsize=10661132 memory=185280 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4532/stat : 4532 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600861256160 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4533] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.86 cores=1,3,5,7
/proc/4518/task/4533/stat : 4533 (java) S 4515 4518 1972 0 -1 1077944384 764 0 0 0 42 44 0 0 20 0 15 0 93342227 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600860203952 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 185280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.52 s]
# the end of solver process 4518 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2499.23 s, system=20.7825 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2505.5 s]
/proc/loadavg: 1.61 1.43 1.39 3/216 4685
/proc/meminfo: memFree=24406080/32770624 swapFree=67108792/67108860
[pid=4518] ppid=4515 vsize=10661132 memory=185280 CPUtime=2520 cores=1,3,5,7
/proc/4518/stat : 4518 (java) S 4515 4518 1972 0 -1 1077944320 54595 0 0 0 249922 2078 0 0 20 0 15 0 93342221 10916999168 46320 33554432000 4194304 4196468 140720813857232 140720813839776 140601308827383 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
/proc/4518/statm: 2665283 46320 3147 1 0 2627263 0
[pid=4518/tid=4520] ppid=4515 vsize=10661132 memory=185280 CPUtime=2493.94 cores=1,3,5,7
/proc/4518/task/4520/stat : 4520 (java) R 4515 4518 1972 0 -1 4202560 19888 0 0 0 247474 1920 0 0 20 0 15 0 93342221 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601313068432 140720813877186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4521] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.65 cores=1,3,5,7
/proc/4518/task/4521/stat : 4521 (java) S 4515 4518 1972 0 -1 1077944384 2384 0 0 0 436 29 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601261447568 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4522] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.64 cores=1,3,5,7
/proc/4518/task/4522/stat : 4522 (java) S 4515 4518 1972 0 -1 1077944384 3680 0 0 0 434 30 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601260394768 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4523] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.64 cores=1,3,5,7
/proc/4518/task/4523/stat : 4523 (java) S 4515 4518 1972 0 -1 1077944384 3037 0 0 0 434 30 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140601259342480 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4524] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.63 cores=1,3,5,7
/proc/4518/task/4524/stat : 4524 (java) S 4515 4518 1972 0 -1 1077944384 2614 0 0 0 435 28 0 0 20 0 15 0 93342222 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600912042512 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4525] ppid=4515 vsize=10661132 memory=185280 CPUtime=4.62 cores=1,3,5,7
/proc/4518/task/4525/stat : 4525 (java) S 4515 4518 1972 0 -1 1077944384 5528 0 0 0 434 28 0 0 20 0 15 0 93342223 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600868625008 140601308838530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4526] ppid=4515 vsize=10661132 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4526/stat : 4526 (java) S 4515 4518 1972 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 93342223 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600867570976 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4527] ppid=4515 vsize=10661132 memory=185280 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4527/stat : 4527 (java) S 4515 4518 1972 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 93342224 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600866518640 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4528] ppid=4515 vsize=10661132 memory=185280 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4528/stat : 4528 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600865466960 140601308845979 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4529] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.71 cores=1,3,5,7
/proc/4518/task/4529/stat : 4529 (java) S 4515 4518 1972 0 -1 1077944384 6429 0 0 0 70 1 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600864413808 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4530] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.8 cores=1,3,5,7
/proc/4518/task/4530/stat : 4530 (java) S 4515 4518 1972 0 -1 1077944384 5999 0 0 0 79 1 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600863361008 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4531] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.4 cores=1,3,5,7
/proc/4518/task/4531/stat : 4531 (java) S 4515 4518 1972 0 -1 1077944384 2853 0 0 0 39 1 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600862308720 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4532] ppid=4515 vsize=10661132 memory=185280 CPUtime=0 cores=1,3,5,7
/proc/4518/task/4532/stat : 4532 (java) S 4515 4518 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93342226 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600861256160 140601308837589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
[pid=4518/tid=4533] ppid=4515 vsize=10661132 memory=185280 CPUtime=0.86 cores=1,3,5,7
/proc/4518/task/4533/stat : 4533 (java) S 4515 4518 1972 0 -1 1077944384 764 0 0 0 42 44 0 0 20 0 15 0 93342227 10916999168 46320 33554432000 4194304 4196468 140720813857232 140600860203952 140601308838530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39538688 140720813859996 140720813860105 140720813860105 140720813862863 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 185280 KiB
Child status: 143
Real time (s): 2505.52
CPU time (s): 2520.02
CPU user time (s): 2499.23
CPU system time (s): 20.7825
CPU usage (%): 100.578
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 200788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2499.23
system time used= 20.7825
maximum resident set size= 202732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54970
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 170169
involuntary context switches= 5043
# summary of solver processes directly reported to runsolver:
# pid: 4518
# total CPU time (s): 2520.02
# total CPU user time (s): 2499.23
# total CPU system time (s): 20.7825
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6167 second user time and 24.6082 second system time
The end
Begin job on node150 at 2018-07-28 08:03:10 IDJOB=4298374 IDBENCH=141118 IDSOLVER=2765 FILE ID=node150/4298374-1532757789 RUNJOBID= node150-1532740162-2005 PBS_JOBID= 21022443 Free space on /tmp= 53100 MiB SOLVER NAME= slowpoke 2018-04-29 BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-circ4-3_c18.xml COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME --timelimit TIMEOUT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298374-1532757789/watcher-4298374-1532757789 -o /tmp/evaluation-result-4298374-1532757789/solver-4298374-1532757789 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532740162-2005 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298374-1532757789.xml --timelimit 2520 TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 49cd334f61ed4e195aeb645067fd2083 RANDOM SEED=669601822 node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27965704 kB MemAvailable: 31760340 kB Buffers: 197820 kB Cached: 3836096 kB SwapCached: 32 kB Active: 1635616 kB Inactive: 2629284 kB Active(anon): 182736 kB Inactive(anon): 76192 kB Active(file): 1452880 kB Inactive(file): 2553092 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108792 kB Dirty: 1260 kB Writeback: 12 kB AnonPages: 238256 kB Mapped: 54348 kB Shmem: 25156 kB Slab: 237536 kB SReclaimable: 209000 kB SUnreclaim: 28536 kB KernelStack: 3568 kB PageTables: 5740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1133992 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 137216 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 53096 MiB End job on node150 at 2018-07-28 08:44:55