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 2018-06-13 | Wrong Cert. | 2520.09 | 2455.14 |
| Name | NurseRostering/ NurseRostering-05_c18.xml |
| MD5SUM | b6cc1cad0a6ec682295352adb28466c6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1819 |
| Best CPU time to get the best result obtained on this benchmark | 2400.21 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 834 |
| Number of constraints | 2135 |
| Number of domains | 14 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":170},{"size":3,"count":448},{"size":15,"count":10},{"size":17,"count":140},{"size":29,"count":32}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 23 |
| Distribution of variable degrees | [{"degree":2,"count":322},{"degree":3,"count":64},{"degree":11,"count":16},{"degree":12,"count":15},{"degree":13,"count":1},{"degree":14,"count":12},{"degree":15,"count":17},{"degree":16,"count":22},{"degree":17,"count":26},{"degree":18,"count":24},{"degree":19,"count":109},{"degree":20,"count":73},{"degree":21,"count":82},{"degree":22,"count":46},{"degree":23,"count":5}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":2,"count":782},{"arity":3,"count":692},{"arity":4,"count":166},{"arity":6,"count":230},{"arity":7,"count":132},{"arity":17,"count":84},{"arity":29,"count":48},{"arity":32,"count":1}] |
| Number of extensional constraints | 516 |
| Number of intensional constraints | 266 |
| Distribution of constraint types | [{"type":"extension","count":516},{"type":"intension","count":266},{"type":"regular","count":826},{"type":"sum","count":32},{"type":"count","count":494},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.99/0.75 c Concrete v3.8.1528841891564 running 11.29/5.15 c 01:08:08.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6148. 'extension(x[0][12]=[0‥2], 2) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 11.29/5.15 c 01:08:08.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6149. 'extension(2, x[2][12]=[0‥2]) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 11.29/5.16 c 01:08:08.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6169. 'extension(x[1][14]=[0‥2], 2) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 11.29/5.16 c 01:08:08.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6192. 'extension(2, x[4][14]=[0‥2]) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 11.29/5.16 c 01:08:08.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6195. 'extension(2, 2) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 11.29/5.16 c 01:08:08.712 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6217. 'extension(2, wk[2][0]=[0‥1]) :: init: true :: relation: MDD 819092483, 3 edges, 3 vertices, 2 tuples 11.29/5.16 c 01:08:08.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6218. 'extension(x[4][2]=[0‥2], 2) :: init: true :: relation: MDD 774095232, 2 edges, 3 vertices, 1 tuples 11.29/5.16 c 01:08:08.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6244. 'extension(2, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1002410023, 3 edges, 3 vertices, 2 tuples 11.29/5.16 c 01:08:08.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6245. 'extension(x[4][10]=[0‥2], 2) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.29/5.17 c 01:08:08.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6272. 'extension(2, wk[2][0]=[0‥1]) :: init: true :: relation: MDD 292167944, 3 edges, 3 vertices, 2 tuples 11.29/5.17 c 01:08:08.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6273. 'extension(2, x[7][2]=[0‥2]) :: init: true :: relation: MDD 774095232, 2 edges, 3 vertices, 1 tuples 11.29/5.17 c 01:08:08.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6276. 'extension(2, 2) :: init: true :: relation: MDD 774095232, 2 edges, 3 vertices, 1 tuples 11.29/5.17 c 01:08:08.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6299. 'extension(2, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 731427771, 3 edges, 3 vertices, 2 tuples 11.29/5.17 c 01:08:08.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6300. 'extension(x[5][7]=[0‥2], 2) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.29/5.17 c 01:08:08.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6301. 'extension(2, x[7][7]=[0‥2]) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.29/5.17 c 01:08:08.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6326. 'extension(2, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 118363130, 3 edges, 3 vertices, 2 tuples 11.29/5.17 c 01:08:08.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6327. 'extension(2, x[7][10]=[0‥2]) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.29/5.18 c 01:08:08.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6330. 'extension(2, 2) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.29/5.18 c 01:08:08.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6355. 'extension(x[6][12]=[0‥2], 2) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 11.29/5.18 c 01:08:08.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6356. 'extension(2, x[8][12]=[0‥2]) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 11.29/5.18 c 01:08:08.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6383. 'extension(x[7][6]=[0‥2], 2) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 11.29/5.18 c 01:08:08.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6384. 'extension(2, x[9][6]=[0‥2]) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 11.29/5.19 c 01:08:08.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6409. 'extension(x[8][1]=[0‥2], 2) :: init: true :: relation: MDD 390034407, 2 edges, 3 vertices, 1 tuples 11.29/5.19 c 01:08:08.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6410. 'extension(2, x[10][1]=[0‥2]) :: init: true :: relation: MDD 390034407, 2 edges, 3 vertices, 1 tuples 11.29/5.19 c 01:08:08.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6435. 'extension(x[8][3]=[0‥2], 2) :: init: true :: relation: MDD 635068762, 2 edges, 3 vertices, 1 tuples 11.29/5.19 c 01:08:08.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6436. 'extension(2, x[10][3]=[0‥2]) :: init: true :: relation: MDD 635068762, 2 edges, 3 vertices, 1 tuples 11.29/5.19 c 01:08:08.743 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6461. 'extension(x[9][7]=[0‥2], 2) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.29/5.19 c 01:08:08.743 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6462. 'extension(2, x[11][7]=[0‥2]) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.58/5.20 c 01:08:08.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6487. 'extension(x[10][5]=[0‥2], 2) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.58/5.20 c 01:08:08.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6513. 'extension(2, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 2140322192, 3 edges, 3 vertices, 2 tuples 11.58/5.20 c 01:08:08.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6514. 'extension(2, x[13][5]=[0‥2]) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.58/5.20 c 01:08:08.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6517. 'extension(2, 2) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.58/5.20 c 01:08:08.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6540. 'extension(2, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 2123681939, 3 edges, 3 vertices, 2 tuples 11.58/5.20 c 01:08:08.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6541. 'extension(x[12][3]=[0‥2], 2) :: init: true :: relation: MDD 635068762, 2 edges, 3 vertices, 1 tuples 11.58/5.20 c 01:08:08.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6542. 'extension(2, x[14][3]=[0‥2]) :: init: true :: relation: MDD 635068762, 2 edges, 3 vertices, 1 tuples 11.58/5.21 c 01:08:08.755 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6567. 'extension(x[14][9]=[0‥2], 2) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 11.58/5.21 c 01:08:08.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6593. 'extension(2, x[17][9]=[0‥2]) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 11.58/5.21 c 01:08:08.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6596. 'extension(2, 2) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 11.58/5.21 c 01:08:08.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6619. 'extension(x[15][13]=[0‥2], 2) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 11.58/5.21 c 01:08:08.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6620. 'extension(2, x[17][13]=[0‥2]) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 11.58/5.21 c 01:08:08.763 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6647. 'extension(x[15][15]=[0‥2], 2) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 11.58/5.21 c 01:08:08.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6675. 'extension(x[16][0]=[0‥2], 2) :: init: true :: relation: MDD 1188390859, 2 edges, 3 vertices, 1 tuples 11.58/5.22 c 01:08:08.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6676. 'extension(2, x[18][0]=[0‥2]) :: init: true :: relation: MDD 1188390859, 2 edges, 3 vertices, 1 tuples 11.58/5.22 c 01:08:08.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6701. 'extension(2, x[18][15]=[0‥2]) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 11.58/5.22 c 01:08:08.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6704. 'extension(2, 2) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 11.58/5.22 c 01:08:08.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6729. 'extension(x[17][8]=[0‥2], 2) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 11.58/5.22 c 01:08:08.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6755. 'extension(2, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 596905862, 3 edges, 3 vertices, 2 tuples 11.58/5.22 c 01:08:08.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6756. 'extension(x[18][6]=[0‥2], 2) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 11.58/5.22 c 01:08:08.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6757. 'extension(2, x[20][6]=[0‥2]) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 11.58/5.23 c 01:08:08.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6782. 'extension(2, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 160696258, 3 edges, 3 vertices, 2 tuples 11.58/5.23 c 01:08:08.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6783. 'extension(2, x[20][8]=[0‥2]) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 11.58/5.23 c 01:08:08.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6786. 'extension(2, 2) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 11.58/5.23 c 01:08:08.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6809. 'extension(x[21][0]=[0‥2], 2) :: init: true :: relation: MDD 1188390859, 2 edges, 3 vertices, 1 tuples 11.58/5.23 c 01:08:08.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6810. 'extension(2, x[23][0]=[0‥2]) :: init: true :: relation: MDD 1188390859, 2 edges, 3 vertices, 1 tuples 11.58/5.23 c 01:08:08.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6835. 'extension(x[21][4]=[0‥2], 2) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.58/5.23 c 01:08:08.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6861. 'extension(x[22][1]=[0‥2], 2) :: init: true :: relation: MDD 390034407, 2 edges, 3 vertices, 1 tuples 11.58/5.23 c 01:08:08.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6862. 'extension(2, x[24][1]=[0‥2]) :: init: true :: relation: MDD 390034407, 2 edges, 3 vertices, 1 tuples 11.58/5.24 c 01:08:08.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6886. 'extension(2, x[24][4]=[0‥2]) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.58/5.24 c 01:08:08.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6889. 'extension(2, 2) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.58/5.24 c 01:08:08.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6911. 'extension(x[24][11]=[0‥2], 2) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 11.58/5.24 c 01:08:08.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6934. 'extension(2, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 1109461985, 3 edges, 3 vertices, 2 tuples 11.58/5.24 c 01:08:08.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6935. 'extension(2, x[27][11]=[0‥2]) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 11.58/5.24 c 01:08:08.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6937. 'extension(2, 2) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 11.58/5.24 c 01:08:08.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6956. 'extension(2, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 1998397435, 3 edges, 3 vertices, 2 tuples 11.58/5.24 c 01:08:08.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6957. 'extension(x[25][13]=[0‥2], 2) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 11.58/5.24 c 01:08:08.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6958. 'extension(2, x[27][13]=[0‥2]) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 11.58/5.25 c 01:08:08.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7011. 'extension(x[0][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.25 c 01:08:08.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7013. 'extension(x[2][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.25 c 01:08:08.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7025. 'extension(x[1][14]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.25 c 01:08:08.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7029. 'extension(x[4][14]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.26 c 01:08:08.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7045. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.58/5.26 c 01:08:08.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7047. 'extension(x[4][2]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.26 c 01:08:08.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7053. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.58/5.26 c 01:08:08.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7055. 'extension(x[4][10]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.26 c 01:08:08.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7061. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.58/5.26 c 01:08:08.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7063. 'extension(x[7][2]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.26 c 01:08:08.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7077. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.58/5.26 c 01:08:08.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7079. 'extension(x[5][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.26 c 01:08:08.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7081. 'extension(x[7][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.26 c 01:08:08.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7095. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.58/5.26 c 01:08:08.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7097. 'extension(x[7][10]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.26 c 01:08:08.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7113. 'extension(x[6][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.26 c 01:08:08.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7115. 'extension(x[8][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7131. 'extension(x[7][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7133. 'extension(x[9][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7147. 'extension(x[8][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7149. 'extension(x[10][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7163. 'extension(x[8][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7165. 'extension(x[10][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7179. 'extension(x[9][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7181. 'extension(x[11][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7195. 'extension(x[10][5]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7201. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7203. 'extension(x[13][5]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7217. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7219. 'extension(x[12][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7221. 'extension(x[14][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7235. 'extension(x[14][9]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7241. 'extension(x[17][9]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7255. 'extension(x[15][13]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7257. 'extension(x[17][13]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7273. 'extension(x[15][15]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7279. 'extension(x[16][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7281. 'extension(x[18][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7295. 'extension(x[18][15]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7311. 'extension(x[17][8]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.27 c 01:08:08.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7317. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7319. 'extension(x[18][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7321. 'extension(x[20][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7335. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7337. 'extension(x[20][8]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7351. 'extension(x[21][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7353. 'extension(x[23][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7367. 'extension(x[21][4]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7373. 'extension(x[22][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7375. 'extension(x[24][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7389. 'extension(x[24][4]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7403. 'extension(x[24][11]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7409. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7411. 'extension(x[27][11]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7423. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7425. 'extension(x[25][13]=[0‥2]) :: init: true :: relation: Empty MDD 11.58/5.28 c 01:08:08.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7427. 'extension(x[27][13]=[0‥2]) :: init: true :: relation: Empty MDD 18.52/7.41 o 5044 22.71/9.04 o 4952 52.21/36.02 o 4865 52.21/36.04 o 4864 52.21/36.05 o 4863 52.21/36.06 o 4862 53.19/36.55 o 4861 53.60/36.87 o 4860 54.13/37.35 o 4859 343.31/318.84 o 4767 343.31/318.85 o 4766 880.11/842.50 o 4676 880.11/842.51 o 4674 880.11/842.52 o 4673 880.11/842.52 o 4672 881.38/843.72 o 4572 902.94/864.94 o 4571 903.05/865.03 o 4471 1660.10/1609.64 o 4470 1660.10/1609.69 o 4469 2520.05/2455.11 Exception in thread "main" java.util.concurrent.TimeoutException 2520.05/2455.11 at concrete.MAC.mac(MAC.scala:188) 2520.05/2455.11 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.05/2455.11 at scala.util.Try$.apply(Try.scala:209) 2520.05/2455.11 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.05/2455.11 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.05/2455.11 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.05/2455.11 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.05/2455.11 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.05/2455.11 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.05/2455.11 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.05/2455.11 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.05/2455.11 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.05/2455.11 at concrete.MAC.oneRun(MAC.scala:253) 2520.05/2455.11 at concrete.MAC.nextSolution(MAC.scala:272) 2520.05/2455.11 at concrete.MAC.nextSolution(MAC.scala:355) 2520.05/2455.11 at concrete.Solver.hasNext(Solver.scala:166) 2520.05/2455.11 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.05/2455.11 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.05/2455.11 at concrete.Solver.foreach(Solver.scala:68) 2520.05/2455.11 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.05/2455.11 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.05/2455.11 at scala.util.Success.map(Try.scala:209) 2520.05/2455.11 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.05/2455.11 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.05/2455.11 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.05/2455.11 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.05/2455.11 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.05/2455.11 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.05/2455.11 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.05/2455.11 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.05/2455.11 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.05/2455.11 at scala.collection.immutable.List.foreach(List.scala:389) 2520.05/2455.11 at scala.App.main(App.scala:76) 2520.05/2455.11 at scala.App.main$(App.scala:74) 2520.05/2455.11 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.05/2455.11 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.05/2455.13 v <instantiation cost="4469"> 2520.05/2455.13 v <list> 2520.05/2455.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.05/2455.13 v </list> 2520.05/2455.13 v <values> 2520.05/2455.13 v 2 2 1 1 2 1 1 0 2 0 0 0 2 2 2 0 2 2 1 1 0 1 1 0 2 0 0 0 2 0 2 0 2 2 1 1 0 1 1 1 1 0 0 2 2 0 2 0 0 0 1 1 0 2 1 2 1 0 0 2 0 0 2 0 0 0 1 2 0 2 1 2 2 0 0 2 0 2 1 0 2 0 2 2 0 0 2 2 2 2 2 2 0 2 1 1 2 0 2 0 2 0 2 2 2 2 2 0 2 2 1 2 0 0 1 1 2 2 2 0 1 0 2 0 2 0 1 2 0 2 1 2 0 2 2 1 1 0 2 0 2 0 1 2 0 2 1 2 0 1 0 2 1 1 2 0 0 0 1 1 0 0 1 0 0 1 1 2 2 2 2 0 0 0 2 1 0 0 2 1 2 2 1 0 2 2 0 2 0 0 2 2 2 2 2 2 2 2 1 1 1 1 0 2 0 0 2 2 2 2 2 2 0 0 1 1 1 1 0 2 0 2 2 2 2 0 2 0 0 0 2 1 1 2 0 0 1 2 2 0 0 0 0 0 0 0 2 1 1 2 2 0 2 2 0 0 0 0 0 2 0 1 0 2 1 2 2 0 2 2 1 2 2 2 0 2 0 1 0 2 2 2 2 0 2 2 1 2 2 2 0 1 2 2 1 2 2 0 2 0 0 0 1 2 2 0 2 1 2 2 2 1 2 0 0 0 0 0 1 1 0 0 2 2 2 2 2 1 2 0 0 2 0 0 1 1 0 0 2 2 2 0 2 1 1 2 0 2 0 0 2 1 2 2 0 1 2 1 0 1 1 2 0 2 0 0 2 2 2 2 0 1 2 1 1 1 1 0 0 0 0 0 2 2 0 0 2 1 0 1 1 2 2 1 0 0 2 2 0 2 0 0 2 2 0 1 1 2 2 1 2 2 2 2 1 0 0 2 0 2 2 2 1 2 0 2 2 2 2 2 1 0 0 2 0 2 2 2 2 2 1 2 2 2 2 2 1 2 15 0 13 15 0 13 8 9 11 4 11 13 15 0 13 6 11 11 4 14 10 4 11 13 1 14 13 11 5 12 15 0 13 15 0 13 14 1 13 15 0 13 2 14 12 9 6 13 5 4 7 7 4 5 5 6 5 8 4 4 7 3 6 4 2 10 4 1 11 6 4 6 5 4 7 6 6 4 7 4 5 6 2 8 3 4 9 4 4 8 7 3 6 9 2 5 6 3 7 4 2 10 5 3 8 6 4 6 6 3 7 6 3 7 5 4 7 6 5 5 6 4 6 4 4 8 4 2 10 2 2 12 0 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 1 3 0 0 3 3 0 0 0 0 0 2 2 0 0 0 2 2 2 0 0 0 0 0 3 3 0 0 0 0 2 1 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 2 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 1 3 3 0 2 0 2 2 2 2 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 200 100 0 200 300 0 0 0 0 100 0 0 0 0 0 2 0 0 0 200 0 300 0 0 200 0 0 0 0 0 1 200 0 0 200 0 300 200 0 200 100 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 200 400 0 500 300 0 2520.05/2455.13 v </values> 2520.05/2455.13 v </instantiation> 2520.05/2455.13 s SATISFIABLE
INVALID Solution! (11 errors) Violated Constraint c_709 : sum() list() : [ps[0][0], ps[0][1], ps[0][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 (8681 MiB free)
memory of node 1: 16384 MiB (9936 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292945-1532300883/watcher-4292945-1532300883 -o /tmp/evaluation-result-4292945-1532300883/solver-4292945-1532300883 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7918 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=364708279 HOME/instance-4292945-1532300883.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8877, runsolver pid=8874
[startup+0.100738 s]*
/proc/loadavg: 1.28 1.34 1.35 2/206 8934
/proc/meminfo: memFree=19056220/32770624 swapFree=67108860/67108860
[pid=8877] ppid=8874 vsize=9972712 memory=18860 CPUtime=0.09 cores=0,2,4,6
/proc/8877/stat : 8877 (java) S 8874 8877 7887 0 -1 1077944320 4378 12960 0 0 1 0 5 3 20 0 6 0 47651488 10212057088 4715 33554432000 4194304 4196468 140732714276960 140732714259504 139855494721271 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
/proc/8877/statm: 2493178 4715 1934 1 0 2481616 0
[pid=8877/tid=8930] ppid=8874 vsize=9972712 memory=-8600311527686586311 CPUtime=0.09 cores=0,2,4,6
/proc/8877/task/8930/stat : 8930 (java) R 8874 8877 7887 0 -1 4202560 2199 12960 0 0 1 0 5 3 20 0 6 0 47651497 10212057088 4780 33554432000 4194304 4196468 140732714276960 139855466558032 139855486958398 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8931] ppid=8874 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8931/stat : 8931 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 6 0 47651498 10212057088 4780 33554432000 4194304 4196468 140732714276960 139855498963472 139855494731477 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8932] ppid=8874 vsize=9972712 memory=140075573220992 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8932/stat : 8932 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 6 0 47651498 10212057088 4780 33554432000 4194304 4196468 140732714276960 139855413783184 139855494731477 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8933] ppid=8874 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8933/stat : 8933 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 6 0 47651498 10212057088 4780 33554432000 4194304 4196468 140732714276960 139855412730128 139855494731477 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8934] ppid=8874 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8934/stat : 8934 (java) S 8874 8877 7887 0 -1 1077944384 2 12960 0 0 0 0 5 3 20 0 6 0 47651498 10212057088 4780 33554432000 4194304 4196468 140732714276960 139855411677584 139855494731477 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18860 KiB
[startup+0.210934 s]*
/proc/loadavg: 1.28 1.34 1.35 3/215 8943
/proc/meminfo: memFree=19035016/32770624 swapFree=67108860/67108860
[pid=8877] ppid=8874 vsize=10818904 memory=41848 CPUtime=0.25 cores=0,2,4,6
/proc/8877/stat : 8877 (java) S 8874 8877 7887 0 -1 1077944320 7157 12960 0 0 16 1 5 3 20 0 15 0 47651488 11078557696 10462 33554432000 4194304 4196468 140732714276960 140732714259504 139855494721271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
/proc/8877/statm: 2704726 10462 2948 1 0 2667149 0
[pid=8877/tid=8930] ppid=8874 vsize=10818904 memory=8514701219931451533 CPUtime=0.19 cores=0,2,4,6
/proc/8877/task/8930/stat : 8930 (java) R 8874 8877 7887 0 -1 4202560 3887 12960 0 0 10 1 5 3 20 0 15 0 47651497 11078557696 10594 33554432000 4194304 4196468 140732714276960 139855466538384 139855474997020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8931] ppid=8874 vsize=10818904 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8931/stat : 8931 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651498 11078557696 10594 33554432000 4194304 4196468 140732714276960 139855498963472 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8932] ppid=8874 vsize=10818904 memory=140075573220992 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8932/stat : 8932 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651498 11078557696 10594 33554432000 4194304 4196468 140732714276960 139855413783184 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8933] ppid=8874 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8933/stat : 8933 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651498 11078557696 10660 33554432000 4194304 4196468 140732714276960 139855412730128 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8934] ppid=8874 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8934/stat : 8934 (java) S 8874 8877 7887 0 -1 1077944384 2 12960 0 0 0 0 5 3 20 0 15 0 47651498 11078557696 10660 33554432000 4194304 4196468 140732714276960 139855411677584 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8935] ppid=8874 vsize=10818904 memory=140075573220992 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8935/stat : 8935 (java) S 8874 8877 7887 0 -1 1077944384 2 12960 0 0 0 0 5 3 20 0 15 0 47651499 11078557696 10660 33554432000 4194304 4196468 140732714276960 139855021411056 139855494732418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8936] ppid=8874 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8936/stat : 8936 (java) S 8874 8877 7887 0 -1 1077944384 13 12960 0 0 0 0 5 3 20 0 15 0 47651500 11078557696 10660 33554432000 4194304 4196468 140732714276960 139854402807456 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8937] ppid=8874 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8937/stat : 8937 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651500 11078557696 10660 33554432000 4194304 4196468 140732714276960 139854268589296 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8938] ppid=8874 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8938/stat : 8938 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11078557696 10660 33554432000 4194304 4196468 140732714276960 139854128957904 139855494739867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8939] ppid=8874 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8877/task/8939/stat : 8939 (java) S 8874 8877 7887 0 -1 1077944384 355 12960 0 0 1 0 5 3 20 0 15 0 47651503 11078557696 10660 33554432000 4194304 4196468 140732714276960 139855020357872 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8940] ppid=8874 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8940/stat : 8940 (java) S 8874 8877 7887 0 -1 1077944384 245 12960 0 0 0 0 5 3 20 0 15 0 47651503 11078557696 10660 33554432000 4194304 4196468 140732714276960 139855019305328 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8941] ppid=8874 vsize=10818904 memory=140075573220992 CPUtime=0.11 cores=0,2,4,6
/proc/8877/task/8941/stat : 8941 (java) S 8874 8877 7887 0 -1 1077944384 620 12960 0 0 3 0 5 3 20 0 15 0 47651503 11078557696 10660 33554432000 4194304 4196468 140732714276960 139855018252272 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8942] ppid=8874 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8942/stat : 8942 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11078557696 10660 33554432000 4194304 4196468 140732714276960 139853731719520 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8943] ppid=8874 vsize=10818904 memory=140075573220992 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8943/stat : 8943 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651503 11078557696 10660 33554432000 4194304 4196468 140732714276960 139855017200688 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41848 KiB
[startup+0.310103 s]*
/proc/loadavg: 1.28 1.34 1.35 3/215 8943
/proc/meminfo: memFree=19024100/32770624 swapFree=67108860/67108860
[pid=8877] ppid=8874 vsize=10819352 memory=55004 CPUtime=0.39 cores=0,2,4,6
/proc/8877/stat : 8877 (java) S 8874 8877 7887 0 -1 1077944320 10314 12960 0 0 28 3 5 3 20 0 15 0 47651488 11079016448 13751 33554432000 4194304 4196468 140732714276960 140732714259504 139855494721271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
/proc/8877/statm: 2704838 13751 3067 1 0 2667149 0
[pid=8877/tid=8930] ppid=8874 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/8877/task/8930/stat : 8930 (java) R 8874 8877 7887 0 -1 4202560 6937 12960 0 0 19 2 5 3 20 0 15 0 47651497 11079016448 13817 33554432000 4194304 4196468 140732714276960 139855466533280 139855478801758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8931] ppid=8874 vsize=10819352 memory=7085682114268647504 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8931/stat : 8931 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651498 11079016448 13817 33554432000 4194304 4196468 140732714276960 139855498963472 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8932] ppid=8874 vsize=10819352 memory=2072 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8932/stat : 8932 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651498 11079016448 13817 33554432000 4194304 4196468 140732714276960 139855413783184 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8933] ppid=8874 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8933/stat : 8933 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651498 11079016448 13817 33554432000 4194304 4196468 140732714276960 139855412730128 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8934] ppid=8874 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8934/stat : 8934 (java) S 8874 8877 7887 0 -1 1077944384 2 12960 0 0 0 0 5 3 20 0 15 0 47651498 11079016448 13817 33554432000 4194304 4196468 140732714276960 139855411677584 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8935] ppid=8874 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8935/stat : 8935 (java) S 8874 8877 7887 0 -1 1077944384 2 12960 0 0 0 0 5 3 20 0 15 0 47651499 11079016448 13817 33554432000 4194304 4196468 140732714276960 139855021411056 139855494732418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8936] ppid=8874 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8936/stat : 8936 (java) S 8874 8877 7887 0 -1 1077944384 13 12960 0 0 0 0 5 3 20 0 15 0 47651500 11079016448 13817 33554432000 4194304 4196468 140732714276960 139854402807456 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8937] ppid=8874 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8937/stat : 8937 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651500 11079016448 13817 33554432000 4194304 4196468 140732714276960 139854268589296 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8938] ppid=8874 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8938/stat : 8938 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11079016448 13817 33554432000 4194304 4196468 140732714276960 139854128957904 139855494739867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8939] ppid=8874 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8877/task/8939/stat : 8939 (java) S 8874 8877 7887 0 -1 1077944384 355 12960 0 0 1 0 5 3 20 0 15 0 47651503 11079016448 13817 33554432000 4194304 4196468 140732714276960 139855020357872 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8940] ppid=8874 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8877/task/8940/stat : 8940 (java) S 8874 8877 7887 0 -1 1077944384 252 12960 0 0 1 0 5 3 20 0 15 0 47651503 11079016448 13817 33554432000 4194304 4196468 140732714276960 139855019305328 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8941] ppid=8874 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/8877/task/8941/stat : 8941 (java) S 8874 8877 7887 0 -1 1077944384 626 12960 0 0 5 0 5 3 20 0 15 0 47651503 11079016448 13817 33554432000 4194304 4196468 140732714276960 139855018252272 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8942] ppid=8874 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8942/stat : 8942 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11079016448 13817 33554432000 4194304 4196468 140732714276960 139853731719520 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8943] ppid=8874 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8943/stat : 8943 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651503 11079016448 13817 33554432000 4194304 4196468 140732714276960 139855017200688 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55004 KiB
[startup+0.700716 s]
/proc/loadavg: 1.34 1.35 1.35 3/215 8943
/proc/meminfo: memFree=19012440/32770624 swapFree=67108860/67108860
[pid=8877] ppid=8874 vsize=10819352 memory=88264 CPUtime=0.99 cores=0,2,4,6
/proc/8877/stat : 8877 (java) S 8874 8877 7887 0 -1 1077944320 16731 12960 0 0 87 4 5 3 20 0 15 0 47651488 11079016448 22066 33554432000 4194304 4196468 140732714276960 140732714259504 139855494721271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
/proc/8877/statm: 2704838 22066 3237 1 0 2667149 0
[pid=8877/tid=8930] ppid=8874 vsize=10819352 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/8877/task/8930/stat : 8930 (java) R 8874 8877 7887 0 -1 4202560 12215 12960 0 0 56 3 5 3 20 0 15 0 47651497 11079016448 22066 33554432000 4194304 4196468 140732714276960 139855466544272 139855474996966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8931] ppid=8874 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8931/stat : 8931 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651498 11079016448 22066 33554432000 4194304 4196468 140732714276960 139855498963472 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8932] ppid=8874 vsize=10819352 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8932/stat : 8932 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651498 11079016448 22066 33554432000 4194304 4196468 140732714276960 139855413783184 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8933] ppid=8874 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8933/stat : 8933 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651498 11079016448 22066 33554432000 4194304 4196468 140732714276960 139855412730128 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8934] ppid=8874 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8934/stat : 8934 (java) S 8874 8877 7887 0 -1 1077944384 2 12960 0 0 0 0 5 3 20 0 15 0 47651498 11079016448 22066 33554432000 4194304 4196468 140732714276960 139855411677584 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8935] ppid=8874 vsize=10819352 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8935/stat : 8935 (java) S 8874 8877 7887 0 -1 1077944384 5 12960 0 0 0 0 5 3 20 0 15 0 47651499 11079016448 22066 33554432000 4194304 4196468 140732714276960 139855021411056 139855494732418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8936] ppid=8874 vsize=10819352 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8936/stat : 8936 (java) S 8874 8877 7887 0 -1 1077944384 13 12960 0 0 0 0 5 3 20 0 15 0 47651500 11079016448 22066 33554432000 4194304 4196468 140732714276960 139854402807456 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8937] ppid=8874 vsize=10819352 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8937/stat : 8937 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651500 11079016448 22066 33554432000 4194304 4196468 140732714276960 139854268589296 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8938] ppid=8874 vsize=10819352 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8938/stat : 8938 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11079016448 22066 33554432000 4194304 4196468 140732714276960 139854128957904 139855494739867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8939] ppid=8874 vsize=10819352 memory=13252 CPUtime=0.18 cores=0,2,4,6
/proc/8877/task/8939/stat : 8939 (java) S 8874 8877 7887 0 -1 1077944384 962 12960 0 0 10 0 5 3 20 0 15 0 47651503 11079016448 22066 33554432000 4194304 4196468 140732714276960 139855020357872 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8940] ppid=8874 vsize=10819352 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/8877/task/8940/stat : 8940 (java) S 8874 8877 7887 0 -1 1077944384 621 12960 0 0 7 0 5 3 20 0 15 0 47651503 11079016448 22066 33554432000 4194304 4196468 140732714276960 139855019305328 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8941] ppid=8874 vsize=10819352 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/8877/task/8941/stat : 8941 (java) S 8874 8877 7887 0 -1 1077944384 713 12960 0 0 13 0 5 3 20 0 15 0 47651503 11079016448 22066 33554432000 4194304 4196468 140732714276960 139855018252272 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8942] ppid=8874 vsize=10819352 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8942/stat : 8942 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11079016448 22066 33554432000 4194304 4196468 140732714276960 139853731719520 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8943] ppid=8874 vsize=10819352 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8943/stat : 8943 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651503 11079016448 22066 33554432000 4194304 4196468 140732714276960 139855017200688 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88264 KiB
[startup+1.50076 s]
/proc/loadavg: 1.34 1.35 1.35 3/215 8943
/proc/meminfo: memFree=18968572/32770624 swapFree=67108860/67108860
[pid=8877] ppid=8874 vsize=10832204 memory=185344 CPUtime=2.88 cores=0,2,4,6
/proc/8877/stat : 8877 (java) S 8874 8877 7887 0 -1 1077944320 24791 12960 0 0 271 9 5 3 20 0 15 0 47651488 11092176896 46336 33554432000 4194304 4196468 140732714276960 140732714259504 139855494721271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
/proc/8877/statm: 2708051 46336 3450 1 0 2669709 0
[pid=8877/tid=8930] ppid=8874 vsize=10832204 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/8877/task/8930/stat : 8930 (java) S 8874 8877 7887 0 -1 1077944384 16889 12960 0 0 131 5 5 3 20 0 15 0 47651497 11092176896 46336 33554432000 4194304 4196468 140732714276960 139855466523808 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8931] ppid=8874 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8931/stat : 8931 (java) S 8874 8877 7887 0 -1 1077944384 40 12960 0 0 0 0 5 3 20 0 15 0 47651498 11092176896 46336 33554432000 4194304 4196468 140732714276960 139855498963472 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8932] ppid=8874 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8932/stat : 8932 (java) S 8874 8877 7887 0 -1 1077944384 167 12960 0 0 0 0 5 3 20 0 15 0 47651498 11092176896 46336 33554432000 4194304 4196468 140732714276960 139855413783184 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8933] ppid=8874 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8933/stat : 8933 (java) S 8874 8877 7887 0 -1 1077944384 31 12960 0 0 0 0 5 3 20 0 15 0 47651498 11092176896 46336 33554432000 4194304 4196468 140732714276960 139855412730128 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8934] ppid=8874 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8934/stat : 8934 (java) S 8874 8877 7887 0 -1 1077944384 25 12960 0 0 0 0 5 3 20 0 15 0 47651498 11092176896 46336 33554432000 4194304 4196468 140732714276960 139855411677584 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8935] ppid=8874 vsize=10832204 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8935/stat : 8935 (java) R 8874 8877 7887 0 -1 4202560 35 12960 0 0 0 0 5 3 20 0 15 0 47651499 11092176896 46336 33554432000 4194304 4196468 140732714276960 139855021409344 139855486962661 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8936] ppid=8874 vsize=10832204 memory=280150918899968 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8936/stat : 8936 (java) S 8874 8877 7887 0 -1 1077944384 13 12960 0 0 0 0 5 3 20 0 15 0 47651500 11092176896 46336 33554432000 4194304 4196468 140732714276960 139854402807456 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8937] ppid=8874 vsize=10832204 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8937/stat : 8937 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651500 11092176896 46336 33554432000 4194304 4196468 140732714276960 139854268589296 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8938] ppid=8874 vsize=10832204 memory=1952 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8938/stat : 8938 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11092176896 46336 33554432000 4194304 4196468 140732714276960 139854128957904 139855494739867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8939] ppid=8874 vsize=10832204 memory=1232 CPUtime=0.56 cores=0,2,4,6
/proc/8877/task/8939/stat : 8939 (java) S 8874 8877 7887 0 -1 1077944384 1861 12960 0 0 48 0 5 3 20 0 15 0 47651503 11092176896 46336 33554432000 4194304 4196468 140732714276960 139855020357872 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8940] ppid=8874 vsize=10832204 memory=8372 CPUtime=0.5 cores=0,2,4,6
/proc/8877/task/8940/stat : 8940 (java) S 8874 8877 7887 0 -1 1077944384 1884 12960 0 0 42 0 5 3 20 0 15 0 47651503 11092176896 46336 33554432000 4194304 4196468 140732714276960 139855019305328 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8941] ppid=8874 vsize=10832204 memory=1708 CPUtime=0.54 cores=0,2,4,6
/proc/8877/task/8941/stat : 8941 (java) S 8874 8877 7887 0 -1 1077944384 1653 12960 0 0 46 0 5 3 20 0 15 0 47651503 11092176896 46336 33554432000 4194304 4196468 140732714276960 139855018252272 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8942] ppid=8874 vsize=10832204 memory=5412 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8942/stat : 8942 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11092176896 46336 33554432000 4194304 4196468 140732714276960 139853731719520 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8943] ppid=8874 vsize=10832204 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8943/stat : 8943 (java) S 8874 8877 7887 0 -1 1077944384 1 12960 0 0 0 0 5 3 20 0 15 0 47651503 11092176896 46336 33554432000 4194304 4196468 140732714276960 139855017200688 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
Current children cumulated CPU time: 2.88 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/8877/task/8930/stat : 8930 (java) R 8874 8877 7887 0 -1 4202560 96691 12960 0 0 235639 59 5 3 20 0 15 0 47651497 11180277760 278913 33554432000 4194304 4196468 140732714276960 139855466555776 139855101375559 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8931] ppid=8874 vsize=10918240 memory=1116168 CPUtime=13.02 cores=0,2,4,6
/proc/8877/task/8931/stat : 8931 (java) S 8874 8877 7887 0 -1 1077944384 14805 12960 0 0 1242 52 5 3 20 0 15 0 47651498 11180277760 278913 33554432000 4194304 4196468 140732714276960 139855498963472 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8932] ppid=8874 vsize=10918240 memory=1116168 CPUtime=13 cores=0,2,4,6
/proc/8877/task/8932/stat : 8932 (java) S 8874 8877 7887 0 -1 1077944384 9215 12960 0 0 1239 53 5 3 20 0 15 0 47651498 11180277760 278913 33554432000 4194304 4196468 140732714276960 139855413783184 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8933] ppid=8874 vsize=10918240 memory=1116168 CPUtime=13.07 cores=0,2,4,6
/proc/8877/task/8933/stat : 8933 (java) S 8874 8877 7887 0 -1 1077944384 15213 12960 0 0 1242 57 5 3 20 0 15 0 47651498 11180277760 278913 33554432000 4194304 4196468 140732714276960 139855412730128 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8934] ppid=8874 vsize=10918240 memory=1116168 CPUtime=13.05 cores=0,2,4,6
/proc/8877/task/8934/stat : 8934 (java) S 8874 8877 7887 0 -1 1077944384 19068 12960 0 0 1246 51 5 3 20 0 15 0 47651498 11180277760 278913 33554432000 4194304 4196468 140732714276960 139855411677584 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8935] ppid=8874 vsize=10918240 memory=1116168 CPUtime=9.8 cores=0,2,4,6
/proc/8877/task/8935/stat : 8935 (java) S 8874 8877 7887 0 -1 1077944384 17623 12960 0 0 919 53 5 3 20 0 15 0 47651499 11180277760 278913 33554432000 4194304 4196468 140732714276960 139855021411056 139855494732418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8936] ppid=8874 vsize=10918240 memory=1115652 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8936/stat : 8936 (java) S 8874 8877 7887 0 -1 1077944384 13 12960 0 0 0 0 5 3 20 0 15 0 47651500 11180277760 278913 33554432000 4194304 4196468 140732714276960 139854402807520 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8937] ppid=8874 vsize=10918240 memory=1116168 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8937/stat : 8937 (java) S 8874 8877 7887 0 -1 1077944384 2 12960 0 0 0 0 5 3 20 0 15 0 47651500 11180277760 278913 33554432000 4194304 4196468 140732714276960 139854268589312 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8938] ppid=8874 vsize=10918240 memory=1116168 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8938/stat : 8938 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11180277760 278913 33554432000 4194304 4196468 140732714276960 139854128957904 139855494739867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8939] ppid=8874 vsize=10918240 memory=15760 CPUtime=10.46 cores=0,2,4,6
/proc/8877/task/8939/stat : 8939 (java) S 8874 8877 7887 0 -1 1077944384 41369 12960 0 0 1031 7 5 3 20 0 15 0 47651503 11180277760 278913 33554432000 4194304 4196468 140732714276960 139855020357872 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8940] ppid=8874 vsize=10918240 memory=1296 CPUtime=11.04 cores=0,2,4,6
/proc/8877/task/8940/stat : 8940 (java) S 8874 8877 7887 0 -1 1077944384 51837 12960 0 0 1089 7 5 3 20 0 15 0 47651503 11180277760 278913 33554432000 4194304 4196468 140732714276960 139855019305328 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8941] ppid=8874 vsize=10918240 memory=1116168 CPUtime=4.63 cores=0,2,4,6
/proc/8877/task/8941/stat : 8941 (java) S 8874 8877 7887 0 -1 1077944384 49180 12960 0 0 445 10 5 3 20 0 15 0 47651503 11180277760 278913 33554432000 4194304 4196468 140732714276960 139855018252272 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8942] ppid=8874 vsize=10918240 memory=1012 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8942/stat : 8942 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11180277760 278913 33554432000 4194304 4196468 140732714276960 139853731719520 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8943] ppid=8874 vsize=10918240 memory=288230574492221466 CPUtime=1.44 cores=0,2,4,6
/proc/8877/task/8943/stat : 8943 (java) S 8874 8877 7887 0 -1 1077944384 3352 12960 0 0 65 71 5 3 20 0 15 0 47651503 11180277760 278913 33554432000 4194304 4196468 140732714276960 139855017200688 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
Current children cumulated CPU time: 2445.97 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1115652 KiB
[startup+2442.3 s]
/proc/loadavg: 1.39 1.39 1.38 3/215 9148
/proc/meminfo: memFree=17639108/32770624 swapFree=67108860/67108860
[pid=8877] ppid=8874 vsize=10918240 memory=1108984 CPUtime=2507.03 cores=0,2,4,6
/proc/8877/stat : 8877 (java) S 8874 8877 7887 0 -1 1077944320 322119 12960 0 0 250318 377 5 3 20 0 15 0 47651488 11180277760 277246 33554432000 4194304 4196468 140732714276960 140732714259504 139855494721271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
/proc/8877/statm: 2729560 277246 3530 1 0 2691213 0
[pid=8877/tid=8930] ppid=8874 vsize=10918240 memory=1108984 CPUtime=2416.41 cores=0,2,4,6
/proc/8877/task/8930/stat : 8930 (java) R 8874 8877 7887 0 -1 4202560 97354 12960 0 0 241573 60 5 3 20 0 15 0 47651497 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855466556704 139855113192832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8931] ppid=8874 vsize=10918240 memory=1108984 CPUtime=13.37 cores=0,2,4,6
/proc/8877/task/8931/stat : 8931 (java) S 8874 8877 7887 0 -1 1077944384 14878 12960 0 0 1276 53 5 3 20 0 15 0 47651498 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855498963472 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8932] ppid=8874 vsize=10918240 memory=1108984 CPUtime=13.36 cores=0,2,4,6
/proc/8877/task/8932/stat : 8932 (java) S 8874 8877 7887 0 -1 1077944384 9363 12960 0 0 1273 55 5 3 20 0 15 0 47651498 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855413783184 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8933] ppid=8874 vsize=10918240 memory=1108984 CPUtime=13.42 cores=0,2,4,6
/proc/8877/task/8933/stat : 8933 (java) S 8874 8877 7887 0 -1 1077944384 15264 12960 0 0 1276 58 5 3 20 0 15 0 47651498 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855412730128 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8934] ppid=8874 vsize=10918240 memory=1108984 CPUtime=13.41 cores=0,2,4,6
/proc/8877/task/8934/stat : 8934 (java) S 8874 8877 7887 0 -1 1077944384 19264 12960 0 0 1281 52 5 3 20 0 15 0 47651498 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855411677584 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8935] ppid=8874 vsize=10918240 memory=15760 CPUtime=10.05 cores=0,2,4,6
/proc/8877/task/8935/stat : 8935 (java) S 8874 8877 7887 0 -1 1077944384 18023 12960 0 0 942 55 5 3 20 0 15 0 47651499 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855021411056 139855494732418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8936] ppid=8874 vsize=10918240 memory=1108984 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8936/stat : 8936 (java) S 8874 8877 7887 0 -1 1077944384 13 12960 0 0 0 0 5 3 20 0 15 0 47651500 11180277760 277246 33554432000 4194304 4196468 140732714276960 139854402807520 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8937] ppid=8874 vsize=10918240 memory=1200 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8937/stat : 8937 (java) S 8874 8877 7887 0 -1 1077944384 2 12960 0 0 0 0 5 3 20 0 15 0 47651500 11180277760 277246 33554432000 4194304 4196468 140732714276960 139854268589312 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8938] ppid=8874 vsize=10918240 memory=1108984 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8938/stat : 8938 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139854128957904 139855494739867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8939] ppid=8874 vsize=10918240 memory=1108984 CPUtime=10.46 cores=0,2,4,6
/proc/8877/task/8939/stat : 8939 (java) S 8874 8877 7887 0 -1 1077944384 41371 12960 0 0 1031 7 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855020357872 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8940] ppid=8874 vsize=10918240 memory=1108984 CPUtime=11.04 cores=0,2,4,6
/proc/8877/task/8940/stat : 8940 (java) S 8874 8877 7887 0 -1 1077944384 51839 12960 0 0 1089 7 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855019305328 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8941] ppid=8874 vsize=10918240 memory=1108984 CPUtime=4.63 cores=0,2,4,6
/proc/8877/task/8941/stat : 8941 (java) S 8874 8877 7887 0 -1 1077944384 49182 12960 0 0 445 10 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855018252272 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8942] ppid=8874 vsize=10918240 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8942/stat : 8942 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139853731719520 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8943] ppid=8874 vsize=10918240 memory=1108984 CPUtime=1.48 cores=0,2,4,6
/proc/8877/task/8943/stat : 8943 (java) S 8874 8877 7887 0 -1 1077944384 3371 12960 0 0 67 73 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855017200688 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
Current children cumulated CPU time: 2507.03 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1108984 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2455.11 s]
/proc/loadavg: 1.33 1.37 1.37 3/215 9148
/proc/meminfo: memFree=17639464/32770624 swapFree=67108860/67108860
[pid=8877] ppid=8874 vsize=10918240 memory=1108984 CPUtime=2520.05 cores=0,2,4,6
/proc/8877/stat : 8877 (java) S 8874 8877 7887 0 -1 1077944320 322313 12960 0 0 251619 378 5 3 20 0 15 0 47651488 11180277760 277246 33554432000 4194304 4196468 140732714276960 140732714259504 139855494721271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
/proc/8877/statm: 2729560 277246 3530 1 0 2691213 0
[pid=8877/tid=8930] ppid=8874 vsize=10918240 memory=1108984 CPUtime=2429.07 cores=0,2,4,6
/proc/8877/task/8930/stat : 8930 (java) R 8874 8877 7887 0 -1 4202560 97471 12960 0 0 242839 60 5 3 20 0 15 0 47651497 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855466555968 139855111313995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8931] ppid=8874 vsize=10918240 memory=1108984 CPUtime=13.44 cores=0,2,4,6
/proc/8877/task/8931/stat : 8931 (java) S 8874 8877 7887 0 -1 1077944384 14880 12960 0 0 1283 53 5 3 20 0 15 0 47651498 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855498963472 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8932] ppid=8874 vsize=10918240 memory=1108984 CPUtime=13.44 cores=0,2,4,6
/proc/8877/task/8932/stat : 8932 (java) S 8874 8877 7887 0 -1 1077944384 9386 12960 0 0 1281 55 5 3 20 0 15 0 47651498 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855413783184 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8933] ppid=8874 vsize=10918240 memory=1108984 CPUtime=13.5 cores=0,2,4,6
/proc/8877/task/8933/stat : 8933 (java) S 8874 8877 7887 0 -1 1077944384 15272 12960 0 0 1283 59 5 3 20 0 15 0 47651498 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855412730128 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8934] ppid=8874 vsize=10918240 memory=1108984 CPUtime=13.49 cores=0,2,4,6
/proc/8877/task/8934/stat : 8934 (java) S 8874 8877 7887 0 -1 1077944384 19298 12960 0 0 1289 52 5 3 20 0 15 0 47651498 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855411677584 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8935] ppid=8874 vsize=10918240 memory=1108984 CPUtime=10.1 cores=0,2,4,6
/proc/8877/task/8935/stat : 8935 (java) S 8874 8877 7887 0 -1 1077944384 18031 12960 0 0 947 55 5 3 20 0 15 0 47651499 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855021411056 139855494732418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8936] ppid=8874 vsize=10918240 memory=1108984 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8936/stat : 8936 (java) S 8874 8877 7887 0 -1 1077944384 13 12960 0 0 0 0 5 3 20 0 15 0 47651500 11180277760 277246 33554432000 4194304 4196468 140732714276960 139854402807520 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8937] ppid=8874 vsize=10918240 memory=1108984 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8937/stat : 8937 (java) S 8874 8877 7887 0 -1 1077944384 2 12960 0 0 0 0 5 3 20 0 15 0 47651500 11180277760 277246 33554432000 4194304 4196468 140732714276960 139854268589312 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8938] ppid=8874 vsize=10918240 memory=1108984 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8938/stat : 8938 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139854128957904 139855494739867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8939] ppid=8874 vsize=10918240 memory=1108984 CPUtime=10.46 cores=0,2,4,6
/proc/8877/task/8939/stat : 8939 (java) S 8874 8877 7887 0 -1 1077944384 41371 12960 0 0 1031 7 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855020357872 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8940] ppid=8874 vsize=10918240 memory=4140 CPUtime=11.04 cores=0,2,4,6
/proc/8877/task/8940/stat : 8940 (java) S 8874 8877 7887 0 -1 1077944384 51839 12960 0 0 1089 7 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855019305328 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8941] ppid=8874 vsize=10918240 memory=1108984 CPUtime=4.63 cores=0,2,4,6
/proc/8877/task/8941/stat : 8941 (java) S 8874 8877 7887 0 -1 1077944384 49182 12960 0 0 445 10 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855018252272 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8942] ppid=8874 vsize=10918240 memory=952 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8942/stat : 8942 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139853731719520 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8943] ppid=8874 vsize=10918240 memory=1236 CPUtime=1.48 cores=0,2,4,6
/proc/8877/task/8943/stat : 8943 (java) S 8874 8877 7887 0 -1 1077944384 3373 12960 0 0 67 73 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855017200688 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1108984 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2455.14 s]
# the end of solver process 8877 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.27 s, system=3.82528 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2455.11 s]
/proc/loadavg: 1.33 1.37 1.37 3/215 9148
/proc/meminfo: memFree=17639464/32770624 swapFree=67108860/67108860
[pid=8877] ppid=8874 vsize=10918240 memory=1108984 CPUtime=2520.05 cores=0,2,4,6
/proc/8877/stat : 8877 (java) S 8874 8877 7887 0 -1 1077944320 322313 12960 0 0 251619 378 5 3 20 0 15 0 47651488 11180277760 277246 33554432000 4194304 4196468 140732714276960 140732714259504 139855494721271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
/proc/8877/statm: 2729560 277246 3530 1 0 2691213 0
[pid=8877/tid=8930] ppid=8874 vsize=10918240 memory=1108984 CPUtime=2429.07 cores=0,2,4,6
/proc/8877/task/8930/stat : 8930 (java) R 8874 8877 7887 0 -1 4202560 97471 12960 0 0 242839 60 5 3 20 0 15 0 47651497 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855466555968 139855111313995 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8931] ppid=8874 vsize=10918240 memory=1108984 CPUtime=13.44 cores=0,2,4,6
/proc/8877/task/8931/stat : 8931 (java) S 8874 8877 7887 0 -1 1077944384 14880 12960 0 0 1283 53 5 3 20 0 15 0 47651498 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855498963472 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8932] ppid=8874 vsize=10918240 memory=1108984 CPUtime=13.44 cores=0,2,4,6
/proc/8877/task/8932/stat : 8932 (java) S 8874 8877 7887 0 -1 1077944384 9386 12960 0 0 1281 55 5 3 20 0 15 0 47651498 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855413783184 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8933] ppid=8874 vsize=10918240 memory=1108984 CPUtime=13.5 cores=0,2,4,6
/proc/8877/task/8933/stat : 8933 (java) S 8874 8877 7887 0 -1 1077944384 15272 12960 0 0 1283 59 5 3 20 0 15 0 47651498 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855412730128 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8934] ppid=8874 vsize=10918240 memory=1108984 CPUtime=13.49 cores=0,2,4,6
/proc/8877/task/8934/stat : 8934 (java) S 8874 8877 7887 0 -1 1077944384 19298 12960 0 0 1289 52 5 3 20 0 15 0 47651498 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855411677584 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8935] ppid=8874 vsize=10918240 memory=1108984 CPUtime=10.1 cores=0,2,4,6
/proc/8877/task/8935/stat : 8935 (java) S 8874 8877 7887 0 -1 1077944384 18031 12960 0 0 947 55 5 3 20 0 15 0 47651499 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855021411056 139855494732418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8936] ppid=8874 vsize=10918240 memory=1108984 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8936/stat : 8936 (java) S 8874 8877 7887 0 -1 1077944384 13 12960 0 0 0 0 5 3 20 0 15 0 47651500 11180277760 277246 33554432000 4194304 4196468 140732714276960 139854402807520 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8937] ppid=8874 vsize=10918240 memory=1108984 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8937/stat : 8937 (java) S 8874 8877 7887 0 -1 1077944384 2 12960 0 0 0 0 5 3 20 0 15 0 47651500 11180277760 277246 33554432000 4194304 4196468 140732714276960 139854268589312 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8938] ppid=8874 vsize=10918240 memory=1108984 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8938/stat : 8938 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139854128957904 139855494739867 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8939] ppid=8874 vsize=10918240 memory=1108984 CPUtime=10.46 cores=0,2,4,6
/proc/8877/task/8939/stat : 8939 (java) S 8874 8877 7887 0 -1 1077944384 41371 12960 0 0 1031 7 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855020357872 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8940] ppid=8874 vsize=10918240 memory=4140 CPUtime=11.04 cores=0,2,4,6
/proc/8877/task/8940/stat : 8940 (java) S 8874 8877 7887 0 -1 1077944384 51839 12960 0 0 1089 7 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855019305328 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8941] ppid=8874 vsize=10918240 memory=1108984 CPUtime=4.63 cores=0,2,4,6
/proc/8877/task/8941/stat : 8941 (java) S 8874 8877 7887 0 -1 1077944384 49182 12960 0 0 445 10 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855018252272 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8942] ppid=8874 vsize=10918240 memory=952 CPUtime=0.08 cores=0,2,4,6
/proc/8877/task/8942/stat : 8942 (java) S 8874 8877 7887 0 -1 1077944384 3 12960 0 0 0 0 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139853731719520 139855494731477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
[pid=8877/tid=8943] ppid=8874 vsize=10918240 memory=1236 CPUtime=1.48 cores=0,2,4,6
/proc/8877/task/8943/stat : 8943 (java) S 8874 8877 7887 0 -1 1077944384 3373 12960 0 0 67 73 5 3 20 0 15 0 47651503 11180277760 277246 33554432000 4194304 4196468 140732714276960 139855017200688 139855494732418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 44 0 0 6293624 6294260 6762496 140732714285679 140732714288476 140732714288476 140732714291151 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1108984 KiB
Child status: 143
Real time (s): 2455.14
CPU time (s): 2520.09
CPU user time (s): 2516.27
CPU system time (s): 3.82528
CPU usage (%): 102.646
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1385140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.27
system time used= 3.82528
maximum resident set size= 1387704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 336167
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 269160
involuntary context switches= 6880
# summary of solver processes directly reported to runsolver:
# pid: 8877
# total CPU time (s): 2520.09
# total CPU user time (s): 2516.27
# total CPU system time (s): 3.82528
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7696 second user time and 25.6934 second system time
The end
Begin job on node107 at 2018-07-23 01:08:03 IDJOB=4292945 IDBENCH=141044 IDSOLVER=2750 FILE ID=node107/4292945-1532300883 RUNJOBID= node107-1532295923-7918 PBS_JOBID= 21018984 Free space on /tmp= 55100 MiB SOLVER NAME= Concrete 3.8 2018-06-13 BENCH NAME= XCSP18/NurseRostering/NurseRostering-05_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292945-1532300883/watcher-4292945-1532300883 -o /tmp/evaluation-result-4292945-1532300883/solver-4292945-1532300883 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7918 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=364708279 HOME/instance-4292945-1532300883.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b6cc1cad0a6ec682295352adb28466c6 RANDOM SEED=364708279 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 19065464 kB MemAvailable: 30939244 kB Buffers: 253544 kB Cached: 11767824 kB SwapCached: 0 kB Active: 2648880 kB Inactive: 10425904 kB Active(anon): 1056264 kB Inactive(anon): 16860 kB Active(file): 1592616 kB Inactive(file): 10409044 kB Unevictable: 7152 kB Mlocked: 7152 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26452 kB Writeback: 0 kB AnonPages: 1060560 kB Mapped: 49420 kB Shmem: 17036 kB Slab: 327664 kB SReclaimable: 300580 kB SUnreclaim: 27084 kB KernelStack: 3520 kB PageTables: 7068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1999616 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 964608 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 55072 MiB End job on node107 at 2018-07-23 01:48:58