Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.9.2 | SAT (TO) | 5702 | 2520.11 | 2452.93 |
| 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 |
0.97/0.74 c Concrete v3.9.2.1532736233296 running 11.45/4.77 c 05:54:20.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7190. 'extension(3, x[2][14]=[0‥3]) :: init: true :: relation: MDD 1434506799, 5 edges, 4 vertices, 3 tuples 11.45/4.78 c 05:54:20.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7193. 'extension(3, 3) :: init: true :: relation: MDD 1434506799, 5 edges, 4 vertices, 3 tuples 11.45/4.78 c 05:54:20.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7194. 'extension(3, 3) :: init: true :: relation: MDD 1818440653, 4 edges, 3 vertices, 3 tuples 11.45/4.78 c 05:54:20.492 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7215. 'extension(x[1][12]=[0‥3], 3) :: init: true :: relation: MDD 1545563479, 5 edges, 4 vertices, 3 tuples 11.45/4.79 c 05:54:20.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7216. 'extension(3, x[3][12]=[0‥3]) :: init: true :: relation: MDD 1545563479, 5 edges, 4 vertices, 3 tuples 11.45/4.79 c 05:54:20.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7242. 'extension(x[3][3]=[0‥3], 3) :: init: true :: relation: MDD 1680147911, 5 edges, 4 vertices, 3 tuples 11.45/4.79 c 05:54:20.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7271. 'extension(x[3][15]=[0‥3], 3) :: init: true :: relation: MDD 1185502159, 5 edges, 4 vertices, 3 tuples 11.45/4.79 c 05:54:20.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7272. 'extension(3, x[5][15]=[0‥3]) :: init: true :: relation: MDD 1185502159, 5 edges, 4 vertices, 3 tuples 11.45/4.79 c 05:54:20.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7299. 'extension(3, wk[3][0]=[0‥1]) :: init: true :: relation: MDD 938279178, 4 edges, 3 vertices, 3 tuples 11.45/4.79 c 05:54:20.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7300. 'extension(3, x[6][3]=[0‥3]) :: init: true :: relation: MDD 1680147911, 5 edges, 4 vertices, 3 tuples 11.45/4.79 c 05:54:20.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7303. 'extension(3, 3) :: init: true :: relation: MDD 1680147911, 5 edges, 4 vertices, 3 tuples 11.45/4.79 c 05:54:20.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7330. 'extension(x[8][7]=[0‥3], 3) :: init: true :: relation: MDD 711483066, 5 edges, 4 vertices, 3 tuples 11.45/4.80 c 05:54:20.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7331. 'extension(3, x[10][7]=[0‥3]) :: init: true :: relation: MDD 711483066, 5 edges, 4 vertices, 3 tuples 11.77/4.80 c 05:54:20.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7360. 'extension(x[10][5]=[0‥3], 3) :: init: true :: relation: MDD 1389808948, 5 edges, 4 vertices, 3 tuples 11.77/4.80 c 05:54:20.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7390. 'extension(x[10][11]=[0‥3], 3) :: init: true :: relation: MDD 1150480094, 5 edges, 4 vertices, 3 tuples 11.77/4.80 c 05:54:20.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7422. 'extension(x[10][16]=[0‥3], 3) :: init: true :: relation: MDD 551797833, 5 edges, 4 vertices, 3 tuples 11.77/4.80 c 05:54:20.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7423. 'extension(3, x[12][16]=[0‥3]) :: init: true :: relation: MDD 551797833, 5 edges, 4 vertices, 3 tuples 11.77/4.80 c 05:54:20.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7451. 'extension(3, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1318313145, 4 edges, 3 vertices, 3 tuples 11.77/4.80 c 05:54:20.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7452. 'extension(3, x[13][5]=[0‥3]) :: init: true :: relation: MDD 1389808948, 5 edges, 4 vertices, 3 tuples 11.77/4.80 c 05:54:20.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7455. 'extension(3, 3) :: init: true :: relation: MDD 1389808948, 5 edges, 4 vertices, 3 tuples 11.77/4.81 c 05:54:20.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7482. 'extension(3, wk[11][1]=[0‥1]) :: init: true :: relation: MDD 2083215552, 4 edges, 3 vertices, 3 tuples 11.77/4.81 c 05:54:20.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7483. 'extension(3, x[13][11]=[0‥3]) :: init: true :: relation: MDD 1150480094, 5 edges, 4 vertices, 3 tuples 11.77/4.81 c 05:54:20.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7486. 'extension(3, 3) :: init: true :: relation: MDD 1150480094, 5 edges, 4 vertices, 3 tuples 11.77/4.81 c 05:54:20.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7515. 'extension(3, wk[7][1]=[0‥1]) :: init: true :: relation: MDD 1258103238, 4 edges, 3 vertices, 3 tuples 11.77/4.81 c 05:54:20.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7516. 'extension(x[12][7]=[0‥3], 3) :: init: true :: relation: MDD 711483066, 5 edges, 4 vertices, 3 tuples 11.77/4.81 c 05:54:20.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7517. 'extension(3, x[14][7]=[0‥3]) :: init: true :: relation: MDD 711483066, 5 edges, 4 vertices, 3 tuples 11.77/4.81 c 05:54:20.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7546. 'extension(x[13][9]=[0‥3], 3) :: init: true :: relation: MDD 181260145, 5 edges, 4 vertices, 3 tuples 11.77/4.82 c 05:54:20.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7576. 'extension(3, x[16][9]=[0‥3]) :: init: true :: relation: MDD 181260145, 5 edges, 4 vertices, 3 tuples 11.77/4.82 c 05:54:20.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7579. 'extension(3, 3) :: init: true :: relation: MDD 181260145, 5 edges, 4 vertices, 3 tuples 11.77/4.82 c 05:54:20.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7606. 'extension(x[14][10]=[0‥3], 3) :: init: true :: relation: MDD 252247502, 5 edges, 4 vertices, 3 tuples 11.77/4.82 c 05:54:20.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7638. 'extension(x[15][6]=[0‥3], 3) :: init: true :: relation: MDD 1680365850, 5 edges, 4 vertices, 3 tuples 11.77/4.82 c 05:54:20.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7639. 'extension(3, x[17][6]=[0‥3]) :: init: true :: relation: MDD 1680365850, 5 edges, 4 vertices, 3 tuples 11.77/4.82 c 05:54:20.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7668. 'extension(3, x[17][10]=[0‥3]) :: init: true :: relation: MDD 252247502, 5 edges, 4 vertices, 3 tuples 11.77/4.82 c 05:54:20.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7671. 'extension(3, 3) :: init: true :: relation: MDD 252247502, 5 edges, 4 vertices, 3 tuples 11.77/4.83 c 05:54:20.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7700. 'extension(x[15][13]=[0‥3], 3) :: init: true :: relation: MDD 2078741622, 5 edges, 4 vertices, 3 tuples 11.77/4.83 c 05:54:20.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7732. 'extension(x[15][16]=[0‥3], 3) :: init: true :: relation: MDD 551797833, 5 edges, 4 vertices, 3 tuples 11.77/4.84 c 05:54:20.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7733. 'extension(3, x[17][16]=[0‥3]) :: init: true :: relation: MDD 551797833, 5 edges, 4 vertices, 3 tuples 11.77/4.84 c 05:54:20.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7761. 'extension(x[16][8]=[0‥3], 3) :: init: true :: relation: MDD 1973491942, 5 edges, 4 vertices, 3 tuples 11.77/4.84 c 05:54:20.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7762. 'extension(3, x[18][8]=[0‥3]) :: init: true :: relation: MDD 1973491942, 5 edges, 4 vertices, 3 tuples 11.77/4.84 c 05:54:20.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7791. 'extension(3, x[18][13]=[0‥3]) :: init: true :: relation: MDD 2078741622, 5 edges, 4 vertices, 3 tuples 11.77/4.84 c 05:54:20.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7794. 'extension(3, 3) :: init: true :: relation: MDD 2078741622, 5 edges, 4 vertices, 3 tuples 11.77/4.84 c 05:54:20.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7823. 'extension(x[17][0]=[0‥3], 3) :: init: true :: relation: MDD 1861329337, 5 edges, 4 vertices, 3 tuples 11.77/4.84 c 05:54:20.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7853. 'extension(3, wk[0][2]=[0‥1]) :: init: true :: relation: MDD 52354732, 4 edges, 3 vertices, 3 tuples 11.77/4.84 c 05:54:20.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7854. 'extension(3, x[20][0]=[0‥3]) :: init: true :: relation: MDD 1861329337, 5 edges, 4 vertices, 3 tuples 11.77/4.85 c 05:54:20.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7857. 'extension(3, 3) :: init: true :: relation: MDD 1861329337, 5 edges, 4 vertices, 3 tuples 11.77/4.85 c 05:54:20.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7884. 'extension(3, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 1790598448, 4 edges, 3 vertices, 3 tuples 11.77/4.85 c 05:54:20.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7885. 'extension(x[19][6]=[0‥3], 3) :: init: true :: relation: MDD 1680365850, 5 edges, 4 vertices, 3 tuples 11.77/4.85 c 05:54:20.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7886. 'extension(3, x[21][6]=[0‥3]) :: init: true :: relation: MDD 1680365850, 5 edges, 4 vertices, 3 tuples 11.77/4.85 c 05:54:20.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7915. 'extension(x[21][2]=[0‥3], 3) :: init: true :: relation: MDD 1324165839, 5 edges, 4 vertices, 3 tuples 11.77/4.85 c 05:54:20.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7945. 'extension(3, x[24][2]=[0‥3]) :: init: true :: relation: MDD 1324165839, 5 edges, 4 vertices, 3 tuples 11.77/4.85 c 05:54:20.555 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7948. 'extension(3, 3) :: init: true :: relation: MDD 1324165839, 5 edges, 4 vertices, 3 tuples 11.77/4.85 c 05:54:20.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7974. 'extension(x[22][4]=[0‥3], 3) :: init: true :: relation: MDD 1641565704, 5 edges, 4 vertices, 3 tuples 11.77/4.85 c 05:54:20.557 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7975. 'extension(3, x[24][4]=[0‥3]) :: init: true :: relation: MDD 1641565704, 5 edges, 4 vertices, 3 tuples 11.77/4.85 c 05:54:20.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8003. 'extension(x[22][12]=[0‥3], 3) :: init: true :: relation: MDD 1545563479, 5 edges, 4 vertices, 3 tuples 11.77/4.85 c 05:54:20.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8004. 'extension(3, x[24][12]=[0‥3]) :: init: true :: relation: MDD 1545563479, 5 edges, 4 vertices, 3 tuples 11.77/4.85 c 05:54:20.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8033. 'extension(x[23][1]=[0‥3], 3) :: init: true :: relation: MDD 2056277810, 5 edges, 4 vertices, 3 tuples 11.77/4.85 c 05:54:20.563 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8061. 'extension(x[23][15]=[0‥3], 3) :: init: true :: relation: MDD 1185502159, 5 edges, 4 vertices, 3 tuples 11.77/4.85 c 05:54:20.564 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8062. 'extension(3, x[25][15]=[0‥3]) :: init: true :: relation: MDD 1185502159, 5 edges, 4 vertices, 3 tuples 11.77/4.86 c 05:54:20.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8088. 'extension(3, x[26][1]=[0‥3]) :: init: true :: relation: MDD 2056277810, 5 edges, 4 vertices, 3 tuples 11.77/4.86 c 05:54:20.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8091. 'extension(3, 3) :: init: true :: relation: MDD 2056277810, 5 edges, 4 vertices, 3 tuples 11.77/4.86 c 05:54:20.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8115. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 185583672, 4 edges, 3 vertices, 3 tuples 11.77/4.86 c 05:54:20.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8116. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 1458905542, 5 edges, 4 vertices, 3 tuples 11.77/4.86 c 05:54:20.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8140. 'extension(3, wk[4][3]=[0‥1]) :: init: true :: relation: MDD 1906128360, 4 edges, 3 vertices, 3 tuples 11.77/4.86 c 05:54:20.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8141. 'extension(x[26][4]=[0‥3], 3) :: init: true :: relation: MDD 1641565704, 5 edges, 4 vertices, 3 tuples 11.77/4.86 c 05:54:20.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8142. 'extension(3, x[26][4]=[0‥3]) :: init: true :: relation: MDD 1291485735, 4 edges, 3 vertices, 3 tuples 11.77/4.86 c 05:54:20.572 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8162. 'extension(3, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 99295602, 4 edges, 3 vertices, 3 tuples 11.77/4.86 c 05:54:20.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8163. 'extension(x[26][8]=[0‥3], 3) :: init: true :: relation: MDD 1973491942, 5 edges, 4 vertices, 3 tuples 11.77/4.86 c 05:54:20.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8164. 'extension(3, x[26][8]=[0‥3]) :: init: true :: relation: MDD 991875403, 4 edges, 3 vertices, 3 tuples 11.77/4.87 c 05:54:20.574 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8184. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1658520865, 4 edges, 3 vertices, 3 tuples 11.77/4.87 c 05:54:20.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8185. 'extension(3, 3) :: init: true :: relation: MDD 1458905542, 5 edges, 4 vertices, 3 tuples 11.77/4.89 c 05:54:20.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8384. 'extension(x[2][14]=[0‥3]) :: init: true :: relation: Empty MDD 11.77/4.89 c 05:54:20.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8394. 'extension(x[1][12]=[0‥3]) :: init: true :: relation: Empty MDD 11.77/4.89 c 05:54:20.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8396. 'extension(x[3][12]=[0‥3]) :: init: true :: relation: Empty MDD 11.77/4.89 c 05:54:20.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8410. 'extension(x[3][3]=[0‥3]) :: init: true :: relation: Empty MDD 11.77/4.89 c 05:54:20.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8416. 'extension(x[3][15]=[0‥3]) :: init: true :: relation: Empty MDD 11.77/4.89 c 05:54:20.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8418. 'extension(x[5][15]=[0‥3]) :: init: true :: relation: Empty MDD 11.77/4.89 c 05:54:20.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8430. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.77/4.89 c 05:54:20.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8432. 'extension(x[6][3]=[0‥3]) :: init: true :: relation: Empty MDD 11.77/4.90 c 05:54:20.605 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8446. 'extension(x[8][7]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.90 c 05:54:20.605 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8448. 'extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.90 c 05:54:20.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8462. 'extension(x[10][5]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.90 c 05:54:20.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8468. 'extension(x[10][11]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.90 c 05:54:20.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8474. 'extension(x[10][16]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8476. 'extension(x[12][16]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8488. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8490. 'extension(x[13][5]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8504. 'extension(wk[11][1]=[0‥1]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8506. 'extension(x[13][11]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8522. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8524. 'extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8526. 'extension(x[14][7]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8540. 'extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8546. 'extension(x[16][9]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8560. 'extension(x[14][10]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8566. 'extension(x[15][6]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8568. 'extension(x[17][6]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8582. 'extension(x[17][10]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8598. 'extension(x[15][13]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8604. 'extension(x[15][16]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8606. 'extension(x[17][16]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8618. 'extension(x[16][8]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8620. 'extension(x[18][8]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8634. 'extension(x[18][13]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8650. 'extension(x[17][0]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8656. 'extension(wk[0][2]=[0‥1]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8658. 'extension(x[20][0]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8672. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8674. 'extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8676. 'extension(x[21][6]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8690. 'extension(x[21][2]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8696. 'extension(x[24][2]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8710. 'extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8712. 'extension(x[24][4]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8726. 'extension(x[22][12]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8728. 'extension(x[24][12]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8744. 'extension(x[23][1]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8750. 'extension(x[23][15]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.91 c 05:54:20.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8752. 'extension(x[25][15]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.92 c 05:54:20.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8764. 'extension(x[26][1]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.92 c 05:54:20.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8778. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD 12.10/4.92 c 05:54:20.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8780. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.92 c 05:54:20.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8786. 'extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD 12.10/4.92 c 05:54:20.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8788. 'extension(x[26][4]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.92 c 05:54:20.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8790. 'extension(x[26][4]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.92 c 05:54:20.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8796. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD 12.10/4.92 c 05:54:20.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8798. 'extension(x[26][8]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.92 c 05:54:20.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8800. 'extension(x[26][8]=[0‥3]) :: init: true :: relation: Empty MDD 12.10/4.92 c 05:54:20.627 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8806. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD 248.85/226.50 o 6192 251.94/228.56 o 6092 635.44/600.65 o 6003 635.44/600.68 o 6002 635.67/600.70 o 6001 635.67/600.73 o 5901 643.26/607.90 o 5900 899.19/859.51 o 5805 899.19/859.51 o 5804 899.19/859.53 o 5803 977.84/936.23 o 5703 978.15/936.59 o 5702 2520.07/2452.90 Exception in thread "main" java.util.concurrent.TimeoutException 2520.07/2452.90 at concrete.MAC.mac(MAC.scala:188) 2520.07/2452.90 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.07/2452.90 at scala.util.Try$.apply(Try.scala:209) 2520.07/2452.90 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.07/2452.90 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.07/2452.90 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.07/2452.90 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.07/2452.90 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.07/2452.90 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.07/2452.90 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.07/2452.90 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.07/2452.90 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.07/2452.90 at concrete.MAC.oneRun(MAC.scala:253) 2520.07/2452.90 at concrete.MAC.nextSolution(MAC.scala:272) 2520.07/2452.90 at concrete.MAC.nextSolution(MAC.scala:355) 2520.07/2452.90 at concrete.Solver.hasNext(Solver.scala:166) 2520.07/2452.90 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.07/2452.90 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.07/2452.90 at concrete.Solver.foreach(Solver.scala:68) 2520.07/2452.90 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.07/2452.90 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.07/2452.90 at scala.util.Success.map(Try.scala:209) 2520.07/2452.90 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.07/2452.90 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.07/2452.90 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.07/2452.90 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.07/2452.90 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.07/2452.90 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.07/2452.90 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.07/2452.90 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.07/2452.90 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.07/2452.90 at scala.collection.immutable.List.foreach(List.scala:389) 2520.07/2452.90 at scala.App.main(App.scala:76) 2520.07/2452.90 at scala.App.main$(App.scala:74) 2520.07/2452.90 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.07/2452.90 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.07/2452.91 v <instantiation cost="5702"> 2520.07/2452.91 v <list> 2520.07/2452.91 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.07/2452.91 v </list> 2520.07/2452.91 v <values> 2520.07/2452.91 v 3 2 1 0 1 3 2 2 1 0 3 0 0 2 3 3 3 1 3 2 1 0 1 3 2 2 1 0 1 0 0 2 3 3 3 3 0 2 1 0 1 3 2 2 1 2 1 0 3 3 0 2 3 3 0 3 1 0 1 0 2 2 1 2 2 0 3 3 0 3 3 3 1 3 3 3 3 0 2 3 1 2 2 1 3 3 1 3 0 0 1 3 3 3 3 2 3 3 3 3 2 1 0 0 1 3 3 3 1 3 2 3 3 2 3 2 3 3 2 3 0 0 1 3 3 3 3 2 2 0 0 3 3 2 1 3 3 3 0 0 1 3 1 3 3 2 3 1 2 3 0 3 1 3 3 3 0 0 3 1 3 1 0 2 3 3 2 2 0 3 1 3 3 0 0 0 3 1 3 2 0 2 1 3 2 2 0 3 3 0 1 1 2 0 3 2 3 3 0 3 1 0 3 3 0 2 3 0 1 3 3 3 3 2 3 3 3 3 3 1 3 3 0 2 1 2 1 3 3 3 3 3 3 3 3 3 3 1 1 0 3 3 1 2 1 3 3 3 0 3 3 3 3 2 1 1 2 2 3 3 1 3 1 0 0 0 0 3 0 3 0 2 1 3 3 2 3 2 1 3 3 1 0 0 0 2 3 3 0 3 1 3 3 2 3 2 3 0 3 1 2 3 0 3 3 1 1 3 1 1 0 2 0 2 3 2 3 3 2 3 0 3 3 3 3 2 1 1 0 3 0 2 1 3 3 3 3 3 2 2 0 3 3 2 3 3 3 3 3 3 1 3 3 3 3 3 3 3 3 1 3 2 3 3 3 3 3 3 1 3 3 3 3 0 3 3 3 1 1 2 3 3 0 0 2 3 3 0 1 0 0 0 3 3 1 3 1 2 3 0 1 0 2 2 3 2 1 0 0 0 0 3 3 3 1 3 3 0 3 0 2 2 1 3 2 0 3 0 0 1 3 2 3 3 1 3 3 0 3 2 1 3 2 0 3 2 1 3 0 2 3 3 1 3 0 0 3 2 3 0 2 2 3 2 1 3 1 3 1 2 1 0 0 3 2 3 3 0 3 3 0 3 3 3 1 3 1 2 3 0 3 3 2 3 3 0 3 3 0 3 3 2 1 3 7 9 0 12 0 0 16 12 0 14 2 12 10 6 0 12 6 6 4 12 8 0 8 12 7 0 10 11 0 0 16 12 0 17 0 11 9 0 7 12 0 9 7 12 10 5 1 12 13 0 3 12 12 0 4 12 9 6 1 12 0 3 6 19 4 5 0 19 1 5 3 19 4 4 4 6 4 4 4 6 4 4 5 5 5 3 4 6 3 4 3 8 2 3 2 11 2 2 4 10 4 3 3 8 3 4 2 9 5 2 4 7 4 3 5 6 4 2 2 10 1 3 2 12 2 4 1 11 5 4 3 6 4 3 4 7 3 3 3 9 3 3 4 8 3 3 4 8 0 2 1 15 1 2 1 14 6 3 2 7 6 3 4 5 5 3 4 6 3 3 4 8 3 3 4 8 4 3 2 9 3 2 3 10 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 3 3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 2 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 1 1 0 0 0 2 2 2 3 0 1 0 3 1 1 1 1 1 0 0 1 0 3 0 3 3 2 3 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 3 3 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 100 200 200 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 1 0 200 0 1 1 2 0 100 100 0 0 300 0 400 0 0 0 300 0 1 0 100 0 2 0 0 0 200 100 300 0 1 1 2 0 200 0 100 0 300 100 200 0 100 0 200 0 2 100 100 0 0 0 1 0 1 200 2 0 100 0 0 0 1 1 2 0 100 100 200 0 200 300 100 0 2520.07/2452.91 v </values> 2520.07/2452.91 v </instantiation> 2520.07/2452.91 s SATISFIABLE
OK 5702
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 (1766 MiB free)
memory of node 1: 16384 MiB (3253 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304189-1534046055/watcher-4304189-1534046055 -o /tmp/evaluation-result-4304189-1534046055/solver-4304189-1534046055 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17409 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=989799754 HOME/instance-4304189-1534046055.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=18063, runsolver pid=18060
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.36 1.46 1.42 2/206 18120
/proc/meminfo: memFree=5131424/32770624 swapFree=67108404/67108860
[pid=18063] ppid=18060 vsize=10005480 memory=17076 CPUtime=0.08 cores=1,3,5,7
/proc/18063/stat : 18063 (java) S 18060 18063 15321 0 -1 1077944320 4433 12858 0 0 1 0 5 2 20 0 6 0 222168666 10245611520 4269 33554432000 4194304 4196468 140734964173152 140734964155696 140012569329399 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
/proc/18063/statm: 2501370 4269 1934 1 0 2489808 0
[pid=18063/tid=18116] ppid=18060 vsize=10005480 memory=4279135704013962638 CPUtime=0.08 cores=1,3,5,7
/proc/18063/task/18116/stat : 18116 (java) R 18060 18063 15321 0 -1 4202560 2250 12858 0 0 1 0 5 2 20 0 6 0 222168675 10245611520 4269 33554432000 4194304 4196468 140734964173152 140012541166160 140012552521712 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18117] ppid=18060 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18117/stat : 18117 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 6 0 222168676 10245611520 4269 33554432000 4194304 4196468 140734964173152 140012573571344 140012569339605 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18118] ppid=18060 vsize=10005480 memory=139633180657280 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18118/stat : 18118 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 6 0 222168676 10245611520 4269 33554432000 4194304 4196468 140734964173152 140012109486480 140012569339605 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18119] ppid=18060 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18119/stat : 18119 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 6 0 222168676 10245611520 4269 33554432000 4194304 4196468 140734964173152 140012108433936 140012569339605 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18120] ppid=18060 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18120/stat : 18120 (java) S 18060 18063 15321 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 6 0 222168676 10245611520 4269 33554432000 4194304 4196468 140734964173152 140012107381392 140012569339605 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17076 KiB
[startup+0.20979 s]*
/proc/loadavg: 1.36 1.46 1.42 3/215 18129
/proc/meminfo: memFree=5108312/32770624 swapFree=67108404/67108860
[pid=18063] ppid=18060 vsize=10982696 memory=44816 CPUtime=0.25 cores=1,3,5,7
/proc/18063/stat : 18063 (java) S 18060 18063 15321 0 -1 1077944320 8595 12858 0 0 16 2 5 2 20 0 15 0 222168666 11246280704 11204 33554432000 4194304 4196468 140734964173152 140734964155696 140012569329399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
/proc/18063/statm: 2745674 11204 2944 1 0 2708109 0
[pid=18063/tid=18116] ppid=18060 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/18063/task/18116/stat : 18116 (java) R 18060 18063 15321 0 -1 4202560 5133 12858 0 0 10 1 5 2 20 0 15 0 222168675 11246280704 11204 33554432000 4194304 4196468 140734964173152 140012541127056 140012549604786 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18117] ppid=18060 vsize=10982696 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18117/stat : 18117 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168676 11246280704 11204 33554432000 4194304 4196468 140734964173152 140012573571344 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18118] ppid=18060 vsize=10982696 memory=3762390475443914400 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18118/stat : 18118 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168676 11246280704 11204 33554432000 4194304 4196468 140734964173152 140012109486480 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18119] ppid=18060 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18119/stat : 18119 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168676 11246280704 11204 33554432000 4194304 4196468 140734964173152 140012108433936 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18120] ppid=18060 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18120/stat : 18120 (java) S 18060 18063 15321 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 15 0 222168676 11246280704 11204 33554432000 4194304 4196468 140734964173152 140012107381392 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18121] ppid=18060 vsize=10982696 memory=139633180657280 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18121/stat : 18121 (java) S 18060 18063 15321 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 15 0 222168678 11246280704 11204 33554432000 4194304 4196468 140734964173152 140012062431728 140012569340546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18122] ppid=18060 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18122/stat : 18122 (java) S 18060 18063 15321 0 -1 1077944384 13 12858 0 0 0 0 5 2 20 0 15 0 222168678 11246280704 11204 33554432000 4194304 4196468 140734964173152 140011316962720 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18123] ppid=18060 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18123/stat : 18123 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168678 11246280704 11204 33554432000 4194304 4196468 140734964173152 140011169113584 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18124] ppid=18060 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18124/stat : 18124 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11246280704 11204 33554432000 4194304 4196468 140734964173152 140010861714128 140012569347995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18125] ppid=18060 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18063/task/18125/stat : 18125 (java) S 18060 18063 15321 0 -1 1077944384 430 12858 0 0 1 0 5 2 20 0 15 0 222168681 11246280704 11204 33554432000 4194304 4196468 140734964173152 140012061378544 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18126] ppid=18060 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18126/stat : 18126 (java) S 18060 18063 15321 0 -1 1077944384 179 12858 0 0 0 0 5 2 20 0 15 0 222168681 11246280704 11204 33554432000 4194304 4196468 140734964173152 140012060326000 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18127] ppid=18060 vsize=10982696 memory=139633180657280 CPUtime=0.1 cores=1,3,5,7
/proc/18063/task/18127/stat : 18127 (java) S 18060 18063 15321 0 -1 1077944384 637 12858 0 0 3 0 5 2 20 0 15 0 222168681 11246280704 11204 33554432000 4194304 4196468 140734964173152 140012059273456 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18128] ppid=18060 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18128/stat : 18128 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11246280704 11204 33554432000 4194304 4196468 140734964173152 140010430917216 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18129] ppid=18060 vsize=10982696 memory=139633180657280 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18129/stat : 18129 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168681 11246280704 11204 33554432000 4194304 4196468 140734964173152 140012058221360 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44816 KiB
[startup+0.310312 s]*
/proc/loadavg: 1.36 1.46 1.42 3/215 18129
/proc/meminfo: memFree=5098304/32770624 swapFree=67108404/67108860
[pid=18063] ppid=18060 vsize=10983192 memory=56160 CPUtime=0.37 cores=1,3,5,7
/proc/18063/stat : 18063 (java) S 18060 18063 15321 0 -1 1077944320 10618 12858 0 0 28 2 5 2 20 0 15 0 222168666 11246788608 14040 33554432000 4194304 4196468 140734964173152 140734964155696 140012569329399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
/proc/18063/statm: 2745798 14040 3076 1 0 2708109 0
[pid=18063/tid=18116] ppid=18060 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/18063/task/18116/stat : 18116 (java) R 18060 18063 15321 0 -1 4202560 7153 12858 0 0 19 2 5 2 20 0 15 0 222168675 11246788608 14040 33554432000 4194304 4196468 140734964173152 140012541141184 140012553409886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18117] ppid=18060 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18117/stat : 18117 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168676 11246788608 14040 33554432000 4194304 4196468 140734964173152 140012573571344 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18118] ppid=18060 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18118/stat : 18118 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168676 11246788608 14040 33554432000 4194304 4196468 140734964173152 140012109486480 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18119] ppid=18060 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18119/stat : 18119 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168676 11246788608 14040 33554432000 4194304 4196468 140734964173152 140012108433936 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18120] ppid=18060 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18120/stat : 18120 (java) S 18060 18063 15321 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 15 0 222168676 11246788608 14040 33554432000 4194304 4196468 140734964173152 140012107381392 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18121] ppid=18060 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18121/stat : 18121 (java) S 18060 18063 15321 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 15 0 222168678 11246788608 14040 33554432000 4194304 4196468 140734964173152 140012062431728 140012569340546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18122] ppid=18060 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18122/stat : 18122 (java) S 18060 18063 15321 0 -1 1077944384 13 12858 0 0 0 0 5 2 20 0 15 0 222168678 11246788608 14040 33554432000 4194304 4196468 140734964173152 140011316962720 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18123] ppid=18060 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18123/stat : 18123 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168678 11246788608 14040 33554432000 4194304 4196468 140734964173152 140011169113584 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18124] ppid=18060 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18124/stat : 18124 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11246788608 14040 33554432000 4194304 4196468 140734964173152 140010861714128 140012569347995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18125] ppid=18060 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18063/task/18125/stat : 18125 (java) S 18060 18063 15321 0 -1 1077944384 431 12858 0 0 1 0 5 2 20 0 15 0 222168681 11246788608 14040 33554432000 4194304 4196468 140734964173152 140012061378544 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18126] ppid=18060 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18063/task/18126/stat : 18126 (java) S 18060 18063 15321 0 -1 1077944384 179 12858 0 0 1 0 5 2 20 0 15 0 222168681 11246788608 14040 33554432000 4194304 4196468 140734964173152 140012060326000 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18127] ppid=18060 vsize=10983192 memory=139633180657280 CPUtime=0.11 cores=1,3,5,7
/proc/18063/task/18127/stat : 18127 (java) S 18060 18063 15321 0 -1 1077944384 642 12858 0 0 4 0 5 2 20 0 15 0 222168681 11246788608 14040 33554432000 4194304 4196468 140734964173152 140012059273456 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18128] ppid=18060 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18128/stat : 18128 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11246788608 14040 33554432000 4194304 4196468 140734964173152 140010430917216 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18129] ppid=18060 vsize=10983192 memory=139633180657280 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18129/stat : 18129 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168681 11246788608 14040 33554432000 4194304 4196468 140734964173152 140012058221360 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56160 KiB
[startup+0.700753 s]
/proc/loadavg: 1.36 1.46 1.42 3/215 18129
/proc/meminfo: memFree=5086396/32770624 swapFree=67108404/67108860
[pid=18063] ppid=18060 vsize=10983192 memory=88948 CPUtime=0.97 cores=1,3,5,7
/proc/18063/stat : 18063 (java) S 18060 18063 15321 0 -1 1077944320 16829 12858 0 0 87 3 5 2 20 0 15 0 222168666 11246788608 22237 33554432000 4194304 4196468 140734964173152 140734964155696 140012569329399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
/proc/18063/statm: 2745798 22237 3237 1 0 2708109 0
[pid=18063/tid=18116] ppid=18060 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/18063/task/18116/stat : 18116 (java) R 18060 18063 15321 0 -1 4202560 12430 12858 0 0 56 2 5 2 20 0 15 0 222168675 11246788608 22237 33554432000 4194304 4196468 140734964173152 140012541150224 140012550702856 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18117] ppid=18060 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18117/stat : 18117 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168676 11246788608 22237 33554432000 4194304 4196468 140734964173152 140012573571344 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18118] ppid=18060 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18118/stat : 18118 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168676 11246788608 22237 33554432000 4194304 4196468 140734964173152 140012109486480 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18119] ppid=18060 vsize=10983192 memory=139633077922352 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18119/stat : 18119 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168676 11246788608 22237 33554432000 4194304 4196468 140734964173152 140012108433936 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18120] ppid=18060 vsize=10983192 memory=139633681760844 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18120/stat : 18120 (java) S 18060 18063 15321 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 15 0 222168676 11246788608 22237 33554432000 4194304 4196468 140734964173152 140012107381392 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18121] ppid=18060 vsize=10983192 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18121/stat : 18121 (java) S 18060 18063 15321 0 -1 1077944384 5 12858 0 0 0 0 5 2 20 0 15 0 222168678 11246788608 22237 33554432000 4194304 4196468 140734964173152 140012062431728 140012569340546 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18122] ppid=18060 vsize=10983192 memory=4639098309541128813 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18122/stat : 18122 (java) S 18060 18063 15321 0 -1 1077944384 13 12858 0 0 0 0 5 2 20 0 15 0 222168678 11246788608 22237 33554432000 4194304 4196468 140734964173152 140011316962720 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18123] ppid=18060 vsize=10983192 memory=6082220498126138728 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18123/stat : 18123 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168678 11246788608 22237 33554432000 4194304 4196468 140734964173152 140011169113584 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18124] ppid=18060 vsize=10983192 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18124/stat : 18124 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11246788608 22237 33554432000 4194304 4196468 140734964173152 140010861714128 140012569347995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18125] ppid=18060 vsize=10983192 memory=33352 CPUtime=0.16 cores=1,3,5,7
/proc/18063/task/18125/stat : 18125 (java) S 18060 18063 15321 0 -1 1077944384 1069 12858 0 0 9 0 5 2 20 0 15 0 222168681 11246788608 22237 33554432000 4194304 4196468 140734964173152 140012061378544 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18126] ppid=18060 vsize=10983192 memory=14644 CPUtime=0.13 cores=1,3,5,7
/proc/18063/task/18126/stat : 18126 (java) S 18060 18063 15321 0 -1 1077944384 422 12858 0 0 6 0 5 2 20 0 15 0 222168681 11246788608 22237 33554432000 4194304 4196468 140734964173152 140012060326000 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18127] ppid=18060 vsize=10983192 memory=1720 CPUtime=0.19 cores=1,3,5,7
/proc/18063/task/18127/stat : 18127 (java) S 18060 18063 15321 0 -1 1077944384 689 12858 0 0 12 0 5 2 20 0 15 0 222168681 11246788608 22237 33554432000 4194304 4196468 140734964173152 140012059273456 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18128] ppid=18060 vsize=10983192 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18128/stat : 18128 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11246788608 22237 33554432000 4194304 4196468 140734964173152 140010430917216 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18129] ppid=18060 vsize=10983192 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18129/stat : 18129 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168681 11246788608 22237 33554432000 4194304 4196468 140734964173152 140012058221360 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88948 KiB
[startup+1.50311 s]
/proc/loadavg: 1.36 1.46 1.42 3/215 18129
/proc/meminfo: memFree=5039444/32770624 swapFree=67108404/67108860
[pid=18063] ppid=18060 vsize=10996044 memory=176068 CPUtime=2.9 cores=1,3,5,7
/proc/18063/stat : 18063 (java) S 18060 18063 15321 0 -1 1077944320 25716 12858 0 0 274 9 5 2 20 0 15 0 222168666 11259949056 44017 33554432000 4194304 4196468 140734964173152 140734964155696 140012569329399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
/proc/18063/statm: 2749011 44017 3451 1 0 2710669 0
[pid=18063/tid=18116] ppid=18060 vsize=10996044 memory=4872558044660077418 CPUtime=1.45 cores=1,3,5,7
/proc/18063/task/18116/stat : 18116 (java) S 18060 18063 15321 0 -1 1077944384 17078 12858 0 0 132 6 5 2 20 0 15 0 222168675 11259949056 44017 33554432000 4194304 4196468 140734964173152 140012541113984 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18117] ppid=18060 vsize=10996044 memory=279266155876000 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18117/stat : 18117 (java) S 18060 18063 15321 0 -1 1077944384 165 12858 0 0 0 0 5 2 20 0 15 0 222168676 11259949056 44017 33554432000 4194304 4196468 140734964173152 140012573571344 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18118] ppid=18060 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18118/stat : 18118 (java) S 18060 18063 15321 0 -1 1077944384 8 12858 0 0 0 0 5 2 20 0 15 0 222168676 11259949056 44017 33554432000 4194304 4196468 140734964173152 140012109486480 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18119] ppid=18060 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18119/stat : 18119 (java) S 18060 18063 15321 0 -1 1077944384 9 12858 0 0 0 0 5 2 20 0 15 0 222168676 11259949056 44017 33554432000 4194304 4196468 140734964173152 140012108433936 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18120] ppid=18060 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18120/stat : 18120 (java) S 18060 18063 15321 0 -1 1077944384 44 12858 0 0 0 0 5 2 20 0 15 0 222168676 11259949056 44017 33554432000 4194304 4196468 140734964173152 140012107381392 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18121] ppid=18060 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18121/stat : 18121 (java) R 18060 18063 15321 0 -1 4202560 21 12858 0 0 0 0 5 2 20 0 15 0 222168678 11259949056 44017 33554432000 4194304 4196468 140734964173152 140012062430208 140012553688770 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18122] ppid=18060 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18122/stat : 18122 (java) S 18060 18063 15321 0 -1 1077944384 13 12858 0 0 0 0 5 2 20 0 15 0 222168678 11259949056 44017 33554432000 4194304 4196468 140734964173152 140011316962720 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18123] ppid=18060 vsize=10996044 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18123/stat : 18123 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168678 11259949056 44017 33554432000 4194304 4196468 140734964173152 140011169113584 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18124] ppid=18060 vsize=10996044 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18124/stat : 18124 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11259949056 44017 33554432000 4194304 4196468 140734964173152 140010861714128 140012569347995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18125] ppid=18060 vsize=10996044 memory=10 CPUtime=0.57 cores=1,3,5,7
/proc/18063/task/18125/stat : 18125 (java) S 18060 18063 15321 0 -1 1077944384 2324 12858 0 0 50 0 5 2 20 0 15 0 222168681 11259949056 44017 33554432000 4194304 4196468 140734964173152 140012061378544 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18126] ppid=18060 vsize=10996044 memory=6791534058613427641 CPUtime=0.5 cores=1,3,5,7
/proc/18063/task/18126/stat : 18126 (java) S 18060 18063 15321 0 -1 1077944384 2146 12858 0 0 43 0 5 2 20 0 15 0 222168681 11259949056 44017 33554432000 4194304 4196468 140734964173152 140012060326000 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18127] ppid=18060 vsize=10996044 memory=279266156115808 CPUtime=0.53 cores=1,3,5,7
/proc/18063/task/18127/stat : 18127 (java) S 18060 18063 15321 0 -1 1077944384 1712 12858 0 0 46 0 5 2 20 0 15 0 222168681 11259949056 44017 33554432000 4194304 4196468 140734964173152 140012059273456 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18128] ppid=18060 vsize=10996044 memory=-7233780906022716832 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18128/stat : 18128 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11259949056 44017 33554432000 4194304 4196468 140734964173152 140010430917216 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18129] ppid=18060 vsize=10996044 memory=-7531822216213012384 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18129/stat : 18129 (java) S 18060 18063 15321 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 222168681 11259949056 44017 33554432000 4194304 4196468 140734964173152 140012058221360 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/18063/task/18116/stat : 18116 (java) R 18060 18063 15321 0 -1 4202560 93055 12858 0 0 235694 49 5 2 20 0 15 0 222168675 11348049920 218605 33554432000 4194304 4196468 140734964173152 140012541164864 140012150556108 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18117] ppid=18060 vsize=11082080 memory=872372 CPUtime=13 cores=1,3,5,7
/proc/18063/task/18117/stat : 18117 (java) S 18060 18063 15321 0 -1 1077944384 12120 12858 0 0 1240 53 5 2 20 0 15 0 222168676 11348049920 218605 33554432000 4194304 4196468 140734964173152 140012573571344 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18118] ppid=18060 vsize=11082080 memory=874420 CPUtime=12.98 cores=1,3,5,7
/proc/18063/task/18118/stat : 18118 (java) S 18060 18063 15321 0 -1 1077944384 11924 12858 0 0 1238 53 5 2 20 0 15 0 222168676 11348049920 218605 33554432000 4194304 4196468 140734964173152 140012109486480 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18119] ppid=18060 vsize=11082080 memory=874420 CPUtime=12.94 cores=1,3,5,7
/proc/18063/task/18119/stat : 18119 (java) S 18060 18063 15321 0 -1 1077944384 13112 12858 0 0 1234 53 5 2 20 0 15 0 222168676 11348049920 218605 33554432000 4194304 4196468 140734964173152 140012108433936 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18120] ppid=18060 vsize=11082080 memory=874420 CPUtime=12.98 cores=1,3,5,7
/proc/18063/task/18120/stat : 18120 (java) S 18060 18063 15321 0 -1 1077944384 12244 12858 0 0 1242 49 5 2 20 0 15 0 222168676 11348049920 218605 33554432000 4194304 4196468 140734964173152 140012107381392 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18121] ppid=18060 vsize=11082080 memory=874420 CPUtime=9.34 cores=1,3,5,7
/proc/18063/task/18121/stat : 18121 (java) S 18060 18063 15321 0 -1 1077944384 14714 12858 0 0 871 56 5 2 20 0 15 0 222168678 11348049920 218605 33554432000 4194304 4196468 140734964173152 140012062431728 140012569340546 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18122] ppid=18060 vsize=11082080 memory=874420 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18122/stat : 18122 (java) S 18060 18063 15321 0 -1 1077944384 16 12858 0 0 0 0 5 2 20 0 15 0 222168678 11348049920 218605 33554432000 4194304 4196468 140734964173152 140011316962848 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18123] ppid=18060 vsize=11082080 memory=874420 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18123/stat : 18123 (java) S 18060 18063 15321 0 -1 1077944384 4 12858 0 0 0 0 5 2 20 0 15 0 222168678 11348049920 218605 33554432000 4194304 4196468 140734964173152 140011169113600 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18124] ppid=18060 vsize=11082080 memory=874420 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18124/stat : 18124 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11348049920 218605 33554432000 4194304 4196468 140734964173152 140010861714128 140012569347995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18125] ppid=18060 vsize=11082080 memory=872372 CPUtime=12.33 cores=1,3,5,7
/proc/18063/task/18125/stat : 18125 (java) S 18060 18063 15321 0 -1 1077944384 62244 12858 0 0 1218 8 5 2 20 0 15 0 222168681 11348049920 218605 33554432000 4194304 4196468 140734964173152 140012061378544 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18126] ppid=18060 vsize=11082080 memory=3684 CPUtime=11.76 cores=1,3,5,7
/proc/18063/task/18126/stat : 18126 (java) S 18060 18063 15321 0 -1 1077944384 57752 12858 0 0 1162 7 5 2 20 0 15 0 222168681 11348049920 218605 33554432000 4194304 4196468 140734964173152 140012060326000 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18127] ppid=18060 vsize=11082080 memory=60576 CPUtime=4.56 cores=1,3,5,7
/proc/18063/task/18127/stat : 18127 (java) S 18060 18063 15321 0 -1 1077944384 56646 12858 0 0 440 9 5 2 20 0 15 0 222168681 11348049920 218605 33554432000 4194304 4196468 140734964173152 140012059273456 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18128] ppid=18060 vsize=11082080 memory=60576 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18128/stat : 18128 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11348049920 218605 33554432000 4194304 4196468 140734964173152 140010430917216 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18129] ppid=18060 vsize=11082080 memory=2148 CPUtime=1.36 cores=1,3,5,7
/proc/18063/task/18129/stat : 18129 (java) S 18060 18063 15321 0 -1 1077944384 1473 12858 0 0 55 74 5 2 20 0 15 0 222168681 11348049920 218605 33554432000 4194304 4196468 140734964173152 140012058221360 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
Current children cumulated CPU time: 2448.23 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 874420 KiB
[startup+2442.3 s]
/proc/loadavg: 1.54 1.55 1.48 3/216 18357
/proc/meminfo: memFree=4772348/32770624 swapFree=67108404/67108860
[pid=18063] ppid=18060 vsize=11082080 memory=860056 CPUtime=2509.28 cores=1,3,5,7
/proc/18063/stat : 18063 (java) S 18060 18063 15321 0 -1 1077944320 338701 12858 0 0 250553 368 5 2 20 0 15 0 222168666 11348049920 215014 33554432000 4194304 4196468 140734964173152 140734964155696 140012569329399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
/proc/18063/statm: 2770520 215014 3534 1 0 2732173 0
[pid=18063/tid=18116] ppid=18060 vsize=11082080 memory=860056 CPUtime=2416.83 cores=1,3,5,7
/proc/18063/task/18116/stat : 18116 (java) R 18060 18063 15321 0 -1 4202560 93688 12858 0 0 241627 49 5 2 20 0 15 0 222168675 11348049920 215014 33554432000 4194304 4196468 140734964173152 140012541164064 140012149169287 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18117] ppid=18060 vsize=11082080 memory=860056 CPUtime=13.36 cores=1,3,5,7
/proc/18063/task/18117/stat : 18117 (java) S 18060 18063 15321 0 -1 1077944384 12305 12858 0 0 1275 54 5 2 20 0 15 0 222168676 11348049920 215014 33554432000 4194304 4196468 140734964173152 140012573571344 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18118] ppid=18060 vsize=11082080 memory=865700 CPUtime=13.33 cores=1,3,5,7
/proc/18063/task/18118/stat : 18118 (java) S 18060 18063 15321 0 -1 1077944384 11960 12858 0 0 1272 54 5 2 20 0 15 0 222168676 11348049920 215014 33554432000 4194304 4196468 140734964173152 140012109486480 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18119] ppid=18060 vsize=11082080 memory=860056 CPUtime=13.3 cores=1,3,5,7
/proc/18063/task/18119/stat : 18119 (java) S 18060 18063 15321 0 -1 1077944384 13171 12858 0 0 1268 55 5 2 20 0 15 0 222168676 11348049920 215014 33554432000 4194304 4196468 140734964173152 140012108433936 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18120] ppid=18060 vsize=11082080 memory=860056 CPUtime=13.34 cores=1,3,5,7
/proc/18063/task/18120/stat : 18120 (java) S 18060 18063 15321 0 -1 1077944384 12355 12858 0 0 1277 50 5 2 20 0 15 0 222168676 11348049920 215014 33554432000 4194304 4196468 140734964173152 140012107381392 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18121] ppid=18060 vsize=11082080 memory=860056 CPUtime=9.58 cores=1,3,5,7
/proc/18063/task/18121/stat : 18121 (java) S 18060 18063 15321 0 -1 1077944384 14872 12858 0 0 893 58 5 2 20 0 15 0 222168678 11348049920 215014 33554432000 4194304 4196468 140734964173152 140012062431728 140012569340546 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18122] ppid=18060 vsize=11082080 memory=860056 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18122/stat : 18122 (java) S 18060 18063 15321 0 -1 1077944384 16 12858 0 0 0 0 5 2 20 0 15 0 222168678 11348049920 215014 33554432000 4194304 4196468 140734964173152 140011316962848 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18123] ppid=18060 vsize=11082080 memory=860056 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18123/stat : 18123 (java) S 18060 18063 15321 0 -1 1077944384 4 12858 0 0 0 0 5 2 20 0 15 0 222168678 11348049920 215014 33554432000 4194304 4196468 140734964173152 140011169113600 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18124] ppid=18060 vsize=11082080 memory=860056 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18124/stat : 18124 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11348049920 215014 33554432000 4194304 4196468 140734964173152 140010861714128 140012569347995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18125] ppid=18060 vsize=11082080 memory=860056 CPUtime=12.33 cores=1,3,5,7
/proc/18063/task/18125/stat : 18125 (java) S 18060 18063 15321 0 -1 1077944384 62246 12858 0 0 1218 8 5 2 20 0 15 0 222168681 11348049920 215014 33554432000 4194304 4196468 140734964173152 140012061378544 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18126] ppid=18060 vsize=11082080 memory=860056 CPUtime=11.76 cores=1,3,5,7
/proc/18063/task/18126/stat : 18126 (java) S 18060 18063 15321 0 -1 1077944384 57754 12858 0 0 1162 7 5 2 20 0 15 0 222168681 11348049920 215014 33554432000 4194304 4196468 140734964173152 140012060326000 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18127] ppid=18060 vsize=11082080 memory=860056 CPUtime=4.56 cores=1,3,5,7
/proc/18063/task/18127/stat : 18127 (java) S 18060 18063 15321 0 -1 1077944384 56648 12858 0 0 440 9 5 2 20 0 15 0 222168681 11348049920 215014 33554432000 4194304 4196468 140734964173152 140012059273456 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18128] ppid=18060 vsize=11082080 memory=860056 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18128/stat : 18128 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11348049920 215014 33554432000 4194304 4196468 140734964173152 140010430917216 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18129] ppid=18060 vsize=11082080 memory=860056 CPUtime=1.39 cores=1,3,5,7
/proc/18063/task/18129/stat : 18129 (java) S 18060 18063 15321 0 -1 1077944384 1488 12858 0 0 57 75 5 2 20 0 15 0 222168681 11348049920 215014 33554432000 4194304 4196468 140734964173152 140012058221360 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
Current children cumulated CPU time: 2509.28 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 860056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2452.9 s]
/proc/loadavg: 1.54 1.55 1.48 3/215 18357
/proc/meminfo: memFree=4770572/32770624 swapFree=67108404/67108860
[pid=18063] ppid=18060 vsize=11082080 memory=862104 CPUtime=2520.07 cores=1,3,5,7
/proc/18063/stat : 18063 (java) S 18060 18063 15321 0 -1 1077944320 338777 12858 0 0 251631 369 5 2 20 0 15 0 222168666 11348049920 215526 33554432000 4194304 4196468 140734964173152 140734964155696 140012569329399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
/proc/18063/statm: 2770520 215526 3534 1 0 2732173 0
[pid=18063/tid=18116] ppid=18060 vsize=11082080 memory=862104 CPUtime=2427.32 cores=1,3,5,7
/proc/18063/task/18116/stat : 18116 (java) R 18060 18063 15321 0 -1 4202560 93745 12858 0 0 242675 50 5 2 20 0 15 0 222168675 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012541164032 140012149729086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18117] ppid=18060 vsize=11082080 memory=862104 CPUtime=13.42 cores=1,3,5,7
/proc/18063/task/18117/stat : 18117 (java) S 18060 18063 15321 0 -1 1077944384 12310 12858 0 0 1281 54 5 2 20 0 15 0 222168676 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012573571344 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18118] ppid=18060 vsize=11082080 memory=860056 CPUtime=13.39 cores=1,3,5,7
/proc/18063/task/18118/stat : 18118 (java) S 18060 18063 15321 0 -1 1077944384 11964 12858 0 0 1278 54 5 2 20 0 15 0 222168676 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012109486480 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18119] ppid=18060 vsize=11082080 memory=860056 CPUtime=13.37 cores=1,3,5,7
/proc/18063/task/18119/stat : 18119 (java) S 18060 18063 15321 0 -1 1077944384 13175 12858 0 0 1274 56 5 2 20 0 15 0 222168676 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012108433936 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18120] ppid=18060 vsize=11082080 memory=860056 CPUtime=13.4 cores=1,3,5,7
/proc/18063/task/18120/stat : 18120 (java) S 18060 18063 15321 0 -1 1077944384 12359 12858 0 0 1283 50 5 2 20 0 15 0 222168676 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012107381392 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18121] ppid=18060 vsize=11082080 memory=860056 CPUtime=9.62 cores=1,3,5,7
/proc/18063/task/18121/stat : 18121 (java) S 18060 18063 15321 0 -1 1077944384 14874 12858 0 0 897 58 5 2 20 0 15 0 222168678 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012062431728 140012569340546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18122] ppid=18060 vsize=11082080 memory=860056 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18122/stat : 18122 (java) S 18060 18063 15321 0 -1 1077944384 16 12858 0 0 0 0 5 2 20 0 15 0 222168678 11348049920 215526 33554432000 4194304 4196468 140734964173152 140011316962848 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18123] ppid=18060 vsize=11082080 memory=860056 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18123/stat : 18123 (java) S 18060 18063 15321 0 -1 1077944384 4 12858 0 0 0 0 5 2 20 0 15 0 222168678 11348049920 215526 33554432000 4194304 4196468 140734964173152 140011169113600 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18124] ppid=18060 vsize=11082080 memory=860056 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18124/stat : 18124 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11348049920 215526 33554432000 4194304 4196468 140734964173152 140010861714128 140012569347995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18125] ppid=18060 vsize=11082080 memory=865700 CPUtime=12.33 cores=1,3,5,7
/proc/18063/task/18125/stat : 18125 (java) S 18060 18063 15321 0 -1 1077944384 62246 12858 0 0 1218 8 5 2 20 0 15 0 222168681 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012061378544 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18126] ppid=18060 vsize=11082080 memory=860056 CPUtime=11.76 cores=1,3,5,7
/proc/18063/task/18126/stat : 18126 (java) S 18060 18063 15321 0 -1 1077944384 57754 12858 0 0 1162 7 5 2 20 0 15 0 222168681 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012060326000 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18127] ppid=18060 vsize=11082080 memory=862104 CPUtime=4.56 cores=1,3,5,7
/proc/18063/task/18127/stat : 18127 (java) S 18060 18063 15321 0 -1 1077944384 56648 12858 0 0 440 9 5 2 20 0 15 0 222168681 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012059273456 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18128] ppid=18060 vsize=11082080 memory=2216 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18128/stat : 18128 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11348049920 215526 33554432000 4194304 4196468 140734964173152 140010430917216 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18129] ppid=18060 vsize=11082080 memory=3984 CPUtime=1.39 cores=1,3,5,7
/proc/18063/task/18129/stat : 18129 (java) S 18060 18063 15321 0 -1 1077944384 1488 12858 0 0 57 75 5 2 20 0 15 0 222168681 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012058221360 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 862104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2452.93 s]
# the end of solver process 18063 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.38 s, system=3.73234 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2452.9 s]
/proc/loadavg: 1.54 1.55 1.48 3/215 18357
/proc/meminfo: memFree=4770572/32770624 swapFree=67108404/67108860
[pid=18063] ppid=18060 vsize=11082080 memory=862104 CPUtime=2520.07 cores=1,3,5,7
/proc/18063/stat : 18063 (java) S 18060 18063 15321 0 -1 1077944320 338777 12858 0 0 251631 369 5 2 20 0 15 0 222168666 11348049920 215526 33554432000 4194304 4196468 140734964173152 140734964155696 140012569329399 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
/proc/18063/statm: 2770520 215526 3534 1 0 2732173 0
[pid=18063/tid=18116] ppid=18060 vsize=11082080 memory=862104 CPUtime=2427.32 cores=1,3,5,7
/proc/18063/task/18116/stat : 18116 (java) R 18060 18063 15321 0 -1 4202560 93745 12858 0 0 242675 50 5 2 20 0 15 0 222168675 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012541164032 140012149729086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18117] ppid=18060 vsize=11082080 memory=862104 CPUtime=13.42 cores=1,3,5,7
/proc/18063/task/18117/stat : 18117 (java) S 18060 18063 15321 0 -1 1077944384 12310 12858 0 0 1281 54 5 2 20 0 15 0 222168676 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012573571344 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18118] ppid=18060 vsize=11082080 memory=860056 CPUtime=13.39 cores=1,3,5,7
/proc/18063/task/18118/stat : 18118 (java) S 18060 18063 15321 0 -1 1077944384 11964 12858 0 0 1278 54 5 2 20 0 15 0 222168676 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012109486480 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18119] ppid=18060 vsize=11082080 memory=860056 CPUtime=13.37 cores=1,3,5,7
/proc/18063/task/18119/stat : 18119 (java) S 18060 18063 15321 0 -1 1077944384 13175 12858 0 0 1274 56 5 2 20 0 15 0 222168676 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012108433936 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18120] ppid=18060 vsize=11082080 memory=860056 CPUtime=13.4 cores=1,3,5,7
/proc/18063/task/18120/stat : 18120 (java) S 18060 18063 15321 0 -1 1077944384 12359 12858 0 0 1283 50 5 2 20 0 15 0 222168676 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012107381392 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18121] ppid=18060 vsize=11082080 memory=860056 CPUtime=9.62 cores=1,3,5,7
/proc/18063/task/18121/stat : 18121 (java) S 18060 18063 15321 0 -1 1077944384 14874 12858 0 0 897 58 5 2 20 0 15 0 222168678 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012062431728 140012569340546 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18122] ppid=18060 vsize=11082080 memory=860056 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18122/stat : 18122 (java) S 18060 18063 15321 0 -1 1077944384 16 12858 0 0 0 0 5 2 20 0 15 0 222168678 11348049920 215526 33554432000 4194304 4196468 140734964173152 140011316962848 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18123] ppid=18060 vsize=11082080 memory=860056 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18123/stat : 18123 (java) S 18060 18063 15321 0 -1 1077944384 4 12858 0 0 0 0 5 2 20 0 15 0 222168678 11348049920 215526 33554432000 4194304 4196468 140734964173152 140011169113600 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18124] ppid=18060 vsize=11082080 memory=860056 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18124/stat : 18124 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11348049920 215526 33554432000 4194304 4196468 140734964173152 140010861714128 140012569347995 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18125] ppid=18060 vsize=11082080 memory=865700 CPUtime=12.33 cores=1,3,5,7
/proc/18063/task/18125/stat : 18125 (java) S 18060 18063 15321 0 -1 1077944384 62246 12858 0 0 1218 8 5 2 20 0 15 0 222168681 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012061378544 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18126] ppid=18060 vsize=11082080 memory=860056 CPUtime=11.76 cores=1,3,5,7
/proc/18063/task/18126/stat : 18126 (java) S 18060 18063 15321 0 -1 1077944384 57754 12858 0 0 1162 7 5 2 20 0 15 0 222168681 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012060326000 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18127] ppid=18060 vsize=11082080 memory=862104 CPUtime=4.56 cores=1,3,5,7
/proc/18063/task/18127/stat : 18127 (java) S 18060 18063 15321 0 -1 1077944384 56648 12858 0 0 440 9 5 2 20 0 15 0 222168681 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012059273456 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18128] ppid=18060 vsize=11082080 memory=2216 CPUtime=0.07 cores=1,3,5,7
/proc/18063/task/18128/stat : 18128 (java) S 18060 18063 15321 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 222168681 11348049920 215526 33554432000 4194304 4196468 140734964173152 140010430917216 140012569339605 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
[pid=18063/tid=18129] ppid=18060 vsize=11082080 memory=3984 CPUtime=1.39 cores=1,3,5,7
/proc/18063/task/18129/stat : 18129 (java) S 18060 18063 15321 0 -1 1077944384 1488 12858 0 0 57 75 5 2 20 0 15 0 222168681 11348049920 215526 33554432000 4194304 4196468 140734964173152 140012058221360 140012569340546 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33738752 140734964181613 140734964184412 140734964184412 140734964187087 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 862104 KiB
Child status: 143
Real time (s): 2452.93
CPU time (s): 2520.11
CPU user time (s): 2516.38
CPU system time (s): 3.73234
CPU usage (%): 102.739
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1245952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.38
system time used= 3.73234
maximum resident set size= 1248020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352202
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 257132
involuntary context switches= 5739
# summary of solver processes directly reported to runsolver:
# pid: 18063
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.38
# total CPU system time (s): 3.73234
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3691 second user time and 21.0563 second system time
The end
Begin job on node148 at 2018-08-12 05:54:15 IDJOB=4304189 IDBENCH=141058 IDSOLVER=2780 FILE ID=node148/4304189-1534046055 RUNJOBID= node148-1534041135-17409 PBS_JOBID= 21036960 Free space on /tmp= 33700 MiB SOLVER NAME= Concrete 3.9.2 BENCH NAME= XCSP18/NurseRostering/NurseRostering-06_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304189-1534046055/watcher-4304189-1534046055 -o /tmp/evaluation-result-4304189-1534046055/solver-4304189-1534046055 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17409 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=989799754 HOME/instance-4304189-1534046055.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a3bf89ae74321e3cfb193774a0c0983 RANDOM SEED=989799754 node148.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.50 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.50 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.50 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.50 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: 5139972 kB MemAvailable: 30459664 kB Buffers: 244604 kB Cached: 24922456 kB SwapCached: 352 kB Active: 11098488 kB Inactive: 15565960 kB Active(anon): 1450200 kB Inactive(anon): 99220 kB Active(file): 9648288 kB Inactive(file): 15466740 kB Unevictable: 7340 kB Mlocked: 7340 kB SwapTotal: 67108860 kB SwapFree: 67108404 kB Dirty: 26416 kB Writeback: 0 kB AnonPages: 1547452 kB Mapped: 66328 kB Shmem: 49592 kB Slab: 661160 kB SReclaimable: 633124 kB SUnreclaim: 28036 kB KernelStack: 3808 kB PageTables: 8132 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2630660 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1363968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 33672 MiB End job on node148 at 2018-08-12 06:35:08