Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8 2018-06-13 | SAT (TO) | 5987 | 2520.09 | 2453.14 |
| Name | NurseRostering/ NurseRostering-06_c18.xml |
| MD5SUM | 9a3bf89ae74321e3cfb193774a0c0983 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4362 |
| Best CPU time to get the best result obtained on this benchmark | 2520.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1007 |
| Number of constraints | 2471 |
| Number of domains | 12 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":42},{"size":2,"count":207},{"size":4,"count":504},{"size":19,"count":196},{"size":29,"count":58}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 25 |
| Distribution of variable degrees | [{"degree":2,"count":431},{"degree":3,"count":72},{"degree":12,"count":3},{"degree":13,"count":12},{"degree":14,"count":16},{"degree":15,"count":8},{"degree":16,"count":11},{"degree":17,"count":26},{"degree":18,"count":25},{"degree":19,"count":30},{"degree":20,"count":53},{"degree":21,"count":120},{"degree":22,"count":93},{"degree":23,"count":59},{"degree":24,"count":36},{"degree":25,"count":12}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 36 |
| Distribution of constraint arities | [{"arity":2,"count":988},{"arity":3,"count":728},{"arity":4,"count":161},{"arity":6,"count":299},{"arity":7,"count":110},{"arity":19,"count":112},{"arity":29,"count":72},{"arity":36,"count":1}] |
| Number of extensional constraints | 598 |
| Number of intensional constraints | 309 |
| Distribution of constraint types | [{"type":"extension","count":598},{"type":"intension","count":309},{"type":"regular","count":934},{"type":"sum","count":36},{"type":"count","count":593},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
1.04/0.80 c Concrete v3.8.1528841891564 running 11.52/4.84 c 02:04:19.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7190. 'extension(3, x[2][14]=[0‥3]) :: init: true :: relation: MDD 1737796619, 5 edges, 4 vertices, 3 tuples 11.52/4.84 c 02:04:19.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7193. 'extension(3, 3) :: init: true :: relation: MDD 1737796619, 5 edges, 4 vertices, 3 tuples 11.52/4.84 c 02:04:19.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7194. 'extension(3, 3) :: init: true :: relation: MDD 639769517, 4 edges, 3 vertices, 3 tuples 11.52/4.84 c 02:04:19.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7215. 'extension(x[1][12]=[0‥3], 3) :: init: true :: relation: MDD 684220724, 5 edges, 4 vertices, 3 tuples 11.52/4.84 c 02:04:19.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7216. 'extension(3, x[3][12]=[0‥3]) :: init: true :: relation: MDD 684220724, 5 edges, 4 vertices, 3 tuples 11.52/4.85 c 02:04:19.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7242. 'extension(x[3][3]=[0‥3], 3) :: init: true :: relation: MDD 1198426006, 5 edges, 4 vertices, 3 tuples 11.52/4.85 c 02:04:19.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7271. 'extension(x[3][15]=[0‥3], 3) :: init: true :: relation: MDD 397857830, 5 edges, 4 vertices, 3 tuples 11.52/4.85 c 02:04:19.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7272. 'extension(3, x[5][15]=[0‥3]) :: init: true :: relation: MDD 397857830, 5 edges, 4 vertices, 3 tuples 11.52/4.85 c 02:04:19.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7299. 'extension(3, wk[3][0]=[0‥1]) :: init: true :: relation: MDD 590884726, 4 edges, 3 vertices, 3 tuples 11.52/4.85 c 02:04:19.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7300. 'extension(3, x[6][3]=[0‥3]) :: init: true :: relation: MDD 1198426006, 5 edges, 4 vertices, 3 tuples 11.52/4.85 c 02:04:19.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7303. 'extension(3, 3) :: init: true :: relation: MDD 1198426006, 5 edges, 4 vertices, 3 tuples 11.52/4.86 c 02:04:19.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7330. 'extension(x[8][7]=[0‥3], 3) :: init: true :: relation: MDD 666040998, 5 edges, 4 vertices, 3 tuples 11.52/4.86 c 02:04:19.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7331. 'extension(3, x[10][7]=[0‥3]) :: init: true :: relation: MDD 666040998, 5 edges, 4 vertices, 3 tuples 11.52/4.86 c 02:04:19.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7360. 'extension(x[10][5]=[0‥3], 3) :: init: true :: relation: MDD 356308667, 5 edges, 4 vertices, 3 tuples 11.52/4.86 c 02:04:19.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7390. 'extension(x[10][11]=[0‥3], 3) :: init: true :: relation: MDD 1242874959, 5 edges, 4 vertices, 3 tuples 11.52/4.87 c 02:04:19.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7422. 'extension(x[10][16]=[0‥3], 3) :: init: true :: relation: MDD 1730129134, 5 edges, 4 vertices, 3 tuples 11.52/4.87 c 02:04:19.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7423. 'extension(3, x[12][16]=[0‥3]) :: init: true :: relation: MDD 1730129134, 5 edges, 4 vertices, 3 tuples 11.52/4.87 c 02:04:19.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7451. 'extension(3, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1878677242, 4 edges, 3 vertices, 3 tuples 11.52/4.87 c 02:04:19.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7452. 'extension(3, x[13][5]=[0‥3]) :: init: true :: relation: MDD 356308667, 5 edges, 4 vertices, 3 tuples 11.52/4.87 c 02:04:19.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7455. 'extension(3, 3) :: init: true :: relation: MDD 356308667, 5 edges, 4 vertices, 3 tuples 11.52/4.87 c 02:04:19.743 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7482. 'extension(3, wk[11][1]=[0‥1]) :: init: true :: relation: MDD 542895457, 4 edges, 3 vertices, 3 tuples 11.52/4.87 c 02:04:19.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7483. 'extension(3, x[13][11]=[0‥3]) :: init: true :: relation: MDD 1242874959, 5 edges, 4 vertices, 3 tuples 11.52/4.87 c 02:04:19.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7486. 'extension(3, 3) :: init: true :: relation: MDD 1242874959, 5 edges, 4 vertices, 3 tuples 11.52/4.87 c 02:04:19.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7515. 'extension(3, wk[7][1]=[0‥1]) :: init: true :: relation: MDD 238169801, 4 edges, 3 vertices, 3 tuples 11.52/4.87 c 02:04:19.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7516. 'extension(x[12][7]=[0‥3], 3) :: init: true :: relation: MDD 666040998, 5 edges, 4 vertices, 3 tuples 11.52/4.87 c 02:04:19.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7517. 'extension(3, x[14][7]=[0‥3]) :: init: true :: relation: MDD 666040998, 5 edges, 4 vertices, 3 tuples 11.52/4.88 c 02:04:19.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7546. 'extension(x[13][9]=[0‥3], 3) :: init: true :: relation: MDD 276777344, 5 edges, 4 vertices, 3 tuples 11.52/4.88 c 02:04:19.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7576. 'extension(3, x[16][9]=[0‥3]) :: init: true :: relation: MDD 276777344, 5 edges, 4 vertices, 3 tuples 11.52/4.88 c 02:04:19.754 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7579. 'extension(3, 3) :: init: true :: relation: MDD 276777344, 5 edges, 4 vertices, 3 tuples 11.52/4.88 c 02:04:19.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7606. 'extension(x[14][10]=[0‥3], 3) :: init: true :: relation: MDD 1611966906, 5 edges, 4 vertices, 3 tuples 11.52/4.88 c 02:04:19.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7638. 'extension(x[15][6]=[0‥3], 3) :: init: true :: relation: MDD 564944564, 5 edges, 4 vertices, 3 tuples 11.52/4.88 c 02:04:19.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7639. 'extension(3, x[17][6]=[0‥3]) :: init: true :: relation: MDD 564944564, 5 edges, 4 vertices, 3 tuples 11.52/4.88 c 02:04:19.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7668. 'extension(3, x[17][10]=[0‥3]) :: init: true :: relation: MDD 1611966906, 5 edges, 4 vertices, 3 tuples 11.52/4.89 c 02:04:19.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7671. 'extension(3, 3) :: init: true :: relation: MDD 1611966906, 5 edges, 4 vertices, 3 tuples 11.52/4.89 c 02:04:19.763 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7700. 'extension(x[15][13]=[0‥3], 3) :: init: true :: relation: MDD 934640468, 5 edges, 4 vertices, 3 tuples 11.52/4.89 c 02:04:19.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7732. 'extension(x[15][16]=[0‥3], 3) :: init: true :: relation: MDD 1730129134, 5 edges, 4 vertices, 3 tuples 11.52/4.89 c 02:04:19.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7733. 'extension(3, x[17][16]=[0‥3]) :: init: true :: relation: MDD 1730129134, 5 edges, 4 vertices, 3 tuples 11.52/4.89 c 02:04:19.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7761. 'extension(x[16][8]=[0‥3], 3) :: init: true :: relation: MDD 448782465, 5 edges, 4 vertices, 3 tuples 11.52/4.89 c 02:04:19.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7762. 'extension(3, x[18][8]=[0‥3]) :: init: true :: relation: MDD 448782465, 5 edges, 4 vertices, 3 tuples 11.52/4.89 c 02:04:19.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7791. 'extension(3, x[18][13]=[0‥3]) :: init: true :: relation: MDD 934640468, 5 edges, 4 vertices, 3 tuples 11.52/4.90 c 02:04:19.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7794. 'extension(3, 3) :: init: true :: relation: MDD 934640468, 5 edges, 4 vertices, 3 tuples 11.84/4.90 c 02:04:19.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7823. 'extension(x[17][0]=[0‥3], 3) :: init: true :: relation: MDD 185583672, 5 edges, 4 vertices, 3 tuples 11.84/4.90 c 02:04:19.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7853. 'extension(3, wk[0][2]=[0‥1]) :: init: true :: relation: MDD 2079051109, 4 edges, 3 vertices, 3 tuples 11.84/4.90 c 02:04:19.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7854. 'extension(3, x[20][0]=[0‥3]) :: init: true :: relation: MDD 185583672, 5 edges, 4 vertices, 3 tuples 11.84/4.90 c 02:04:19.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7857. 'extension(3, 3) :: init: true :: relation: MDD 185583672, 5 edges, 4 vertices, 3 tuples 11.84/4.91 c 02:04:19.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7884. 'extension(3, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 967643830, 4 edges, 3 vertices, 3 tuples 11.84/4.91 c 02:04:19.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7885. 'extension(x[19][6]=[0‥3], 3) :: init: true :: relation: MDD 564944564, 5 edges, 4 vertices, 3 tuples 11.84/4.91 c 02:04:19.780 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7886. 'extension(3, x[21][6]=[0‥3]) :: init: true :: relation: MDD 564944564, 5 edges, 4 vertices, 3 tuples 11.84/4.91 c 02:04:19.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7915. 'extension(x[21][2]=[0‥3], 3) :: init: true :: relation: MDD 985032587, 5 edges, 4 vertices, 3 tuples 11.84/4.91 c 02:04:19.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7945. 'extension(3, x[24][2]=[0‥3]) :: init: true :: relation: MDD 985032587, 5 edges, 4 vertices, 3 tuples 11.84/4.91 c 02:04:19.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7948. 'extension(3, 3) :: init: true :: relation: MDD 985032587, 5 edges, 4 vertices, 3 tuples 11.84/4.91 c 02:04:19.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7974. 'extension(x[22][4]=[0‥3], 3) :: init: true :: relation: MDD 1472494238, 5 edges, 4 vertices, 3 tuples 11.84/4.91 c 02:04:19.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7975. 'extension(3, x[24][4]=[0‥3]) :: init: true :: relation: MDD 1472494238, 5 edges, 4 vertices, 3 tuples 11.84/4.91 c 02:04:19.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8003. 'extension(x[22][12]=[0‥3], 3) :: init: true :: relation: MDD 684220724, 5 edges, 4 vertices, 3 tuples 11.84/4.92 c 02:04:19.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8004. 'extension(3, x[24][12]=[0‥3]) :: init: true :: relation: MDD 684220724, 5 edges, 4 vertices, 3 tuples 11.84/4.92 c 02:04:19.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8033. 'extension(x[23][1]=[0‥3], 3) :: init: true :: relation: MDD 1001351478, 5 edges, 4 vertices, 3 tuples 11.84/4.92 c 02:04:19.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8061. 'extension(x[23][15]=[0‥3], 3) :: init: true :: relation: MDD 397857830, 5 edges, 4 vertices, 3 tuples 11.84/4.92 c 02:04:19.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8062. 'extension(3, x[25][15]=[0‥3]) :: init: true :: relation: MDD 397857830, 5 edges, 4 vertices, 3 tuples 11.84/4.93 c 02:04:19.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8088. 'extension(3, x[26][1]=[0‥3]) :: init: true :: relation: MDD 1001351478, 5 edges, 4 vertices, 3 tuples 11.84/4.93 c 02:04:19.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8091. 'extension(3, 3) :: init: true :: relation: MDD 1001351478, 5 edges, 4 vertices, 3 tuples 11.84/4.93 c 02:04:19.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8115. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 180353207, 4 edges, 3 vertices, 3 tuples 11.84/4.93 c 02:04:19.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8116. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 973174587, 5 edges, 4 vertices, 3 tuples 11.84/4.93 c 02:04:19.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8140. 'extension(3, wk[4][3]=[0‥1]) :: init: true :: relation: MDD 187019413, 4 edges, 3 vertices, 3 tuples 11.84/4.93 c 02:04:19.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8141. 'extension(x[26][4]=[0‥3], 3) :: init: true :: relation: MDD 1472494238, 5 edges, 4 vertices, 3 tuples 11.84/4.93 c 02:04:19.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8142. 'extension(3, x[26][4]=[0‥3]) :: init: true :: relation: MDD 1594981181, 4 edges, 3 vertices, 3 tuples 11.84/4.94 c 02:04:19.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8162. 'extension(3, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 285781448, 4 edges, 3 vertices, 3 tuples 11.84/4.94 c 02:04:19.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8163. 'extension(x[26][8]=[0‥3], 3) :: init: true :: relation: MDD 448782465, 5 edges, 4 vertices, 3 tuples 11.84/4.94 c 02:04:19.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8164. 'extension(3, x[26][8]=[0‥3]) :: init: true :: relation: MDD 1464652578, 4 edges, 3 vertices, 3 tuples 11.84/4.94 c 02:04:19.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8184. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 889885902, 4 edges, 3 vertices, 3 tuples 11.84/4.94 c 02:04:19.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8185. 'extension(3, 3) :: init: true :: relation: MDD 973174587, 5 edges, 4 vertices, 3 tuples 11.84/4.95 c 02:04:19.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8384. 'extension(x[2][14]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.95 c 02:04:19.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8394. 'extension(x[1][12]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.95 c 02:04:19.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8396. 'extension(x[3][12]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.95 c 02:04:19.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8410. 'extension(x[3][3]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.95 c 02:04:19.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8416. 'extension(x[3][15]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.95 c 02:04:19.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8418. 'extension(x[5][15]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.95 c 02:04:19.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8430. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8432. 'extension(x[6][3]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8446. 'extension(x[8][7]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8448. 'extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8462. 'extension(x[10][5]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8468. 'extension(x[10][11]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8474. 'extension(x[10][16]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8476. 'extension(x[12][16]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8488. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8490. 'extension(x[13][5]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8504. 'extension(wk[11][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8506. 'extension(x[13][11]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8522. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8524. 'extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.96 c 02:04:19.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8526. 'extension(x[14][7]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8540. 'extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8546. 'extension(x[16][9]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8560. 'extension(x[14][10]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8566. 'extension(x[15][6]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8568. 'extension(x[17][6]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8582. 'extension(x[17][10]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8598. 'extension(x[15][13]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8604. 'extension(x[15][16]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8606. 'extension(x[17][16]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8618. 'extension(x[16][8]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8620. 'extension(x[18][8]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8634. 'extension(x[18][13]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8650. 'extension(x[17][0]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8656. 'extension(wk[0][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8658. 'extension(x[20][0]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8672. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8674. 'extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8676. 'extension(x[21][6]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8690. 'extension(x[21][2]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8696. 'extension(x[24][2]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8710. 'extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8712. 'extension(x[24][4]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8726. 'extension(x[22][12]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8728. 'extension(x[24][12]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8744. 'extension(x[23][1]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8750. 'extension(x[23][15]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.97 c 02:04:19.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8752. 'extension(x[25][15]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.98 c 02:04:19.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8764. 'extension(x[26][1]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.98 c 02:04:19.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8778. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.84/4.98 c 02:04:19.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8780. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.98 c 02:04:19.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8786. 'extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.84/4.98 c 02:04:19.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8788. 'extension(x[26][4]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.98 c 02:04:19.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8790. 'extension(x[26][4]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.98 c 02:04:19.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8796. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.84/4.98 c 02:04:19.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8798. 'extension(x[26][8]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.98 c 02:04:19.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8800. 'extension(x[26][8]=[0‥3]) :: init: true :: relation: Empty MDD 11.84/4.98 c 02:04:19.854 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8806. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD 31.27/15.36 o 6584 31.55/15.47 o 6483 31.55/15.49 o 6383 210.94/187.59 o 6290 211.07/187.61 o 6288 211.07/187.65 o 6287 211.28/187.75 o 6286 212.29/188.41 o 6188 212.44/188.56 o 6187 212.44/188.57 o 6186 212.85/188.89 o 6087 219.31/195.18 o 6086 827.58/788.81 o 5990 827.58/788.81 o 5989 827.58/788.82 o 5988 827.58/788.83 o 5987 2520.05/2453.11 Exception in thread "main" java.util.concurrent.TimeoutException 2520.05/2453.11 at concrete.MAC.mac(MAC.scala:188) 2520.05/2453.11 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.05/2453.11 at scala.util.Try$.apply(Try.scala:209) 2520.05/2453.11 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.05/2453.11 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.05/2453.11 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.05/2453.11 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.05/2453.11 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.05/2453.11 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.05/2453.11 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.05/2453.11 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.05/2453.11 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.05/2453.11 at concrete.MAC.oneRun(MAC.scala:253) 2520.05/2453.11 at concrete.MAC.nextSolution(MAC.scala:272) 2520.05/2453.11 at concrete.MAC.nextSolution(MAC.scala:355) 2520.05/2453.11 at concrete.Solver.hasNext(Solver.scala:166) 2520.05/2453.11 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.05/2453.11 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.05/2453.11 at concrete.Solver.foreach(Solver.scala:68) 2520.05/2453.11 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.05/2453.11 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.05/2453.11 at scala.util.Success.map(Try.scala:209) 2520.05/2453.11 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.05/2453.11 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.05/2453.11 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.05/2453.11 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.05/2453.11 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.05/2453.11 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.05/2453.11 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.05/2453.11 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.05/2453.11 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.05/2453.11 at scala.collection.immutable.List.foreach(List.scala:389) 2520.05/2453.11 at scala.App.main(App.scala:76) 2520.05/2453.11 at scala.App.main$(App.scala:74) 2520.05/2453.11 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.05/2453.11 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.05/2453.12 v <instantiation cost="5987"> 2520.05/2453.12 v <list> 2520.05/2453.12 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[27][0] ds[27][1] ds[27][2] ds[27][3] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[27][0] cc[27][1] cc[27][2] cc[27][3] 2520.05/2453.12 v </list> 2520.05/2453.12 v <values> 2520.05/2453.12 v 3 2 2 0 1 0 3 2 3 3 3 3 2 0 3 1 3 3 3 2 2 1 1 0 0 2 1 0 1 3 2 0 3 3 3 3 0 2 3 1 1 2 0 2 1 2 1 3 3 0 0 3 3 2 0 2 3 3 1 2 0 2 1 3 2 0 3 0 1 3 3 2 0 2 1 3 1 3 0 2 1 3 2 1 3 0 3 3 0 3 0 3 2 3 3 3 3 3 1 2 2 1 3 3 3 3 3 3 0 3 2 3 3 0 3 3 3 2 2 3 0 3 3 3 3 3 3 3 3 0 3 0 0 3 3 3 3 3 0 3 3 2 1 1 3 2 3 1 3 0 0 3 1 3 3 3 0 0 2 3 1 1 0 2 2 1 0 2 3 3 1 3 3 1 0 0 2 3 3 2 0 2 2 3 1 2 3 3 1 2 1 1 0 0 2 3 3 3 3 3 2 3 1 3 0 2 1 2 1 3 0 0 2 0 3 3 3 3 3 1 1 3 0 2 1 2 3 3 3 0 2 3 3 3 0 3 3 1 1 3 2 3 3 2 3 3 3 0 2 3 3 2 0 2 1 1 3 0 2 3 3 3 3 0 3 3 3 2 0 3 0 2 1 1 3 2 2 2 1 3 3 0 0 3 3 3 3 3 0 3 1 1 3 3 3 2 1 0 3 0 0 3 3 3 3 2 0 3 1 3 3 3 3 2 3 2 1 0 0 3 0 3 3 3 3 3 1 3 0 0 3 2 3 2 1 2 0 0 0 1 3 3 3 3 3 3 1 0 3 3 3 3 3 3 3 0 3 3 3 3 3 2 3 3 1 0 3 3 3 3 3 3 3 3 3 3 1 3 0 2 3 0 1 0 2 3 3 0 3 3 3 3 3 2 1 3 1 2 3 0 3 0 2 2 1 0 1 0 3 3 1 3 3 0 1 2 3 0 3 3 2 2 1 0 1 0 3 0 1 3 3 1 1 3 3 3 0 3 2 2 1 0 1 0 0 0 2 3 3 3 3 3 1 3 0 3 2 2 1 0 1 0 0 2 2 3 0 3 3 2 1 0 3 3 3 2 3 3 1 1 0 3 2 0 3 3 3 2 1 0 3 3 3 3 3 3 1 2 0 3 2 2 3 3 13 3 0 12 0 0 16 12 0 9 7 12 7 9 0 12 4 12 0 12 11 0 5 12 8 0 8 12 0 0 16 12 0 16 0 12 7 0 9 12 0 12 4 12 9 5 2 12 14 0 2 12 15 0 1 12 3 3 10 12 2 2 4 20 3 4 0 21 1 3 5 19 3 2 4 9 4 4 4 6 4 4 5 5 4 3 5 6 4 4 3 7 1 2 3 12 3 0 3 12 4 2 1 11 4 4 2 8 4 3 5 6 3 4 5 6 4 3 4 7 2 3 3 10 2 2 4 10 4 2 3 9 3 3 4 8 4 3 2 9 4 2 2 10 5 3 3 7 2 1 0 15 1 2 1 14 4 2 3 9 5 4 3 6 4 5 3 6 5 3 3 7 5 3 4 6 3 3 3 9 2 2 4 10 1 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 3 3 0 0 0 0 0 0 0 2 2 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 2 0 3 0 1 0 1 1 1 0 0 2 2 1 0 3 0 3 0 0 3 0 0 2 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 200 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 200 200 0 200 100 1 0 0 300 100 0 0 100 200 0 1 0 0 0 0 1 100 0 0 2 2 0 100 0 2 0 200 0 300 0 0 200 0 0 0 200 100 0 1 0 0 0 100 100 400 0 2 0 0 0 0 0 200 0 100 200 300 0 100 0 200 0 0 200 0 0 100 1 0 0 0 0 1 0 1 0 100 0 3 1 2 0 200 100 100 0 300 300 0 0 2520.05/2453.12 v </values> 2520.05/2453.12 v </instantiation> 2520.05/2453.12 s SATISFIABLE
OK 5987
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 (8632 MiB free)
memory of node 1: 16384 MiB (11803 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293001-1532304254/watcher-4293001-1532304254 -o /tmp/evaluation-result-4293001-1532304254/solver-4293001-1532304254 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=789237096 HOME/instance-4293001-1532304254.xml
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=7014, runsolver pid=7011
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 1.35 1.50 1.48 2/208 7071
/proc/meminfo: memFree=20916592/32770624 swapFree=67108860/67108860
[pid=7014] ppid=7011 vsize=9972712 memory=18592 CPUtime=0.09 cores=1,3,5,7
/proc/7014/stat : 7014 (java) S 7011 7014 5182 0 -1 1077944320 4262 12975 0 0 1 0 5 3 20 0 6 0 47988619 10212057088 4648 33554432000 4194304 4196468 140729676304464 140729676287008 140086178508535 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
/proc/7014/statm: 2493178 4648 1934 1 0 2481616 0
[pid=7014/tid=7067] ppid=7011 vsize=9972712 memory=4718545630382498451 CPUtime=0.09 cores=1,3,5,7
/proc/7014/task/7067/stat : 7067 (java) R 7011 7014 5182 0 -1 4202560 2096 12975 0 0 1 0 5 3 20 0 6 0 47988628 10212057088 4648 33554432000 4194304 4196468 140729676304464 140086150345296 140086163820537 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7068] ppid=7011 vsize=9972712 memory=5793855871591049657 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7068/stat : 7068 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 6 0 47988629 10212057088 4648 33554432000 4194304 4196468 140729676304464 140086182750608 140086178518741 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7069] ppid=7011 vsize=9972712 memory=140620581156480 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7069/stat : 7069 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 6 0 47988629 10212057088 4648 33554432000 4194304 4196468 140729676304464 140086071023888 140086178518741 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7070] ppid=7011 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7070/stat : 7070 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 6 0 47988629 10212057088 4648 33554432000 4194304 4196468 140729676304464 140086069971600 140086178518741 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7071] ppid=7011 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7071/stat : 7071 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 6 0 47988629 10212057088 4648 33554432000 4194304 4196468 140729676304464 140086068918800 140086178518741 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.209837 s]*
/proc/loadavg: 1.35 1.50 1.48 3/217 7080
/proc/meminfo: memFree=20895144/32770624 swapFree=67108860/67108860
[pid=7014] ppid=7011 vsize=10819896 memory=47348 CPUtime=0.26 cores=1,3,5,7
/proc/7014/stat : 7014 (java) S 7011 7014 5182 0 -1 1077944320 8045 12975 0 0 17 1 5 3 20 0 15 0 47988619 11079573504 11837 33554432000 4194304 4196468 140729676304464 140729676287008 140086178508535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
/proc/7014/statm: 2704974 11837 2960 1 0 2667397 0
[pid=7014/tid=7067] ppid=7011 vsize=10821524 memory=-2899909650764262549 CPUtime=0.2 cores=1,3,5,7
/proc/7014/task/7067/stat : 7067 (java) R 7011 7014 5182 0 -1 4202560 4985 12975 0 0 11 1 5 3 20 0 15 0 47988628 11081240576 12233 33554432000 4194304 4196468 140729676304464 140086150333344 140086171188253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7068] ppid=7011 vsize=10821524 memory=4211974346785947018 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7068/stat : 7068 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988629 11081240576 12233 33554432000 4194304 4196468 140729676304464 140086182750608 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7069] ppid=7011 vsize=10821524 memory=140620581156480 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7069/stat : 7069 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988629 11081240576 12233 33554432000 4194304 4196468 140729676304464 140086071023888 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7070] ppid=7011 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7070/stat : 7070 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988629 11081240576 12233 33554432000 4194304 4196468 140729676304464 140086069971600 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7071] ppid=7011 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7071/stat : 7071 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988629 11081240576 12081 33554432000 4194304 4196468 140729676304464 140086068918800 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7072] ppid=7011 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7072/stat : 7072 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988630 11081240576 11883 33554432000 4194304 4196468 140729676304464 140085637880432 140086178519682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7073] ppid=7011 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7073/stat : 7073 (java) S 7011 7014 5182 0 -1 1077944384 33 12975 0 0 0 0 5 3 20 0 15 0 47988631 11081240576 11883 33554432000 4194304 4196468 140729676304464 140085636826400 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7074] ppid=7011 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7074/stat : 7074 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988631 11078590464 11643 33554432000 4194304 4196468 140729676304464 140085525735024 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7075] ppid=7011 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7075/stat : 7075 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988634 11078557696 11635 33554432000 4194304 4196468 140729676304464 140084921756240 140086178527131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7076] ppid=7011 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7014/task/7076/stat : 7076 (java) S 7011 7014 5182 0 -1 1077944384 545 12975 0 0 1 0 5 3 20 0 15 0 47988634 11078557696 11635 33554432000 4194304 4196468 140729676304464 140085603268720 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7077] ppid=7011 vsize=10818904 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/7014/task/7077/stat : 7077 (java) S 7011 7014 5182 0 -1 1077944384 65 12975 0 0 1 0 5 3 20 0 15 0 47988634 11078557696 11635 33554432000 4194304 4196468 140729676304464 140085602215920 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7078] ppid=7011 vsize=10818904 memory=140620581156480 CPUtime=0.11 cores=1,3,5,7
/proc/7014/task/7078/stat : 7078 (java) S 7011 7014 5182 0 -1 1077944384 611 12975 0 0 3 0 5 3 20 0 15 0 47988634 11078557696 11635 33554432000 4194304 4196468 140729676304464 140085601163632 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7079] ppid=7011 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7079/stat : 7079 (java) S 7011 7014 5182 0 -1 1077944384 3 12975 0 0 0 0 5 3 20 0 15 0 47988634 11078557696 11635 33554432000 4194304 4196468 140729676304464 140084451994080 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7080] ppid=7011 vsize=10818904 memory=140620581156480 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7080/stat : 7080 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988634 11078557696 11635 33554432000 4194304 4196468 140729676304464 140085600111536 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819896 KiB
Current children cumulated memory: 47348 KiB
[startup+0.310306 s]*
/proc/loadavg: 1.35 1.50 1.48 2/217 7080
/proc/meminfo: memFree=20886152/32770624 swapFree=67108860/67108860
[pid=7014] ppid=7011 vsize=10819352 memory=52632 CPUtime=0.36 cores=1,3,5,7
/proc/7014/stat : 7014 (java) S 7011 7014 5182 0 -1 1077944320 9564 12975 0 0 26 2 5 3 20 0 15 0 47988619 11079016448 13158 33554432000 4194304 4196468 140729676304464 140729676287008 140086178508535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
/proc/7014/statm: 2704838 13158 3079 1 0 2667149 0
[pid=7014/tid=7067] ppid=7011 vsize=10819352 memory=8112282956445269571 CPUtime=0.26 cores=1,3,5,7
/proc/7014/task/7067/stat : 7067 (java) D 7011 7014 5182 0 -1 1077944384 6094 12975 0 0 17 1 5 3 20 0 15 0 47988628 11079016448 13158 33554432000 4194304 4196468 140729676304464 140086150319104 140086171187757 0 4 0 16800975 18446744072101625380 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7068] ppid=7011 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7068/stat : 7068 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988629 11079016448 13158 33554432000 4194304 4196468 140729676304464 140086182750608 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7069] ppid=7011 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7069/stat : 7069 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988629 11079016448 13158 33554432000 4194304 4196468 140729676304464 140086071023888 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7070] ppid=7011 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7070/stat : 7070 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988629 11079016448 13158 33554432000 4194304 4196468 140729676304464 140086069971600 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7071] ppid=7011 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7071/stat : 7071 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988629 11079016448 13158 33554432000 4194304 4196468 140729676304464 140086068918800 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7072] ppid=7011 vsize=10819352 memory=140620581156479 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7072/stat : 7072 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988630 11079016448 13158 33554432000 4194304 4196468 140729676304464 140085637880432 140086178519682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7073] ppid=7011 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7073/stat : 7073 (java) S 7011 7014 5182 0 -1 1077944384 33 12975 0 0 0 0 5 3 20 0 15 0 47988631 11079016448 13158 33554432000 4194304 4196468 140729676304464 140085636826400 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7074] ppid=7011 vsize=10819352 memory=140620581156480 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7074/stat : 7074 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988631 11079016448 13158 33554432000 4194304 4196468 140729676304464 140085525735024 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7075] ppid=7011 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7075/stat : 7075 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988634 11079016448 13158 33554432000 4194304 4196468 140729676304464 140084921756240 140086178527131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7076] ppid=7011 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7014/task/7076/stat : 7076 (java) S 7011 7014 5182 0 -1 1077944384 548 12975 0 0 1 0 5 3 20 0 15 0 47988634 11079016448 13158 33554432000 4194304 4196468 140729676304464 140085603268720 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7077] ppid=7011 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/7014/task/7077/stat : 7077 (java) S 7011 7014 5182 0 -1 1077944384 65 12975 0 0 1 0 5 3 20 0 15 0 47988634 11079016448 13158 33554432000 4194304 4196468 140729676304464 140085602215920 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7078] ppid=7011 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/7014/task/7078/stat : 7078 (java) S 7011 7014 5182 0 -1 1077944384 616 12975 0 0 5 0 5 3 20 0 15 0 47988634 11079016448 13158 33554432000 4194304 4196468 140729676304464 140085601163632 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7079] ppid=7011 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7079/stat : 7079 (java) S 7011 7014 5182 0 -1 1077944384 3 12975 0 0 0 0 5 3 20 0 15 0 47988634 11079016448 13158 33554432000 4194304 4196468 140729676304464 140084451994080 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7080] ppid=7011 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7080/stat : 7080 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988634 11079016448 13158 33554432000 4194304 4196468 140729676304464 140085600111536 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52632 KiB
[startup+0.702824 s]
/proc/loadavg: 1.35 1.50 1.48 3/217 7080
/proc/meminfo: memFree=20875876/32770624 swapFree=67108860/67108860
[pid=7014] ppid=7011 vsize=10819352 memory=85900 CPUtime=0.9 cores=1,3,5,7
/proc/7014/stat : 7014 (java) S 7011 7014 5182 0 -1 1077944320 16083 12975 0 0 79 3 5 3 20 0 15 0 47988619 11079016448 21475 33554432000 4194304 4196468 140729676304464 140729676287008 140086178508535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
/proc/7014/statm: 2704838 21475 3245 1 0 2667149 0
[pid=7014/tid=7067] ppid=7011 vsize=10819352 memory=15864 CPUtime=0.6 cores=1,3,5,7
/proc/7014/task/7067/stat : 7067 (java) R 7011 7014 5182 0 -1 4202560 11730 12975 0 0 50 2 5 3 20 0 15 0 47988628 11079016448 21475 33554432000 4194304 4196468 140729676304464 140086150322304 140086171225687 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7068] ppid=7011 vsize=10819352 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7068/stat : 7068 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988629 11079016448 21475 33554432000 4194304 4196468 140729676304464 140086182750608 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7069] ppid=7011 vsize=10819352 memory=140620450800111 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7069/stat : 7069 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988629 11079016448 21475 33554432000 4194304 4196468 140729676304464 140086071023888 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7070] ppid=7011 vsize=10819352 memory=140621524239229 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7070/stat : 7070 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988629 11079016448 21475 33554432000 4194304 4196468 140729676304464 140086069971600 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7071] ppid=7011 vsize=10819352 memory=644 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7071/stat : 7071 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988629 11079016448 21475 33554432000 4194304 4196468 140729676304464 140086068918800 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7072] ppid=7011 vsize=10819352 memory=7305218370954356569 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7072/stat : 7072 (java) S 7011 7014 5182 0 -1 1077944384 5 12975 0 0 0 0 5 3 20 0 15 0 47988630 11079016448 21475 33554432000 4194304 4196468 140729676304464 140085637880432 140086178519682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7073] ppid=7011 vsize=10819352 memory=7739276948478388840 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7073/stat : 7073 (java) S 7011 7014 5182 0 -1 1077944384 33 12975 0 0 0 0 5 3 20 0 15 0 47988631 11079016448 21475 33554432000 4194304 4196468 140729676304464 140085636826400 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7074] ppid=7011 vsize=10819352 memory=5787221545506525541 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7074/stat : 7074 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988631 11079016448 21475 33554432000 4194304 4196468 140729676304464 140085525735024 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7075] ppid=7011 vsize=10819352 memory=8514726395715218844 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7075/stat : 7075 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988634 11079016448 21475 33554432000 4194304 4196468 140729676304464 140084921756240 140086178527131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7076] ppid=7011 vsize=10819352 memory=8326441112149131695 CPUtime=0.15 cores=1,3,5,7
/proc/7014/task/7076/stat : 7076 (java) R 7011 7014 5182 0 -1 1077944384 972 12975 0 0 7 0 5 3 20 0 15 0 47988634 11079016448 21475 33554432000 4194304 4196468 140729676304464 140085603257392 140086178518741 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7077] ppid=7011 vsize=10819352 memory=-7025452035940392864 CPUtime=0.15 cores=1,3,5,7
/proc/7014/task/7077/stat : 7077 (java) R 7011 7014 5182 0 -1 4202560 464 12975 0 0 7 0 5 3 20 0 15 0 47988634 11079016448 21475 33554432000 4194304 4196468 140729676304464 140085602215920 140086160029779 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7078] ppid=7011 vsize=10819352 memory=6944656592452807326 CPUtime=0.21 cores=1,3,5,7
/proc/7014/task/7078/stat : 7078 (java) R 7011 7014 5182 0 -1 4202560 674 12975 0 0 13 0 5 3 20 0 15 0 47988634 11079016448 21475 33554432000 4194304 4196468 140729676304464 140085601163728 140086178520470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7079] ppid=7011 vsize=10819352 memory=-9178176116494409632 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7079/stat : 7079 (java) S 7011 7014 5182 0 -1 1077944384 3 12975 0 0 0 0 5 3 20 0 15 0 47988634 11079016448 21475 33554432000 4194304 4196468 140729676304464 140084451994080 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7080] ppid=7011 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7080/stat : 7080 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988634 11079016448 21475 33554432000 4194304 4196468 140729676304464 140085600111536 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
Current children cumulated CPU time: 0.9 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85900 KiB
[startup+1.50075 s]
/proc/loadavg: 1.35 1.50 1.48 3/217 7080
/proc/meminfo: memFree=20843912/32770624 swapFree=67108860/67108860
[pid=7014] ppid=7011 vsize=10832204 memory=159996 CPUtime=2.81 cores=1,3,5,7
/proc/7014/stat : 7014 (java) S 7011 7014 5182 0 -1 1077944320 24418 12975 0 0 265 8 5 3 20 0 15 0 47988619 11092176896 39999 33554432000 4194304 4196468 140729676304464 140729676287008 140086178508535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
/proc/7014/statm: 2708051 39999 3450 1 0 2669709 0
[pid=7014/tid=7067] ppid=7011 vsize=10832204 memory=0 CPUtime=1.4 cores=1,3,5,7
/proc/7014/task/7067/stat : 7067 (java) R 7011 7014 5182 0 -1 4202560 16512 12975 0 0 127 5 5 3 20 0 15 0 47988628 11092176896 39999 33554432000 4194304 4196468 140729676304464 140086150314512 140086162589022 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7068] ppid=7011 vsize=10832204 memory=96160 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7068/stat : 7068 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988629 11092176896 39999 33554432000 4194304 4196468 140729676304464 140086182750608 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7069] ppid=7011 vsize=10832204 memory=5790086053191909267 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7069/stat : 7069 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988629 11092176896 39999 33554432000 4194304 4196468 140729676304464 140086071023888 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7070] ppid=7011 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7070/stat : 7070 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988629 11092176896 39999 33554432000 4194304 4196468 140729676304464 140086069971600 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7071] ppid=7011 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7071/stat : 7071 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988629 11092176896 39999 33554432000 4194304 4196468 140729676304464 140086068918800 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7072] ppid=7011 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7072/stat : 7072 (java) S 7011 7014 5182 0 -1 1077944384 12 12975 0 0 0 0 5 3 20 0 15 0 47988630 11092176896 39999 33554432000 4194304 4196468 140729676304464 140085637880432 140086178519682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7073] ppid=7011 vsize=10832204 memory=-6221781267475802396 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7073/stat : 7073 (java) S 7011 7014 5182 0 -1 1077944384 33 12975 0 0 0 0 5 3 20 0 15 0 47988631 11092176896 39999 33554432000 4194304 4196468 140729676304464 140085636826400 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7074] ppid=7011 vsize=10832204 memory=4128 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7074/stat : 7074 (java) S 7011 7014 5182 0 -1 1077944384 1 12975 0 0 0 0 5 3 20 0 15 0 47988631 11092176896 39999 33554432000 4194304 4196468 140729676304464 140085525735024 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7075] ppid=7011 vsize=10832204 memory=2200 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7075/stat : 7075 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988634 11092176896 39999 33554432000 4194304 4196468 140729676304464 140084921756240 140086178527131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7076] ppid=7011 vsize=10832204 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/7014/task/7076/stat : 7076 (java) S 7011 7014 5182 0 -1 1077944384 2107 12975 0 0 48 0 5 3 20 0 15 0 47988634 11092176896 39999 33554432000 4194304 4196468 140729676304464 140085603268720 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7077] ppid=7011 vsize=10832204 memory=170994459267519 CPUtime=0.5 cores=1,3,5,7
/proc/7014/task/7077/stat : 7077 (java) S 7011 7014 5182 0 -1 1077944384 1804 12975 0 0 42 0 5 3 20 0 15 0 47988634 11092176896 39999 33554432000 4194304 4196468 140729676304464 140085602215920 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7078] ppid=7011 vsize=10832204 memory=268504 CPUtime=0.55 cores=1,3,5,7
/proc/7014/task/7078/stat : 7078 (java) S 7011 7014 5182 0 -1 1077944384 1742 12975 0 0 46 1 5 3 20 0 15 0 47988634 11092176896 39999 33554432000 4194304 4196468 140729676304464 140085601163632 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7079] ppid=7011 vsize=10832204 memory=4638778398332768848 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7079/stat : 7079 (java) S 7011 7014 5182 0 -1 1077944384 3 12975 0 0 0 0 5 3 20 0 15 0 47988634 11092176896 39999 33554432000 4194304 4196468 140729676304464 140084451994080 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7080] ppid=7011 vsize=10832204 memory=6935649255759568960 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7080/stat : 7080 (java) S 7011 7014 5182 0 -1 1077944384 3 12975 0 0 0 0 5 3 20 0 15 0 47988634 11092176896 39999 33554432000 4194304 4196468 140729676304464 140085600111536 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/7014/task/7067/stat : 7067 (java) R 7011 7014 5182 0 -1 4202560 96221 12975 0 0 235690 52 5 3 20 0 15 0 47988628 11180277760 225708 33554432000 4194304 4196468 140729676304464 140086150343792 140085768375600 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7068] ppid=7011 vsize=10918240 memory=902832 CPUtime=12.88 cores=1,3,5,7
/proc/7014/task/7068/stat : 7068 (java) S 7011 7014 5182 0 -1 1077944384 16914 12975 0 0 1228 52 5 3 20 0 15 0 47988629 11180277760 225708 33554432000 4194304 4196468 140729676304464 140086182750608 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7069] ppid=7011 vsize=10918240 memory=902832 CPUtime=12.89 cores=1,3,5,7
/proc/7014/task/7069/stat : 7069 (java) S 7011 7014 5182 0 -1 1077944384 16196 12975 0 0 1227 54 5 3 20 0 15 0 47988629 11180277760 225708 33554432000 4194304 4196468 140729676304464 140086071023888 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7070] ppid=7011 vsize=10918240 memory=902832 CPUtime=12.86 cores=1,3,5,7
/proc/7014/task/7070/stat : 7070 (java) S 7011 7014 5182 0 -1 1077944384 21500 12975 0 0 1222 56 5 3 20 0 15 0 47988629 11180277760 225708 33554432000 4194304 4196468 140729676304464 140086069971600 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7071] ppid=7011 vsize=10918240 memory=902832 CPUtime=12.89 cores=1,3,5,7
/proc/7014/task/7071/stat : 7071 (java) S 7011 7014 5182 0 -1 1077944384 22597 12975 0 0 1222 59 5 3 20 0 15 0 47988629 11180277760 225708 33554432000 4194304 4196468 140729676304464 140086068918800 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7072] ppid=7011 vsize=10918240 memory=902832 CPUtime=9.97 cores=1,3,5,7
/proc/7014/task/7072/stat : 7072 (java) S 7011 7014 5182 0 -1 1077944384 18001 12975 0 0 932 57 5 3 20 0 15 0 47988630 11180277760 225708 33554432000 4194304 4196468 140729676304464 140085637880432 140086178519682 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7073] ppid=7011 vsize=10918240 memory=902832 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7073/stat : 7073 (java) S 7011 7014 5182 0 -1 1077944384 44 12975 0 0 0 0 5 3 20 0 15 0 47988631 11180277760 225708 33554432000 4194304 4196468 140729676304464 140085636826464 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7074] ppid=7011 vsize=10918240 memory=902832 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7074/stat : 7074 (java) S 7011 7014 5182 0 -1 1077944384 9 12975 0 0 0 0 5 3 20 0 15 0 47988631 11180277760 225708 33554432000 4194304 4196468 140729676304464 140085525735040 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7075] ppid=7011 vsize=10918240 memory=1296 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7075/stat : 7075 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988634 11180277760 225708 33554432000 4194304 4196468 140729676304464 140084921756240 140086178527131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7076] ppid=7011 vsize=10918240 memory=2412 CPUtime=11.76 cores=1,3,5,7
/proc/7014/task/7076/stat : 7076 (java) S 7011 7014 5182 0 -1 1077944384 55382 12975 0 0 1160 8 5 3 20 0 15 0 47988634 11180277760 225708 33554432000 4194304 4196468 140729676304464 140085603268720 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7077] ppid=7011 vsize=10918240 memory=902832 CPUtime=11.88 cores=1,3,5,7
/proc/7014/task/7077/stat : 7077 (java) S 7011 7014 5182 0 -1 1077944384 47455 12975 0 0 1173 7 5 3 20 0 15 0 47988634 11180277760 225708 33554432000 4194304 4196468 140729676304464 140085602215920 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7078] ppid=7011 vsize=10918240 memory=4140 CPUtime=4.61 cores=1,3,5,7
/proc/7014/task/7078/stat : 7078 (java) S 7011 7014 5182 0 -1 1077944384 53940 12975 0 0 443 10 5 3 20 0 15 0 47988634 11180277760 225708 33554432000 4194304 4196468 140729676304464 140085601163632 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7079] ppid=7011 vsize=10918240 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7079/stat : 7079 (java) S 7011 7014 5182 0 -1 1077944384 3 12975 0 0 0 0 5 3 20 0 15 0 47988634 11180277760 225708 33554432000 4194304 4196468 140729676304464 140084451994080 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7080] ppid=7011 vsize=10918240 memory=15912 CPUtime=1.36 cores=1,3,5,7
/proc/7014/task/7080/stat : 7080 (java) S 7011 7014 5182 0 -1 1077944384 1156 12975 0 0 57 71 5 3 20 0 15 0 47988634 11180277760 225708 33554432000 4194304 4196468 140729676304464 140085600111536 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
Current children cumulated CPU time: 2448.01 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 902832 KiB
[startup+2442.3 s]
/proc/loadavg: 1.27 1.44 1.46 3/215 7281
/proc/meminfo: memFree=21359624/32770624 swapFree=67108860/67108860
[pid=7014] ppid=7011 vsize=10918240 memory=897188 CPUtime=2509.04 cores=1,3,5,7
/proc/7014/stat : 7014 (java) S 7011 7014 5182 0 -1 1077944320 352989 12975 0 0 250514 382 5 3 20 0 15 0 47988619 11180277760 224297 33554432000 4194304 4196468 140729676304464 140729676287008 140086178508535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
/proc/7014/statm: 2729560 224297 3532 1 0 2691213 0
[pid=7014/tid=7067] ppid=7011 vsize=10918240 memory=897188 CPUtime=2416.81 cores=1,3,5,7
/proc/7014/task/7067/stat : 7067 (java) R 7011 7014 5182 0 -1 4202560 96995 12975 0 0 241620 53 5 3 20 0 15 0 47988628 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086150343328 140085758423655 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7068] ppid=7011 vsize=10918240 memory=897188 CPUtime=13.24 cores=1,3,5,7
/proc/7014/task/7068/stat : 7068 (java) S 7011 7014 5182 0 -1 1077944384 16949 12975 0 0 1264 52 5 3 20 0 15 0 47988629 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086182750608 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7069] ppid=7011 vsize=10918240 memory=899752 CPUtime=13.25 cores=1,3,5,7
/proc/7014/task/7069/stat : 7069 (java) S 7011 7014 5182 0 -1 1077944384 16358 12975 0 0 1261 56 5 3 20 0 15 0 47988629 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086071023888 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7070] ppid=7011 vsize=10918240 memory=902832 CPUtime=13.23 cores=1,3,5,7
/proc/7014/task/7070/stat : 7070 (java) S 7011 7014 5182 0 -1 1077944384 21606 12975 0 0 1258 57 5 3 20 0 15 0 47988629 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086069971600 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7071] ppid=7011 vsize=10918240 memory=902832 CPUtime=13.25 cores=1,3,5,7
/proc/7014/task/7071/stat : 7071 (java) S 7011 7014 5182 0 -1 1077944384 22664 12975 0 0 1257 60 5 3 20 0 15 0 47988629 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086068918800 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7072] ppid=7011 vsize=10918240 memory=902832 CPUtime=10.23 cores=1,3,5,7
/proc/7014/task/7072/stat : 7072 (java) S 7011 7014 5182 0 -1 1077944384 18210 12975 0 0 957 58 5 3 20 0 15 0 47988630 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085637880432 140086178519682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7073] ppid=7011 vsize=10918240 memory=902832 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7073/stat : 7073 (java) S 7011 7014 5182 0 -1 1077944384 44 12975 0 0 0 0 5 3 20 0 15 0 47988631 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085636826464 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7074] ppid=7011 vsize=10918240 memory=897188 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7074/stat : 7074 (java) S 7011 7014 5182 0 -1 1077944384 9 12975 0 0 0 0 5 3 20 0 15 0 47988631 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085525735040 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7075] ppid=7011 vsize=10918240 memory=897188 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7075/stat : 7075 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140084921756240 140086178527131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7076] ppid=7011 vsize=10918240 memory=897188 CPUtime=11.76 cores=1,3,5,7
/proc/7014/task/7076/stat : 7076 (java) S 7011 7014 5182 0 -1 1077944384 55384 12975 0 0 1160 8 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085603268720 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7077] ppid=7011 vsize=10918240 memory=897188 CPUtime=11.88 cores=1,3,5,7
/proc/7014/task/7077/stat : 7077 (java) S 7011 7014 5182 0 -1 1077944384 47457 12975 0 0 1173 7 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085602215920 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7078] ppid=7011 vsize=10918240 memory=897188 CPUtime=4.61 cores=1,3,5,7
/proc/7014/task/7078/stat : 7078 (java) S 7011 7014 5182 0 -1 1077944384 53942 12975 0 0 443 10 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085601163632 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7079] ppid=7011 vsize=10918240 memory=897188 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7079/stat : 7079 (java) S 7011 7014 5182 0 -1 1077944384 3 12975 0 0 0 0 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140084451994080 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7080] ppid=7011 vsize=10918240 memory=897188 CPUtime=1.4 cores=1,3,5,7
/proc/7014/task/7080/stat : 7080 (java) S 7011 7014 5182 0 -1 1077944384 1173 12975 0 0 59 73 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085600111536 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
Current children cumulated CPU time: 2509.04 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 897188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2453.11 s]
/proc/loadavg: 1.23 1.43 1.45 3/215 7281
/proc/meminfo: memFree=21359624/32770624 swapFree=67108860/67108860
[pid=7014] ppid=7011 vsize=10918240 memory=897188 CPUtime=2520.05 cores=1,3,5,7
/proc/7014/stat : 7014 (java) S 7011 7014 5182 0 -1 1077944320 353497 12975 0 0 251613 384 5 3 20 0 15 0 47988619 11180277760 224297 33554432000 4194304 4196468 140729676304464 140729676287008 140086178508535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
/proc/7014/statm: 2729560 224297 3532 1 0 2691213 0
[pid=7014/tid=7067] ppid=7011 vsize=10918240 memory=899752 CPUtime=2427.49 cores=1,3,5,7
/proc/7014/task/7067/stat : 7067 (java) R 7011 7014 5182 0 -1 4202560 97143 12975 0 0 242688 53 5 3 20 0 15 0 47988628 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086150343376 140085748817163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7068] ppid=7011 vsize=10918240 memory=902832 CPUtime=13.31 cores=1,3,5,7
/proc/7014/task/7068/stat : 7068 (java) S 7011 7014 5182 0 -1 1077944384 16999 12975 0 0 1270 53 5 3 20 0 15 0 47988629 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086182750608 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7069] ppid=7011 vsize=10918240 memory=902832 CPUtime=13.31 cores=1,3,5,7
/proc/7014/task/7069/stat : 7069 (java) S 7011 7014 5182 0 -1 1077944384 16363 12975 0 0 1267 56 5 3 20 0 15 0 47988629 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086071023888 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7070] ppid=7011 vsize=10918240 memory=902832 CPUtime=13.29 cores=1,3,5,7
/proc/7014/task/7070/stat : 7070 (java) S 7011 7014 5182 0 -1 1077944384 21632 12975 0 0 1264 57 5 3 20 0 15 0 47988629 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086069971600 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7071] ppid=7011 vsize=10918240 memory=897188 CPUtime=13.32 cores=1,3,5,7
/proc/7014/task/7071/stat : 7071 (java) S 7011 7014 5182 0 -1 1077944384 22758 12975 0 0 1264 60 5 3 20 0 15 0 47988629 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086068918800 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7072] ppid=7011 vsize=10918240 memory=897188 CPUtime=10.28 cores=1,3,5,7
/proc/7014/task/7072/stat : 7072 (java) S 7011 7014 5182 0 -1 1077944384 18383 12975 0 0 962 58 5 3 20 0 15 0 47988630 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085637880432 140086178519682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7073] ppid=7011 vsize=10918240 memory=902832 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7073/stat : 7073 (java) S 7011 7014 5182 0 -1 1077944384 44 12975 0 0 0 0 5 3 20 0 15 0 47988631 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085636826464 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7074] ppid=7011 vsize=10918240 memory=897188 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7074/stat : 7074 (java) S 7011 7014 5182 0 -1 1077944384 9 12975 0 0 0 0 5 3 20 0 15 0 47988631 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085525735040 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7075] ppid=7011 vsize=10918240 memory=897188 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7075/stat : 7075 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140084921756240 140086178527131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7076] ppid=7011 vsize=10918240 memory=897188 CPUtime=11.76 cores=1,3,5,7
/proc/7014/task/7076/stat : 7076 (java) S 7011 7014 5182 0 -1 1077944384 55384 12975 0 0 1160 8 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085603268720 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7077] ppid=7011 vsize=10918240 memory=897188 CPUtime=11.88 cores=1,3,5,7
/proc/7014/task/7077/stat : 7077 (java) S 7011 7014 5182 0 -1 1077944384 47457 12975 0 0 1173 7 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085602215920 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7078] ppid=7011 vsize=10918240 memory=897188 CPUtime=4.62 cores=1,3,5,7
/proc/7014/task/7078/stat : 7078 (java) S 7011 7014 5182 0 -1 1077944384 53942 12975 0 0 444 10 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085601163632 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7079] ppid=7011 vsize=10918240 memory=897188 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7079/stat : 7079 (java) S 7011 7014 5182 0 -1 1077944384 3 12975 0 0 0 0 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140084451994080 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7080] ppid=7011 vsize=10918240 memory=-8634980985311628903 CPUtime=1.4 cores=1,3,5,7
/proc/7014/task/7080/stat : 7080 (java) S 7011 7014 5182 0 -1 1077944384 1185 12975 0 0 59 73 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085600111536 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 897188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2453.14 s]
# the end of solver process 7014 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.2 s, system=3.88308 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2453.11 s]
/proc/loadavg: 1.23 1.43 1.45 3/215 7281
/proc/meminfo: memFree=21359624/32770624 swapFree=67108860/67108860
[pid=7014] ppid=7011 vsize=10918240 memory=897188 CPUtime=2520.05 cores=1,3,5,7
/proc/7014/stat : 7014 (java) S 7011 7014 5182 0 -1 1077944320 353497 12975 0 0 251613 384 5 3 20 0 15 0 47988619 11180277760 224297 33554432000 4194304 4196468 140729676304464 140729676287008 140086178508535 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
/proc/7014/statm: 2729560 224297 3532 1 0 2691213 0
[pid=7014/tid=7067] ppid=7011 vsize=10918240 memory=899752 CPUtime=2427.49 cores=1,3,5,7
/proc/7014/task/7067/stat : 7067 (java) R 7011 7014 5182 0 -1 4202560 97143 12975 0 0 242688 53 5 3 20 0 15 0 47988628 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086150343376 140085748817163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7068] ppid=7011 vsize=10918240 memory=902832 CPUtime=13.31 cores=1,3,5,7
/proc/7014/task/7068/stat : 7068 (java) S 7011 7014 5182 0 -1 1077944384 16999 12975 0 0 1270 53 5 3 20 0 15 0 47988629 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086182750608 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7069] ppid=7011 vsize=10918240 memory=902832 CPUtime=13.31 cores=1,3,5,7
/proc/7014/task/7069/stat : 7069 (java) S 7011 7014 5182 0 -1 1077944384 16363 12975 0 0 1267 56 5 3 20 0 15 0 47988629 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086071023888 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7070] ppid=7011 vsize=10918240 memory=902832 CPUtime=13.29 cores=1,3,5,7
/proc/7014/task/7070/stat : 7070 (java) S 7011 7014 5182 0 -1 1077944384 21632 12975 0 0 1264 57 5 3 20 0 15 0 47988629 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086069971600 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7071] ppid=7011 vsize=10918240 memory=897188 CPUtime=13.32 cores=1,3,5,7
/proc/7014/task/7071/stat : 7071 (java) S 7011 7014 5182 0 -1 1077944384 22758 12975 0 0 1264 60 5 3 20 0 15 0 47988629 11180277760 224297 33554432000 4194304 4196468 140729676304464 140086068918800 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7072] ppid=7011 vsize=10918240 memory=897188 CPUtime=10.28 cores=1,3,5,7
/proc/7014/task/7072/stat : 7072 (java) S 7011 7014 5182 0 -1 1077944384 18383 12975 0 0 962 58 5 3 20 0 15 0 47988630 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085637880432 140086178519682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7073] ppid=7011 vsize=10918240 memory=902832 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7073/stat : 7073 (java) S 7011 7014 5182 0 -1 1077944384 44 12975 0 0 0 0 5 3 20 0 15 0 47988631 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085636826464 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7074] ppid=7011 vsize=10918240 memory=897188 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7074/stat : 7074 (java) S 7011 7014 5182 0 -1 1077944384 9 12975 0 0 0 0 5 3 20 0 15 0 47988631 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085525735040 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7075] ppid=7011 vsize=10918240 memory=897188 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7075/stat : 7075 (java) S 7011 7014 5182 0 -1 1077944384 2 12975 0 0 0 0 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140084921756240 140086178527131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7076] ppid=7011 vsize=10918240 memory=897188 CPUtime=11.76 cores=1,3,5,7
/proc/7014/task/7076/stat : 7076 (java) S 7011 7014 5182 0 -1 1077944384 55384 12975 0 0 1160 8 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085603268720 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7077] ppid=7011 vsize=10918240 memory=897188 CPUtime=11.88 cores=1,3,5,7
/proc/7014/task/7077/stat : 7077 (java) S 7011 7014 5182 0 -1 1077944384 47457 12975 0 0 1173 7 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085602215920 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7078] ppid=7011 vsize=10918240 memory=897188 CPUtime=4.62 cores=1,3,5,7
/proc/7014/task/7078/stat : 7078 (java) S 7011 7014 5182 0 -1 1077944384 53942 12975 0 0 444 10 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085601163632 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7079] ppid=7011 vsize=10918240 memory=897188 CPUtime=0.08 cores=1,3,5,7
/proc/7014/task/7079/stat : 7079 (java) S 7011 7014 5182 0 -1 1077944384 3 12975 0 0 0 0 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140084451994080 140086178518741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
[pid=7014/tid=7080] ppid=7011 vsize=10918240 memory=-8634980985311628903 CPUtime=1.4 cores=1,3,5,7
/proc/7014/task/7080/stat : 7080 (java) S 7011 7014 5182 0 -1 1077944384 1185 12975 0 0 59 73 5 3 20 0 15 0 47988634 11180277760 224297 33554432000 4194304 4196468 140729676304464 140085600111536 140086178519682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30982144 140729676311151 140729676313948 140729676313948 140729676316623 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 897188 KiB
Child status: 143
Real time (s): 2453.14
CPU time (s): 2520.09
CPU user time (s): 2516.2
CPU system time (s): 3.88308
CPU usage (%): 102.729
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1451756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.2
system time used= 3.88308
maximum resident set size= 1455360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 366976
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250093
involuntary context switches= 5956
# summary of solver processes directly reported to runsolver:
# pid: 7014
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.2
# total CPU system time (s): 3.88308
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5813 second user time and 23.7729 second system time
The end
Begin job on node103 at 2018-07-23 02:04:14 IDJOB=4293001 IDBENCH=141058 IDSOLVER=2750 FILE ID=node103/4293001-1532304254 RUNJOBID= node103-1532293810-5214 PBS_JOBID= 21018979 Free space on /tmp= 56828 MiB SOLVER NAME= Concrete 3.8 2018-06-13 BENCH NAME= XCSP18/NurseRostering/NurseRostering-06_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293001-1532304254/watcher-4293001-1532304254 -o /tmp/evaluation-result-4293001-1532304254/solver-4293001-1532304254 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=789237096 HOME/instance-4293001-1532304254.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a3bf89ae74321e3cfb193774a0c0983 RANDOM SEED=789237096 node103.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.48 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.48 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.48 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.48 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: 20926956 kB MemAvailable: 29478648 kB Buffers: 245180 kB Cached: 8507104 kB SwapCached: 0 kB Active: 3979616 kB Inactive: 7281128 kB Active(anon): 2511300 kB Inactive(anon): 16976 kB Active(file): 1468316 kB Inactive(file): 7264152 kB Unevictable: 7144 kB Mlocked: 7144 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26472 kB Writeback: 12 kB AnonPages: 2527924 kB Mapped: 49736 kB Shmem: 17036 kB Slab: 275680 kB SReclaimable: 247684 kB SUnreclaim: 27996 kB KernelStack: 3904 kB PageTables: 10148 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3241484 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2277376 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 56800 MiB End job on node103 at 2018-07-23 02:45:08