Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8-SuperNG 2018-06-13 | Wrong Cert. | 2520.16 | 2465.17 |
| 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.98/0.73 c Concrete v3.8.1528841891564 running 10.83/4.98 c 01:02:30.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6148. 'extension(x[0][12]=[0‥2], 2) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 10.83/4.98 c 01:02:30.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6149. 'extension(2, x[2][12]=[0‥2]) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 10.83/4.99 c 01:02:30.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6169. 'extension(x[1][14]=[0‥2], 2) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 10.83/4.99 c 01:02:30.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6192. 'extension(2, x[4][14]=[0‥2]) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 10.83/4.99 c 01:02:30.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6195. 'extension(2, 2) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 10.83/4.99 c 01:02:30.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6217. 'extension(2, wk[2][0]=[0‥1]) :: init: true :: relation: MDD 292167944, 3 edges, 3 vertices, 2 tuples 10.83/5.00 c 01:02:30.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6218. 'extension(x[4][2]=[0‥2], 2) :: init: true :: relation: MDD 635068762, 2 edges, 3 vertices, 1 tuples 10.83/5.00 c 01:02:30.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6244. 'extension(2, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 118363130, 3 edges, 3 vertices, 2 tuples 10.83/5.00 c 01:02:30.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6245. 'extension(x[4][10]=[0‥2], 2) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 10.83/5.00 c 01:02:30.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6272. 'extension(2, wk[2][0]=[0‥1]) :: init: true :: relation: MDD 2082232630, 3 edges, 3 vertices, 2 tuples 10.83/5.00 c 01:02:30.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6273. 'extension(2, x[7][2]=[0‥2]) :: init: true :: relation: MDD 635068762, 2 edges, 3 vertices, 1 tuples 10.83/5.00 c 01:02:30.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6276. 'extension(2, 2) :: init: true :: relation: MDD 635068762, 2 edges, 3 vertices, 1 tuples 10.83/5.00 c 01:02:30.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6299. 'extension(2, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1353093587, 3 edges, 3 vertices, 2 tuples 10.83/5.00 c 01:02:30.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6300. 'extension(x[5][7]=[0‥2], 2) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 10.83/5.00 c 01:02:30.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6301. 'extension(2, x[7][7]=[0‥2]) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 10.83/5.01 c 01:02:30.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6326. 'extension(2, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 671981276, 3 edges, 3 vertices, 2 tuples 10.83/5.01 c 01:02:30.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6327. 'extension(2, x[7][10]=[0‥2]) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 10.83/5.01 c 01:02:30.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6330. 'extension(2, 2) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 11.16/5.01 c 01:02:30.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6355. 'extension(x[6][12]=[0‥2], 2) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 11.16/5.01 c 01:02:30.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6356. 'extension(2, x[8][12]=[0‥2]) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 11.16/5.01 c 01:02:30.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6383. 'extension(x[7][6]=[0‥2], 2) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.16/5.01 c 01:02:30.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6384. 'extension(2, x[9][6]=[0‥2]) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.16/5.02 c 01:02:30.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6409. 'extension(x[8][1]=[0‥2], 2) :: init: true :: relation: MDD 774095232, 2 edges, 3 vertices, 1 tuples 11.16/5.02 c 01:02:30.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6410. 'extension(2, x[10][1]=[0‥2]) :: init: true :: relation: MDD 774095232, 2 edges, 3 vertices, 1 tuples 11.16/5.02 c 01:02:30.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6435. 'extension(x[8][3]=[0‥2], 2) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.16/5.02 c 01:02:30.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6436. 'extension(2, x[10][3]=[0‥2]) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.16/5.02 c 01:02:30.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6461. 'extension(x[9][7]=[0‥2], 2) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 11.16/5.02 c 01:02:30.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6462. 'extension(2, x[11][7]=[0‥2]) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 11.16/5.03 c 01:02:30.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6487. 'extension(x[10][5]=[0‥2], 2) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 11.16/5.03 c 01:02:30.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6513. 'extension(2, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1813525162, 3 edges, 3 vertices, 2 tuples 11.16/5.03 c 01:02:30.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6514. 'extension(2, x[13][5]=[0‥2]) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 11.16/5.03 c 01:02:30.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6517. 'extension(2, 2) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 11.16/5.03 c 01:02:30.457 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6540. 'extension(2, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 1112073835, 3 edges, 3 vertices, 2 tuples 11.16/5.03 c 01:02:30.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6541. 'extension(x[12][3]=[0‥2], 2) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.16/5.03 c 01:02:30.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6542. 'extension(2, x[14][3]=[0‥2]) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.16/5.04 c 01:02:30.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6567. 'extension(x[14][9]=[0‥2], 2) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.16/5.04 c 01:02:30.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6593. 'extension(2, x[17][9]=[0‥2]) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.16/5.04 c 01:02:30.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6596. 'extension(2, 2) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.16/5.04 c 01:02:30.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6619. 'extension(x[15][13]=[0‥2], 2) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 11.16/5.04 c 01:02:30.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6620. 'extension(2, x[17][13]=[0‥2]) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 11.16/5.04 c 01:02:30.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6647. 'extension(x[15][15]=[0‥2], 2) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 11.16/5.04 c 01:02:30.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6675. 'extension(x[16][0]=[0‥2], 2) :: init: true :: relation: MDD 390034407, 2 edges, 3 vertices, 1 tuples 11.16/5.04 c 01:02:30.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6676. 'extension(2, x[18][0]=[0‥2]) :: init: true :: relation: MDD 390034407, 2 edges, 3 vertices, 1 tuples 11.16/5.05 c 01:02:30.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6701. 'extension(2, x[18][15]=[0‥2]) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 11.16/5.05 c 01:02:30.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6704. 'extension(2, 2) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 11.16/5.05 c 01:02:30.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6729. 'extension(x[17][8]=[0‥2], 2) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 11.16/5.05 c 01:02:30.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6755. 'extension(2, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 1163404461, 3 edges, 3 vertices, 2 tuples 11.16/5.05 c 01:02:30.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6756. 'extension(x[18][6]=[0‥2], 2) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.16/5.05 c 01:02:30.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6757. 'extension(2, x[20][6]=[0‥2]) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.16/5.05 c 01:02:30.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6782. 'extension(2, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 577682023, 3 edges, 3 vertices, 2 tuples 11.16/5.05 c 01:02:30.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6783. 'extension(2, x[20][8]=[0‥2]) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 11.16/5.06 c 01:02:30.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6786. 'extension(2, 2) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 11.16/5.06 c 01:02:30.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6809. 'extension(x[21][0]=[0‥2], 2) :: init: true :: relation: MDD 390034407, 2 edges, 3 vertices, 1 tuples 11.16/5.06 c 01:02:30.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6810. 'extension(2, x[23][0]=[0‥2]) :: init: true :: relation: MDD 390034407, 2 edges, 3 vertices, 1 tuples 11.16/5.06 c 01:02:30.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6835. 'extension(x[21][4]=[0‥2], 2) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.16/5.06 c 01:02:30.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6861. 'extension(x[22][1]=[0‥2], 2) :: init: true :: relation: MDD 774095232, 2 edges, 3 vertices, 1 tuples 11.16/5.06 c 01:02:30.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6862. 'extension(2, x[24][1]=[0‥2]) :: init: true :: relation: MDD 774095232, 2 edges, 3 vertices, 1 tuples 11.16/5.06 c 01:02:30.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6886. 'extension(2, x[24][4]=[0‥2]) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.16/5.07 c 01:02:30.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6889. 'extension(2, 2) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.16/5.07 c 01:02:30.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6911. 'extension(x[24][11]=[0‥2], 2) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 11.16/5.07 c 01:02:30.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6934. 'extension(2, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 732688777, 3 edges, 3 vertices, 2 tuples 11.16/5.07 c 01:02:30.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6935. 'extension(2, x[27][11]=[0‥2]) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 11.16/5.07 c 01:02:30.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6937. 'extension(2, 2) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 11.16/5.08 c 01:02:30.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6956. 'extension(2, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 1449664175, 3 edges, 3 vertices, 2 tuples 11.16/5.08 c 01:02:30.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6957. 'extension(x[25][13]=[0‥2], 2) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 11.16/5.08 c 01:02:30.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6958. 'extension(2, x[27][13]=[0‥2]) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 11.16/5.08 c 01:02:30.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7011. 'extension(x[0][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.08 c 01:02:30.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7013. 'extension(x[2][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.08 c 01:02:30.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7025. 'extension(x[1][14]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.08 c 01:02:30.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7029. 'extension(x[4][14]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.08 c 01:02:30.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7045. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.16/5.08 c 01:02:30.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7047. 'extension(x[4][2]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.08 c 01:02:30.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7053. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.16/5.08 c 01:02:30.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7055. 'extension(x[4][10]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.08 c 01:02:30.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7061. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.16/5.08 c 01:02:30.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7063. 'extension(x[7][2]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.08 c 01:02:30.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7077. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.16/5.08 c 01:02:30.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7079. 'extension(x[5][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7081. 'extension(x[7][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7095. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7097. 'extension(x[7][10]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7113. 'extension(x[6][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7115. 'extension(x[8][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7131. 'extension(x[7][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7133. 'extension(x[9][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7147. 'extension(x[8][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7149. 'extension(x[10][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7163. 'extension(x[8][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7165. 'extension(x[10][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7179. 'extension(x[9][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7181. 'extension(x[11][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7195. 'extension(x[10][5]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7201. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.16/5.09 c 01:02:30.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7203. 'extension(x[13][5]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7217. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7219. 'extension(x[12][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7221. 'extension(x[14][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7235. 'extension(x[14][9]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7241. 'extension(x[17][9]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7255. 'extension(x[15][13]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7257. 'extension(x[17][13]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7273. 'extension(x[15][15]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7279. 'extension(x[16][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7281. 'extension(x[18][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7295. 'extension(x[18][15]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7311. 'extension(x[17][8]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7317. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7319. 'extension(x[18][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7321. 'extension(x[20][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7335. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7337. 'extension(x[20][8]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7351. 'extension(x[21][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.10 c 01:02:30.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7353. 'extension(x[23][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.11 c 01:02:30.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7367. 'extension(x[21][4]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.11 c 01:02:30.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7373. 'extension(x[22][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.11 c 01:02:30.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7375. 'extension(x[24][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.16/5.11 c 01:02:30.533 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7389. 'extension(x[24][4]=[0‥2]) :: init: true :: relation: Empty MDD 11.50/5.11 c 01:02:30.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7403. 'extension(x[24][11]=[0‥2]) :: init: true :: relation: Empty MDD 11.50/5.11 c 01:02:30.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7409. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.50/5.11 c 01:02:30.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7411. 'extension(x[27][11]=[0‥2]) :: init: true :: relation: Empty MDD 11.50/5.11 c 01:02:30.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7423. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.50/5.11 c 01:02:30.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7425. 'extension(x[25][13]=[0‥2]) :: init: true :: relation: Empty MDD 11.50/5.11 c 01:02:30.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7427. 'extension(x[27][13]=[0‥2]) :: init: true :: relation: Empty MDD 16.81/6.80 o 5377 17.11/6.95 o 5279 23.27/9.12 o 5278 23.27/9.18 o 5277 33.48/16.95 o 5189 33.48/16.97 o 5188 37.67/20.67 o 5097 37.67/20.69 o 5096 40.34/23.09 o 5094 40.34/23.10 o 5093 40.49/23.11 o 5092 40.49/23.12 o 5091 40.69/23.22 o 4993 40.91/23.43 o 4992 40.91/23.47 o 4991 41.59/24.01 o 4892 41.59/24.02 o 4891 58.04/39.48 o 4798 58.04/39.49 o 4797 58.14/39.51 o 4700 58.14/39.51 o 4698 58.14/39.52 o 4697 58.27/39.60 o 4696 58.27/39.63 o 4695 58.27/39.70 o 4596 59.47/40.50 o 4595 147.18/126.13 o 4508 147.18/126.17 o 4507 147.18/126.18 o 4506 147.27/126.24 o 4505 147.27/126.25 o 4504 147.37/126.34 o 4503 147.49/126.46 o 4502 147.49/126.48 o 4402 147.67/126.50 o 4302 147.67/126.58 o 4301 147.88/126.67 o 4201 221.22/198.28 o 4110 221.32/198.32 o 4109 221.32/198.33 o 4108 222.32/199.38 o 4107 222.52/199.50 o 4106 222.52/199.52 o 4105 224.63/201.60 o 4104 411.16/385.02 o 4096 411.16/385.03 o 4095 411.46/385.30 o 3995 419.88/393.51 o 3895 419.88/393.55 o 3796 420.40/394.02 o 3795 2520.08/2465.11 Exception in thread "main" java.util.concurrent.TimeoutException 2520.08/2465.11 at concrete.MAC.mac(MAC.scala:188) 2520.08/2465.11 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.08/2465.11 at scala.util.Try$.apply(Try.scala:209) 2520.08/2465.11 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.08/2465.11 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.08/2465.11 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.08/2465.11 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.08/2465.11 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.08/2465.11 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.08/2465.11 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.08/2465.11 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.08/2465.11 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.08/2465.11 at concrete.MAC.oneRun(MAC.scala:253) 2520.08/2465.12 at concrete.MAC.nextSolution(MAC.scala:272) 2520.08/2465.12 at concrete.MAC.nextSolution(MAC.scala:355) 2520.08/2465.12 at concrete.Solver.hasNext(Solver.scala:166) 2520.08/2465.12 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.08/2465.12 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.08/2465.12 at concrete.Solver.foreach(Solver.scala:68) 2520.08/2465.12 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.08/2465.12 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.08/2465.12 at scala.util.Success.map(Try.scala:209) 2520.08/2465.12 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.08/2465.12 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.08/2465.12 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.08/2465.12 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.08/2465.12 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.08/2465.12 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.08/2465.12 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.08/2465.12 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.08/2465.12 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.08/2465.12 at scala.collection.immutable.List.foreach(List.scala:389) 2520.08/2465.12 at scala.App.main(App.scala:76) 2520.08/2465.12 at scala.App.main$(App.scala:74) 2520.08/2465.12 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.08/2465.12 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.08/2465.13 v <instantiation cost="3795"> 2520.08/2465.13 v <list> 2520.08/2465.13 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.08/2465.13 v </list> 2520.08/2465.13 v <values> 2520.08/2465.13 v 0 0 2 2 0 1 2 2 1 0 2 0 2 2 1 2 0 0 2 2 0 1 2 2 1 0 2 0 2 0 1 0 0 2 0 2 0 1 1 2 1 1 2 2 1 0 2 0 2 2 0 2 0 1 1 0 2 1 0 2 1 0 2 0 2 0 0 0 0 2 1 1 2 2 0 2 1 0 2 0 0 0 2 1 2 2 2 2 0 2 2 0 1 0 0 1 0 0 2 1 2 2 2 2 0 2 2 0 2 0 1 1 2 0 1 1 0 0 2 1 0 0 2 0 2 2 1 2 2 2 1 2 0 1 2 1 0 0 0 0 2 2 1 2 0 2 2 2 0 1 0 1 1 0 0 2 0 2 1 2 0 0 2 0 2 1 1 2 2 1 2 2 0 2 1 0 0 0 0 0 2 2 1 2 2 2 2 2 1 0 2 0 2 2 0 2 0 2 1 1 1 2 2 0 1 0 2 0 2 2 0 2 0 2 1 1 1 1 0 0 2 0 2 0 0 2 0 0 0 2 2 1 1 1 0 0 2 2 2 0 0 0 0 0 0 2 2 1 1 2 0 0 2 2 0 1 2 0 2 1 0 2 0 1 1 2 0 2 0 2 0 2 2 0 2 1 2 0 0 2 2 1 0 2 0 2 0 2 0 0 2 2 2 0 2 2 2 1 0 2 0 0 0 2 0 0 2 2 2 0 2 0 2 2 2 2 2 0 1 0 0 2 0 2 2 0 1 0 2 2 2 0 2 0 1 1 0 2 0 1 2 1 1 2 0 0 2 0 2 0 2 1 2 2 0 1 2 2 1 2 0 1 0 0 0 0 2 1 2 2 1 1 2 2 1 0 0 1 0 0 0 0 2 1 0 0 1 2 2 2 1 0 0 2 0 0 1 2 2 1 0 0 2 2 2 0 2 1 1 2 0 2 1 2 1 2 2 2 2 0 0 0 2 2 2 0 0 2 2 2 1 2 2 2 2 1 0 1 2 2 2 1 2 2 2 2 1 2 16 0 12 15 0 13 11 4 13 6 9 13 15 0 13 7 9 12 3 12 13 5 10 13 8 10 10 7 10 11 15 0 13 15 0 13 7 8 13 15 0 13 5 12 11 10 8 10 5 3 8 7 3 6 5 5 6 6 4 6 7 3 6 6 3 7 5 3 8 6 4 6 5 4 7 6 4 6 5 4 7 6 2 8 5 4 7 6 4 6 7 3 6 8 3 5 6 3 7 6 2 8 7 1 8 6 1 9 6 3 7 6 4 6 6 4 6 6 5 5 6 4 6 4 4 8 5 1 10 1 4 11 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 1 1 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 1 1 1 0 0 3 3 0 0 3 3 2 2 2 2 0 0 0 0 2 2 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 3 3 3 3 3 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 2 2 0 0 1 1 1 1 0 0 0 0 0 0 3 3 3 3 3 0 0 0 1 0 0 0 2 1 0 2 2 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 1 3 3 3 0 100 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 200 0 0 0 0 0 200 0 100 0 0 0 0 0 0 0 0 0 100 0 0 200 0 100 200 0 0 300 0 0 300 0 0 100 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 100 500 0 600 100 0 2520.08/2465.13 v </values> 2520.08/2465.13 v </instantiation> 2520.08/2465.13 s SATISFIABLE
INVALID Solution! (10 errors) Violated Constraint c_710 : sum() list() : [ps[1][0], ps[1][1], ps[1][2]] coeffs() : 480, 480, 0 condition() : (in,7560..8640)
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 (13758 MiB free)
memory of node 1: 16384 MiB (14212 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292946-1532300545/watcher-4292946-1532300545 -o /tmp/evaluation-result-4292946-1532300545/solver-4292946-1532300545 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3500 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=482225249 -superng HOME/instance-4292946-1532300545.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3960, runsolver pid=3957
[startup+0.100096 s]*
/proc/loadavg: 1.69 1.40 1.38 5/207 4017
/proc/meminfo: memFree=28635916/32770624 swapFree=67108860/67108860
[pid=3960] ppid=3957 vsize=9972712 memory=17224 CPUtime=0.09 cores=1,3,5,7
/proc/3960/stat : 3960 (java) S 3957 3960 3468 0 -1 1077944320 4445 13183 0 0 1 1 5 2 20 0 6 0 47617685 10212057088 4306 33554432000 4194304 4196468 140736046716304 140736046698848 139789444542199 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
/proc/3960/statm: 2493178 4306 1934 1 0 2481616 0
[pid=3960/tid=4013] ppid=3957 vsize=9972712 memory=4718545630382498451 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4013/stat : 4013 (java) R 3957 3960 3468 0 -1 4202560 2288 13183 0 0 0 0 5 2 20 0 6 0 47617694 10212057088 4306 33554432000 4194304 4196468 140736046716304 139789416378960 139789437259351 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4014] ppid=3957 vsize=9972712 memory=5793855720995666361 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4014/stat : 4014 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 6 0 47617694 10212057088 4306 33554432000 4194304 4196468 140736046716304 139789448785040 139789444552405 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4015] ppid=3957 vsize=9972712 memory=140469985773184 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4015/stat : 4015 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 6 0 47617694 10212057088 4306 33554432000 4194304 4196468 140736046716304 139789376265232 139789444552405 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4016] ppid=3957 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4016/stat : 4016 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 6 0 47617694 10212057088 4306 33554432000 4194304 4196468 140736046716304 139789016345488 139789444552405 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4017] ppid=3957 vsize=9979012 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4017/stat : 4017 (java) S 3957 3960 3468 0 -1 1077944384 2 13183 0 0 0 0 5 2 20 0 6 0 47617694 10218508288 4371 33554432000 4194304 4196468 140736046716304 139789015292688 139789444552405 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17224 KiB
[startup+0.209942 s]*
/proc/loadavg: 1.69 1.40 1.38 5/216 4026
/proc/meminfo: memFree=28610768/32770624 swapFree=67108860/67108860
[pid=3960] ppid=3957 vsize=10818936 memory=47920 CPUtime=0.25 cores=1,3,5,7
/proc/3960/stat : 3960 (java) S 3957 3960 3468 0 -1 1077944320 9311 13183 0 0 16 2 5 2 20 0 15 0 47617685 11078590464 11980 33554432000 4194304 4196468 140736046716304 140736046698848 139789444542199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
/proc/3960/statm: 2704734 11980 2972 1 0 2667157 0
[pid=3960/tid=4013] ppid=3957 vsize=10818904 memory=-2899909650764262549 CPUtime=0.18 cores=1,3,5,7
/proc/3960/task/4013/stat : 4013 (java) R 3957 3960 3468 0 -1 4202560 5966 13183 0 0 10 1 5 2 20 0 15 0 47617694 11078557696 11980 33554432000 4194304 4196468 140736046716304 139789416367008 139789428622686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4014] ppid=3957 vsize=10818904 memory=4211974196190563722 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4014/stat : 4014 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617694 11078557696 11980 33554432000 4194304 4196468 140736046716304 139789448785040 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4015] ppid=3957 vsize=10818904 memory=140469985773184 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4015/stat : 4015 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617694 11078557696 11980 33554432000 4194304 4196468 140736046716304 139789376265232 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4016] ppid=3957 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4016/stat : 4016 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617694 11078557696 11980 33554432000 4194304 4196468 140736046716304 139789016345488 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4017] ppid=3957 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4017/stat : 4017 (java) S 3957 3960 3468 0 -1 1077944384 2 13183 0 0 0 0 5 2 20 0 15 0 47617694 11078557696 11980 33554432000 4194304 4196468 140736046716304 139789015292688 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4018] ppid=3957 vsize=10818904 memory=140469985773184 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4018/stat : 4018 (java) S 3957 3960 3468 0 -1 1077944384 2 13183 0 0 0 0 5 2 20 0 15 0 47617696 11078557696 11980 33554432000 4194304 4196468 140736046716304 139788514482544 139789444553346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4019] ppid=3957 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4019/stat : 4019 (java) S 3957 3960 3468 0 -1 1077944384 13 13183 0 0 0 0 5 2 20 0 15 0 47617696 11078557696 11980 33554432000 4194304 4196468 140736046716304 139788434793504 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4020] ppid=3957 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4020/stat : 4020 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617696 11078557696 11980 33554432000 4194304 4196468 140736046716304 139788233466736 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4021] ppid=3957 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4021/stat : 4021 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11078557696 11980 33554432000 4194304 4196468 140736046716304 139787993175888 139789444560795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4022] ppid=3957 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3960/task/4022/stat : 4022 (java) S 3957 3960 3468 0 -1 1077944384 493 13183 0 0 1 0 5 2 20 0 15 0 47617699 11078557696 11980 33554432000 4194304 4196468 140736046716304 139788513430384 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4023] ppid=3957 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4023/stat : 4023 (java) S 3957 3960 3468 0 -1 1077944384 87 13183 0 0 0 0 5 2 20 0 15 0 47617699 11078557696 11980 33554432000 4194304 4196468 140736046716304 139788512377584 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4024] ppid=3957 vsize=10818904 memory=140469985773184 CPUtime=0.1 cores=1,3,5,7
/proc/3960/task/4024/stat : 4024 (java) R 3957 3960 3468 0 -1 4202560 549 13183 0 0 3 0 5 2 20 0 15 0 47617699 11078557696 11980 33554432000 4194304 4196468 140736046716304 139788511324784 139789423147004 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4025] ppid=3957 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4025/stat : 4025 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11078557696 11980 33554432000 4194304 4196468 140736046716304 139787959618272 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4026] ppid=3957 vsize=10818904 memory=140469985773184 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4026/stat : 4026 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617700 11078557696 11980 33554432000 4194304 4196468 140736046716304 139788510272176 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 47920 KiB
[startup+0.310479 s]*
/proc/loadavg: 1.69 1.40 1.38 5/216 4026
/proc/meminfo: memFree=28595388/32770624 swapFree=67108860/67108860
[pid=3960] ppid=3957 vsize=10819352 memory=55796 CPUtime=0.38 cores=1,3,5,7
/proc/3960/stat : 3960 (java) S 3957 3960 3468 0 -1 1077944320 10511 13183 0 0 29 2 5 2 20 0 15 0 47617685 11079016448 13949 33554432000 4194304 4196468 140736046716304 140736046698848 139789444542199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
/proc/3960/statm: 2704838 13949 3091 1 0 2667149 0
[pid=3960/tid=4013] ppid=3957 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/3960/task/4013/stat : 4013 (java) R 3957 3960 3468 0 -1 4202560 7156 13183 0 0 20 1 5 2 20 0 15 0 47617694 11079016448 13949 33554432000 4194304 4196468 140736046716304 139789416354208 139789426105728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4014] ppid=3957 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4014/stat : 4014 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617694 11079016448 13949 33554432000 4194304 4196468 140736046716304 139789448785040 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4015] ppid=3957 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4015/stat : 4015 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617694 11079016448 13949 33554432000 4194304 4196468 140736046716304 139789376265232 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4016] ppid=3957 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4016/stat : 4016 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617694 11079016448 13949 33554432000 4194304 4196468 140736046716304 139789016345488 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4017] ppid=3957 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4017/stat : 4017 (java) S 3957 3960 3468 0 -1 1077944384 2 13183 0 0 0 0 5 2 20 0 15 0 47617694 11079016448 13949 33554432000 4194304 4196468 140736046716304 139789015292688 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4018] ppid=3957 vsize=10819352 memory=140469985773183 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4018/stat : 4018 (java) S 3957 3960 3468 0 -1 1077944384 2 13183 0 0 0 0 5 2 20 0 15 0 47617696 11079016448 13949 33554432000 4194304 4196468 140736046716304 139788514482544 139789444553346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4019] ppid=3957 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4019/stat : 4019 (java) S 3957 3960 3468 0 -1 1077944384 13 13183 0 0 0 0 5 2 20 0 15 0 47617696 11079016448 13949 33554432000 4194304 4196468 140736046716304 139788434793504 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4020] ppid=3957 vsize=10819352 memory=140469985773184 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4020/stat : 4020 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617696 11079016448 13949 33554432000 4194304 4196468 140736046716304 139788233466736 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4021] ppid=3957 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4021/stat : 4021 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11079016448 13949 33554432000 4194304 4196468 140736046716304 139787993175888 139789444560795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4022] ppid=3957 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3960/task/4022/stat : 4022 (java) S 3957 3960 3468 0 -1 1077944384 494 13183 0 0 1 0 5 2 20 0 15 0 47617699 11079016448 13949 33554432000 4194304 4196468 140736046716304 139788513430384 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4023] ppid=3957 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3960/task/4023/stat : 4023 (java) S 3957 3960 3468 0 -1 1077944384 87 13183 0 0 1 0 5 2 20 0 15 0 47617699 11079016448 13949 33554432000 4194304 4196468 140736046716304 139788512377584 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4024] ppid=3957 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3960/task/4024/stat : 4024 (java) S 3957 3960 3468 0 -1 1077944384 556 13183 0 0 5 0 5 2 20 0 15 0 47617699 11079016448 13949 33554432000 4194304 4196468 140736046716304 139788511324784 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4025] ppid=3957 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4025/stat : 4025 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11079016448 13949 33554432000 4194304 4196468 140736046716304 139787959618272 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4026] ppid=3957 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4026/stat : 4026 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617700 11079016448 13949 33554432000 4194304 4196468 140736046716304 139788510272176 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55796 KiB
[startup+0.700753 s]
/proc/loadavg: 1.69 1.40 1.38 5/216 4026
/proc/meminfo: memFree=28585960/32770624 swapFree=67108860/67108860
[pid=3960] ppid=3957 vsize=10819352 memory=88668 CPUtime=0.98 cores=1,3,5,7
/proc/3960/stat : 3960 (java) S 3957 3960 3468 0 -1 1077944320 16756 13183 0 0 87 4 5 2 20 0 15 0 47617685 11079016448 22167 33554432000 4194304 4196468 140736046716304 140736046698848 139789444542199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
/proc/3960/statm: 2704838 22167 3237 1 0 2667149 0
[pid=3960/tid=4013] ppid=3957 vsize=10819352 memory=54 CPUtime=0.67 cores=1,3,5,7
/proc/3960/task/4013/stat : 4013 (java) R 3957 3960 3468 0 -1 4202560 12330 13183 0 0 57 3 5 2 20 0 15 0 47617694 11079016448 22167 33554432000 4194304 4196468 140736046716304 139789416363024 139789444556081 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4014] ppid=3957 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4014/stat : 4014 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617694 11079016448 22167 33554432000 4194304 4196468 140736046716304 139789448785040 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4015] ppid=3957 vsize=10819352 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4015/stat : 4015 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617694 11079016448 22167 33554432000 4194304 4196468 140736046716304 139789376265232 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4016] ppid=3957 vsize=10819352 memory=15844 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4016/stat : 4016 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617694 11079016448 22167 33554432000 4194304 4196468 140736046716304 139789016345488 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4017] ppid=3957 vsize=10819352 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4017/stat : 4017 (java) S 3957 3960 3468 0 -1 1077944384 2 13183 0 0 0 0 5 2 20 0 15 0 47617694 11079016448 22167 33554432000 4194304 4196468 140736046716304 139789015292688 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4018] ppid=3957 vsize=10819352 memory=288230587427463884 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4018/stat : 4018 (java) S 3957 3960 3468 0 -1 1077944384 5 13183 0 0 0 0 5 2 20 0 15 0 47617696 11079016448 22167 33554432000 4194304 4196468 140736046716304 139788514482544 139789444553346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4019] ppid=3957 vsize=10819352 memory=13563782421044628 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4019/stat : 4019 (java) S 3957 3960 3468 0 -1 1077944384 13 13183 0 0 0 0 5 2 20 0 15 0 47617696 11079016448 22167 33554432000 4194304 4196468 140736046716304 139788434793504 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4020] ppid=3957 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4020/stat : 4020 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617696 11079016448 22167 33554432000 4194304 4196468 140736046716304 139788233466736 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4021] ppid=3957 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4021/stat : 4021 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11079016448 22167 33554432000 4194304 4196468 140736046716304 139787993175888 139789444560795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4022] ppid=3957 vsize=10819352 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/3960/task/4022/stat : 4022 (java) S 3957 3960 3468 0 -1 1077944384 888 13183 0 0 7 0 5 2 20 0 15 0 47617699 11079016448 22167 33554432000 4194304 4196468 140736046716304 139788513430384 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4023] ppid=3957 vsize=10819352 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/3960/task/4023/stat : 4023 (java) S 3957 3960 3468 0 -1 1077944384 682 13183 0 0 9 0 5 2 20 0 15 0 47617699 11079016448 22167 33554432000 4194304 4196468 140736046716304 139788512377584 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4024] ppid=3957 vsize=10819352 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/3960/task/4024/stat : 4024 (java) S 3957 3960 3468 0 -1 1077944384 635 13183 0 0 12 0 5 2 20 0 15 0 47617699 11079016448 22167 33554432000 4194304 4196468 140736046716304 139788511324784 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4025] ppid=3957 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4025/stat : 4025 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11079016448 22167 33554432000 4194304 4196468 140736046716304 139787959618272 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4026] ppid=3957 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4026/stat : 4026 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617700 11079016448 22167 33554432000 4194304 4196468 140736046716304 139788510272176 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88668 KiB
[startup+1.50125 s]
/proc/loadavg: 1.69 1.40 1.38 4/216 4026
/proc/meminfo: memFree=28532568/32770624 swapFree=67108860/67108860
[pid=3960] ppid=3957 vsize=10828108 memory=123548 CPUtime=1.94 cores=1,3,5,7
/proc/3960/stat : 3960 (java) S 3957 3960 3468 0 -1 1077944320 21219 13183 0 0 181 6 5 2 20 0 15 0 47617685 11087982592 30887 33554432000 4194304 4196468 140736046716304 140736046698848 139789444542199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
/proc/3960/statm: 2707027 30887 3442 1 0 2668685 0
[pid=3960/tid=4013] ppid=3957 vsize=10828108 memory=0 CPUtime=1.11 cores=1,3,5,7
/proc/3960/task/4013/stat : 4013 (java) R 3957 3960 3468 0 -1 4202560 15061 13183 0 0 100 4 5 2 20 0 15 0 47617694 11087982592 30887 33554432000 4194304 4196468 140736046716304 139789416375696 139789428622686 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4014] ppid=3957 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4014/stat : 4014 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617694 11087982592 30887 33554432000 4194304 4196468 140736046716304 139789448785040 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4015] ppid=3957 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4015/stat : 4015 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617694 11087982592 30887 33554432000 4194304 4196468 140736046716304 139789376265232 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4016] ppid=3957 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4016/stat : 4016 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617694 11087982592 30887 33554432000 4194304 4196468 140736046716304 139789016345488 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4017] ppid=3957 vsize=10828108 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4017/stat : 4017 (java) S 3957 3960 3468 0 -1 1077944384 2 13183 0 0 0 0 5 2 20 0 15 0 47617694 11087982592 30887 33554432000 4194304 4196468 140736046716304 139789015292688 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4018] ppid=3957 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4018/stat : 4018 (java) S 3957 3960 3468 0 -1 1077944384 5 13183 0 0 0 0 5 2 20 0 15 0 47617696 11087982592 30887 33554432000 4194304 4196468 140736046716304 139788514482544 139789444553346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4019] ppid=3957 vsize=10828108 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4019/stat : 4019 (java) S 3957 3960 3468 0 -1 1077944384 13 13183 0 0 0 0 5 2 20 0 15 0 47617696 11087982592 30887 33554432000 4194304 4196468 140736046716304 139788434793504 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4020] ppid=3957 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4020/stat : 4020 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617696 11087982592 30887 33554432000 4194304 4196468 140736046716304 139788233466736 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4021] ppid=3957 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4021/stat : 4021 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11087982592 30887 33554432000 4194304 4196468 140736046716304 139787993175888 139789444560795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4022] ppid=3957 vsize=10828108 memory=4580 CPUtime=0.29 cores=1,3,5,7
/proc/3960/task/4022/stat : 4022 (java) S 3957 3960 3468 0 -1 1077944384 1844 13183 0 0 22 0 5 2 20 0 15 0 47617699 11087982592 30887 33554432000 4194304 4196468 140736046716304 139788513430384 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4023] ppid=3957 vsize=10828108 memory=11126175390 CPUtime=0.32 cores=1,3,5,7
/proc/3960/task/4023/stat : 4023 (java) S 3957 3960 3468 0 -1 1077944384 951 13183 0 0 25 0 5 2 20 0 15 0 47617699 11087982592 30887 33554432000 4194304 4196468 140736046716304 139788512377584 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4024] ppid=3957 vsize=10828108 memory=280939716857600 CPUtime=0.41 cores=1,3,5,7
/proc/3960/task/4024/stat : 4024 (java) S 3957 3960 3468 0 -1 1077944384 1142 13183 0 0 34 0 5 2 20 0 15 0 47617699 11087982592 30887 33554432000 4194304 4196468 140736046716304 139788511324784 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4025] ppid=3957 vsize=10828108 memory=280939716669496 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4025/stat : 4025 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11087982592 30887 33554432000 4194304 4196468 140736046716304 139787959618272 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4026] ppid=3957 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4026/stat : 4026 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617700 11087982592 30887 33554432000 4194304 4196468 140736046716304 139788510272176 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
Current children cumulated CPU time: 1.94 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/3960/task/4013/stat : 4013 (java) R 3957 3960 3468 0 -1 4202560 545055 13183 0 0 236674 96 5 2 20 0 15 0 47617694 11180277760 633184 33554432000 4194304 4196468 140736046716304 139789416376704 139789072518513 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4014] ppid=3957 vsize=10918240 memory=2532736 CPUtime=9.81 cores=1,3,5,7
/proc/3960/task/4014/stat : 4014 (java) S 3957 3960 3468 0 -1 1077944384 26396 13183 0 0 929 45 5 2 20 0 15 0 47617694 11180277760 633184 33554432000 4194304 4196468 140736046716304 139789448785040 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4015] ppid=3957 vsize=10918240 memory=2532736 CPUtime=9.86 cores=1,3,5,7
/proc/3960/task/4015/stat : 4015 (java) S 3957 3960 3468 0 -1 1077944384 27853 13183 0 0 932 47 5 2 20 0 15 0 47617694 11180277760 633184 33554432000 4194304 4196468 140736046716304 139789376265232 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4016] ppid=3957 vsize=10918240 memory=2530644 CPUtime=9.81 cores=1,3,5,7
/proc/3960/task/4016/stat : 4016 (java) S 3957 3960 3468 0 -1 1077944384 24724 13183 0 0 929 45 5 2 20 0 15 0 47617694 11180277760 633184 33554432000 4194304 4196468 140736046716304 139789016345488 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4017] ppid=3957 vsize=10918240 memory=157761397514505 CPUtime=9.8 cores=1,3,5,7
/proc/3960/task/4017/stat : 4017 (java) S 3957 3960 3468 0 -1 1077944384 20570 13183 0 0 927 46 5 2 20 0 15 0 47617694 11180277760 633184 33554432000 4194304 4196468 140736046716304 139789015292688 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4018] ppid=3957 vsize=10918240 memory=16248 CPUtime=3.14 cores=1,3,5,7
/proc/3960/task/4018/stat : 4018 (java) S 3957 3960 3468 0 -1 1077944384 29739 13183 0 0 283 24 5 2 20 0 15 0 47617696 11180277760 633184 33554432000 4194304 4196468 140736046716304 139788514482544 139789444553346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4019] ppid=3957 vsize=10918240 memory=2521984 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4019/stat : 4019 (java) S 3957 3960 3468 0 -1 1077944384 14 13183 0 0 0 0 5 2 20 0 15 0 47617696 11180277760 633184 33554432000 4194304 4196468 140736046716304 139788434793632 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4020] ppid=3957 vsize=10918240 memory=2521984 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4020/stat : 4020 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617696 11180277760 633184 33554432000 4194304 4196468 140736046716304 139788233466752 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4021] ppid=3957 vsize=10918240 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4021/stat : 4021 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11180277760 633184 33554432000 4194304 4196468 140736046716304 139787993175888 139789444560795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4022] ppid=3957 vsize=10918240 memory=3172 CPUtime=11.14 cores=1,3,5,7
/proc/3960/task/4022/stat : 4022 (java) S 3957 3960 3468 0 -1 1077944384 88534 13183 0 0 1098 9 5 2 20 0 15 0 47617699 11180277760 633184 33554432000 4194304 4196468 140736046716304 139788513430384 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4023] ppid=3957 vsize=10918240 memory=4140 CPUtime=10.29 cores=1,3,5,7
/proc/3960/task/4023/stat : 4023 (java) S 3957 3960 3468 0 -1 1077944384 81046 13183 0 0 1013 9 5 2 20 0 15 0 47617699 11180277760 633184 33554432000 4194304 4196468 140736046716304 139788512377584 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4024] ppid=3957 vsize=10918240 memory=15884 CPUtime=4.69 cores=1,3,5,7
/proc/3960/task/4024/stat : 4024 (java) S 3957 3960 3468 0 -1 1077944384 96170 13183 0 0 452 10 5 2 20 0 15 0 47617699 11180277760 633184 33554432000 4194304 4196468 140736046716304 139788511324784 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4025] ppid=3957 vsize=10918240 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4025/stat : 4025 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11180277760 633184 33554432000 4194304 4196468 140736046716304 139787959618272 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4026] ppid=3957 vsize=10918240 memory=15884 CPUtime=1.37 cores=1,3,5,7
/proc/3960/task/4026/stat : 4026 (java) S 3957 3960 3468 0 -1 1077944384 1778 13183 0 0 60 70 5 2 20 0 15 0 47617700 11180277760 633184 33554432000 4194304 4196468 140736046716304 139788510272176 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
Current children cumulated CPU time: 2437.15 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 2532736 KiB
[startup+2442.3 s]
/proc/loadavg: 2.44 1.88 1.74 3/215 4225
/proc/meminfo: memFree=25032032/32770624 swapFree=67108860/67108860
[pid=3960] ppid=3957 vsize=10918240 memory=2580452 CPUtime=2497.24 cores=1,3,5,7
/proc/3960/stat : 3960 (java) S 3957 3960 3468 0 -1 1077944320 993369 13183 0 0 249330 387 5 2 20 0 15 0 47617685 11180277760 645113 33554432000 4194304 4196468 140736046716304 140736046698848 139789444542199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
/proc/3960/statm: 2729560 645113 3535 1 0 2691213 0
[pid=3960/tid=4013] ppid=3957 vsize=10918240 memory=2580452 CPUtime=2427.74 cores=1,3,5,7
/proc/3960/task/4013/stat : 4013 (java) R 3957 3960 3468 0 -1 4202560 591534 13183 0 0 242668 99 5 2 20 0 15 0 47617694 11180277760 645113 33554432000 4194304 4196468 140736046716304 139789416376704 139789061204164 0 4 0 16800975 0 0 0 -1 5 0 0 35 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4014] ppid=3957 vsize=10918240 memory=2580452 CPUtime=9.83 cores=1,3,5,7
/proc/3960/task/4014/stat : 4014 (java) S 3957 3960 3468 0 -1 1077944384 27104 13183 0 0 931 45 5 2 20 0 15 0 47617694 11180277760 645113 33554432000 4194304 4196468 140736046716304 139789448785040 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4015] ppid=3957 vsize=10918240 memory=8112282956445269571 CPUtime=9.88 cores=1,3,5,7
/proc/3960/task/4015/stat : 4015 (java) S 3957 3960 3468 0 -1 1077944384 29298 13183 0 0 934 47 5 2 20 0 15 0 47617694 11180277760 645113 33554432000 4194304 4196468 140736046716304 139789376265232 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4016] ppid=3957 vsize=10918240 memory=2580452 CPUtime=9.84 cores=1,3,5,7
/proc/3960/task/4016/stat : 4016 (java) S 3957 3960 3468 0 -1 1077944384 24862 13183 0 0 931 46 5 2 20 0 15 0 47617694 11180277760 645113 33554432000 4194304 4196468 140736046716304 139789016345488 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4017] ppid=3957 vsize=10918240 memory=2568136 CPUtime=9.82 cores=1,3,5,7
/proc/3960/task/4017/stat : 4017 (java) S 3957 3960 3468 0 -1 1077944384 20679 13183 0 0 929 46 5 2 20 0 15 0 47617694 11180277760 645113 33554432000 4194304 4196468 140736046716304 139789015292688 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4018] ppid=3957 vsize=10918240 memory=2545048 CPUtime=3.16 cores=1,3,5,7
/proc/3960/task/4018/stat : 4018 (java) S 3957 3960 3468 0 -1 1077944384 30111 13183 0 0 284 25 5 2 20 0 15 0 47617696 11180277760 645113 33554432000 4194304 4196468 140736046716304 139788514482544 139789444553346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4019] ppid=3957 vsize=10918240 memory=2570212 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4019/stat : 4019 (java) S 3957 3960 3468 0 -1 1077944384 14 13183 0 0 0 0 5 2 20 0 15 0 47617696 11180277760 645113 33554432000 4194304 4196468 140736046716304 139788434793632 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4020] ppid=3957 vsize=10918240 memory=2570212 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4020/stat : 4020 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617696 11180277760 645113 33554432000 4194304 4196468 140736046716304 139788233466752 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4021] ppid=3957 vsize=10918240 memory=2570212 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4021/stat : 4021 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11180277760 645113 33554432000 4194304 4196468 140736046716304 139787993175888 139789444560795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4022] ppid=3957 vsize=10918240 memory=2570212 CPUtime=11.14 cores=1,3,5,7
/proc/3960/task/4022/stat : 4022 (java) S 3957 3960 3468 0 -1 1077944384 88538 13183 0 0 1098 9 5 2 20 0 15 0 47617699 11180277760 645113 33554432000 4194304 4196468 140736046716304 139788513430384 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4023] ppid=3957 vsize=10918240 memory=2580452 CPUtime=10.29 cores=1,3,5,7
/proc/3960/task/4023/stat : 4023 (java) S 3957 3960 3468 0 -1 1077944384 81054 13183 0 0 1013 9 5 2 20 0 15 0 47617699 11180277760 645113 33554432000 4194304 4196468 140736046716304 139788512377584 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4024] ppid=3957 vsize=10918240 memory=796 CPUtime=4.69 cores=1,3,5,7
/proc/3960/task/4024/stat : 4024 (java) S 3957 3960 3468 0 -1 1077944384 96174 13183 0 0 452 10 5 2 20 0 15 0 47617699 11180277760 645113 33554432000 4194304 4196468 140736046716304 139788511324784 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4025] ppid=3957 vsize=10918240 memory=2580452 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4025/stat : 4025 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11180277760 645113 33554432000 4194304 4196468 140736046716304 139787959618272 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4026] ppid=3957 vsize=10918240 memory=2543000 CPUtime=1.4 cores=1,3,5,7
/proc/3960/task/4026/stat : 4026 (java) S 3957 3960 3468 0 -1 1077944384 1804 13183 0 0 61 72 5 2 20 0 15 0 47617700 11180277760 645113 33554432000 4194304 4196468 140736046716304 139788510272176 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
Current children cumulated CPU time: 2497.24 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 2580452 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465.11 s]
/proc/loadavg: 2.54 1.94 1.76 3/215 4225
/proc/meminfo: memFree=23105624/32770624 swapFree=67108860/67108860
[pid=3960] ppid=3957 vsize=10918240 memory=2602996 CPUtime=2520.08 cores=1,3,5,7
/proc/3960/stat : 3960 (java) S 3957 3960 3468 0 -1 1077944320 1018073 13183 0 0 251612 389 5 2 20 0 15 0 47617685 11180277760 650749 33554432000 4194304 4196468 140736046716304 140736046698848 139789444542199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
/proc/3960/statm: 2729560 650749 3535 1 0 2691213 0
[pid=3960/tid=4013] ppid=3957 vsize=10918240 memory=2594300 CPUtime=2450.54 cores=1,3,5,7
/proc/3960/task/4013/stat : 4013 (java) R 3957 3960 3468 0 -1 4202560 616204 13183 0 0 244946 101 5 2 20 0 15 0 47617694 11180277760 650749 33554432000 4194304 4196468 140736046716304 139789416377520 139789072518463 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4014] ppid=3957 vsize=10918240 memory=1228 CPUtime=9.84 cores=1,3,5,7
/proc/3960/task/4014/stat : 4014 (java) S 3957 3960 3468 0 -1 1077944384 27107 13183 0 0 932 45 5 2 20 0 15 0 47617694 11180277760 650749 33554432000 4194304 4196468 140736046716304 139789448785040 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4015] ppid=3957 vsize=10918240 memory=2602996 CPUtime=9.88 cores=1,3,5,7
/proc/3960/task/4015/stat : 4015 (java) S 3957 3960 3468 0 -1 1077944384 29300 13183 0 0 934 47 5 2 20 0 15 0 47617694 11180277760 650749 33554432000 4194304 4196468 140736046716304 139789376265232 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4016] ppid=3957 vsize=10918240 memory=8112282956445269571 CPUtime=9.85 cores=1,3,5,7
/proc/3960/task/4016/stat : 4016 (java) S 3957 3960 3468 0 -1 1077944384 24865 13183 0 0 932 46 5 2 20 0 15 0 47617694 11180277760 650749 33554432000 4194304 4196468 140736046716304 139789016345488 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4017] ppid=3957 vsize=10918240 memory=2594300 CPUtime=9.83 cores=1,3,5,7
/proc/3960/task/4017/stat : 4017 (java) S 3957 3960 3468 0 -1 1077944384 20682 13183 0 0 930 46 5 2 20 0 15 0 47617694 11180277760 650749 33554432000 4194304 4196468 140736046716304 139789015292688 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4018] ppid=3957 vsize=10918240 memory=2580452 CPUtime=3.16 cores=1,3,5,7
/proc/3960/task/4018/stat : 4018 (java) S 3957 3960 3468 0 -1 1077944384 30132 13183 0 0 284 25 5 2 20 0 15 0 47617696 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788514482544 139789444553346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4019] ppid=3957 vsize=10918240 memory=2594300 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4019/stat : 4019 (java) S 3957 3960 3468 0 -1 1077944384 14 13183 0 0 0 0 5 2 20 0 15 0 47617696 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788434793632 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4020] ppid=3957 vsize=10918240 memory=2594300 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4020/stat : 4020 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617696 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788233466752 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4021] ppid=3957 vsize=10918240 memory=2594300 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4021/stat : 4021 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11180277760 650749 33554432000 4194304 4196468 140736046716304 139787993175888 139789444560795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4022] ppid=3957 vsize=10918240 memory=2602996 CPUtime=11.14 cores=1,3,5,7
/proc/3960/task/4022/stat : 4022 (java) S 3957 3960 3468 0 -1 1077944384 88538 13183 0 0 1098 9 5 2 20 0 15 0 47617699 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788513430384 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4023] ppid=3957 vsize=10918240 memory=2592252 CPUtime=10.29 cores=1,3,5,7
/proc/3960/task/4023/stat : 4023 (java) S 3957 3960 3468 0 -1 1077944384 81054 13183 0 0 1013 9 5 2 20 0 15 0 47617699 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788512377584 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4024] ppid=3957 vsize=10918240 memory=629 CPUtime=4.69 cores=1,3,5,7
/proc/3960/task/4024/stat : 4024 (java) S 3957 3960 3468 0 -1 1077944384 96174 13183 0 0 452 10 5 2 20 0 15 0 47617699 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788511324784 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4025] ppid=3957 vsize=10918240 memory=280939717542736 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4025/stat : 4025 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11180277760 650749 33554432000 4194304 4196468 140736046716304 139787959618272 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4026] ppid=3957 vsize=10918240 memory=2602996 CPUtime=1.41 cores=1,3,5,7
/proc/3960/task/4026/stat : 4026 (java) S 3957 3960 3468 0 -1 1077944384 1806 13183 0 0 62 72 5 2 20 0 15 0 47617700 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788510272176 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 2602996 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2465.17 s]
# the end of solver process 3960 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.2 s, system=3.96417 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2465.11 s]
/proc/loadavg: 2.54 1.94 1.76 3/215 4225
/proc/meminfo: memFree=23105624/32770624 swapFree=67108860/67108860
[pid=3960] ppid=3957 vsize=10918240 memory=2602996 CPUtime=2520.08 cores=1,3,5,7
/proc/3960/stat : 3960 (java) S 3957 3960 3468 0 -1 1077944320 1018073 13183 0 0 251612 389 5 2 20 0 15 0 47617685 11180277760 650749 33554432000 4194304 4196468 140736046716304 140736046698848 139789444542199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
/proc/3960/statm: 2729560 650749 3535 1 0 2691213 0
[pid=3960/tid=4013] ppid=3957 vsize=10918240 memory=2594300 CPUtime=2450.54 cores=1,3,5,7
/proc/3960/task/4013/stat : 4013 (java) R 3957 3960 3468 0 -1 4202560 616204 13183 0 0 244946 101 5 2 20 0 15 0 47617694 11180277760 650749 33554432000 4194304 4196468 140736046716304 139789416377520 139789072518463 0 4 0 16800975 0 0 0 -1 3 0 0 35 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4014] ppid=3957 vsize=10918240 memory=1228 CPUtime=9.84 cores=1,3,5,7
/proc/3960/task/4014/stat : 4014 (java) S 3957 3960 3468 0 -1 1077944384 27107 13183 0 0 932 45 5 2 20 0 15 0 47617694 11180277760 650749 33554432000 4194304 4196468 140736046716304 139789448785040 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4015] ppid=3957 vsize=10918240 memory=2602996 CPUtime=9.88 cores=1,3,5,7
/proc/3960/task/4015/stat : 4015 (java) S 3957 3960 3468 0 -1 1077944384 29300 13183 0 0 934 47 5 2 20 0 15 0 47617694 11180277760 650749 33554432000 4194304 4196468 140736046716304 139789376265232 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4016] ppid=3957 vsize=10918240 memory=8112282956445269571 CPUtime=9.85 cores=1,3,5,7
/proc/3960/task/4016/stat : 4016 (java) S 3957 3960 3468 0 -1 1077944384 24865 13183 0 0 932 46 5 2 20 0 15 0 47617694 11180277760 650749 33554432000 4194304 4196468 140736046716304 139789016345488 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4017] ppid=3957 vsize=10918240 memory=2594300 CPUtime=9.83 cores=1,3,5,7
/proc/3960/task/4017/stat : 4017 (java) S 3957 3960 3468 0 -1 1077944384 20682 13183 0 0 930 46 5 2 20 0 15 0 47617694 11180277760 650749 33554432000 4194304 4196468 140736046716304 139789015292688 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4018] ppid=3957 vsize=10918240 memory=2580452 CPUtime=3.16 cores=1,3,5,7
/proc/3960/task/4018/stat : 4018 (java) S 3957 3960 3468 0 -1 1077944384 30132 13183 0 0 284 25 5 2 20 0 15 0 47617696 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788514482544 139789444553346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4019] ppid=3957 vsize=10918240 memory=2594300 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4019/stat : 4019 (java) S 3957 3960 3468 0 -1 1077944384 14 13183 0 0 0 0 5 2 20 0 15 0 47617696 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788434793632 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4020] ppid=3957 vsize=10918240 memory=2594300 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4020/stat : 4020 (java) S 3957 3960 3468 0 -1 1077944384 1 13183 0 0 0 0 5 2 20 0 15 0 47617696 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788233466752 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4021] ppid=3957 vsize=10918240 memory=2594300 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4021/stat : 4021 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11180277760 650749 33554432000 4194304 4196468 140736046716304 139787993175888 139789444560795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4022] ppid=3957 vsize=10918240 memory=2602996 CPUtime=11.14 cores=1,3,5,7
/proc/3960/task/4022/stat : 4022 (java) S 3957 3960 3468 0 -1 1077944384 88538 13183 0 0 1098 9 5 2 20 0 15 0 47617699 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788513430384 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4023] ppid=3957 vsize=10918240 memory=2592252 CPUtime=10.29 cores=1,3,5,7
/proc/3960/task/4023/stat : 4023 (java) S 3957 3960 3468 0 -1 1077944384 81054 13183 0 0 1013 9 5 2 20 0 15 0 47617699 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788512377584 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4024] ppid=3957 vsize=10918240 memory=629 CPUtime=4.69 cores=1,3,5,7
/proc/3960/task/4024/stat : 4024 (java) S 3957 3960 3468 0 -1 1077944384 96174 13183 0 0 452 10 5 2 20 0 15 0 47617699 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788511324784 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4025] ppid=3957 vsize=10918240 memory=280939717542736 CPUtime=0.07 cores=1,3,5,7
/proc/3960/task/4025/stat : 4025 (java) S 3957 3960 3468 0 -1 1077944384 3 13183 0 0 0 0 5 2 20 0 15 0 47617699 11180277760 650749 33554432000 4194304 4196468 140736046716304 139787959618272 139789444552405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
[pid=3960/tid=4026] ppid=3957 vsize=10918240 memory=2602996 CPUtime=1.41 cores=1,3,5,7
/proc/3960/task/4026/stat : 4026 (java) S 3957 3960 3468 0 -1 1077944384 1806 13183 0 0 62 72 5 2 20 0 15 0 47617700 11180277760 650749 33554432000 4194304 4196468 140736046716304 139788510272176 139789444553346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23408640 140736046725292 140736046728540 140736046728540 140736046731215 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 2602996 KiB
Child status: 143
Real time (s): 2465.17
CPU time (s): 2520.16
CPU user time (s): 2516.2
CPU system time (s): 3.96417
CPU usage (%): 102.231
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 3080536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.2
system time used= 3.96418
maximum resident set size= 3080688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1035598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124527
involuntary context switches= 3605
# summary of solver processes directly reported to runsolver:
# pid: 3960
# total CPU time (s): 2520.16
# total CPU user time (s): 2516.2
# total CPU system time (s): 3.96417
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7671 second user time and 23.5676 second system time
The end
Begin job on node149 at 2018-07-23 01:02:25 IDJOB=4292946 IDBENCH=141044 IDSOLVER=2751 FILE ID=node149/4292946-1532300545 RUNJOBID= node149-1532298084-3500 PBS_JOBID= 21018995 Free space on /tmp= 51816 MiB SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13 BENCH NAME= XCSP18/NurseRostering/NurseRostering-05_c18.xml COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292946-1532300545/watcher-4292946-1532300545 -o /tmp/evaluation-result-4292946-1532300545/solver-4292946-1532300545 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3500 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=482225249 -superng HOME/instance-4292946-1532300545.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b6cc1cad0a6ec682295352adb28466c6 RANDOM SEED=482225249 node149.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.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28641920 kB MemAvailable: 31469416 kB Buffers: 135632 kB Cached: 2951172 kB SwapCached: 0 kB Active: 2141712 kB Inactive: 1504860 kB Active(anon): 509272 kB Inactive(anon): 70172 kB Active(file): 1632440 kB Inactive(file): 1434688 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26840 kB Writeback: 0 kB AnonPages: 567428 kB Mapped: 49236 kB Shmem: 17032 kB Slab: 180204 kB SReclaimable: 152404 kB SUnreclaim: 27800 kB KernelStack: 3520 kB PageTables: 6292 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1639812 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 385024 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 51788 MiB End job on node149 at 2018-07-23 01:43:30