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) | 4183 | 252.067 | 228.94 |
| 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 | 2564 |
| Best CPU time to get the best result obtained on this benchmark | 252.13 |
| 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.37/4.61 c 21:50:49.662 [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 11.37/4.61 c 21:50:49.666 [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 11.37/4.62 c 21:50:49.673 [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 11.37/4.62 c 21:50:49.674 [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 11.37/4.62 c 21:50:49.675 [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 11.37/4.63 c 21:50:49.679 [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 11.37/4.63 c 21:50:49.680 [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 11.37/4.63 c 21:50:49.681 [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 11.37/4.63 c 21:50:49.682 [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 11.37/4.63 c 21:50:49.683 [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 11.37/4.64 c 21:50:49.684 [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 11.37/4.64 c 21:50:49.685 [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 11.37/4.64 c 21:50:49.687 [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 11.37/4.64 c 21:50:49.687 [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 11.37/4.64 c 21:50:49.688 [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 11.37/4.64 c 21:50:49.690 [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 11.37/4.64 c 21:50:49.690 [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 11.37/4.64 c 21:50:49.691 [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 11.37/4.64 c 21:50:49.694 [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 11.37/4.64 c 21:50:49.695 [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 11.37/4.65 c 21:50:49.698 [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 11.37/4.65 c 21:50:49.699 [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 11.37/4.65 c 21:50:49.701 [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 11.37/4.65 c 21:50:49.702 [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 11.37/4.65 c 21:50:49.704 [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 11.37/4.65 c 21:50:49.705 [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 11.37/4.65 c 21:50:49.707 [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 11.37/4.66 c 21:50:49.708 [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 11.37/4.66 c 21:50:49.711 [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 11.37/4.66 c 21:50:49.712 [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 11.37/4.66 c 21:50:49.712 [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 11.37/4.66 c 21:50:49.713 [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 11.37/4.66 c 21:50:49.716 [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 11.37/4.66 c 21:50:49.716 [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 11.37/4.66 c 21:50:49.717 [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 11.37/4.67 c 21:50:49.719 [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 11.37/4.67 c 21:50:49.721 [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 11.37/4.67 c 21:50:49.722 [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 11.37/4.67 c 21:50:49.724 [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 11.37/4.67 c 21:50:49.724 [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 11.37/4.67 c 21:50:49.727 [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 11.37/4.68 c 21:50:49.728 [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 11.37/4.68 c 21:50:49.729 [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 11.37/4.68 c 21:50:49.731 [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 11.37/4.68 c 21:50:49.731 [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 11.37/4.68 c 21:50:49.734 [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 11.37/4.68 c 21:50:49.735 [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 11.37/4.68 c 21:50:49.736 [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 11.37/4.68 c 21:50:49.736 [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 11.37/4.69 c 21:50:49.738 [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 11.37/4.69 c 21:50:49.739 [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 11.37/4.69 c 21:50:49.739 [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 11.37/4.69 c 21:50:49.741 [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 11.37/4.69 c 21:50:49.742 [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 11.37/4.69 c 21:50:49.744 [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 11.37/4.69 c 21:50:49.746 [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 11.37/4.69 c 21:50:49.746 [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 11.37/4.70 c 21:50:49.748 [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 13.41/5.24 c 21:50:49.749 [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 13.41/5.24 c 21:50:49.751 [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 13.41/5.24 c 21:50:49.752 [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 13.41/5.24 c 21:50:49.752 [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 13.41/5.24 c 21:50:49.753 [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 13.41/5.24 c 21:50:49.755 [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 13.41/5.24 c 21:50:49.755 [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 13.41/5.24 c 21:50:49.756 [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 13.41/5.24 c 21:50:49.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7011. 'extension(x[0][12]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7013. 'extension(x[2][12]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7025. 'extension(x[1][14]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7029. 'extension(x[4][14]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7045. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7047. 'extension(x[4][2]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7053. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7055. 'extension(x[4][10]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7061. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7063. 'extension(x[7][2]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7077. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7079. 'extension(x[5][7]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7081. 'extension(x[7][7]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7095. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7097. 'extension(x[7][10]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7113. 'extension(x[6][12]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7115. 'extension(x[8][12]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7131. 'extension(x[7][6]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7133. 'extension(x[9][6]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7147. 'extension(x[8][1]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7149. 'extension(x[10][1]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7163. 'extension(x[8][3]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7165. 'extension(x[10][3]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7179. 'extension(x[9][7]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7181. 'extension(x[11][7]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7195. 'extension(x[10][5]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7201. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7203. 'extension(x[13][5]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7217. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7219. 'extension(x[12][3]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.780 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7221. 'extension(x[14][3]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.780 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7235. 'extension(x[14][9]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.781 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7241. 'extension(x[17][9]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7255. 'extension(x[15][13]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7257. 'extension(x[17][13]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7273. 'extension(x[15][15]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7279. 'extension(x[16][0]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7281. 'extension(x[18][0]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7295. 'extension(x[18][15]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7311. 'extension(x[17][8]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7317. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7319. 'extension(x[18][6]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7321. 'extension(x[20][6]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7335. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7337. 'extension(x[20][8]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7351. 'extension(x[21][0]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7353. 'extension(x[23][0]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7367. 'extension(x[21][4]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.790 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7373. 'extension(x[22][1]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.790 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7375. 'extension(x[24][1]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7389. 'extension(x[24][4]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7403. 'extension(x[24][11]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7409. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7411. 'extension(x[27][11]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7423. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7425. 'extension(x[25][13]=[0‥2]) :: init: true :: relation: Empty MDD 13.41/5.24 c 21:50:49.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7427. 'extension(x[27][13]=[0‥2]) :: init: true :: relation: Empty MDD 21.75/8.31 o 4970 23.92/9.29 o 4884 24.20/9.34 o 4784 24.20/9.37 o 4783 37.40/21.03 o 4782 37.40/21.05 o 4781 72.34/54.13 o 4780 72.47/54.23 o 4680 72.67/54.37 o 4579 160.23/139.73 o 4578 160.23/139.76 o 4577 186.04/164.80 o 4486 187.42/166.15 o 4386 187.42/166.16 o 4385 191.13/169.78 o 4384 193.39/171.91 o 4285 193.39/171.96 o 4284 208.71/186.85 o 4283 208.71/186.86 o 4183 252.01/228.90 Exception in thread "main" java.util.concurrent.TimeoutException 252.01/228.90 at concrete.MAC.mac(MAC.scala:188) 252.01/228.90 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 252.01/228.90 at scala.util.Try$.apply(Try.scala:209) 252.01/228.90 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 252.01/228.90 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 252.01/228.90 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 252.01/228.90 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 252.01/228.90 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 252.01/228.90 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 252.01/228.90 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 252.01/228.90 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 252.01/228.90 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 252.01/228.90 at concrete.MAC.oneRun(MAC.scala:253) 252.01/228.90 at concrete.MAC.nextSolution(MAC.scala:272) 252.01/228.90 at concrete.MAC.nextSolution(MAC.scala:355) 252.01/228.90 at concrete.Solver.hasNext(Solver.scala:166) 252.01/228.90 at scala.collection.Iterator.foreach(Iterator.scala:944) 252.01/228.90 at scala.collection.Iterator.foreach$(Iterator.scala:944) 252.01/228.90 at concrete.Solver.foreach(Solver.scala:68) 252.01/228.90 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 252.01/228.90 at scala.util.Success.$anonfun$map$1(Try.scala:251) 252.01/228.90 at scala.util.Success.map(Try.scala:209) 252.01/228.90 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 252.01/228.90 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 252.01/228.90 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 252.01/228.90 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 252.01/228.90 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 252.01/228.90 at scala.Function0.apply$mcV$sp(Function0.scala:34) 252.01/228.90 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 252.01/228.90 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 252.01/228.90 at scala.App.$anonfun$main$1$adapted(App.scala:76) 252.01/228.90 at scala.collection.immutable.List.foreach(List.scala:389) 252.01/228.90 at scala.App.main(App.scala:76) 252.01/228.90 at scala.App.main$(App.scala:74) 252.01/228.90 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 252.01/228.90 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 252.01/228.92 v <instantiation cost="4183"> 252.01/228.92 v <list> 252.01/228.92 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] 252.01/228.92 v </list> 252.01/228.92 v <values> 252.01/228.92 v 0 0 2 1 0 1 1 0 2 2 0 0 2 2 1 2 0 0 2 1 0 1 1 0 0 0 0 0 2 0 1 0 0 0 1 1 0 1 1 0 0 1 2 2 0 0 2 0 0 0 1 1 0 2 1 0 0 1 2 2 0 0 2 0 0 2 1 1 0 2 2 0 0 1 2 2 0 0 2 0 2 2 2 2 2 0 2 2 0 2 2 0 2 0 0 0 2 0 2 2 2 0 2 2 2 2 2 0 2 0 0 1 2 0 1 1 0 0 2 1 2 0 2 0 2 2 2 2 0 0 1 1 0 1 2 1 0 1 0 0 2 2 2 2 0 2 1 2 0 1 1 1 0 1 0 0 0 2 2 2 0 2 1 2 0 2 1 2 0 1 0 0 0 2 1 0 0 2 1 1 0 2 1 2 0 2 0 2 0 0 1 0 2 2 2 1 2 2 2 0 2 2 0 2 0 0 2 0 2 2 2 2 2 2 2 0 2 0 2 2 0 0 2 0 0 0 2 2 2 2 0 0 1 1 2 0 1 0 2 0 0 0 0 0 2 1 0 0 1 2 2 0 2 2 1 0 2 0 1 0 2 1 1 2 1 2 0 0 2 2 1 2 2 0 2 0 2 1 1 2 1 0 0 0 2 2 1 2 2 0 2 0 0 2 2 0 2 1 0 2 0 0 1 2 2 2 0 2 0 2 2 1 2 2 2 2 0 0 1 2 0 2 0 2 0 2 2 2 1 2 2 2 0 0 2 2 0 0 1 2 0 1 2 2 1 1 2 0 0 0 2 2 2 0 1 2 2 1 0 2 2 1 0 0 0 0 2 2 2 2 1 1 2 1 0 1 2 1 0 0 2 0 0 0 0 2 2 1 0 2 1 1 0 2 0 0 2 2 1 0 0 2 2 1 0 2 1 2 1 2 0 2 2 2 1 0 0 0 0 1 2 1 1 2 2 1 0 2 0 2 1 0 2 0 0 2 2 1 2 2 2 1 0 2 0 2 1 0 16 0 12 16 0 12 5 12 11 4 13 11 16 0 12 3 13 12 4 12 12 10 6 12 10 7 11 4 13 11 16 0 12 16 0 12 15 1 12 16 0 12 3 13 12 16 1 11 6 4 6 10 4 2 8 5 3 8 4 4 7 3 6 6 0 10 5 1 10 5 3 8 6 5 5 6 5 5 7 4 5 7 4 5 5 1 10 5 0 11 7 3 6 8 3 5 4 5 7 5 4 7 7 2 7 4 2 10 5 1 10 6 4 6 6 3 7 6 5 5 6 4 6 4 4 8 6 5 5 5 3 8 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 0 0 0 3 3 0 0 0 0 0 0 2 3 2 0 0 2 2 2 0 0 0 3 3 3 3 3 3 3 0 1 2 0 3 3 3 0 3 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 3 0 0 3 100 0 2 0 0 0 0 0 0 300 0 100 300 0 100 100 0 0 1 0 0 100 0 2 0 0 1 0 0 100 300 0 100 400 0 0 0 0 0 100 0 200 0 0 200 0 0 0 200 0 200 200 0 100 300 0 0 0 0 1 100 0 0 0 0 0 0 0 0 0 0 0 100 0 200 200 0 252.01/228.92 v </values> 252.01/228.92 v </instantiation> 252.01/228.92 s SATISFIABLE
OK 4183
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 (9103 MiB free)
memory of node 1: 16384 MiB (13666 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302424-1532893844/watcher-4302424-1532893844 -o /tmp/evaluation-result-4302424-1532893844/solver-4302424-1532893844 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13713 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=786529438 HOME/instance-4302424-1532893844.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=15016, runsolver pid=15013
[startup+0.100062 s]*
/proc/loadavg: 1.83 1.67 1.53 4/207 15073
/proc/meminfo: memFree=23309304/32770624 swapFree=67108860/67108860
[pid=15016] ppid=15013 vsize=10005480 memory=20376 CPUtime=0.09 cores=1,3,5,7
/proc/15016/stat : 15016 (java) S 15013 15016 12183 0 -1 1077944320 4224 13247 0 0 1 0 5 3 20 0 6 0 106947638 10245611520 5094 33554432000 4194304 4196468 140734516524864 140734516507408 139998551461623 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
/proc/15016/statm: 2501370 5094 1931 1 0 2489808 0
[pid=15016/tid=15069] ppid=15013 vsize=10005480 memory=4351193298051891335 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15069/stat : 15069 (java) R 15013 15016 12183 0 -1 4202560 2041 13247 0 0 0 0 5 3 20 0 6 0 106947647 10245611520 5094 33554432000 4194304 4196468 140734516524864 139998523298384 139998537144115 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15070] ppid=15013 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15070/stat : 15070 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 6 0 106947648 10245611520 5094 33554432000 4194304 4196468 140734516524864 139998555704464 139998551471829 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15071] ppid=15013 vsize=10005480 memory=139732542269056 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15071/stat : 15071 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 6 0 106947648 10245611520 5094 33554432000 4194304 4196468 140734516524864 139998421040144 139998551471829 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15072] ppid=15013 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15072/stat : 15072 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 6 0 106947648 10245611520 5094 33554432000 4194304 4196468 140734516524864 139998419987344 139998551471829 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15073] ppid=15013 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15073/stat : 15073 (java) S 15013 15016 12183 0 -1 1077944384 2 13247 0 0 0 0 5 3 20 0 6 0 106947648 10245611520 5094 33554432000 4194304 4196468 140734516524864 139998089046800 139998551471829 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 20376 KiB
[startup+0.209981 s]*
/proc/loadavg: 1.83 1.67 1.53 4/216 15082
/proc/meminfo: memFree=23283060/32770624 swapFree=67108860/67108860
[pid=15016] ppid=15013 vsize=10982744 memory=47136 CPUtime=0.26 cores=1,3,5,7
/proc/15016/stat : 15016 (java) S 15013 15016 12183 0 -1 1077944320 7458 13247 0 0 16 2 5 3 20 0 15 0 106947638 11246329856 11784 33554432000 4194304 4196468 140734516524864 140734516507408 139998551461623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
/proc/15016/statm: 2745686 11784 2960 1 0 2708109 0
[pid=15016/tid=15069] ppid=15013 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/15016/task/15069/stat : 15069 (java) R 15013 15016 12183 0 -1 4202560 4172 13247 0 0 10 1 5 3 20 0 15 0 106947647 11246329856 11916 33554432000 4194304 4196468 140734516524864 139998523257664 139998531737372 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15070] ppid=15013 vsize=10982744 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15070/stat : 15070 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947648 11246329856 11916 33554432000 4194304 4196468 140734516524864 139998555704464 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15071] ppid=15013 vsize=10982744 memory=139732542269056 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15071/stat : 15071 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947648 11246329856 11916 33554432000 4194304 4196468 140734516524864 139998421040144 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15072] ppid=15013 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15072/stat : 15072 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947648 11246329856 11916 33554432000 4194304 4196468 140734516524864 139998419987344 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15073] ppid=15013 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15073/stat : 15073 (java) S 15013 15016 12183 0 -1 1077944384 2 13247 0 0 0 0 5 3 20 0 15 0 106947648 11246329856 11916 33554432000 4194304 4196468 140734516524864 139998089046800 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15074] ppid=15013 vsize=10982744 memory=139732542269056 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15074/stat : 15074 (java) S 15013 15016 12183 0 -1 1077944384 2 13247 0 0 0 0 5 3 20 0 15 0 106947650 11246329856 11982 33554432000 4194304 4196468 140734516524864 139997521160560 139998551472770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15075] ppid=15013 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15075/stat : 15075 (java) S 15013 15016 12183 0 -1 1077944384 13 13247 0 0 0 0 5 3 20 0 15 0 106947650 11246329856 11982 33554432000 4194304 4196468 140734516524864 139997411796000 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15076] ppid=15013 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15076/stat : 15076 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947650 11246329856 11982 33554432000 4194304 4196468 140734516524864 139997210469232 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15077] ppid=15013 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15077/stat : 15077 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11246329856 11982 33554432000 4194304 4196468 140734516524864 139996903069520 139998551480219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15078] ppid=15013 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15016/task/15078/stat : 15078 (java) S 15013 15016 12183 0 -1 1077944384 431 13247 0 0 1 0 5 3 20 0 15 0 106947653 11246329856 11982 33554432000 4194304 4196468 140734516524864 139997520108400 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15079] ppid=15013 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/15016/task/15079/stat : 15079 (java) S 15013 15016 12183 0 -1 1077944384 192 13247 0 0 1 0 5 3 20 0 15 0 106947653 11246329856 11982 33554432000 4194304 4196468 140734516524864 139997519055600 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15080] ppid=15013 vsize=10982744 memory=139732542269056 CPUtime=0.11 cores=1,3,5,7
/proc/15016/task/15080/stat : 15080 (java) S 15013 15016 12183 0 -1 1077944384 595 13247 0 0 3 0 5 3 20 0 15 0 106947653 11246329856 11982 33554432000 4194304 4196468 140734516524864 139997518002800 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15081] ppid=15013 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15081/stat : 15081 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11246329856 11982 33554432000 4194304 4196468 140734516524864 139996472273632 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15082] ppid=15013 vsize=10982744 memory=139732542269056 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15082/stat : 15082 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947654 11246329856 11982 33554432000 4194304 4196468 140734516524864 139997516950192 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 47136 KiB
[startup+0.310159 s]*
/proc/loadavg: 1.83 1.67 1.53 7/216 15082
/proc/meminfo: memFree=23270284/32770624 swapFree=67108860/67108860
[pid=15016] ppid=15013 vsize=10983192 memory=58896 CPUtime=0.39 cores=1,3,5,7
/proc/15016/stat : 15016 (java) S 15013 15016 12183 0 -1 1077944320 10256 13247 0 0 28 3 5 3 20 0 15 0 106947638 11246788608 14724 33554432000 4194304 4196468 140734516524864 140734516507408 139998551461623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
/proc/15016/statm: 2745798 14724 3079 1 0 2708109 0
[pid=15016/tid=15069] ppid=15013 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/15016/task/15069/stat : 15069 (java) R 15013 15016 12183 0 -1 4202560 6813 13247 0 0 19 2 5 3 20 0 15 0 106947647 11246788608 14724 33554432000 4194304 4196468 140734516524864 139998523251152 139998535542110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15070] ppid=15013 vsize=10983192 memory=7012755875661107280 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15070/stat : 15070 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947648 11246788608 14724 33554432000 4194304 4196468 140734516524864 139998555704464 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15071] ppid=15013 vsize=10983192 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15071/stat : 15071 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947648 11246788608 14724 33554432000 4194304 4196468 140734516524864 139998421040144 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15072] ppid=15013 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15072/stat : 15072 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947648 11246788608 14724 33554432000 4194304 4196468 140734516524864 139998419987344 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15073] ppid=15013 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15073/stat : 15073 (java) S 15013 15016 12183 0 -1 1077944384 2 13247 0 0 0 0 5 3 20 0 15 0 106947648 11246788608 14724 33554432000 4194304 4196468 140734516524864 139998089046800 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15074] ppid=15013 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15074/stat : 15074 (java) S 15013 15016 12183 0 -1 1077944384 2 13247 0 0 0 0 5 3 20 0 15 0 106947650 11246788608 14724 33554432000 4194304 4196468 140734516524864 139997521160560 139998551472770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15075] ppid=15013 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15075/stat : 15075 (java) S 15013 15016 12183 0 -1 1077944384 13 13247 0 0 0 0 5 3 20 0 15 0 106947650 11246788608 14724 33554432000 4194304 4196468 140734516524864 139997411796000 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15076] ppid=15013 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15076/stat : 15076 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947650 11246788608 14724 33554432000 4194304 4196468 140734516524864 139997210469232 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15077] ppid=15013 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15077/stat : 15077 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11246788608 14724 33554432000 4194304 4196468 140734516524864 139996903069520 139998551480219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15078] ppid=15013 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15016/task/15078/stat : 15078 (java) S 15013 15016 12183 0 -1 1077944384 434 13247 0 0 1 0 5 3 20 0 15 0 106947653 11246788608 14724 33554432000 4194304 4196468 140734516524864 139997520108400 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15079] ppid=15013 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/15016/task/15079/stat : 15079 (java) S 15013 15016 12183 0 -1 1077944384 195 13247 0 0 1 0 5 3 20 0 15 0 106947653 11246788608 14724 33554432000 4194304 4196468 140734516524864 139997519055600 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15080] ppid=15013 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15016/task/15080/stat : 15080 (java) S 15013 15016 12183 0 -1 1077944384 601 13247 0 0 4 0 5 3 20 0 15 0 106947653 11246788608 14724 33554432000 4194304 4196468 140734516524864 139997518002800 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15081] ppid=15013 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15081/stat : 15081 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11246788608 14724 33554432000 4194304 4196468 140734516524864 139996472273632 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15082] ppid=15013 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15082/stat : 15082 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947654 11246788608 14724 33554432000 4194304 4196468 140734516524864 139997516950192 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 58896 KiB
[startup+0.700754 s]
/proc/loadavg: 1.83 1.67 1.53 5/216 15082
/proc/meminfo: memFree=23258556/32770624 swapFree=67108860/67108860
[pid=15016] ppid=15013 vsize=10983192 memory=91028 CPUtime=0.99 cores=1,3,5,7
/proc/15016/stat : 15016 (java) S 15013 15016 12183 0 -1 1077944320 16377 13247 0 0 87 4 5 3 20 0 15 0 106947638 11246788608 22757 33554432000 4194304 4196468 140734516524864 140734516507408 139998551461623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
/proc/15016/statm: 2745798 22757 3236 1 0 2708109 0
[pid=15016/tid=15069] ppid=15013 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/15016/task/15069/stat : 15069 (java) R 15013 15016 12183 0 -1 4202560 11829 13247 0 0 55 3 5 3 20 0 15 0 106947647 11246788608 22757 33554432000 4194304 4196468 140734516524864 139998523282448 139998533025167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15070] ppid=15013 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15070/stat : 15070 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947648 11246788608 22757 33554432000 4194304 4196468 140734516524864 139998555704464 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15071] ppid=15013 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15071/stat : 15071 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947648 11246788608 22757 33554432000 4194304 4196468 140734516524864 139998421040144 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15072] ppid=15013 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15072/stat : 15072 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947648 11246788608 22757 33554432000 4194304 4196468 140734516524864 139998419987344 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15073] ppid=15013 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15073/stat : 15073 (java) S 15013 15016 12183 0 -1 1077944384 2 13247 0 0 0 0 5 3 20 0 15 0 106947648 11246788608 22757 33554432000 4194304 4196468 140734516524864 139998089046800 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15074] ppid=15013 vsize=10983192 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15074/stat : 15074 (java) S 15013 15016 12183 0 -1 1077944384 5 13247 0 0 0 0 5 3 20 0 15 0 106947650 11246788608 22757 33554432000 4194304 4196468 140734516524864 139997521160560 139998551472770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15075] ppid=15013 vsize=10983192 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15075/stat : 15075 (java) S 15013 15016 12183 0 -1 1077944384 13 13247 0 0 0 0 5 3 20 0 15 0 106947650 11246788608 22757 33554432000 4194304 4196468 140734516524864 139997411796000 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15076] ppid=15013 vsize=10983192 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15076/stat : 15076 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947650 11246788608 22757 33554432000 4194304 4196468 140734516524864 139997210469232 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15077] ppid=15013 vsize=10983192 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15077/stat : 15077 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11246788608 22757 33554432000 4194304 4196468 140734516524864 139996903069520 139998551480219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15078] ppid=15013 vsize=10983192 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/15016/task/15078/stat : 15078 (java) S 15013 15016 12183 0 -1 1077944384 817 13247 0 0 7 0 5 3 20 0 15 0 106947653 11246788608 22757 33554432000 4194304 4196468 140734516524864 139997520108400 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15079] ppid=15013 vsize=10983192 memory=15460 CPUtime=0.18 cores=1,3,5,7
/proc/15016/task/15079/stat : 15079 (java) S 15013 15016 12183 0 -1 1077944384 850 13247 0 0 10 0 5 3 20 0 15 0 106947653 11246788608 22757 33554432000 4194304 4196468 140734516524864 139997519055600 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15080] ppid=15013 vsize=10983192 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/15016/task/15080/stat : 15080 (java) S 15013 15016 12183 0 -1 1077944384 657 13247 0 0 13 0 5 3 20 0 15 0 106947653 11246788608 22757 33554432000 4194304 4196468 140734516524864 139997518002800 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15081] ppid=15013 vsize=10983192 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15081/stat : 15081 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11246788608 22757 33554432000 4194304 4196468 140734516524864 139996472273632 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15082] ppid=15013 vsize=10983192 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15082/stat : 15082 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947654 11246788608 22757 33554432000 4194304 4196468 140734516524864 139997516950192 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 91028 KiB
[startup+1.50072 s]
/proc/loadavg: 1.83 1.67 1.53 6/216 15082
/proc/meminfo: memFree=23212720/32770624 swapFree=67108860/67108860
[pid=15016] ppid=15013 vsize=10996044 memory=185052 CPUtime=3.02 cores=1,3,5,7
/proc/15016/stat : 15016 (java) S 15013 15016 12183 0 -1 1077944320 26417 13247 0 0 284 10 5 3 20 0 15 0 106947638 11259949056 46263 33554432000 4194304 4196468 140734516524864 140734516507408 139998551461623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
/proc/15016/statm: 2749011 46263 3469 1 0 2710669 0
[pid=15016/tid=15069] ppid=15013 vsize=10996044 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/15016/task/15069/stat : 15069 (java) S 15013 15016 12183 0 -1 1077944384 16669 13247 0 0 130 6 5 3 20 0 15 0 106947647 11259949056 46263 33554432000 4194304 4196468 140734516524864 139998523257104 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15070] ppid=15013 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15070/stat : 15070 (java) S 15013 15016 12183 0 -1 1077944384 44 13247 0 0 0 0 5 3 20 0 15 0 106947648 11259949056 46263 33554432000 4194304 4196468 140734516524864 139998555704464 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15071] ppid=15013 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15071/stat : 15071 (java) S 15013 15016 12183 0 -1 1077944384 25 13247 0 0 0 0 5 3 20 0 15 0 106947648 11259949056 46263 33554432000 4194304 4196468 140734516524864 139998421040144 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15072] ppid=15013 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15072/stat : 15072 (java) S 15013 15016 12183 0 -1 1077944384 153 13247 0 0 0 0 5 3 20 0 15 0 106947648 11259949056 46263 33554432000 4194304 4196468 140734516524864 139998419987344 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15073] ppid=15013 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15073/stat : 15073 (java) S 15013 15016 12183 0 -1 1077944384 21 13247 0 0 0 0 5 3 20 0 15 0 106947648 11259949056 46263 33554432000 4194304 4196468 140734516524864 139998089046800 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15074] ppid=15013 vsize=10996044 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15074/stat : 15074 (java) R 15013 15016 12183 0 -1 4202560 82 13247 0 0 0 0 5 3 20 0 15 0 106947650 11259949056 46263 33554432000 4194304 4196468 140734516524864 139997521158848 139998537153319 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15075] ppid=15013 vsize=10996044 memory=279464797874432 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15075/stat : 15075 (java) S 15013 15016 12183 0 -1 1077944384 13 13247 0 0 0 0 5 3 20 0 15 0 106947650 11259949056 46263 33554432000 4194304 4196468 140734516524864 139997411796000 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15076] ppid=15013 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15076/stat : 15076 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947650 11259949056 46263 33554432000 4194304 4196468 140734516524864 139997210469232 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15077] ppid=15013 vsize=10996044 memory=1952 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15077/stat : 15077 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11259949056 46263 33554432000 4194304 4196468 140734516524864 139996903069520 139998551480219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15078] ppid=15013 vsize=10996044 memory=1232 CPUtime=0.58 cores=1,3,5,7
/proc/15016/task/15078/stat : 15078 (java) S 15013 15016 12183 0 -1 1077944384 2865 13247 0 0 50 0 5 3 20 0 15 0 106947653 11259949056 46263 33554432000 4194304 4196468 140734516524864 139997520108400 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15079] ppid=15013 vsize=10996044 memory=8560 CPUtime=0.61 cores=1,3,5,7
/proc/15016/task/15079/stat : 15079 (java) S 15013 15016 12183 0 -1 1077944384 2513 13247 0 0 53 0 5 3 20 0 15 0 106947653 11259949056 46263 33554432000 4194304 4196468 140734516524864 139997519055600 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15080] ppid=15013 vsize=10996044 memory=1712 CPUtime=0.54 cores=1,3,5,7
/proc/15016/task/15080/stat : 15080 (java) S 15013 15016 12183 0 -1 1077944384 1831 13247 0 0 46 0 5 3 20 0 15 0 106947653 11259949056 46263 33554432000 4194304 4196468 140734516524864 139997518002800 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15081] ppid=15013 vsize=10996044 memory=5412 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15081/stat : 15081 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11259949056 46263 33554432000 4194304 4196468 140734516524864 139996472273632 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15082] ppid=15013 vsize=10996044 memory=4612 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15082/stat : 15082 (java) S 15013 15016 12183 0 -1 1077944384 1 13247 0 0 0 0 5 3 20 0 15 0 106947654 11259949056 46263 33554432000 4194304 4196468 140734516524864 139997516950192 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/15016/task/15069/stat : 15069 (java) R 15013 15016 12183 0 -1 4202560 55508 13247 0 0 16092 27 5 3 20 0 15 0 106947647 11348049920 308514 33554432000 4194304 4196468 140734516524864 139998523296288 139998113747126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15070] ppid=15013 vsize=11082080 memory=1234056 CPUtime=0.65 cores=1,3,5,7
/proc/15016/task/15070/stat : 15070 (java) S 15013 15016 12183 0 -1 1077944384 1859 13247 0 0 50 7 5 3 20 0 15 0 106947648 11348049920 308514 33554432000 4194304 4196468 140734516524864 139998555704464 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15071] ppid=15013 vsize=11082080 memory=8 CPUtime=0.64 cores=1,3,5,7
/proc/15016/task/15071/stat : 15071 (java) S 15013 15016 12183 0 -1 1077944384 4821 13247 0 0 48 8 5 3 20 0 15 0 106947648 11348049920 308514 33554432000 4194304 4196468 140734516524864 139998421040144 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15072] ppid=15013 vsize=11082080 memory=1237608 CPUtime=0.64 cores=1,3,5,7
/proc/15016/task/15072/stat : 15072 (java) S 15013 15016 12183 0 -1 1077944384 1866 13247 0 0 48 8 5 3 20 0 15 0 106947648 11348049920 308514 33554432000 4194304 4196468 140734516524864 139998419987344 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15073] ppid=15013 vsize=11082080 memory=15876 CPUtime=0.64 cores=1,3,5,7
/proc/15016/task/15073/stat : 15073 (java) S 15013 15016 12183 0 -1 1077944384 1965 13247 0 0 48 8 5 3 20 0 15 0 106947648 11348049920 308514 33554432000 4194304 4196468 140734516524864 139998089046800 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15074] ppid=15013 vsize=11082080 memory=17472 CPUtime=0.39 cores=1,3,5,7
/proc/15016/task/15074/stat : 15074 (java) S 15013 15016 12183 0 -1 1077944384 4436 13247 0 0 28 3 5 3 20 0 15 0 106947650 11348049920 308514 33554432000 4194304 4196468 140734516524864 139997521160560 139998551472770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15075] ppid=15013 vsize=11082080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15075/stat : 15075 (java) S 15013 15016 12183 0 -1 1077944384 14 13247 0 0 0 0 5 3 20 0 15 0 106947650 11348049920 308514 33554432000 4194304 4196468 140734516524864 139997411796064 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15076] ppid=15013 vsize=11082080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15076/stat : 15076 (java) S 15013 15016 12183 0 -1 1077944384 2 13247 0 0 0 0 5 3 20 0 15 0 106947650 11348049920 308514 33554432000 4194304 4196468 140734516524864 139997210469248 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15077] ppid=15013 vsize=11082080 memory=1236588 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15077/stat : 15077 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11348049920 308514 33554432000 4194304 4196468 140734516524864 139996903069520 139998551480219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15078] ppid=15013 vsize=11082080 memory=4140 CPUtime=7.97 cores=1,3,5,7
/proc/15016/task/15078/stat : 15078 (java) S 15013 15016 12183 0 -1 1077944384 22215 13247 0 0 785 4 5 3 20 0 15 0 106947653 11348049920 308514 33554432000 4194304 4196468 140734516524864 139997520108400 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15079] ppid=15013 vsize=11082080 memory=1236624 CPUtime=8.33 cores=1,3,5,7
/proc/15016/task/15079/stat : 15079 (java) S 15013 15016 12183 0 -1 1077944384 25326 13247 0 0 821 4 5 3 20 0 15 0 106947653 11348049920 308514 33554432000 4194304 4196468 140734516524864 139997519055600 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15080] ppid=15013 vsize=11082080 memory=1237136 CPUtime=3.39 cores=1,3,5,7
/proc/15016/task/15080/stat : 15080 (java) S 15013 15016 12183 0 -1 1077944384 20334 13247 0 0 323 8 5 3 20 0 15 0 106947653 11348049920 308514 33554432000 4194304 4196468 140734516524864 139997518002800 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15081] ppid=15013 vsize=11082080 memory=30624 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15081/stat : 15081 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11348049920 308514 33554432000 4194304 4196468 140734516524864 139996472273632 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15082] ppid=15013 vsize=11082080 memory=1296 CPUtime=0.16 cores=1,3,5,7
/proc/15016/task/15082/stat : 15082 (java) S 15013 15016 12183 0 -1 1077944384 1297 13247 0 0 4 4 5 3 20 0 15 0 106947654 11348049920 308514 33554432000 4194304 4196468 140734516524864 139997516950192 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
Current children cumulated CPU time: 183.49 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1234056 KiB
[startup+222.301 s]
/proc/loadavg: 1.56 1.73 1.59 3/216 15213
/proc/meminfo: memFree=21848432/32770624 swapFree=67108860/67108860
[pid=15016] ppid=15013 vsize=11082080 memory=1186056 CPUtime=245.24 cores=1,3,5,7
/proc/15016/stat : 15016 (java) S 15013 15016 12183 0 -1 1077944320 154978 13247 0 0 24423 93 5 3 20 0 15 0 106947638 11348049920 296514 33554432000 4194304 4196468 140734516524864 140734516507408 139998551461623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
/proc/15016/statm: 2770520 296514 3531 1 0 2732173 0
[pid=15016/tid=15069] ppid=15013 vsize=11082080 memory=1186056 CPUtime=220.74 cores=1,3,5,7
/proc/15016/task/15069/stat : 15069 (java) R 15013 15016 12183 0 -1 4202560 56920 13247 0 0 22038 28 5 3 20 0 15 0 106947647 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998523296032 139998124100839 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15070] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.94 cores=1,3,5,7
/proc/15016/task/15070/stat : 15070 (java) S 15013 15016 12183 0 -1 1077944384 2078 13247 0 0 78 8 5 3 20 0 15 0 106947648 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998555704464 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15071] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.92 cores=1,3,5,7
/proc/15016/task/15071/stat : 15071 (java) S 15013 15016 12183 0 -1 1077944384 5182 13247 0 0 74 10 5 3 20 0 15 0 106947648 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998421040144 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15072] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.94 cores=1,3,5,7
/proc/15016/task/15072/stat : 15072 (java) S 15013 15016 12183 0 -1 1077944384 2200 13247 0 0 76 10 5 3 20 0 15 0 106947648 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998419987344 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15073] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.93 cores=1,3,5,7
/proc/15016/task/15073/stat : 15073 (java) S 15013 15016 12183 0 -1 1077944384 3932 13247 0 0 75 10 5 3 20 0 15 0 106947648 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998089046800 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15074] ppid=15013 vsize=11082080 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/15016/task/15074/stat : 15074 (java) S 15013 15016 12183 0 -1 1077944384 4767 13247 0 0 47 5 5 3 20 0 15 0 106947650 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997521160560 139998551472770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15075] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15075/stat : 15075 (java) S 15013 15016 12183 0 -1 1077944384 14 13247 0 0 0 0 5 3 20 0 15 0 106947650 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997411796064 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15076] ppid=15013 vsize=11082080 memory=30624 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15076/stat : 15076 (java) S 15013 15016 12183 0 -1 1077944384 2 13247 0 0 0 0 5 3 20 0 15 0 106947650 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997210469248 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15077] ppid=15013 vsize=11082080 memory=1296 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15077/stat : 15077 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139996903069520 139998551480219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15078] ppid=15013 vsize=11082080 memory=1186056 CPUtime=8.35 cores=1,3,5,7
/proc/15016/task/15078/stat : 15078 (java) S 15013 15016 12183 0 -1 1077944384 24200 13247 0 0 823 4 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997520108400 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15079] ppid=15013 vsize=11082080 memory=4420 CPUtime=8.72 cores=1,3,5,7
/proc/15016/task/15079/stat : 15079 (java) S 15013 15016 12183 0 -1 1077944384 28789 13247 0 0 860 4 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997519055600 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15080] ppid=15013 vsize=11082080 memory=1186056 CPUtime=3.52 cores=1,3,5,7
/proc/15016/task/15080/stat : 15080 (java) S 15013 15016 12183 0 -1 1077944384 23319 13247 0 0 336 8 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997518002800 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15081] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15081/stat : 15081 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139996472273632 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15082] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.19 cores=1,3,5,7
/proc/15016/task/15082/stat : 15082 (java) S 15013 15016 12183 0 -1 1077944384 1376 13247 0 0 5 6 5 3 20 0 15 0 106947654 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997516950192 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
Current children cumulated CPU time: 245.24 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1186056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+228.901 s]
/proc/loadavg: 1.55 1.72 1.59 3/216 15213
/proc/meminfo: memFree=21785068/32770624 swapFree=67108860/67108860
[pid=15016] ppid=15013 vsize=11082080 memory=1186056 CPUtime=252.01 cores=1,3,5,7
/proc/15016/stat : 15016 (java) S 15013 15016 12183 0 -1 1077944320 155027 13247 0 0 25099 94 5 3 20 0 15 0 106947638 11348049920 296514 33554432000 4194304 4196468 140734516524864 140734516507408 139998551461623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
/proc/15016/statm: 2770520 296514 3531 1 0 2732173 0
[pid=15016/tid=15069] ppid=15013 vsize=11082080 memory=1186056 CPUtime=227.27 cores=1,3,5,7
/proc/15016/task/15069/stat : 15069 (java) R 15013 15016 12183 0 -1 4202560 56953 13247 0 0 22691 28 5 3 20 0 15 0 106947647 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998523297152 139998123584560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15070] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.97 cores=1,3,5,7
/proc/15016/task/15070/stat : 15070 (java) S 15013 15016 12183 0 -1 1077944384 2079 13247 0 0 81 8 5 3 20 0 15 0 106947648 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998555704464 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15071] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.95 cores=1,3,5,7
/proc/15016/task/15071/stat : 15071 (java) S 15013 15016 12183 0 -1 1077944384 5183 13247 0 0 77 10 5 3 20 0 15 0 106947648 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998421040144 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15072] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.97 cores=1,3,5,7
/proc/15016/task/15072/stat : 15072 (java) S 15013 15016 12183 0 -1 1077944384 2202 13247 0 0 79 10 5 3 20 0 15 0 106947648 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998419987344 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15073] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.96 cores=1,3,5,7
/proc/15016/task/15073/stat : 15073 (java) S 15013 15016 12183 0 -1 1077944384 3933 13247 0 0 78 10 5 3 20 0 15 0 106947648 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998089046800 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15074] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.63 cores=1,3,5,7
/proc/15016/task/15074/stat : 15074 (java) S 15013 15016 12183 0 -1 1077944384 4768 13247 0 0 50 5 5 3 20 0 15 0 106947650 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997521160560 139998551472770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15075] ppid=15013 vsize=11082080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15075/stat : 15075 (java) S 15013 15016 12183 0 -1 1077944384 14 13247 0 0 0 0 5 3 20 0 15 0 106947650 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997411796064 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15076] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15076/stat : 15076 (java) S 15013 15016 12183 0 -1 1077944384 2 13247 0 0 0 0 5 3 20 0 15 0 106947650 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997210469248 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15077] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15077/stat : 15077 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139996903069520 139998551480219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15078] ppid=15013 vsize=11082080 memory=1186056 CPUtime=8.38 cores=1,3,5,7
/proc/15016/task/15078/stat : 15078 (java) S 15013 15016 12183 0 -1 1077944384 24203 13247 0 0 826 4 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997520108400 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15079] ppid=15013 vsize=11082080 memory=1186056 CPUtime=8.76 cores=1,3,5,7
/proc/15016/task/15079/stat : 15079 (java) S 15013 15016 12183 0 -1 1077944384 28791 13247 0 0 864 4 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997519055600 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15080] ppid=15013 vsize=11082080 memory=1186056 CPUtime=3.53 cores=1,3,5,7
/proc/15016/task/15080/stat : 15080 (java) S 15013 15016 12183 0 -1 1077944384 23324 13247 0 0 337 8 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997518002800 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15081] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15081/stat : 15081 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139996472273632 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15082] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.19 cores=1,3,5,7
/proc/15016/task/15082/stat : 15082 (java) S 15013 15016 12183 0 -1 1077944384 1376 13247 0 0 5 6 5 3 20 0 15 0 106947654 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997516950192 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1186056 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+228.94 s]
# the end of solver process 15016 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.068 s, system=0.998354 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+228.901 s]
/proc/loadavg: 1.55 1.72 1.59 3/216 15213
/proc/meminfo: memFree=21785068/32770624 swapFree=67108860/67108860
[pid=15016] ppid=15013 vsize=11082080 memory=1186056 CPUtime=252.01 cores=1,3,5,7
/proc/15016/stat : 15016 (java) S 15013 15016 12183 0 -1 1077944320 155027 13247 0 0 25099 94 5 3 20 0 15 0 106947638 11348049920 296514 33554432000 4194304 4196468 140734516524864 140734516507408 139998551461623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
/proc/15016/statm: 2770520 296514 3531 1 0 2732173 0
[pid=15016/tid=15069] ppid=15013 vsize=11082080 memory=1186056 CPUtime=227.27 cores=1,3,5,7
/proc/15016/task/15069/stat : 15069 (java) R 15013 15016 12183 0 -1 4202560 56953 13247 0 0 22691 28 5 3 20 0 15 0 106947647 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998523297152 139998123584560 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15070] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.97 cores=1,3,5,7
/proc/15016/task/15070/stat : 15070 (java) S 15013 15016 12183 0 -1 1077944384 2079 13247 0 0 81 8 5 3 20 0 15 0 106947648 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998555704464 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15071] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.95 cores=1,3,5,7
/proc/15016/task/15071/stat : 15071 (java) S 15013 15016 12183 0 -1 1077944384 5183 13247 0 0 77 10 5 3 20 0 15 0 106947648 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998421040144 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15072] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.97 cores=1,3,5,7
/proc/15016/task/15072/stat : 15072 (java) S 15013 15016 12183 0 -1 1077944384 2202 13247 0 0 79 10 5 3 20 0 15 0 106947648 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998419987344 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15073] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.96 cores=1,3,5,7
/proc/15016/task/15073/stat : 15073 (java) S 15013 15016 12183 0 -1 1077944384 3933 13247 0 0 78 10 5 3 20 0 15 0 106947648 11348049920 296514 33554432000 4194304 4196468 140734516524864 139998089046800 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15074] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.63 cores=1,3,5,7
/proc/15016/task/15074/stat : 15074 (java) S 15013 15016 12183 0 -1 1077944384 4768 13247 0 0 50 5 5 3 20 0 15 0 106947650 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997521160560 139998551472770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15075] ppid=15013 vsize=11082080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15075/stat : 15075 (java) S 15013 15016 12183 0 -1 1077944384 14 13247 0 0 0 0 5 3 20 0 15 0 106947650 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997411796064 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15076] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15076/stat : 15076 (java) S 15013 15016 12183 0 -1 1077944384 2 13247 0 0 0 0 5 3 20 0 15 0 106947650 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997210469248 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15077] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15077/stat : 15077 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139996903069520 139998551480219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15078] ppid=15013 vsize=11082080 memory=1186056 CPUtime=8.38 cores=1,3,5,7
/proc/15016/task/15078/stat : 15078 (java) S 15013 15016 12183 0 -1 1077944384 24203 13247 0 0 826 4 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997520108400 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15079] ppid=15013 vsize=11082080 memory=1186056 CPUtime=8.76 cores=1,3,5,7
/proc/15016/task/15079/stat : 15079 (java) S 15013 15016 12183 0 -1 1077944384 28791 13247 0 0 864 4 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997519055600 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15080] ppid=15013 vsize=11082080 memory=1186056 CPUtime=3.53 cores=1,3,5,7
/proc/15016/task/15080/stat : 15080 (java) S 15013 15016 12183 0 -1 1077944384 23324 13247 0 0 337 8 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997518002800 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15081] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.08 cores=1,3,5,7
/proc/15016/task/15081/stat : 15081 (java) S 15013 15016 12183 0 -1 1077944384 3 13247 0 0 0 0 5 3 20 0 15 0 106947653 11348049920 296514 33554432000 4194304 4196468 140734516524864 139996472273632 139998551471829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
[pid=15016/tid=15082] ppid=15013 vsize=11082080 memory=1186056 CPUtime=0.19 cores=1,3,5,7
/proc/15016/task/15082/stat : 15082 (java) S 15013 15016 12183 0 -1 1077944384 1376 13247 0 0 5 6 5 3 20 0 15 0 106947654 11348049920 296514 33554432000 4194304 4196468 140734516524864 139997516950192 139998551472770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8568832 140734516529778 140734516532577 140734516532577 140734516535247 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1186056 KiB
Child status: 143
Real time (s): 228.94
CPU time (s): 252.067
CPU user time (s): 251.068
CPU system time (s): 0.998354
CPU usage (%): 110.102
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1399844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.068
system time used= 0.998354
maximum resident set size= 1403968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169121
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25489
involuntary context switches= 429
# summary of solver processes directly reported to runsolver:
# pid: 15016
# total CPU time (s): 252.067
# total CPU user time (s): 251.068
# total CPU system time (s): 0.998354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.66638 second user time and 1.93529 second system time
The end
Begin job on node107 at 2018-07-29 21:50:44 IDJOB=4302424 IDBENCH=141044 IDSOLVER=2776 FILE ID=node107/4302424-1532893844 RUNJOBID= node107-1532892903-13713 PBS_JOBID= 21022519 Free space on /tmp= 60800 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-4302424-1532893844/watcher-4302424-1532893844 -o /tmp/evaluation-result-4302424-1532893844/solver-4302424-1532893844 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13713 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=786529438 HOME/instance-4302424-1532893844.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b6cc1cad0a6ec682295352adb28466c6 RANDOM SEED=786529438 node107.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.40 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.40 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.40 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.40 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: 23316732 kB MemAvailable: 30548552 kB Buffers: 244560 kB Cached: 7250088 kB SwapCached: 0 kB Active: 5237960 kB Inactive: 3724924 kB Active(anon): 1419416 kB Inactive(anon): 76484 kB Active(file): 3818544 kB Inactive(file): 3648440 kB Unevictable: 7164 kB Mlocked: 7164 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26836 kB Writeback: 0 kB AnonPages: 1487468 kB Mapped: 58304 kB Shmem: 25228 kB Slab: 189504 kB SReclaimable: 161344 kB SUnreclaim: 28160 kB KernelStack: 3808 kB PageTables: 8120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2897276 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1275904 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 60776 MiB End job on node107 at 2018-07-29 21:54:34