Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8-SuperNG 2018-06-13 | SAT (TO) | 5689 | 2520.14 | 2474.54 |
| Name | NurseRostering/ NurseRostering-06_c18.xml |
| MD5SUM | 9a3bf89ae74321e3cfb193774a0c0983 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4362 |
| Best CPU time to get the best result obtained on this benchmark | 2520.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1007 |
| Number of constraints | 2471 |
| Number of domains | 12 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":42},{"size":2,"count":207},{"size":4,"count":504},{"size":19,"count":196},{"size":29,"count":58}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 25 |
| Distribution of variable degrees | [{"degree":2,"count":431},{"degree":3,"count":72},{"degree":12,"count":3},{"degree":13,"count":12},{"degree":14,"count":16},{"degree":15,"count":8},{"degree":16,"count":11},{"degree":17,"count":26},{"degree":18,"count":25},{"degree":19,"count":30},{"degree":20,"count":53},{"degree":21,"count":120},{"degree":22,"count":93},{"degree":23,"count":59},{"degree":24,"count":36},{"degree":25,"count":12}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 36 |
| Distribution of constraint arities | [{"arity":2,"count":988},{"arity":3,"count":728},{"arity":4,"count":161},{"arity":6,"count":299},{"arity":7,"count":110},{"arity":19,"count":112},{"arity":29,"count":72},{"arity":36,"count":1}] |
| Number of extensional constraints | 598 |
| Number of intensional constraints | 309 |
| Distribution of constraint types | [{"type":"extension","count":598},{"type":"intension","count":309},{"type":"regular","count":934},{"type":"sum","count":36},{"type":"count","count":593},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.98/0.74 c Concrete v3.8.1528841891564 running 11.50/4.78 c 01:52:30.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7190. 'extension(3, x[2][14]=[0‥3]) :: init: true :: relation: MDD 1434506799, 5 edges, 4 vertices, 3 tuples 11.50/4.78 c 01:52:30.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7193. 'extension(3, 3) :: init: true :: relation: MDD 1434506799, 5 edges, 4 vertices, 3 tuples 11.50/4.78 c 01:52:30.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7194. 'extension(3, 3) :: init: true :: relation: MDD 1818440653, 4 edges, 3 vertices, 3 tuples 11.50/4.78 c 01:52:30.130 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7215. 'extension(x[1][12]=[0‥3], 3) :: init: true :: relation: MDD 1545563479, 5 edges, 4 vertices, 3 tuples 11.50/4.78 c 01:52:30.130 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7216. 'extension(3, x[3][12]=[0‥3]) :: init: true :: relation: MDD 1545563479, 5 edges, 4 vertices, 3 tuples 11.50/4.79 c 01:52:30.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7242. 'extension(x[3][3]=[0‥3], 3) :: init: true :: relation: MDD 1680147911, 5 edges, 4 vertices, 3 tuples 11.50/4.79 c 01:52:30.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7271. 'extension(x[3][15]=[0‥3], 3) :: init: true :: relation: MDD 1185502159, 5 edges, 4 vertices, 3 tuples 11.50/4.79 c 01:52:30.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7272. 'extension(3, x[5][15]=[0‥3]) :: init: true :: relation: MDD 1185502159, 5 edges, 4 vertices, 3 tuples 11.50/4.79 c 01:52:30.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7299. 'extension(3, wk[3][0]=[0‥1]) :: init: true :: relation: MDD 938279178, 4 edges, 3 vertices, 3 tuples 11.50/4.79 c 01:52:30.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7300. 'extension(3, x[6][3]=[0‥3]) :: init: true :: relation: MDD 1680147911, 5 edges, 4 vertices, 3 tuples 11.50/4.79 c 01:52:30.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7303. 'extension(3, 3) :: init: true :: relation: MDD 1680147911, 5 edges, 4 vertices, 3 tuples 11.50/4.80 c 01:52:30.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7330. 'extension(x[8][7]=[0‥3], 3) :: init: true :: relation: MDD 711483066, 5 edges, 4 vertices, 3 tuples 11.81/4.80 c 01:52:30.142 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7331. 'extension(3, x[10][7]=[0‥3]) :: init: true :: relation: MDD 711483066, 5 edges, 4 vertices, 3 tuples 11.81/4.80 c 01:52:30.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7360. 'extension(x[10][5]=[0‥3], 3) :: init: true :: relation: MDD 1389808948, 5 edges, 4 vertices, 3 tuples 11.81/4.80 c 01:52:30.146 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7390. 'extension(x[10][11]=[0‥3], 3) :: init: true :: relation: MDD 1150480094, 5 edges, 4 vertices, 3 tuples 11.81/4.80 c 01:52:30.148 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7422. 'extension(x[10][16]=[0‥3], 3) :: init: true :: relation: MDD 551797833, 5 edges, 4 vertices, 3 tuples 11.81/4.80 c 01:52:30.148 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7423. 'extension(3, x[12][16]=[0‥3]) :: init: true :: relation: MDD 551797833, 5 edges, 4 vertices, 3 tuples 11.81/4.80 c 01:52:30.151 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7451. 'extension(3, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1318313145, 4 edges, 3 vertices, 3 tuples 11.81/4.80 c 01:52:30.151 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7452. 'extension(3, x[13][5]=[0‥3]) :: init: true :: relation: MDD 1389808948, 5 edges, 4 vertices, 3 tuples 11.81/4.81 c 01:52:30.152 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7455. 'extension(3, 3) :: init: true :: relation: MDD 1389808948, 5 edges, 4 vertices, 3 tuples 11.81/4.81 c 01:52:30.154 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7482. 'extension(3, wk[11][1]=[0‥1]) :: init: true :: relation: MDD 2083215552, 4 edges, 3 vertices, 3 tuples 11.81/4.81 c 01:52:30.154 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7483. 'extension(3, x[13][11]=[0‥3]) :: init: true :: relation: MDD 1150480094, 5 edges, 4 vertices, 3 tuples 11.81/4.81 c 01:52:30.155 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7486. 'extension(3, 3) :: init: true :: relation: MDD 1150480094, 5 edges, 4 vertices, 3 tuples 11.81/4.81 c 01:52:30.158 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7515. 'extension(3, wk[7][1]=[0‥1]) :: init: true :: relation: MDD 1258103238, 4 edges, 3 vertices, 3 tuples 11.81/4.81 c 01:52:30.159 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7516. 'extension(x[12][7]=[0‥3], 3) :: init: true :: relation: MDD 711483066, 5 edges, 4 vertices, 3 tuples 11.81/4.82 c 01:52:30.159 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7517. 'extension(3, x[14][7]=[0‥3]) :: init: true :: relation: MDD 711483066, 5 edges, 4 vertices, 3 tuples 11.81/4.82 c 01:52:30.162 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7546. 'extension(x[13][9]=[0‥3], 3) :: init: true :: relation: MDD 181260145, 5 edges, 4 vertices, 3 tuples 11.81/4.82 c 01:52:30.164 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7576. 'extension(3, x[16][9]=[0‥3]) :: init: true :: relation: MDD 181260145, 5 edges, 4 vertices, 3 tuples 11.81/4.82 c 01:52:30.165 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7579. 'extension(3, 3) :: init: true :: relation: MDD 181260145, 5 edges, 4 vertices, 3 tuples 11.81/4.82 c 01:52:30.167 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7606. 'extension(x[14][10]=[0‥3], 3) :: init: true :: relation: MDD 252247502, 5 edges, 4 vertices, 3 tuples 11.81/4.82 c 01:52:30.168 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7638. 'extension(x[15][6]=[0‥3], 3) :: init: true :: relation: MDD 1680365850, 5 edges, 4 vertices, 3 tuples 11.81/4.82 c 01:52:30.169 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7639. 'extension(3, x[17][6]=[0‥3]) :: init: true :: relation: MDD 1680365850, 5 edges, 4 vertices, 3 tuples 11.81/4.82 c 01:52:30.171 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7668. 'extension(3, x[17][10]=[0‥3]) :: init: true :: relation: MDD 252247502, 5 edges, 4 vertices, 3 tuples 11.81/4.83 c 01:52:30.172 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7671. 'extension(3, 3) :: init: true :: relation: MDD 252247502, 5 edges, 4 vertices, 3 tuples 11.81/4.83 c 01:52:30.174 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7700. 'extension(x[15][13]=[0‥3], 3) :: init: true :: relation: MDD 2078741622, 5 edges, 4 vertices, 3 tuples 11.81/4.83 c 01:52:30.175 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7732. 'extension(x[15][16]=[0‥3], 3) :: init: true :: relation: MDD 551797833, 5 edges, 4 vertices, 3 tuples 11.81/4.83 c 01:52:30.176 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7733. 'extension(3, x[17][16]=[0‥3]) :: init: true :: relation: MDD 551797833, 5 edges, 4 vertices, 3 tuples 11.81/4.83 c 01:52:30.179 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7761. 'extension(x[16][8]=[0‥3], 3) :: init: true :: relation: MDD 1973491942, 5 edges, 4 vertices, 3 tuples 11.81/4.83 c 01:52:30.179 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7762. 'extension(3, x[18][8]=[0‥3]) :: init: true :: relation: MDD 1973491942, 5 edges, 4 vertices, 3 tuples 11.81/4.84 c 01:52:30.181 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7791. 'extension(3, x[18][13]=[0‥3]) :: init: true :: relation: MDD 2078741622, 5 edges, 4 vertices, 3 tuples 11.81/4.84 c 01:52:30.182 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7794. 'extension(3, 3) :: init: true :: relation: MDD 2078741622, 5 edges, 4 vertices, 3 tuples 11.81/4.84 c 01:52:30.185 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7823. 'extension(x[17][0]=[0‥3], 3) :: init: true :: relation: MDD 1861329337, 5 edges, 4 vertices, 3 tuples 11.81/4.84 c 01:52:30.186 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7853. 'extension(3, wk[0][2]=[0‥1]) :: init: true :: relation: MDD 52354732, 4 edges, 3 vertices, 3 tuples 11.81/4.84 c 01:52:30.187 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7854. 'extension(3, x[20][0]=[0‥3]) :: init: true :: relation: MDD 1861329337, 5 edges, 4 vertices, 3 tuples 11.81/4.84 c 01:52:30.188 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7857. 'extension(3, 3) :: init: true :: relation: MDD 1861329337, 5 edges, 4 vertices, 3 tuples 11.81/4.84 c 01:52:30.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7884. 'extension(3, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 1790598448, 4 edges, 3 vertices, 3 tuples 11.81/4.85 c 01:52:30.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7885. 'extension(x[19][6]=[0‥3], 3) :: init: true :: relation: MDD 1680365850, 5 edges, 4 vertices, 3 tuples 11.81/4.85 c 01:52:30.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7886. 'extension(3, x[21][6]=[0‥3]) :: init: true :: relation: MDD 1680365850, 5 edges, 4 vertices, 3 tuples 11.81/4.85 c 01:52:30.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7915. 'extension(x[21][2]=[0‥3], 3) :: init: true :: relation: MDD 1324165839, 5 edges, 4 vertices, 3 tuples 11.81/4.85 c 01:52:30.195 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7945. 'extension(3, x[24][2]=[0‥3]) :: init: true :: relation: MDD 1324165839, 5 edges, 4 vertices, 3 tuples 11.81/4.85 c 01:52:30.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7948. 'extension(3, 3) :: init: true :: relation: MDD 1324165839, 5 edges, 4 vertices, 3 tuples 11.81/4.85 c 01:52:30.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7974. 'extension(x[22][4]=[0‥3], 3) :: init: true :: relation: MDD 1641565704, 5 edges, 4 vertices, 3 tuples 11.81/4.85 c 01:52:30.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 7975. 'extension(3, x[24][4]=[0‥3]) :: init: true :: relation: MDD 1641565704, 5 edges, 4 vertices, 3 tuples 11.81/4.85 c 01:52:30.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8003. 'extension(x[22][12]=[0‥3], 3) :: init: true :: relation: MDD 1545563479, 5 edges, 4 vertices, 3 tuples 11.81/4.86 c 01:52:30.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8004. 'extension(3, x[24][12]=[0‥3]) :: init: true :: relation: MDD 1545563479, 5 edges, 4 vertices, 3 tuples 11.81/4.86 c 01:52:30.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8033. 'extension(x[23][1]=[0‥3], 3) :: init: true :: relation: MDD 2056277810, 5 edges, 4 vertices, 3 tuples 11.81/4.86 c 01:52:30.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8061. 'extension(x[23][15]=[0‥3], 3) :: init: true :: relation: MDD 1185502159, 5 edges, 4 vertices, 3 tuples 11.81/4.86 c 01:52:30.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8062. 'extension(3, x[25][15]=[0‥3]) :: init: true :: relation: MDD 1185502159, 5 edges, 4 vertices, 3 tuples 11.81/4.86 c 01:52:30.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8088. 'extension(3, x[26][1]=[0‥3]) :: init: true :: relation: MDD 2056277810, 5 edges, 4 vertices, 3 tuples 11.81/4.86 c 01:52:30.208 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8091. 'extension(3, 3) :: init: true :: relation: MDD 2056277810, 5 edges, 4 vertices, 3 tuples 11.81/4.86 c 01:52:30.210 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8115. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 185583672, 4 edges, 3 vertices, 3 tuples 11.81/4.87 c 01:52:30.210 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8116. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 1458905542, 5 edges, 4 vertices, 3 tuples 11.81/4.87 c 01:52:30.212 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8140. 'extension(3, wk[4][3]=[0‥1]) :: init: true :: relation: MDD 1906128360, 4 edges, 3 vertices, 3 tuples 11.81/4.87 c 01:52:30.212 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8141. 'extension(x[26][4]=[0‥3], 3) :: init: true :: relation: MDD 1641565704, 5 edges, 4 vertices, 3 tuples 11.81/4.87 c 01:52:30.213 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8142. 'extension(3, x[26][4]=[0‥3]) :: init: true :: relation: MDD 1291485735, 4 edges, 3 vertices, 3 tuples 11.81/4.87 c 01:52:30.214 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8162. 'extension(3, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 99295602, 4 edges, 3 vertices, 3 tuples 11.81/4.87 c 01:52:30.214 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8163. 'extension(x[26][8]=[0‥3], 3) :: init: true :: relation: MDD 1973491942, 5 edges, 4 vertices, 3 tuples 11.81/4.87 c 01:52:30.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8164. 'extension(3, x[26][8]=[0‥3]) :: init: true :: relation: MDD 991875403, 4 edges, 3 vertices, 3 tuples 11.81/4.87 c 01:52:30.216 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8184. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1658520865, 4 edges, 3 vertices, 3 tuples 11.81/4.87 c 01:52:30.217 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8185. 'extension(3, 3) :: init: true :: relation: MDD 1458905542, 5 edges, 4 vertices, 3 tuples 11.81/4.89 c 01:52:30.236 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8384. 'extension(x[2][14]=[0‥3]) :: init: true :: relation: Empty MDD 11.81/4.89 c 01:52:30.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8394. 'extension(x[1][12]=[0‥3]) :: init: true :: relation: Empty MDD 11.81/4.89 c 01:52:30.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8396. 'extension(x[3][12]=[0‥3]) :: init: true :: relation: Empty MDD 11.81/4.89 c 01:52:30.238 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8410. 'extension(x[3][3]=[0‥3]) :: init: true :: relation: Empty MDD 11.81/4.89 c 01:52:30.238 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8416. 'extension(x[3][15]=[0‥3]) :: init: true :: relation: Empty MDD 11.81/4.90 c 01:52:30.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8418. 'extension(x[5][15]=[0‥3]) :: init: true :: relation: Empty MDD 11.81/4.90 c 01:52:30.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8430. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD 11.81/4.90 c 01:52:30.240 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8432. 'extension(x[6][3]=[0‥3]) :: init: true :: relation: Empty MDD 11.81/4.90 c 01:52:30.240 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8446. 'extension(x[8][7]=[0‥3]) :: init: true :: relation: Empty MDD 11.81/4.90 c 01:52:30.240 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8448. 'extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD 11.81/4.90 c 01:52:30.241 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8462. 'extension(x[10][5]=[0‥3]) :: init: true :: relation: Empty MDD 11.81/4.90 c 01:52:30.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8468. 'extension(x[10][11]=[0‥3]) :: init: true :: relation: Empty MDD 11.81/4.90 c 01:52:30.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8474. 'extension(x[10][16]=[0‥3]) :: init: true :: relation: Empty MDD 11.81/4.90 c 01:52:30.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8476. 'extension(x[12][16]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8488. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8490. 'extension(x[13][5]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.244 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8504. 'extension(wk[11][1]=[0‥1]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.244 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8506. 'extension(x[13][11]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8522. 'extension(wk[7][1]=[0‥1]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8524. 'extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8526. 'extension(x[14][7]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.246 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8540. 'extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8546. 'extension(x[16][9]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8560. 'extension(x[14][10]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.248 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8566. 'extension(x[15][6]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.248 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8568. 'extension(x[17][6]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8582. 'extension(x[17][10]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8598. 'extension(x[15][13]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.250 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8604. 'extension(x[15][16]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.250 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8606. 'extension(x[17][16]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.251 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8618. 'extension(x[16][8]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.90 c 01:52:30.251 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8620. 'extension(x[18][8]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.252 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8634. 'extension(x[18][13]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8650. 'extension(x[17][0]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8656. 'extension(wk[0][2]=[0‥1]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8658. 'extension(x[20][0]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8672. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8674. 'extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8676. 'extension(x[21][6]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.255 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8690. 'extension(x[21][2]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.255 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8696. 'extension(x[24][2]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8710. 'extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8712. 'extension(x[24][4]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.257 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8726. 'extension(x[22][12]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.257 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8728. 'extension(x[24][12]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.258 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8744. 'extension(x[23][1]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.258 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8750. 'extension(x[23][15]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.259 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8752. 'extension(x[25][15]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.259 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8764. 'extension(x[26][1]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.260 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8778. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.260 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8780. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.260 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8786. 'extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.260 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8788. 'extension(x[26][4]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.261 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8790. 'extension(x[26][4]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.261 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8796. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.261 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8798. 'extension(x[26][8]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.261 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8800. 'extension(x[26][8]=[0‥3]) :: init: true :: relation: Empty MDD 12.15/4.92 c 01:52:30.262 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 8806. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD 35.66/18.22 o 5789 35.92/18.33 o 5689 2520.08/2474.50 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2520.08/2474.50 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24) 2520.08/2474.50 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53) 2520.08/2474.50 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142) 2520.08/2474.50 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5) 2520.08/2474.50 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126) 2520.08/2474.50 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8) 2520.08/2474.50 at concrete.heuristic.value.BestCost.select(BestCost.scala:53) 2520.08/2474.50 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102) 2520.08/2474.50 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102) 2520.08/2474.50 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.08/2474.50 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102) 2520.08/2474.50 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102) 2520.08/2474.50 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.08/2474.50 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102) 2520.08/2474.50 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108) 2520.08/2474.50 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2520.08/2474.50 at scala.Option.map(Option.scala:146) 2520.08/2474.51 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2520.08/2474.51 at concrete.MAC.mac(MAC.scala:203) 2520.08/2474.51 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.08/2474.51 at scala.util.Try$.apply(Try.scala:209) 2520.08/2474.51 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.08/2474.51 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.08/2474.51 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.08/2474.51 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.08/2474.51 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.08/2474.51 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.08/2474.51 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.08/2474.51 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.08/2474.51 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.08/2474.51 at concrete.MAC.oneRun(MAC.scala:253) 2520.08/2474.51 at concrete.MAC.nextSolution(MAC.scala:272) 2520.08/2474.51 at concrete.MAC.nextSolution(MAC.scala:355) 2520.08/2474.51 at concrete.Solver.hasNext(Solver.scala:166) 2520.08/2474.51 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.08/2474.51 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.08/2474.51 at concrete.Solver.foreach(Solver.scala:68) 2520.08/2474.51 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.08/2474.51 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.08/2474.51 at scala.util.Success.map(Try.scala:209) 2520.08/2474.51 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.08/2474.51 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.08/2474.51 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.08/2474.51 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.08/2474.51 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.08/2474.51 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.08/2474.51 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.08/2474.51 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.08/2474.51 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.08/2474.51 at scala.collection.immutable.List.foreach(List.scala:389) 2520.08/2474.51 at scala.App.main(App.scala:76) 2520.08/2474.51 at scala.App.main$(App.scala:74) 2520.08/2474.51 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.08/2474.51 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.08/2474.52 v <instantiation cost="5689"> 2520.08/2474.52 v <list> 2520.08/2474.52 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[0][16] x[0][17] 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[1][16] x[1][17] 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[2][16] x[2][17] 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[3][16] x[3][17] 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[4][16] x[4][17] 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[5][16] x[5][17] 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[6][16] x[6][17] 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[7][16] x[7][17] 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[8][16] x[8][17] 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[9][16] x[9][17] 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[10][16] x[10][17] 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[11][16] x[11][17] 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[12][16] x[12][17] 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[13][16] x[13][17] 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[14][16] x[14][17] 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[15][16] x[15][17] 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[16][16] x[16][17] 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[17][16] x[17][17] 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[18][16] x[18][17] 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[19][16] x[19][17] 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[20][16] x[20][17] 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[21][16] x[21][17] 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[22][16] x[22][17] 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[23][16] x[23][17] 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[24][16] x[24][17] 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[25][16] x[25][17] 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[26][16] x[26][17] 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] x[27][16] x[27][17] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[27][0] ds[27][1] ds[27][2] ds[27][3] 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] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][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] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] 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] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[27][0] cc[27][1] cc[27][2] cc[27][3] 2520.08/2474.52 v </list> 2520.08/2474.52 v <values> 2520.08/2474.52 v 3 2 1 3 3 0 2 3 3 0 1 3 1 0 3 3 3 1 3 2 1 0 2 0 2 3 1 0 1 0 1 0 3 3 3 3 0 2 1 0 2 2 3 2 1 2 1 0 3 0 0 3 3 3 0 2 1 0 2 3 3 2 1 2 2 0 3 0 1 3 3 3 0 3 3 3 2 3 0 2 1 2 2 0 3 3 3 3 1 0 0 3 3 3 2 0 0 2 1 3 3 3 3 3 3 3 3 3 0 2 2 3 3 0 0 2 3 3 3 3 3 3 3 3 3 3 3 2 2 1 3 0 0 3 3 3 3 3 0 3 0 3 1 1 3 2 2 1 0 0 0 3 1 2 1 0 0 0 0 1 1 1 0 2 2 3 0 0 3 3 1 2 1 2 0 0 0 3 3 2 0 2 3 3 1 3 3 2 1 2 1 3 0 0 3 3 3 3 0 3 3 0 2 3 0 2 1 2 1 3 0 0 3 1 3 3 3 3 3 1 2 3 0 2 1 2 1 3 3 0 3 3 3 3 3 2 3 1 3 3 0 3 3 3 1 3 3 0 2 3 3 3 0 2 1 1 3 0 0 3 3 3 3 3 3 3 2 1 0 3 1 2 1 3 0 0 2 2 1 3 3 0 1 3 2 3 3 3 1 2 1 3 0 0 3 2 1 0 3 2 1 3 2 3 3 0 3 2 1 0 0 3 3 2 3 2 1 2 1 3 2 3 0 3 3 3 1 0 0 3 3 2 3 2 1 2 1 0 3 0 0 3 3 3 3 3 3 3 3 3 3 3 1 2 1 0 3 3 3 3 3 3 3 3 3 0 3 3 3 3 1 2 1 0 3 3 3 3 3 2 3 0 3 0 2 2 3 3 1 3 3 0 0 1 3 3 3 2 3 0 3 0 2 2 1 0 1 3 3 0 0 1 0 1 1 3 3 0 3 0 2 2 1 0 3 3 3 0 1 1 3 1 1 3 3 3 0 0 2 2 1 0 3 0 0 3 1 3 3 2 1 3 1 3 0 3 2 2 1 2 3 0 0 3 1 3 0 3 1 3 1 0 3 3 3 3 3 2 3 0 0 3 1 0 0 3 1 3 1 0 3 3 3 3 3 3 3 1 3 3 3 0 3 3 9 7 0 12 0 0 16 12 0 12 4 12 11 5 0 12 8 1 7 12 15 0 1 12 9 0 8 11 0 0 17 11 0 16 0 12 6 0 12 10 0 15 2 11 9 1 6 12 8 8 0 12 16 0 0 12 6 5 5 12 3 6 0 19 6 3 0 19 2 5 2 19 3 4 2 9 5 4 3 6 5 3 5 5 4 3 5 6 4 2 4 8 3 1 2 12 3 0 3 12 4 3 2 9 7 6 3 2 6 2 5 5 3 3 3 9 5 3 3 7 2 3 3 10 2 2 2 12 4 3 2 9 3 4 4 7 4 4 4 6 3 3 5 7 5 3 3 7 1 2 1 14 2 2 1 13 4 2 3 9 6 4 3 5 4 5 2 7 5 3 3 7 4 4 3 7 5 3 1 9 2 3 0 13 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 3 3 0 0 0 0 0 0 0 2 2 2 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 2 0 0 0 1 0 1 1 1 1 0 0 2 1 0 3 0 3 0 2 3 0 0 0 0 0 0 1 1 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 200 0 1 0 1 0 1 100 0 0 0 0 1 0 0 400 100 0 0 200 0 0 0 300 100 0 0 0 100 0 4 2 1 0 2 0 100 0 0 1 0 0 0 0 1 0 200 0 300 0 0 200 200 0 0 100 200 0 1 1 0 0 100 0 200 0 1 1 3 0 0 0 200 0 200 100 200 0 0 0 200 0 0 200 0 0 0 1 0 0 0 0 0 0 1 0 100 0 2 2 1 0 0 100 300 0 300 200 400 0 2520.08/2474.52 v </values> 2520.08/2474.52 v </instantiation> 2520.08/2474.52 s SATISFIABLE
OK 5689
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 (2359 MiB free)
memory of node 1: 16384 MiB (13210 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293002-1532303545/watcher-4293002-1532303545 -o /tmp/evaluation-result-4293002-1532303545/solver-4293002-1532303545 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16112 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1569214371 -superng HOME/instance-4293002-1532303545.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17446, runsolver pid=17443
Current StackSize limit: 8192 KiB
[startup+0.102194 s]*
/proc/loadavg: 1.76 1.80 1.77 2/211 17503
/proc/meminfo: memFree=15932184/32770624 swapFree=67108860/67108860
[pid=17446] ppid=17443 vsize=9972712 memory=18324 CPUtime=0.08 cores=1,3,5,7
/proc/17446/stat : 17446 (java) S 17443 17446 16080 0 -1 1077944320 4249 12975 0 0 1 0 5 2 20 0 6 0 47917649 10212057088 4581 33554432000 4194304 4196468 140727116239712 140727116222256 140079141547767 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
/proc/17446/statm: 2493178 4581 1930 1 0 2481616 0
[pid=17446/tid=17499] ppid=17443 vsize=9972712 memory=4628411388058700198 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17499/stat : 17499 (java) R 17443 17446 16080 0 -1 4202560 2063 12975 0 0 0 0 5 2 20 0 6 0 47917658 10212057088 4647 33554432000 4194304 4196468 140727116239712 140079113384528 140079141569693 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17500] ppid=17443 vsize=9972712 memory=5793855221925624249 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17500/stat : 17500 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 6 0 47917659 10212057088 4647 33554432000 4194304 4196468 140727116239712 140079145789840 140079141557973 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17501] ppid=17443 vsize=9972712 memory=139970915731072 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17501/stat : 17501 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 6 0 47917659 10212057088 4647 33554432000 4194304 4196468 140727116239712 140079034063120 140079141557973 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17502] ppid=17443 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17502/stat : 17502 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 6 0 47917659 10212057088 4647 33554432000 4194304 4196468 140727116239712 140079033010832 140079141557973 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17503] ppid=17443 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17503/stat : 17503 (java) S 17443 17446 16080 0 -1 1077944384 2 12975 0 0 0 0 5 2 20 0 6 0 47917659 10212057088 4647 33554432000 4194304 4196468 140727116239712 140079031958032 140079141557973 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18324 KiB
[startup+0.21031 s]*
/proc/loadavg: 1.76 1.80 1.77 3/220 17512
/proc/meminfo: memFree=15915744/32770624 swapFree=67108860/67108860
[pid=17446] ppid=17443 vsize=10818904 memory=41184 CPUtime=0.25 cores=1,3,5,7
/proc/17446/stat : 17446 (java) S 17443 17446 16080 0 -1 1077944320 7496 12975 0 0 16 2 5 2 20 0 15 0 47917649 11078557696 10230 33554432000 4194304 4196468 140727116239712 140727116222256 140079141547767 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
/proc/17446/statm: 2704726 10230 2966 1 0 2667149 0
[pid=17446/tid=17499] ppid=17443 vsize=10818904 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/17446/task/17499/stat : 17499 (java) R 17443 17446 16080 0 -1 4202560 4306 12975 0 0 10 1 5 2 20 0 15 0 47917658 11078557696 10428 33554432000 4194304 4196468 140727116239712 140079113364880 140079121823474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17500] ppid=17443 vsize=10818904 memory=4211973697120521610 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17500/stat : 17500 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917659 11078557696 10494 33554432000 4194304 4196468 140727116239712 140079145789840 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17501] ppid=17443 vsize=10818904 memory=139970915731072 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17501/stat : 17501 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917659 11078557696 10494 33554432000 4194304 4196468 140727116239712 140079034063120 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17502] ppid=17443 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17502/stat : 17502 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917659 11078557696 10494 33554432000 4194304 4196468 140727116239712 140079033010832 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17503] ppid=17443 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17503/stat : 17503 (java) S 17443 17446 16080 0 -1 1077944384 2 12975 0 0 0 0 5 2 20 0 15 0 47917659 11078557696 10494 33554432000 4194304 4196468 140727116239712 140079031958032 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17504] ppid=17443 vsize=10818904 memory=139970915731072 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17504/stat : 17504 (java) S 17443 17446 16080 0 -1 1077944384 2 12975 0 0 0 0 5 2 20 0 15 0 47917660 11078557696 10494 33554432000 4194304 4196468 140727116239712 140078600890992 140079141558914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17505] ppid=17443 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17505/stat : 17505 (java) S 17443 17446 16080 0 -1 1077944384 33 12975 0 0 0 0 5 2 20 0 15 0 47917661 11078557696 10494 33554432000 4194304 4196468 140727116239712 140078599836960 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17506] ppid=17443 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17506/stat : 17506 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917661 11078557696 10494 33554432000 4194304 4196468 140727116239712 140078009542256 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17507] ppid=17443 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17507/stat : 17507 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917663 11078557696 10494 33554432000 4194304 4196468 140727116239712 140077702142544 140079141566363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17508] ppid=17443 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17446/task/17508/stat : 17508 (java) S 17443 17446 16080 0 -1 1077944384 492 12975 0 0 1 0 5 2 20 0 15 0 47917663 11078557696 10494 33554432000 4194304 4196468 140727116239712 140078566279280 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17509] ppid=17443 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17446/task/17509/stat : 17509 (java) S 17443 17446 16080 0 -1 1077944384 89 12975 0 0 1 0 5 2 20 0 15 0 47917663 11078557696 10494 33554432000 4194304 4196468 140727116239712 140078565226480 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17510] ppid=17443 vsize=10818904 memory=139970915731072 CPUtime=0.1 cores=1,3,5,7
/proc/17446/task/17510/stat : 17510 (java) S 17443 17446 16080 0 -1 1077944384 566 12975 0 0 3 0 5 2 20 0 15 0 47917664 11078557696 10494 33554432000 4194304 4196468 140727116239712 140078564174192 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17511] ppid=17443 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17511/stat : 17511 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917664 11078557696 10494 33554432000 4194304 4196468 140727116239712 140077668583904 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17512] ppid=17443 vsize=10818904 memory=139970915731072 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17512/stat : 17512 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917664 11078557696 10560 33554432000 4194304 4196468 140727116239712 140078563122096 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 41184 KiB
[startup+0.310452 s]*
/proc/loadavg: 1.76 1.80 1.77 3/220 17512
/proc/meminfo: memFree=15904588/32770624 swapFree=67108860/67108860
[pid=17446] ppid=17443 vsize=10819352 memory=52872 CPUtime=0.38 cores=1,3,5,7
/proc/17446/stat : 17446 (java) S 17443 17446 16080 0 -1 1077944320 10297 12975 0 0 28 3 5 2 20 0 15 0 47917649 11079016448 13218 33554432000 4194304 4196468 140727116239712 140727116222256 140079141547767 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
/proc/17446/statm: 2704838 13218 3085 1 0 2667149 0
[pid=17446/tid=17499] ppid=17443 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/17446/task/17499/stat : 17499 (java) R 17443 17446 16080 0 -1 4202560 6899 12975 0 0 18 2 5 2 20 0 15 0 47917658 11079016448 13218 33554432000 4194304 4196468 140727116239712 140079113359776 140079141569693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17500] ppid=17443 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17500/stat : 17500 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917659 11079016448 13218 33554432000 4194304 4196468 140727116239712 140079145789840 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17501] ppid=17443 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17501/stat : 17501 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917659 11079016448 13218 33554432000 4194304 4196468 140727116239712 140079034063120 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17502] ppid=17443 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17502/stat : 17502 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917659 11079016448 13218 33554432000 4194304 4196468 140727116239712 140079033010832 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17503] ppid=17443 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17503/stat : 17503 (java) S 17443 17446 16080 0 -1 1077944384 2 12975 0 0 0 0 5 2 20 0 15 0 47917659 11079016448 13218 33554432000 4194304 4196468 140727116239712 140079031958032 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17504] ppid=17443 vsize=10819352 memory=139970915731071 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17504/stat : 17504 (java) S 17443 17446 16080 0 -1 1077944384 2 12975 0 0 0 0 5 2 20 0 15 0 47917660 11079016448 13218 33554432000 4194304 4196468 140727116239712 140078600890992 140079141558914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17505] ppid=17443 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17505/stat : 17505 (java) S 17443 17446 16080 0 -1 1077944384 33 12975 0 0 0 0 5 2 20 0 15 0 47917661 11079016448 13218 33554432000 4194304 4196468 140727116239712 140078599836960 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17506] ppid=17443 vsize=10819352 memory=139970915731072 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17506/stat : 17506 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917661 11079016448 13218 33554432000 4194304 4196468 140727116239712 140078009542256 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17507] ppid=17443 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17507/stat : 17507 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917663 11079016448 13218 33554432000 4194304 4196468 140727116239712 140077702142544 140079141566363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17508] ppid=17443 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17446/task/17508/stat : 17508 (java) S 17443 17446 16080 0 -1 1077944384 493 12975 0 0 1 0 5 2 20 0 15 0 47917663 11079016448 13218 33554432000 4194304 4196468 140727116239712 140078566279280 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17509] ppid=17443 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17446/task/17509/stat : 17509 (java) S 17443 17446 16080 0 -1 1077944384 89 12975 0 0 1 0 5 2 20 0 15 0 47917663 11079016448 13218 33554432000 4194304 4196468 140727116239712 140078565226480 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17510] ppid=17443 vsize=10819352 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/17446/task/17510/stat : 17510 (java) S 17443 17446 16080 0 -1 1077944384 576 12975 0 0 4 0 5 2 20 0 15 0 47917664 11079016448 13218 33554432000 4194304 4196468 140727116239712 140078564174192 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17511] ppid=17443 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17511/stat : 17511 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917664 11079016448 13218 33554432000 4194304 4196468 140727116239712 140077668583904 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17512] ppid=17443 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17512/stat : 17512 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917664 11079016448 13218 33554432000 4194304 4196468 140727116239712 140078563122096 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52872 KiB
[startup+0.700793 s]
/proc/loadavg: 1.76 1.80 1.77 3/220 17512
/proc/meminfo: memFree=15893532/32770624 swapFree=67108860/67108860
[pid=17446] ppid=17443 vsize=10819352 memory=85252 CPUtime=0.98 cores=1,3,5,7
/proc/17446/stat : 17446 (java) S 17443 17446 16080 0 -1 1077944320 16413 12975 0 0 87 4 5 2 20 0 15 0 47917649 11079016448 21313 33554432000 4194304 4196468 140727116239712 140727116222256 140079141547767 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
/proc/17446/statm: 2704838 21313 3246 1 0 2667149 0
[pid=17446/tid=17499] ppid=17443 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/17446/task/17499/stat : 17499 (java) R 17443 17446 16080 0 -1 4202560 11920 12975 0 0 55 3 5 2 20 0 15 0 47917658 11079016448 21313 33554432000 4194304 4196468 140727116239712 140079113368592 140079121822940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17500] ppid=17443 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17500/stat : 17500 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917659 11079016448 21313 33554432000 4194304 4196468 140727116239712 140079145789840 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17501] ppid=17443 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17501/stat : 17501 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917659 11079016448 21313 33554432000 4194304 4196468 140727116239712 140079034063120 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17502] ppid=17443 vsize=10819352 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17502/stat : 17502 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917659 11079016448 21313 33554432000 4194304 4196468 140727116239712 140079033010832 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17503] ppid=17443 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17503/stat : 17503 (java) S 17443 17446 16080 0 -1 1077944384 2 12975 0 0 0 0 5 2 20 0 15 0 47917659 11079016448 21313 33554432000 4194304 4196468 140727116239712 140079031958032 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17504] ppid=17443 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17504/stat : 17504 (java) S 17443 17446 16080 0 -1 1077944384 5 12975 0 0 0 0 5 2 20 0 15 0 47917660 11079016448 21313 33554432000 4194304 4196468 140727116239712 140078600890992 140079141558914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17505] ppid=17443 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17505/stat : 17505 (java) S 17443 17446 16080 0 -1 1077944384 33 12975 0 0 0 0 5 2 20 0 15 0 47917661 11079016448 21313 33554432000 4194304 4196468 140727116239712 140078599836960 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17506] ppid=17443 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17506/stat : 17506 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917661 11079016448 21313 33554432000 4194304 4196468 140727116239712 140078009542256 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17507] ppid=17443 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17507/stat : 17507 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917663 11079016448 21313 33554432000 4194304 4196468 140727116239712 140077702142544 140079141566363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17508] ppid=17443 vsize=10819352 memory=6655300316396806240 CPUtime=0.17 cores=1,3,5,7
/proc/17446/task/17508/stat : 17508 (java) S 17443 17446 16080 0 -1 1077944384 1147 12975 0 0 10 0 5 2 20 0 15 0 47917663 11079016448 21313 33554432000 4194304 4196468 140727116239712 140078566279280 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17509] ppid=17443 vsize=10819352 memory=3557678080365911397 CPUtime=0.14 cores=1,3,5,7
/proc/17446/task/17509/stat : 17509 (java) S 17443 17446 16080 0 -1 1077944384 472 12975 0 0 7 0 5 2 20 0 15 0 47917663 11079016448 21313 33554432000 4194304 4196468 140727116239712 140078565226480 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17510] ppid=17443 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/17446/task/17510/stat : 17510 (java) S 17443 17446 16080 0 -1 1077944384 631 12975 0 0 13 0 5 2 20 0 15 0 47917664 11079016448 21313 33554432000 4194304 4196468 140727116239712 140078564174192 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17511] ppid=17443 vsize=10819352 memory=279941539168496 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17511/stat : 17511 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917664 11079016448 21313 33554432000 4194304 4196468 140727116239712 140077668583904 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17512] ppid=17443 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17512/stat : 17512 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917664 11079016448 21313 33554432000 4194304 4196468 140727116239712 140078563122096 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85252 KiB
[startup+1.50642 s]
/proc/loadavg: 1.76 1.80 1.77 4/220 17512
/proc/meminfo: memFree=15848068/32770624 swapFree=67108860/67108860
[pid=17446] ppid=17443 vsize=10832204 memory=197976 CPUtime=2.93 cores=1,3,5,7
/proc/17446/stat : 17446 (java) S 17443 17446 16080 0 -1 1077944320 24263 12975 0 0 275 11 5 2 20 0 15 0 47917649 11092176896 49494 33554432000 4194304 4196468 140727116239712 140727116222256 140079141547767 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
/proc/17446/statm: 2708051 49494 3450 1 0 2669709 0
[pid=17446/tid=17499] ppid=17443 vsize=10832204 memory=4132 CPUtime=1.41 cores=1,3,5,7
/proc/17446/task/17499/stat : 17499 (java) S 17443 17446 16080 0 -1 1077944384 16450 12975 0 0 128 6 5 2 20 0 15 0 47917658 11092176896 49494 33554432000 4194304 4196468 140727116239712 140079113361296 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17500] ppid=17443 vsize=10832204 memory=237 CPUtime=0.08 cores=1,3,5,7
/proc/17446/task/17500/stat : 17500 (java) R 17443 17446 16080 0 -1 4202560 55 12975 0 0 1 0 5 2 20 0 15 0 47917659 11092176896 49494 33554432000 4194304 4196468 140727116239712 140079145789960 140079134175975 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17501] ppid=17443 vsize=10832204 memory=118 CPUtime=0.08 cores=1,3,5,7
/proc/17446/task/17501/stat : 17501 (java) R 17443 17446 16080 0 -1 4202560 26 12975 0 0 1 0 5 2 20 0 15 0 47917659 11092176896 49494 33554432000 4194304 4196468 140727116239712 140079034063120 140079126248385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17502] ppid=17443 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17446/task/17502/stat : 17502 (java) R 17443 17446 16080 0 -1 4202560 169 12975 0 0 1 0 5 2 20 0 15 0 47917659 11092176896 49494 33554432000 4194304 4196468 140727116239712 140079033010832 140079134175975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17503] ppid=17443 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17446/task/17503/stat : 17503 (java) R 17443 17446 16080 0 -1 4202560 32 12975 0 0 1 0 5 2 20 0 15 0 47917659 11092176896 49494 33554432000 4194304 4196468 140727116239712 140079031958032 140079134175975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17504] ppid=17443 vsize=10832204 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17446/task/17504/stat : 17504 (java) S 17443 17446 16080 0 -1 1077944384 47 12975 0 0 1 0 5 2 20 0 15 0 47917660 11092176896 49494 33554432000 4194304 4196468 140727116239712 140078600889504 140079141557973 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17505] ppid=17443 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17505/stat : 17505 (java) S 17443 17446 16080 0 -1 1077944384 33 12975 0 0 0 0 5 2 20 0 15 0 47917661 11092176896 49494 33554432000 4194304 4196468 140727116239712 140078599836960 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17506] ppid=17443 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17506/stat : 17506 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917661 11092176896 49494 33554432000 4194304 4196468 140727116239712 140078009542256 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17507] ppid=17443 vsize=10832204 memory=279941539204896 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17507/stat : 17507 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917663 11092176896 49494 33554432000 4194304 4196468 140727116239712 140077702142544 140079141566363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17508] ppid=17443 vsize=10832204 memory=7649399358444877617 CPUtime=0.54 cores=1,3,5,7
/proc/17446/task/17508/stat : 17508 (java) S 17443 17446 16080 0 -1 1077944384 2203 12975 0 0 47 0 5 2 20 0 15 0 47917663 11092176896 49494 33554432000 4194304 4196468 140727116239712 140078566279280 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17509] ppid=17443 vsize=10832204 memory=7 CPUtime=0.53 cores=1,3,5,7
/proc/17446/task/17509/stat : 17509 (java) S 17443 17446 16080 0 -1 1077944384 1444 12975 0 0 46 0 5 2 20 0 15 0 47917663 11092176896 49494 33554432000 4194304 4196468 140727116239712 140078565226480 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17510] ppid=17443 vsize=10832204 memory=2209 CPUtime=0.53 cores=1,3,5,7
/proc/17446/task/17510/stat : 17510 (java) S 17443 17446 16080 0 -1 1077944384 1604 12975 0 0 45 1 5 2 20 0 15 0 47917664 11092176896 49494 33554432000 4194304 4196468 140727116239712 140078564174192 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17511] ppid=17443 vsize=10832204 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17511/stat : 17511 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917664 11092176896 49494 33554432000 4194304 4196468 140727116239712 140077668583904 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17512] ppid=17443 vsize=10832204 memory=3303 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17512/stat : 17512 (java) S 17443 17446 16080 0 -1 1077944384 1 12975 0 0 0 0 5 2 20 0 15 0 47917664 11092176896 49494 33554432000 4194304 4196468 140727116239712 140078563122096 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/17446/task/17499/stat : 17499 (java) R 17443 17446 16080 0 -1 4202560 677319 12975 0 0 237342 101 5 2 20 0 15 0 47917658 11180277760 690876 33554432000 4194304 4196468 140727116239712 140079113383104 140078707371838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17500] ppid=17443 vsize=10918240 memory=2749124 CPUtime=5.45 cores=1,3,5,7
/proc/17446/task/17500/stat : 17500 (java) S 17443 17446 16080 0 -1 1077944384 14184 12975 0 0 491 47 5 2 20 0 15 0 47917659 11180277760 690876 33554432000 4194304 4196468 140727116239712 140079145789840 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17501] ppid=17443 vsize=10918240 memory=2749124 CPUtime=5.48 cores=1,3,5,7
/proc/17446/task/17501/stat : 17501 (java) S 17443 17446 16080 0 -1 1077944384 15710 12975 0 0 495 46 5 2 20 0 15 0 47917659 11180277760 690876 33554432000 4194304 4196468 140727116239712 140079034063120 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17502] ppid=17443 vsize=10918240 memory=2751196 CPUtime=5.5 cores=1,3,5,7
/proc/17446/task/17502/stat : 17502 (java) S 17443 17446 16080 0 -1 1077944384 18558 12975 0 0 499 44 5 2 20 0 15 0 47917659 11180277760 690876 33554432000 4194304 4196468 140727116239712 140079033010832 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17503] ppid=17443 vsize=10918240 memory=2761436 CPUtime=5.48 cores=1,3,5,7
/proc/17446/task/17503/stat : 17503 (java) S 17443 17446 16080 0 -1 1077944384 16112 12975 0 0 497 44 5 2 20 0 15 0 47917659 11180277760 690876 33554432000 4194304 4196468 140727116239712 140079031958032 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17504] ppid=17443 vsize=10918240 memory=2761436 CPUtime=1.63 cores=1,3,5,7
/proc/17446/task/17504/stat : 17504 (java) S 17443 17446 16080 0 -1 1077944384 25089 12975 0 0 137 19 5 2 20 0 15 0 47917660 11180277760 690876 33554432000 4194304 4196468 140727116239712 140078600890992 140079141558914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17505] ppid=17443 vsize=10918240 memory=2763504 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17505/stat : 17505 (java) S 17443 17446 16080 0 -1 1077944384 40 12975 0 0 0 0 5 2 20 0 15 0 47917661 11180277760 690876 33554432000 4194304 4196468 140727116239712 140078599837088 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17506] ppid=17443 vsize=10918240 memory=2763504 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17506/stat : 17506 (java) S 17443 17446 16080 0 -1 1077944384 5 12975 0 0 0 0 5 2 20 0 15 0 47917661 11180277760 690876 33554432000 4194304 4196468 140727116239712 140078009542272 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17507] ppid=17443 vsize=10918240 memory=2763504 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17507/stat : 17507 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917663 11180277760 690876 33554432000 4194304 4196468 140727116239712 140077702142544 140079141566363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17508] ppid=17443 vsize=10918240 memory=4132 CPUtime=11.97 cores=1,3,5,7
/proc/17446/task/17508/stat : 17508 (java) S 17443 17446 16080 0 -1 1077944384 73461 12975 0 0 1183 7 5 2 20 0 15 0 47917663 11180277760 690876 33554432000 4194304 4196468 140727116239712 140078566279280 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17509] ppid=17443 vsize=10918240 memory=16116 CPUtime=12.02 cores=1,3,5,7
/proc/17446/task/17509/stat : 17509 (java) S 17443 17446 16080 0 -1 1077944384 60704 12975 0 0 1189 6 5 2 20 0 15 0 47917663 11180277760 690876 33554432000 4194304 4196468 140727116239712 140078565226480 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17510] ppid=17443 vsize=10918240 memory=2763504 CPUtime=4.84 cores=1,3,5,7
/proc/17446/task/17510/stat : 17510 (java) S 17443 17446 16080 0 -1 1077944384 71706 12975 0 0 467 10 5 2 20 0 15 0 47917664 11180277760 690876 33554432000 4194304 4196468 140727116239712 140078564174192 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17511] ppid=17443 vsize=10918240 memory=4048 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17511/stat : 17511 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917664 11180277760 690876 33554432000 4194304 4196468 140727116239712 140077668583904 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17512] ppid=17443 vsize=10918240 memory=2728 CPUtime=1.34 cores=1,3,5,7
/proc/17446/task/17512/stat : 17512 (java) S 17443 17446 16080 0 -1 1077944384 1241 12975 0 0 59 68 5 2 20 0 15 0 47917664 11180277760 690876 33554432000 4194304 4196468 140727116239712 140078563122096 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
Current children cumulated CPU time: 2427.69 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 2763504 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.51 1.55 3/221 17748
/proc/meminfo: memFree=16773584/32770624 swapFree=67108860/67108860
[pid=17446] ppid=17443 vsize=10918240 memory=2806572 CPUtime=2487.77 cores=1,3,5,7
/proc/17446/stat : 17446 (java) S 17443 17446 16080 0 -1 1077944320 1010913 12975 0 0 248394 376 5 2 20 0 15 0 47917649 11180277760 701643 33554432000 4194304 4196468 140727116239712 140727116222256 140079141547767 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
/proc/17446/statm: 2729560 701643 3536 1 0 2691213 0
[pid=17446/tid=17499] ppid=17443 vsize=10918240 memory=2786072 CPUtime=2434.47 cores=1,3,5,7
/proc/17446/task/17499/stat : 17499 (java) R 17443 17446 16080 0 -1 4202560 710874 12975 0 0 243336 104 5 2 20 0 15 0 47917658 11180277760 701643 33554432000 4194304 4196468 140727116239712 140079113382896 140078724775896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17500] ppid=17443 vsize=10918240 memory=2773744 CPUtime=5.47 cores=1,3,5,7
/proc/17446/task/17500/stat : 17500 (java) S 17443 17446 16080 0 -1 1077944384 14331 12975 0 0 493 47 5 2 20 0 15 0 47917659 11180277760 701643 33554432000 4194304 4196468 140727116239712 140079145789840 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17501] ppid=17443 vsize=10918240 memory=2794264 CPUtime=5.5 cores=1,3,5,7
/proc/17446/task/17501/stat : 17501 (java) S 17443 17446 16080 0 -1 1077944384 15843 12975 0 0 497 46 5 2 20 0 15 0 47917659 11180277760 701643 33554432000 4194304 4196468 140727116239712 140079034063120 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17502] ppid=17443 vsize=10918240 memory=2796312 CPUtime=5.51 cores=1,3,5,7
/proc/17446/task/17502/stat : 17502 (java) S 17443 17446 16080 0 -1 1077944384 18841 12975 0 0 500 44 5 2 20 0 15 0 47917659 11180277760 701643 33554432000 4194304 4196468 140727116239712 140079033010832 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17503] ppid=17443 vsize=10918240 memory=2804524 CPUtime=5.49 cores=1,3,5,7
/proc/17446/task/17503/stat : 17503 (java) S 17443 17446 16080 0 -1 1077944384 16328 12975 0 0 498 44 5 2 20 0 15 0 47917659 11180277760 701643 33554432000 4194304 4196468 140727116239712 140079031958032 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17504] ppid=17443 vsize=10918240 memory=2806572 CPUtime=1.63 cores=1,3,5,7
/proc/17446/task/17504/stat : 17504 (java) S 17443 17446 16080 0 -1 1077944384 25314 12975 0 0 137 19 5 2 20 0 15 0 47917660 11180277760 701643 33554432000 4194304 4196468 140727116239712 140078600890992 140079141558914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17505] ppid=17443 vsize=10918240 memory=2273 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17505/stat : 17505 (java) S 17443 17446 16080 0 -1 1077944384 40 12975 0 0 0 0 5 2 20 0 15 0 47917661 11180277760 701643 33554432000 4194304 4196468 140727116239712 140078599837088 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17506] ppid=17443 vsize=10918240 memory=2794264 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17506/stat : 17506 (java) S 17443 17446 16080 0 -1 1077944384 5 12975 0 0 0 0 5 2 20 0 15 0 47917661 11180277760 701643 33554432000 4194304 4196468 140727116239712 140078009542272 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17507] ppid=17443 vsize=10918240 memory=8388 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17507/stat : 17507 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917663 11180277760 701643 33554432000 4194304 4196468 140727116239712 140077702142544 140079141566363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17508] ppid=17443 vsize=10918240 memory=2804524 CPUtime=11.97 cores=1,3,5,7
/proc/17446/task/17508/stat : 17508 (java) S 17443 17446 16080 0 -1 1077944384 73463 12975 0 0 1183 7 5 2 20 0 15 0 47917663 11180277760 701643 33554432000 4194304 4196468 140727116239712 140078566279280 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17509] ppid=17443 vsize=10918240 memory=2804524 CPUtime=12.02 cores=1,3,5,7
/proc/17446/task/17509/stat : 17509 (java) S 17443 17446 16080 0 -1 1077944384 60706 12975 0 0 1189 6 5 2 20 0 15 0 47917663 11180277760 701643 33554432000 4194304 4196468 140727116239712 140078565226480 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17510] ppid=17443 vsize=10918240 memory=1832 CPUtime=4.84 cores=1,3,5,7
/proc/17446/task/17510/stat : 17510 (java) S 17443 17446 16080 0 -1 1077944384 71709 12975 0 0 467 10 5 2 20 0 15 0 47917664 11180277760 701643 33554432000 4194304 4196468 140727116239712 140078564174192 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17511] ppid=17443 vsize=10918240 memory=1948 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17511/stat : 17511 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917664 11180277760 701643 33554432000 4194304 4196468 140727116239712 140077668583904 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17512] ppid=17443 vsize=10918240 memory=2804524 CPUtime=1.37 cores=1,3,5,7
/proc/17446/task/17512/stat : 17512 (java) S 17443 17446 16080 0 -1 1077944384 1261 12975 0 0 61 69 5 2 20 0 15 0 47917664 11180277760 701643 33554432000 4194304 4196468 140727116239712 140078563122096 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
Current children cumulated CPU time: 2487.77 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 2806572 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.5 s]
/proc/loadavg: 1.54 1.51 1.54 3/221 17749
/proc/meminfo: memFree=16731136/32770624 swapFree=67108860/67108860
[pid=17446] ppid=17443 vsize=10918240 memory=2846892 CPUtime=2520.08 cores=1,3,5,7
/proc/17446/stat : 17446 (java) S 17443 17446 16080 0 -1 1077944320 1020840 12975 0 0 251620 381 5 2 20 0 15 0 47917649 11180277760 711723 33554432000 4194304 4196468 140727116239712 140727116222256 140079141547767 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
/proc/17446/statm: 2729560 711723 3536 1 0 2691213 0
[pid=17446/tid=17499] ppid=17443 vsize=10918240 memory=2846892 CPUtime=2466.63 cores=1,3,5,7
/proc/17446/task/17499/stat : 17499 (java) R 17443 17446 16080 0 -1 4202560 720269 12975 0 0 246551 105 5 2 20 0 15 0 47917658 11180277760 711723 33554432000 4194304 4196468 140727116239712 140079113383168 140078707715743 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17500] ppid=17443 vsize=10918240 memory=2846892 CPUtime=5.51 cores=1,3,5,7
/proc/17446/task/17500/stat : 17500 (java) S 17443 17446 16080 0 -1 1077944384 14455 12975 0 0 496 48 5 2 20 0 15 0 47917659 11180277760 711723 33554432000 4194304 4196468 140727116239712 140079145789840 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17501] ppid=17443 vsize=10918240 memory=2846892 CPUtime=5.53 cores=1,3,5,7
/proc/17446/task/17501/stat : 17501 (java) S 17443 17446 16080 0 -1 1077944384 15963 12975 0 0 499 47 5 2 20 0 15 0 47917659 11180277760 711723 33554432000 4194304 4196468 140727116239712 140079034063120 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17502] ppid=17443 vsize=10918240 memory=2834380 CPUtime=5.54 cores=1,3,5,7
/proc/17446/task/17502/stat : 17502 (java) S 17443 17446 16080 0 -1 1077944384 18961 12975 0 0 502 45 5 2 20 0 15 0 47917659 11180277760 711723 33554432000 4194304 4196468 140727116239712 140079033010832 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17503] ppid=17443 vsize=10918240 memory=2834380 CPUtime=5.52 cores=1,3,5,7
/proc/17446/task/17503/stat : 17503 (java) S 17443 17446 16080 0 -1 1077944384 16452 12975 0 0 500 45 5 2 20 0 15 0 47917659 11180277760 711723 33554432000 4194304 4196468 140727116239712 140079031958032 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17504] ppid=17443 vsize=10918240 memory=2816832 CPUtime=1.64 cores=1,3,5,7
/proc/17446/task/17504/stat : 17504 (java) S 17443 17446 16080 0 -1 1077944384 25356 12975 0 0 138 19 5 2 20 0 15 0 47917660 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078600890992 140079141558914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17505] ppid=17443 vsize=10918240 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17505/stat : 17505 (java) S 17443 17446 16080 0 -1 1077944384 40 12975 0 0 0 0 5 2 20 0 15 0 47917661 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078599837088 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17506] ppid=17443 vsize=10918240 memory=2846892 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17506/stat : 17506 (java) S 17443 17446 16080 0 -1 1077944384 5 12975 0 0 0 0 5 2 20 0 15 0 47917661 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078009542272 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17507] ppid=17443 vsize=10918240 memory=2846892 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17507/stat : 17507 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917663 11180277760 711723 33554432000 4194304 4196468 140727116239712 140077702142544 140079141566363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17508] ppid=17443 vsize=10918240 memory=2846892 CPUtime=11.97 cores=1,3,5,7
/proc/17446/task/17508/stat : 17508 (java) S 17443 17446 16080 0 -1 1077944384 73463 12975 0 0 1183 7 5 2 20 0 15 0 47917663 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078566279280 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17509] ppid=17443 vsize=10918240 memory=2846892 CPUtime=12.02 cores=1,3,5,7
/proc/17446/task/17509/stat : 17509 (java) S 17443 17446 16080 0 -1 1077944384 60706 12975 0 0 1189 6 5 2 20 0 15 0 47917663 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078565226480 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17510] ppid=17443 vsize=10918240 memory=2846892 CPUtime=4.84 cores=1,3,5,7
/proc/17446/task/17510/stat : 17510 (java) S 17443 17446 16080 0 -1 1077944384 71709 12975 0 0 467 10 5 2 20 0 15 0 47917664 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078564174192 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17511] ppid=17443 vsize=10918240 memory=2846892 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17511/stat : 17511 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917664 11180277760 711723 33554432000 4194304 4196468 140727116239712 140077668583904 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17512] ppid=17443 vsize=10918240 memory=279941540245472 CPUtime=1.39 cores=1,3,5,7
/proc/17446/task/17512/stat : 17512 (java) S 17443 17446 16080 0 -1 1077944384 1263 12975 0 0 62 70 5 2 20 0 15 0 47917664 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078563122096 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 2846892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2474.54 s]
# the end of solver process 17446 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.28 s, system=3.85939 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.5 s]
/proc/loadavg: 1.54 1.51 1.54 3/221 17749
/proc/meminfo: memFree=16731136/32770624 swapFree=67108860/67108860
[pid=17446] ppid=17443 vsize=10918240 memory=2846892 CPUtime=2520.08 cores=1,3,5,7
/proc/17446/stat : 17446 (java) S 17443 17446 16080 0 -1 1077944320 1020840 12975 0 0 251620 381 5 2 20 0 15 0 47917649 11180277760 711723 33554432000 4194304 4196468 140727116239712 140727116222256 140079141547767 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
/proc/17446/statm: 2729560 711723 3536 1 0 2691213 0
[pid=17446/tid=17499] ppid=17443 vsize=10918240 memory=2846892 CPUtime=2466.63 cores=1,3,5,7
/proc/17446/task/17499/stat : 17499 (java) R 17443 17446 16080 0 -1 4202560 720269 12975 0 0 246551 105 5 2 20 0 15 0 47917658 11180277760 711723 33554432000 4194304 4196468 140727116239712 140079113383168 140078707715743 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17500] ppid=17443 vsize=10918240 memory=2846892 CPUtime=5.51 cores=1,3,5,7
/proc/17446/task/17500/stat : 17500 (java) S 17443 17446 16080 0 -1 1077944384 14455 12975 0 0 496 48 5 2 20 0 15 0 47917659 11180277760 711723 33554432000 4194304 4196468 140727116239712 140079145789840 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17501] ppid=17443 vsize=10918240 memory=2846892 CPUtime=5.53 cores=1,3,5,7
/proc/17446/task/17501/stat : 17501 (java) S 17443 17446 16080 0 -1 1077944384 15963 12975 0 0 499 47 5 2 20 0 15 0 47917659 11180277760 711723 33554432000 4194304 4196468 140727116239712 140079034063120 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17502] ppid=17443 vsize=10918240 memory=2834380 CPUtime=5.54 cores=1,3,5,7
/proc/17446/task/17502/stat : 17502 (java) S 17443 17446 16080 0 -1 1077944384 18961 12975 0 0 502 45 5 2 20 0 15 0 47917659 11180277760 711723 33554432000 4194304 4196468 140727116239712 140079033010832 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17503] ppid=17443 vsize=10918240 memory=2834380 CPUtime=5.52 cores=1,3,5,7
/proc/17446/task/17503/stat : 17503 (java) S 17443 17446 16080 0 -1 1077944384 16452 12975 0 0 500 45 5 2 20 0 15 0 47917659 11180277760 711723 33554432000 4194304 4196468 140727116239712 140079031958032 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17504] ppid=17443 vsize=10918240 memory=2816832 CPUtime=1.64 cores=1,3,5,7
/proc/17446/task/17504/stat : 17504 (java) S 17443 17446 16080 0 -1 1077944384 25356 12975 0 0 138 19 5 2 20 0 15 0 47917660 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078600890992 140079141558914 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17505] ppid=17443 vsize=10918240 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17505/stat : 17505 (java) S 17443 17446 16080 0 -1 1077944384 40 12975 0 0 0 0 5 2 20 0 15 0 47917661 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078599837088 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17506] ppid=17443 vsize=10918240 memory=2846892 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17506/stat : 17506 (java) S 17443 17446 16080 0 -1 1077944384 5 12975 0 0 0 0 5 2 20 0 15 0 47917661 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078009542272 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17507] ppid=17443 vsize=10918240 memory=2846892 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17507/stat : 17507 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917663 11180277760 711723 33554432000 4194304 4196468 140727116239712 140077702142544 140079141566363 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17508] ppid=17443 vsize=10918240 memory=2846892 CPUtime=11.97 cores=1,3,5,7
/proc/17446/task/17508/stat : 17508 (java) S 17443 17446 16080 0 -1 1077944384 73463 12975 0 0 1183 7 5 2 20 0 15 0 47917663 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078566279280 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17509] ppid=17443 vsize=10918240 memory=2846892 CPUtime=12.02 cores=1,3,5,7
/proc/17446/task/17509/stat : 17509 (java) S 17443 17446 16080 0 -1 1077944384 60706 12975 0 0 1189 6 5 2 20 0 15 0 47917663 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078565226480 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17510] ppid=17443 vsize=10918240 memory=2846892 CPUtime=4.84 cores=1,3,5,7
/proc/17446/task/17510/stat : 17510 (java) S 17443 17446 16080 0 -1 1077944384 71709 12975 0 0 467 10 5 2 20 0 15 0 47917664 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078564174192 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17511] ppid=17443 vsize=10918240 memory=2846892 CPUtime=0.07 cores=1,3,5,7
/proc/17446/task/17511/stat : 17511 (java) S 17443 17446 16080 0 -1 1077944384 3 12975 0 0 0 0 5 2 20 0 15 0 47917664 11180277760 711723 33554432000 4194304 4196468 140727116239712 140077668583904 140079141557973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
[pid=17446/tid=17512] ppid=17443 vsize=10918240 memory=279941540245472 CPUtime=1.39 cores=1,3,5,7
/proc/17446/task/17512/stat : 17512 (java) S 17443 17446 16080 0 -1 1077944384 1263 12975 0 0 62 70 5 2 20 0 15 0 47917664 11180277760 711723 33554432000 4194304 4196468 140727116239712 140078563122096 140079141558914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23629824 140727116241067 140727116244316 140727116244316 140727116246991 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 2846892 KiB
Child status: 143
Real time (s): 2474.54
CPU time (s): 2520.14
CPU user time (s): 2516.28
CPU system time (s): 3.85939
CPU usage (%): 101.843
Max. virtual memory (cumulated for all children) (KiB): 10923620
Max. memory (cumulated for all children) (KiB): 2849996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.28
system time used= 3.85939
maximum resident set size= 2852044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1035158
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93530
involuntary context switches= 6057
# summary of solver processes directly reported to runsolver:
# pid: 17446
# total CPU time (s): 2520.14
# total CPU user time (s): 2516.28
# total CPU system time (s): 3.85939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3436 second user time and 22.4225 second system time
The end
Begin job on node132 at 2018-07-23 01:52:25 IDJOB=4293002 IDBENCH=141058 IDSOLVER=2751 FILE ID=node132/4293002-1532303545 RUNJOBID= node132-1532296193-16112 PBS_JOBID= 21018987 Free space on /tmp= 55032 MiB SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13 BENCH NAME= XCSP18/NurseRostering/NurseRostering-06_c18.xml COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293002-1532303545/watcher-4293002-1532303545 -o /tmp/evaluation-result-4293002-1532303545/solver-4293002-1532303545 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16112 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1569214371 -superng HOME/instance-4293002-1532303545.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9a3bf89ae74321e3cfb193774a0c0983 RANDOM SEED=1569214371 node132.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.65 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.65 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.65 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.65 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: 15944304 kB MemAvailable: 27089492 kB Buffers: 256156 kB Cached: 11035128 kB SwapCached: 0 kB Active: 7008704 kB Inactive: 9179140 kB Active(anon): 4899020 kB Inactive(anon): 17028 kB Active(file): 2109684 kB Inactive(file): 9162112 kB Unevictable: 6988 kB Mlocked: 6988 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26528 kB Writeback: 0 kB AnonPages: 4845800 kB Mapped: 49700 kB Shmem: 17056 kB Slab: 329104 kB SReclaimable: 301852 kB SUnreclaim: 27252 kB KernelStack: 3920 kB PageTables: 14696 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5920292 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4573184 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55004 MiB End job on node132 at 2018-07-23 02:33:39