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-SuperNG | SAT (TO) | 6713 | 2520.14 | 2452.23 |
| 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.98/0.75 c Concrete v3.9.2.1532736233296 running 11.65/4.81 c 05:47:51.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7190. 'extension(3, x[2][14]=[0‥3]) :: init: true :: relation: MDD 357291163, 5 edges, 4 vertices, 3 tuples 11.65/4.82 c 05:47:51.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7193. 'extension(3, 3) :: init: true :: relation: MDD 357291163, 5 edges, 4 vertices, 3 tuples 11.65/4.82 c 05:47:51.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7194. 'extension(3, 3) :: init: true :: relation: MDD 2111181256, 4 edges, 3 vertices, 3 tuples 11.65/4.82 c 05:47:51.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7215. 'extension(x[1][12]=[0‥3], 3) :: init: true :: relation: MDD 1555413896, 5 edges, 4 vertices, 3 tuples 11.65/4.82 c 05:47:51.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7216. 'extension(3, x[3][12]=[0‥3]) :: init: true :: relation: MDD 1555413896, 5 edges, 4 vertices, 3 tuples 11.65/4.83 c 05:47:51.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7242. 'extension(x[3][3]=[0‥3], 3) :: init: true :: relation: MDD 765420745, 5 edges, 4 vertices, 3 tuples 11.65/4.83 c 05:47:51.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7271. 'extension(x[3][15]=[0‥3], 3) :: init: true :: relation: MDD 744021169, 5 edges, 4 vertices, 3 tuples 11.65/4.83 c 05:47:51.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7272. 'extension(3, x[5][15]=[0‥3]) :: init: true :: relation: MDD 744021169, 5 edges, 4 vertices, 3 tuples 11.65/4.83 c 05:47:51.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7299. 'extension(3, wk[3][0]=[0‥1]) :: init: true :: relation: MDD 1518529528, 4 edges, 3 vertices, 3 tuples 11.65/4.83 c 05:47:51.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7300. 'extension(3, x[6][3]=[0‥3]) :: init: true :: relation: MDD 765420745, 5 edges, 4 vertices, 3 tuples 11.65/4.83 c 05:47:51.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7303. 'extension(3, 3) :: init: true :: relation: MDD 765420745, 5 edges, 4 vertices, 3 tuples 11.65/4.83 c 05:47:51.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7330. 'extension(x[8][7]=[0‥3], 3) :: init: true :: relation: MDD 492045670, 5 edges, 4 vertices, 3 tuples 11.65/4.83 c 05:47:51.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7331. 'extension(3, x[10][7]=[0‥3]) :: init: true :: relation: MDD 492045670, 5 edges, 4 vertices, 3 tuples 11.65/4.84 c 05:47:51.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7360. 'extension(x[10][5]=[0‥3], 3) :: init: true :: relation: MDD 7575494, 5 edges, 4 vertices, 3 tuples 11.65/4.84 c 05:47:51.505 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7390. 'extension(x[10][11]=[0‥3], 3) :: init: true :: relation: MDD 254315540, 5 edges, 4 vertices, 3 tuples 11.65/4.84 c 05:47:51.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7422. 'extension(x[10][16]=[0‥3], 3) :: init: true :: relation: MDD 1745512157, 5 edges, 4 vertices, 3 tuples 11.65/4.84 c 05:47:51.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7423. 'extension(3, x[12][16]=[0‥3]) :: init: true :: relation: MDD 1745512157, 5 edges, 4 vertices, 3 tuples 11.65/4.84 c 05:47:51.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7451. 'extension(3, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1069571746, 4 edges, 3 vertices, 3 tuples 11.65/4.84 c 05:47:51.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7452. 'extension(3, x[13][5]=[0‥3]) :: init: true :: relation: MDD 7575494, 5 edges, 4 vertices, 3 tuples 11.65/4.84 c 05:47:51.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7455. 'extension(3, 3) :: init: true :: relation: MDD 7575494, 5 edges, 4 vertices, 3 tuples 11.65/4.85 c 05:47:51.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7482. 'extension(3, wk[11][1]=[0‥1]) :: init: true :: relation: MDD 2049646260, 4 edges, 3 vertices, 3 tuples 11.65/4.85 c 05:47:51.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7483. 'extension(3, x[13][11]=[0‥3]) :: init: true :: relation: MDD 254315540, 5 edges, 4 vertices, 3 tuples 11.65/4.85 c 05:47:51.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7486. 'extension(3, 3) :: init: true :: relation: MDD 254315540, 5 edges, 4 vertices, 3 tuples 11.65/4.85 c 05:47:51.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7515. 'extension(3, wk[7][1]=[0‥1]) :: init: true :: relation: MDD 1389055824, 4 edges, 3 vertices, 3 tuples 11.65/4.85 c 05:47:51.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7516. 'extension(x[12][7]=[0‥3], 3) :: init: true :: relation: MDD 492045670, 5 edges, 4 vertices, 3 tuples 11.65/4.85 c 05:47:51.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7517. 'extension(3, x[14][7]=[0‥3]) :: init: true :: relation: MDD 492045670, 5 edges, 4 vertices, 3 tuples 11.65/4.85 c 05:47:51.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7546. 'extension(x[13][9]=[0‥3], 3) :: init: true :: relation: MDD 1809456409, 5 edges, 4 vertices, 3 tuples 11.65/4.85 c 05:47:51.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7576. 'extension(3, x[16][9]=[0‥3]) :: init: true :: relation: MDD 1809456409, 5 edges, 4 vertices, 3 tuples 11.65/4.86 c 05:47:51.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7579. 'extension(3, 3) :: init: true :: relation: MDD 1809456409, 5 edges, 4 vertices, 3 tuples 11.65/4.86 c 05:47:51.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7606. 'extension(x[14][10]=[0‥3], 3) :: init: true :: relation: MDD 213683471, 5 edges, 4 vertices, 3 tuples 11.65/4.86 c 05:47:51.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7638. 'extension(x[15][6]=[0‥3], 3) :: init: true :: relation: MDD 204354148, 5 edges, 4 vertices, 3 tuples 11.65/4.86 c 05:47:51.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7639. 'extension(3, x[17][6]=[0‥3]) :: init: true :: relation: MDD 204354148, 5 edges, 4 vertices, 3 tuples 11.65/4.86 c 05:47:51.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7668. 'extension(3, x[17][10]=[0‥3]) :: init: true :: relation: MDD 213683471, 5 edges, 4 vertices, 3 tuples 11.65/4.86 c 05:47:51.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7671. 'extension(3, 3) :: init: true :: relation: MDD 213683471, 5 edges, 4 vertices, 3 tuples 11.65/4.87 c 05:47:51.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7700. 'extension(x[15][13]=[0‥3], 3) :: init: true :: relation: MDD 377957453, 5 edges, 4 vertices, 3 tuples 11.65/4.87 c 05:47:51.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7732. 'extension(x[15][16]=[0‥3], 3) :: init: true :: relation: MDD 1745512157, 5 edges, 4 vertices, 3 tuples 11.65/4.87 c 05:47:51.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7733. 'extension(3, x[17][16]=[0‥3]) :: init: true :: relation: MDD 1745512157, 5 edges, 4 vertices, 3 tuples 11.65/4.87 c 05:47:51.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7761. 'extension(x[16][8]=[0‥3], 3) :: init: true :: relation: MDD 2010546406, 5 edges, 4 vertices, 3 tuples 11.65/4.87 c 05:47:51.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7762. 'extension(3, x[18][8]=[0‥3]) :: init: true :: relation: MDD 2010546406, 5 edges, 4 vertices, 3 tuples 11.65/4.87 c 05:47:51.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7791. 'extension(3, x[18][13]=[0‥3]) :: init: true :: relation: MDD 377957453, 5 edges, 4 vertices, 3 tuples 11.65/4.87 c 05:47:51.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7794. 'extension(3, 3) :: init: true :: relation: MDD 377957453, 5 edges, 4 vertices, 3 tuples 11.65/4.88 c 05:47:51.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7823. 'extension(x[17][0]=[0‥3], 3) :: init: true :: relation: MDD 1254827280, 5 edges, 4 vertices, 3 tuples 11.65/4.88 c 05:47:51.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7853. 'extension(3, wk[0][2]=[0‥1]) :: init: true :: relation: MDD 1260012504, 4 edges, 3 vertices, 3 tuples 11.65/4.88 c 05:47:51.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7854. 'extension(3, x[20][0]=[0‥3]) :: init: true :: relation: MDD 1254827280, 5 edges, 4 vertices, 3 tuples 11.65/4.88 c 05:47:51.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7857. 'extension(3, 3) :: init: true :: relation: MDD 1254827280, 5 edges, 4 vertices, 3 tuples 11.65/4.88 c 05:47:51.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7884. 'extension(3, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 1167916234, 4 edges, 3 vertices, 3 tuples 11.65/4.88 c 05:47:51.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7885. 'extension(x[19][6]=[0‥3], 3) :: init: true :: relation: MDD 204354148, 5 edges, 4 vertices, 3 tuples 11.65/4.88 c 05:47:51.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7886. 'extension(3, x[21][6]=[0‥3]) :: init: true :: relation: MDD 204354148, 5 edges, 4 vertices, 3 tuples 11.65/4.88 c 05:47:51.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7915. 'extension(x[21][2]=[0‥3], 3) :: init: true :: relation: MDD 1127866590, 5 edges, 4 vertices, 3 tuples 11.65/4.89 c 05:47:51.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7945. 'extension(3, x[24][2]=[0‥3]) :: init: true :: relation: MDD 1127866590, 5 edges, 4 vertices, 3 tuples 11.65/4.89 c 05:47:51.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7948. 'extension(3, 3) :: init: true :: relation: MDD 1127866590, 5 edges, 4 vertices, 3 tuples 11.65/4.89 c 05:47:51.555 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7974. 'extension(x[22][4]=[0‥3], 3) :: init: true :: relation: MDD 1901945192, 5 edges, 4 vertices, 3 tuples 11.65/4.89 c 05:47:51.556 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7975. 'extension(3, x[24][4]=[0‥3]) :: init: true :: relation: MDD 1901945192, 5 edges, 4 vertices, 3 tuples 11.65/4.89 c 05:47:51.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8003. 'extension(x[22][12]=[0‥3], 3) :: init: true :: relation: MDD 1555413896, 5 edges, 4 vertices, 3 tuples 11.65/4.89 c 05:47:51.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8004. 'extension(3, x[24][12]=[0‥3]) :: init: true :: relation: MDD 1555413896, 5 edges, 4 vertices, 3 tuples 11.65/4.89 c 05:47:51.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8033. 'extension(x[23][1]=[0‥3], 3) :: init: true :: relation: MDD 922486271, 5 edges, 4 vertices, 3 tuples 11.65/4.89 c 05:47:51.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8061. 'extension(x[23][15]=[0‥3], 3) :: init: true :: relation: MDD 744021169, 5 edges, 4 vertices, 3 tuples 11.65/4.89 c 05:47:51.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8062. 'extension(3, x[25][15]=[0‥3]) :: init: true :: relation: MDD 744021169, 5 edges, 4 vertices, 3 tuples 11.97/4.90 c 05:47:51.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8088. 'extension(3, x[26][1]=[0‥3]) :: init: true :: relation: MDD 922486271, 5 edges, 4 vertices, 3 tuples 11.97/4.90 c 05:47:51.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8091. 'extension(3, 3) :: init: true :: relation: MDD 922486271, 5 edges, 4 vertices, 3 tuples 11.97/4.90 c 05:47:51.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8115. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1861329337, 4 edges, 3 vertices, 3 tuples 11.97/4.90 c 05:47:51.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8116. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 2071364564, 5 edges, 4 vertices, 3 tuples 11.97/4.90 c 05:47:51.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8140. 'extension(3, wk[4][3]=[0‥1]) :: init: true :: relation: MDD 1954355506, 4 edges, 3 vertices, 3 tuples 11.97/4.90 c 05:47:51.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8141. 'extension(x[26][4]=[0‥3], 3) :: init: true :: relation: MDD 1901945192, 5 edges, 4 vertices, 3 tuples 11.97/4.90 c 05:47:51.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8142. 'extension(3, x[26][4]=[0‥3]) :: init: true :: relation: MDD 159860059, 4 edges, 3 vertices, 3 tuples 11.97/4.90 c 05:47:51.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8162. 'extension(3, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 59382310, 4 edges, 3 vertices, 3 tuples 11.97/4.90 c 05:47:51.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8163. 'extension(x[26][8]=[0‥3], 3) :: init: true :: relation: MDD 2010546406, 5 edges, 4 vertices, 3 tuples 11.97/4.90 c 05:47:51.572 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8164. 'extension(3, x[26][8]=[0‥3]) :: init: true :: relation: MDD 168776700, 4 edges, 3 vertices, 3 tuples 11.97/4.91 c 05:47:51.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8184. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1702178880, 4 edges, 3 vertices, 3 tuples 11.97/4.91 c 05:47:51.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8185. 'extension(3, 3) :: init: true :: relation: MDD 2071364564, 5 edges, 4 vertices, 3 tuples 11.97/4.93 c 05:47:51.596 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8384. 'extension(x[2][14]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.93 c 05:47:51.596 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8394. 'extension(x[1][12]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.93 c 05:47:51.597 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8396. 'extension(x[3][12]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.93 c 05:47:51.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8410. 'extension(x[3][3]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.93 c 05:47:51.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8416. 'extension(x[3][15]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.93 c 05:47:51.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8418. 'extension(x[5][15]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.93 c 05:47:51.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8430. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.97/4.93 c 05:47:51.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8432. 'extension(x[6][3]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.93 c 05:47:51.600 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8446. 'extension(x[8][7]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.93 c 05:47:51.600 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8448. 'extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.93 c 05:47:51.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8462. 'extension(x[10][5]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.93 c 05:47:51.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8468. 'extension(x[10][11]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8474. 'extension(x[10][16]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8476. 'extension(x[12][16]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8488. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8490. 'extension(x[13][5]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8504. 'extension(wk[11][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8506. 'extension(x[13][11]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.605 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8522. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.605 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8524. 'extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.605 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8526. 'extension(x[14][7]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8540. 'extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8546. 'extension(x[16][9]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8560. 'extension(x[14][10]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8566. 'extension(x[15][6]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8568. 'extension(x[17][6]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8582. 'extension(x[17][10]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8598. 'extension(x[15][13]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8604. 'extension(x[15][16]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8606. 'extension(x[17][16]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8618. 'extension(x[16][8]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8620. 'extension(x[18][8]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.94 c 05:47:51.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8634. 'extension(x[18][13]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8650. 'extension(x[17][0]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8656. 'extension(wk[0][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8658. 'extension(x[20][0]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8672. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8674. 'extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8676. 'extension(x[21][6]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8690. 'extension(x[21][2]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8696. 'extension(x[24][2]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8710. 'extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8712. 'extension(x[24][4]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8726. 'extension(x[22][12]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8728. 'extension(x[24][12]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8744. 'extension(x[23][1]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8750. 'extension(x[23][15]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.95 c 05:47:51.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8752. 'extension(x[25][15]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.96 c 05:47:51.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8764. 'extension(x[26][1]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.96 c 05:47:51.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8778. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.97/4.96 c 05:47:51.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8780. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.96 c 05:47:51.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8786. 'extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.97/4.96 c 05:47:51.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8788. 'extension(x[26][4]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.96 c 05:47:51.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8790. 'extension(x[26][4]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.96 c 05:47:51.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8796. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.97/4.96 c 05:47:51.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8798. 'extension(x[26][8]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.96 c 05:47:51.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8800. 'extension(x[26][8]=[0‥3]) :: init: true :: relation: Empty MDD 11.97/4.96 c 05:47:51.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8806. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD 513.56/484.04 o 7099 513.81/484.14 o 6998 561.83/529.93 o 6915 565.24/532.94 o 6914 570.87/538.18 o 6913 572.35/539.42 o 6813 576.47/543.43 o 6713 2520.09/2452.20 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2520.09/2452.20 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24) 2520.09/2452.20 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53) 2520.09/2452.20 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142) 2520.09/2452.20 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5) 2520.09/2452.20 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126) 2520.09/2452.20 at concrete.IntervalDomain.filter(IntervalDomain.scala:81) 2520.09/2452.20 at concrete.IntervalDomain.filter(IntervalDomain.scala:7) 2520.09/2452.20 at concrete.heuristic.value.BestCost.select(BestCost.scala:53) 2520.09/2452.20 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.09/2452.20 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 2520.09/2452.20 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.09/2452.20 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.09/2452.20 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 2520.09/2452.20 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.09/2452.20 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.09/2452.20 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109) 2520.09/2452.20 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2520.09/2452.20 at scala.Option.map(Option.scala:146) 2520.09/2452.20 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2520.09/2452.20 at concrete.MAC.mac(MAC.scala:203) 2520.09/2452.20 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.09/2452.20 at scala.util.Try$.apply(Try.scala:209) 2520.09/2452.20 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.09/2452.20 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.09/2452.20 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.09/2452.20 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.09/2452.20 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.09/2452.20 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.09/2452.20 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.09/2452.20 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.09/2452.20 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.09/2452.20 at concrete.MAC.oneRun(MAC.scala:253) 2520.09/2452.20 at concrete.MAC.nextSolution(MAC.scala:272) 2520.09/2452.20 at concrete.MAC.nextSolution(MAC.scala:355) 2520.09/2452.20 at concrete.Solver.hasNext(Solver.scala:166) 2520.09/2452.20 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.09/2452.20 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.09/2452.20 at concrete.Solver.foreach(Solver.scala:68) 2520.09/2452.20 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.09/2452.20 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.09/2452.20 at scala.util.Success.map(Try.scala:209) 2520.09/2452.20 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.09/2452.20 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.09/2452.20 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.09/2452.20 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.09/2452.20 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.09/2452.20 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.09/2452.21 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.09/2452.21 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.09/2452.21 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.09/2452.21 at scala.collection.immutable.List.foreach(List.scala:389) 2520.09/2452.21 at scala.App.main(App.scala:76) 2520.09/2452.21 at scala.App.main$(App.scala:74) 2520.09/2452.21 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.09/2452.21 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.09/2452.21 v <instantiation cost="6713"> 2520.09/2452.21 v <list> 2520.09/2452.21 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.09/2452.21 v </list> 2520.09/2452.21 v <values> 2520.09/2452.21 v 0 2 1 1 0 3 3 2 1 0 3 0 0 0 3 3 1 3 0 2 1 1 0 0 3 2 1 0 1 0 2 0 3 3 3 3 0 2 2 1 2 0 2 2 1 0 1 0 3 0 0 1 3 3 0 2 2 1 3 0 2 2 3 0 1 0 3 0 1 3 3 3 0 3 2 3 3 2 2 3 3 3 1 1 3 0 1 3 0 2 3 3 3 3 3 3 2 3 3 3 1 3 3 1 2 0 1 3 3 2 3 1 3 3 3 2 3 3 2 3 3 3 2 0 1 3 3 2 1 1 0 0 3 2 1 3 3 3 3 3 3 0 3 3 3 2 1 3 1 0 0 3 1 0 3 1 0 3 3 1 3 2 0 2 2 3 1 0 2 3 1 0 3 1 0 1 3 3 3 2 0 2 2 0 1 0 3 2 1 2 1 1 2 1 0 3 3 3 0 3 3 0 1 3 3 2 1 2 1 3 2 3 0 0 3 3 0 3 3 3 3 3 2 2 3 3 3 3 3 3 2 3 3 1 0 3 3 3 3 3 2 3 3 3 3 3 3 3 2 3 3 1 3 2 1 0 0 2 2 3 1 3 3 2 3 0 2 1 0 1 3 2 1 0 0 2 3 3 1 3 3 2 0 2 2 3 0 1 0 3 3 0 0 3 3 3 1 0 3 2 1 3 3 3 3 3 1 3 3 0 2 3 0 2 3 2 1 3 1 3 3 3 3 3 3 2 1 1 2 0 0 2 3 2 1 3 1 3 3 0 1 0 3 2 2 3 3 0 3 3 1 2 3 3 1 0 3 3 3 3 1 2 3 3 3 0 3 3 1 3 3 0 1 0 3 3 3 3 1 2 3 1 0 0 2 2 3 3 3 0 3 0 1 3 3 3 3 2 3 1 0 3 2 2 3 0 1 2 3 0 1 3 0 3 3 3 3 3 3 3 2 2 1 0 2 3 3 0 1 3 3 3 0 3 1 3 3 3 2 2 1 3 2 3 0 0 1 3 3 2 1 3 1 1 0 3 2 2 1 3 2 3 0 3 1 2 0 3 3 3 1 1 0 2 3 3 1 0 2 0 0 3 3 3 3 3 3 3 1 3 3 2 3 3 3 0 2 1 1 3 3 3 3 3 12 4 0 12 0 0 16 12 0 11 6 11 6 11 0 11 10 4 3 11 11 0 5 12 3 0 13 12 0 0 16 12 0 17 0 11 11 0 5 12 0 10 6 12 7 5 4 12 7 6 3 12 12 3 1 12 3 7 6 12 5 3 1 19 5 4 0 19 1 4 4 19 6 4 2 6 6 4 3 5 6 4 5 3 5 3 4 6 3 3 4 8 1 3 2 12 1 2 4 11 3 3 2 10 4 5 2 7 4 4 4 6 4 5 5 4 4 3 3 8 1 1 3 13 1 1 2 14 4 4 5 5 4 3 5 6 4 2 1 11 2 3 3 10 4 5 4 5 2 2 3 11 3 3 1 11 4 3 3 8 4 3 4 7 2 2 3 11 3 3 4 8 3 5 4 6 4 3 2 9 1 3 2 12 0 1 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 3 3 1 0 0 0 0 1 1 1 0 0 2 2 2 2 0 0 0 0 3 3 0 0 0 0 0 0 3 0 3 0 1 1 1 0 1 0 0 0 0 2 2 2 0 0 0 0 0 1 1 0 0 0 0 2 0 1 3 0 0 0 2 3 0 0 0 0 0 2 1 0 0 0 0 2 2 0 0 3 3 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 200 0 2 0 1 0 2 0 0 0 1 0 0 0 100 300 100 0 200 0 0 0 200 100 0 0 100 0 100 0 1 1 0 0 0 2 200 0 1 3 2 0 100 0 1 0 300 200 300 0 100 300 200 0 0 0 1 0 2 0 1 0 100 200 500 0 0 1 1 0 100 2 100 0 100 100 0 0 1 1 200 0 0 100 0 0 200 0 1 0 200 300 1 0 100 0 0 0 1 3 2 0 100 100 200 0 400 200 200 0 2520.09/2452.21 v </values> 2520.09/2452.21 v </instantiation> 2520.09/2452.22 s SATISFIABLE
OK 6713
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 (2285 MiB free)
memory of node 1: 16384 MiB (1360 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304190-1534045666/watcher-4304190-1534045666 -o /tmp/evaluation-result-4304190-1534045666/solver-4304190-1534045666 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534040758-13580 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1862764366 -superng HOME/instance-4304190-1534045666.xml
running on 4 cores: 0,2,4,6
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=14239, runsolver pid=14236
Starting watchdog threadCurrent StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.07 1.20 1.31 3/206 14296
/proc/meminfo: memFree=3728016/32770624 swapFree=67108860/67108860
[pid=14239] ppid=14236 vsize=10005480 memory=16280 CPUtime=0.08 cores=0,2,4,6
/proc/14239/stat : 14239 (java) S 14236 14239 11630 0 -1 1077944320 4251 13294 0 0 1 0 5 2 20 0 6 0 222129781 10245611520 4070 33554432000 4194304 4196468 140724596634736 140724596617280 139691939806967 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
/proc/14239/statm: 2501370 4070 1919 1 0 2489808 0
[pid=14239/tid=14292] ppid=14236 vsize=10005480 memory=4279135703913365389 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14292/stat : 14292 (java) R 14236 14239 11630 0 -1 4202560 2073 13294 0 0 0 0 5 2 20 0 6 0 222129790 10245611520 4136 33554432000 4194304 4196468 140724596634736 139691911643728 139691939828893 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14293] ppid=14236 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14293/stat : 14293 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 6 0 222129791 10245611520 4136 33554432000 4194304 4196468 140724596634736 139691944048912 139691939817173 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14294] ppid=14236 vsize=10005480 memory=140535330518656 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14294/stat : 14294 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 6 0 222129791 10245611520 4136 33554432000 4194304 4196468 140724596634736 139691479263632 139691939817173 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14295] ppid=14236 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14295/stat : 14295 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 6 0 222129791 10245611520 4136 33554432000 4194304 4196468 140724596634736 139691478211088 139691939817173 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14296] ppid=14236 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14296/stat : 14296 (java) S 14236 14239 11630 0 -1 1077944384 2 13294 0 0 0 0 5 2 20 0 6 0 222129791 10245611520 4136 33554432000 4194304 4196468 140724596634736 139691477158544 139691939817173 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16280 KiB
[startup+0.209963 s]*
/proc/loadavg: 1.07 1.20 1.31 3/215 14305
/proc/meminfo: memFree=3705188/32770624 swapFree=67108860/67108860
[pid=14239] ppid=14236 vsize=10982744 memory=42084 CPUtime=0.24 cores=0,2,4,6
/proc/14239/stat : 14239 (java) S 14236 14239 11630 0 -1 1077944320 7204 13294 0 0 16 1 5 2 20 0 15 0 222129781 11246329856 10521 33554432000 4194304 4196468 140724596634736 140724596617280 139691939806967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
/proc/14239/statm: 2745686 10521 2961 1 0 2708109 0
[pid=14239/tid=14292] ppid=14236 vsize=10982744 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/14239/task/14292/stat : 14292 (java) R 14236 14239 11630 0 -1 4202560 3765 13294 0 0 10 0 5 2 20 0 15 0 222129790 11246329856 10521 33554432000 4194304 4196468 140724596634736 139691911630320 139691924972512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14293] ppid=14236 vsize=10982744 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14293/stat : 14293 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129791 11246329856 10521 33554432000 4194304 4196468 140724596634736 139691944048912 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14294] ppid=14236 vsize=10982744 memory=3546783735866734240 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14294/stat : 14294 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129791 11246329856 10521 33554432000 4194304 4196468 140724596634736 139691479263632 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14295] ppid=14236 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14295/stat : 14295 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129791 11246329856 10521 33554432000 4194304 4196468 140724596634736 139691478211088 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14296] ppid=14236 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14296/stat : 14296 (java) S 14236 14239 11630 0 -1 1077944384 2 13294 0 0 0 0 5 2 20 0 15 0 222129791 11246329856 10521 33554432000 4194304 4196468 140724596634736 139691477158544 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14297] ppid=14236 vsize=10982744 memory=140535330518656 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14297/stat : 14297 (java) S 14236 14239 11630 0 -1 1077944384 2 13294 0 0 0 0 5 2 20 0 15 0 222129793 11246329856 10521 33554432000 4194304 4196468 140724596634736 139691365767664 139691939818114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14298] ppid=14236 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14298/stat : 14298 (java) S 14236 14239 11630 0 -1 1077944384 13 13294 0 0 0 0 5 2 20 0 15 0 222129793 11246329856 10521 33554432000 4194304 4196468 140724596634736 139690737919392 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14299] ppid=14236 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14299/stat : 14299 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129793 11246329856 10521 33554432000 4194304 4196468 140724596634736 139690590070256 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14300] ppid=14236 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14300/stat : 14300 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11246329856 10521 33554432000 4194304 4196468 140724596634736 139690282670800 139691939825563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14301] ppid=14236 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14239/task/14301/stat : 14301 (java) S 14236 14239 11630 0 -1 1077944384 550 13294 0 0 1 0 5 2 20 0 15 0 222129796 11246329856 10521 33554432000 4194304 4196468 140724596634736 139691364714480 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14302] ppid=14236 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14239/task/14302/stat : 14302 (java) S 14236 14239 11630 0 -1 1077944384 66 13294 0 0 1 0 5 2 20 0 15 0 222129796 11246329856 10521 33554432000 4194304 4196468 140724596634736 139691363661936 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14303] ppid=14236 vsize=10982744 memory=140535330518656 CPUtime=0.1 cores=0,2,4,6
/proc/14239/task/14303/stat : 14303 (java) S 14236 14239 11630 0 -1 1077944384 602 13294 0 0 3 0 5 2 20 0 15 0 222129796 11246329856 10521 33554432000 4194304 4196468 140724596634736 139691362609392 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14304] ppid=14236 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14304/stat : 14304 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11246329856 10521 33554432000 4194304 4196468 140724596634736 139689851873888 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14305] ppid=14236 vsize=10982744 memory=140535330518656 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14305/stat : 14305 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129797 11246329856 10521 33554432000 4194304 4196468 140724596634736 139691361557296 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42084 KiB
[startup+0.310081 s]*
/proc/loadavg: 1.07 1.20 1.31 3/215 14305
/proc/meminfo: memFree=3691800/32770624 swapFree=67108860/67108860
[pid=14239] ppid=14236 vsize=10983192 memory=54740 CPUtime=0.37 cores=0,2,4,6
/proc/14239/stat : 14239 (java) S 14236 14239 11630 0 -1 1077944320 10199 13294 0 0 28 2 5 2 20 0 15 0 222129781 11246788608 13685 33554432000 4194304 4196468 140724596634736 140724596617280 139691939806967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
/proc/14239/statm: 2745798 13685 3109 1 0 2708109 0
[pid=14239/tid=14292] ppid=14236 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/14239/task/14292/stat : 14292 (java) R 14236 14239 11630 0 -1 4202560 6821 13294 0 0 19 1 5 2 20 0 15 0 222129790 11246788608 13751 33554432000 4194304 4196468 140724596634736 139691911618976 139691920082727 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14293] ppid=14236 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14293/stat : 14293 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129791 11246788608 13751 33554432000 4194304 4196468 140724596634736 139691944048912 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14294] ppid=14236 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14294/stat : 14294 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129791 11246788608 13751 33554432000 4194304 4196468 140724596634736 139691479263632 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14295] ppid=14236 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14295/stat : 14295 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129791 11246788608 13751 33554432000 4194304 4196468 140724596634736 139691478211088 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14296] ppid=14236 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14296/stat : 14296 (java) S 14236 14239 11630 0 -1 1077944384 2 13294 0 0 0 0 5 2 20 0 15 0 222129791 11246788608 13817 33554432000 4194304 4196468 140724596634736 139691477158544 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14297] ppid=14236 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14297/stat : 14297 (java) S 14236 14239 11630 0 -1 1077944384 2 13294 0 0 0 0 5 2 20 0 15 0 222129793 11246788608 13817 33554432000 4194304 4196468 140724596634736 139691365767664 139691939818114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14298] ppid=14236 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14298/stat : 14298 (java) S 14236 14239 11630 0 -1 1077944384 13 13294 0 0 0 0 5 2 20 0 15 0 222129793 11246788608 13817 33554432000 4194304 4196468 140724596634736 139690737919392 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14299] ppid=14236 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14299/stat : 14299 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129793 11246788608 13817 33554432000 4194304 4196468 140724596634736 139690590070256 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14300] ppid=14236 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14300/stat : 14300 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11246788608 13817 33554432000 4194304 4196468 140724596634736 139690282670800 139691939825563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14301] ppid=14236 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14239/task/14301/stat : 14301 (java) S 14236 14239 11630 0 -1 1077944384 553 13294 0 0 1 0 5 2 20 0 15 0 222129796 11246788608 13817 33554432000 4194304 4196468 140724596634736 139691364714480 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14302] ppid=14236 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14239/task/14302/stat : 14302 (java) S 14236 14239 11630 0 -1 1077944384 68 13294 0 0 1 0 5 2 20 0 15 0 222129796 11246788608 13817 33554432000 4194304 4196468 140724596634736 139691363661936 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14303] ppid=14236 vsize=10983192 memory=140535330518656 CPUtime=0.12 cores=0,2,4,6
/proc/14239/task/14303/stat : 14303 (java) S 14236 14239 11630 0 -1 1077944384 609 13294 0 0 5 0 5 2 20 0 15 0 222129796 11246788608 13817 33554432000 4194304 4196468 140724596634736 139691362609392 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14304] ppid=14236 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14304/stat : 14304 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11246788608 13817 33554432000 4194304 4196468 140724596634736 139689851873888 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14305] ppid=14236 vsize=10983192 memory=140535330518656 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14305/stat : 14305 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129797 11246788608 13817 33554432000 4194304 4196468 140724596634736 139691361557296 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54740 KiB
[startup+0.700716 s]
/proc/loadavg: 1.07 1.20 1.31 3/215 14305
/proc/meminfo: memFree=3680816/32770624 swapFree=67108860/67108860
[pid=14239] ppid=14236 vsize=10983192 memory=88556 CPUtime=0.98 cores=0,2,4,6
/proc/14239/stat : 14239 (java) S 14236 14239 11630 0 -1 1077944320 16725 13294 0 0 86 5 5 2 20 0 15 0 222129781 11246788608 22139 33554432000 4194304 4196468 140724596634736 140724596617280 139691939806967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
/proc/14239/statm: 2745798 22139 3239 1 0 2708109 0
[pid=14239/tid=14292] ppid=14236 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/14239/task/14292/stat : 14292 (java) R 14236 14239 11630 0 -1 4202560 12128 13294 0 0 55 3 5 2 20 0 15 0 222129790 11246788608 22139 33554432000 4194304 4196468 140724596634736 139691911629008 139691920082856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14293] ppid=14236 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14293/stat : 14293 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129791 11246788608 22139 33554432000 4194304 4196468 140724596634736 139691944048912 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14294] ppid=14236 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14294/stat : 14294 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129791 11246788608 22139 33554432000 4194304 4196468 140724596634736 139691479263632 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14295] ppid=14236 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14295/stat : 14295 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129791 11246788608 22139 33554432000 4194304 4196468 140724596634736 139691478211088 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14296] ppid=14236 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14296/stat : 14296 (java) S 14236 14239 11630 0 -1 1077944384 2 13294 0 0 0 0 5 2 20 0 15 0 222129791 11246788608 22139 33554432000 4194304 4196468 140724596634736 139691477158544 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14297] ppid=14236 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14297/stat : 14297 (java) S 14236 14239 11630 0 -1 1077944384 5 13294 0 0 0 0 5 2 20 0 15 0 222129793 11246788608 22139 33554432000 4194304 4196468 140724596634736 139691365767664 139691939818114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14298] ppid=14236 vsize=10983192 memory=140535222383312 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14298/stat : 14298 (java) S 14236 14239 11630 0 -1 1077944384 13 13294 0 0 0 0 5 2 20 0 15 0 222129793 11246788608 22139 33554432000 4194304 4196468 140724596634736 139690737919392 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14299] ppid=14236 vsize=10983192 memory=140535624893027 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14299/stat : 14299 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129793 11246788608 22139 33554432000 4194304 4196468 140724596634736 139690590070256 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14300] ppid=14236 vsize=10983192 memory=10824 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14300/stat : 14300 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11246788608 22139 33554432000 4194304 4196468 140724596634736 139690282670800 139691939825563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14301] ppid=14236 vsize=10983192 memory=7234564758908855872 CPUtime=0.14 cores=0,2,4,6
/proc/14239/task/14301/stat : 14301 (java) S 14236 14239 11630 0 -1 1077944384 946 13294 0 0 7 0 5 2 20 0 15 0 222129796 11246788608 22139 33554432000 4194304 4196468 140724596634736 139691364714480 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14302] ppid=14236 vsize=10983192 memory=8099279071866868843 CPUtime=0.17 cores=0,2,4,6
/proc/14239/task/14302/stat : 14302 (java) S 14236 14239 11630 0 -1 1077944384 741 13294 0 0 10 0 5 2 20 0 15 0 222129796 11246788608 22139 33554432000 4194304 4196468 140724596634736 139691363661936 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14303] ppid=14236 vsize=10983192 memory=6154282490091891024 CPUtime=0.2 cores=0,2,4,6
/proc/14239/task/14303/stat : 14303 (java) S 14236 14239 11630 0 -1 1077944384 686 13294 0 0 13 0 5 2 20 0 15 0 222129796 11246788608 22139 33554432000 4194304 4196468 140724596634736 139691362609392 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14304] ppid=14236 vsize=10983192 memory=4128 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14304/stat : 14304 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11246788608 22139 33554432000 4194304 4196468 140724596634736 139689851873888 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14305] ppid=14236 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14305/stat : 14305 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129797 11246788608 22139 33554432000 4194304 4196468 140724596634736 139691361557296 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88556 KiB
[startup+1.5007 s]
/proc/loadavg: 1.07 1.20 1.31 3/215 14305
/proc/meminfo: memFree=3637044/32770624 swapFree=67108860/67108860
[pid=14239] ppid=14236 vsize=10996044 memory=162860 CPUtime=3.06 cores=0,2,4,6
/proc/14239/stat : 14239 (java) S 14236 14239 11630 0 -1 1077944320 25787 13294 0 0 290 9 5 2 20 0 15 0 222129781 11259949056 40715 33554432000 4194304 4196468 140724596634736 140724596617280 139691939806967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
/proc/14239/statm: 2749011 40715 3445 1 0 2710669 0
[pid=14239/tid=14292] ppid=14236 vsize=10996044 memory=12813 CPUtime=1.44 cores=0,2,4,6
/proc/14239/task/14292/stat : 14292 (java) R 14236 14239 11630 0 -1 4202560 16662 13294 0 0 131 6 5 2 20 0 15 0 222129790 11259949056 40715 33554432000 4194304 4196468 140724596634736 139691911623440 139691920082159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14293] ppid=14236 vsize=10996044 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14293/stat : 14293 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129791 11259949056 40715 33554432000 4194304 4196468 140724596634736 139691944048912 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14294] ppid=14236 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14294/stat : 14294 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129791 11259949056 40715 33554432000 4194304 4196468 140724596634736 139691479263632 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14295] ppid=14236 vsize=10996044 memory=3745 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14295/stat : 14295 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129791 11259949056 40715 33554432000 4194304 4196468 140724596634736 139691478211088 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14296] ppid=14236 vsize=10996044 memory=88556 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14296/stat : 14296 (java) S 14236 14239 11630 0 -1 1077944384 2 13294 0 0 0 0 5 2 20 0 15 0 222129791 11259949056 40715 33554432000 4194304 4196468 140724596634736 139691477158544 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14297] ppid=14236 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14297/stat : 14297 (java) S 14236 14239 11630 0 -1 1077944384 13 13294 0 0 0 0 5 2 20 0 15 0 222129793 11259949056 40715 33554432000 4194304 4196468 140724596634736 139691365767664 139691939818114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14298] ppid=14236 vsize=10996044 memory=281070444708336 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14298/stat : 14298 (java) S 14236 14239 11630 0 -1 1077944384 13 13294 0 0 0 0 5 2 20 0 15 0 222129793 11259949056 40715 33554432000 4194304 4196468 140724596634736 139690737919392 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14299] ppid=14236 vsize=10996044 memory=281070444759136 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14299/stat : 14299 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129793 11259949056 40715 33554432000 4194304 4196468 140724596634736 139690590070256 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14300] ppid=14236 vsize=10996044 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14300/stat : 14300 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11259949056 40715 33554432000 4194304 4196468 140724596634736 139690282670800 139691939825563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14301] ppid=14236 vsize=10996044 memory=4638778398332698720 CPUtime=0.59 cores=0,2,4,6
/proc/14239/task/14301/stat : 14301 (java) S 14236 14239 11630 0 -1 1077944384 2152 13294 0 0 52 0 5 2 20 0 15 0 222129796 11259949056 40715 33554432000 4194304 4196468 140724596634736 139691364714480 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14302] ppid=14236 vsize=10996044 memory=281070445042560 CPUtime=0.64 cores=0,2,4,6
/proc/14239/task/14302/stat : 14302 (java) S 14236 14239 11630 0 -1 1077944384 2651 13294 0 0 57 0 5 2 20 0 15 0 222129796 11259949056 40715 33554432000 4194304 4196468 140724596634736 139691363661936 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14303] ppid=14236 vsize=10996044 memory=-7531822216213012384 CPUtime=0.55 cores=0,2,4,6
/proc/14239/task/14303/stat : 14303 (java) S 14236 14239 11630 0 -1 1077944384 2090 13294 0 0 48 0 5 2 20 0 15 0 222129796 11259949056 40715 33554432000 4194304 4196468 140724596634736 139691362609392 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14304] ppid=14236 vsize=10996044 memory=-7531822216213012384 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14304/stat : 14304 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11259949056 40715 33554432000 4194304 4196468 140724596634736 139689851873888 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14305] ppid=14236 vsize=10996044 memory=-7233780906022716832 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14305/stat : 14305 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129797 11259949056 40715 33554432000 4194304 4196468 140724596634736 139691361557296 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/14239/task/14292/stat : 14292 (java) R 14236 14239 11630 0 -1 4202560 103885 13294 0 0 235968 54 5 2 20 0 15 0 222129790 11348049920 161948 33554432000 4194304 4196468 140724596634736 139691911641568 139691489994695 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14293] ppid=14236 vsize=11082080 memory=33568 CPUtime=13.07 cores=0,2,4,6
/proc/14239/task/14293/stat : 14293 (java) S 14236 14239 11630 0 -1 1077944384 17385 13294 0 0 1237 63 5 2 20 0 15 0 222129791 11348049920 161948 33554432000 4194304 4196468 140724596634736 139691944048912 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14294] ppid=14236 vsize=11082080 memory=4048 CPUtime=13.04 cores=0,2,4,6
/proc/14239/task/14294/stat : 14294 (java) S 14236 14239 11630 0 -1 1077944384 14001 13294 0 0 1238 59 5 2 20 0 15 0 222129791 11348049920 161948 33554432000 4194304 4196468 140724596634736 139691479263632 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14295] ppid=14236 vsize=11082080 memory=1796 CPUtime=13.07 cores=0,2,4,6
/proc/14239/task/14295/stat : 14295 (java) S 14236 14239 11630 0 -1 1077944384 11833 13294 0 0 1236 64 5 2 20 0 15 0 222129791 11348049920 161948 33554432000 4194304 4196468 140724596634736 139691478211088 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14296] ppid=14236 vsize=11082080 memory=4126316290023845779 CPUtime=13.04 cores=0,2,4,6
/proc/14239/task/14296/stat : 14296 (java) S 14236 14239 11630 0 -1 1077944384 16757 13294 0 0 1236 61 5 2 20 0 15 0 222129791 11348049920 161948 33554432000 4194304 4196468 140724596634736 139691477158544 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14297] ppid=14236 vsize=11082080 memory=647792 CPUtime=6.29 cores=0,2,4,6
/proc/14239/task/14297/stat : 14297 (java) S 14236 14239 11630 0 -1 1077944384 15457 13294 0 0 583 39 5 2 20 0 15 0 222129793 11348049920 161948 33554432000 4194304 4196468 140724596634736 139691365767664 139691939818114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14298] ppid=14236 vsize=11082080 memory=288230621803970871 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14298/stat : 14298 (java) S 14236 14239 11630 0 -1 1077944384 18 13294 0 0 0 0 5 2 20 0 15 0 222129793 11348049920 161948 33554432000 4194304 4196468 140724596634736 139690737919456 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14299] ppid=14236 vsize=11082080 memory=647792 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14299/stat : 14299 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129793 11348049920 161948 33554432000 4194304 4196468 140724596634736 139690590070272 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14300] ppid=14236 vsize=11082080 memory=876 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14300/stat : 14300 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11348049920 161948 33554432000 4194304 4196468 140724596634736 139690282670800 139691939825563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14301] ppid=14236 vsize=11082080 memory=10096 CPUtime=12.39 cores=0,2,4,6
/proc/14239/task/14301/stat : 14301 (java) S 14236 14239 11630 0 -1 1077944384 70237 13294 0 0 1224 8 5 2 20 0 15 0 222129796 11348049920 161948 33554432000 4194304 4196468 140724596634736 139691364714480 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14302] ppid=14236 vsize=11082080 memory=1228 CPUtime=12 cores=0,2,4,6
/proc/14239/task/14302/stat : 14302 (java) S 14236 14239 11630 0 -1 1077944384 73056 13294 0 0 1185 8 5 2 20 0 15 0 222129796 11348049920 161948 33554432000 4194304 4196468 140724596634736 139691363661936 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14303] ppid=14236 vsize=11082080 memory=1952 CPUtime=4.88 cores=0,2,4,6
/proc/14239/task/14303/stat : 14303 (java) S 14236 14239 11630 0 -1 1077944384 68845 13294 0 0 472 9 5 2 20 0 15 0 222129796 11348049920 161948 33554432000 4194304 4196468 140724596634736 139691362609392 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14304] ppid=14236 vsize=11082080 memory=1160 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14304/stat : 14304 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11348049920 161948 33554432000 4194304 4196468 140724596634736 139689851873888 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14305] ppid=14236 vsize=11082080 memory=10824 CPUtime=1.44 cores=0,2,4,6
/proc/14239/task/14305/stat : 14305 (java) S 14236 14239 11630 0 -1 1077944384 977 13294 0 0 63 74 5 2 20 0 15 0 222129797 11348049920 161948 33554432000 4194304 4196468 140724596634736 139691361557296 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
Current children cumulated CPU time: 2448.98 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 647792 KiB
[startup+2442.3 s]*
/proc/loadavg: 0.96 1.20 1.28 3/215 14531
/proc/meminfo: memFree=3226468/32770624 swapFree=67108860/67108860
[pid=14239] ppid=14236 vsize=11082080 memory=649840 CPUtime=2510.02 cores=0,2,4,6
/proc/14239/stat : 14239 (java) S 14236 14239 11630 0 -1 1077944320 395934 13294 0 0 250594 401 5 2 20 0 15 0 222129781 11348049920 162460 33554432000 4194304 4196468 140724596634736 140724596617280 139691939806967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
/proc/14239/statm: 2770520 162460 3537 1 0 2732173 0
[pid=14239/tid=14292] ppid=14236 vsize=11082080 memory=1398720917958146503 CPUtime=2419.68 cores=0,2,4,6
/proc/14239/task/14292/stat : 14292 (java) R 14236 14239 11630 0 -1 4202560 104325 13294 0 0 241907 54 5 2 20 0 15 0 222129790 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691911641056 139691505499787 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14293] ppid=14236 vsize=11082080 memory=4126316290023845779 CPUtime=13.43 cores=0,2,4,6
/proc/14239/task/14293/stat : 14293 (java) S 14236 14239 11630 0 -1 1077944384 17579 13294 0 0 1272 64 5 2 20 0 15 0 222129791 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691944048912 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14294] ppid=14236 vsize=11082080 memory=8514701219730523551 CPUtime=13.4 cores=0,2,4,6
/proc/14239/task/14294/stat : 14294 (java) S 14236 14239 11630 0 -1 1077944384 14246 13294 0 0 1273 60 5 2 20 0 15 0 222129791 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691479263632 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14295] ppid=14236 vsize=11082080 memory=7882821528621966436 CPUtime=13.42 cores=0,2,4,6
/proc/14239/task/14295/stat : 14295 (java) S 14236 14239 11630 0 -1 1077944384 11990 13294 0 0 1271 64 5 2 20 0 15 0 222129791 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691478211088 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14296] ppid=14236 vsize=11082080 memory=7016717540947159633 CPUtime=13.4 cores=0,2,4,6
/proc/14239/task/14296/stat : 14296 (java) S 14236 14239 11630 0 -1 1077944384 16772 13294 0 0 1272 61 5 2 20 0 15 0 222129791 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691477158544 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14297] ppid=14236 vsize=11082080 memory=4639950512826379884 CPUtime=6.45 cores=0,2,4,6
/proc/14239/task/14297/stat : 14297 (java) S 14236 14239 11630 0 -1 1077944384 15666 13294 0 0 599 39 5 2 20 0 15 0 222129793 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691365767664 139691939818114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14298] ppid=14236 vsize=11082080 memory=7236841774560995436 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14298/stat : 14298 (java) S 14236 14239 11630 0 -1 1077944384 18 13294 0 0 0 0 5 2 20 0 15 0 222129793 11348049920 162460 33554432000 4194304 4196468 140724596634736 139690737919456 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14299] ppid=14236 vsize=11082080 memory=7236841774560995436 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14299/stat : 14299 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129793 11348049920 162460 33554432000 4194304 4196468 140724596634736 139690590070272 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14300] ppid=14236 vsize=11082080 memory=7591209024992339303 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14300/stat : 14300 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139690282670800 139691939825563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14301] ppid=14236 vsize=11082080 memory=3268 CPUtime=12.4 cores=0,2,4,6
/proc/14239/task/14301/stat : 14301 (java) S 14236 14239 11630 0 -1 1077944384 70239 13294 0 0 1225 8 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691364714480 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14302] ppid=14236 vsize=11082080 memory=649840 CPUtime=12 cores=0,2,4,6
/proc/14239/task/14302/stat : 14302 (java) S 14236 14239 11630 0 -1 1077944384 73058 13294 0 0 1185 8 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691363661936 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14303] ppid=14236 vsize=11082080 memory=1408 CPUtime=4.88 cores=0,2,4,6
/proc/14239/task/14303/stat : 14303 (java) S 14236 14239 11630 0 -1 1077944384 68847 13294 0 0 472 9 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691362609392 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14304] ppid=14236 vsize=11082080 memory=3272 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14304/stat : 14304 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139689851873888 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14305] ppid=14236 vsize=11082080 memory=1211980 CPUtime=1.48 cores=0,2,4,6
/proc/14239/task/14305/stat : 14305 (java) S 14236 14239 11630 0 -1 1077944384 994 13294 0 0 65 76 5 2 20 0 15 0 222129797 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691361557296 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
Current children cumulated CPU time: 2510.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 649840 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2452.2 s]
/proc/loadavg: 0.96 1.20 1.28 3/215 14531
/proc/meminfo: memFree=3226468/32770624 swapFree=67108860/67108860
[pid=14239] ppid=14236 vsize=11082080 memory=649840 CPUtime=2520.09 cores=0,2,4,6
/proc/14239/stat : 14239 (java) S 14236 14239 11630 0 -1 1077944320 395985 13294 0 0 251600 402 5 2 20 0 15 0 222129781 11348049920 162460 33554432000 4194304 4196468 140724596634736 140724596617280 139691939806967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
/proc/14239/statm: 2770520 162460 3537 1 0 2732173 0
[pid=14239/tid=14292] ppid=14236 vsize=11082080 memory=649840 CPUtime=2429.46 cores=0,2,4,6
/proc/14239/task/14292/stat : 14292 (java) R 14236 14239 11630 0 -1 4202560 104360 13294 0 0 242885 54 5 2 20 0 15 0 222129790 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691911642544 139691503766700 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14293] ppid=14236 vsize=11082080 memory=647792 CPUtime=13.49 cores=0,2,4,6
/proc/14239/task/14293/stat : 14293 (java) S 14236 14239 11630 0 -1 1077944384 17582 13294 0 0 1278 64 5 2 20 0 15 0 222129791 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691944048912 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14294] ppid=14236 vsize=11082080 memory=647792 CPUtime=13.46 cores=0,2,4,6
/proc/14239/task/14294/stat : 14294 (java) S 14236 14239 11630 0 -1 1077944384 14248 13294 0 0 1279 60 5 2 20 0 15 0 222129791 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691479263632 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14295] ppid=14236 vsize=11082080 memory=647792 CPUtime=13.48 cores=0,2,4,6
/proc/14239/task/14295/stat : 14295 (java) S 14236 14239 11630 0 -1 1077944384 11990 13294 0 0 1277 64 5 2 20 0 15 0 222129791 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691478211088 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14296] ppid=14236 vsize=11082080 memory=647792 CPUtime=13.46 cores=0,2,4,6
/proc/14239/task/14296/stat : 14296 (java) S 14236 14239 11630 0 -1 1077944384 16773 13294 0 0 1278 61 5 2 20 0 15 0 222129791 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691477158544 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14297] ppid=14236 vsize=11082080 memory=649840 CPUtime=6.48 cores=0,2,4,6
/proc/14239/task/14297/stat : 14297 (java) S 14236 14239 11630 0 -1 1077944384 15674 13294 0 0 602 39 5 2 20 0 15 0 222129793 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691365767664 139691939818114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14298] ppid=14236 vsize=11082080 memory=649840 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14298/stat : 14298 (java) S 14236 14239 11630 0 -1 1077944384 18 13294 0 0 0 0 5 2 20 0 15 0 222129793 11348049920 162460 33554432000 4194304 4196468 140724596634736 139690737919456 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14299] ppid=14236 vsize=11082080 memory=649840 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14299/stat : 14299 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129793 11348049920 162460 33554432000 4194304 4196468 140724596634736 139690590070272 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14300] ppid=14236 vsize=11082080 memory=647792 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14300/stat : 14300 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139690282670800 139691939825563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14301] ppid=14236 vsize=11082080 memory=647792 CPUtime=12.4 cores=0,2,4,6
/proc/14239/task/14301/stat : 14301 (java) S 14236 14239 11630 0 -1 1077944384 70239 13294 0 0 1225 8 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691364714480 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14302] ppid=14236 vsize=11082080 memory=649840 CPUtime=12 cores=0,2,4,6
/proc/14239/task/14302/stat : 14302 (java) S 14236 14239 11630 0 -1 1077944384 73058 13294 0 0 1185 8 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691363661936 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14303] ppid=14236 vsize=11082080 memory=649840 CPUtime=4.88 cores=0,2,4,6
/proc/14239/task/14303/stat : 14303 (java) S 14236 14239 11630 0 -1 1077944384 68847 13294 0 0 472 9 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691362609392 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14304] ppid=14236 vsize=11082080 memory=649840 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14304/stat : 14304 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139689851873888 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14305] ppid=14236 vsize=11082080 memory=10824 CPUtime=1.49 cores=0,2,4,6
/proc/14239/task/14305/stat : 14305 (java) S 14236 14239 11630 0 -1 1077944384 996 13294 0 0 66 76 5 2 20 0 15 0 222129797 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691361557296 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 649840 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2452.23 s]
# the end of solver process 14239 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.08 s, system=4.06042 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2452.2 s]
/proc/loadavg: 0.96 1.20 1.28 3/215 14531
/proc/meminfo: memFree=3226468/32770624 swapFree=67108860/67108860
[pid=14239] ppid=14236 vsize=11082080 memory=649840 CPUtime=2520.09 cores=0,2,4,6
/proc/14239/stat : 14239 (java) S 14236 14239 11630 0 -1 1077944320 395985 13294 0 0 251600 402 5 2 20 0 15 0 222129781 11348049920 162460 33554432000 4194304 4196468 140724596634736 140724596617280 139691939806967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
/proc/14239/statm: 2770520 162460 3537 1 0 2732173 0
[pid=14239/tid=14292] ppid=14236 vsize=11082080 memory=649840 CPUtime=2429.46 cores=0,2,4,6
/proc/14239/task/14292/stat : 14292 (java) R 14236 14239 11630 0 -1 4202560 104360 13294 0 0 242885 54 5 2 20 0 15 0 222129790 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691911642544 139691503766700 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14293] ppid=14236 vsize=11082080 memory=647792 CPUtime=13.49 cores=0,2,4,6
/proc/14239/task/14293/stat : 14293 (java) S 14236 14239 11630 0 -1 1077944384 17582 13294 0 0 1278 64 5 2 20 0 15 0 222129791 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691944048912 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14294] ppid=14236 vsize=11082080 memory=647792 CPUtime=13.46 cores=0,2,4,6
/proc/14239/task/14294/stat : 14294 (java) S 14236 14239 11630 0 -1 1077944384 14248 13294 0 0 1279 60 5 2 20 0 15 0 222129791 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691479263632 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14295] ppid=14236 vsize=11082080 memory=647792 CPUtime=13.48 cores=0,2,4,6
/proc/14239/task/14295/stat : 14295 (java) S 14236 14239 11630 0 -1 1077944384 11990 13294 0 0 1277 64 5 2 20 0 15 0 222129791 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691478211088 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14296] ppid=14236 vsize=11082080 memory=647792 CPUtime=13.46 cores=0,2,4,6
/proc/14239/task/14296/stat : 14296 (java) S 14236 14239 11630 0 -1 1077944384 16773 13294 0 0 1278 61 5 2 20 0 15 0 222129791 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691477158544 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14297] ppid=14236 vsize=11082080 memory=649840 CPUtime=6.48 cores=0,2,4,6
/proc/14239/task/14297/stat : 14297 (java) S 14236 14239 11630 0 -1 1077944384 15674 13294 0 0 602 39 5 2 20 0 15 0 222129793 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691365767664 139691939818114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14298] ppid=14236 vsize=11082080 memory=649840 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14298/stat : 14298 (java) S 14236 14239 11630 0 -1 1077944384 18 13294 0 0 0 0 5 2 20 0 15 0 222129793 11348049920 162460 33554432000 4194304 4196468 140724596634736 139690737919456 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14299] ppid=14236 vsize=11082080 memory=649840 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14299/stat : 14299 (java) S 14236 14239 11630 0 -1 1077944384 1 13294 0 0 0 0 5 2 20 0 15 0 222129793 11348049920 162460 33554432000 4194304 4196468 140724596634736 139690590070272 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14300] ppid=14236 vsize=11082080 memory=647792 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14300/stat : 14300 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139690282670800 139691939825563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14301] ppid=14236 vsize=11082080 memory=647792 CPUtime=12.4 cores=0,2,4,6
/proc/14239/task/14301/stat : 14301 (java) S 14236 14239 11630 0 -1 1077944384 70239 13294 0 0 1225 8 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691364714480 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14302] ppid=14236 vsize=11082080 memory=649840 CPUtime=12 cores=0,2,4,6
/proc/14239/task/14302/stat : 14302 (java) S 14236 14239 11630 0 -1 1077944384 73058 13294 0 0 1185 8 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691363661936 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14303] ppid=14236 vsize=11082080 memory=649840 CPUtime=4.88 cores=0,2,4,6
/proc/14239/task/14303/stat : 14303 (java) S 14236 14239 11630 0 -1 1077944384 68847 13294 0 0 472 9 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691362609392 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14304] ppid=14236 vsize=11082080 memory=649840 CPUtime=0.07 cores=0,2,4,6
/proc/14239/task/14304/stat : 14304 (java) S 14236 14239 11630 0 -1 1077944384 3 13294 0 0 0 0 5 2 20 0 15 0 222129796 11348049920 162460 33554432000 4194304 4196468 140724596634736 139689851873888 139691939817173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
[pid=14239/tid=14305] ppid=14236 vsize=11082080 memory=10824 CPUtime=1.49 cores=0,2,4,6
/proc/14239/task/14305/stat : 14305 (java) S 14236 14239 11630 0 -1 1077944384 996 13294 0 0 66 76 5 2 20 0 15 0 222129797 11348049920 162460 33554432000 4194304 4196468 140724596634736 139691361557296 139691939818114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23506944 140724596636259 140724596639068 140724596639068 140724596641743 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 649840 KiB
Child status: 143
Real time (s): 2452.23
CPU time (s): 2520.14
CPU user time (s): 2516.08
CPU system time (s): 4.06042
CPU usage (%): 102.769
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 2028312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.08
system time used= 4.06042
maximum resident set size= 2043704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 410871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3072
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 192295
involuntary context switches= 7926
# summary of solver processes directly reported to runsolver:
# pid: 14239
# total CPU time (s): 2520.14
# total CPU user time (s): 2516.08
# total CPU system time (s): 4.06042
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4708 second user time and 23.1176 second system time
The end
Begin job on node139 at 2018-08-12 05:47:46 IDJOB=4304190 IDBENCH=141058 IDSOLVER=2781 FILE ID=node139/4304190-1534045666 RUNJOBID= node139-1534040758-13580 PBS_JOBID= 21036956 Free space on /tmp= 28196 MiB SOLVER NAME= Concrete 3.9.2-SuperNG BENCH NAME= XCSP18/NurseRostering/NurseRostering-06_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304190-1534045666/watcher-4304190-1534045666 -o /tmp/evaluation-result-4304190-1534045666/solver-4304190-1534045666 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534040758-13580 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1862764366 -superng HOME/instance-4304190-1534045666.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a3bf89ae74321e3cfb193774a0c0983 RANDOM SEED=1862764366 node139.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.80 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.80 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.80 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.80 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: 3733468 kB MemAvailable: 30569072 kB Buffers: 214316 kB Cached: 26435560 kB SwapCached: 0 kB Active: 9463436 kB Inactive: 18572836 kB Active(anon): 1335996 kB Inactive(anon): 103268 kB Active(file): 8127440 kB Inactive(file): 18469568 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26688 kB Writeback: 0 kB AnonPages: 1394076 kB Mapped: 74464 kB Shmem: 49804 kB Slab: 695128 kB SReclaimable: 667056 kB SUnreclaim: 28072 kB KernelStack: 3504 kB PageTables: 8364 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2495648 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1198080 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 28168 MiB End job on node139 at 2018-08-12 06:28:38