Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.9.2-SuperNG | SAT (TO) | 4990 | 252.042 | 227.049 |
| Name | NurseRostering/ NurseRostering-05_c18.xml |
| MD5SUM | b6cc1cad0a6ec682295352adb28466c6 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2564 |
| Best CPU time to get the best result obtained on this benchmark | 252.13 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 834 |
| Number of constraints | 2135 |
| Number of domains | 14 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":34},{"size":2,"count":170},{"size":3,"count":448},{"size":15,"count":10},{"size":17,"count":140},{"size":29,"count":32}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 23 |
| Distribution of variable degrees | [{"degree":2,"count":322},{"degree":3,"count":64},{"degree":11,"count":16},{"degree":12,"count":15},{"degree":13,"count":1},{"degree":14,"count":12},{"degree":15,"count":17},{"degree":16,"count":22},{"degree":17,"count":26},{"degree":18,"count":24},{"degree":19,"count":109},{"degree":20,"count":73},{"degree":21,"count":82},{"degree":22,"count":46},{"degree":23,"count":5}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":2,"count":782},{"arity":3,"count":692},{"arity":4,"count":166},{"arity":6,"count":230},{"arity":7,"count":132},{"arity":17,"count":84},{"arity":29,"count":48},{"arity":32,"count":1}] |
| Number of extensional constraints | 516 |
| Number of intensional constraints | 266 |
| Distribution of constraint types | [{"type":"extension","count":516},{"type":"intension","count":266},{"type":"regular","count":826},{"type":"sum","count":32},{"type":"count","count":494},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.99/0.74 c Concrete v3.9.2.1532736233296 running 11.16/4.69 c 21:51:01.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6148. 'extension(x[0][12]=[0‥2], 2) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 11.16/4.69 c 21:51:01.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6149. 'extension(2, x[2][12]=[0‥2]) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 11.48/4.70 c 21:51:01.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6169. 'extension(x[1][14]=[0‥2], 2) :: init: true :: relation: MDD 179233442, 2 edges, 3 vertices, 1 tuples 11.48/4.70 c 21:51:01.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6192. 'extension(2, x[4][14]=[0‥2]) :: init: true :: relation: MDD 179233442, 2 edges, 3 vertices, 1 tuples 11.48/4.70 c 21:51:01.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6195. 'extension(2, 2) :: init: true :: relation: MDD 179233442, 2 edges, 3 vertices, 1 tuples 11.48/4.71 c 21:51:01.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6217. 'extension(2, wk[2][0]=[0‥1]) :: init: true :: relation: MDD 454424866, 3 edges, 3 vertices, 2 tuples 11.48/4.71 c 21:51:01.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6218. 'extension(x[4][2]=[0‥2], 2) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 11.48/4.72 c 21:51:01.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6244. 'extension(2, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1412612727, 3 edges, 3 vertices, 2 tuples 11.48/4.72 c 21:51:01.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6245. 'extension(x[4][10]=[0‥2], 2) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 11.48/4.72 c 21:51:01.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6272. 'extension(2, wk[2][0]=[0‥1]) :: init: true :: relation: MDD 1267110705, 3 edges, 3 vertices, 2 tuples 11.48/4.72 c 21:51:01.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6273. 'extension(2, x[7][2]=[0‥2]) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 11.48/4.72 c 21:51:01.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6276. 'extension(2, 2) :: init: true :: relation: MDD 979117606, 2 edges, 3 vertices, 1 tuples 11.48/4.72 c 21:51:01.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6299. 'extension(2, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1711393939, 3 edges, 3 vertices, 2 tuples 11.48/4.72 c 21:51:01.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6300. 'extension(x[5][7]=[0‥2], 2) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 11.48/4.72 c 21:51:01.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6301. 'extension(2, x[7][7]=[0‥2]) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 11.48/4.72 c 21:51:01.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6326. 'extension(2, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 287859212, 3 edges, 3 vertices, 2 tuples 11.48/4.72 c 21:51:01.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6327. 'extension(2, x[7][10]=[0‥2]) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 11.48/4.72 c 21:51:01.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6330. 'extension(2, 2) :: init: true :: relation: MDD 2084863094, 2 edges, 3 vertices, 1 tuples 11.48/4.72 c 21:51:01.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6355. 'extension(x[6][12]=[0‥2], 2) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 11.48/4.72 c 21:51:01.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6356. 'extension(2, x[8][12]=[0‥2]) :: init: true :: relation: MDD 44249014, 2 edges, 3 vertices, 1 tuples 11.48/4.73 c 21:51:01.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6383. 'extension(x[7][6]=[0‥2], 2) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.48/4.73 c 21:51:01.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6384. 'extension(2, x[9][6]=[0‥2]) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.48/4.73 c 21:51:01.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6409. 'extension(x[8][1]=[0‥2], 2) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.48/4.73 c 21:51:01.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6410. 'extension(2, x[10][1]=[0‥2]) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.48/4.73 c 21:51:01.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6435. 'extension(x[8][3]=[0‥2], 2) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.48/4.74 c 21:51:01.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6436. 'extension(2, x[10][3]=[0‥2]) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.48/4.74 c 21:51:01.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6461. 'extension(x[9][7]=[0‥2], 2) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 11.48/4.74 c 21:51:01.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6462. 'extension(2, x[11][7]=[0‥2]) :: init: true :: relation: MDD 1957338226, 2 edges, 3 vertices, 1 tuples 11.48/4.74 c 21:51:01.855 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6487. 'extension(x[10][5]=[0‥2], 2) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 11.48/4.74 c 21:51:01.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6513. 'extension(2, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 962927234, 3 edges, 3 vertices, 2 tuples 11.48/4.74 c 21:51:01.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6514. 'extension(2, x[13][5]=[0‥2]) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 11.48/4.74 c 21:51:01.858 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6517. 'extension(2, 2) :: init: true :: relation: MDD 926905424, 2 edges, 3 vertices, 1 tuples 11.48/4.75 c 21:51:01.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6540. 'extension(2, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 161938368, 3 edges, 3 vertices, 2 tuples 11.48/4.75 c 21:51:01.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6541. 'extension(x[12][3]=[0‥2], 2) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.48/4.75 c 21:51:01.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6542. 'extension(2, x[14][3]=[0‥2]) :: init: true :: relation: MDD 2142450580, 2 edges, 3 vertices, 1 tuples 11.48/4.75 c 21:51:01.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6567. 'extension(x[14][9]=[0‥2], 2) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 11.48/4.75 c 21:51:01.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6593. 'extension(2, x[17][9]=[0‥2]) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 11.48/4.75 c 21:51:01.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6596. 'extension(2, 2) :: init: true :: relation: MDD 203409962, 2 edges, 3 vertices, 1 tuples 11.48/4.75 c 21:51:01.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6619. 'extension(x[15][13]=[0‥2], 2) :: init: true :: relation: MDD 373973695, 2 edges, 3 vertices, 1 tuples 11.48/4.76 c 21:51:01.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6620. 'extension(2, x[17][13]=[0‥2]) :: init: true :: relation: MDD 373973695, 2 edges, 3 vertices, 1 tuples 11.48/4.76 c 21:51:01.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6647. 'extension(x[15][15]=[0‥2], 2) :: init: true :: relation: MDD 1252713736, 2 edges, 3 vertices, 1 tuples 11.48/4.76 c 21:51:01.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6675. 'extension(x[16][0]=[0‥2], 2) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.48/4.76 c 21:51:01.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6676. 'extension(2, x[18][0]=[0‥2]) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.48/4.76 c 21:51:01.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6701. 'extension(2, x[18][15]=[0‥2]) :: init: true :: relation: MDD 1252713736, 2 edges, 3 vertices, 1 tuples 11.48/4.76 c 21:51:01.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6704. 'extension(2, 2) :: init: true :: relation: MDD 1252713736, 2 edges, 3 vertices, 1 tuples 11.48/4.77 c 21:51:01.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6729. 'extension(x[17][8]=[0‥2], 2) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 11.48/4.77 c 21:51:01.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6755. 'extension(2, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 1713129148, 3 edges, 3 vertices, 2 tuples 11.48/4.77 c 21:51:01.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6756. 'extension(x[18][6]=[0‥2], 2) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.48/4.77 c 21:51:01.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6757. 'extension(2, x[20][6]=[0‥2]) :: init: true :: relation: MDD 1610155589, 2 edges, 3 vertices, 1 tuples 11.48/4.77 c 21:51:01.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6782. 'extension(2, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 1898167916, 3 edges, 3 vertices, 2 tuples 11.48/4.77 c 21:51:01.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6783. 'extension(2, x[20][8]=[0‥2]) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 11.48/4.77 c 21:51:01.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6786. 'extension(2, 2) :: init: true :: relation: MDD 1266435158, 2 edges, 3 vertices, 1 tuples 11.48/4.77 c 21:51:01.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6809. 'extension(x[21][0]=[0‥2], 2) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.48/4.77 c 21:51:01.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6810. 'extension(2, x[23][0]=[0‥2]) :: init: true :: relation: MDD 2128859746, 2 edges, 3 vertices, 1 tuples 11.48/4.78 c 21:51:01.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6835. 'extension(x[21][4]=[0‥2], 2) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 11.48/4.78 c 21:51:01.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6861. 'extension(x[22][1]=[0‥2], 2) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.48/4.78 c 21:51:01.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6862. 'extension(2, x[24][1]=[0‥2]) :: init: true :: relation: MDD 1966114624, 2 edges, 3 vertices, 1 tuples 11.48/4.78 c 21:51:01.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6886. 'extension(2, x[24][4]=[0‥2]) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 11.48/4.78 c 21:51:01.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6889. 'extension(2, 2) :: init: true :: relation: MDD 445192925, 2 edges, 3 vertices, 1 tuples 11.48/4.78 c 21:51:01.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6911. 'extension(x[24][11]=[0‥2], 2) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 11.48/4.79 c 21:51:01.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6934. 'extension(2, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 413946856, 3 edges, 3 vertices, 2 tuples 11.48/4.79 c 21:51:01.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6935. 'extension(2, x[27][11]=[0‥2]) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 11.48/4.79 c 21:51:01.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6937. 'extension(2, 2) :: init: true :: relation: MDD 373342545, 2 edges, 3 vertices, 1 tuples 11.48/4.79 c 21:51:01.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6956. 'extension(2, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 2113891589, 3 edges, 3 vertices, 2 tuples 11.48/4.79 c 21:51:01.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6957. 'extension(x[25][13]=[0‥2], 2) :: init: true :: relation: MDD 373973695, 2 edges, 3 vertices, 1 tuples 11.48/4.79 c 21:51:01.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 6958. 'extension(2, x[27][13]=[0‥2]) :: init: true :: relation: MDD 373973695, 2 edges, 3 vertices, 1 tuples 11.48/4.80 c 21:51:01.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7011. 'extension(x[0][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.48/4.80 c 21:51:01.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7013. 'extension(x[2][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.48/4.80 c 21:51:01.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7025. 'extension(x[1][14]=[0‥2]) :: init: true :: relation: Empty MDD 11.48/4.80 c 21:51:01.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7029. 'extension(x[4][14]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.80 c 21:51:01.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7045. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.82/4.80 c 21:51:01.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7047. 'extension(x[4][2]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.80 c 21:51:01.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7053. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7055. 'extension(x[4][10]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7061. 'extension(wk[2][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7063. 'extension(x[7][2]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7077. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7079. 'extension(x[5][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7081. 'extension(x[7][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7095. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7097. 'extension(x[7][10]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7113. 'extension(x[6][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7115. 'extension(x[8][12]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7131. 'extension(x[7][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7133. 'extension(x[9][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7147. 'extension(x[8][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7149. 'extension(x[10][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7163. 'extension(x[8][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.81 c 21:51:01.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7165. 'extension(x[10][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7179. 'extension(x[9][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7181. 'extension(x[11][7]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7195. 'extension(x[10][5]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7201. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7203. 'extension(x[13][5]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7217. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7219. 'extension(x[12][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7221. 'extension(x[14][3]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7235. 'extension(x[14][9]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7241. 'extension(x[17][9]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7255. 'extension(x[15][13]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7257. 'extension(x[17][13]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7273. 'extension(x[15][15]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7279. 'extension(x[16][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7281. 'extension(x[18][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7295. 'extension(x[18][15]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7311. 'extension(x[17][8]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7317. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7319. 'extension(x[18][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7321. 'extension(x[20][6]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7335. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7337. 'extension(x[20][8]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7351. 'extension(x[21][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.82 c 21:51:01.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7353. 'extension(x[23][0]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.83 c 21:51:01.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7367. 'extension(x[21][4]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.83 c 21:51:01.941 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7373. 'extension(x[22][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.83 c 21:51:01.941 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7375. 'extension(x[24][1]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.83 c 21:51:01.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7389. 'extension(x[24][4]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.83 c 21:51:01.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7403. 'extension(x[24][11]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.83 c 21:51:01.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7409. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.82/4.83 c 21:51:01.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7411. 'extension(x[27][11]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.83 c 21:51:01.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7423. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD 11.82/4.83 c 21:51:01.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7425. 'extension(x[25][13]=[0‥2]) :: init: true :: relation: Empty MDD 11.82/4.83 c 21:51:01.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7427. 'extension(x[27][13]=[0‥2]) :: init: true :: relation: Empty MDD 29.43/13.92 o 5691 29.71/14.01 o 5591 30.01/14.13 o 5491 34.65/17.69 o 5393 34.79/17.73 o 5293 35.59/18.46 o 5192 45.41/27.41 o 5098 45.41/27.41 o 5097 45.41/27.42 o 5096 45.41/27.45 o 5095 45.41/27.47 o 5094 45.41/27.48 o 5093 56.57/37.17 o 5091 56.57/37.18 o 5090 63.26/43.24 o 4991 63.26/43.24 o 4990 252.00/227.01 Exception in thread "main" java.util.concurrent.TimeoutException 252.00/227.01 at concrete.MAC.mac(MAC.scala:188) 252.00/227.01 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 252.00/227.01 at scala.util.Try$.apply(Try.scala:209) 252.00/227.01 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 252.00/227.01 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 252.00/227.01 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 252.00/227.01 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 252.00/227.01 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 252.00/227.01 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 252.00/227.01 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 252.00/227.01 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 252.00/227.01 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 252.00/227.01 at concrete.MAC.oneRun(MAC.scala:253) 252.00/227.01 at concrete.MAC.nextSolution(MAC.scala:272) 252.00/227.01 at concrete.MAC.nextSolution(MAC.scala:355) 252.00/227.01 at concrete.Solver.hasNext(Solver.scala:166) 252.00/227.01 at scala.collection.Iterator.foreach(Iterator.scala:944) 252.00/227.01 at scala.collection.Iterator.foreach$(Iterator.scala:944) 252.00/227.01 at concrete.Solver.foreach(Solver.scala:68) 252.00/227.01 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 252.00/227.01 at scala.util.Success.$anonfun$map$1(Try.scala:251) 252.00/227.01 at scala.util.Success.map(Try.scala:209) 252.00/227.01 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 252.00/227.01 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 252.00/227.01 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 252.00/227.01 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 252.00/227.01 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 252.00/227.01 at scala.Function0.apply$mcV$sp(Function0.scala:34) 252.00/227.01 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 252.00/227.01 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 252.00/227.01 at scala.App.$anonfun$main$1$adapted(App.scala:76) 252.00/227.01 at scala.collection.immutable.List.foreach(List.scala:389) 252.00/227.01 at scala.App.main(App.scala:76) 252.00/227.01 at scala.App.main$(App.scala:74) 252.00/227.01 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 252.00/227.01 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 252.00/227.02 v <instantiation cost="4990"> 252.00/227.02 v <list> 252.00/227.02 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ps[10][0] ps[10][1] ps[10][2] ps[11][0] ps[11][1] ps[11][2] ps[12][0] ps[12][1] ps[12][2] ps[13][0] ps[13][1] ps[13][2] ps[14][0] ps[14][1] ps[14][2] ps[15][0] ps[15][1] ps[15][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] ds[14][0] ds[14][1] ds[14][2] ds[15][0] ds[15][1] ds[15][2] ds[16][0] ds[16][1] ds[16][2] ds[17][0] ds[17][1] ds[17][2] ds[18][0] ds[18][1] ds[18][2] ds[19][0] ds[19][1] ds[19][2] ds[20][0] ds[20][1] ds[20][2] ds[21][0] ds[21][1] ds[21][2] ds[22][0] ds[22][1] ds[22][2] ds[23][0] ds[23][1] ds[23][2] ds[24][0] ds[24][1] ds[24][2] ds[25][0] ds[25][1] ds[25][2] ds[26][0] ds[26][1] ds[26][2] ds[27][0] ds[27][1] ds[27][2] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] cc[14][0] cc[14][1] cc[14][2] cc[15][0] cc[15][1] cc[15][2] cc[16][0] cc[16][1] cc[16][2] cc[17][0] cc[17][1] cc[17][2] cc[18][0] cc[18][1] cc[18][2] cc[19][0] cc[19][1] cc[19][2] cc[20][0] cc[20][1] cc[20][2] cc[21][0] cc[21][1] cc[21][2] cc[22][0] cc[22][1] cc[22][2] cc[23][0] cc[23][1] cc[23][2] cc[24][0] cc[24][1] cc[24][2] cc[25][0] cc[25][1] cc[25][2] cc[26][0] cc[26][1] cc[26][2] cc[27][0] cc[27][1] cc[27][2] 252.00/227.02 v </list> 252.00/227.02 v <values> 252.00/227.02 v 0 0 2 1 2 1 1 0 2 1 2 0 2 0 2 0 0 0 2 1 2 1 1 0 1 1 0 0 2 0 2 0 2 0 1 2 0 1 1 0 1 1 0 0 0 0 2 1 2 0 1 2 0 1 2 0 1 2 0 0 0 0 2 1 0 2 2 1 0 1 2 0 1 2 0 2 0 0 0 2 0 2 2 1 0 2 2 2 2 0 2 2 0 0 0 2 0 2 2 1 0 2 2 2 2 0 2 2 1 2 0 2 2 0 2 1 2 1 2 0 0 1 2 0 2 2 0 0 2 0 0 2 2 1 2 1 0 1 2 0 2 2 0 0 0 2 1 2 0 1 1 1 1 1 0 0 2 2 0 0 0 2 1 1 0 2 1 2 2 2 0 0 2 0 2 2 0 0 1 1 0 2 1 2 2 2 0 0 0 0 2 2 2 0 1 2 2 2 1 1 0 0 0 0 0 0 2 2 2 0 2 2 2 2 2 1 1 0 0 2 0 0 0 0 0 0 2 0 0 0 2 1 1 0 2 2 0 2 1 1 0 0 0 1 0 0 0 2 1 2 2 2 0 2 1 1 2 2 0 2 0 1 0 2 2 2 2 2 2 2 1 2 2 2 0 2 2 2 0 2 2 2 0 2 2 0 1 2 0 2 1 0 2 2 1 0 2 2 0 0 2 0 2 2 0 0 1 0 0 2 2 0 2 2 2 0 2 0 2 1 0 0 2 1 0 1 2 1 2 2 2 0 0 0 2 1 0 0 2 1 0 1 2 1 1 0 2 0 0 0 0 2 2 2 1 2 2 1 2 1 1 0 2 0 0 0 0 2 2 2 1 2 2 1 0 2 1 0 0 0 0 2 0 2 0 0 1 0 0 1 1 2 2 1 0 2 0 2 0 0 0 0 1 1 0 2 1 2 2 1 0 2 1 2 0 0 2 2 2 2 2 2 1 2 0 2 0 2 2 2 2 0 2 2 2 2 2 2 1 2 0 2 0 2 2 2 2 1 16 0 12 16 0 12 4 12 12 4 12 12 16 0 12 2 14 12 4 12 12 8 8 12 5 11 12 8 8 12 16 0 12 16 0 12 14 2 12 16 0 12 12 4 12 9 7 12 6 4 6 7 5 4 7 6 3 7 4 5 7 3 6 6 1 9 4 2 10 6 3 7 6 3 7 6 6 4 5 3 8 7 3 6 7 3 6 7 2 7 7 4 5 7 4 5 3 2 11 4 1 11 6 2 8 7 2 7 6 4 6 8 4 4 5 4 7 6 3 7 8 4 4 6 5 5 3 1 12 2 2 12 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 1 0 1 1 1 3 3 0 0 3 0 0 0 2 2 0 0 3 0 2 2 0 0 2 0 0 0 0 0 3 3 0 0 0 0 1 0 3 0 0 0 3 3 1 0 0 0 1 1 1 1 2 3 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 1 1 1 3 0 3 2 1 2 0 0 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 2 0 0 1 0 0 0 0 0 0 200 0 200 200 0 0 100 0 0 100 0 0 0 0 0 100 0 1 100 0 1 100 0 1 200 0 0 1 0 100 0 0 300 300 0 300 300 0 100 200 0 1 200 0 0 0 0 2 0 0 0 0 0 0 200 0 2 0 0 2 1 0 300 500 0 500 300 0 252.00/227.02 v </values> 252.00/227.02 v </instantiation> 252.00/227.02 s SATISFIABLE
OK 4990
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 (8311 MiB free)
memory of node 1: 16384 MiB (12143 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302774-1532893856/watcher-4302774-1532893856 -o /tmp/evaluation-result-4302774-1532893856/solver-4302774-1532893856 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13580 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=115312168 -superng HOME/instance-4302774-1532893856.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14750, runsolver pid=14747
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 1.39 1.68 1.90 3/206 14807
/proc/meminfo: memFree=20942472/32770624 swapFree=67108404/67108860
[pid=14750] ppid=14747 vsize=10005480 memory=16952 CPUtime=0.1 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 12222 0 -1 1077944320 4401 13187 0 0 1 1 5 3 20 0 6 0 106948807 10245611520 4238 33554432000 4194304 4196468 140727333592912 140727333575456 140150190042871 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
/proc/14750/statm: 2501370 4238 1935 1 0 2489808 0
[pid=14750/tid=14803] ppid=14747 vsize=10005480 memory=4279135703946725005 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14803/stat : 14803 (java) R 14747 14750 12222 0 -1 4202560 2215 13187 0 0 0 0 5 3 20 0 6 0 106948816 10245611520 4750 33554432000 4194304 4196468 140727333592912 140150161879632 140150175725363 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14804] ppid=14747 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14804/stat : 14804 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 6 0 106948817 10245611520 4750 33554432000 4194304 4196468 140727333592912 140150194284944 140150190053077 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14805] ppid=14747 vsize=10005480 memory=139688137541248 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14805/stat : 14805 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 6 0 106948817 10245611520 4750 33554432000 4194304 4196468 140727333592912 140150086035728 140150190053077 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14806] ppid=14747 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14806/stat : 14806 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 6 0 106948817 10245611520 4750 33554432000 4194304 4196468 140727333592912 140149728664208 140150190053077 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14807] ppid=14747 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14807/stat : 14807 (java) S 14747 14750 12222 0 -1 1077944384 2 13187 0 0 0 0 5 3 20 0 6 0 106948817 10245611520 4750 33554432000 4194304 4196468 140727333592912 140149727611408 140150190053077 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16952 KiB
[startup+0.210067 s]*
/proc/loadavg: 1.39 1.68 1.90 3/215 14816
/proc/meminfo: memFree=20920224/32770624 swapFree=67108404/67108860
[pid=14750] ppid=14747 vsize=10982744 memory=42864 CPUtime=0.26 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 12222 0 -1 1077944320 7941 13187 0 0 15 3 5 3 20 0 15 0 106948807 11246329856 10716 33554432000 4194304 4196468 140727333592912 140727333575456 140150190042871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
/proc/14750/statm: 2745686 10716 2954 1 0 2708109 0
[pid=14750/tid=14803] ppid=14747 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/14750/task/14803/stat : 14803 (java) R 14747 14750 12222 0 -1 4202560 4502 13187 0 0 10 1 5 3 20 0 15 0 106948816 11246329856 10716 33554432000 4194304 4196468 140727333592912 140150161866624 140150174123358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14804] ppid=14747 vsize=10982744 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14804/stat : 14804 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 15 0 106948817 11246329856 10716 33554432000 4194304 4196468 140727333592912 140150194284944 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14805] ppid=14747 vsize=10982744 memory=3546782888673756832 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14805/stat : 14805 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 15 0 106948817 11246329856 10716 33554432000 4194304 4196468 140727333592912 140150086035728 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14806] ppid=14747 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14806/stat : 14806 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 15 0 106948817 11246329856 10716 33554432000 4194304 4196468 140727333592912 140149728664208 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14807] ppid=14747 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14807/stat : 14807 (java) S 14747 14750 12222 0 -1 1077944384 2 13187 0 0 0 0 5 3 20 0 15 0 106948817 11246329856 10716 33554432000 4194304 4196468 140727333592912 140149727611408 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14808] ppid=14747 vsize=10982744 memory=139688137541248 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14808/stat : 14808 (java) S 14747 14750 12222 0 -1 1077944384 2 13187 0 0 0 0 5 3 20 0 15 0 106948818 11246329856 10716 33554432000 4194304 4196468 140727333592912 140149683169904 140150190054018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14809] ppid=14747 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14809/stat : 14809 (java) S 14747 14750 12222 0 -1 1077944384 13 13187 0 0 0 0 5 3 20 0 15 0 106948819 11246329856 10716 33554432000 4194304 4196468 140727333592912 140148876502304 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14810] ppid=14747 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14810/stat : 14810 (java) S 14747 14750 12222 0 -1 1077944384 21 13187 0 0 0 0 5 3 20 0 15 0 106948819 11246329856 10716 33554432000 4194304 4196468 140727333592912 140148809389680 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14811] ppid=14747 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14811/stat : 14811 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11246329856 10716 33554432000 4194304 4196468 140727333592912 140148501994064 140150190061467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14812] ppid=14747 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14812/stat : 14812 (java) S 14747 14750 12222 0 -1 1077944384 544 13187 0 0 0 0 5 3 20 0 15 0 106948822 11246329856 10716 33554432000 4194304 4196468 140727333592912 140149614700656 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14813] ppid=14747 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/14750/task/14813/stat : 14813 (java) S 14747 14750 12222 0 -1 1077944384 65 13187 0 0 1 0 5 3 20 0 15 0 106948822 11246329856 10716 33554432000 4194304 4196468 140727333592912 140149613647856 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14814] ppid=14747 vsize=10982744 memory=139688137541248 CPUtime=0.11 cores=0,2,4,6
/proc/14750/task/14814/stat : 14814 (java) R 14747 14750 12222 0 -1 4202560 624 13187 0 0 3 0 5 3 20 0 15 0 106948822 11246329856 10716 33554432000 4194304 4196468 140727333592912 140149612595568 140150168961733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14815] ppid=14747 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14815/stat : 14815 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11246329856 10716 33554432000 4194304 4196468 140727333592912 140148071197152 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14816] ppid=14747 vsize=10982744 memory=139688137541248 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14816/stat : 14816 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 15 0 106948822 11246329856 10716 33554432000 4194304 4196468 140727333592912 140149611543472 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42864 KiB
[startup+0.310277 s]*
/proc/loadavg: 1.39 1.68 1.90 3/215 14816
/proc/meminfo: memFree=20908688/32770624 swapFree=67108404/67108860
[pid=14750] ppid=14747 vsize=10983192 memory=53768 CPUtime=0.39 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 12222 0 -1 1077944320 10477 13187 0 0 27 4 5 3 20 0 15 0 106948807 11246788608 13442 33554432000 4194304 4196468 140727333592912 140727333575456 140150190042871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
/proc/14750/statm: 2745798 13442 3102 1 0 2708109 0
[pid=14750/tid=14803] ppid=14747 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/14750/task/14803/stat : 14803 (java) R 14747 14750 12222 0 -1 4202560 6995 13187 0 0 19 2 5 3 20 0 15 0 106948816 11246788608 13442 33554432000 4194304 4196468 140727333592912 140150161854880 140149759180074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14804] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14804/stat : 14804 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 15 0 106948817 11246788608 13442 33554432000 4194304 4196468 140727333592912 140150194284944 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14805] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14805/stat : 14805 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 15 0 106948817 11246788608 13442 33554432000 4194304 4196468 140727333592912 140150086035728 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14806] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14806/stat : 14806 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 15 0 106948817 11246788608 13442 33554432000 4194304 4196468 140727333592912 140149728664208 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14807] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14807/stat : 14807 (java) S 14747 14750 12222 0 -1 1077944384 2 13187 0 0 0 0 5 3 20 0 15 0 106948817 11246788608 13442 33554432000 4194304 4196468 140727333592912 140149727611408 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14808] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14808/stat : 14808 (java) S 14747 14750 12222 0 -1 1077944384 2 13187 0 0 0 0 5 3 20 0 15 0 106948818 11246788608 13442 33554432000 4194304 4196468 140727333592912 140149683169904 140150190054018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14809] ppid=14747 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14809/stat : 14809 (java) S 14747 14750 12222 0 -1 1077944384 13 13187 0 0 0 0 5 3 20 0 15 0 106948819 11246788608 13442 33554432000 4194304 4196468 140727333592912 140148876502304 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14810] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14810/stat : 14810 (java) S 14747 14750 12222 0 -1 1077944384 21 13187 0 0 0 0 5 3 20 0 15 0 106948819 11246788608 13442 33554432000 4194304 4196468 140727333592912 140148809389680 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14811] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14811/stat : 14811 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11246788608 13442 33554432000 4194304 4196468 140727333592912 140148501994064 140150190061467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14812] ppid=14747 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/14750/task/14812/stat : 14812 (java) S 14747 14750 12222 0 -1 1077944384 546 13187 0 0 1 0 5 3 20 0 15 0 106948822 11246788608 13442 33554432000 4194304 4196468 140727333592912 140149614700656 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14813] ppid=14747 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/14750/task/14813/stat : 14813 (java) S 14747 14750 12222 0 -1 1077944384 68 13187 0 0 1 0 5 3 20 0 15 0 106948822 11246788608 13442 33554432000 4194304 4196468 140727333592912 140149613647856 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14814] ppid=14747 vsize=10983192 memory=139688137541248 CPUtime=0.13 cores=0,2,4,6
/proc/14750/task/14814/stat : 14814 (java) S 14747 14750 12222 0 -1 1077944384 630 13187 0 0 5 0 5 3 20 0 15 0 106948822 11246788608 13442 33554432000 4194304 4196468 140727333592912 140149612595568 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14815] ppid=14747 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14815/stat : 14815 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11246788608 13442 33554432000 4194304 4196468 140727333592912 140148071197152 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14816] ppid=14747 vsize=10983192 memory=139688137541248 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14816/stat : 14816 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 15 0 106948822 11246788608 13442 33554432000 4194304 4196468 140727333592912 140149611543472 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53768 KiB
[startup+0.700839 s]
/proc/loadavg: 1.39 1.68 1.90 4/215 14816
/proc/meminfo: memFree=20897556/32770624 swapFree=67108404/67108860
[pid=14750] ppid=14747 vsize=10983192 memory=86280 CPUtime=0.99 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 12222 0 -1 1077944320 16795 13187 0 0 86 5 5 3 20 0 15 0 106948807 11246788608 21570 33554432000 4194304 4196468 140727333592912 140727333575456 140150190042871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
/proc/14750/statm: 2745798 21570 3238 1 0 2708109 0
[pid=14750/tid=14803] ppid=14747 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/14750/task/14803/stat : 14803 (java) R 14747 14750 12222 0 -1 4202560 12258 13187 0 0 55 3 5 3 20 0 15 0 106948816 11246788608 21570 33554432000 4194304 4196468 140727333592912 140150161863696 140150190064797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14804] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14804/stat : 14804 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 15 0 106948817 11246788608 21570 33554432000 4194304 4196468 140727333592912 140150194284944 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14805] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14805/stat : 14805 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 15 0 106948817 11246788608 21570 33554432000 4194304 4196468 140727333592912 140150086035728 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14806] ppid=14747 vsize=10983192 memory=487 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14806/stat : 14806 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 15 0 106948817 11246788608 21570 33554432000 4194304 4196468 140727333592912 140149728664208 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14807] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14807/stat : 14807 (java) S 14747 14750 12222 0 -1 1077944384 2 13187 0 0 0 0 5 3 20 0 15 0 106948817 11246788608 21570 33554432000 4194304 4196468 140727333592912 140149727611408 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14808] ppid=14747 vsize=10983192 memory=7229512537422845014 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14808/stat : 14808 (java) S 14747 14750 12222 0 -1 1077944384 5 13187 0 0 0 0 5 3 20 0 15 0 106948818 11246788608 21570 33554432000 4194304 4196468 140727333592912 140149683169904 140150190054018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14809] ppid=14747 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14809/stat : 14809 (java) S 14747 14750 12222 0 -1 1077944384 13 13187 0 0 0 0 5 3 20 0 15 0 106948819 11246788608 21570 33554432000 4194304 4196468 140727333592912 140148876502304 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14810] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14810/stat : 14810 (java) S 14747 14750 12222 0 -1 1077944384 21 13187 0 0 0 0 5 3 20 0 15 0 106948819 11246788608 21570 33554432000 4194304 4196468 140727333592912 140148809389680 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14811] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14811/stat : 14811 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11246788608 21570 33554432000 4194304 4196468 140727333592912 140148501994064 140150190061467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14812] ppid=14747 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/14750/task/14812/stat : 14812 (java) S 14747 14750 12222 0 -1 1077944384 951 13187 0 0 7 0 5 3 20 0 15 0 106948822 11246788608 21570 33554432000 4194304 4196468 140727333592912 140149614700656 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14813] ppid=14747 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/14750/task/14813/stat : 14813 (java) S 14747 14750 12222 0 -1 1077944384 629 13187 0 0 9 0 5 3 20 0 15 0 106948822 11246788608 21570 33554432000 4194304 4196468 140727333592912 140149613647856 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14814] ppid=14747 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/14750/task/14814/stat : 14814 (java) S 14747 14750 12222 0 -1 1077944384 709 13187 0 0 13 0 5 3 20 0 15 0 106948822 11246788608 21570 33554432000 4194304 4196468 140727333592912 140149612595568 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14815] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14815/stat : 14815 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11246788608 21570 33554432000 4194304 4196468 140727333592912 140148071197152 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14816] ppid=14747 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14816/stat : 14816 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 15 0 106948822 11246788608 21570 33554432000 4194304 4196468 140727333592912 140149611543472 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86280 KiB
[startup+1.50077 s]
/proc/loadavg: 1.43 1.68 1.90 4/215 14816
/proc/meminfo: memFree=20850980/32770624 swapFree=67108404/67108860
[pid=14750] ppid=14747 vsize=10996044 memory=169964 CPUtime=3 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 12222 0 -1 1077944320 26627 13187 0 0 283 9 5 3 20 0 15 0 106948807 11259949056 42491 33554432000 4194304 4196468 140727333592912 140727333575456 140150190042871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
/proc/14750/statm: 2749011 42491 3449 1 0 2710669 0
[pid=14750/tid=14803] ppid=14747 vsize=10996044 memory=4951091520830867572 CPUtime=1.46 cores=0,2,4,6
/proc/14750/task/14803/stat : 14803 (java) S 14747 14750 12222 0 -1 1077944384 17193 13187 0 0 132 6 5 3 20 0 15 0 106948816 11259949056 42491 33554432000 4194304 4196468 140727333592912 140150161857104 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14804] ppid=14747 vsize=10996044 memory=4134606225630022328 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14804/stat : 14804 (java) S 14747 14750 12222 0 -1 1077944384 145 13187 0 0 0 0 5 3 20 0 15 0 106948817 11259949056 42491 33554432000 4194304 4196468 140727333592912 140150194284944 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14805] ppid=14747 vsize=10996044 memory=-5153075247754915999 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14805/stat : 14805 (java) S 14747 14750 12222 0 -1 1077944384 41 13187 0 0 0 0 5 3 20 0 15 0 106948817 11259949056 42491 33554432000 4194304 4196468 140727333592912 140150086035728 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14806] ppid=14747 vsize=10996044 memory=-7377686479179062167 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14806/stat : 14806 (java) S 14747 14750 12222 0 -1 1077944384 8 13187 0 0 0 0 5 3 20 0 15 0 106948817 11259949056 42491 33554432000 4194304 4196468 140727333592912 140149728664208 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14807] ppid=14747 vsize=10996044 memory=120188 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14807/stat : 14807 (java) S 14747 14750 12222 0 -1 1077944384 16 13187 0 0 0 0 5 3 20 0 15 0 106948817 11259949056 42491 33554432000 4194304 4196468 140727333592912 140149727611408 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14808] ppid=14747 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14808/stat : 14808 (java) R 14747 14750 12222 0 -1 4202560 27 13187 0 0 0 0 5 3 20 0 15 0 106948818 11259949056 42491 33554432000 4194304 4196468 140727333592912 140149683168384 140150175107616 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14809] ppid=14747 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14809/stat : 14809 (java) S 14747 14750 12222 0 -1 1077944384 13 13187 0 0 0 0 5 3 20 0 15 0 106948819 11259949056 42491 33554432000 4194304 4196468 140727333592912 140148876502304 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14810] ppid=14747 vsize=10996044 memory=279376079946016 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14810/stat : 14810 (java) S 14747 14750 12222 0 -1 1077944384 21 13187 0 0 0 0 5 3 20 0 15 0 106948819 11259949056 42491 33554432000 4194304 4196468 140727333592912 140148809389680 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14811] ppid=14747 vsize=10996044 memory=279376080360960 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14811/stat : 14811 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11259949056 42491 33554432000 4194304 4196468 140727333592912 140148501994064 140150190061467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14812] ppid=14747 vsize=10996044 memory=139688039982720 CPUtime=0.6 cores=0,2,4,6
/proc/14750/task/14812/stat : 14812 (java) S 14747 14750 12222 0 -1 1077944384 2719 13187 0 0 51 1 5 3 20 0 15 0 106948822 11259949056 42491 33554432000 4194304 4196468 140727333592912 140149614685648 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14813] ppid=14747 vsize=10996044 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/14750/task/14813/stat : 14813 (java) S 14747 14750 12222 0 -1 1077944384 2436 13187 0 0 51 0 5 3 20 0 15 0 106948822 11259949056 42491 33554432000 4194304 4196468 140727333592912 140149613627920 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14814] ppid=14747 vsize=10996044 memory=1200 CPUtime=0.54 cores=0,2,4,6
/proc/14750/task/14814/stat : 14814 (java) S 14747 14750 12222 0 -1 1077944384 1805 13187 0 0 46 0 5 3 20 0 15 0 106948822 11259949056 42491 33554432000 4194304 4196468 140727333592912 140149612595568 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14815] ppid=14747 vsize=10996044 memory=15876 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14815/stat : 14815 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11259949056 42491 33554432000 4194304 4196468 140727333592912 140148071197152 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14816] ppid=14747 vsize=10996044 memory=4044 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14816/stat : 14816 (java) S 14747 14750 12222 0 -1 1077944384 1 13187 0 0 0 0 5 3 20 0 15 0 106948822 11259949056 42491 33554432000 4194304 4196468 140727333592912 140149611543472 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/14750/task/14803/stat : 14803 (java) R 14747 14750 12222 0 -1 4202560 59234 13187 0 0 10055 32 5 3 20 0 15 0 106948816 11348049920 738053 33554432000 4194304 4196468 140727333592912 140150161877568 140149769012544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14804] ppid=14747 vsize=11082080 memory=2935828 CPUtime=1.23 cores=0,2,4,6
/proc/14750/task/14804/stat : 14804 (java) S 14747 14750 12222 0 -1 1077944384 3705 13187 0 0 77 38 5 3 20 0 15 0 106948817 11348049920 738053 33554432000 4194304 4196468 140727333592912 140150194284944 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14805] ppid=14747 vsize=11082080 memory=1338456 CPUtime=1.21 cores=0,2,4,6
/proc/14750/task/14805/stat : 14805 (java) S 14747 14750 12222 0 -1 1077944384 2157 13187 0 0 73 40 5 3 20 0 15 0 106948817 11348049920 738053 33554432000 4194304 4196468 140727333592912 140150086035728 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14806] ppid=14747 vsize=11082080 memory=496 CPUtime=1.21 cores=0,2,4,6
/proc/14750/task/14806/stat : 14806 (java) S 14747 14750 12222 0 -1 1077944384 2046 13187 0 0 74 39 5 3 20 0 15 0 106948817 11348049920 738053 33554432000 4194304 4196468 140727333592912 140149728664208 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14807] ppid=14747 vsize=11082080 memory=2935828 CPUtime=1.23 cores=0,2,4,6
/proc/14750/task/14807/stat : 14807 (java) S 14747 14750 12222 0 -1 1077944384 1139 13187 0 0 76 39 5 3 20 0 15 0 106948817 11348049920 738053 33554432000 4194304 4196468 140727333592912 140149727611408 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14808] ppid=14747 vsize=11082080 memory=279376080476448 CPUtime=0.16 cores=0,2,4,6
/proc/14750/task/14808/stat : 14808 (java) S 14747 14750 12222 0 -1 1077944384 4349 13187 0 0 8 0 5 3 20 0 15 0 106948818 11348049920 738053 33554432000 4194304 4196468 140727333592912 140149683169904 140150190054018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14809] ppid=14747 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14809/stat : 14809 (java) S 14747 14750 12222 0 -1 1077944384 19 13187 0 0 0 0 5 3 20 0 15 0 106948819 11348049920 738053 33554432000 4194304 4196468 140727333592912 140148876502368 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14810] ppid=14747 vsize=11082080 memory=4785954429024298545 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14810/stat : 14810 (java) S 14747 14750 12222 0 -1 1077944384 61 13187 0 0 0 0 5 3 20 0 15 0 106948819 11348049920 738053 33554432000 4194304 4196468 140727333592912 140148809389696 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14811] ppid=14747 vsize=11082080 memory=2935828 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14811/stat : 14811 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11348049920 738053 33554432000 4194304 4196468 140727333592912 140148501994064 140150190061467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14812] ppid=14747 vsize=11082080 memory=2935828 CPUtime=8.17 cores=0,2,4,6
/proc/14750/task/14812/stat : 14812 (java) S 14747 14750 12222 0 -1 1077944384 20547 13187 0 0 806 3 5 3 20 0 15 0 106948822 11348049920 738053 33554432000 4194304 4196468 140727333592912 140149614700656 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14813] ppid=14747 vsize=11082080 memory=1275 CPUtime=7.99 cores=0,2,4,6
/proc/14750/task/14813/stat : 14813 (java) S 14747 14750 12222 0 -1 1077944384 17173 13187 0 0 788 3 5 3 20 0 15 0 106948822 11348049920 738053 33554432000 4194304 4196468 140727333592912 140149613647856 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14814] ppid=14747 vsize=11082080 memory=111 CPUtime=3.1 cores=0,2,4,6
/proc/14750/task/14814/stat : 14814 (java) S 14747 14750 12222 0 -1 1077944384 14734 13187 0 0 298 4 5 3 20 0 15 0 106948822 11348049920 738053 33554432000 4194304 4196468 140727333592912 140149612595568 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14815] ppid=14747 vsize=11082080 memory=2935828 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14815/stat : 14815 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11348049920 738053 33554432000 4194304 4196468 140727333592912 140148071197152 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14816] ppid=14747 vsize=11082080 memory=2935828 CPUtime=0.13 cores=0,2,4,6
/proc/14750/task/14816/stat : 14816 (java) S 14747 14750 12222 0 -1 1077944384 1599 13187 0 0 2 3 5 3 20 0 15 0 106948822 11348049920 738053 33554432000 4194304 4196468 140727333592912 140149611543472 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
Current children cumulated CPU time: 124.79 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2952212 KiB
[startup+162.301 s]
/proc/loadavg: 1.78 1.72 1.87 3/215 14945
/proc/meminfo: memFree=20087880/32770624 swapFree=67108404/67108860
[pid=14750] ppid=14747 vsize=11082080 memory=2740148 CPUtime=186.15 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 12222 0 -1 1077944320 146379 13187 0 0 18392 215 5 3 20 0 15 0 106948807 11348049920 685037 33554432000 4194304 4196468 140727333592912 140727333575456 140150190042871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
/proc/14750/statm: 2770520 685037 3537 1 0 2732173 0
[pid=14750/tid=14803] ppid=14747 vsize=11082080 memory=2740148 CPUtime=160.6 cores=0,2,4,6
/proc/14750/task/14803/stat : 14803 (java) R 14747 14750 12222 0 -1 4202560 64225 13187 0 0 16020 32 5 3 20 0 15 0 106948816 11348049920 685037 33554432000 4194304 4196468 140727333592912 140150161878056 140149767422464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14804] ppid=14747 vsize=11082080 memory=2796604 CPUtime=1.55 cores=0,2,4,6
/proc/14750/task/14804/stat : 14804 (java) S 14747 14750 12222 0 -1 1077944384 3843 13187 0 0 107 40 5 3 20 0 15 0 106948817 11348049920 685037 33554432000 4194304 4196468 140727333592912 140150194284944 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14805] ppid=14747 vsize=11082080 memory=2796604 CPUtime=1.53 cores=0,2,4,6
/proc/14750/task/14805/stat : 14805 (java) S 14747 14750 12222 0 -1 1077944384 2353 13187 0 0 104 41 5 3 20 0 15 0 106948817 11348049920 685037 33554432000 4194304 4196468 140727333592912 140150086035728 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14806] ppid=14747 vsize=11082080 memory=2740148 CPUtime=1.53 cores=0,2,4,6
/proc/14750/task/14806/stat : 14806 (java) S 14747 14750 12222 0 -1 1077944384 2959 13187 0 0 104 41 5 3 20 0 15 0 106948817 11348049920 685037 33554432000 4194304 4196468 140727333592912 140149728664208 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14807] ppid=14747 vsize=11082080 memory=2740148 CPUtime=1.55 cores=0,2,4,6
/proc/14750/task/14807/stat : 14807 (java) S 14747 14750 12222 0 -1 1077944384 2390 13187 0 0 107 40 5 3 20 0 15 0 106948817 11348049920 685037 33554432000 4194304 4196468 140727333592912 140149727611408 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14808] ppid=14747 vsize=11082080 memory=1232 CPUtime=0.18 cores=0,2,4,6
/proc/14750/task/14808/stat : 14808 (java) S 14747 14750 12222 0 -1 1077944384 4659 13187 0 0 9 1 5 3 20 0 15 0 106948818 11348049920 685037 33554432000 4194304 4196468 140727333592912 140149683169904 140150190054018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14809] ppid=14747 vsize=11082080 memory=2958356 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14809/stat : 14809 (java) S 14747 14750 12222 0 -1 1077944384 19 13187 0 0 0 0 5 3 20 0 15 0 106948819 11348049920 685037 33554432000 4194304 4196468 140727333592912 140148876502368 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14810] ppid=14747 vsize=11082080 memory=2740148 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14810/stat : 14810 (java) S 14747 14750 12222 0 -1 1077944384 61 13187 0 0 0 0 5 3 20 0 15 0 106948819 11348049920 685037 33554432000 4194304 4196468 140727333592912 140148809389696 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14811] ppid=14747 vsize=11082080 memory=2740148 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14811/stat : 14811 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11348049920 685037 33554432000 4194304 4196468 140727333592912 140148501994064 140150190061467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14812] ppid=14747 vsize=11082080 memory=2740148 CPUtime=8.34 cores=0,2,4,6
/proc/14750/task/14812/stat : 14812 (java) S 14747 14750 12222 0 -1 1077944384 24829 13187 0 0 822 4 5 3 20 0 15 0 106948822 11348049920 685037 33554432000 4194304 4196468 140727333592912 140149614700656 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14813] ppid=14747 vsize=11082080 memory=2958356 CPUtime=8.15 cores=0,2,4,6
/proc/14750/task/14813/stat : 14813 (java) S 14747 14750 12222 0 -1 1077944384 19543 13187 0 0 803 4 5 3 20 0 15 0 106948822 11348049920 685037 33554432000 4194304 4196468 140727333592912 140149613647856 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14814] ppid=14747 vsize=11082080 memory=8572 CPUtime=3.16 cores=0,2,4,6
/proc/14750/task/14814/stat : 14814 (java) S 14747 14750 12222 0 -1 1077944384 17664 13187 0 0 304 4 5 3 20 0 15 0 106948822 11348049920 685037 33554432000 4194304 4196468 140727333592912 140149612595568 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14815] ppid=14747 vsize=11082080 memory=2796604 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14815/stat : 14815 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11348049920 685037 33554432000 4194304 4196468 140727333592912 140148071197152 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14816] ppid=14747 vsize=11082080 memory=2796604 CPUtime=0.16 cores=0,2,4,6
/proc/14750/task/14816/stat : 14816 (java) S 14747 14750 12222 0 -1 1077944384 1631 13187 0 0 4 4 5 3 20 0 15 0 106948822 11348049920 685037 33554432000 4194304 4196468 140727333592912 140149611543472 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
Current children cumulated CPU time: 186.15 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2740148 KiB
[startup+222.301 s]
/proc/loadavg: 1.84 1.74 1.87 3/215 14946
/proc/meminfo: memFree=20758276/32770624 swapFree=67108404/67108860
[pid=14750] ppid=14747 vsize=11082080 memory=2059048 CPUtime=247.21 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 12222 0 -1 1077944320 165932 13187 0 0 24491 222 5 3 20 0 15 0 106948807 11348049920 514762 33554432000 4194304 4196468 140727333592912 140727333575456 140150190042871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
/proc/14750/statm: 2770520 514762 3537 1 0 2732173 0
[pid=14750/tid=14803] ppid=14747 vsize=11082080 memory=2139076 CPUtime=220.36 cores=0,2,4,6
/proc/14750/task/14803/stat : 14803 (java) R 14747 14750 12222 0 -1 4202560 68803 13187 0 0 21995 33 5 3 20 0 15 0 106948816 11348049920 514762 33554432000 4194304 4196468 140727333592912 140150161877552 140149760735822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14804] ppid=14747 vsize=11082080 memory=2139076 CPUtime=1.78 cores=0,2,4,6
/proc/14750/task/14804/stat : 14804 (java) S 14747 14750 12222 0 -1 1077944384 5700 13187 0 0 129 41 5 3 20 0 15 0 106948817 11348049920 514762 33554432000 4194304 4196468 140727333592912 140150194284944 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14805] ppid=14747 vsize=11082080 memory=1840 CPUtime=1.76 cores=0,2,4,6
/proc/14750/task/14805/stat : 14805 (java) S 14747 14750 12222 0 -1 1077944384 2527 13187 0 0 126 42 5 3 20 0 15 0 106948817 11348049920 514762 33554432000 4194304 4196468 140727333592912 140150086035728 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14806] ppid=14747 vsize=11082080 memory=2339940 CPUtime=1.76 cores=0,2,4,6
/proc/14750/task/14806/stat : 14806 (java) S 14747 14750 12222 0 -1 1077944384 3051 13187 0 0 126 42 5 3 20 0 15 0 106948817 11348049920 514762 33554432000 4194304 4196468 140727333592912 140149728664208 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14807] ppid=14747 vsize=11082080 memory=2158568 CPUtime=1.79 cores=0,2,4,6
/proc/14750/task/14807/stat : 14807 (java) S 14747 14750 12222 0 -1 1077944384 2614 13187 0 0 129 42 5 3 20 0 15 0 106948817 11348049920 514762 33554432000 4194304 4196468 140727333592912 140149727611408 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14808] ppid=14747 vsize=11082080 memory=2339940 CPUtime=0.19 cores=0,2,4,6
/proc/14750/task/14808/stat : 14808 (java) S 14747 14750 12222 0 -1 1077944384 4949 13187 0 0 10 1 5 3 20 0 15 0 106948818 11348049920 514762 33554432000 4194304 4196468 140727333592912 140149683169904 140150190054018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14809] ppid=14747 vsize=11082080 memory=2158568 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14809/stat : 14809 (java) S 14747 14750 12222 0 -1 1077944384 19 13187 0 0 0 0 5 3 20 0 15 0 106948819 11348049920 514762 33554432000 4194304 4196468 140727333592912 140148876502368 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14810] ppid=14747 vsize=11082080 memory=2139076 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14810/stat : 14810 (java) S 14747 14750 12222 0 -1 1077944384 61 13187 0 0 0 0 5 3 20 0 15 0 106948819 11348049920 514762 33554432000 4194304 4196468 140727333592912 140148809389696 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14811] ppid=14747 vsize=11082080 memory=8572 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14811/stat : 14811 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11348049920 514762 33554432000 4194304 4196468 140727333592912 140148501994064 140150190061467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14812] ppid=14747 vsize=11082080 memory=279376080352344 CPUtime=8.48 cores=0,2,4,6
/proc/14750/task/14812/stat : 14812 (java) S 14747 14750 12222 0 -1 1077944384 27915 13187 0 0 835 5 5 3 20 0 15 0 106948822 11348049920 514762 33554432000 4194304 4196468 140727333592912 140149614700656 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14813] ppid=14747 vsize=11082080 memory=6010735848379673188 CPUtime=8.28 cores=0,2,4,6
/proc/14750/task/14813/stat : 14813 (java) S 14747 14750 12222 0 -1 1077944384 23906 13187 0 0 816 4 5 3 20 0 15 0 106948822 11348049920 514762 33554432000 4194304 4196468 140727333592912 140149613647856 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14814] ppid=14747 vsize=11082080 memory=16240 CPUtime=3.22 cores=0,2,4,6
/proc/14750/task/14814/stat : 14814 (java) S 14747 14750 12222 0 -1 1077944384 22459 13187 0 0 310 4 5 3 20 0 15 0 106948822 11348049920 514762 33554432000 4194304 4196468 140727333592912 140149612595568 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14815] ppid=14747 vsize=11082080 memory=2139076 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14815/stat : 14815 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11348049920 514762 33554432000 4194304 4196468 140727333592912 140148071197152 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14816] ppid=14747 vsize=11082080 memory=4012 CPUtime=0.19 cores=0,2,4,6
/proc/14750/task/14816/stat : 14816 (java) S 14747 14750 12222 0 -1 1077944384 1725 13187 0 0 6 5 5 3 20 0 15 0 106948822 11348049920 514762 33554432000 4194304 4196468 140727333592912 140149611543472 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
Current children cumulated CPU time: 247.21 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2059048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+227.001 s]*
/proc/loadavg: 1.85 1.75 1.87 3/215 14946
/proc/meminfo: memFree=20847064/32770624 swapFree=67108404/67108860
[pid=14750] ppid=14747 vsize=11082080 memory=2050308 CPUtime=252 cores=0,2,4,6
/proc/14750/stat : 14750 (java) S 14747 14750 12222 0 -1 1077944320 166214 13187 0 0 24968 224 5 3 20 0 15 0 106948807 11348049920 512577 33554432000 4194304 4196468 140727333592912 140727333575456 140150190042871 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
/proc/14750/statm: 2770520 512577 3537 1 0 2732173 0
[pid=14750/tid=14803] ppid=14747 vsize=11082080 memory=6791534058613427641 CPUtime=225.05 cores=0,2,4,6
/proc/14750/task/14803/stat : 14803 (java) R 14747 14750 12222 0 -1 4202560 69016 13187 0 0 22464 33 5 3 20 0 15 0 106948816 11348049920 512577 33554432000 4194304 4196468 140727333592912 140150161875168 140149783015125 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14804] ppid=14747 vsize=11082080 memory=-7025452035940392864 CPUtime=1.79 cores=0,2,4,6
/proc/14750/task/14804/stat : 14804 (java) S 14747 14750 12222 0 -1 1077944384 5707 13187 0 0 130 41 5 3 20 0 15 0 106948817 11348049920 512577 33554432000 4194304 4196468 140727333592912 140150194284944 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14805] ppid=14747 vsize=11082080 memory=3546778477728462512 CPUtime=1.78 cores=0,2,4,6
/proc/14750/task/14805/stat : 14805 (java) S 14747 14750 12222 0 -1 1077944384 2534 13187 0 0 127 43 5 3 20 0 15 0 106948817 11348049920 512577 33554432000 4194304 4196468 140727333592912 140150086035728 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14806] ppid=14747 vsize=11082080 memory=-2629627693499012510 CPUtime=1.77 cores=0,2,4,6
/proc/14750/task/14806/stat : 14806 (java) S 14747 14750 12222 0 -1 1077944384 3059 13187 0 0 127 42 5 3 20 0 15 0 106948817 11348049920 512577 33554432000 4194304 4196468 140727333592912 140149728664208 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14807] ppid=14747 vsize=11082080 memory=7948963741541478447 CPUtime=1.8 cores=0,2,4,6
/proc/14750/task/14807/stat : 14807 (java) S 14747 14750 12222 0 -1 1077944384 2625 13187 0 0 130 42 5 3 20 0 15 0 106948817 11348049920 512577 33554432000 4194304 4196468 140727333592912 140149727611408 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14808] ppid=14747 vsize=11082080 memory=4830866221970847408 CPUtime=0.2 cores=0,2,4,6
/proc/14750/task/14808/stat : 14808 (java) S 14747 14750 12222 0 -1 1077944384 4949 13187 0 0 10 2 5 3 20 0 15 0 106948818 11348049920 512577 33554432000 4194304 4196468 140727333592912 140149683169904 140150190054018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14809] ppid=14747 vsize=11082080 memory=3472328296227680264 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14809/stat : 14809 (java) S 14747 14750 12222 0 -1 1077944384 19 13187 0 0 0 0 5 3 20 0 15 0 106948819 11348049920 512577 33554432000 4194304 4196468 140727333592912 140148876502368 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14810] ppid=14747 vsize=11082080 memory=7976406965554101975 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14810/stat : 14810 (java) S 14747 14750 12222 0 -1 1077944384 61 13187 0 0 0 0 5 3 20 0 15 0 106948819 11348049920 512577 33554432000 4194304 4196468 140727333592912 140148809389696 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14811] ppid=14747 vsize=11082080 memory=6944652177228980272 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14811/stat : 14811 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11348049920 512577 33554432000 4194304 4196468 140727333592912 140148501994064 140150190061467 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14812] ppid=14747 vsize=11082080 memory=0 CPUtime=8.49 cores=0,2,4,6
/proc/14750/task/14812/stat : 14812 (java) S 14747 14750 12222 0 -1 1077944384 27920 13187 0 0 836 5 5 3 20 0 15 0 106948822 11348049920 512577 33554432000 4194304 4196468 140727333592912 140149614700656 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14813] ppid=14747 vsize=11082080 memory=7160575464710631028 CPUtime=8.3 cores=0,2,4,6
/proc/14750/task/14813/stat : 14813 (java) S 14747 14750 12222 0 -1 1077944384 23925 13187 0 0 818 4 5 3 20 0 15 0 106948822 11348049920 512577 33554432000 4194304 4196468 140727333592912 140149613647856 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14814] ppid=14747 vsize=11082080 memory=3467964316136339379 CPUtime=3.23 cores=0,2,4,6
/proc/14750/task/14814/stat : 14814 (java) S 14747 14750 12222 0 -1 1077944384 22471 13187 0 0 311 4 5 3 20 0 15 0 106948822 11348049920 512577 33554432000 4194304 4196468 140727333592912 140149612595568 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14815] ppid=14747 vsize=11082080 memory=2319408921973896479 CPUtime=0.08 cores=0,2,4,6
/proc/14750/task/14815/stat : 14815 (java) S 14747 14750 12222 0 -1 1077944384 3 13187 0 0 0 0 5 3 20 0 15 0 106948822 11348049920 512577 33554432000 4194304 4196468 140727333592912 140148071197152 140150190053077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
[pid=14750/tid=14816] ppid=14747 vsize=11082080 memory=2319528887304355505 CPUtime=0.19 cores=0,2,4,6
/proc/14750/task/14816/stat : 14816 (java) S 14747 14750 12222 0 -1 1077944384 1725 13187 0 0 6 5 5 3 20 0 15 0 106948822 11348049920 512577 33554432000 4194304 4196468 140727333592912 140149611543472 140150190054018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15876096 140727333599849 140727333602657 140727333602657 140727333605327 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2050308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+227.049 s]
# the end of solver process 14750 was just reported to runsolver
# cumulated CPU time of all completed processes: user=249.746 s, system=2.29525 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 227.049
CPU time (s): 252.042
CPU user time (s): 249.746
CPU system time (s): 2.29525
CPU usage (%): 111.008
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 2978816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.746
system time used= 2.29525
maximum resident set size= 2980864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17398
involuntary context switches= 475
# summary of solver processes directly reported to runsolver:
# pid: 14750
# total CPU time (s): 252.042
# total CPU user time (s): 249.746
# total CPU system time (s): 2.29525
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36369 second user time and 2.16045 second system time
The end
Begin job on node148 at 2018-07-29 21:50:56 IDJOB=4302774 IDBENCH=141044 IDSOLVER=2777 FILE ID=node148/4302774-1532893856 RUNJOBID= node148-1532892979-13580 PBS_JOBID= 21022520 Free space on /tmp= 47776 MiB SOLVER NAME= Concrete 3.9.2-SuperNG BENCH NAME= XCSP18/NurseRostering/NurseRostering-05_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302774-1532893856/watcher-4302774-1532893856 -o /tmp/evaluation-result-4302774-1532893856/solver-4302774-1532893856 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13580 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=115312168 -superng HOME/instance-4302774-1532893856.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b6cc1cad0a6ec682295352adb28466c6 RANDOM SEED=115312168 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.50 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 20947164 kB MemAvailable: 28990384 kB Buffers: 245108 kB Cached: 7949168 kB SwapCached: 352 kB Active: 4809568 kB Inactive: 6373728 kB Active(anon): 2942768 kB Inactive(anon): 74228 kB Active(file): 1866800 kB Inactive(file): 6299500 kB Unevictable: 7080 kB Mlocked: 7080 kB SwapTotal: 67108860 kB SwapFree: 67108404 kB Dirty: 26620 kB Writeback: 0 kB AnonPages: 3039276 kB Mapped: 58048 kB Shmem: 25016 kB Slab: 333684 kB SReclaimable: 305380 kB SUnreclaim: 28304 kB KernelStack: 3840 kB PageTables: 10824 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3985860 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2793472 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 47752 MiB End job on node148 at 2018-07-29 21:54:44