Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.9.2-SuperNG | SAT (TO) | 6804 | 2520.07 | 2373.96 |
| Name | NurseRostering/ NurseRostering-09_c18.xml |
| MD5SUM | 01a28a521b9bba3b9351b91d9c8d3e2f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2750 |
| Best CPU time to get the best result obtained on this benchmark | 2520.08 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1844 |
| Number of constraints | 4787 |
| Number of domains | 17 |
| Minimum domain size | 1 |
| Maximum domain size | 37 |
| Distribution of domain sizes | [{"size":1,"count":60},{"size":2,"count":376},{"size":3,"count":8},{"size":4,"count":7},{"size":5,"count":1014},{"size":6,"count":6},{"size":29,"count":121},{"size":37,"count":252}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 25 |
| Distribution of variable degrees | [{"degree":2,"count":692},{"degree":3,"count":144},{"degree":14,"count":14},{"degree":15,"count":38},{"degree":16,"count":18},{"degree":17,"count":15},{"degree":18,"count":42},{"degree":19,"count":59},{"degree":20,"count":68},{"degree":21,"count":132},{"degree":22,"count":199},{"degree":23,"count":238},{"degree":24,"count":163},{"degree":25,"count":22}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 72 |
| Distribution of constraint arities | [{"arity":2,"count":2474},{"arity":3,"count":936},{"arity":4,"count":186},{"arity":5,"count":180},{"arity":6,"count":690},{"arity":29,"count":180},{"arity":37,"count":140},{"arity":72,"count":1}] |
| Number of extensional constraints | 1112 |
| Number of intensional constraints | 552 |
| Distribution of constraint types | [{"type":"extension","count":1112},{"type":"intension","count":552},{"type":"regular","count":1896},{"type":"sum","count":72},{"type":"count","count":1154},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
1.00/0.75 c Concrete v3.9.2.1532736233296 running 14.59/5.77 c 05:14:22.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13924. 'extension(4, x[1][22]=[0‥4]) :: init: true :: relation: MDD 629078509, 9 edges, 5 vertices, 6 tuples 14.59/5.77 c 05:14:22.137 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13948. 'extension(4, x[1][27]=[0‥4]) :: init: true :: relation: MDD 309790180, 9 edges, 5 vertices, 6 tuples 14.59/5.77 c 05:14:22.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13972. 'extension(4, x[1][35]=[0‥4]) :: init: true :: relation: MDD 423956799, 9 edges, 5 vertices, 6 tuples 14.59/5.77 c 05:14:22.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13996. 'extension(x[0][10]=[0‥4], 4) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples 14.59/5.78 c 05:14:22.140 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13997. 'extension(4, x[2][10]=[0‥4]) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples 14.59/5.78 c 05:14:22.143 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14025. 'extension(x[0][31]=[0‥4], 4) :: init: true :: relation: MDD 1504154691, 9 edges, 5 vertices, 6 tuples 14.59/5.78 c 05:14:22.144 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14053. 'extension(x[0][32]=[0‥4], 4) :: init: true :: relation: MDD 45320991, 9 edges, 5 vertices, 6 tuples 14.59/5.78 c 05:14:22.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14081. 'extension(x[1][6]=[0‥4], 4) :: init: true :: relation: MDD 1005344801, 9 edges, 5 vertices, 6 tuples 14.59/5.78 c 05:14:22.146 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14112. 'extension(x[1][27]=[0‥4], 4) :: init: true :: relation: MDD 309790180, 9 edges, 5 vertices, 6 tuples 14.59/5.78 c 05:14:22.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14113. 'extension(4, x[3][27]=[0‥4]) :: init: true :: relation: MDD 309790180, 9 edges, 5 vertices, 6 tuples 14.59/5.78 c 05:14:22.149 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14141. 'extension(4, x[3][31]=[0‥4]) :: init: true :: relation: MDD 1504154691, 9 edges, 5 vertices, 6 tuples 14.59/5.78 c 05:14:22.150 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14144. 'extension(4, 4) :: init: true :: relation: MDD 1504154691, 9 edges, 5 vertices, 6 tuples 14.59/5.79 c 05:14:22.151 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14170. 'extension(4, x[3][32]=[0‥4]) :: init: true :: relation: MDD 45320991, 9 edges, 5 vertices, 6 tuples 14.59/5.79 c 05:14:22.152 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14173. 'extension(4, 4) :: init: true :: relation: MDD 45320991, 9 edges, 5 vertices, 6 tuples 14.59/5.79 c 05:14:22.154 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14199. 'extension(4, x[4][6]=[0‥4]) :: init: true :: relation: MDD 1005344801, 9 edges, 5 vertices, 6 tuples 14.59/5.79 c 05:14:22.155 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14202. 'extension(4, 4) :: init: true :: relation: MDD 1005344801, 9 edges, 5 vertices, 6 tuples 14.59/5.79 c 05:14:22.157 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14231. 'extension(x[2][9]=[0‥4], 4) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples 14.59/5.79 c 05:14:22.157 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14232. 'extension(4, x[4][9]=[0‥4]) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples 14.59/5.80 c 05:14:22.160 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14263. 'extension(x[2][18]=[0‥4], 4) :: init: true :: relation: MDD 213095762, 9 edges, 5 vertices, 6 tuples 14.91/5.80 c 05:14:22.161 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14294. 'extension(x[2][20]=[0‥4], 4) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples 14.91/5.80 c 05:14:22.161 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14295. 'extension(4, x[4][20]=[0‥4]) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples 14.91/5.80 c 05:14:22.164 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14325. 'extension(4, x[5][18]=[0‥4]) :: init: true :: relation: MDD 213095762, 9 edges, 5 vertices, 6 tuples 14.91/5.80 c 05:14:22.164 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14328. 'extension(4, 4) :: init: true :: relation: MDD 213095762, 9 edges, 5 vertices, 6 tuples 14.91/5.80 c 05:14:22.167 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14357. 'extension(4, wk[26][0]=[0‥1]) :: init: true :: relation: MDD 598284487, 5 edges, 3 vertices, 4 tuples 14.91/5.80 c 05:14:22.167 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14358. 'extension(x[4][26]=[0‥4], 4) :: init: true :: relation: MDD 1562251195, 9 edges, 5 vertices, 6 tuples 14.91/5.80 c 05:14:22.168 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14390. 'extension(4, wk[33][0]=[0‥1]) :: init: true :: relation: MDD 1755811644, 5 edges, 3 vertices, 4 tuples 14.91/5.80 c 05:14:22.169 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14391. 'extension(x[4][33]=[0‥4], 4) :: init: true :: relation: MDD 805561728, 9 edges, 5 vertices, 6 tuples 14.91/5.81 c 05:14:22.170 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14423. 'extension(4, wk[11][0]=[0‥1]) :: init: true :: relation: MDD 1083759991, 5 edges, 3 vertices, 4 tuples 14.91/5.81 c 05:14:22.170 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14424. 'extension(x[5][11]=[0‥4], 4) :: init: true :: relation: MDD 1621202291, 9 edges, 5 vertices, 6 tuples 14.91/5.81 c 05:14:22.171 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14458. 'extension(4, wk[26][0]=[0‥1]) :: init: true :: relation: MDD 71843125, 5 edges, 3 vertices, 4 tuples 14.91/5.81 c 05:14:22.172 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14459. 'extension(4, x[7][26]=[0‥4]) :: init: true :: relation: MDD 1562251195, 9 edges, 5 vertices, 6 tuples 14.91/5.81 c 05:14:22.173 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14462. 'extension(4, 4) :: init: true :: relation: MDD 1562251195, 9 edges, 5 vertices, 6 tuples 14.91/5.81 c 05:14:22.174 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14491. 'extension(4, wk[33][0]=[0‥1]) :: init: true :: relation: MDD 880934808, 5 edges, 3 vertices, 4 tuples 14.91/5.81 c 05:14:22.174 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14492. 'extension(4, x[7][33]=[0‥4]) :: init: true :: relation: MDD 805561728, 9 edges, 5 vertices, 6 tuples 14.91/5.81 c 05:14:22.175 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14495. 'extension(4, 4) :: init: true :: relation: MDD 805561728, 9 edges, 5 vertices, 6 tuples 14.91/5.81 c 05:14:22.177 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14524. 'extension(4, x[8][11]=[0‥4]) :: init: true :: relation: MDD 1621202291, 9 edges, 5 vertices, 6 tuples 14.91/5.81 c 05:14:22.178 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14527. 'extension(4, 4) :: init: true :: relation: MDD 1621202291, 9 edges, 5 vertices, 6 tuples 14.91/5.82 c 05:14:22.180 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14558. 'extension(x[6][15]=[0‥4], 4) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples 14.91/5.82 c 05:14:22.181 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14559. 'extension(4, x[8][15]=[0‥4]) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples 14.91/5.82 c 05:14:22.183 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14592. 'extension(x[6][25]=[0‥4], 4) :: init: true :: relation: MDD 1914285129, 9 edges, 5 vertices, 6 tuples 14.91/5.82 c 05:14:22.184 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14625. 'extension(x[6][28]=[0‥4], 4) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples 14.91/5.82 c 05:14:22.185 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14626. 'extension(4, x[8][28]=[0‥4]) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples 14.91/5.82 c 05:14:22.187 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14657. 'extension(x[7][8]=[0‥4], 4) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples 14.91/5.82 c 05:14:22.187 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14658. 'extension(4, x[9][8]=[0‥4]) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples 14.91/5.83 c 05:14:22.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14691. 'extension(4, x[9][25]=[0‥4]) :: init: true :: relation: MDD 1914285129, 9 edges, 5 vertices, 6 tuples 14.91/5.83 c 05:14:22.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14694. 'extension(4, 4) :: init: true :: relation: MDD 1914285129, 9 edges, 5 vertices, 6 tuples 14.91/5.83 c 05:14:22.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14724. 'extension(x[8][1]=[0‥4], 4) :: init: true :: relation: MDD 1432687668, 9 edges, 5 vertices, 6 tuples 14.91/5.83 c 05:14:22.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14758. 'extension(4, x[11][1]=[0‥4]) :: init: true :: relation: MDD 1432687668, 9 edges, 5 vertices, 6 tuples 14.91/5.83 c 05:14:22.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14761. 'extension(4, 4) :: init: true :: relation: MDD 1432687668, 9 edges, 5 vertices, 6 tuples 14.91/5.83 c 05:14:22.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14792. 'extension(x[9][35]=[0‥4], 4) :: init: true :: relation: MDD 423956799, 9 edges, 5 vertices, 6 tuples 14.91/5.83 c 05:14:22.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14793. 'extension(4, x[11][35]=[0‥4]) :: init: true :: relation: MDD 423956799, 9 edges, 5 vertices, 6 tuples 14.91/5.83 c 05:14:22.199 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14824. 'extension(x[10][14]=[0‥4], 4) :: init: true :: relation: MDD 1920147706, 9 edges, 5 vertices, 6 tuples 14.91/5.84 c 05:14:22.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14858. 'extension(x[10][24]=[0‥4], 4) :: init: true :: relation: MDD 318020776, 9 edges, 5 vertices, 6 tuples 14.91/5.84 c 05:14:22.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14891. 'extension(4, wk[14][1]=[0‥1]) :: init: true :: relation: MDD 1937618936, 5 edges, 3 vertices, 4 tuples 14.91/5.84 c 05:14:22.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14892. 'extension(4, x[13][14]=[0‥4]) :: init: true :: relation: MDD 1920147706, 9 edges, 5 vertices, 6 tuples 14.91/5.84 c 05:14:22.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14895. 'extension(4, 4) :: init: true :: relation: MDD 1920147706, 9 edges, 5 vertices, 6 tuples 14.91/5.84 c 05:14:22.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14926. 'extension(4, wk[15][1]=[0‥1]) :: init: true :: relation: MDD 752230403, 5 edges, 3 vertices, 4 tuples 14.91/5.84 c 05:14:22.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14927. 'extension(x[11][15]=[0‥4], 4) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples 14.91/5.84 c 05:14:22.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14928. 'extension(4, x[13][15]=[0‥4]) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples 14.91/5.84 c 05:14:22.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14961. 'extension(4, wk[24][1]=[0‥1]) :: init: true :: relation: MDD 1436347886, 5 edges, 3 vertices, 4 tuples 14.91/5.84 c 05:14:22.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14962. 'extension(4, x[13][24]=[0‥4]) :: init: true :: relation: MDD 318020776, 9 edges, 5 vertices, 6 tuples 14.91/5.84 c 05:14:22.208 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14965. 'extension(4, 4) :: init: true :: relation: MDD 318020776, 9 edges, 5 vertices, 6 tuples 14.91/5.85 c 05:14:22.210 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14995. 'extension(4, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 2003311844, 5 edges, 3 vertices, 4 tuples 14.91/5.85 c 05:14:22.210 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14996. 'extension(x[12][3]=[0‥4], 4) :: init: true :: relation: MDD 1977652583, 9 edges, 5 vertices, 6 tuples 14.91/5.85 c 05:14:22.211 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15030. 'extension(4, wk[30][1]=[0‥1]) :: init: true :: relation: MDD 1117802526, 5 edges, 3 vertices, 4 tuples 14.91/5.85 c 05:14:22.211 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15031. 'extension(x[12][30]=[0‥4], 4) :: init: true :: relation: MDD 518290846, 9 edges, 5 vertices, 6 tuples 14.91/5.85 c 05:14:22.212 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15063. 'extension(4, wk[34][1]=[0‥1]) :: init: true :: relation: MDD 931482420, 5 edges, 3 vertices, 4 tuples 14.91/5.85 c 05:14:22.213 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15064. 'extension(x[12][34]=[0‥4], 4) :: init: true :: relation: MDD 327853004, 9 edges, 5 vertices, 6 tuples 14.91/5.85 c 05:14:22.214 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15096. 'extension(4, x[15][3]=[0‥4]) :: init: true :: relation: MDD 1977652583, 9 edges, 5 vertices, 6 tuples 14.91/5.85 c 05:14:22.214 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15099. 'extension(4, 4) :: init: true :: relation: MDD 1977652583, 9 edges, 5 vertices, 6 tuples 14.91/5.85 c 05:14:22.216 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15130. 'extension(x[13][5]=[0‥4], 4) :: init: true :: relation: MDD 441451873, 9 edges, 5 vertices, 6 tuples 14.91/5.85 c 05:14:22.217 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15164. 'extension(x[13][17]=[0‥4], 4) :: init: true :: relation: MDD 1977776214, 9 edges, 5 vertices, 6 tuples 14.91/5.85 c 05:14:22.218 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15197. 'extension(x[13][20]=[0‥4], 4) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples 14.91/5.85 c 05:14:22.218 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15198. 'extension(4, x[15][20]=[0‥4]) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples 14.91/5.86 c 05:14:22.220 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15230. 'extension(x[13][22]=[0‥4], 4) :: init: true :: relation: MDD 629078509, 9 edges, 5 vertices, 6 tuples 14.91/5.86 c 05:14:22.220 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15231. 'extension(4, x[15][22]=[0‥4]) :: init: true :: relation: MDD 629078509, 9 edges, 5 vertices, 6 tuples 14.91/5.86 c 05:14:22.222 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15263. 'extension(4, x[15][30]=[0‥4]) :: init: true :: relation: MDD 518290846, 9 edges, 5 vertices, 6 tuples 14.91/5.86 c 05:14:22.223 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15266. 'extension(4, 4) :: init: true :: relation: MDD 518290846, 9 edges, 5 vertices, 6 tuples 14.91/5.86 c 05:14:22.224 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15295. 'extension(4, x[15][34]=[0‥4]) :: init: true :: relation: MDD 327853004, 9 edges, 5 vertices, 6 tuples 14.91/5.86 c 05:14:22.224 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15298. 'extension(4, 4) :: init: true :: relation: MDD 327853004, 9 edges, 5 vertices, 6 tuples 14.91/5.86 c 05:14:22.226 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15327. 'extension(x[14][0]=[0‥4], 4) :: init: true :: relation: MDD 5934227, 9 edges, 5 vertices, 6 tuples 14.91/5.86 c 05:14:22.226 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15328. 'extension(4, x[16][0]=[0‥4]) :: init: true :: relation: MDD 5934227, 9 edges, 5 vertices, 6 tuples 14.91/5.86 c 05:14:22.228 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15361. 'extension(4, x[16][5]=[0‥4]) :: init: true :: relation: MDD 441451873, 9 edges, 5 vertices, 6 tuples 14.91/5.86 c 05:14:22.229 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15364. 'extension(4, 4) :: init: true :: relation: MDD 441451873, 9 edges, 5 vertices, 6 tuples 14.91/5.87 c 05:14:22.230 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15395. 'extension(4, x[16][17]=[0‥4]) :: init: true :: relation: MDD 1977776214, 9 edges, 5 vertices, 6 tuples 14.91/5.87 c 05:14:22.231 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15398. 'extension(4, 4) :: init: true :: relation: MDD 1977776214, 9 edges, 5 vertices, 6 tuples 14.91/5.87 c 05:14:22.232 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15428. 'extension(x[14][28]=[0‥4], 4) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples 14.91/5.87 c 05:14:22.232 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15429. 'extension(4, x[16][28]=[0‥4]) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples 14.91/5.87 c 05:14:22.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15460. 'extension(x[15][23]=[0‥4], 4) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples 14.91/5.87 c 05:14:22.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15461. 'extension(4, x[17][23]=[0‥4]) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples 14.91/5.87 c 05:14:22.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15493. 'extension(x[16][4]=[0‥4], 4) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples 14.91/5.87 c 05:14:22.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15494. 'extension(4, x[18][4]=[0‥4]) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples 14.91/5.87 c 05:14:22.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15527. 'extension(x[17][0]=[0‥4], 4) :: init: true :: relation: MDD 5934227, 9 edges, 5 vertices, 6 tuples 14.91/5.88 c 05:14:22.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15528. 'extension(4, x[19][0]=[0‥4]) :: init: true :: relation: MDD 5934227, 9 edges, 5 vertices, 6 tuples 14.91/5.88 c 05:14:22.241 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15561. 'extension(x[17][7]=[0‥4], 4) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples 14.91/5.88 c 05:14:22.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15595. 'extension(x[17][8]=[0‥4], 4) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples 14.91/5.88 c 05:14:22.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15596. 'extension(4, x[19][8]=[0‥4]) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples 14.91/5.88 c 05:14:22.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15629. 'extension(4, wk[7][2]=[0‥1]) :: init: true :: relation: MDD 1708711928, 5 edges, 3 vertices, 4 tuples 14.91/5.88 c 05:14:22.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15630. 'extension(4, x[20][7]=[0‥4]) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples 14.91/5.88 c 05:14:22.246 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15633. 'extension(4, 4) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples 14.91/5.88 c 05:14:22.248 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15664. 'extension(x[20][12]=[0‥4], 4) :: init: true :: relation: MDD 234430897, 9 edges, 5 vertices, 6 tuples 14.91/5.88 c 05:14:22.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15698. 'extension(x[20][23]=[0‥4], 4) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples 14.91/5.88 c 05:14:22.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15699. 'extension(4, x[22][23]=[0‥4]) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples 14.91/5.89 c 05:14:22.251 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15731. 'extension(x[21][9]=[0‥4], 4) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples 14.91/5.89 c 05:14:22.252 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15732. 'extension(4, x[23][9]=[0‥4]) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples 14.91/5.89 c 05:14:22.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15765. 'extension(4, x[23][12]=[0‥4]) :: init: true :: relation: MDD 234430897, 9 edges, 5 vertices, 6 tuples 14.91/5.89 c 05:14:22.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15768. 'extension(4, 4) :: init: true :: relation: MDD 234430897, 9 edges, 5 vertices, 6 tuples 14.91/5.89 c 05:14:22.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15799. 'extension(x[21][13]=[0‥4], 4) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples 14.91/5.89 c 05:14:22.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15800. 'extension(4, x[23][13]=[0‥4]) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples 14.91/5.89 c 05:14:22.258 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15833. 'extension(x[21][21]=[0‥4], 4) :: init: true :: relation: MDD 1939282277, 9 edges, 5 vertices, 6 tuples 14.91/5.89 c 05:14:22.259 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15866. 'extension(x[22][4]=[0‥4], 4) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples 14.91/5.89 c 05:14:22.259 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15867. 'extension(4, x[24][4]=[0‥4]) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples 15.24/5.90 c 05:14:22.262 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15899. 'extension(4, x[24][21]=[0‥4]) :: init: true :: relation: MDD 1939282277, 9 edges, 5 vertices, 6 tuples 15.24/5.90 c 05:14:22.263 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15902. 'extension(4, 4) :: init: true :: relation: MDD 1939282277, 9 edges, 5 vertices, 6 tuples 15.24/5.90 c 05:14:22.264 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15931. 'extension(x[23][2]=[0‥4], 4) :: init: true :: relation: MDD 722321959, 9 edges, 5 vertices, 6 tuples 15.24/5.90 c 05:14:22.265 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15963. 'extension(x[23][16]=[0‥4], 4) :: init: true :: relation: MDD 1965269980, 9 edges, 5 vertices, 6 tuples 15.24/5.90 c 05:14:22.266 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15994. 'extension(x[23][29]=[0‥4], 4) :: init: true :: relation: MDD 1089691218, 9 edges, 5 vertices, 6 tuples 15.24/5.90 c 05:14:22.267 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16024. 'extension(4, x[26][2]=[0‥4]) :: init: true :: relation: MDD 722321959, 9 edges, 5 vertices, 6 tuples 15.24/5.90 c 05:14:22.267 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16027. 'extension(4, 4) :: init: true :: relation: MDD 722321959, 9 edges, 5 vertices, 6 tuples 15.24/5.90 c 05:14:22.269 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16055. 'extension(x[24][10]=[0‥4], 4) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples 15.24/5.90 c 05:14:22.269 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16056. 'extension(4, x[26][10]=[0‥4]) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples 15.24/5.91 c 05:14:22.272 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16086. 'extension(x[24][13]=[0‥4], 4) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples 15.24/5.91 c 05:14:22.272 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16087. 'extension(4, x[26][13]=[0‥4]) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples 15.24/5.91 c 05:14:22.274 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16117. 'extension(4, x[26][16]=[0‥4]) :: init: true :: relation: MDD 1965269980, 9 edges, 5 vertices, 6 tuples 15.24/5.92 c 05:14:22.274 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16120. 'extension(4, 4) :: init: true :: relation: MDD 1965269980, 9 edges, 5 vertices, 6 tuples 15.24/5.92 c 05:14:22.275 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16147. 'extension(x[24][19]=[0‥4], 4) :: init: true :: relation: MDD 2078992278, 9 edges, 5 vertices, 6 tuples 15.24/5.92 c 05:14:22.276 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16177. 'extension(4, x[26][29]=[0‥4]) :: init: true :: relation: MDD 1089691218, 9 edges, 5 vertices, 6 tuples 15.24/5.92 c 05:14:22.277 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16180. 'extension(4, 4) :: init: true :: relation: MDD 1089691218, 9 edges, 5 vertices, 6 tuples 15.24/5.92 c 05:14:22.278 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16206. 'extension(4, wk[19][3]=[0‥1]) :: init: true :: relation: MDD 927557408, 5 edges, 3 vertices, 4 tuples 15.24/5.92 c 05:14:22.279 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16207. 'extension(4, x[27][19]=[0‥4]) :: init: true :: relation: MDD 2078992278, 9 edges, 5 vertices, 6 tuples 15.24/5.92 c 05:14:22.279 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16209. 'extension(4, 4) :: init: true :: relation: MDD 2078992278, 9 edges, 5 vertices, 6 tuples 15.24/6.00 c 05:14:22.360 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17740. 'extension(x[1][22]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17746. 'extension(x[1][27]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(x[1][35]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17758. 'extension(x[0][10]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17760. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17772. 'extension(x[0][31]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17778. 'extension(x[0][32]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17784. 'extension(x[1][6]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17790. 'extension(x[1][27]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17792. 'extension(x[3][27]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17802. 'extension(x[3][31]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17808. 'extension(x[3][32]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17814. 'extension(x[4][6]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17828. 'extension(x[2][9]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17830. 'extension(x[4][9]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17844. 'extension(x[2][18]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17850. 'extension(x[2][20]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17852. 'extension(x[4][20]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17864. 'extension(x[5][18]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17874. 'extension(wk[26][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17876. 'extension(x[4][26]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17882. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17884. 'extension(x[4][33]=[0‥4]) :: init: true :: relation: Empty MDD 15.24/6.00 c 05:14:22.370 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17890. 'extension(wk[11][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.370 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17892. 'extension(x[5][11]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.370 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17898. 'extension(wk[26][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17900. 'extension(x[7][26]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17906. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17908. 'extension(x[7][33]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.372 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17914. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.373 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17930. 'extension(x[6][15]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.373 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17932. 'extension(x[8][15]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17948. 'extension(x[6][25]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17954. 'extension(x[6][28]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17956. 'extension(x[8][28]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.375 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17966. 'extension(x[7][8]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.375 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17968. 'extension(x[9][8]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.376 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17982. 'extension(x[9][25]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17992. 'extension(x[8][1]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17998. 'extension(x[11][1]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.378 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18012. 'extension(x[9][35]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.378 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18014. 'extension(x[11][35]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.378 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18024. 'extension(x[10][14]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.379 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18030. 'extension(x[10][24]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.379 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18036. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.59/6.01 c 05:14:22.379 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18038. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18054. 'extension(wk[15][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18056. 'extension(x[11][15]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(x[13][15]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.382 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18074. 'extension(wk[24][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.382 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18076. 'extension(x[13][24]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.383 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18086. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.383 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18088. 'extension(x[12][3]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.383 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18094. 'extension(wk[30][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18096. 'extension(x[12][30]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18102. 'extension(wk[34][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18104. 'extension(x[12][34]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18110. 'extension(x[15][3]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.385 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18124. 'extension(x[13][5]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18130. 'extension(x[13][17]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18136. 'extension(x[13][20]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18138. 'extension(x[15][20]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.387 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18150. 'extension(x[13][22]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.387 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18152. 'extension(x[15][22]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.388 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18164. 'extension(x[15][30]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.388 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18170. 'extension(x[15][34]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.388 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18176. 'extension(x[14][0]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18178. 'extension(x[16][0]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.02 c 05:14:22.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18192. 'extension(x[16][5]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18206. 'extension(x[16][17]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18216. 'extension(x[14][28]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18218. 'extension(x[16][28]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18228. 'extension(x[15][23]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.392 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18230. 'extension(x[17][23]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.392 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18242. 'extension(x[16][4]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18244. 'extension(x[18][4]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18258. 'extension(x[17][0]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18260. 'extension(x[19][0]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18274. 'extension(x[17][7]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18280. 'extension(x[17][8]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18282. 'extension(x[19][8]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18296. 'extension(wk[7][2]=[0‥1]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18298. 'extension(x[20][7]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.397 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18312. 'extension(x[20][12]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.397 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18318. 'extension(x[20][23]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18320. 'extension(x[22][23]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18332. 'extension(x[21][9]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18334. 'extension(x[23][9]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.03 c 05:14:22.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18348. 'extension(x[23][12]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.400 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18364. 'extension(x[21][13]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.400 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18366. 'extension(x[23][13]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18380. 'extension(x[21][21]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18386. 'extension(x[22][4]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.402 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18388. 'extension(x[24][4]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.402 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18402. 'extension(x[24][21]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18412. 'extension(x[23][2]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18418. 'extension(x[23][16]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18424. 'extension(x[23][29]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18430. 'extension(x[26][2]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18444. 'extension(x[24][10]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18446. 'extension(x[26][10]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.406 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18460. 'extension(x[24][13]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.406 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18462. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18476. 'extension(x[26][16]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18486. 'extension(x[24][19]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18492. 'extension(x[26][29]=[0‥4]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18498. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD 15.59/6.04 c 05:14:22.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18500. 'extension(x[27][19]=[0‥4]) :: init: true :: relation: Empty MDD 63.17/35.62 o 7484 64.08/36.11 o 7383 903.28/805.85 o 7286 903.28/805.88 o 7285 903.51/805.92 o 7284 903.98/806.28 o 7283 904.17/806.31 o 7183 1013.78/911.85 o 7182 1035.42/932.70 o 7082 1162.36/1057.33 o 6996 1162.36/1057.36 o 6995 1958.18/1837.11 o 6908 1958.18/1837.13 o 6906 1958.54/1837.45 o 6905 1958.54/1837.47 o 6805 2151.20/2008.48 o 6804 2520.00/2373.91 Exception in thread "main" java.util.concurrent.TimeoutException 2520.00/2373.91 at concrete.MAC.mac(MAC.scala:188) 2520.00/2373.91 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.00/2373.91 at scala.util.Try$.apply(Try.scala:209) 2520.00/2373.91 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.00/2373.91 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.00/2373.91 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.00/2373.91 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.00/2373.91 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.00/2373.91 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.00/2373.91 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.00/2373.91 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.00/2373.91 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.00/2373.91 at concrete.MAC.oneRun(MAC.scala:253) 2520.00/2373.91 at concrete.MAC.nextSolution(MAC.scala:272) 2520.00/2373.91 at concrete.MAC.nextSolution(MAC.scala:355) 2520.00/2373.91 at concrete.Solver.hasNext(Solver.scala:166) 2520.00/2373.91 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.00/2373.91 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.00/2373.91 at concrete.Solver.foreach(Solver.scala:68) 2520.00/2373.91 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.00/2373.91 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.00/2373.91 at scala.util.Success.map(Try.scala:209) 2520.00/2373.91 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.00/2373.91 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.00/2373.91 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.00/2373.91 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.00/2373.91 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.00/2373.91 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.00/2373.91 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.00/2373.91 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.00/2373.91 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.00/2373.91 at scala.collection.immutable.List.foreach(List.scala:389) 2520.00/2373.91 at scala.App.main(App.scala:76) 2520.00/2373.91 at scala.App.main$(App.scala:74) 2520.00/2373.91 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.00/2373.91 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.00/2373.92 v <instantiation cost="6804"> 2520.00/2373.92 v <list> 2520.00/2373.92 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[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] 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[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] 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[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] 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[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] 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[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] 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[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] 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[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] 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[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] 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[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] 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[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] 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[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] 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[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] 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[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] 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[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] 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[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] 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[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] 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[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] 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[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] 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[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] 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[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] 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[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] 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[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] 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[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] 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[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] 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[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] 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[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] 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[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] 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] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] 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] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][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] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[140] cn[141] cn[142] cn[143] 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] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[70] cf[71] cf[72] cf[73] cf[74] cf[75] cf[76] cf[77] cf[78] cf[79] cf[80] cf[81] cf[82] cf[83] cf[84] cf[85] cf[86] cf[87] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] 2520.00/2373.92 v </list> 2520.00/2373.92 v <values> 2520.00/2373.92 v 3 0 4 1 1 1 0 4 4 3 4 4 2 1 0 4 4 4 4 4 4 4 4 2 4 4 4 4 4 4 4 4 4 1 4 4 3 2 0 2 1 1 0 4 2 3 4 4 3 1 1 0 4 4 1 4 4 1 4 3 4 4 4 4 4 4 2 4 4 4 4 4 4 2 0 4 4 4 4 4 3 3 0 4 4 2 1 0 4 2 4 4 2 4 4 3 0 1 4 4 1 4 2 4 4 4 4 4 4 2 2 4 4 4 4 0 4 4 3 3 4 2 1 0 1 3 4 1 4 4 4 4 1 4 4 4 4 4 2 4 4 4 1 4 2 4 2 1 0 4 4 0 4 4 4 3 4 4 4 3 2 4 4 4 4 4 2 4 4 4 4 4 4 1 4 4 4 4 4 4 2 4 4 2 0 4 0 0 3 0 4 4 2 4 4 4 4 4 4 4 4 0 4 2 4 4 4 4 1 4 2 1 4 4 4 4 4 4 4 2 0 4 0 4 3 1 4 4 2 4 4 4 4 3 4 3 1 0 4 2 1 4 4 4 4 4 4 4 1 4 4 2 4 0 0 2 4 4 1 4 4 4 0 4 4 1 2 4 1 3 4 3 4 1 4 2 3 4 4 4 4 4 4 4 4 4 4 2 2 0 1 2 4 0 1 0 4 4 0 4 4 3 2 0 1 4 0 4 4 3 2 2 4 4 4 1 4 0 4 4 4 4 4 4 2 4 1 4 0 0 1 0 0 2 4 4 4 4 3 0 1 4 4 4 3 4 2 2 4 4 4 4 1 3 4 4 4 4 4 4 2 4 4 4 1 0 4 0 3 2 4 0 2 4 4 4 4 4 4 4 3 4 2 4 4 0 3 4 4 4 4 4 4 4 1 4 2 4 4 4 4 0 4 1 4 2 4 3 2 4 4 4 4 0 1 4 3 1 2 4 4 0 4 4 1 4 4 4 0 4 4 4 4 4 4 4 4 3 0 2 4 2 2 4 4 4 4 4 4 4 1 4 4 1 2 4 4 0 4 4 4 4 4 4 4 4 1 4 4 4 4 4 4 4 0 4 0 4 2 4 4 4 4 4 1 4 1 4 4 3 4 1 4 0 4 4 4 0 4 4 4 4 4 4 4 0 0 4 0 4 0 4 0 4 3 4 4 0 4 4 1 4 1 2 4 4 4 4 4 4 4 4 3 4 4 4 2 4 4 4 4 0 1 4 0 4 4 3 0 4 4 4 4 2 4 1 4 4 4 4 4 4 4 4 2 4 2 4 4 4 0 4 4 4 4 4 0 4 1 1 0 0 4 3 2 2 4 4 1 4 4 3 4 4 4 4 4 4 4 4 2 4 4 4 4 4 4 4 4 4 4 2 2 4 4 2 4 1 0 3 2 2 4 0 1 4 4 3 4 4 4 1 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 2 4 2 4 2 4 3 1 4 4 2 0 0 1 4 4 4 4 4 4 4 2 4 4 4 4 1 3 1 4 4 4 0 4 4 4 2 4 2 4 4 4 3 4 4 4 4 0 2 4 0 2 4 4 4 1 4 4 4 2 4 4 1 4 1 4 4 0 0 4 3 4 4 1 2 0 4 4 4 4 4 4 4 0 4 4 1 3 4 4 4 1 1 4 4 2 4 4 1 4 4 4 4 4 0 0 3 1 3 3 4 0 4 0 4 0 2 0 4 2 4 4 1 3 4 1 2 4 4 1 3 4 4 2 1 4 1 3 0 4 4 4 4 1 4 4 4 0 4 0 1 0 2 0 4 4 4 4 4 4 4 2 2 4 4 1 4 4 4 4 4 2 3 4 3 4 4 0 4 1 4 4 0 2 4 4 1 0 2 0 1 4 0 4 4 4 4 4 2 4 3 4 4 4 4 4 4 2 4 4 4 4 4 4 4 4 4 1 0 4 1 4 1 0 4 4 3 4 0 4 4 4 4 4 2 4 4 4 4 4 4 4 1 4 4 4 4 2 4 2 1 4 4 1 0 4 3 0 4 4 4 4 3 4 0 3 4 4 0 4 2 0 4 4 4 2 4 1 4 4 4 4 4 4 3 4 4 4 4 4 2 0 3 0 4 4 4 4 4 4 3 3 0 2 0 1 4 0 4 1 4 4 3 1 4 2 3 4 4 4 4 4 1 1 4 4 4 0 3 0 4 4 4 4 4 4 4 3 0 3 0 4 4 4 1 4 4 4 4 1 4 4 4 4 4 4 2 2 2 4 4 1 3 7 3 14 8 0 7 0 13 9 4 3 0 12 0 4 7 3 14 12 3 0 0 13 5 6 0 3 14 12 4 0 0 12 6 1 4 3 14 7 0 3 4 14 1 2 7 5 13 6 0 3 2 17 6 0 1 4 17 0 3 5 4 16 4 5 3 1 15 1 3 4 4 16 8 1 0 3 16 0 8 2 0 18 1 0 6 3 18 3 7 0 0 18 0 4 1 3 20 1 4 2 3 18 2 4 0 3 19 0 0 9 0 19 0 1 6 3 18 1 5 3 1 18 4 6 0 0 18 0 0 4 2 22 0 4 0 2 22 0 4 0 2 22 3 1 0 2 22 2 0 5 0 21 3 1 1 1 22 3 1 3 0 21 0 3 1 2 22 0 7 0 0 21 0 0 5 1 22 3 5 2 2 24 3 6 4 4 19 4 3 5 3 21 2 5 4 3 22 2 2 4 2 26 5 2 5 1 23 3 4 4 3 22 3 4 4 3 22 7 4 5 2 18 5 4 4 3 20 4 2 4 3 23 4 4 4 2 22 2 3 4 1 26 4 3 1 1 27 6 2 2 2 24 4 2 3 1 26 3 3 4 2 24 3 3 5 2 23 3 4 5 2 22 4 3 4 2 23 4 6 2 3 21 5 6 4 4 17 5 3 4 2 22 4 2 4 1 25 3 5 3 1 24 5 2 2 4 23 5 5 3 5 18 4 2 3 3 24 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 0 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 3 0 0 0 0 0 0 3 3 3 3 0 0 0 0 0 0 0 0 0 0 2 1 1 1 1 0 0 3 0 0 0 0 0 0 1 1 0 0 2 2 2 0 3 3 0 0 1 0 0 0 0 0 0 0 2 2 3 0 3 0 3 3 3 3 0 3 3 3 0 0 0 0 0 0 0 0 1 1 1 3 0 3 3 0 0 3 3 3 2 2 2 0 0 3 3 3 0 2 2 2 1 1 1 1 1 0 1 1 1 3 0 3 0 1 1 1 0 0 2 0 0 0 0 0 1 1 0 0 0 3 3 3 3 2 0 0 0 0 0 0 2 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 2 0 0 0 0 0 0 3 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 400 0 0 0 0 0 2 0 0 100 0 2 0 300 0 100 2 0 100 100 0 0 0 1 0 0 100 0 0 0 0 2 0 0 0 0 0 0 4 0 2 100 0 1 0 0 0 0 0 0 2 100 0 0 200 100 0 0 300 1 0 300 0 0 0 300 200 0 2 0 100 100 0 0 100 100 200 0 1 0 0 100 0 0 0 0 0 0 0 0 0 100 0 2 100 0 0 0 100 2 100 0 0 100 1 200 1 0 1 0 0 0 0 0 300 100 100 0 200 0 200 100 0 0 200 300 1 0 2 100 0 0 0 0 500 300 0 0 2520.00/2373.92 v </values> 2520.00/2373.92 v </instantiation> 2520.00/2373.92 s SATISFIABLE
OK 6804
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 (10597 MiB free)
memory of node 1: 16384 MiB (3305 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304168-1534043656/watcher-4304168-1534043656 -o /tmp/evaluation-result-4304168-1534043656/solver-4304168-1534043656 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534038702-32058 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1332377158 -superng HOME/instance-4304168-1534043656.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32754, runsolver pid=32751
[startup+0.10006 s]*
/proc/loadavg: 1.57 1.63 1.63 3/211 347
/proc/meminfo: memFree=14231236/32770624 swapFree=67108688/67108860
[pid=32754] ppid=32751 vsize=10005480 memory=18592 CPUtime=0.1 cores=0,2,4,6
/proc/32754/stat : 32754 (java) S 32751 32754 30627 0 -1 1077944320 4284 13034 0 0 1 1 5 3 20 0 6 0 221928790 10245611520 4648 33554432000 4194304 4196468 140735682834080 140735682816624 140613811281655 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
/proc/32754/statm: 2501370 4648 1932 1 0 2489808 0
[pid=32754/tid=343] ppid=32751 vsize=10005480 memory=4279135703946986127 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/343/stat : 343 (java) R 32751 32754 30627 0 -1 4202560 2090 13034 0 0 0 0 5 3 20 0 6 0 221928799 10245611520 4648 33554432000 4194304 4196468 140735682834080 140613783118416 140613796964147 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=344] ppid=32751 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/344/stat : 344 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 6 0 221928800 10245611520 4648 33554432000 4194304 4196468 140735682834080 140613815524240 140613811291861 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=345] ppid=32751 vsize=10005480 memory=140347443988096 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/345/stat : 345 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 6 0 221928800 10245611520 4648 33554432000 4194304 4196468 140735682834080 140613680859920 140613811291861 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=346] ppid=32751 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/346/stat : 346 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 6 0 221928800 10245611520 4648 33554432000 4194304 4196468 140735682834080 140613679807632 140613811291861 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=347] ppid=32751 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/347/stat : 347 (java) S 32751 32754 30627 0 -1 1077944384 2 13034 0 0 0 0 5 3 20 0 6 0 221928800 10245611520 4648 33554432000 4194304 4196468 140735682834080 140613678754832 140613811291861 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18592 KiB
[startup+0.210347 s]*
/proc/loadavg: 1.57 1.63 1.63 3/220 358
/proc/meminfo: memFree=14208780/32770624 swapFree=67108688/67108860
[pid=32754] ppid=32751 vsize=10982744 memory=42500 CPUtime=0.26 cores=0,2,4,6
/proc/32754/stat : 32754 (java) S 32751 32754 30627 0 -1 1077944320 7367 13034 0 0 16 2 5 3 20 0 15 0 221928790 11246329856 10625 33554432000 4194304 4196468 140735682834080 140735682816624 140613811281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
/proc/32754/statm: 2745686 10625 2942 1 0 2708109 0
[pid=32754/tid=343] ppid=32751 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/32754/task/343/stat : 343 (java) R 32751 32754 30627 0 -1 4202560 3937 13034 0 0 10 1 5 3 20 0 15 0 221928799 11246329856 10691 33554432000 4194304 4196468 140735682834080 140613783078576 140613803518782 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=344] ppid=32751 vsize=10982744 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/344/stat : 344 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928800 11246329856 10691 33554432000 4194304 4196468 140735682834080 140613815524240 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=345] ppid=32751 vsize=10982744 memory=140347444018980 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/345/stat : 345 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928800 11246329856 10691 33554432000 4194304 4196468 140735682834080 140613680859920 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=346] ppid=32751 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/346/stat : 346 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928800 11246329856 10691 33554432000 4194304 4196468 140735682834080 140613679807632 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=347] ppid=32751 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/347/stat : 347 (java) S 32751 32754 30627 0 -1 1077944384 2 13034 0 0 0 0 5 3 20 0 15 0 221928800 11246329856 10691 33554432000 4194304 4196468 140735682834080 140613678754832 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=348] ppid=32751 vsize=10982744 memory=140347443988096 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/348/stat : 348 (java) S 32751 32754 30627 0 -1 1077944384 2 13034 0 0 0 0 5 3 20 0 15 0 221928801 11246329856 10691 33554432000 4194304 4196468 140735682834080 140612779923568 140613811292802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=351] ppid=32751 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/351/stat : 351 (java) S 32751 32754 30627 0 -1 1077944384 13 13034 0 0 0 0 5 3 20 0 15 0 221928801 11246329856 10691 33554432000 4194304 4196468 140735682834080 140612665860896 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=352] ppid=32751 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/352/stat : 352 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928802 11246329856 10691 33554432000 4194304 4196468 140735682834080 140612464534640 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=353] ppid=32751 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/353/stat : 353 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928804 11246329856 10691 33554432000 4194304 4196468 140735682834080 140612157134928 140613811300251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=354] ppid=32751 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32754/task/354/stat : 354 (java) S 32751 32754 30627 0 -1 1077944384 482 13034 0 0 1 0 5 3 20 0 15 0 221928804 11246329856 10691 33554432000 4194304 4196468 140735682834080 140612778871408 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=355] ppid=32751 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/355/stat : 355 (java) S 32751 32754 30627 0 -1 1077944384 127 13034 0 0 0 0 5 3 20 0 15 0 221928804 11246329856 10757 33554432000 4194304 4196468 140735682834080 140612777818608 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=356] ppid=32751 vsize=10982744 memory=140347443988096 CPUtime=0.11 cores=0,2,4,6
/proc/32754/task/356/stat : 356 (java) S 32751 32754 30627 0 -1 1077944384 625 13034 0 0 3 0 5 3 20 0 15 0 221928804 11246329856 10757 33554432000 4194304 4196468 140735682834080 140612776766320 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=357] ppid=32751 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/357/stat : 357 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928805 11246329856 10757 33554432000 4194304 4196468 140735682834080 140611726339040 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=358] ppid=32751 vsize=10982744 memory=140347443988096 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/358/stat : 358 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928805 11246329856 10757 33554432000 4194304 4196468 140735682834080 140612775713200 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42500 KiB
[startup+0.310445 s]*
/proc/loadavg: 1.57 1.63 1.63 3/220 358
/proc/meminfo: memFree=14195912/32770624 swapFree=67108688/67108860
[pid=32754] ppid=32751 vsize=10983192 memory=55316 CPUtime=0.39 cores=0,2,4,6
/proc/32754/stat : 32754 (java) S 32751 32754 30627 0 -1 1077944320 10401 13034 0 0 28 3 5 3 20 0 15 0 221928790 11246788608 13829 33554432000 4194304 4196468 140735682834080 140735682816624 140613811281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
/proc/32754/statm: 2745798 13829 3061 1 0 2708109 0
[pid=32754/tid=343] ppid=32751 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/32754/task/343/stat : 343 (java) R 32751 32754 30627 0 -1 4202560 6931 13034 0 0 19 2 5 3 20 0 15 0 221928799 11246788608 13829 33554432000 4194304 4196468 140735682834080 140613783093664 140613795362142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=344] ppid=32751 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/344/stat : 344 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928800 11246788608 13829 33554432000 4194304 4196468 140735682834080 140613815524240 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=345] ppid=32751 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/345/stat : 345 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928800 11246788608 13829 33554432000 4194304 4196468 140735682834080 140613680859920 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=346] ppid=32751 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/346/stat : 346 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928800 11246788608 13829 33554432000 4194304 4196468 140735682834080 140613679807632 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=347] ppid=32751 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/347/stat : 347 (java) S 32751 32754 30627 0 -1 1077944384 2 13034 0 0 0 0 5 3 20 0 15 0 221928800 11246788608 13829 33554432000 4194304 4196468 140735682834080 140613678754832 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=348] ppid=32751 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/348/stat : 348 (java) S 32751 32754 30627 0 -1 1077944384 2 13034 0 0 0 0 5 3 20 0 15 0 221928801 11246788608 13829 33554432000 4194304 4196468 140735682834080 140612779923568 140613811292802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=351] ppid=32751 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/351/stat : 351 (java) S 32751 32754 30627 0 -1 1077944384 13 13034 0 0 0 0 5 3 20 0 15 0 221928801 11246788608 13829 33554432000 4194304 4196468 140735682834080 140612665860896 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=352] ppid=32751 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/352/stat : 352 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928802 11246788608 13829 33554432000 4194304 4196468 140735682834080 140612464534640 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=353] ppid=32751 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/353/stat : 353 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928804 11246788608 13829 33554432000 4194304 4196468 140735682834080 140612157134928 140613811300251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=354] ppid=32751 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/32754/task/354/stat : 354 (java) S 32751 32754 30627 0 -1 1077944384 483 13034 0 0 1 0 5 3 20 0 15 0 221928804 11246788608 13829 33554432000 4194304 4196468 140735682834080 140612778871408 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=355] ppid=32751 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/32754/task/355/stat : 355 (java) S 32751 32754 30627 0 -1 1077944384 127 13034 0 0 1 0 5 3 20 0 15 0 221928804 11246788608 13829 33554432000 4194304 4196468 140735682834080 140612777818608 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=356] ppid=32751 vsize=10983192 memory=140347443988096 CPUtime=0.13 cores=0,2,4,6
/proc/32754/task/356/stat : 356 (java) S 32751 32754 30627 0 -1 1077944384 644 13034 0 0 5 0 5 3 20 0 15 0 221928804 11246788608 13829 33554432000 4194304 4196468 140735682834080 140612776766320 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=357] ppid=32751 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/357/stat : 357 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928805 11246788608 13829 33554432000 4194304 4196468 140735682834080 140611726339040 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=358] ppid=32751 vsize=10983192 memory=140347443988096 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/358/stat : 358 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928805 11246788608 13829 33554432000 4194304 4196468 140735682834080 140612775713200 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55316 KiB
[startup+0.70081 s]
/proc/loadavg: 1.57 1.63 1.63 3/220 358
/proc/meminfo: memFree=14184732/32770624 swapFree=67108688/67108860
[pid=32754] ppid=32751 vsize=10983192 memory=88456 CPUtime=1 cores=0,2,4,6
/proc/32754/stat : 32754 (java) S 32751 32754 30627 0 -1 1077944320 16758 13034 0 0 87 5 5 3 20 0 15 0 221928790 11246788608 22114 33554432000 4194304 4196468 140735682834080 140735682816624 140613811281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
/proc/32754/statm: 2745798 22114 3238 1 0 2708109 0
[pid=32754/tid=343] ppid=32751 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/32754/task/343/stat : 343 (java) R 32751 32754 30627 0 -1 4202560 12211 13034 0 0 55 3 5 3 20 0 15 0 221928799 11246788608 22114 33554432000 4194304 4196468 140735682834080 140613783101944 140613795362142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=344] ppid=32751 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/344/stat : 344 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928800 11246788608 22114 33554432000 4194304 4196468 140735682834080 140613815524240 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=345] ppid=32751 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/345/stat : 345 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928800 11246788608 22114 33554432000 4194304 4196468 140735682834080 140613680859920 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=346] ppid=32751 vsize=10983192 memory=140347317564176 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/346/stat : 346 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928800 11246788608 22114 33554432000 4194304 4196468 140735682834080 140613679807632 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=347] ppid=32751 vsize=10983192 memory=140350941299311 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/347/stat : 347 (java) S 32751 32754 30627 0 -1 1077944384 2 13034 0 0 0 0 5 3 20 0 15 0 221928800 11246788608 22114 33554432000 4194304 4196468 140735682834080 140613678754832 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=348] ppid=32751 vsize=10983192 memory=1832 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/348/stat : 348 (java) S 32751 32754 30627 0 -1 1077944384 5 13034 0 0 0 0 5 3 20 0 15 0 221928801 11246788608 22114 33554432000 4194304 4196468 140735682834080 140612779923568 140613811292802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=351] ppid=32751 vsize=10983192 memory=7161944214934349376 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/351/stat : 351 (java) S 32751 32754 30627 0 -1 1077944384 13 13034 0 0 0 0 5 3 20 0 15 0 221928801 11246788608 22114 33554432000 4194304 4196468 140735682834080 140612665860896 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=352] ppid=32751 vsize=10983192 memory=6082220498227391592 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/352/stat : 352 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928802 11246788608 22114 33554432000 4194304 4196468 140735682834080 140612464534640 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=353] ppid=32751 vsize=10983192 memory=16348 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/353/stat : 353 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928804 11246788608 22114 33554432000 4194304 4196468 140735682834080 140612157134928 140613811300251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=354] ppid=32751 vsize=10983192 memory=1176 CPUtime=0.14 cores=0,2,4,6
/proc/32754/task/354/stat : 354 (java) S 32751 32754 30627 0 -1 1077944384 832 13034 0 0 6 0 5 3 20 0 15 0 221928804 11246788608 22114 33554432000 4194304 4196468 140735682834080 140612778871408 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=355] ppid=32751 vsize=10983192 memory=33328 CPUtime=0.18 cores=0,2,4,6
/proc/32754/task/355/stat : 355 (java) S 32751 32754 30627 0 -1 1077944384 752 13034 0 0 10 0 5 3 20 0 15 0 221928804 11246788608 22114 33554432000 4194304 4196468 140735682834080 140612777818608 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=356] ppid=32751 vsize=10983192 memory=4048 CPUtime=0.21 cores=0,2,4,6
/proc/32754/task/356/stat : 356 (java) S 32751 32754 30627 0 -1 1077944384 740 13034 0 0 13 0 5 3 20 0 15 0 221928804 11246788608 22114 33554432000 4194304 4196468 140735682834080 140612776766320 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=357] ppid=32751 vsize=10983192 memory=508 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/357/stat : 357 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928805 11246788608 22114 33554432000 4194304 4196468 140735682834080 140611726339040 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=358] ppid=32751 vsize=10983192 memory=1728 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/358/stat : 358 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928805 11246788608 22114 33554432000 4194304 4196468 140735682834080 140612775713200 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88456 KiB
[startup+1.5015 s]
/proc/loadavg: 1.52 1.62 1.63 3/220 358
/proc/meminfo: memFree=14140424/32770624 swapFree=67108688/67108860
[pid=32754] ppid=32751 vsize=10993996 memory=172244 CPUtime=3.18 cores=0,2,4,6
/proc/32754/stat : 32754 (java) S 32751 32754 30627 0 -1 1077944320 25220 13034 0 0 301 9 5 3 20 0 15 0 221928790 11257851904 43061 33554432000 4194304 4196468 140735682834080 140735682816624 140613811281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
/proc/32754/statm: 2748499 43061 3447 1 0 2710157 0
[pid=32754/tid=343] ppid=32751 vsize=10993996 memory=65132 CPUtime=1.46 cores=0,2,4,6
/proc/32754/task/343/stat : 343 (java) R 32751 32754 30627 0 -1 4202560 15773 13034 0 0 132 6 5 3 20 0 15 0 221928799 11257851904 43061 33554432000 4194304 4196468 140735682834080 140613783114272 140613795325285 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=344] ppid=32751 vsize=10993996 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/344/stat : 344 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928800 11257851904 43061 33554432000 4194304 4196468 140735682834080 140613815524240 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=345] ppid=32751 vsize=10993996 memory=280694635159712 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/345/stat : 345 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928800 11257851904 43061 33554432000 4194304 4196468 140735682834080 140613680859920 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=346] ppid=32751 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/346/stat : 346 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928800 11257851904 43061 33554432000 4194304 4196468 140735682834080 140613679807632 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=347] ppid=32751 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/347/stat : 347 (java) S 32751 32754 30627 0 -1 1077944384 2 13034 0 0 0 0 5 3 20 0 15 0 221928800 11257851904 43061 33554432000 4194304 4196468 140735682834080 140613678754832 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=348] ppid=32751 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/348/stat : 348 (java) S 32751 32754 30627 0 -1 1077944384 13 13034 0 0 0 0 5 3 20 0 15 0 221928801 11257851904 43061 33554432000 4194304 4196468 140735682834080 140612779923568 140613811292802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=351] ppid=32751 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/351/stat : 351 (java) S 32751 32754 30627 0 -1 1077944384 13 13034 0 0 0 0 5 3 20 0 15 0 221928801 11257851904 43061 33554432000 4194304 4196468 140735682834080 140612665860896 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=352] ppid=32751 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/352/stat : 352 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928802 11257851904 43061 33554432000 4194304 4196468 140735682834080 140612464534640 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=353] ppid=32751 vsize=10993996 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/353/stat : 353 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928804 11257851904 43061 33554432000 4194304 4196468 140735682834080 140612157134928 140613811300251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=354] ppid=32751 vsize=10993996 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/32754/task/354/stat : 354 (java) R 32751 32754 30627 0 -1 4202560 3019 13034 0 0 55 1 5 3 20 0 15 0 221928804 11257851904 43061 33554432000 4194304 4196468 140735682834080 140612778857288 140613790537485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=355] ppid=32751 vsize=10993996 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/32754/task/355/stat : 355 (java) R 32751 32754 30627 0 -1 4202560 2365 13034 0 0 63 0 5 3 20 0 15 0 221928804 11257851904 43061 33554432000 4194304 4196468 140735682834080 140612777805136 140613792457553 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=356] ppid=32751 vsize=10993996 memory=6791534058613427641 CPUtime=0.57 cores=0,2,4,6
/proc/32754/task/356/stat : 356 (java) R 32751 32754 30627 0 -1 4202560 1832 13034 0 0 49 0 5 3 20 0 15 0 221928804 11257851904 43061 33554432000 4194304 4196468 140735682834080 140612776766320 140613811303002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=357] ppid=32751 vsize=10993996 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/357/stat : 357 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928805 11257851904 43061 33554432000 4194304 4196468 140735682834080 140611726339040 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=358] ppid=32751 vsize=10993996 memory=280694635404160 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/358/stat : 358 (java) S 32751 32754 30627 0 -1 1077944384 1 13034 0 0 0 0 5 3 20 0 15 0 221928805 11257851904 43061 33554432000 4194304 4196468 140735682834080 140612775713200 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/32754/task/343/stat : 343 (java) R 32751 32754 30627 0 -1 4202560 256634 13034 0 0 222411 55 5 3 20 0 15 0 221928799 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140613783114592 140613362549219 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=344] ppid=32751 vsize=11016544 memory=280694635648128 CPUtime=36.55 cores=0,2,4,6
/proc/32754/task/344/stat : 344 (java) S 32751 32754 30627 0 -1 1077944384 51310 13034 0 0 3520 127 5 3 20 0 15 0 221928800 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140613815524240 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=345] ppid=32751 vsize=11016544 memory=6092712 CPUtime=36.39 cores=0,2,4,6
/proc/32754/task/345/stat : 345 (java) S 32751 32754 30627 0 -1 1077944384 53314 13034 0 0 3507 124 5 3 20 0 15 0 221928800 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140613680859920 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=346] ppid=32751 vsize=11016544 memory=756 CPUtime=36.43 cores=0,2,4,6
/proc/32754/task/346/stat : 346 (java) S 32751 32754 30627 0 -1 1077944384 52197 13034 0 0 3511 124 5 3 20 0 15 0 221928800 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140613679807632 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=347] ppid=32751 vsize=11016544 memory=6092712 CPUtime=36.56 cores=0,2,4,6
/proc/32754/task/347/stat : 347 (java) S 32751 32754 30627 0 -1 1077944384 55363 13034 0 0 3523 125 5 3 20 0 15 0 221928800 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140613678754832 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=348] ppid=32751 vsize=11016544 memory=6092712 CPUtime=0.85 cores=0,2,4,6
/proc/32754/task/348/stat : 348 (java) S 32751 32754 30627 0 -1 1077944384 71044 13034 0 0 69 8 5 3 20 0 15 0 221928801 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140612779923568 140613811292802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=351] ppid=32751 vsize=11016544 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/351/stat : 351 (java) S 32751 32754 30627 0 -1 1077944384 14 13034 0 0 0 0 5 3 20 0 15 0 221928801 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140612665860960 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=352] ppid=32751 vsize=11016544 memory=288230591722422566 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/352/stat : 352 (java) S 32751 32754 30627 0 -1 1077944384 5 13034 0 0 0 0 5 3 20 0 15 0 221928802 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140612464534656 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=353] ppid=32751 vsize=11016544 memory=288284476449250863 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/353/stat : 353 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928804 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140612157134928 140613811300251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=354] ppid=32751 vsize=11016544 memory=1241035 CPUtime=15.37 cores=0,2,4,6
/proc/32754/task/354/stat : 354 (java) S 32751 32754 30627 0 -1 1077944384 117042 13034 0 0 1518 11 5 3 20 0 15 0 221928804 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140612778871408 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=355] ppid=32751 vsize=11016544 memory=6092712 CPUtime=15.21 cores=0,2,4,6
/proc/32754/task/355/stat : 355 (java) S 32751 32754 30627 0 -1 1077944384 97121 13034 0 0 1503 10 5 3 20 0 15 0 221928804 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140612777818608 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=356] ppid=32751 vsize=11016544 memory=2316 CPUtime=5.17 cores=0,2,4,6
/proc/32754/task/356/stat : 356 (java) S 32751 32754 30627 0 -1 1077944384 105573 13034 0 0 497 12 5 3 20 0 15 0 221928804 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140612776766320 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=357] ppid=32751 vsize=11016544 memory=1224 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/357/stat : 357 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928805 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140611726339040 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=358] ppid=32751 vsize=11016544 memory=15196 CPUtime=1.35 cores=0,2,4,6
/proc/32754/task/358/stat : 358 (java) S 32751 32754 30627 0 -1 1077944384 2249 13034 0 0 62 65 5 3 20 0 15 0 221928805 11280941056 1523178 33554432000 4194304 4196468 140735682834080 140612775713200 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
Current children cumulated CPU time: 2407.99 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 6092712 KiB
[startup+2322.3 s]
/proc/loadavg: 1.69 1.73 1.77 3/220 730
/proc/meminfo: memFree=8975308/32770624 swapFree=67108688/67108860
[pid=32754] ppid=32751 vsize=11016544 memory=6092704 CPUtime=2468.21 cores=0,2,4,6
/proc/32754/stat : 32754 (java) S 32751 32754 30627 0 -1 1077944320 877208 13034 0 0 246163 650 5 3 20 0 15 0 221928790 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140735682816624 140613811281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
/proc/32754/statm: 2754136 1523176 3539 1 0 2715789 0
[pid=32754/tid=343] ppid=32751 vsize=11016544 memory=2856 CPUtime=2284.67 cores=0,2,4,6
/proc/32754/task/343/stat : 343 (java) R 32751 32754 30627 0 -1 4202560 262747 13034 0 0 228404 55 5 3 20 0 15 0 221928799 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140613783116144 140613364186438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=344] ppid=32751 vsize=11016544 memory=3824 CPUtime=36.62 cores=0,2,4,6
/proc/32754/task/344/stat : 344 (java) S 32751 32754 30627 0 -1 1077944384 54357 13034 0 0 3526 128 5 3 20 0 15 0 221928800 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140613815524240 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=345] ppid=32751 vsize=11016544 memory=6092704 CPUtime=36.45 cores=0,2,4,6
/proc/32754/task/345/stat : 345 (java) S 32751 32754 30627 0 -1 1077944384 54080 13034 0 0 3513 124 5 3 20 0 15 0 221928800 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140613680859920 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=346] ppid=32751 vsize=11016544 memory=1564 CPUtime=36.49 cores=0,2,4,6
/proc/32754/task/346/stat : 346 (java) S 32751 32754 30627 0 -1 1077944384 53680 13034 0 0 3517 124 5 3 20 0 15 0 221928800 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140613679807632 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=347] ppid=32751 vsize=11016544 memory=60508 CPUtime=36.62 cores=0,2,4,6
/proc/32754/task/347/stat : 347 (java) S 32751 32754 30627 0 -1 1077944384 56665 13034 0 0 3529 125 5 3 20 0 15 0 221928800 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140613678754832 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=348] ppid=32751 vsize=11016544 memory=6092704 CPUtime=0.86 cores=0,2,4,6
/proc/32754/task/348/stat : 348 (java) S 32751 32754 30627 0 -1 1077944384 71416 13034 0 0 70 8 5 3 20 0 15 0 221928801 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140612779923568 140613811292802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=351] ppid=32751 vsize=11016544 memory=6092708 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/351/stat : 351 (java) S 32751 32754 30627 0 -1 1077944384 14 13034 0 0 0 0 5 3 20 0 15 0 221928801 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140612665860960 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=352] ppid=32751 vsize=11016544 memory=6092704 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/352/stat : 352 (java) S 32751 32754 30627 0 -1 1077944384 5 13034 0 0 0 0 5 3 20 0 15 0 221928802 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140612464534656 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=353] ppid=32751 vsize=11016544 memory=5344 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/353/stat : 353 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928804 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140612157134928 140613811300251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=354] ppid=32751 vsize=11016544 memory=6092704 CPUtime=15.37 cores=0,2,4,6
/proc/32754/task/354/stat : 354 (java) S 32751 32754 30627 0 -1 1077944384 117046 13034 0 0 1518 11 5 3 20 0 15 0 221928804 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140612778871408 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=355] ppid=32751 vsize=11016544 memory=6092708 CPUtime=15.21 cores=0,2,4,6
/proc/32754/task/355/stat : 355 (java) S 32751 32754 30627 0 -1 1077944384 97126 13034 0 0 1503 10 5 3 20 0 15 0 221928804 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140612777818608 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=356] ppid=32751 vsize=11016544 memory=6092708 CPUtime=5.17 cores=0,2,4,6
/proc/32754/task/356/stat : 356 (java) S 32751 32754 30627 0 -1 1077944384 105578 13034 0 0 497 12 5 3 20 0 15 0 221928804 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140612776766320 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=357] ppid=32751 vsize=11016544 memory=6092704 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/357/stat : 357 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928805 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140611726339040 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=358] ppid=32751 vsize=11016544 memory=1792 CPUtime=1.38 cores=0,2,4,6
/proc/32754/task/358/stat : 358 (java) S 32751 32754 30627 0 -1 1077944384 2296 13034 0 0 63 67 5 3 20 0 15 0 221928805 11280941056 1523176 33554432000 4194304 4196468 140735682834080 140612775713200 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
Current children cumulated CPU time: 2468.21 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 6092704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2373.9 s]
/proc/loadavg: 1.82 1.76 1.77 3/221 732
/proc/meminfo: memFree=8893000/32770624 swapFree=67108688/67108860
[pid=32754] ppid=32751 vsize=11016544 memory=6092692 CPUtime=2520 cores=0,2,4,6
/proc/32754/stat : 32754 (java) S 32751 32754 30627 0 -1 1077944320 889120 13034 0 0 251340 652 5 3 20 0 15 0 221928790 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140735682816624 140613811281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
/proc/32754/statm: 2754136 1523173 3539 1 0 2715789 0
[pid=32754/tid=343] ppid=32751 vsize=11016544 memory=6092692 CPUtime=2336.21 cores=0,2,4,6
/proc/32754/task/343/stat : 343 (java) R 32751 32754 30627 0 -1 4202560 267475 13034 0 0 233557 56 5 3 20 0 15 0 221928799 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140613783115776 140613381202251 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=344] ppid=32751 vsize=11016544 memory=6092696 CPUtime=36.67 cores=0,2,4,6
/proc/32754/task/344/stat : 344 (java) S 32751 32754 30627 0 -1 1077944384 55821 13034 0 0 3531 128 5 3 20 0 15 0 221928800 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140613815524240 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=345] ppid=32751 vsize=11016544 memory=6092696 CPUtime=36.5 cores=0,2,4,6
/proc/32754/task/345/stat : 345 (java) S 32751 32754 30627 0 -1 1077944384 57143 13034 0 0 3518 124 5 3 20 0 15 0 221928800 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140613680859920 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=346] ppid=32751 vsize=11016544 memory=6092696 CPUtime=36.54 cores=0,2,4,6
/proc/32754/task/346/stat : 346 (java) S 32751 32754 30627 0 -1 1077944384 54471 13034 0 0 3522 124 5 3 20 0 15 0 221928800 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140613679807632 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=347] ppid=32751 vsize=11016544 memory=54 CPUtime=36.67 cores=0,2,4,6
/proc/32754/task/347/stat : 347 (java) S 32751 32754 30627 0 -1 1077944384 58149 13034 0 0 3534 125 5 3 20 0 15 0 221928800 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140613678754832 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=348] ppid=32751 vsize=11016544 memory=6092696 CPUtime=0.87 cores=0,2,4,6
/proc/32754/task/348/stat : 348 (java) S 32751 32754 30627 0 -1 1077944384 71790 13034 0 0 71 8 5 3 20 0 15 0 221928801 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612779923568 140613811292802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=351] ppid=32751 vsize=11016544 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/351/stat : 351 (java) S 32751 32754 30627 0 -1 1077944384 14 13034 0 0 0 0 5 3 20 0 15 0 221928801 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612665860960 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=352] ppid=32751 vsize=11016544 memory=6092716 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/352/stat : 352 (java) S 32751 32754 30627 0 -1 1077944384 5 13034 0 0 0 0 5 3 20 0 15 0 221928802 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612464534656 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=353] ppid=32751 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/353/stat : 353 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928804 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612157134928 140613811300251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=354] ppid=32751 vsize=11016544 memory=164 CPUtime=15.37 cores=0,2,4,6
/proc/32754/task/354/stat : 354 (java) S 32751 32754 30627 0 -1 1077944384 117046 13034 0 0 1518 11 5 3 20 0 15 0 221928804 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612778871408 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=355] ppid=32751 vsize=11016544 memory=6092696 CPUtime=15.21 cores=0,2,4,6
/proc/32754/task/355/stat : 355 (java) S 32751 32754 30627 0 -1 1077944384 97127 13034 0 0 1503 10 5 3 20 0 15 0 221928804 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612777818608 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=356] ppid=32751 vsize=11016544 memory=3824 CPUtime=5.17 cores=0,2,4,6
/proc/32754/task/356/stat : 356 (java) S 32751 32754 30627 0 -1 1077944384 105579 13034 0 0 497 12 5 3 20 0 15 0 221928804 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612776766320 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=357] ppid=32751 vsize=11016544 memory=2316 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/357/stat : 357 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928805 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140611726339040 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=358] ppid=32751 vsize=11016544 memory=6092696 CPUtime=1.41 cores=0,2,4,6
/proc/32754/task/358/stat : 358 (java) S 32751 32754 30627 0 -1 1077944384 2302 13034 0 0 65 68 5 3 20 0 15 0 221928805 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612775713200 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 6092692 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2373.96 s]
# the end of solver process 32754 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.47 s, system=6.59657 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2373.9 s]
/proc/loadavg: 1.82 1.76 1.77 3/221 732
/proc/meminfo: memFree=8893000/32770624 swapFree=67108688/67108860
[pid=32754] ppid=32751 vsize=11016544 memory=6092692 CPUtime=2520 cores=0,2,4,6
/proc/32754/stat : 32754 (java) S 32751 32754 30627 0 -1 1077944320 889120 13034 0 0 251340 652 5 3 20 0 15 0 221928790 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140735682816624 140613811281655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
/proc/32754/statm: 2754136 1523173 3539 1 0 2715789 0
[pid=32754/tid=343] ppid=32751 vsize=11016544 memory=6092692 CPUtime=2336.21 cores=0,2,4,6
/proc/32754/task/343/stat : 343 (java) R 32751 32754 30627 0 -1 4202560 267475 13034 0 0 233557 56 5 3 20 0 15 0 221928799 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140613783115776 140613381202251 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=344] ppid=32751 vsize=11016544 memory=6092696 CPUtime=36.67 cores=0,2,4,6
/proc/32754/task/344/stat : 344 (java) S 32751 32754 30627 0 -1 1077944384 55821 13034 0 0 3531 128 5 3 20 0 15 0 221928800 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140613815524240 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=345] ppid=32751 vsize=11016544 memory=6092696 CPUtime=36.5 cores=0,2,4,6
/proc/32754/task/345/stat : 345 (java) S 32751 32754 30627 0 -1 1077944384 57143 13034 0 0 3518 124 5 3 20 0 15 0 221928800 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140613680859920 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=346] ppid=32751 vsize=11016544 memory=6092696 CPUtime=36.54 cores=0,2,4,6
/proc/32754/task/346/stat : 346 (java) S 32751 32754 30627 0 -1 1077944384 54471 13034 0 0 3522 124 5 3 20 0 15 0 221928800 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140613679807632 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=347] ppid=32751 vsize=11016544 memory=54 CPUtime=36.67 cores=0,2,4,6
/proc/32754/task/347/stat : 347 (java) S 32751 32754 30627 0 -1 1077944384 58149 13034 0 0 3534 125 5 3 20 0 15 0 221928800 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140613678754832 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=348] ppid=32751 vsize=11016544 memory=6092696 CPUtime=0.87 cores=0,2,4,6
/proc/32754/task/348/stat : 348 (java) S 32751 32754 30627 0 -1 1077944384 71790 13034 0 0 71 8 5 3 20 0 15 0 221928801 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612779923568 140613811292802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=351] ppid=32751 vsize=11016544 memory=288230574492221466 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/351/stat : 351 (java) S 32751 32754 30627 0 -1 1077944384 14 13034 0 0 0 0 5 3 20 0 15 0 221928801 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612665860960 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=352] ppid=32751 vsize=11016544 memory=6092716 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/352/stat : 352 (java) S 32751 32754 30627 0 -1 1077944384 5 13034 0 0 0 0 5 3 20 0 15 0 221928802 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612464534656 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=353] ppid=32751 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/353/stat : 353 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928804 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612157134928 140613811300251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=354] ppid=32751 vsize=11016544 memory=164 CPUtime=15.37 cores=0,2,4,6
/proc/32754/task/354/stat : 354 (java) S 32751 32754 30627 0 -1 1077944384 117046 13034 0 0 1518 11 5 3 20 0 15 0 221928804 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612778871408 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=355] ppid=32751 vsize=11016544 memory=6092696 CPUtime=15.21 cores=0,2,4,6
/proc/32754/task/355/stat : 355 (java) S 32751 32754 30627 0 -1 1077944384 97127 13034 0 0 1503 10 5 3 20 0 15 0 221928804 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612777818608 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=356] ppid=32751 vsize=11016544 memory=3824 CPUtime=5.17 cores=0,2,4,6
/proc/32754/task/356/stat : 356 (java) S 32751 32754 30627 0 -1 1077944384 105579 13034 0 0 497 12 5 3 20 0 15 0 221928804 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612776766320 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=357] ppid=32751 vsize=11016544 memory=2316 CPUtime=0.08 cores=0,2,4,6
/proc/32754/task/357/stat : 357 (java) S 32751 32754 30627 0 -1 1077944384 3 13034 0 0 0 0 5 3 20 0 15 0 221928805 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140611726339040 140613811291861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
[pid=32754/tid=358] ppid=32751 vsize=11016544 memory=6092696 CPUtime=1.41 cores=0,2,4,6
/proc/32754/task/358/stat : 358 (java) S 32751 32754 30627 0 -1 1077944384 2302 13034 0 0 65 68 5 3 20 0 15 0 221928805 11280941056 1523173 33554432000 4194304 4196468 140735682834080 140612775713200 140613811292802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20017152 140735682841187 140735682843996 140735682843996 140735682846671 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 6092692 KiB
Child status: 143
Real time (s): 2373.96
CPU time (s): 2520.07
CPU user time (s): 2513.47
CPU system time (s): 6.59657
CPU usage (%): 106.155
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 6092728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.47
system time used= 6.59657
maximum resident set size= 6096924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 906929
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72945
involuntary context switches= 4398
# summary of solver processes directly reported to runsolver:
# pid: 32754
# total CPU time (s): 2520.07
# total CPU user time (s): 2513.47
# total CPU system time (s): 6.59657
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.952 second user time and 22.4732 second system time
The end
Begin job on node134 at 2018-08-12 05:14:16 IDJOB=4304168 IDBENCH=141047 IDSOLVER=2781 FILE ID=node134/4304168-1534043656 RUNJOBID= node134-1534038702-32058 PBS_JOBID= 21036961 Free space on /tmp= 42288 MiB SOLVER NAME= Concrete 3.9.2-SuperNG BENCH NAME= XCSP18/NurseRostering/NurseRostering-09_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304168-1534043656/watcher-4304168-1534043656 -o /tmp/evaluation-result-4304168-1534043656/solver-4304168-1534043656 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534038702-32058 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1332377158 -superng HOME/instance-4304168-1534043656.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 01a28a521b9bba3b9351b91d9c8d3e2f RANDOM SEED=1332377158 node134.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.68 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.68 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.68 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.68 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: 14236716 kB MemAvailable: 27863036 kB Buffers: 180100 kB Cached: 13594060 kB SwapCached: 52 kB Active: 8539708 kB Inactive: 9321772 kB Active(anon): 4036692 kB Inactive(anon): 103128 kB Active(file): 4503016 kB Inactive(file): 9218644 kB Unevictable: 7392 kB Mlocked: 7392 kB SwapTotal: 67108860 kB SwapFree: 67108688 kB Dirty: 26652 kB Writeback: 0 kB AnonPages: 4094900 kB Mapped: 67032 kB Shmem: 49652 kB Slab: 361560 kB SReclaimable: 333120 kB SUnreclaim: 28440 kB KernelStack: 3568 kB PageTables: 13272 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5372096 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3848192 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= 42260 MiB End job on node134 at 2018-08-12 05:53:50