Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.9.2-SuperNG | SAT (TO) | 3966 | 2520.11 | 2457.26 |
| Name | NurseRostering/ NurseRostering-05_c18.xml |
| MD5SUM | b6cc1cad0a6ec682295352adb28466c6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1819 |
| Best CPU time to get the best result obtained on this benchmark | 2400.21 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 834 |
| Number of constraints | 2135 |
| Number of domains | 14 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":170},{"size":3,"count":448},{"size":15,"count":10},{"size":17,"count":140},{"size":29,"count":32}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 23 |
| Distribution of variable degrees | [{"degree":2,"count":322},{"degree":3,"count":64},{"degree":11,"count":16},{"degree":12,"count":15},{"degree":13,"count":1},{"degree":14,"count":12},{"degree":15,"count":17},{"degree":16,"count":22},{"degree":17,"count":26},{"degree":18,"count":24},{"degree":19,"count":109},{"degree":20,"count":73},{"degree":21,"count":82},{"degree":22,"count":46},{"degree":23,"count":5}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":2,"count":782},{"arity":3,"count":692},{"arity":4,"count":166},{"arity":6,"count":230},{"arity":7,"count":132},{"arity":17,"count":84},{"arity":29,"count":48},{"arity":32,"count":1}] |
| Number of extensional constraints | 516 |
| Number of intensional constraints | 266 |
| Distribution of constraint types | [{"type":"extension","count":516},{"type":"intension","count":266},{"type":"regular","count":826},{"type":"sum","count":32},{"type":"count","count":494},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.99/0.75 c Concrete v3.9.2.1532736233296 running 10.74/4.69 c 05:00:37.251 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6148. 'extension(x[0][12]=[0‥2], 2) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 10.74/4.69 c 05:00:37.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6149. 'extension(2, x[2][12]=[0‥2]) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 11.05/4.70 c 05:00:37.262 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6169. 'extension(x[1][14]=[0‥2], 2) :: init: true :: relation: MDD 179233442, 2 edges, 3 vertices, 1 tuples 11.05/4.70 c 05:00:37.264 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6192. 'extension(2, x[4][14]=[0‥2]) :: init: true :: relation: MDD 179233442, 2 edges, 3 vertices, 1 tuples 11.05/4.70 c 05:00:37.265 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6195. 'extension(2, 2) :: init: true :: relation: MDD 179233442, 2 edges, 3 vertices, 1 tuples 11.05/4.70 c 05:00:37.269 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6217. 'extension(2, wk[2][0]=[0‥1]) :: init: true :: relation: MDD 454424866, 3 edges, 3 vertices, 2 tuples 11.05/4.70 c 05:00:37.269 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6218. 'extension(x[4][2]=[0‥2], 2) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 11.05/4.70 c 05:00:37.271 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6244. 'extension(2, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1412612727, 3 edges, 3 vertices, 2 tuples 11.05/4.71 c 05:00:37.271 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6245. 'extension(x[4][10]=[0‥2], 2) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 11.05/4.71 c 05:00:37.273 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6272. 'extension(2, wk[2][0]=[0‥1]) :: init: true :: relation: MDD 1267110705, 3 edges, 3 vertices, 2 tuples 11.05/4.71 c 05:00:37.273 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6273. 'extension(2, x[7][2]=[0‥2]) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 11.05/4.71 c 05:00:37.274 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6276. 'extension(2, 2) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 11.05/4.71 c 05:00:37.276 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6299. 'extension(2, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1711393939, 3 edges, 3 vertices, 2 tuples 11.05/4.71 c 05:00:37.277 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6300. 'extension(x[5][7]=[0‥2], 2) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 11.05/4.71 c 05:00:37.277 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6301. 'extension(2, x[7][7]=[0‥2]) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 11.05/4.71 c 05:00:37.280 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6326. 'extension(2, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 287859212, 3 edges, 3 vertices, 2 tuples 11.05/4.71 c 05:00:37.280 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6327. 'extension(2, x[7][10]=[0‥2]) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 11.05/4.72 c 05:00:37.281 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6330. 'extension(2, 2) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 11.05/4.72 c 05:00:37.284 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6355. 'extension(x[6][12]=[0‥2], 2) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 11.05/4.72 c 05:00:37.285 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6356. 'extension(2, x[8][12]=[0‥2]) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 11.05/4.72 c 05:00:37.289 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6383. 'extension(x[7][6]=[0‥2], 2) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.05/4.72 c 05:00:37.289 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6384. 'extension(2, x[9][6]=[0‥2]) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.05/4.73 c 05:00:37.292 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6409. 'extension(x[8][1]=[0‥2], 2) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.05/4.73 c 05:00:37.293 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6410. 'extension(2, x[10][1]=[0‥2]) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.05/4.73 c 05:00:37.295 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6435. 'extension(x[8][3]=[0‥2], 2) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.05/4.73 c 05:00:37.296 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6436. 'extension(2, x[10][3]=[0‥2]) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.05/4.73 c 05:00:37.299 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6461. 'extension(x[9][7]=[0‥2], 2) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 11.05/4.73 c 05:00:37.299 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6462. 'extension(2, x[11][7]=[0‥2]) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 11.05/4.74 c 05:00:37.302 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6487. 'extension(x[10][5]=[0‥2], 2) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 11.05/4.74 c 05:00:37.304 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6513. 'extension(2, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 962927234, 3 edges, 3 vertices, 2 tuples 11.05/4.74 c 05:00:37.304 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6514. 'extension(2, x[13][5]=[0‥2]) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 11.05/4.74 c 05:00:37.305 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6517. 'extension(2, 2) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 11.05/4.74 c 05:00:37.308 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6540. 'extension(2, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 161938368, 3 edges, 3 vertices, 2 tuples 11.05/4.74 c 05:00:37.308 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6541. 'extension(x[12][3]=[0‥2], 2) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.05/4.74 c 05:00:37.309 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6542. 'extension(2, x[14][3]=[0‥2]) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.05/4.75 c 05:00:37.312 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6567. 'extension(x[14][9]=[0‥2], 2) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 11.05/4.75 c 05:00:37.314 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6593. 'extension(2, x[17][9]=[0‥2]) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 11.05/4.75 c 05:00:37.314 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6596. 'extension(2, 2) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 11.05/4.75 c 05:00:37.316 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6619. 'extension(x[15][13]=[0‥2], 2) :: init: true :: relation: MDD 373973695, 2 edges, 3 vertices, 1 tuples 11.05/4.75 c 05:00:37.317 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6620. 'extension(2, x[17][13]=[0‥2]) :: init: true :: relation: MDD 373973695, 2 edges, 3 vertices, 1 tuples 11.05/4.75 c 05:00:37.320 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6647. 'extension(x[15][15]=[0‥2], 2) :: init: true :: relation: MDD 1252713736, 2 edges, 3 vertices, 1 tuples 11.05/4.76 c 05:00:37.321 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6675. 'extension(x[16][0]=[0‥2], 2) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.05/4.76 c 05:00:37.322 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6676. 'extension(2, x[18][0]=[0‥2]) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.05/4.76 c 05:00:37.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6701. 'extension(2, x[18][15]=[0‥2]) :: init: true :: relation: MDD 1252713736, 2 edges, 3 vertices, 1 tuples 11.05/4.76 c 05:00:37.326 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6704. 'extension(2, 2) :: init: true :: relation: MDD 1252713736, 2 edges, 3 vertices, 1 tuples 11.05/4.76 c 05:00:37.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6729. 'extension(x[17][8]=[0‥2], 2) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 11.05/4.76 c 05:00:37.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6755. 'extension(2, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 1713129148, 3 edges, 3 vertices, 2 tuples 11.05/4.77 c 05:00:37.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6756. 'extension(x[18][6]=[0‥2], 2) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.05/4.77 c 05:00:37.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6757. 'extension(2, x[20][6]=[0‥2]) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.05/4.77 c 05:00:37.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6782. 'extension(2, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 1898167916, 3 edges, 3 vertices, 2 tuples 11.05/4.77 c 05:00:37.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6783. 'extension(2, x[20][8]=[0‥2]) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 11.05/4.77 c 05:00:37.335 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6786. 'extension(2, 2) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 11.05/4.77 c 05:00:37.337 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6809. 'extension(x[21][0]=[0‥2], 2) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.05/4.77 c 05:00:37.338 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6810. 'extension(2, x[23][0]=[0‥2]) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.05/4.77 c 05:00:37.341 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6835. 'extension(x[21][4]=[0‥2], 2) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 11.05/4.78 c 05:00:37.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6861. 'extension(x[22][1]=[0‥2], 2) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.05/4.78 c 05:00:37.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6862. 'extension(2, x[24][1]=[0‥2]) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.05/4.78 c 05:00:37.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6886. 'extension(2, x[24][4]=[0‥2]) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 11.05/4.78 c 05:00:37.346 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6889. 'extension(2, 2) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 11.05/4.78 c 05:00:37.348 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6911. 'extension(x[24][11]=[0‥2], 2) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 11.05/4.78 c 05:00:37.349 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6934. 'extension(2, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 413946856, 3 edges, 3 vertices, 2 tuples 11.05/4.78 c 05:00:37.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6935. 'extension(2, x[27][11]=[0‥2]) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 11.05/4.78 c 05:00:37.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6937. 'extension(2, 2) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 11.05/4.79 c 05:00:37.352 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6956. 'extension(2, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 2113891589, 3 edges, 3 vertices, 2 tuples 11.05/4.79 c 05:00:37.352 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6957. 'extension(x[25][13]=[0‥2], 2) :: init: true :: relation: MDD 373973695, 2 edges, 3 vertices, 1 tuples 11.05/4.79 c 05:00:37.353 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6958. 'extension(2, x[27][13]=[0‥2]) :: init: true :: relation: MDD 373973695, 2 edges, 3 vertices, 1 tuples 11.05/4.80 c 05:00:37.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7011. 'extension(x[0][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.80 c 05:00:37.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7013. 'extension(x[2][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.80 c 05:00:37.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7025. 'extension(x[1][14]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.80 c 05:00:37.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7029. 'extension(x[4][14]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.80 c 05:00:37.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7045. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.37/4.80 c 05:00:37.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7047. 'extension(x[4][2]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.80 c 05:00:37.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7053. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.37/4.80 c 05:00:37.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7055. 'extension(x[4][10]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.80 c 05:00:37.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7061. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.37/4.80 c 05:00:37.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7063. 'extension(x[7][2]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.80 c 05:00:37.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7077. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.37/4.80 c 05:00:37.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7079. 'extension(x[5][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7081. 'extension(x[7][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7095. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7097. 'extension(x[7][10]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7113. 'extension(x[6][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7115. 'extension(x[8][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.373 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7131. 'extension(x[7][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.373 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7133. 'extension(x[9][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7147. 'extension(x[8][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7149. 'extension(x[10][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.375 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7163. 'extension(x[8][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.376 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7165. 'extension(x[10][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7179. 'extension(x[9][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7181. 'extension(x[11][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.378 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7195. 'extension(x[10][5]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.379 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7201. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.379 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7203. 'extension(x[13][5]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7217. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7219. 'extension(x[12][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.81 c 05:00:37.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7221. 'extension(x[14][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.82 c 05:00:37.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7235. 'extension(x[14][9]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.82 c 05:00:37.382 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7241. 'extension(x[17][9]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.82 c 05:00:37.383 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7255. 'extension(x[15][13]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.82 c 05:00:37.383 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7257. 'extension(x[17][13]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.82 c 05:00:37.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7273. 'extension(x[15][15]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.82 c 05:00:37.385 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7279. 'extension(x[16][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.82 c 05:00:37.385 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7281. 'extension(x[18][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.82 c 05:00:37.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7295. 'extension(x[18][15]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.82 c 05:00:37.388 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7311. 'extension(x[17][8]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.82 c 05:00:37.388 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7317. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.37/4.82 c 05:00:37.388 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7319. 'extension(x[18][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7321. 'extension(x[20][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7335. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7337. 'extension(x[20][8]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7351. 'extension(x[21][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7353. 'extension(x[23][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.392 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7367. 'extension(x[21][4]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7373. 'extension(x[22][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7375. 'extension(x[24][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7389. 'extension(x[24][4]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7403. 'extension(x[24][11]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7409. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7411. 'extension(x[27][11]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.397 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7423. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.397 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7425. 'extension(x[25][13]=[0‥2]) :: init: true :: relation: Empty MDD 11.37/4.83 c 05:00:37.397 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7427. 'extension(x[27][13]=[0‥2]) :: init: true :: relation: Empty MDD 29.43/12.98 o 4466 87.28/66.24 o 4462 87.28/66.27 o 4461 201.04/176.96 o 4367 201.04/176.97 o 4366 201.18/177.01 o 4365 201.35/177.20 o 4364 202.01/177.57 o 4363 211.32/186.55 o 4362 211.77/186.90 o 4263 212.23/187.33 o 4163 213.81/188.85 o 4162 215.73/190.79 o 4161 215.84/190.87 o 4160 481.69/451.43 o 4069 481.69/451.44 o 4068 481.69/451.45 o 4067 481.80/451.54 o 4066 490.18/459.79 o 3966 2520.04/2457.21 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2520.04/2457.21 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24) 2520.04/2457.21 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53) 2520.04/2457.21 at bitvectors.LargeBitVector.filter(LargeBitVector.scala:254) 2520.04/2457.21 at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16) 2520.04/2457.21 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126) 2520.04/2457.21 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8) 2520.04/2457.21 at concrete.heuristic.value.BestCost.select(BestCost.scala:53) 2520.04/2457.21 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.04/2457.21 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 2520.04/2457.21 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.04/2457.21 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.04/2457.21 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 2520.04/2457.21 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.04/2457.21 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 2520.04/2457.21 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109) 2520.04/2457.21 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2520.04/2457.21 at scala.Option.map(Option.scala:146) 2520.04/2457.21 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2520.04/2457.21 at concrete.MAC.mac(MAC.scala:203) 2520.04/2457.21 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.04/2457.21 at scala.util.Try$.apply(Try.scala:209) 2520.04/2457.21 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.04/2457.21 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.04/2457.21 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.04/2457.21 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.04/2457.21 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.04/2457.21 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.04/2457.21 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.04/2457.21 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.04/2457.21 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.04/2457.21 at concrete.MAC.oneRun(MAC.scala:253) 2520.04/2457.21 at concrete.MAC.nextSolution(MAC.scala:272) 2520.04/2457.21 at concrete.MAC.nextSolution(MAC.scala:355) 2520.04/2457.21 at concrete.Solver.hasNext(Solver.scala:166) 2520.04/2457.21 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.04/2457.21 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.04/2457.21 at concrete.Solver.foreach(Solver.scala:68) 2520.04/2457.21 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.04/2457.21 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.04/2457.21 at scala.util.Success.map(Try.scala:209) 2520.04/2457.21 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.04/2457.21 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.04/2457.21 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.04/2457.21 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.04/2457.21 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.04/2457.21 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.04/2457.21 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.04/2457.21 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.04/2457.21 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.04/2457.21 at scala.collection.immutable.List.foreach(List.scala:389) 2520.04/2457.21 at scala.App.main(App.scala:76) 2520.04/2457.21 at scala.App.main$(App.scala:74) 2520.04/2457.21 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.04/2457.21 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.04/2457.22 v <instantiation cost="3966"> 2520.04/2457.22 v <list> 2520.04/2457.22 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ps[10][0] ps[10][1] ps[10][2] ps[11][0] ps[11][1] ps[11][2] ps[12][0] ps[12][1] ps[12][2] ps[13][0] ps[13][1] ps[13][2] ps[14][0] ps[14][1] ps[14][2] ps[15][0] ps[15][1] ps[15][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] ds[14][0] ds[14][1] ds[14][2] ds[15][0] ds[15][1] ds[15][2] ds[16][0] ds[16][1] ds[16][2] ds[17][0] ds[17][1] ds[17][2] ds[18][0] ds[18][1] ds[18][2] ds[19][0] ds[19][1] ds[19][2] ds[20][0] ds[20][1] ds[20][2] ds[21][0] ds[21][1] ds[21][2] ds[22][0] ds[22][1] ds[22][2] ds[23][0] ds[23][1] ds[23][2] ds[24][0] ds[24][1] ds[24][2] ds[25][0] ds[25][1] ds[25][2] ds[26][0] ds[26][1] ds[26][2] ds[27][0] ds[27][1] ds[27][2] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] cc[14][0] cc[14][1] cc[14][2] cc[15][0] cc[15][1] cc[15][2] cc[16][0] cc[16][1] cc[16][2] cc[17][0] cc[17][1] cc[17][2] cc[18][0] cc[18][1] cc[18][2] cc[19][0] cc[19][1] cc[19][2] cc[20][0] cc[20][1] cc[20][2] cc[21][0] cc[21][1] cc[21][2] cc[22][0] cc[22][1] cc[22][2] cc[23][0] cc[23][1] cc[23][2] cc[24][0] cc[24][1] cc[24][2] cc[25][0] cc[25][1] cc[25][2] cc[26][0] cc[26][1] cc[26][2] cc[27][0] cc[27][1] cc[27][2] 2520.04/2457.22 v </list> 2520.04/2457.22 v <values> 2520.04/2457.22 v 2 0 1 2 2 0 1 1 1 2 0 0 2 2 0 2 0 0 1 2 2 1 1 1 1 0 0 0 2 0 0 2 0 0 1 1 0 1 2 1 1 0 0 0 1 0 2 0 0 0 2 1 0 1 2 2 1 0 2 0 1 0 2 0 0 0 2 1 0 2 2 2 1 0 2 0 1 0 2 0 0 2 2 2 0 2 0 2 2 2 2 0 1 0 1 0 2 2 2 2 0 1 1 2 2 2 2 2 2 0 1 0 2 0 0 0 2 1 2 1 0 2 2 2 2 2 1 0 2 0 0 0 2 1 2 1 0 0 0 2 2 2 1 2 0 2 1 2 0 1 0 1 1 1 0 0 0 2 2 2 0 2 1 2 0 1 1 2 2 1 2 0 0 0 2 2 0 2 2 1 0 2 1 2 2 2 2 0 0 0 2 0 2 2 2 1 2 2 2 0 1 2 2 0 0 0 0 0 2 2 1 2 2 2 2 0 1 0 2 0 0 0 0 0 0 2 1 2 0 2 2 0 1 0 0 2 1 2 0 0 0 0 1 0 0 1 0 0 2 2 0 2 2 2 1 0 2 0 1 1 0 1 0 0 2 2 0 2 2 2 1 2 2 0 1 1 0 1 0 2 2 0 0 0 2 0 2 2 0 0 2 1 2 2 0 2 2 1 0 0 0 0 2 2 0 0 2 2 2 2 2 1 2 1 2 0 0 0 2 2 0 2 2 2 2 0 2 1 2 1 2 0 0 0 2 2 2 2 0 1 2 1 2 1 0 1 2 0 0 0 2 2 2 2 1 1 2 2 0 1 1 2 0 0 0 0 2 2 0 2 1 2 2 2 1 1 1 2 0 2 0 2 0 0 0 0 2 2 0 1 1 2 2 1 0 2 2 2 0 0 0 0 2 1 0 1 1 2 2 1 0 2 2 2 0 0 2 0 0 1 0 2 1 2 0 2 0 2 2 2 0 0 2 0 0 1 0 2 2 2 1 2 0 2 2 2 1 0 16 0 12 16 0 12 5 12 11 3 13 12 16 0 12 2 14 12 7 9 12 5 11 12 4 12 12 8 8 12 16 0 12 17 0 11 11 5 12 16 0 12 9 7 12 16 0 12 5 4 7 7 5 4 8 6 2 7 4 5 7 3 6 6 2 8 3 3 10 5 3 8 6 3 7 6 5 5 5 4 7 6 2 8 6 2 8 7 2 7 7 3 6 8 3 5 5 4 7 7 3 6 7 2 7 5 2 9 5 2 9 5 4 7 5 4 7 5 4 7 6 3 7 6 4 6 7 2 7 5 3 8 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 0 0 0 0 3 0 0 2 0 0 0 2 3 2 0 2 2 0 0 0 0 0 0 0 3 3 0 0 0 0 1 2 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 3 3 0 0 0 0 0 0 0 2 1 2 2 0 0 0 2 0 0 0 1 0 0 0 0 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 3 0 0 1 0 0 0 0 0 0 100 0 300 100 0 100 100 0 0 100 0 0 100 0 0 0 0 0 200 0 0 200 0 1 200 0 0 0 0 0 100 0 100 100 0 0 100 0 0 200 0 100 200 0 100 200 0 100 0 0 0 0 0 100 100 0 0 100 0 2 0 0 1 400 0 200 200 0 2520.04/2457.22 v </values> 2520.04/2457.22 v </instantiation> 2520.04/2457.22 s SATISFIABLE
OK 3966
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 (3136 MiB free)
memory of node 1: 16384 MiB (1034 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304162-1534042832/watcher-4304162-1534042832 -o /tmp/evaluation-result-4304162-1534042832/solver-4304162-1534042832 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534040364-20982 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1703616105 -superng HOME/instance-4304162-1534042832.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21422, runsolver pid=21419
Current StackSize limit: 8192 KiB
[startup+0.100173 s]*
/proc/loadavg: 1.27 1.36 1.35 3/207 21479
/proc/meminfo: memFree=4266100/32770624 swapFree=67108380/67108860
[pid=21422] ppid=21419 vsize=10005480 memory=17212 CPUtime=0.1 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 18934 0 -1 1077944320 4426 12906 0 0 1 1 5 3 20 0 6 0 221846371 10245611520 4303 33554432000 4194304 4196468 140729341434784 140729341417328 139651773255415 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
/proc/21422/statm: 2501370 4303 1934 1 0 2489808 0
[pid=21422/tid=21475] ppid=21419 vsize=10005480 memory=4279135703946461070 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21475/stat : 21475 (java) R 21419 21422 18934 0 -1 4202560 2242 12906 0 0 0 0 5 3 20 0 6 0 221846380 10245611520 4303 33554432000 4194304 4196468 140729341434784 139651745092176 139651757335902 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21476] ppid=21419 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21476/stat : 21476 (java) S 21419 21422 18934 0 -1 1077944384 2 12906 0 0 0 0 5 3 20 0 6 0 221846381 10245611520 4303 33554432000 4194304 4196468 140729341434784 139651777497488 139651773265621 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21477] ppid=21419 vsize=10005480 memory=140347201250944 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21477/stat : 21477 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 6 0 221846381 10245611520 4303 33554432000 4194304 4196468 140729341434784 139651313277200 139651773265621 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21478] ppid=21419 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21478/stat : 21478 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 6 0 221846381 10245611520 4303 33554432000 4194304 4196468 140729341434784 139651312224912 139651773265621 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21479] ppid=21419 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21479/stat : 21479 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 6 0 221846381 10245611520 4303 33554432000 4194304 4196468 140729341434784 139651311172112 139651773265621 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17212 KiB
[startup+0.210099 s]*
/proc/loadavg: 1.27 1.36 1.35 3/216 21488
/proc/meminfo: memFree=4237684/32770624 swapFree=67108380/67108860
[pid=21422] ppid=21419 vsize=10982696 memory=47332 CPUtime=0.27 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 18934 0 -1 1077944320 8640 12906 0 0 17 2 5 3 20 0 15 0 221846371 11246280704 11833 33554432000 4194304 4196468 140729341434784 140729341417328 139651773255415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
/proc/21422/statm: 2745674 11833 2960 1 0 2708109 0
[pid=21422/tid=21475] ppid=21419 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/21422/task/21475/stat : 21475 (java) R 21419 21422 18934 0 -1 4202560 5186 12906 0 0 10 1 5 3 20 0 15 0 221846380 11246280704 11833 33554432000 4194304 4196468 140729341434784 139651745053072 139651758421070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21476] ppid=21419 vsize=10982696 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21476/stat : 21476 (java) S 21419 21422 18934 0 -1 1077944384 2 12906 0 0 0 0 5 3 20 0 15 0 221846381 11246280704 11833 33554432000 4194304 4196468 140729341434784 139651777497488 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21477] ppid=21419 vsize=10982696 memory=288370723352962688 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21477/stat : 21477 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846381 11246280704 11833 33554432000 4194304 4196468 140729341434784 139651313277200 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21478] ppid=21419 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21478/stat : 21478 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846381 11246280704 11833 33554432000 4194304 4196468 140729341434784 139651312224912 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21479] ppid=21419 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21479/stat : 21479 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846381 11246280704 11833 33554432000 4194304 4196468 140729341434784 139651311172112 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21480] ppid=21419 vsize=10982696 memory=140347201250944 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21480/stat : 21480 (java) S 21419 21422 18934 0 -1 1077944384 2 12906 0 0 0 0 5 3 20 0 15 0 221846382 11246280704 11833 33554432000 4194304 4196468 140729341434784 139651266357872 139651773266562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21481] ppid=21419 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21481/stat : 21481 (java) S 21419 21422 18934 0 -1 1077944384 13 12906 0 0 0 0 5 3 20 0 15 0 221846382 11246280704 11833 33554432000 4194304 4196468 140729341434784 139650593187104 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21482] ppid=21419 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21482/stat : 21482 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846383 11246280704 11833 33554432000 4194304 4196468 140729341434784 139650391860848 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21483] ppid=21419 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21483/stat : 21483 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846385 11246280704 11833 33554432000 4194304 4196468 140729341434784 139650084461136 139651773274011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21484] ppid=21419 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/21422/task/21484/stat : 21484 (java) S 21419 21422 18934 0 -1 1077944384 478 12906 0 0 1 0 5 3 20 0 15 0 221846385 11246280704 11833 33554432000 4194304 4196468 140729341434784 139650942363760 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21485] ppid=21419 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21485/stat : 21485 (java) S 21419 21422 18934 0 -1 1077944384 137 12906 0 0 0 0 5 3 20 0 15 0 221846385 11246280704 11833 33554432000 4194304 4196468 140729341434784 139650941310960 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21486] ppid=21419 vsize=10982696 memory=140347201250944 CPUtime=0.11 cores=0,2,4,6
/proc/21422/task/21486/stat : 21486 (java) S 21419 21422 18934 0 -1 1077944384 619 12906 0 0 3 0 5 3 20 0 15 0 221846385 11246280704 11833 33554432000 4194304 4196468 140729341434784 139650940258672 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21487] ppid=21419 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21487/stat : 21487 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846386 11246280704 11833 33554432000 4194304 4196468 140729341434784 139649653664224 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21488] ppid=21419 vsize=10982696 memory=140347201250944 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21488/stat : 21488 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846386 11246280704 11833 33554432000 4194304 4196468 140729341434784 139650939206576 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 47332 KiB
[startup+0.31066 s]*
/proc/loadavg: 1.27 1.36 1.35 3/216 21488
/proc/meminfo: memFree=4226644/32770624 swapFree=67108380/67108860
[pid=21422] ppid=21419 vsize=10983192 memory=58492 CPUtime=0.39 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 18934 0 -1 1077944320 10655 12906 0 0 29 2 5 3 20 0 15 0 221846371 11246788608 14623 33554432000 4194304 4196468 140729341434784 140729341417328 139651773255415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
/proc/21422/statm: 2745798 14623 3092 1 0 2708109 0
[pid=21422/tid=21475] ppid=21419 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/21422/task/21475/stat : 21475 (java) R 21419 21422 18934 0 -1 4202560 7196 12906 0 0 19 2 5 3 20 0 15 0 221846380 11246788608 14623 33554432000 4194304 4196468 140729341434784 139651745067424 139651757335902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21476] ppid=21419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21476/stat : 21476 (java) S 21419 21422 18934 0 -1 1077944384 2 12906 0 0 0 0 5 3 20 0 15 0 221846381 11246788608 14623 33554432000 4194304 4196468 140729341434784 139651777497488 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21477] ppid=21419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21477/stat : 21477 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846381 11246788608 14623 33554432000 4194304 4196468 140729341434784 139651313277200 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21478] ppid=21419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21478/stat : 21478 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846381 11246788608 14623 33554432000 4194304 4196468 140729341434784 139651312224912 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21479] ppid=21419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21479/stat : 21479 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846381 11246788608 14623 33554432000 4194304 4196468 140729341434784 139651311172112 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21480] ppid=21419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21480/stat : 21480 (java) S 21419 21422 18934 0 -1 1077944384 2 12906 0 0 0 0 5 3 20 0 15 0 221846382 11246788608 14623 33554432000 4194304 4196468 140729341434784 139651266357872 139651773266562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21481] ppid=21419 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21481/stat : 21481 (java) S 21419 21422 18934 0 -1 1077944384 13 12906 0 0 0 0 5 3 20 0 15 0 221846382 11246788608 14623 33554432000 4194304 4196468 140729341434784 139650593187104 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21482] ppid=21419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21482/stat : 21482 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846383 11246788608 14623 33554432000 4194304 4196468 140729341434784 139650391860848 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21483] ppid=21419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21483/stat : 21483 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846385 11246788608 14623 33554432000 4194304 4196468 140729341434784 139650084461136 139651773274011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21484] ppid=21419 vsize=10983192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/21422/task/21484/stat : 21484 (java) S 21419 21422 18934 0 -1 1077944384 478 12906 0 0 2 0 5 3 20 0 15 0 221846385 11246788608 14623 33554432000 4194304 4196468 140729341434784 139650942363760 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21485] ppid=21419 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/21422/task/21485/stat : 21485 (java) S 21419 21422 18934 0 -1 1077944384 140 12906 0 0 1 0 5 3 20 0 15 0 221846385 11246788608 14623 33554432000 4194304 4196468 140729341434784 139650941310960 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21486] ppid=21419 vsize=10983192 memory=140347201250944 CPUtime=0.13 cores=0,2,4,6
/proc/21422/task/21486/stat : 21486 (java) S 21419 21422 18934 0 -1 1077944384 624 12906 0 0 5 0 5 3 20 0 15 0 221846385 11246788608 14623 33554432000 4194304 4196468 140729341434784 139650940258672 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21487] ppid=21419 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21487/stat : 21487 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846386 11246788608 14623 33554432000 4194304 4196468 140729341434784 139649653664224 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21488] ppid=21419 vsize=10983192 memory=140347201250944 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21488/stat : 21488 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846386 11246788608 14623 33554432000 4194304 4196468 140729341434784 139650939206576 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 58492 KiB
[startup+0.700791 s]
/proc/loadavg: 1.27 1.36 1.35 3/216 21488
/proc/meminfo: memFree=4215480/32770624 swapFree=67108380/67108860
[pid=21422] ppid=21419 vsize=10983192 memory=90528 CPUtime=0.99 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 18934 0 -1 1077944320 16820 12906 0 0 87 4 5 3 20 0 15 0 221846371 11246788608 22632 33554432000 4194304 4196468 140729341434784 140729341417328 139651773255415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
/proc/21422/statm: 2745798 22632 3221 1 0 2708109 0
[pid=21422/tid=21475] ppid=21419 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/21422/task/21475/stat : 21475 (java) R 21419 21422 18934 0 -1 4202560 12417 12906 0 0 55 3 5 3 20 0 15 0 221846380 11246788608 22632 33554432000 4194304 4196468 140729341434784 139651745077136 139651757335902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21476] ppid=21419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21476/stat : 21476 (java) S 21419 21422 18934 0 -1 1077944384 2 12906 0 0 0 0 5 3 20 0 15 0 221846381 11246788608 22632 33554432000 4194304 4196468 140729341434784 139651777497488 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21477] ppid=21419 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21477/stat : 21477 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846381 11246788608 22632 33554432000 4194304 4196468 140729341434784 139651313277200 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21478] ppid=21419 vsize=10983192 memory=140347049128752 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21478/stat : 21478 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846381 11246788608 22632 33554432000 4194304 4196468 140729341434784 139651312224912 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21479] ppid=21419 vsize=10983192 memory=140350941299289 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21479/stat : 21479 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846381 11246788608 22632 33554432000 4194304 4196468 140729341434784 139651311172112 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21480] ppid=21419 vsize=10983192 memory=1388 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21480/stat : 21480 (java) S 21419 21422 18934 0 -1 1077944384 5 12906 0 0 0 0 5 3 20 0 15 0 221846382 11246788608 22632 33554432000 4194304 4196468 140729341434784 139651266357872 139651773266562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21481] ppid=21419 vsize=10983192 memory=4639098309541127525 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21481/stat : 21481 (java) S 21419 21422 18934 0 -1 1077944384 13 12906 0 0 0 0 5 3 20 0 15 0 221846382 11246788608 22632 33554432000 4194304 4196468 140729341434784 139650593187104 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21482] ppid=21419 vsize=10983192 memory=6082220498109361512 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21482/stat : 21482 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846383 11246788608 22632 33554432000 4194304 4196468 140729341434784 139650391860848 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21483] ppid=21419 vsize=10983192 memory=33612 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21483/stat : 21483 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846385 11246788608 22632 33554432000 4194304 4196468 140729341434784 139650084461136 139651773274011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21484] ppid=21419 vsize=10983192 memory=14392 CPUtime=0.18 cores=0,2,4,6
/proc/21422/task/21484/stat : 21484 (java) S 21419 21422 18934 0 -1 1077944384 1151 12906 0 0 10 0 5 3 20 0 15 0 221846385 11246788608 22632 33554432000 4194304 4196468 140729341434784 139650942363760 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21485] ppid=21419 vsize=10983192 memory=4004 CPUtime=0.14 cores=0,2,4,6
/proc/21422/task/21485/stat : 21485 (java) S 21419 21422 18934 0 -1 1077944384 372 12906 0 0 6 0 5 3 20 0 15 0 221846385 11246788608 22632 33554432000 4194304 4196468 140729341434784 139650941310960 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21486] ppid=21419 vsize=10983192 memory=500 CPUtime=0.21 cores=0,2,4,6
/proc/21422/task/21486/stat : 21486 (java) S 21419 21422 18934 0 -1 1077944384 659 12906 0 0 13 0 5 3 20 0 15 0 221846385 11246788608 22632 33554432000 4194304 4196468 140729341434784 139650940258672 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21487] ppid=21419 vsize=10983192 memory=1720 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21487/stat : 21487 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846386 11246788608 22632 33554432000 4194304 4196468 140729341434784 139649653664224 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21488] ppid=21419 vsize=10983192 memory=1176 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21488/stat : 21488 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846386 11246788608 22632 33554432000 4194304 4196468 140729341434784 139650939206576 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90528 KiB
[startup+1.50081 s]
/proc/loadavg: 1.27 1.36 1.35 3/216 21488
/proc/meminfo: memFree=4171712/32770624 swapFree=67108380/67108860
[pid=21422] ppid=21419 vsize=10996044 memory=162648 CPUtime=2.98 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 18934 0 -1 1077944320 25919 12906 0 0 282 8 5 3 20 0 15 0 221846371 11259949056 40662 33554432000 4194304 4196468 140729341434784 140729341417328 139651773255415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
/proc/21422/statm: 2749011 40662 3448 1 0 2710669 0
[pid=21422/tid=21475] ppid=21419 vsize=10996044 memory=67272 CPUtime=1.46 cores=0,2,4,6
/proc/21422/task/21475/stat : 21475 (java) R 21419 21422 18934 0 -1 4202560 17085 12906 0 0 132 6 5 3 20 0 15 0 221846380 11259949056 40662 33554432000 4194304 4196468 140729341434784 139651745061408 139651757335902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21476] ppid=21419 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21476/stat : 21476 (java) S 21419 21422 18934 0 -1 1077944384 2 12906 0 0 0 0 5 3 20 0 15 0 221846381 11259949056 40662 33554432000 4194304 4196468 140729341434784 139651777497488 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21477] ppid=21419 vsize=10996044 memory=280694098288800 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21477/stat : 21477 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846381 11259949056 40662 33554432000 4194304 4196468 140729341434784 139651313277200 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21478] ppid=21419 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21478/stat : 21478 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846381 11259949056 40662 33554432000 4194304 4196468 140729341434784 139651312224912 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21479] ppid=21419 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21479/stat : 21479 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846381 11259949056 40662 33554432000 4194304 4196468 140729341434784 139651311172112 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21480] ppid=21419 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21480/stat : 21480 (java) S 21419 21422 18934 0 -1 1077944384 6 12906 0 0 0 0 5 3 20 0 15 0 221846382 11259949056 40662 33554432000 4194304 4196468 140729341434784 139651266357872 139651773266562 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21481] ppid=21419 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21481/stat : 21481 (java) S 21419 21422 18934 0 -1 1077944384 13 12906 0 0 0 0 5 3 20 0 15 0 221846382 11259949056 40662 33554432000 4194304 4196468 140729341434784 139650593187104 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21482] ppid=21419 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21482/stat : 21482 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846383 11259949056 40662 33554432000 4194304 4196468 140729341434784 139650391860848 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21483] ppid=21419 vsize=10996044 memory=-5921431000321636112 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21483/stat : 21483 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846385 11259949056 40662 33554432000 4194304 4196468 140729341434784 139650084461136 139651773274011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21484] ppid=21419 vsize=10996044 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/21422/task/21484/stat : 21484 (java) S 21419 21422 18934 0 -1 1077944384 2939 12906 0 0 55 0 5 3 20 0 15 0 221846385 11259949056 40662 33554432000 4194304 4196468 140729341434784 139650942363760 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21485] ppid=21419 vsize=10996044 memory=10 CPUtime=0.56 cores=0,2,4,6
/proc/21422/task/21485/stat : 21485 (java) S 21419 21422 18934 0 -1 1077944384 2004 12906 0 0 48 0 5 3 20 0 15 0 221846385 11259949056 40662 33554432000 4194304 4196468 140729341434784 139650941310960 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21486] ppid=21419 vsize=10996044 memory=6791534058613427641 CPUtime=0.54 cores=0,2,4,6
/proc/21422/task/21486/stat : 21486 (java) S 21419 21422 18934 0 -1 1077944384 1668 12906 0 0 46 0 5 3 20 0 15 0 221846385 11259949056 40662 33554432000 4194304 4196468 140729341434784 139650940258672 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21487] ppid=21419 vsize=10996044 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21487/stat : 21487 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846386 11259949056 40662 33554432000 4194304 4196468 140729341434784 139649653664224 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21488] ppid=21419 vsize=10996044 memory=280694098533248 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21488/stat : 21488 (java) S 21419 21422 18934 0 -1 1077944384 1 12906 0 0 0 0 5 3 20 0 15 0 221846386 11259949056 40662 33554432000 4194304 4196468 140729341434784 139650939206576 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/21422/task/21475/stat : 21475 (java) R 21419 21422 18934 0 -1 4202560 428876 12906 0 0 236346 137 5 3 20 0 15 0 221846380 11348049920 576413 33554432000 4194304 4196468 140729341434784 139651745090048 139651349465920 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21476] ppid=21419 vsize=11082080 memory=4004 CPUtime=11.4 cores=0,2,4,6
/proc/21422/task/21476/stat : 21476 (java) S 21419 21422 18934 0 -1 1077944384 33185 12906 0 0 1064 68 5 3 20 0 15 0 221846381 11348049920 576413 33554432000 4194304 4196468 140729341434784 139651777497488 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21477] ppid=21419 vsize=11082080 memory=500 CPUtime=11.37 cores=0,2,4,6
/proc/21422/task/21477/stat : 21477 (java) S 21419 21422 18934 0 -1 1077944384 29417 12906 0 0 1062 67 5 3 20 0 15 0 221846381 11348049920 576413 33554432000 4194304 4196468 140729341434784 139651313277200 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21478] ppid=21419 vsize=11082080 memory=1720 CPUtime=11.38 cores=0,2,4,6
/proc/21422/task/21478/stat : 21478 (java) S 21419 21422 18934 0 -1 1077944384 25080 12906 0 0 1065 65 5 3 20 0 15 0 221846381 11348049920 576413 33554432000 4194304 4196468 140729341434784 139651312224912 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21479] ppid=21419 vsize=11082080 memory=1176 CPUtime=11.35 cores=0,2,4,6
/proc/21422/task/21479/stat : 21479 (java) S 21419 21422 18934 0 -1 1077944384 25363 12906 0 0 1058 69 5 3 20 0 15 0 221846381 11348049920 576413 33554432000 4194304 4196468 140729341434784 139651311172112 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21480] ppid=21419 vsize=11082080 memory=932 CPUtime=4.31 cores=0,2,4,6
/proc/21422/task/21480/stat : 21480 (java) S 21419 21422 18934 0 -1 1077944384 33666 12906 0 0 394 29 5 3 20 0 15 0 221846382 11348049920 576413 33554432000 4194304 4196468 140729341434784 139651266357872 139651773266562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21481] ppid=21419 vsize=11082080 memory=6496 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21481/stat : 21481 (java) S 21419 21422 18934 0 -1 1077944384 22 12906 0 0 0 0 5 3 20 0 15 0 221846382 11348049920 576413 33554432000 4194304 4196468 140729341434784 139650593187168 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21482] ppid=21419 vsize=11082080 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21482/stat : 21482 (java) S 21419 21422 18934 0 -1 1077944384 8 12906 0 0 0 0 5 3 20 0 15 0 221846383 11348049920 576413 33554432000 4194304 4196468 140729341434784 139650391860864 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21483] ppid=21419 vsize=11082080 memory=288230596050944315 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21483/stat : 21483 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846385 11348049920 576413 33554432000 4194304 4196468 140729341434784 139650084461136 139651773274011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21484] ppid=21419 vsize=11082080 memory=15254844206221894 CPUtime=12.61 cores=0,2,4,6
/proc/21422/task/21484/stat : 21484 (java) S 21419 21422 18934 0 -1 1077944384 86641 12906 0 0 1244 9 5 3 20 0 15 0 221846385 11348049920 576413 33554432000 4194304 4196468 140729341434784 139650942363760 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21485] ppid=21419 vsize=11082080 memory=6791534058613427641 CPUtime=12.06 cores=0,2,4,6
/proc/21422/task/21485/stat : 21485 (java) S 21419 21422 18934 0 -1 1077944384 71463 12906 0 0 1189 9 5 3 20 0 15 0 221846385 11348049920 576413 33554432000 4194304 4196468 140729341434784 139650941310960 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21486] ppid=21419 vsize=11082080 memory=4126316290023845779 CPUtime=4.83 cores=0,2,4,6
/proc/21422/task/21486/stat : 21486 (java) S 21419 21422 18934 0 -1 1077944384 78932 12906 0 0 463 12 5 3 20 0 15 0 221846385 11348049920 576413 33554432000 4194304 4196468 140729341434784 139650940258672 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21487] ppid=21419 vsize=11082080 memory=1136 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21487/stat : 21487 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846386 11348049920 576413 33554432000 4194304 4196468 140729341434784 139649653664224 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21488] ppid=21419 vsize=11082080 memory=15208 CPUtime=1.43 cores=0,2,4,6
/proc/21422/task/21488/stat : 21488 (java) S 21419 21422 18934 0 -1 1077944384 2729 12906 0 0 66 69 5 3 20 0 15 0 221846386 11348049920 576413 33554432000 4194304 4196468 140729341434784 139650939206576 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
Current children cumulated CPU time: 2445.03 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2305652 KiB
[startup+2442.3 s]
/proc/loadavg: 1.57 1.59 1.54 3/216 21713
/proc/meminfo: memFree=2393104/32770624 swapFree=67108380/67108860
[pid=21422] ppid=21419 vsize=11082080 memory=2365948 CPUtime=2505.11 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 18934 0 -1 1077944320 842545 12906 0 0 249997 506 5 3 20 0 15 0 221846371 11348049920 591487 33554432000 4194304 4196468 140729341434784 140729341417328 139651773255415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
/proc/21422/statm: 2770520 591487 3537 1 0 2732173 0
[pid=21422/tid=21475] ppid=21419 vsize=11082080 memory=288230596050944315 CPUtime=2424.88 cores=0,2,4,6
/proc/21422/task/21475/stat : 21475 (java) R 21419 21422 18934 0 -1 4202560 450755 12906 0 0 242341 139 5 3 20 0 15 0 221846380 11348049920 591487 33554432000 4194304 4196468 140729341434784 139651745089824 139651367971910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21476] ppid=21419 vsize=11082080 memory=15254844206221894 CPUtime=11.41 cores=0,2,4,6
/proc/21422/task/21476/stat : 21476 (java) S 21419 21422 18934 0 -1 1077944384 33459 12906 0 0 1065 68 5 3 20 0 15 0 221846381 11348049920 591487 33554432000 4194304 4196468 140729341434784 139651777497488 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21477] ppid=21419 vsize=11082080 memory=1796 CPUtime=11.39 cores=0,2,4,6
/proc/21422/task/21477/stat : 21477 (java) S 21419 21422 18934 0 -1 1077944384 30716 12906 0 0 1064 67 5 3 20 0 15 0 221846381 11348049920 591487 33554432000 4194304 4196468 140729341434784 139651313277200 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21478] ppid=21419 vsize=11082080 memory=916 CPUtime=11.39 cores=0,2,4,6
/proc/21422/task/21478/stat : 21478 (java) S 21419 21422 18934 0 -1 1077944384 25454 12906 0 0 1066 65 5 3 20 0 15 0 221846381 11348049920 591487 33554432000 4194304 4196468 140729341434784 139651312224912 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21479] ppid=21419 vsize=11082080 memory=3848 CPUtime=11.36 cores=0,2,4,6
/proc/21422/task/21479/stat : 21479 (java) S 21419 21422 18934 0 -1 1077944384 26075 12906 0 0 1059 69 5 3 20 0 15 0 221846381 11348049920 591487 33554432000 4194304 4196468 140729341434784 139651311172112 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21480] ppid=21419 vsize=11082080 memory=4100 CPUtime=4.32 cores=0,2,4,6
/proc/21422/task/21480/stat : 21480 (java) S 21419 21422 18934 0 -1 1077944384 34052 12906 0 0 395 29 5 3 20 0 15 0 221846382 11348049920 591487 33554432000 4194304 4196468 140729341434784 139651266357872 139651773266562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21481] ppid=21419 vsize=11082080 memory=2612 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21481/stat : 21481 (java) S 21419 21422 18934 0 -1 1077944384 22 12906 0 0 0 0 5 3 20 0 15 0 221846382 11348049920 591487 33554432000 4194304 4196468 140729341434784 139650593187168 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21482] ppid=21419 vsize=11082080 memory=2876 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21482/stat : 21482 (java) S 21419 21422 18934 0 -1 1077944384 8 12906 0 0 0 0 5 3 20 0 15 0 221846383 11348049920 591487 33554432000 4194304 4196468 140729341434784 139650391860864 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21483] ppid=21419 vsize=11082080 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21483/stat : 21483 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846385 11348049920 591487 33554432000 4194304 4196468 140729341434784 139650084461136 139651773274011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21484] ppid=21419 vsize=11082080 memory=3296 CPUtime=12.61 cores=0,2,4,6
/proc/21422/task/21484/stat : 21484 (java) S 21419 21422 18934 0 -1 1077944384 86645 12906 0 0 1244 9 5 3 20 0 15 0 221846385 11348049920 591487 33554432000 4194304 4196468 140729341434784 139650942363760 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21485] ppid=21419 vsize=11082080 memory=2365948 CPUtime=12.06 cores=0,2,4,6
/proc/21422/task/21485/stat : 21485 (java) S 21419 21422 18934 0 -1 1077944384 71466 12906 0 0 1189 9 5 3 20 0 15 0 221846385 11348049920 591487 33554432000 4194304 4196468 140729341434784 139650941310960 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21486] ppid=21419 vsize=11082080 memory=1408 CPUtime=4.83 cores=0,2,4,6
/proc/21422/task/21486/stat : 21486 (java) S 21419 21422 18934 0 -1 1077944384 78940 12906 0 0 463 12 5 3 20 0 15 0 221846385 11348049920 591487 33554432000 4194304 4196468 140729341434784 139650940258672 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21487] ppid=21419 vsize=11082080 memory=3172 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21487/stat : 21487 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846386 11348049920 591487 33554432000 4194304 4196468 140729341434784 139649653664224 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21488] ppid=21419 vsize=11082080 memory=2008364 CPUtime=1.45 cores=0,2,4,6
/proc/21422/task/21488/stat : 21488 (java) S 21419 21422 18934 0 -1 1077944384 2755 12906 0 0 67 70 5 3 20 0 15 0 221846386 11348049920 591487 33554432000 4194304 4196468 140729341434784 139650939206576 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
Current children cumulated CPU time: 2505.11 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2365948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2457.21 s]
/proc/loadavg: 1.58 1.60 1.54 3/216 21713
/proc/meminfo: memFree=2371964/32770624 swapFree=67108380/67108860
[pid=21422] ppid=21419 vsize=11082080 memory=2389604 CPUtime=2520.04 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 18934 0 -1 1077944320 866726 12906 0 0 251488 508 5 3 20 0 15 0 221846371 11348049920 597401 33554432000 4194304 4196468 140729341434784 140729341417328 139651773255415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
/proc/21422/statm: 2770520 597401 3537 1 0 2732173 0
[pid=21422/tid=21475] ppid=21419 vsize=11082080 memory=2389396 CPUtime=2439.78 cores=0,2,4,6
/proc/21422/task/21475/stat : 21475 (java) R 21419 21422 18934 0 -1 4202560 474849 12906 0 0 243829 141 5 3 20 0 15 0 221846380 11348049920 597401 33554432000 4194304 4196468 140729341434784 139651745089664 139651367971910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21476] ppid=21419 vsize=11082080 memory=2377532 CPUtime=11.42 cores=0,2,4,6
/proc/21422/task/21476/stat : 21476 (java) S 21419 21422 18934 0 -1 1077944384 33481 12906 0 0 1066 68 5 3 20 0 15 0 221846381 11348049920 597401 33554432000 4194304 4196468 140729341434784 139651777497488 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21477] ppid=21419 vsize=11082080 memory=2377532 CPUtime=11.39 cores=0,2,4,6
/proc/21422/task/21477/stat : 21477 (java) S 21419 21422 18934 0 -1 1077944384 30716 12906 0 0 1064 67 5 3 20 0 15 0 221846381 11348049920 597401 33554432000 4194304 4196468 140729341434784 139651313277200 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21478] ppid=21419 vsize=11082080 memory=2365948 CPUtime=11.4 cores=0,2,4,6
/proc/21422/task/21478/stat : 21478 (java) S 21419 21422 18934 0 -1 1077944384 25476 12906 0 0 1067 65 5 3 20 0 15 0 221846381 11348049920 597401 33554432000 4194304 4196468 140729341434784 139651312224912 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21479] ppid=21419 vsize=11082080 memory=2342568 CPUtime=11.37 cores=0,2,4,6
/proc/21422/task/21479/stat : 21479 (java) S 21419 21422 18934 0 -1 1077944384 26099 12906 0 0 1060 69 5 3 20 0 15 0 221846381 11348049920 597401 33554432000 4194304 4196468 140729341434784 139651311172112 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21480] ppid=21419 vsize=11082080 memory=0 CPUtime=4.32 cores=0,2,4,6
/proc/21422/task/21480/stat : 21480 (java) S 21419 21422 18934 0 -1 1077944384 34069 12906 0 0 395 29 5 3 20 0 15 0 221846382 11348049920 597401 33554432000 4194304 4196468 140729341434784 139651266357872 139651773266562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21481] ppid=21419 vsize=11082080 memory=2365948 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21481/stat : 21481 (java) S 21419 21422 18934 0 -1 1077944384 22 12906 0 0 0 0 5 3 20 0 15 0 221846382 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650593187168 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21482] ppid=21419 vsize=11082080 memory=2365948 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21482/stat : 21482 (java) S 21419 21422 18934 0 -1 1077944384 8 12906 0 0 0 0 5 3 20 0 15 0 221846383 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650391860864 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21483] ppid=21419 vsize=11082080 memory=2377532 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21483/stat : 21483 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846385 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650084461136 139651773274011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21484] ppid=21419 vsize=11082080 memory=2389396 CPUtime=12.61 cores=0,2,4,6
/proc/21422/task/21484/stat : 21484 (java) S 21419 21422 18934 0 -1 1077944384 86645 12906 0 0 1244 9 5 3 20 0 15 0 221846385 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650942363760 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21485] ppid=21419 vsize=11082080 memory=2389396 CPUtime=12.06 cores=0,2,4,6
/proc/21422/task/21485/stat : 21485 (java) S 21419 21422 18934 0 -1 1077944384 71466 12906 0 0 1189 9 5 3 20 0 15 0 221846385 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650941310960 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21486] ppid=21419 vsize=11082080 memory=2389396 CPUtime=4.83 cores=0,2,4,6
/proc/21422/task/21486/stat : 21486 (java) S 21419 21422 18934 0 -1 1077944384 78940 12906 0 0 463 12 5 3 20 0 15 0 221846385 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650940258672 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21487] ppid=21419 vsize=11082080 memory=2389604 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21487/stat : 21487 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846386 11348049920 597401 33554432000 4194304 4196468 140729341434784 139649653664224 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21488] ppid=21419 vsize=11082080 memory=2389396 CPUtime=1.47 cores=0,2,4,6
/proc/21422/task/21488/stat : 21488 (java) S 21419 21422 18934 0 -1 1077944384 2757 12906 0 0 68 71 5 3 20 0 15 0 221846386 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650939206576 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2389604 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2457.26 s]
# the end of solver process 21422 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.95 s, system=5.1588 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2457.21 s]
/proc/loadavg: 1.58 1.60 1.54 3/216 21713
/proc/meminfo: memFree=2371964/32770624 swapFree=67108380/67108860
[pid=21422] ppid=21419 vsize=11082080 memory=2389604 CPUtime=2520.04 cores=0,2,4,6
/proc/21422/stat : 21422 (java) S 21419 21422 18934 0 -1 1077944320 866726 12906 0 0 251488 508 5 3 20 0 15 0 221846371 11348049920 597401 33554432000 4194304 4196468 140729341434784 140729341417328 139651773255415 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
/proc/21422/statm: 2770520 597401 3537 1 0 2732173 0
[pid=21422/tid=21475] ppid=21419 vsize=11082080 memory=2389396 CPUtime=2439.78 cores=0,2,4,6
/proc/21422/task/21475/stat : 21475 (java) R 21419 21422 18934 0 -1 4202560 474849 12906 0 0 243829 141 5 3 20 0 15 0 221846380 11348049920 597401 33554432000 4194304 4196468 140729341434784 139651745089664 139651367971910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21476] ppid=21419 vsize=11082080 memory=2377532 CPUtime=11.42 cores=0,2,4,6
/proc/21422/task/21476/stat : 21476 (java) S 21419 21422 18934 0 -1 1077944384 33481 12906 0 0 1066 68 5 3 20 0 15 0 221846381 11348049920 597401 33554432000 4194304 4196468 140729341434784 139651777497488 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21477] ppid=21419 vsize=11082080 memory=2377532 CPUtime=11.39 cores=0,2,4,6
/proc/21422/task/21477/stat : 21477 (java) S 21419 21422 18934 0 -1 1077944384 30716 12906 0 0 1064 67 5 3 20 0 15 0 221846381 11348049920 597401 33554432000 4194304 4196468 140729341434784 139651313277200 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21478] ppid=21419 vsize=11082080 memory=2365948 CPUtime=11.4 cores=0,2,4,6
/proc/21422/task/21478/stat : 21478 (java) S 21419 21422 18934 0 -1 1077944384 25476 12906 0 0 1067 65 5 3 20 0 15 0 221846381 11348049920 597401 33554432000 4194304 4196468 140729341434784 139651312224912 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21479] ppid=21419 vsize=11082080 memory=2342568 CPUtime=11.37 cores=0,2,4,6
/proc/21422/task/21479/stat : 21479 (java) S 21419 21422 18934 0 -1 1077944384 26099 12906 0 0 1060 69 5 3 20 0 15 0 221846381 11348049920 597401 33554432000 4194304 4196468 140729341434784 139651311172112 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21480] ppid=21419 vsize=11082080 memory=0 CPUtime=4.32 cores=0,2,4,6
/proc/21422/task/21480/stat : 21480 (java) S 21419 21422 18934 0 -1 1077944384 34069 12906 0 0 395 29 5 3 20 0 15 0 221846382 11348049920 597401 33554432000 4194304 4196468 140729341434784 139651266357872 139651773266562 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21481] ppid=21419 vsize=11082080 memory=2365948 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21481/stat : 21481 (java) S 21419 21422 18934 0 -1 1077944384 22 12906 0 0 0 0 5 3 20 0 15 0 221846382 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650593187168 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21482] ppid=21419 vsize=11082080 memory=2365948 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21482/stat : 21482 (java) S 21419 21422 18934 0 -1 1077944384 8 12906 0 0 0 0 5 3 20 0 15 0 221846383 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650391860864 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21483] ppid=21419 vsize=11082080 memory=2377532 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21483/stat : 21483 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846385 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650084461136 139651773274011 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21484] ppid=21419 vsize=11082080 memory=2389396 CPUtime=12.61 cores=0,2,4,6
/proc/21422/task/21484/stat : 21484 (java) S 21419 21422 18934 0 -1 1077944384 86645 12906 0 0 1244 9 5 3 20 0 15 0 221846385 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650942363760 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21485] ppid=21419 vsize=11082080 memory=2389396 CPUtime=12.06 cores=0,2,4,6
/proc/21422/task/21485/stat : 21485 (java) S 21419 21422 18934 0 -1 1077944384 71466 12906 0 0 1189 9 5 3 20 0 15 0 221846385 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650941310960 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21486] ppid=21419 vsize=11082080 memory=2389396 CPUtime=4.83 cores=0,2,4,6
/proc/21422/task/21486/stat : 21486 (java) S 21419 21422 18934 0 -1 1077944384 78940 12906 0 0 463 12 5 3 20 0 15 0 221846385 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650940258672 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21487] ppid=21419 vsize=11082080 memory=2389604 CPUtime=0.08 cores=0,2,4,6
/proc/21422/task/21487/stat : 21487 (java) S 21419 21422 18934 0 -1 1077944384 3 12906 0 0 0 0 5 3 20 0 15 0 221846386 11348049920 597401 33554432000 4194304 4196468 140729341434784 139649653664224 139651773265621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
[pid=21422/tid=21488] ppid=21419 vsize=11082080 memory=2389396 CPUtime=1.47 cores=0,2,4,6
/proc/21422/task/21488/stat : 21488 (java) S 21419 21422 18934 0 -1 1077944384 2757 12906 0 0 68 71 5 3 20 0 15 0 221846386 11348049920 597401 33554432000 4194304 4196468 140729341434784 139650939206576 139651773266562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 34865152 140729341438563 140729341441372 140729341441372 140729341444047 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2389604 KiB
Child status: 143
Real time (s): 2457.26
CPU time (s): 2520.11
CPU user time (s): 2514.95
CPU system time (s): 5.1588
CPU usage (%): 102.558
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3038516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.95
system time used= 5.1588
maximum resident set size= 3052684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 884654
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141118
involuntary context switches= 6784
# summary of solver processes directly reported to runsolver:
# pid: 21422
# total CPU time (s): 2520.11
# total CPU user time (s): 2514.95
# total CPU system time (s): 5.1588
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9158 second user time and 23.6061 second system time
The end
Begin job on node137 at 2018-08-12 05:00:32 IDJOB=4304162 IDBENCH=141044 IDSOLVER=2781 FILE ID=node137/4304162-1534042832 RUNJOBID= node137-1534040364-20982 PBS_JOBID= 21036962 Free space on /tmp= 26360 MiB SOLVER NAME= Concrete 3.9.2-SuperNG BENCH NAME= XCSP18/NurseRostering/NurseRostering-05_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304162-1534042832/watcher-4304162-1534042832 -o /tmp/evaluation-result-4304162-1534042832/solver-4304162-1534042832 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534040364-20982 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1703616105 -superng HOME/instance-4304162-1534042832.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b6cc1cad0a6ec682295352adb28466c6 RANDOM SEED=1703616105 node137.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.54 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.56 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.54 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.56 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.54 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.56 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.54 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 4270424 kB MemAvailable: 29419556 kB Buffers: 226872 kB Cached: 24883796 kB SwapCached: 24 kB Active: 14938732 kB Inactive: 12706024 kB Active(anon): 2481136 kB Inactive(anon): 105084 kB Active(file): 12457596 kB Inactive(file): 12600940 kB Unevictable: 7432 kB Mlocked: 7432 kB SwapTotal: 67108860 kB SwapFree: 67108380 kB Dirty: 26760 kB Writeback: 0 kB AnonPages: 2545036 kB Mapped: 68240 kB Shmem: 49628 kB Slab: 547248 kB SReclaimable: 519056 kB SUnreclaim: 28192 kB KernelStack: 3712 kB PageTables: 10488 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3496932 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2105344 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 26336 MiB End job on node137 at 2018-08-12 05:41:29