Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.9.2 | SAT (TO) | 3784 | 2520.09 | 2453.23 |
| Name | NurseRostering/ NurseRostering-05_c18.xml |
| MD5SUM | b6cc1cad0a6ec682295352adb28466c6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1819 |
| Best CPU time to get the best result obtained on this benchmark | 2400.21 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 834 |
| Number of constraints | 2135 |
| Number of domains | 14 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":170},{"size":3,"count":448},{"size":15,"count":10},{"size":17,"count":140},{"size":29,"count":32}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 23 |
| Distribution of variable degrees | [{"degree":2,"count":322},{"degree":3,"count":64},{"degree":11,"count":16},{"degree":12,"count":15},{"degree":13,"count":1},{"degree":14,"count":12},{"degree":15,"count":17},{"degree":16,"count":22},{"degree":17,"count":26},{"degree":18,"count":24},{"degree":19,"count":109},{"degree":20,"count":73},{"degree":21,"count":82},{"degree":22,"count":46},{"degree":23,"count":5}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":2,"count":782},{"arity":3,"count":692},{"arity":4,"count":166},{"arity":6,"count":230},{"arity":7,"count":132},{"arity":17,"count":84},{"arity":29,"count":48},{"arity":32,"count":1}] |
| Number of extensional constraints | 516 |
| Number of intensional constraints | 266 |
| Distribution of constraint types | [{"type":"extension","count":516},{"type":"intension","count":266},{"type":"regular","count":826},{"type":"sum","count":32},{"type":"count","count":494},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.99/0.74 c Concrete v3.9.2.1532736233296 running 11.12/4.65 c 05:00:42.648 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6148. 'extension(x[0][12]=[0‥2], 2) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.653 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6149. 'extension(2, x[2][12]=[0‥2]) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.659 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6169. 'extension(x[1][14]=[0‥2], 2) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6192. 'extension(2, x[4][14]=[0‥2]) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6195. 'extension(2, 2) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6217. 'extension(2, wk[2][0]=[0‥1]) :: init: true :: relation: MDD 2082232630, 3 edges, 3 vertices, 2 tuples 12.48/5.05 c 05:00:42.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6218. 'extension(x[4][2]=[0‥2], 2) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6244. 'extension(2, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 671981276, 3 edges, 3 vertices, 2 tuples 12.48/5.05 c 05:00:42.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6245. 'extension(x[4][10]=[0‥2], 2) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6272. 'extension(2, wk[2][0]=[0‥1]) :: init: true :: relation: MDD 986238875, 3 edges, 3 vertices, 2 tuples 12.48/5.05 c 05:00:42.671 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6273. 'extension(2, x[7][2]=[0‥2]) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6276. 'extension(2, 2) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6299. 'extension(2, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 999674172, 3 edges, 3 vertices, 2 tuples 12.48/5.05 c 05:00:42.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6300. 'extension(x[5][7]=[0‥2], 2) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.675 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6301. 'extension(2, x[7][7]=[0‥2]) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6326. 'extension(2, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1604020967, 3 edges, 3 vertices, 2 tuples 12.48/5.05 c 05:00:42.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6327. 'extension(2, x[7][10]=[0‥2]) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6330. 'extension(2, 2) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6355. 'extension(x[6][12]=[0‥2], 2) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6356. 'extension(2, x[8][12]=[0‥2]) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6383. 'extension(x[7][6]=[0‥2], 2) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6384. 'extension(2, x[9][6]=[0‥2]) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6409. 'extension(x[8][1]=[0‥2], 2) :: init: true :: relation: MDD 635068762, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6410. 'extension(2, x[10][1]=[0‥2]) :: init: true :: relation: MDD 635068762, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6435. 'extension(x[8][3]=[0‥2], 2) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6436. 'extension(2, x[10][3]=[0‥2]) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6461. 'extension(x[9][7]=[0‥2], 2) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6462. 'extension(2, x[11][7]=[0‥2]) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6487. 'extension(x[10][5]=[0‥2], 2) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6513. 'extension(2, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1854577712, 3 edges, 3 vertices, 2 tuples 12.48/5.05 c 05:00:42.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6514. 'extension(2, x[13][5]=[0‥2]) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6517. 'extension(2, 2) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6540. 'extension(2, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 1722645488, 3 edges, 3 vertices, 2 tuples 12.48/5.05 c 05:00:42.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6541. 'extension(x[12][3]=[0‥2], 2) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6542. 'extension(2, x[14][3]=[0‥2]) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6567. 'extension(x[14][9]=[0‥2], 2) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6593. 'extension(2, x[17][9]=[0‥2]) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6596. 'extension(2, 2) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6619. 'extension(x[15][13]=[0‥2], 2) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6620. 'extension(2, x[17][13]=[0‥2]) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6647. 'extension(x[15][15]=[0‥2], 2) :: init: true :: relation: MDD 373973695, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6675. 'extension(x[16][0]=[0‥2], 2) :: init: true :: relation: MDD 774095232, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.719 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6676. 'extension(2, x[18][0]=[0‥2]) :: init: true :: relation: MDD 774095232, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6701. 'extension(2, x[18][15]=[0‥2]) :: init: true :: relation: MDD 373973695, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6704. 'extension(2, 2) :: init: true :: relation: MDD 373973695, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6729. 'extension(x[17][8]=[0‥2], 2) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6755. 'extension(2, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 1894978338, 3 edges, 3 vertices, 2 tuples 12.48/5.05 c 05:00:42.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6756. 'extension(x[18][6]=[0‥2], 2) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6757. 'extension(2, x[20][6]=[0‥2]) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6782. 'extension(2, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 892611887, 3 edges, 3 vertices, 2 tuples 12.48/5.05 c 05:00:42.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6783. 'extension(2, x[20][8]=[0‥2]) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6786. 'extension(2, 2) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6809. 'extension(x[21][0]=[0‥2], 2) :: init: true :: relation: MDD 774095232, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6810. 'extension(2, x[23][0]=[0‥2]) :: init: true :: relation: MDD 774095232, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6835. 'extension(x[21][4]=[0‥2], 2) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6861. 'extension(x[22][1]=[0‥2], 2) :: init: true :: relation: MDD 635068762, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6862. 'extension(2, x[24][1]=[0‥2]) :: init: true :: relation: MDD 635068762, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6886. 'extension(2, x[24][4]=[0‥2]) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6889. 'extension(2, 2) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.742 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6911. 'extension(x[24][11]=[0‥2], 2) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.743 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6934. 'extension(2, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 229329107, 3 edges, 3 vertices, 2 tuples 12.48/5.05 c 05:00:42.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6935. 'extension(2, x[27][11]=[0‥2]) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6937. 'extension(2, 2) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6956. 'extension(2, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 1831717330, 3 edges, 3 vertices, 2 tuples 12.48/5.05 c 05:00:42.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6957. 'extension(x[25][13]=[0‥2], 2) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6958. 'extension(2, x[27][13]=[0‥2]) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 12.48/5.05 c 05:00:42.755 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7011. 'extension(x[0][12]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7013. 'extension(x[2][12]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7025. 'extension(x[1][14]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7029. 'extension(x[4][14]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7045. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7047. 'extension(x[4][2]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7053. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7055. 'extension(x[4][10]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7061. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7063. 'extension(x[7][2]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7077. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7079. 'extension(x[5][7]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7081. 'extension(x[7][7]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.762 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7095. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.763 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7097. 'extension(x[7][10]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7113. 'extension(x[6][12]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7115. 'extension(x[8][12]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7131. 'extension(x[7][6]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7133. 'extension(x[9][6]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7147. 'extension(x[8][1]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7149. 'extension(x[10][1]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7163. 'extension(x[8][3]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7165. 'extension(x[10][3]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7179. 'extension(x[9][7]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7181. 'extension(x[11][7]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7195. 'extension(x[10][5]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7201. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7203. 'extension(x[13][5]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7217. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7219. 'extension(x[12][3]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7221. 'extension(x[14][3]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7235. 'extension(x[14][9]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7241. 'extension(x[17][9]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7255. 'extension(x[15][13]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7257. 'extension(x[17][13]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7273. 'extension(x[15][15]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7279. 'extension(x[16][0]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7281. 'extension(x[18][0]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7295. 'extension(x[18][15]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7311. 'extension(x[17][8]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7317. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7319. 'extension(x[18][6]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7321. 'extension(x[20][6]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.780 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7335. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.780 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7337. 'extension(x[20][8]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.781 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7351. 'extension(x[21][0]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.781 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7353. 'extension(x[23][0]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7367. 'extension(x[21][4]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7373. 'extension(x[22][1]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7375. 'extension(x[24][1]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7389. 'extension(x[24][4]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7403. 'extension(x[24][11]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7409. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7411. 'extension(x[27][11]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7423. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7425. 'extension(x[25][13]=[0‥2]) :: init: true :: relation: Empty MDD 12.48/5.05 c 05:00:42.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7427. 'extension(x[27][13]=[0‥2]) :: init: true :: relation: Empty MDD 24.81/10.82 o 5375 25.06/10.93 o 5276 65.73/48.29 o 5179 65.87/48.31 o 5178 68.09/50.42 o 5078 68.09/50.45 o 5077 68.35/50.58 o 4977 68.54/50.69 o 4877 71.15/52.89 o 4876 71.45/53.02 o 4675 110.64/91.09 o 4581 110.64/91.09 o 4580 110.64/91.10 o 4479 110.75/91.12 o 4478 110.75/91.12 o 4378 111.38/91.75 o 4377 138.27/117.29 o 4278 138.27/117.29 o 4277 138.99/117.99 o 4276 138.99/117.99 o 4175 457.11/426.97 o 4083 457.11/426.97 o 4082 457.11/426.99 o 4081 484.31/453.32 o 4080 702.30/665.92 o 3986 702.30/665.93 o 3985 708.71/672.22 o 3886 708.71/672.23 o 3885 711.16/674.68 o 3884 784.24/746.53 o 3784 2520.04/2453.20 Exception in thread "main" java.util.concurrent.TimeoutException 2520.04/2453.20 at concrete.MAC.mac(MAC.scala:188) 2520.04/2453.20 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.04/2453.20 at scala.util.Try$.apply(Try.scala:209) 2520.04/2453.20 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.04/2453.20 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.04/2453.20 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.04/2453.20 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.04/2453.20 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.04/2453.20 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.04/2453.20 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.04/2453.20 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.04/2453.21 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.04/2453.21 at concrete.MAC.oneRun(MAC.scala:253) 2520.04/2453.21 at concrete.MAC.nextSolution(MAC.scala:272) 2520.04/2453.21 at concrete.MAC.nextSolution(MAC.scala:355) 2520.04/2453.21 at concrete.Solver.hasNext(Solver.scala:166) 2520.04/2453.21 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.04/2453.21 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.04/2453.21 at concrete.Solver.foreach(Solver.scala:68) 2520.04/2453.21 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.04/2453.21 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.04/2453.21 at scala.util.Success.map(Try.scala:209) 2520.04/2453.21 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.04/2453.21 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.04/2453.21 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.04/2453.21 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.04/2453.21 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.04/2453.21 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.04/2453.21 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.04/2453.21 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.04/2453.21 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.04/2453.21 at scala.collection.immutable.List.foreach(List.scala:389) 2520.04/2453.21 at scala.App.main(App.scala:76) 2520.04/2453.21 at scala.App.main$(App.scala:74) 2520.04/2453.21 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.04/2453.21 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.04/2453.22 v <instantiation cost="3784"> 2520.04/2453.22 v <list> 2520.04/2453.22 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ps[10][0] ps[10][1] ps[10][2] ps[11][0] ps[11][1] ps[11][2] ps[12][0] ps[12][1] ps[12][2] ps[13][0] ps[13][1] ps[13][2] ps[14][0] ps[14][1] ps[14][2] ps[15][0] ps[15][1] ps[15][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] ds[14][0] ds[14][1] ds[14][2] ds[15][0] ds[15][1] ds[15][2] ds[16][0] ds[16][1] ds[16][2] ds[17][0] ds[17][1] ds[17][2] ds[18][0] ds[18][1] ds[18][2] ds[19][0] ds[19][1] ds[19][2] ds[20][0] ds[20][1] ds[20][2] ds[21][0] ds[21][1] ds[21][2] ds[22][0] ds[22][1] ds[22][2] ds[23][0] ds[23][1] ds[23][2] ds[24][0] ds[24][1] ds[24][2] ds[25][0] ds[25][1] ds[25][2] ds[26][0] ds[26][1] ds[26][2] ds[27][0] ds[27][1] ds[27][2] 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] 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] 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] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] cc[14][0] cc[14][1] cc[14][2] cc[15][0] cc[15][1] cc[15][2] cc[16][0] cc[16][1] cc[16][2] cc[17][0] cc[17][1] cc[17][2] cc[18][0] cc[18][1] cc[18][2] cc[19][0] cc[19][1] cc[19][2] cc[20][0] cc[20][1] cc[20][2] cc[21][0] cc[21][1] cc[21][2] cc[22][0] cc[22][1] cc[22][2] cc[23][0] cc[23][1] cc[23][2] cc[24][0] cc[24][1] cc[24][2] cc[25][0] cc[25][1] cc[25][2] cc[26][0] cc[26][1] cc[26][2] cc[27][0] cc[27][1] cc[27][2] 2520.04/2453.22 v </list> 2520.04/2453.22 v <values> 2520.04/2453.22 v 2 0 1 0 2 1 2 2 1 2 0 0 2 2 1 0 2 0 1 1 2 1 0 0 1 2 0 0 2 0 1 0 2 0 1 1 0 1 1 0 1 0 0 2 1 0 2 0 0 0 1 2 0 1 1 0 2 0 0 2 1 0 2 0 0 0 2 2 0 1 1 0 2 0 2 2 1 0 2 0 2 2 2 0 0 2 1 2 0 2 2 0 2 0 0 2 2 2 2 1 0 2 2 2 0 2 2 0 2 0 0 2 0 2 0 1 2 1 2 2 0 1 2 0 2 2 0 2 0 2 1 2 2 1 2 0 0 1 2 0 0 2 0 1 0 2 1 2 0 1 0 1 1 1 2 0 0 2 0 1 0 0 1 1 0 2 0 2 2 1 2 2 0 0 0 1 0 0 2 1 0 2 1 2 2 1 0 2 0 0 2 1 2 2 2 2 2 2 2 2 0 2 0 2 0 0 2 1 2 2 1 2 2 0 2 2 0 2 0 0 0 0 2 2 0 2 1 0 0 0 2 0 0 2 0 0 2 2 1 2 0 2 1 1 0 0 0 0 1 2 0 0 2 2 1 2 0 0 1 1 0 0 1 2 1 2 0 0 2 2 1 2 2 0 1 2 2 0 1 2 2 0 2 0 0 0 1 2 2 0 2 2 2 2 1 0 2 0 2 2 0 0 1 0 2 0 2 2 0 2 2 1 2 0 2 2 1 2 2 0 0 0 2 2 0 0 2 1 2 1 2 2 1 2 2 0 0 2 0 1 0 1 0 2 2 1 2 0 1 2 2 0 2 2 0 1 2 1 1 2 2 2 0 0 1 0 0 2 2 2 0 2 2 2 1 1 0 2 0 0 2 0 1 2 0 0 2 2 0 2 2 1 1 1 0 0 2 0 1 2 0 0 2 0 0 2 2 1 1 1 0 2 2 0 2 1 0 0 0 0 2 2 0 1 2 1 0 2 1 2 2 1 0 0 1 0 2 2 1 1 2 1 0 2 1 2 2 1 16 0 12 16 0 12 5 13 10 6 10 12 16 0 12 6 10 12 6 11 11 8 8 12 8 8 12 6 11 11 16 0 12 16 0 12 8 9 11 16 0 12 7 9 12 9 8 11 5 4 7 7 5 4 7 6 3 8 4 4 7 3 6 6 1 9 5 1 10 5 3 8 6 4 6 6 6 4 7 4 5 6 4 6 4 1 11 6 1 9 8 2 6 7 4 5 6 5 5 6 3 7 6 2 8 4 2 10 5 3 8 6 4 6 5 4 7 5 3 8 6 4 6 6 4 6 6 4 6 4 6 6 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 1 1 1 1 0 0 1 1 1 1 1 1 0 1 0 0 1 0 1 1 1 3 0 0 3 3 0 0 0 0 2 2 2 3 0 2 2 2 0 0 0 0 0 0 0 3 3 0 0 0 0 1 2 0 0 3 3 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 1 1 0 0 0 0 3 0 0 0 0 0 0 0 1 3 3 3 2 0 2 2 0 2 0 2 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 2 0 0 0 0 0 0 200 0 100 300 0 100 100 0 0 0 0 0 0 0 2 0 0 0 0 0 200 300 0 0 300 0 1 100 0 100 0 0 0 0 0 100 100 0 100 200 0 200 200 0 100 100 0 0 0 0 0 0 0 100 200 0 0 0 0 2 0 0 0 200 0 300 1 0 2520.04/2453.22 v </values> 2520.04/2453.22 v </instantiation> 2520.04/2453.22 s SATISFIABLE
OK 3784
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 (5707 MiB free)
memory of node 1: 16384 MiB (447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304161-1534042837/watcher-4304161-1534042837 -o /tmp/evaluation-result-4304161-1534042837/solver-4304161-1534042837 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534040371-15153 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1469482604 HOME/instance-4304161-1534042837.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
Current StackSize limit: 8192 KiB
solver pid=15597, runsolver pid=15594
[startup+0.100126 s]*
/proc/loadavg: 1.56 1.38 1.37 3/211 15654
/proc/meminfo: memFree=6296384/32770624 swapFree=67108860/67108860
[pid=15597] ppid=15594 vsize=10005480 memory=18860 CPUtime=0.09 cores=0,2,4,6
/proc/15597/stat : 15597 (java) S 15594 15597 13534 0 -1 1077944320 4380 13146 0 0 1 1 4 3 20 0 6 0 221846914 10245611520 4715 33554432000 4194304 4196468 140735992740112 140735992722656 140349386067703 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
/proc/15597/statm: 2501370 4715 1934 1 0 2489808 0
[pid=15597/tid=15650] ppid=15594 vsize=10005480 memory=5852835220496416925 CPUtime=0.08 cores=0,2,4,6
/proc/15597/task/15650/stat : 15650 (java) R 15594 15597 13534 0 -1 4202560 2190 13146 0 0 1 0 4 3 20 0 6 0 221846923 10245611520 4715 33554432000 4194304 4196468 140735992740112 140349357904464 140349371750229 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15651] ppid=15594 vsize=10005480 memory=5793855423938693561 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15651/stat : 15651 (java) S 15594 15597 13534 0 -1 1077944384 2 13146 0 0 0 0 4 3 20 0 6 0 221846924 10245611520 4715 33554432000 4194304 4196468 140735992740112 140349390309904 140349386077909 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15652] ppid=15594 vsize=10005480 memory=140172928800384 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15652/stat : 15652 (java) S 15594 15597 13534 0 -1 1077944384 1 13146 0 0 0 0 4 3 20 0 6 0 221846924 10245611520 4715 33554432000 4194304 4196468 140735992740112 140349271575184 140349386077909 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15653] ppid=15594 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15653/stat : 15653 (java) S 15594 15597 13534 0 -1 1077944384 1 13146 0 0 0 0 4 3 20 0 6 0 221846924 10245611520 4715 33554432000 4194304 4196468 140735992740112 140349270522128 140349386077909 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15654] ppid=15594 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15654/stat : 15654 (java) S 15594 15597 13534 0 -1 1077944384 2 13146 0 0 0 0 4 3 20 0 6 0 221846924 10245611520 4715 33554432000 4194304 4196468 140735992740112 140349269469584 140349386077909 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18860 KiB
[startup+0.210462 s]*
/proc/loadavg: 1.56 1.38 1.37 3/220 15663
/proc/meminfo: memFree=6275104/32770624 swapFree=67108860/67108860
[pid=15597] ppid=15594 vsize=10985364 memory=44048 CPUtime=0.25 cores=0,2,4,6
/proc/15597/stat : 15597 (java) S 15594 15597 13534 0 -1 1077944320 8218 13146 0 0 16 2 4 3 20 0 15 0 221846914 11249012736 11012 33554432000 4194304 4196468 140735992740112 140735992722656 140349386067703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
/proc/15597/statm: 2746341 11012 2964 1 0 2708764 0
[pid=15597/tid=15650] ppid=15594 vsize=10985364 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/15597/task/15650/stat : 15650 (java) R 15594 15597 13534 0 -1 4202560 4870 13146 0 0 10 1 4 3 20 0 15 0 221846923 11249012736 11078 33554432000 4194304 4196468 140735992740112 140349357892512 140349378747421 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15651] ppid=15594 vsize=10985364 memory=4211973899133590922 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15651/stat : 15651 (java) S 15594 15597 13534 0 -1 1077944384 2 13146 0 0 0 0 4 3 20 0 15 0 221846924 11249012736 11078 33554432000 4194304 4196468 140735992740112 140349390309904 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15652] ppid=15594 vsize=10985364 memory=140172928800384 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15652/stat : 15652 (java) S 15594 15597 13534 0 -1 1077944384 1 13146 0 0 0 0 4 3 20 0 15 0 221846924 11249012736 11144 33554432000 4194304 4196468 140735992740112 140349271575184 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15653] ppid=15594 vsize=10985364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15653/stat : 15653 (java) S 15594 15597 13534 0 -1 1077944384 1 13146 0 0 0 0 4 3 20 0 15 0 221846924 11249012736 11144 33554432000 4194304 4196468 140735992740112 140349270522128 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15654] ppid=15594 vsize=10985364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15654/stat : 15654 (java) S 15594 15597 13534 0 -1 1077944384 2 13146 0 0 0 0 4 3 20 0 15 0 221846924 11249012736 11144 33554432000 4194304 4196468 140735992740112 140349269469584 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15655] ppid=15594 vsize=10985364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15655/stat : 15655 (java) S 15594 15597 13534 0 -1 1077944384 2 13146 0 0 0 0 4 3 20 0 15 0 221846925 11249012736 11144 33554432000 4194304 4196468 140735992740112 140348879207152 140349386078850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15656] ppid=15594 vsize=10985364 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15656/stat : 15656 (java) S 15594 15597 13534 0 -1 1077944384 13 13146 0 0 0 0 4 3 20 0 15 0 221846926 11249012736 11210 33554432000 4194304 4196468 140735992740112 140348055611040 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15657] ppid=15594 vsize=10985364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15657/stat : 15657 (java) S 15594 15597 13534 0 -1 1077944384 21 13146 0 0 0 0 4 3 20 0 15 0 221846926 11249012736 11210 33554432000 4194304 4196468 140735992740112 140347988497648 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15658] ppid=15594 vsize=10985364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15658/stat : 15658 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846928 11249012736 11210 33554432000 4194304 4196468 140735992740112 140347681102288 140349386086299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15659] ppid=15594 vsize=10985364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15597/task/15659/stat : 15659 (java) S 15594 15597 13534 0 -1 1077944384 420 13146 0 0 1 0 4 3 20 0 15 0 221846928 11249012736 11210 33554432000 4194304 4196468 140735992740112 140348878153968 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15660] ppid=15594 vsize=10985364 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15597/task/15660/stat : 15660 (java) S 15594 15597 13534 0 -1 1077944384 187 13146 0 0 1 0 4 3 20 0 15 0 221846928 11249012736 11276 33554432000 4194304 4196468 140735992740112 140348877101424 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15661] ppid=15594 vsize=10985364 memory=140172928800384 CPUtime=0.1 cores=0,2,4,6
/proc/15597/task/15661/stat : 15661 (java) S 15594 15597 13534 0 -1 1077944384 606 13146 0 0 3 0 4 3 20 0 15 0 221846928 11249012736 11276 33554432000 4194304 4196468 140735992740112 140348876048368 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15662] ppid=15594 vsize=10985364 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15662/stat : 15662 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846929 11249012736 11276 33554432000 4194304 4196468 140735992740112 140347250305376 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15663] ppid=15594 vsize=10985364 memory=140172928800384 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15663/stat : 15663 (java) S 15594 15597 13534 0 -1 1077944384 1 13146 0 0 0 0 4 3 20 0 15 0 221846929 11249012736 11276 33554432000 4194304 4196468 140735992740112 140348874996784 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 44048 KiB
[startup+0.310635 s]*
/proc/loadavg: 1.56 1.38 1.37 3/220 15663
/proc/meminfo: memFree=6262948/32770624 swapFree=67108860/67108860
[pid=15597] ppid=15594 vsize=10983192 memory=53444 CPUtime=0.39 cores=0,2,4,6
/proc/15597/stat : 15597 (java) S 15594 15597 13534 0 -1 1077944320 10453 13146 0 0 28 4 4 3 20 0 15 0 221846914 11246788608 13361 33554432000 4194304 4196468 140735992740112 140735992722656 140349386067703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
/proc/15597/statm: 2745798 13361 3083 1 0 2708109 0
[pid=15597/tid=15650] ppid=15594 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/15597/task/15650/stat : 15650 (java) R 15594 15597 13534 0 -1 4202560 6995 13146 0 0 19 2 4 3 20 0 15 0 221846923 11246788608 13361 33554432000 4194304 4196468 140735992740112 140349357879712 140348945146562 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15651] ppid=15594 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15651/stat : 15651 (java) S 15594 15597 13534 0 -1 1077944384 2 13146 0 0 0 0 4 3 20 0 15 0 221846924 11246788608 13361 33554432000 4194304 4196468 140735992740112 140349390309904 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15652] ppid=15594 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15652/stat : 15652 (java) S 15594 15597 13534 0 -1 1077944384 1 13146 0 0 0 0 4 3 20 0 15 0 221846924 11246788608 13361 33554432000 4194304 4196468 140735992740112 140349271575184 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15653] ppid=15594 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15653/stat : 15653 (java) S 15594 15597 13534 0 -1 1077944384 1 13146 0 0 0 0 4 3 20 0 15 0 221846924 11246788608 13361 33554432000 4194304 4196468 140735992740112 140349270522128 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15654] ppid=15594 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15654/stat : 15654 (java) S 15594 15597 13534 0 -1 1077944384 2 13146 0 0 0 0 4 3 20 0 15 0 221846924 11246788608 13361 33554432000 4194304 4196468 140735992740112 140349269469584 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15655] ppid=15594 vsize=10983192 memory=140172928800383 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15655/stat : 15655 (java) S 15594 15597 13534 0 -1 1077944384 2 13146 0 0 0 0 4 3 20 0 15 0 221846925 11246788608 13361 33554432000 4194304 4196468 140735992740112 140348879207152 140349386078850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15656] ppid=15594 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15656/stat : 15656 (java) S 15594 15597 13534 0 -1 1077944384 13 13146 0 0 0 0 4 3 20 0 15 0 221846926 11246788608 13361 33554432000 4194304 4196468 140735992740112 140348055611040 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15657] ppid=15594 vsize=10983192 memory=140172928800384 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15657/stat : 15657 (java) S 15594 15597 13534 0 -1 1077944384 21 13146 0 0 0 0 4 3 20 0 15 0 221846926 11246788608 13361 33554432000 4194304 4196468 140735992740112 140347988497648 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15658] ppid=15594 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15658/stat : 15658 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846928 11246788608 13361 33554432000 4194304 4196468 140735992740112 140347681102288 140349386086299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15659] ppid=15594 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15597/task/15659/stat : 15659 (java) S 15594 15597 13534 0 -1 1077944384 422 13146 0 0 1 0 4 3 20 0 15 0 221846928 11246788608 13361 33554432000 4194304 4196468 140735992740112 140348878153968 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15660] ppid=15594 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15597/task/15660/stat : 15660 (java) S 15594 15597 13534 0 -1 1077944384 187 13146 0 0 1 0 4 3 20 0 15 0 221846928 11246788608 13361 33554432000 4194304 4196468 140735992740112 140348877101424 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15661] ppid=15594 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/15597/task/15661/stat : 15661 (java) R 15594 15597 13534 0 -1 4202560 612 13146 0 0 5 0 4 3 20 0 15 0 221846928 11246788608 13361 33554432000 4194304 4196468 140735992740112 140348876048368 140349364734156 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15662] ppid=15594 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15662/stat : 15662 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846929 11246788608 13361 33554432000 4194304 4196468 140735992740112 140347250305376 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15663] ppid=15594 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15663/stat : 15663 (java) S 15594 15597 13534 0 -1 1077944384 1 13146 0 0 0 0 4 3 20 0 15 0 221846929 11246788608 13361 33554432000 4194304 4196468 140735992740112 140348874996784 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53444 KiB
[startup+0.700838 s]
/proc/loadavg: 1.56 1.38 1.37 4/220 15663
/proc/meminfo: memFree=6252092/32770624 swapFree=67108860/67108860
[pid=15597] ppid=15594 vsize=10983192 memory=86412 CPUtime=0.99 cores=0,2,4,6
/proc/15597/stat : 15597 (java) S 15594 15597 13534 0 -1 1077944320 16787 13146 0 0 87 5 4 3 20 0 15 0 221846914 11246788608 21603 33554432000 4194304 4196468 140735992740112 140735992722656 140349386067703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
/proc/15597/statm: 2745798 21603 3238 1 0 2708109 0
[pid=15597/tid=15650] ppid=15594 vsize=10983192 memory=60332 CPUtime=0.65 cores=0,2,4,6
/proc/15597/task/15650/stat : 15650 (java) R 15594 15597 13534 0 -1 4202560 12222 13146 0 0 55 3 4 3 20 0 15 0 221846923 11246788608 21603 33554432000 4194304 4196468 140735992740112 140349357895584 140349370148190 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15651] ppid=15594 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15651/stat : 15651 (java) S 15594 15597 13534 0 -1 1077944384 2 13146 0 0 0 0 4 3 20 0 15 0 221846924 11246788608 21603 33554432000 4194304 4196468 140735992740112 140349390309904 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15652] ppid=15594 vsize=10983192 memory=288230587427469581 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15652/stat : 15652 (java) S 15594 15597 13534 0 -1 1077944384 1 13146 0 0 0 0 4 3 20 0 15 0 221846924 11246788608 21603 33554432000 4194304 4196468 140735992740112 140349271575184 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15653] ppid=15594 vsize=10983192 memory=15816694631256675 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15653/stat : 15653 (java) S 15594 15597 13534 0 -1 1077944384 1 13146 0 0 0 0 4 3 20 0 15 0 221846924 11246788608 21603 33554432000 4194304 4196468 140735992740112 140349270522128 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15654] ppid=15594 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15654/stat : 15654 (java) S 15594 15597 13534 0 -1 1077944384 2 13146 0 0 0 0 4 3 20 0 15 0 221846924 11246788608 21603 33554432000 4194304 4196468 140735992740112 140349269469584 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15655] ppid=15594 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15655/stat : 15655 (java) S 15594 15597 13534 0 -1 1077944384 5 13146 0 0 0 0 4 3 20 0 15 0 221846925 11246788608 21603 33554432000 4194304 4196468 140735992740112 140348879207152 140349386078850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15656] ppid=15594 vsize=10983192 memory=140172767568480 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15656/stat : 15656 (java) S 15594 15597 13534 0 -1 1077944384 13 13146 0 0 0 0 4 3 20 0 15 0 221846926 11246788608 21603 33554432000 4194304 4196468 140735992740112 140348055611040 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15657] ppid=15594 vsize=10983192 memory=140174847640688 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15657/stat : 15657 (java) S 15594 15597 13534 0 -1 1077944384 21 13146 0 0 0 0 4 3 20 0 15 0 221846926 11246788608 21603 33554432000 4194304 4196468 140735992740112 140347988497648 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15658] ppid=15594 vsize=10983192 memory=2416 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15658/stat : 15658 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846928 11246788608 21603 33554432000 4194304 4196468 140735992740112 140347681102288 140349386086299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15659] ppid=15594 vsize=10983192 memory=6153431502485414241 CPUtime=0.14 cores=0,2,4,6
/proc/15597/task/15659/stat : 15659 (java) S 15594 15597 13534 0 -1 1077944384 815 13146 0 0 7 0 4 3 20 0 15 0 221846928 11246788608 21603 33554432000 4194304 4196468 140735992740112 140348878153968 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15660] ppid=15594 vsize=10983192 memory=7881696724453321575 CPUtime=0.17 cores=0,2,4,6
/proc/15597/task/15660/stat : 15660 (java) S 15594 15597 13534 0 -1 1077944384 804 13146 0 0 10 0 4 3 20 0 15 0 221846928 11246788608 21603 33554432000 4194304 4196468 140735992740112 140348877101424 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15661] ppid=15594 vsize=10983192 memory=7810487918915055718 CPUtime=0.2 cores=0,2,4,6
/proc/15597/task/15661/stat : 15661 (java) S 15594 15597 13534 0 -1 1077944384 706 13146 0 0 13 0 4 3 20 0 15 0 221846928 11246788608 21603 33554432000 4194304 4196468 140735992740112 140348876048368 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15662] ppid=15594 vsize=10983192 memory=8514726395715218844 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15662/stat : 15662 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846929 11246788608 21603 33554432000 4194304 4196468 140735992740112 140347250305376 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15663] ppid=15594 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15663/stat : 15663 (java) S 15594 15597 13534 0 -1 1077944384 1 13146 0 0 0 0 4 3 20 0 15 0 221846929 11246788608 21603 33554432000 4194304 4196468 140735992740112 140348874996784 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86412 KiB
[startup+1.50077 s]
/proc/loadavg: 1.56 1.38 1.37 3/220 15663
/proc/meminfo: memFree=6208672/32770624 swapFree=67108860/67108860
[pid=15597] ppid=15594 vsize=10996044 memory=172640 CPUtime=2.95 cores=0,2,4,6
/proc/15597/stat : 15597 (java) S 15594 15597 13534 0 -1 1077944320 26773 13146 0 0 278 10 4 3 20 0 15 0 221846914 11259949056 43160 33554432000 4194304 4196468 140735992740112 140735992722656 140349386067703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
/proc/15597/statm: 2749011 43160 3448 1 0 2710669 0
[pid=15597/tid=15650] ppid=15594 vsize=10996044 memory=7378960404036216665 CPUtime=1.43 cores=0,2,4,6
/proc/15597/task/15650/stat : 15650 (java) S 15594 15597 13534 0 -1 1077944384 17160 13146 0 0 130 6 4 3 20 0 15 0 221846923 11259949056 43160 33554432000 4194304 4196468 140735992740112 140349357872192 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15651] ppid=15594 vsize=10996044 memory=7884791763584837716 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15651/stat : 15651 (java) S 15594 15597 13534 0 -1 1077944384 50 13146 0 0 0 0 4 3 20 0 15 0 221846924 11259949056 43160 33554432000 4194304 4196468 140735992740112 140349390309904 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15652] ppid=15594 vsize=10996044 memory=7086245175909443433 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15652/stat : 15652 (java) S 15594 15597 13534 0 -1 1077944384 11 13146 0 0 0 0 4 3 20 0 15 0 221846924 11259949056 43160 33554432000 4194304 4196468 140735992740112 140349271575184 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15653] ppid=15594 vsize=10996044 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15653/stat : 15653 (java) S 15594 15597 13534 0 -1 1077944384 5 13146 0 0 0 0 4 3 20 0 15 0 221846924 11259949056 43160 33554432000 4194304 4196468 140735992740112 140349270522128 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15654] ppid=15594 vsize=10996044 memory=207410480345926 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15654/stat : 15654 (java) S 15594 15597 13534 0 -1 1077944384 143 13146 0 0 0 0 4 3 20 0 15 0 221846924 11259949056 43160 33554432000 4194304 4196468 140735992740112 140349269469584 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15655] ppid=15594 vsize=10996044 memory=1088950 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15655/stat : 15655 (java) R 15594 15597 13534 0 -1 4202560 33 13146 0 0 0 0 4 3 20 0 15 0 221846925 11259949056 43160 33554432000 4194304 4196468 140735992740112 140348879205632 140349369194528 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15656] ppid=15594 vsize=10996044 memory=4638778428397932880 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15656/stat : 15656 (java) S 15594 15597 13534 0 -1 1077944384 13 13146 0 0 0 0 4 3 20 0 15 0 221846926 11259949056 43160 33554432000 4194304 4196468 140735992740112 140348055611040 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15657] ppid=15594 vsize=10996044 memory=4639059873309409380 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15657/stat : 15657 (java) S 15594 15597 13534 0 -1 1077944384 21 13146 0 0 0 0 4 3 20 0 15 0 221846926 11259949056 43160 33554432000 4194304 4196468 140735992740112 140347988497648 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15658] ppid=15594 vsize=10996044 memory=280345534529776 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15658/stat : 15658 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846928 11259949056 43160 33554432000 4194304 4196468 140735992740112 140347681102288 140349386086299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15659] ppid=15594 vsize=10996044 memory=4638778398333026400 CPUtime=0.57 cores=0,2,4,6
/proc/15597/task/15659/stat : 15659 (java) S 15594 15597 13534 0 -1 1077944384 2607 13146 0 0 50 0 4 3 20 0 15 0 221846928 11259949056 43160 33554432000 4194304 4196468 140735992740112 140348878138448 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15660] ppid=15594 vsize=10996044 memory=-6367912339476735584 CPUtime=0.56 cores=0,2,4,6
/proc/15597/task/15660/stat : 15660 (java) S 15594 15597 13534 0 -1 1077944384 2736 13146 0 0 49 0 4 3 20 0 15 0 221846928 11259949056 43160 33554432000 4194304 4196468 140735992740112 140348877081392 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15661] ppid=15594 vsize=10996044 memory=6656426216303648864 CPUtime=0.53 cores=0,2,4,6
/proc/15597/task/15661/stat : 15661 (java) S 15594 15597 13534 0 -1 1077944384 1800 13146 0 0 46 0 4 3 20 0 15 0 221846928 11259949056 43160 33554432000 4194304 4196468 140735992740112 140348876048368 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15662] ppid=15594 vsize=10996044 memory=6944656592455360604 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15662/stat : 15662 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846929 11259949056 43160 33554432000 4194304 4196468 140735992740112 140347250305376 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15663] ppid=15594 vsize=10996044 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15663/stat : 15663 (java) S 15594 15597 13534 0 -1 1077944384 1 13146 0 0 0 0 4 3 20 0 15 0 221846929 11259949056 43160 33554432000 4194304 4196468 140735992740112 140348874996784 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/15597/task/15650/stat : 15650 (java) R 15594 15597 13534 0 -1 4202560 98949 13146 0 0 229648 54 4 3 20 0 15 0 221846923 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349357903232 140348953311307 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15651] ppid=15594 vsize=11082080 memory=967284 CPUtime=13.11 cores=0,2,4,6
/proc/15597/task/15651/stat : 15651 (java) S 15594 15597 13534 0 -1 1077944384 15678 13146 0 0 1252 52 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349390309904 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15652] ppid=15594 vsize=11082080 memory=967284 CPUtime=13.05 cores=0,2,4,6
/proc/15597/task/15652/stat : 15652 (java) S 15594 15597 13534 0 -1 1077944384 19692 13146 0 0 1243 55 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349271575184 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15653] ppid=15594 vsize=11082080 memory=967284 CPUtime=13.09 cores=0,2,4,6
/proc/15597/task/15653/stat : 15653 (java) S 15594 15597 13534 0 -1 1077944384 19908 13146 0 0 1251 51 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349270522128 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15654] ppid=15594 vsize=11082080 memory=967284 CPUtime=13.08 cores=0,2,4,6
/proc/15597/task/15654/stat : 15654 (java) S 15594 15597 13534 0 -1 1077944384 22885 13146 0 0 1249 52 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349269469584 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15655] ppid=15594 vsize=11082080 memory=967284 CPUtime=9.39 cores=0,2,4,6
/proc/15597/task/15655/stat : 15655 (java) S 15594 15597 13534 0 -1 1077944384 18063 13146 0 0 881 51 4 3 20 0 15 0 221846925 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348879207152 140349386078850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15656] ppid=15594 vsize=11082080 memory=967284 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15656/stat : 15656 (java) S 15594 15597 13534 0 -1 1077944384 16 13146 0 0 0 0 4 3 20 0 15 0 221846926 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348055611104 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15657] ppid=15594 vsize=11082080 memory=967284 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15657/stat : 15657 (java) S 15594 15597 13534 0 -1 1077944384 50 13146 0 0 0 0 4 3 20 0 15 0 221846926 11348049920 241821 33554432000 4194304 4196468 140735992740112 140347988497664 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15658] ppid=15594 vsize=11082080 memory=967284 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15658/stat : 15658 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140347681102288 140349386086299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15659] ppid=15594 vsize=11082080 memory=6791534058613427641 CPUtime=12.08 cores=0,2,4,6
/proc/15597/task/15659/stat : 15659 (java) S 15594 15597 13534 0 -1 1077944384 53383 13146 0 0 1195 6 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348878153968 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15660] ppid=15594 vsize=11082080 memory=2192 CPUtime=10.49 cores=0,2,4,6
/proc/15597/task/15660/stat : 15660 (java) S 15594 15597 13534 0 -1 1077944384 53336 13146 0 0 1035 7 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348877101424 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15661] ppid=15594 vsize=11082080 memory=3560 CPUtime=4.61 cores=0,2,4,6
/proc/15597/task/15661/stat : 15661 (java) S 15594 15597 13534 0 -1 1077944384 57298 13146 0 0 443 11 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348876048368 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15662] ppid=15594 vsize=11082080 memory=60400 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15662/stat : 15662 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846929 11348049920 241821 33554432000 4194304 4196468 140735992740112 140347250305376 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15663] ppid=15594 vsize=11082080 memory=967284 CPUtime=1.46 cores=0,2,4,6
/proc/15597/task/15663/stat : 15663 (java) S 15594 15597 13534 0 -1 1077944384 2766 13146 0 0 71 68 4 3 20 0 15 0 221846929 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348874996784 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
Current children cumulated CPU time: 2386.93 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 967284 KiB
[startup+2382.3 s]
/proc/loadavg: 1.44 1.42 1.41 3/219 15894
/proc/meminfo: memFree=5142168/32770624 swapFree=67108860/67108860
[pid=15597] ppid=15594 vsize=11082080 memory=967284 CPUtime=2447.96 cores=0,2,4,6
/proc/15597/stat : 15597 (java) S 15594 15597 13534 0 -1 1077944320 365427 13146 0 0 244427 362 4 3 20 0 15 0 221846914 11348049920 241821 33554432000 4194304 4196468 140735992740112 140735992722656 140349386067703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
/proc/15597/statm: 2770520 241821 3533 1 0 2732173 0
[pid=15597/tid=15650] ppid=15594 vsize=11082080 memory=967284 CPUtime=2356.43 cores=0,2,4,6
/proc/15597/task/15650/stat : 15650 (java) R 15594 15597 13534 0 -1 4202560 99548 13146 0 0 235582 54 4 3 20 0 15 0 221846923 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349357902176 140348969783876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15651] ppid=15594 vsize=11082080 memory=967284 CPUtime=13.45 cores=0,2,4,6
/proc/15597/task/15651/stat : 15651 (java) S 15594 15597 13534 0 -1 1077944384 15808 13146 0 0 1286 52 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349390309904 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15652] ppid=15594 vsize=11082080 memory=280345535114816 CPUtime=13.38 cores=0,2,4,6
/proc/15597/task/15652/stat : 15652 (java) S 15594 15597 13534 0 -1 1077944384 19828 13146 0 0 1275 56 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349271575184 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15653] ppid=15594 vsize=11082080 memory=967284 CPUtime=13.45 cores=0,2,4,6
/proc/15597/task/15653/stat : 15653 (java) S 15594 15597 13534 0 -1 1077944384 19945 13146 0 0 1286 52 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349270522128 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15654] ppid=15594 vsize=11082080 memory=967284 CPUtime=13.44 cores=0,2,4,6
/proc/15597/task/15654/stat : 15654 (java) S 15594 15597 13534 0 -1 1077944384 22953 13146 0 0 1283 54 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349269469584 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15655] ppid=15594 vsize=11082080 memory=967284 CPUtime=9.64 cores=0,2,4,6
/proc/15597/task/15655/stat : 15655 (java) S 15594 15597 13534 0 -1 1077944384 18279 13146 0 0 905 52 4 3 20 0 15 0 221846925 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348879207152 140349386078850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15656] ppid=15594 vsize=11082080 memory=967284 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15656/stat : 15656 (java) S 15594 15597 13534 0 -1 1077944384 16 13146 0 0 0 0 4 3 20 0 15 0 221846926 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348055611104 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15657] ppid=15594 vsize=11082080 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15657/stat : 15657 (java) S 15594 15597 13534 0 -1 1077944384 50 13146 0 0 0 0 4 3 20 0 15 0 221846926 11348049920 241821 33554432000 4194304 4196468 140735992740112 140347988497664 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15658] ppid=15594 vsize=11082080 memory=828 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15658/stat : 15658 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140347681102288 140349386086299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15659] ppid=15594 vsize=11082080 memory=967284 CPUtime=12.09 cores=0,2,4,6
/proc/15597/task/15659/stat : 15659 (java) S 15594 15597 13534 0 -1 1077944384 53386 13146 0 0 1195 7 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348878153968 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15660] ppid=15594 vsize=11082080 memory=1828 CPUtime=10.49 cores=0,2,4,6
/proc/15597/task/15660/stat : 15660 (java) S 15594 15597 13534 0 -1 1077944384 53338 13146 0 0 1035 7 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348877101424 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15661] ppid=15594 vsize=11082080 memory=967284 CPUtime=4.61 cores=0,2,4,6
/proc/15597/task/15661/stat : 15661 (java) S 15594 15597 13534 0 -1 1077944384 57300 13146 0 0 443 11 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348876048368 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15662] ppid=15594 vsize=11082080 memory=967284 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15662/stat : 15662 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846929 11348049920 241821 33554432000 4194304 4196468 140735992740112 140347250305376 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15663] ppid=15594 vsize=11082080 memory=3560 CPUtime=1.5 cores=0,2,4,6
/proc/15597/task/15663/stat : 15663 (java) S 15594 15597 13534 0 -1 1077944384 2782 13146 0 0 74 69 4 3 20 0 15 0 221846929 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348874996784 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
Current children cumulated CPU time: 2447.96 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 967284 KiB
[startup+2442.3 s]
/proc/loadavg: 1.22 1.34 1.39 3/220 15896
/proc/meminfo: memFree=5145232/32770624 swapFree=67108860/67108860
[pid=15597] ppid=15594 vsize=11082080 memory=967284 CPUtime=2508.94 cores=0,2,4,6
/proc/15597/stat : 15597 (java) S 15594 15597 13534 0 -1 1077944320 366663 13146 0 0 250517 370 4 3 20 0 15 0 221846914 11348049920 241821 33554432000 4194304 4196468 140735992740112 140735992722656 140349386067703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
/proc/15597/statm: 2770520 241821 3533 1 0 2732173 0
[pid=15597/tid=15650] ppid=15594 vsize=11082080 memory=967284 CPUtime=2415.74 cores=0,2,4,6
/proc/15597/task/15650/stat : 15650 (java) R 15594 15597 13534 0 -1 4202560 100189 13146 0 0 241513 54 4 3 20 0 15 0 221846923 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349357902464 140348967684128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15651] ppid=15594 vsize=11082080 memory=967284 CPUtime=13.8 cores=0,2,4,6
/proc/15597/task/15651/stat : 15651 (java) S 15594 15597 13534 0 -1 1077944384 15980 13146 0 0 1320 53 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349390309904 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15652] ppid=15594 vsize=11082080 memory=967284 CPUtime=13.73 cores=0,2,4,6
/proc/15597/task/15652/stat : 15652 (java) S 15594 15597 13534 0 -1 1077944384 19926 13146 0 0 1309 57 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349271575184 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15653] ppid=15594 vsize=11082080 memory=967284 CPUtime=13.79 cores=0,2,4,6
/proc/15597/task/15653/stat : 15653 (java) S 15594 15597 13534 0 -1 1077944384 19993 13146 0 0 1319 53 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349270522128 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15654] ppid=15594 vsize=11082080 memory=967284 CPUtime=13.79 cores=0,2,4,6
/proc/15597/task/15654/stat : 15654 (java) S 15594 15597 13534 0 -1 1077944384 22991 13146 0 0 1317 55 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349269469584 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15655] ppid=15594 vsize=11082080 memory=967284 CPUtime=9.88 cores=0,2,4,6
/proc/15597/task/15655/stat : 15655 (java) S 15594 15597 13534 0 -1 1077944384 18495 13146 0 0 927 54 4 3 20 0 15 0 221846925 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348879207152 140349386078850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15656] ppid=15594 vsize=11082080 memory=967284 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15656/stat : 15656 (java) S 15594 15597 13534 0 -1 1077944384 16 13146 0 0 0 0 4 3 20 0 15 0 221846926 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348055611104 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15657] ppid=15594 vsize=11082080 memory=967284 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15657/stat : 15657 (java) S 15594 15597 13534 0 -1 1077944384 50 13146 0 0 0 0 4 3 20 0 15 0 221846926 11348049920 241821 33554432000 4194304 4196468 140735992740112 140347988497664 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15658] ppid=15594 vsize=11082080 memory=967284 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15658/stat : 15658 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140347681102288 140349386086299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15659] ppid=15594 vsize=11082080 memory=967284 CPUtime=12.09 cores=0,2,4,6
/proc/15597/task/15659/stat : 15659 (java) S 15594 15597 13534 0 -1 1077944384 53388 13146 0 0 1195 7 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348878153968 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15660] ppid=15594 vsize=11082080 memory=967284 CPUtime=10.49 cores=0,2,4,6
/proc/15597/task/15660/stat : 15660 (java) S 15594 15597 13534 0 -1 1077944384 53340 13146 0 0 1035 7 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348877101424 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15661] ppid=15594 vsize=11082080 memory=288230574492221466 CPUtime=4.61 cores=0,2,4,6
/proc/15597/task/15661/stat : 15661 (java) S 15594 15597 13534 0 -1 1077944384 57302 13146 0 0 443 11 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348876048368 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15662] ppid=15594 vsize=11082080 memory=288230596050944315 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15662/stat : 15662 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846929 11348049920 241821 33554432000 4194304 4196468 140735992740112 140347250305376 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15663] ppid=15594 vsize=11082080 memory=3560 CPUtime=1.53 cores=0,2,4,6
/proc/15597/task/15663/stat : 15663 (java) S 15594 15597 13534 0 -1 1077944384 2799 13146 0 0 76 70 4 3 20 0 15 0 221846929 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348874996784 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
Current children cumulated CPU time: 2508.94 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 967284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2453.2 s]
/proc/loadavg: 1.58 1.42 1.41 3/220 15897
/proc/meminfo: memFree=5145652/32770624 swapFree=67108860/67108860
[pid=15597] ppid=15594 vsize=11082080 memory=967284 CPUtime=2520.04 cores=0,2,4,6
/proc/15597/stat : 15597 (java) S 15594 15597 13534 0 -1 1077944320 367281 13146 0 0 251626 371 4 3 20 0 15 0 221846914 11348049920 241821 33554432000 4194304 4196468 140735992740112 140735992722656 140349386067703 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
/proc/15597/statm: 2770520 241821 3533 1 0 2732173 0
[pid=15597/tid=15650] ppid=15594 vsize=11082080 memory=2192 CPUtime=2426.52 cores=0,2,4,6
/proc/15597/task/15650/stat : 15650 (java) R 15594 15597 13534 0 -1 4202560 100399 13146 0 0 242591 54 4 3 20 0 15 0 221846923 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349357902272 140348965529483 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15651] ppid=15594 vsize=11082080 memory=7528 CPUtime=13.87 cores=0,2,4,6
/proc/15597/task/15651/stat : 15651 (java) S 15594 15597 13534 0 -1 1077944384 16048 13146 0 0 1326 54 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349390309904 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15652] ppid=15594 vsize=11082080 memory=828 CPUtime=13.79 cores=0,2,4,6
/proc/15597/task/15652/stat : 15652 (java) S 15594 15597 13534 0 -1 1077944384 19948 13146 0 0 1315 57 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349271575184 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15653] ppid=15594 vsize=11082080 memory=967284 CPUtime=13.86 cores=0,2,4,6
/proc/15597/task/15653/stat : 15653 (java) S 15594 15597 13534 0 -1 1077944384 20026 13146 0 0 1326 53 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349270522128 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15654] ppid=15594 vsize=11082080 memory=967284 CPUtime=13.86 cores=0,2,4,6
/proc/15597/task/15654/stat : 15654 (java) S 15594 15597 13534 0 -1 1077944384 23073 13146 0 0 1324 55 4 3 20 0 15 0 221846924 11348049920 241821 33554432000 4194304 4196468 140735992740112 140349269469584 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15655] ppid=15594 vsize=11082080 memory=6791534058613427641 CPUtime=9.93 cores=0,2,4,6
/proc/15597/task/15655/stat : 15655 (java) S 15594 15597 13534 0 -1 1077944384 18677 13146 0 0 931 55 4 3 20 0 15 0 221846925 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348879207152 140349386078850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15656] ppid=15594 vsize=11082080 memory=-7003737579269690708 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15656/stat : 15656 (java) S 15594 15597 13534 0 -1 1077944384 16 13146 0 0 0 0 4 3 20 0 15 0 221846926 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348055611104 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15657] ppid=15594 vsize=11082080 memory=2432 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15657/stat : 15657 (java) S 15594 15597 13534 0 -1 1077944384 50 13146 0 0 0 0 4 3 20 0 15 0 221846926 11348049920 241821 33554432000 4194304 4196468 140735992740112 140347988497664 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15658] ppid=15594 vsize=11082080 memory=1828 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15658/stat : 15658 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140347681102288 140349386086299 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15659] ppid=15594 vsize=11082080 memory=792 CPUtime=12.09 cores=0,2,4,6
/proc/15597/task/15659/stat : 15659 (java) S 15594 15597 13534 0 -1 1077944384 53390 13146 0 0 1195 7 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348878153968 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15660] ppid=15594 vsize=11082080 memory=1224 CPUtime=10.49 cores=0,2,4,6
/proc/15597/task/15660/stat : 15660 (java) S 15594 15597 13534 0 -1 1077944384 53342 13146 0 0 1035 7 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348877101424 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15661] ppid=15594 vsize=11082080 memory=1944 CPUtime=4.61 cores=0,2,4,6
/proc/15597/task/15661/stat : 15661 (java) S 15594 15597 13534 0 -1 1077944384 57304 13146 0 0 443 11 4 3 20 0 15 0 221846928 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348876048368 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15662] ppid=15594 vsize=11082080 memory=5772 CPUtime=0.07 cores=0,2,4,6
/proc/15597/task/15662/stat : 15662 (java) S 15594 15597 13534 0 -1 1077944384 3 13146 0 0 0 0 4 3 20 0 15 0 221846929 11348049920 241821 33554432000 4194304 4196468 140735992740112 140347250305376 140349386077909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
[pid=15597/tid=15663] ppid=15594 vsize=11082080 memory=1444 CPUtime=1.54 cores=0,2,4,6
/proc/15597/task/15663/stat : 15663 (java) S 15594 15597 13534 0 -1 1077944384 2814 13146 0 0 76 71 4 3 20 0 15 0 221846929 11348049920 241821 33554432000 4194304 4196468 140735992740112 140348874996784 140349386078850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26988544 140735992748652 140735992751452 140735992751452 140735992754127 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 967284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2453.23 s]
# the end of solver process 15597 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.33 s, system=3.75589 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2453.23
CPU time (s): 2520.09
CPU user time (s): 2516.33
CPU system time (s): 3.75589
CPU usage (%): 102.725
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1375456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.33
system time used= 3.75589
maximum resident set size= 1376996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 265806
involuntary context switches= 8601
# summary of solver processes directly reported to runsolver:
# pid: 15597
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.33
# total CPU system time (s): 3.75589
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2981 second user time and 21.9697 second system time
The end
Begin job on node135 at 2018-08-12 05:00:37 IDJOB=4304161 IDBENCH=141044 IDSOLVER=2780 FILE ID=node135/4304161-1534042837 RUNJOBID= node135-1534040371-15153 PBS_JOBID= 21036964 Free space on /tmp= 42548 MiB SOLVER NAME= Concrete 3.9.2 BENCH NAME= XCSP18/NurseRostering/NurseRostering-05_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304161-1534042837/watcher-4304161-1534042837 -o /tmp/evaluation-result-4304161-1534042837/solver-4304161-1534042837 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534040371-15153 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1469482604 HOME/instance-4304161-1534042837.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b6cc1cad0a6ec682295352adb28466c6 RANDOM SEED=1469482604 node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 6303504 kB MemAvailable: 30952828 kB Buffers: 239576 kB Cached: 24323428 kB SwapCached: 0 kB Active: 10339576 kB Inactive: 15226492 kB Active(anon): 952456 kB Inactive(anon): 103132 kB Active(file): 9387120 kB Inactive(file): 15123360 kB Unevictable: 7244 kB Mlocked: 7244 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26308 kB Writeback: 0 kB AnonPages: 1051068 kB Mapped: 74512 kB Shmem: 49824 kB Slab: 595568 kB SReclaimable: 567304 kB SUnreclaim: 28264 kB KernelStack: 3920 kB PageTables: 7580 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2175148 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 815104 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 42524 MiB End job on node135 at 2018-08-12 05:41:31