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 | SAT (TO) | 6458 | 252.158 | 227.453 |
| 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 | 2850 |
| Best CPU time to get the best result obtained on this benchmark | 252.092 |
| 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 |
0.99/0.75 c Concrete v3.9.2.1532736233296 running 14.75/5.86 c 21:53:24.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13924. 'extension(4, x[1][22]=[0‥4]) :: init: true :: relation: MDD 1939282277, 9 edges, 5 vertices, 6 tuples 14.75/5.86 c 21:53:24.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13948. 'extension(4, x[1][27]=[0‥4]) :: init: true :: relation: MDD 1562251195, 9 edges, 5 vertices, 6 tuples 14.75/5.86 c 21:53:24.372 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13972. 'extension(4, x[1][35]=[0‥4]) :: init: true :: relation: MDD 327853004, 9 edges, 5 vertices, 6 tuples 14.75/5.87 c 21:53:24.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13996. 'extension(x[0][10]=[0‥4], 4) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples 14.75/5.87 c 21:53:24.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 13997. 'extension(4, x[2][10]=[0‥4]) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples 14.75/5.87 c 21:53:24.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14025. 'extension(x[0][31]=[0‥4], 4) :: init: true :: relation: MDD 518290846, 9 edges, 5 vertices, 6 tuples 14.75/5.87 c 21:53:24.378 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14053. 'extension(x[0][32]=[0‥4], 4) :: init: true :: relation: MDD 1504154691, 9 edges, 5 vertices, 6 tuples 14.75/5.87 c 21:53:24.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14081. 'extension(x[1][6]=[0‥4], 4) :: init: true :: relation: MDD 441451873, 9 edges, 5 vertices, 6 tuples 14.75/5.87 c 21:53:24.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14112. 'extension(x[1][27]=[0‥4], 4) :: init: true :: relation: MDD 1562251195, 9 edges, 5 vertices, 6 tuples 14.75/5.87 c 21:53:24.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14113. 'extension(4, x[3][27]=[0‥4]) :: init: true :: relation: MDD 1562251195, 9 edges, 5 vertices, 6 tuples 14.75/5.87 c 21:53:24.383 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14141. 'extension(4, x[3][31]=[0‥4]) :: init: true :: relation: MDD 518290846, 9 edges, 5 vertices, 6 tuples 14.75/5.88 c 21:53:24.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14144. 'extension(4, 4) :: init: true :: relation: MDD 518290846, 9 edges, 5 vertices, 6 tuples 14.75/5.88 c 21:53:24.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14170. 'extension(4, x[3][32]=[0‥4]) :: init: true :: relation: MDD 1504154691, 9 edges, 5 vertices, 6 tuples 14.75/5.88 c 21:53:24.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14173. 'extension(4, 4) :: init: true :: relation: MDD 1504154691, 9 edges, 5 vertices, 6 tuples 14.75/5.88 c 21:53:24.388 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14199. 'extension(4, x[4][6]=[0‥4]) :: init: true :: relation: MDD 441451873, 9 edges, 5 vertices, 6 tuples 14.75/5.89 c 21:53:24.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14202. 'extension(4, 4) :: init: true :: relation: MDD 441451873, 9 edges, 5 vertices, 6 tuples 14.75/5.89 c 21:53:24.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14231. 'extension(x[2][9]=[0‥4], 4) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples 14.75/5.89 c 21:53:24.392 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14232. 'extension(4, x[4][9]=[0‥4]) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples 14.75/5.89 c 21:53:24.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14263. 'extension(x[2][18]=[0‥4], 4) :: init: true :: relation: MDD 1977776214, 9 edges, 5 vertices, 6 tuples 14.75/5.89 c 21:53:24.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14294. 'extension(x[2][20]=[0‥4], 4) :: init: true :: relation: MDD 2078992278, 9 edges, 5 vertices, 6 tuples 14.75/5.89 c 21:53:24.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14295. 'extension(4, x[4][20]=[0‥4]) :: init: true :: relation: MDD 2078992278, 9 edges, 5 vertices, 6 tuples 14.75/5.89 c 21:53:24.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14325. 'extension(4, x[5][18]=[0‥4]) :: init: true :: relation: MDD 1977776214, 9 edges, 5 vertices, 6 tuples 14.75/5.89 c 21:53:24.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14328. 'extension(4, 4) :: init: true :: relation: MDD 1977776214, 9 edges, 5 vertices, 6 tuples 14.75/5.89 c 21:53:24.402 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14357. 'extension(4, wk[26][0]=[0‥1]) :: init: true :: relation: MDD 1674938191, 5 edges, 3 vertices, 4 tuples 14.75/5.89 c 21:53:24.402 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14358. 'extension(x[4][26]=[0‥4], 4) :: init: true :: relation: MDD 1914285129, 9 edges, 5 vertices, 6 tuples 14.75/5.89 c 21:53:24.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14390. 'extension(4, wk[33][0]=[0‥1]) :: init: true :: relation: MDD 2078396010, 5 edges, 3 vertices, 4 tuples 15.08/5.90 c 21:53:24.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14391. 'extension(x[4][33]=[0‥4], 4) :: init: true :: relation: MDD 45320991, 9 edges, 5 vertices, 6 tuples 15.08/5.90 c 21:53:24.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14423. 'extension(4, wk[11][0]=[0‥1]) :: init: true :: relation: MDD 1742633625, 5 edges, 3 vertices, 4 tuples 15.08/5.90 c 21:53:24.406 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14424. 'extension(x[5][11]=[0‥4], 4) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples 15.08/5.90 c 21:53:24.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14458. 'extension(4, wk[26][0]=[0‥1]) :: init: true :: relation: MDD 1501888239, 5 edges, 3 vertices, 4 tuples 15.08/5.90 c 21:53:24.407 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14459. 'extension(4, x[7][26]=[0‥4]) :: init: true :: relation: MDD 1914285129, 9 edges, 5 vertices, 6 tuples 15.08/5.90 c 21:53:24.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14462. 'extension(4, 4) :: init: true :: relation: MDD 1914285129, 9 edges, 5 vertices, 6 tuples 15.08/5.90 c 21:53:24.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14491. 'extension(4, wk[33][0]=[0‥1]) :: init: true :: relation: MDD 1841945133, 5 edges, 3 vertices, 4 tuples 15.08/5.90 c 21:53:24.410 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14492. 'extension(4, x[7][33]=[0‥4]) :: init: true :: relation: MDD 45320991, 9 edges, 5 vertices, 6 tuples 15.08/5.90 c 21:53:24.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14495. 'extension(4, 4) :: init: true :: relation: MDD 45320991, 9 edges, 5 vertices, 6 tuples 15.08/5.90 c 21:53:24.413 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14524. 'extension(4, x[8][11]=[0‥4]) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples 15.08/5.91 c 21:53:24.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14527. 'extension(4, 4) :: init: true :: relation: MDD 828831332, 9 edges, 5 vertices, 6 tuples 15.08/5.91 c 21:53:24.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14558. 'extension(x[6][15]=[0‥4], 4) :: init: true :: relation: MDD 1920147706, 9 edges, 5 vertices, 6 tuples 15.08/5.91 c 21:53:24.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14559. 'extension(4, x[8][15]=[0‥4]) :: init: true :: relation: MDD 1920147706, 9 edges, 5 vertices, 6 tuples 15.08/5.91 c 21:53:24.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14592. 'extension(x[6][25]=[0‥4], 4) :: init: true :: relation: MDD 318020776, 9 edges, 5 vertices, 6 tuples 15.08/5.91 c 21:53:24.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14625. 'extension(x[6][28]=[0‥4], 4) :: init: true :: relation: MDD 309790180, 9 edges, 5 vertices, 6 tuples 15.08/5.91 c 21:53:24.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14626. 'extension(4, x[8][28]=[0‥4]) :: init: true :: relation: MDD 309790180, 9 edges, 5 vertices, 6 tuples 15.08/5.91 c 21:53:24.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14657. 'extension(x[7][8]=[0‥4], 4) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples 15.08/5.91 c 21:53:24.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14658. 'extension(4, x[9][8]=[0‥4]) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples 15.08/5.92 c 21:53:24.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14691. 'extension(4, x[9][25]=[0‥4]) :: init: true :: relation: MDD 318020776, 9 edges, 5 vertices, 6 tuples 15.08/5.92 c 21:53:24.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14694. 'extension(4, 4) :: init: true :: relation: MDD 318020776, 9 edges, 5 vertices, 6 tuples 15.08/5.92 c 21:53:24.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14724. 'extension(x[8][1]=[0‥4], 4) :: init: true :: relation: MDD 295372946, 9 edges, 5 vertices, 6 tuples 15.08/5.92 c 21:53:24.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14758. 'extension(4, x[11][1]=[0‥4]) :: init: true :: relation: MDD 295372946, 9 edges, 5 vertices, 6 tuples 15.08/5.92 c 21:53:24.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14761. 'extension(4, 4) :: init: true :: relation: MDD 295372946, 9 edges, 5 vertices, 6 tuples 15.08/5.92 c 21:53:24.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14792. 'extension(x[9][35]=[0‥4], 4) :: init: true :: relation: MDD 327853004, 9 edges, 5 vertices, 6 tuples 15.08/5.93 c 21:53:24.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14793. 'extension(4, x[11][35]=[0‥4]) :: init: true :: relation: MDD 327853004, 9 edges, 5 vertices, 6 tuples 15.08/5.93 c 21:53:24.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14824. 'extension(x[10][14]=[0‥4], 4) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples 15.08/5.93 c 21:53:24.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14858. 'extension(x[10][24]=[0‥4], 4) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples 15.08/5.93 c 21:53:24.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14891. 'extension(4, wk[14][1]=[0‥1]) :: init: true :: relation: MDD 1643565953, 5 edges, 3 vertices, 4 tuples 15.08/5.93 c 21:53:24.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14892. 'extension(4, x[13][14]=[0‥4]) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples 15.08/5.93 c 21:53:24.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14895. 'extension(4, 4) :: init: true :: relation: MDD 2100487956, 9 edges, 5 vertices, 6 tuples 15.08/5.93 c 21:53:24.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14926. 'extension(4, wk[15][1]=[0‥1]) :: init: true :: relation: MDD 2121443020, 5 edges, 3 vertices, 4 tuples 15.08/5.93 c 21:53:24.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14927. 'extension(x[11][15]=[0‥4], 4) :: init: true :: relation: MDD 1920147706, 9 edges, 5 vertices, 6 tuples 15.08/5.93 c 21:53:24.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14928. 'extension(4, x[13][15]=[0‥4]) :: init: true :: relation: MDD 1920147706, 9 edges, 5 vertices, 6 tuples 15.08/5.94 c 21:53:24.444 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14961. 'extension(4, wk[24][1]=[0‥1]) :: init: true :: relation: MDD 789502290, 5 edges, 3 vertices, 4 tuples 15.08/5.94 c 21:53:24.445 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14962. 'extension(4, x[13][24]=[0‥4]) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples 15.08/5.94 c 21:53:24.445 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14965. 'extension(4, 4) :: init: true :: relation: MDD 907721985, 9 edges, 5 vertices, 6 tuples 15.08/5.94 c 21:53:24.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14995. 'extension(4, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 662000775, 5 edges, 3 vertices, 4 tuples 15.08/5.94 c 21:53:24.448 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 14996. 'extension(x[12][3]=[0‥4], 4) :: init: true :: relation: MDD 722321959, 9 edges, 5 vertices, 6 tuples 15.08/5.94 c 21:53:24.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15030. 'extension(4, wk[30][1]=[0‥1]) :: init: true :: relation: MDD 1874919946, 5 edges, 3 vertices, 4 tuples 15.08/5.94 c 21:53:24.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15031. 'extension(x[12][30]=[0‥4], 4) :: init: true :: relation: MDD 1089691218, 9 edges, 5 vertices, 6 tuples 15.08/5.94 c 21:53:24.450 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15063. 'extension(4, wk[34][1]=[0‥1]) :: init: true :: relation: MDD 1764604500, 5 edges, 3 vertices, 4 tuples 15.08/5.94 c 21:53:24.450 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15064. 'extension(x[12][34]=[0‥4], 4) :: init: true :: relation: MDD 805561728, 9 edges, 5 vertices, 6 tuples 15.08/5.94 c 21:53:24.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15096. 'extension(4, x[15][3]=[0‥4]) :: init: true :: relation: MDD 722321959, 9 edges, 5 vertices, 6 tuples 15.08/5.94 c 21:53:24.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15099. 'extension(4, 4) :: init: true :: relation: MDD 722321959, 9 edges, 5 vertices, 6 tuples 15.08/5.95 c 21:53:24.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15130. 'extension(x[13][5]=[0‥4], 4) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples 15.08/5.95 c 21:53:24.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15164. 'extension(x[13][17]=[0‥4], 4) :: init: true :: relation: MDD 1965269980, 9 edges, 5 vertices, 6 tuples 15.08/5.95 c 21:53:24.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15197. 'extension(x[13][20]=[0‥4], 4) :: init: true :: relation: MDD 2078992278, 9 edges, 5 vertices, 6 tuples 15.08/5.95 c 21:53:24.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15198. 'extension(4, x[15][20]=[0‥4]) :: init: true :: relation: MDD 2078992278, 9 edges, 5 vertices, 6 tuples 15.08/5.95 c 21:53:24.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15230. 'extension(x[13][22]=[0‥4], 4) :: init: true :: relation: MDD 1939282277, 9 edges, 5 vertices, 6 tuples 15.08/5.95 c 21:53:24.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15231. 'extension(4, x[15][22]=[0‥4]) :: init: true :: relation: MDD 1939282277, 9 edges, 5 vertices, 6 tuples 15.08/5.95 c 21:53:24.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15263. 'extension(4, x[15][30]=[0‥4]) :: init: true :: relation: MDD 1089691218, 9 edges, 5 vertices, 6 tuples 15.08/5.95 c 21:53:24.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15266. 'extension(4, 4) :: init: true :: relation: MDD 1089691218, 9 edges, 5 vertices, 6 tuples 15.08/5.96 c 21:53:24.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15295. 'extension(4, x[15][34]=[0‥4]) :: init: true :: relation: MDD 805561728, 9 edges, 5 vertices, 6 tuples 15.08/5.96 c 21:53:24.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15298. 'extension(4, 4) :: init: true :: relation: MDD 805561728, 9 edges, 5 vertices, 6 tuples 15.08/5.96 c 21:53:24.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15327. 'extension(x[14][0]=[0‥4], 4) :: init: true :: relation: MDD 1238568047, 9 edges, 5 vertices, 6 tuples 15.08/5.96 c 21:53:24.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15328. 'extension(4, x[16][0]=[0‥4]) :: init: true :: relation: MDD 1238568047, 9 edges, 5 vertices, 6 tuples 15.08/5.96 c 21:53:24.467 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15361. 'extension(4, x[16][5]=[0‥4]) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples 15.08/5.96 c 21:53:24.467 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15364. 'extension(4, 4) :: init: true :: relation: MDD 245703044, 9 edges, 5 vertices, 6 tuples 15.08/5.96 c 21:53:24.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15395. 'extension(4, x[16][17]=[0‥4]) :: init: true :: relation: MDD 1965269980, 9 edges, 5 vertices, 6 tuples 15.08/5.96 c 21:53:24.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15398. 'extension(4, 4) :: init: true :: relation: MDD 1965269980, 9 edges, 5 vertices, 6 tuples 15.08/5.96 c 21:53:24.471 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15428. 'extension(x[14][28]=[0‥4], 4) :: init: true :: relation: MDD 309790180, 9 edges, 5 vertices, 6 tuples 15.08/5.97 c 21:53:24.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15429. 'extension(4, x[16][28]=[0‥4]) :: init: true :: relation: MDD 309790180, 9 edges, 5 vertices, 6 tuples 15.08/5.97 c 21:53:24.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15460. 'extension(x[15][23]=[0‥4], 4) :: init: true :: relation: MDD 629078509, 9 edges, 5 vertices, 6 tuples 15.08/5.97 c 21:53:24.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15461. 'extension(4, x[17][23]=[0‥4]) :: init: true :: relation: MDD 629078509, 9 edges, 5 vertices, 6 tuples 15.08/5.97 c 21:53:24.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15493. 'extension(x[16][4]=[0‥4], 4) :: init: true :: relation: MDD 1977652583, 9 edges, 5 vertices, 6 tuples 15.08/5.97 c 21:53:24.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15494. 'extension(4, x[18][4]=[0‥4]) :: init: true :: relation: MDD 1977652583, 9 edges, 5 vertices, 6 tuples 15.08/5.97 c 21:53:24.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15527. 'extension(x[17][0]=[0‥4], 4) :: init: true :: relation: MDD 1238568047, 9 edges, 5 vertices, 6 tuples 15.08/5.97 c 21:53:24.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15528. 'extension(4, x[19][0]=[0‥4]) :: init: true :: relation: MDD 1238568047, 9 edges, 5 vertices, 6 tuples 15.08/5.97 c 21:53:24.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15561. 'extension(x[17][7]=[0‥4], 4) :: init: true :: relation: MDD 1005344801, 9 edges, 5 vertices, 6 tuples 15.08/5.97 c 21:53:24.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15595. 'extension(x[17][8]=[0‥4], 4) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples 15.08/5.97 c 21:53:24.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15596. 'extension(4, x[19][8]=[0‥4]) :: init: true :: relation: MDD 2009139807, 9 edges, 5 vertices, 6 tuples 15.08/5.98 c 21:53:24.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15629. 'extension(4, wk[7][2]=[0‥1]) :: init: true :: relation: MDD 1336418989, 5 edges, 3 vertices, 4 tuples 15.08/5.98 c 21:53:24.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15630. 'extension(4, x[20][7]=[0‥4]) :: init: true :: relation: MDD 1005344801, 9 edges, 5 vertices, 6 tuples 15.08/5.98 c 21:53:24.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15633. 'extension(4, 4) :: init: true :: relation: MDD 1005344801, 9 edges, 5 vertices, 6 tuples 15.08/5.98 c 21:53:24.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15664. 'extension(x[20][12]=[0‥4], 4) :: init: true :: relation: MDD 1621202291, 9 edges, 5 vertices, 6 tuples 15.08/5.98 c 21:53:24.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15698. 'extension(x[20][23]=[0‥4], 4) :: init: true :: relation: MDD 629078509, 9 edges, 5 vertices, 6 tuples 15.08/5.98 c 21:53:24.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15699. 'extension(4, x[22][23]=[0‥4]) :: init: true :: relation: MDD 629078509, 9 edges, 5 vertices, 6 tuples 15.08/5.98 c 21:53:24.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15731. 'extension(x[21][9]=[0‥4], 4) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples 15.08/5.98 c 21:53:24.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15732. 'extension(4, x[23][9]=[0‥4]) :: init: true :: relation: MDD 104070545, 9 edges, 5 vertices, 6 tuples 15.08/5.98 c 21:53:24.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15765. 'extension(4, x[23][12]=[0‥4]) :: init: true :: relation: MDD 1621202291, 9 edges, 5 vertices, 6 tuples 15.08/5.98 c 21:53:24.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15768. 'extension(4, 4) :: init: true :: relation: MDD 1621202291, 9 edges, 5 vertices, 6 tuples 15.08/5.99 c 21:53:24.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15799. 'extension(x[21][13]=[0‥4], 4) :: init: true :: relation: MDD 234430897, 9 edges, 5 vertices, 6 tuples 15.08/5.99 c 21:53:24.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15800. 'extension(4, x[23][13]=[0‥4]) :: init: true :: relation: MDD 234430897, 9 edges, 5 vertices, 6 tuples 15.08/5.99 c 21:53:24.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15833. 'extension(x[21][21]=[0‥4], 4) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples 15.08/5.99 c 21:53:24.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15866. 'extension(x[22][4]=[0‥4], 4) :: init: true :: relation: MDD 1977652583, 9 edges, 5 vertices, 6 tuples 15.08/5.99 c 21:53:24.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15867. 'extension(4, x[24][4]=[0‥4]) :: init: true :: relation: MDD 1977652583, 9 edges, 5 vertices, 6 tuples 15.08/5.99 c 21:53:24.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15899. 'extension(4, x[24][21]=[0‥4]) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples 15.08/5.99 c 21:53:24.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15902. 'extension(4, 4) :: init: true :: relation: MDD 182926464, 9 edges, 5 vertices, 6 tuples 15.08/5.99 c 21:53:24.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15931. 'extension(x[23][2]=[0‥4], 4) :: init: true :: relation: MDD 1432687668, 9 edges, 5 vertices, 6 tuples 15.08/6.00 c 21:53:24.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15963. 'extension(x[23][16]=[0‥4], 4) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples 15.08/6.00 c 21:53:24.505 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 15994. 'extension(x[23][29]=[0‥4], 4) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples 15.08/6.00 c 21:53:24.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16024. 'extension(4, x[26][2]=[0‥4]) :: init: true :: relation: MDD 1432687668, 9 edges, 5 vertices, 6 tuples 15.08/6.00 c 21:53:24.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16027. 'extension(4, 4) :: init: true :: relation: MDD 1432687668, 9 edges, 5 vertices, 6 tuples 15.08/6.00 c 21:53:24.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16055. 'extension(x[24][10]=[0‥4], 4) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples 15.08/6.00 c 21:53:24.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16056. 'extension(4, x[26][10]=[0‥4]) :: init: true :: relation: MDD 360628795, 9 edges, 5 vertices, 6 tuples 15.08/6.01 c 21:53:24.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16086. 'extension(x[24][13]=[0‥4], 4) :: init: true :: relation: MDD 234430897, 9 edges, 5 vertices, 6 tuples 15.08/6.01 c 21:53:24.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16087. 'extension(4, x[26][13]=[0‥4]) :: init: true :: relation: MDD 234430897, 9 edges, 5 vertices, 6 tuples 15.08/6.01 c 21:53:24.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16117. 'extension(4, x[26][16]=[0‥4]) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples 15.08/6.01 c 21:53:24.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16120. 'extension(4, 4) :: init: true :: relation: MDD 1476116591, 9 edges, 5 vertices, 6 tuples 15.08/6.01 c 21:53:24.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16147. 'extension(x[24][19]=[0‥4], 4) :: init: true :: relation: MDD 213095762, 9 edges, 5 vertices, 6 tuples 15.08/6.01 c 21:53:24.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16177. 'extension(4, x[26][29]=[0‥4]) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples 15.44/6.01 c 21:53:24.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16180. 'extension(4, 4) :: init: true :: relation: MDD 1060563153, 9 edges, 5 vertices, 6 tuples 15.44/6.01 c 21:53:24.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16206. 'extension(4, wk[19][3]=[0‥1]) :: init: true :: relation: MDD 1382756158, 5 edges, 3 vertices, 4 tuples 15.44/6.01 c 21:53:24.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16207. 'extension(4, x[27][19]=[0‥4]) :: init: true :: relation: MDD 213095762, 9 edges, 5 vertices, 6 tuples 15.44/6.01 c 21:53:24.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 16209. 'extension(4, 4) :: init: true :: relation: MDD 213095762, 9 edges, 5 vertices, 6 tuples 15.44/6.08 c 21:53:24.589 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17740. 'extension(x[1][22]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.08 c 21:53:24.589 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17746. 'extension(x[1][27]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.08 c 21:53:24.590 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(x[1][35]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.08 c 21:53:24.590 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17758. 'extension(x[0][10]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.08 c 21:53:24.590 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17760. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.08 c 21:53:24.591 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17772. 'extension(x[0][31]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.08 c 21:53:24.591 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17778. 'extension(x[0][32]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.08 c 21:53:24.591 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17784. 'extension(x[1][6]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.08 c 21:53:24.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17790. 'extension(x[1][27]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.08 c 21:53:24.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17792. 'extension(x[3][27]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.08 c 21:53:24.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17802. 'extension(x[3][31]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.08 c 21:53:24.593 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17808. 'extension(x[3][32]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.08 c 21:53:24.593 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17814. 'extension(x[4][6]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.594 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17828. 'extension(x[2][9]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.594 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17830. 'extension(x[4][9]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.595 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17844. 'extension(x[2][18]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.596 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17850. 'extension(x[2][20]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.596 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17852. 'extension(x[4][20]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.597 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17864. 'extension(x[5][18]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.597 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17874. 'extension(wk[26][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.597 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17876. 'extension(x[4][26]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17882. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17884. 'extension(x[4][33]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17890. 'extension(wk[11][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17892. 'extension(x[5][11]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17898. 'extension(wk[26][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17900. 'extension(x[7][26]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17906. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.600 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17908. 'extension(x[7][33]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.600 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17914. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17930. 'extension(x[6][15]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17932. 'extension(x[8][15]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17948. 'extension(x[6][25]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17954. 'extension(x[6][28]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.09 c 21:53:24.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17956. 'extension(x[8][28]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17966. 'extension(x[7][8]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17968. 'extension(x[9][8]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17982. 'extension(x[9][25]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17992. 'extension(x[8][1]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17998. 'extension(x[11][1]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.605 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18012. 'extension(x[9][35]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.605 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18014. 'extension(x[11][35]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18024. 'extension(x[10][14]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18030. 'extension(x[10][24]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18036. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18038. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18054. 'extension(wk[15][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18056. 'extension(x[11][15]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(x[13][15]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18074. 'extension(wk[24][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.44/6.10 c 21:53:24.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18076. 'extension(x[13][24]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18086. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18088. 'extension(x[12][3]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18094. 'extension(wk[30][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18096. 'extension(x[12][30]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18102. 'extension(wk[34][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18104. 'extension(x[12][34]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18110. 'extension(x[15][3]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18124. 'extension(x[13][5]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18130. 'extension(x[13][17]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18136. 'extension(x[13][20]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18138. 'extension(x[15][20]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18150. 'extension(x[13][22]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18152. 'extension(x[15][22]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18164. 'extension(x[15][30]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18170. 'extension(x[15][34]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18176. 'extension(x[14][0]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18178. 'extension(x[16][0]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18192. 'extension(x[16][5]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18206. 'extension(x[16][17]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18216. 'extension(x[14][28]=[0‥4]) :: init: true :: relation: Empty MDD 15.44/6.11 c 21:53:24.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18218. 'extension(x[16][28]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18228. 'extension(x[15][23]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18230. 'extension(x[17][23]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18242. 'extension(x[16][4]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18244. 'extension(x[18][4]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18258. 'extension(x[17][0]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18260. 'extension(x[19][0]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18274. 'extension(x[17][7]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18280. 'extension(x[17][8]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18282. 'extension(x[19][8]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18296. 'extension(wk[7][2]=[0‥1]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18298. 'extension(x[20][7]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18312. 'extension(x[20][12]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18318. 'extension(x[20][23]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18320. 'extension(x[22][23]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18332. 'extension(x[21][9]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.627 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18334. 'extension(x[23][9]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.627 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18348. 'extension(x[23][12]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18364. 'extension(x[21][13]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18366. 'extension(x[23][13]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.629 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18380. 'extension(x[21][21]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.629 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18386. 'extension(x[22][4]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.630 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18388. 'extension(x[24][4]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.630 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18402. 'extension(x[24][21]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18412. 'extension(x[23][2]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18418. 'extension(x[23][16]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18424. 'extension(x[23][29]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18430. 'extension(x[26][2]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18444. 'extension(x[24][10]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.633 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18446. 'extension(x[26][10]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.633 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18460. 'extension(x[24][13]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.12 c 21:53:24.633 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18462. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.13 c 21:53:24.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18476. 'extension(x[26][16]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.13 c 21:53:24.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18486. 'extension(x[24][19]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.13 c 21:53:24.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18492. 'extension(x[26][29]=[0‥4]) :: init: true :: relation: Empty MDD 15.73/6.13 c 21:53:24.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18498. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD 15.73/6.13 c 21:53:24.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18500. 'extension(x[27][19]=[0‥4]) :: init: true :: relation: Empty MDD 79.47/59.53 o 6639 79.95/59.86 o 6638 79.95/59.89 o 6538 182.55/159.48 o 6458 252.10/227.40 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 252.10/227.40 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24) 252.10/227.40 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53) 252.10/227.40 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126) 252.10/227.40 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142) 252.10/227.40 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5) 252.10/227.40 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126) 252.10/227.40 at concrete.IntervalDomain.filter(IntervalDomain.scala:81) 252.10/227.40 at concrete.IntervalDomain.filter(IntervalDomain.scala:7) 252.10/227.40 at concrete.heuristic.value.BestCost.select(BestCost.scala:53) 252.10/227.40 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 252.10/227.40 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 252.10/227.40 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 252.10/227.40 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 252.10/227.40 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103) 252.10/227.40 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 252.10/227.40 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103) 252.10/227.40 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109) 252.10/227.40 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 252.10/227.40 at scala.Option.map(Option.scala:146) 252.10/227.40 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 252.10/227.40 at concrete.MAC.mac(MAC.scala:203) 252.10/227.40 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 252.10/227.40 at scala.util.Try$.apply(Try.scala:209) 252.10/227.40 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 252.10/227.40 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 252.10/227.40 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 252.10/227.40 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 252.10/227.40 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 252.10/227.40 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 252.10/227.40 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 252.10/227.40 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 252.10/227.40 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 252.10/227.40 at concrete.MAC.oneRun(MAC.scala:253) 252.10/227.40 at concrete.MAC.nextSolution(MAC.scala:272) 252.10/227.40 at concrete.MAC.nextSolution(MAC.scala:355) 252.10/227.40 at concrete.Solver.hasNext(Solver.scala:166) 252.10/227.40 at scala.collection.Iterator.foreach(Iterator.scala:944) 252.10/227.40 at scala.collection.Iterator.foreach$(Iterator.scala:944) 252.10/227.40 at concrete.Solver.foreach(Solver.scala:68) 252.10/227.40 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 252.10/227.40 at scala.util.Success.$anonfun$map$1(Try.scala:251) 252.10/227.40 at scala.util.Success.map(Try.scala:209) 252.10/227.40 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 252.10/227.40 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 252.10/227.40 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 252.10/227.40 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 252.10/227.40 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 252.10/227.40 at scala.Function0.apply$mcV$sp(Function0.scala:34) 252.10/227.40 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 252.10/227.40 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 252.10/227.40 at scala.App.$anonfun$main$1$adapted(App.scala:76) 252.10/227.40 at scala.collection.immutable.List.foreach(List.scala:389) 252.10/227.40 at scala.App.main(App.scala:76) 252.10/227.40 at scala.App.main$(App.scala:74) 252.10/227.40 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 252.10/227.40 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 252.10/227.41 v <instantiation cost="6458"> 252.10/227.41 v <list> 252.10/227.41 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] 252.10/227.42 v </list> 252.10/227.42 v <values> 252.10/227.42 v 1 1 2 2 1 3 1 0 4 2 4 4 2 4 4 0 2 4 4 4 4 4 4 4 2 4 4 4 1 4 4 4 4 3 4 4 3 1 2 2 1 3 1 0 4 3 4 4 2 4 0 0 4 4 1 4 4 4 2 1 4 4 4 4 1 4 4 4 4 4 4 4 3 2 2 2 4 3 4 0 0 4 0 4 2 1 1 1 4 4 4 4 4 4 2 1 4 4 4 4 4 0 4 4 4 4 4 4 3 2 2 2 4 3 4 3 0 4 0 4 3 2 1 3 4 4 4 4 4 1 2 4 4 1 2 4 4 4 4 4 4 4 4 4 4 2 2 4 4 4 4 3 4 2 0 4 4 2 1 4 4 4 4 1 4 1 4 4 4 1 4 4 4 4 4 4 0 4 4 0 4 4 4 4 4 4 4 4 4 2 4 4 4 2 4 4 4 0 4 1 0 4 4 2 0 1 4 3 4 4 2 4 4 4 4 0 4 4 4 4 4 4 0 4 0 2 4 4 4 4 4 4 1 3 1 3 0 4 2 4 4 1 4 4 1 4 4 2 4 4 4 2 4 0 1 2 0 4 0 1 0 4 4 4 4 4 4 4 4 3 4 3 3 1 4 4 4 4 4 1 4 4 4 2 4 4 1 2 2 0 2 2 0 0 0 1 4 4 0 0 4 4 4 4 4 3 4 4 4 1 4 4 1 4 4 4 4 0 3 3 1 4 4 4 2 4 2 4 0 0 4 3 4 2 0 0 1 1 0 0 4 4 3 4 4 4 4 4 4 4 3 4 4 4 4 4 1 0 4 4 2 4 4 4 0 4 4 3 0 2 4 0 2 1 2 1 4 4 4 1 0 4 4 4 4 4 3 1 4 4 3 4 4 4 1 4 2 4 4 3 1 4 0 4 0 2 4 3 4 1 4 4 4 2 4 1 4 1 4 2 4 0 4 4 4 4 4 0 4 2 1 4 2 0 4 3 4 0 0 4 4 2 4 4 4 4 4 4 1 4 0 1 4 4 2 3 4 0 4 4 4 3 4 0 2 4 4 4 4 0 4 4 4 0 0 4 4 4 2 4 4 4 4 4 1 4 3 4 4 4 2 4 1 4 4 4 4 3 4 4 4 4 4 4 4 2 0 4 0 4 0 4 0 4 3 4 4 4 1 4 1 4 3 4 4 3 4 4 2 4 4 4 4 4 4 4 4 4 4 0 4 4 0 4 0 4 0 4 0 2 3 4 4 4 1 4 4 4 4 4 4 4 4 4 2 4 2 4 4 4 4 4 4 4 4 4 1 4 4 2 1 0 4 4 3 2 4 4 1 4 4 4 4 4 4 4 4 4 2 4 3 4 4 4 4 0 4 4 4 4 4 4 1 1 4 2 4 0 4 4 3 2 4 0 1 4 4 4 1 4 0 4 4 4 4 3 4 4 4 4 4 4 4 4 4 4 4 4 4 1 2 4 4 0 4 4 4 2 4 0 1 1 4 0 1 4 4 4 4 4 4 3 4 4 2 4 4 4 4 4 4 4 4 4 4 4 2 4 4 0 4 4 4 4 4 0 1 2 4 1 1 4 4 4 0 3 2 4 3 4 4 4 4 4 0 4 4 4 1 2 4 4 2 4 4 3 4 2 4 4 4 0 4 3 4 1 1 4 4 4 0 4 2 4 4 0 4 1 1 0 4 4 0 4 4 4 4 4 2 4 0 4 1 2 4 4 3 4 4 3 4 1 4 2 4 1 4 4 2 4 4 0 4 4 4 4 0 4 0 4 1 4 4 2 2 1 0 4 1 2 4 4 3 4 4 4 3 4 4 2 4 1 4 4 4 0 4 4 4 1 4 4 4 4 0 0 1 4 0 2 4 3 4 4 1 4 0 1 4 4 4 4 3 4 1 2 1 3 0 4 4 0 1 4 4 4 4 4 4 4 4 0 4 4 0 2 4 3 4 0 1 4 0 1 4 4 4 4 3 4 4 2 1 4 0 0 4 4 2 0 2 4 3 4 4 4 4 2 1 4 0 4 4 3 0 0 1 4 0 1 4 0 4 4 3 1 4 2 4 4 2 1 4 4 4 1 4 3 4 4 4 4 4 4 4 2 4 4 2 4 0 4 4 0 3 4 0 0 3 4 4 3 4 4 4 4 3 3 4 1 4 4 4 4 1 4 4 4 4 4 4 4 4 4 2 4 1 4 4 0 3 4 0 3 3 4 4 4 4 4 1 4 4 4 4 4 4 4 4 4 4 4 1 1 4 4 4 4 3 3 5 3 14 4 4 7 0 13 2 1 14 0 11 0 1 8 5 14 10 5 0 0 13 10 0 0 5 13 8 7 0 0 13 5 2 3 4 14 11 0 0 4 13 0 3 12 1 12 7 0 1 4 16 9 0 0 2 17 0 5 4 3 16 0 5 4 2 17 2 5 1 4 16 4 6 0 2 16 0 9 1 0 18 1 0 6 3 18 2 5 0 3 18 0 7 0 3 18 7 0 1 2 18 1 6 0 3 18 0 0 10 0 18 2 3 2 3 18 1 3 4 2 18 5 5 0 0 18 0 0 4 2 22 0 4 0 2 22 0 5 0 1 22 4 0 0 2 22 2 1 1 2 22 2 1 2 1 22 4 2 1 0 21 3 0 2 1 22 0 7 0 0 21 3 0 4 0 21 2 5 6 2 21 3 6 4 3 20 4 4 5 2 21 2 3 6 5 20 3 4 4 1 24 4 2 4 1 25 3 4 4 2 23 4 5 3 3 21 7 4 3 3 19 7 3 3 3 20 4 5 4 3 20 4 5 5 2 20 6 2 4 3 21 3 2 2 2 27 5 2 2 3 24 4 1 3 1 27 2 3 3 2 26 3 4 2 2 25 3 4 3 1 25 4 4 4 2 22 5 4 3 2 22 4 4 4 2 22 4 5 4 2 21 5 5 2 3 21 6 4 5 3 18 5 5 3 3 20 4 2 1 5 24 2 4 1 3 26 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 1 0 1 1 0 1 0 1 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 3 0 0 0 0 3 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 2 1 1 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 3 3 3 0 0 1 0 0 0 0 0 0 0 2 2 3 0 3 3 3 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 3 3 0 0 1 0 0 3 3 2 2 0 0 3 3 3 0 3 0 0 2 0 1 1 1 1 0 0 1 1 3 0 0 0 1 1 1 2 0 0 2 0 0 0 0 1 1 1 1 1 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 300 200 1 4 0 0 1 0 100 0 0 0 100 100 0 0 0 0 1 0 1 1 100 0 0 4 0 0 0 0 3 100 100 0 0 0 3 2 100 0 0 100 0 0 0 1 0 0 100 0 100 100 200 100 0 1 0 100 0 0 0 200 100 200 0 0 0 100 100 0 0 1 300 0 0 0 0 200 200 0 2 0 0 0 0 0 0 0 100 0 200 100 200 100 0 0 2 0 0 0 1 0 300 1 0 1 100 0 1 0 0 1 200 0 0 1 400 200 0 0 200 300 500 0 0 252.10/227.42 v </values> 252.10/227.42 v </instantiation> 252.10/227.42 s SATISFIABLE
OK 6458
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 (10487 MiB free)
memory of node 1: 16384 MiB (12467 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302428-1532893998/watcher-4302428-1532893998 -o /tmp/evaluation-result-4302428-1532893998/solver-4302428-1532893998 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=786529438 HOME/instance-4302428-1532893998.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15146, runsolver pid=15143
[startup+0.10006 s]*
/proc/loadavg: 1.65 1.75 1.59 3/207 15203
/proc/meminfo: memFree=23499360/32770624 swapFree=67108860/67108860
[pid=15146] ppid=15143 vsize=10005480 memory=16816 CPUtime=0.1 cores=0,2,4,6
/proc/15146/stat : 15146 (java) S 15143 15146 12183 0 -1 1077944320 4374 12855 0 0 1 1 5 3 20 0 6 0 106962984 10245611520 4204 33554432000 4194304 4196468 140724489721040 140724489703584 139671119130359 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
/proc/15146/statm: 2501370 4204 1935 1 0 2489808 0
[pid=15146/tid=15199] ppid=15143 vsize=10005480 memory=4279135704013571469 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15199/stat : 15199 (java) R 15143 15146 12183 0 -1 4202560 2183 12855 0 0 0 0 5 3 20 0 6 0 106962993 10245611520 4716 33554432000 4194304 4196468 140724489721040 139671090967120 139671119152285 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15200] ppid=15143 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15200/stat : 15200 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 6 0 106962994 10245611520 4716 33554432000 4194304 4196468 140724489721040 139671123372944 139671119140565 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15201] ppid=15143 vsize=10005480 memory=139881555150464 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15201/stat : 15201 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 6 0 106962994 10245611520 4716 33554432000 4194304 4196468 140724489721040 139671004637968 139671119140565 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15202] ppid=15143 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15202/stat : 15202 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 6 0 106962994 10245611520 4716 33554432000 4194304 4196468 140724489721040 139671003585680 139671119140565 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15203] ppid=15143 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15203/stat : 15203 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 6 0 106962994 10245611520 4716 33554432000 4194304 4196468 140724489721040 139671002532880 139671119140565 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB
[startup+0.210095 s]*
/proc/loadavg: 1.65 1.75 1.59 3/216 15212
/proc/meminfo: memFree=23475964/32770624 swapFree=67108860/67108860
[pid=15146] ppid=15143 vsize=10982744 memory=45000 CPUtime=0.26 cores=0,2,4,6
/proc/15146/stat : 15146 (java) S 15143 15146 12183 0 -1 1077944320 7888 12855 0 0 17 1 5 3 20 0 15 0 106962984 11246329856 11250 33554432000 4194304 4196468 140724489721040 140724489703584 139671119130359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
/proc/15146/statm: 2745686 11250 2983 1 0 2708109 0
[pid=15146/tid=15199] ppid=15143 vsize=10982744 memory=-6517102902069810590 CPUtime=0.2 cores=0,2,4,6
/proc/15146/task/15199/stat : 15199 (java) R 15143 15146 12183 0 -1 4202560 4481 12855 0 0 11 1 5 3 20 0 15 0 106962993 11246329856 11250 33554432000 4194304 4196468 140724489721040 139671090954336 139671119142294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15200] ppid=15143 vsize=10982744 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15200/stat : 15200 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962994 11246329856 11250 33554432000 4194304 4196468 140724489721040 139671123372944 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15201] ppid=15143 vsize=10982744 memory=139881555150464 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15201/stat : 15201 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 15 0 106962994 11246329856 11250 33554432000 4194304 4196468 140724489721040 139671004637968 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15202] ppid=15143 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15202/stat : 15202 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962994 11246329856 11250 33554432000 4194304 4196468 140724489721040 139671003585680 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15203] ppid=15143 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15203/stat : 15203 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 15 0 106962994 11246329856 11250 33554432000 4194304 4196468 140724489721040 139671002532880 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15204] ppid=15143 vsize=10982744 memory=139881555150464 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15204/stat : 15204 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 15 0 106962995 11246329856 11250 33554432000 4194304 4196468 140724489721040 139670612023408 139671119141506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15205] ppid=15143 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15205/stat : 15205 (java) S 15143 15146 12183 0 -1 1077944384 13 12855 0 0 0 0 5 3 20 0 15 0 106962996 11246329856 11250 33554432000 4194304 4196468 140724489721040 139669867062048 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15206] ppid=15143 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15206/stat : 15206 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962996 11246329856 11250 33554432000 4194304 4196468 140724489721040 139669719213168 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15207] ppid=15143 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15207/stat : 15207 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11246329856 11250 33554432000 4194304 4196468 140724489721040 139669411813456 139671119148955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15208] ppid=15143 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15146/task/15208/stat : 15208 (java) S 15143 15146 12183 0 -1 1077944384 475 12855 0 0 1 0 5 3 20 0 15 0 106962999 11246329856 11250 33554432000 4194304 4196468 140724489721040 139670610971248 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15209] ppid=15143 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15146/task/15209/stat : 15209 (java) S 15143 15146 12183 0 -1 1077944384 142 12855 0 0 1 0 5 3 20 0 15 0 106962999 11246329856 11250 33554432000 4194304 4196468 140724489721040 139670609918448 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15210] ppid=15143 vsize=10982744 memory=139881555150464 CPUtime=0.11 cores=0,2,4,6
/proc/15146/task/15210/stat : 15210 (java) R 15143 15146 12183 0 -1 4202560 608 12855 0 0 3 0 5 3 20 0 15 0 106962999 11246329856 11250 33554432000 4194304 4196468 140724489721040 139670608866160 139671098265886 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15211] ppid=15143 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15211/stat : 15211 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11246329856 11250 33554432000 4194304 4196468 140724489721040 139668981017568 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15212] ppid=15143 vsize=10982744 memory=139881555150464 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15212/stat : 15212 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962999 11246329856 11250 33554432000 4194304 4196468 140724489721040 139670607813040 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45000 KiB
[startup+0.310987 s]*
/proc/loadavg: 1.65 1.75 1.59 4/216 15212
/proc/meminfo: memFree=23464904/32770624 swapFree=67108860/67108860
[pid=15146] ppid=15143 vsize=10983192 memory=55716 CPUtime=0.38 cores=0,2,4,6
/proc/15146/stat : 15146 (java) S 15143 15146 12183 0 -1 1077944320 10414 12855 0 0 28 2 5 3 20 0 15 0 106962984 11246788608 13929 33554432000 4194304 4196468 140724489721040 140724489703584 139671119130359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
/proc/15146/statm: 2745798 13929 3102 1 0 2708109 0
[pid=15146/tid=15199] ppid=15143 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15146/task/15199/stat : 15199 (java) R 15143 15146 12183 0 -1 4202560 6965 12855 0 0 19 2 5 3 20 0 15 0 106962993 11246788608 13929 33554432000 4194304 4196468 140724489721040 139671090919888 139671103210846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15200] ppid=15143 vsize=10983192 memory=7012755875661107280 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15200/stat : 15200 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962994 11246788608 13929 33554432000 4194304 4196468 140724489721040 139671123372944 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15201] ppid=15143 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15201/stat : 15201 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 15 0 106962994 11246788608 13929 33554432000 4194304 4196468 140724489721040 139671004637968 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15202] ppid=15143 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15202/stat : 15202 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962994 11246788608 13929 33554432000 4194304 4196468 140724489721040 139671003585680 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15203] ppid=15143 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15203/stat : 15203 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 15 0 106962994 11246788608 13929 33554432000 4194304 4196468 140724489721040 139671002532880 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15204] ppid=15143 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15204/stat : 15204 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 15 0 106962995 11246788608 13929 33554432000 4194304 4196468 140724489721040 139670612023408 139671119141506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15205] ppid=15143 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15205/stat : 15205 (java) S 15143 15146 12183 0 -1 1077944384 13 12855 0 0 0 0 5 3 20 0 15 0 106962996 11246788608 13929 33554432000 4194304 4196468 140724489721040 139669867062048 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15206] ppid=15143 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15206/stat : 15206 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962996 11246788608 13929 33554432000 4194304 4196468 140724489721040 139669719213168 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15207] ppid=15143 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15207/stat : 15207 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11246788608 13929 33554432000 4194304 4196468 140724489721040 139669411813456 139671119148955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15208] ppid=15143 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15146/task/15208/stat : 15208 (java) S 15143 15146 12183 0 -1 1077944384 475 12855 0 0 1 0 5 3 20 0 15 0 106962999 11246788608 13929 33554432000 4194304 4196468 140724489721040 139670610971248 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15209] ppid=15143 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15146/task/15209/stat : 15209 (java) S 15143 15146 12183 0 -1 1077944384 143 12855 0 0 1 0 5 3 20 0 15 0 106962999 11246788608 13929 33554432000 4194304 4196468 140724489721040 139670609918448 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15210] ppid=15143 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/15146/task/15210/stat : 15210 (java) S 15143 15146 12183 0 -1 1077944384 614 12855 0 0 5 0 5 3 20 0 15 0 106962999 11246788608 13929 33554432000 4194304 4196468 140724489721040 139670608866160 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15211] ppid=15143 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15211/stat : 15211 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11246788608 13929 33554432000 4194304 4196468 140724489721040 139668981017568 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15212] ppid=15143 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15212/stat : 15212 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962999 11246788608 13929 33554432000 4194304 4196468 140724489721040 139670607813040 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55716 KiB
[startup+0.700716 s]
/proc/loadavg: 1.65 1.75 1.59 4/216 15212
/proc/meminfo: memFree=23453864/32770624 swapFree=67108860/67108860
[pid=15146] ppid=15143 vsize=10983192 memory=88448 CPUtime=0.99 cores=0,2,4,6
/proc/15146/stat : 15146 (java) S 15143 15146 12183 0 -1 1077944320 16743 12855 0 0 87 4 5 3 20 0 15 0 106962984 11246788608 22112 33554432000 4194304 4196468 140724489721040 140724489703584 139671119130359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
/proc/15146/statm: 2745798 22112 3242 1 0 2708109 0
[pid=15146/tid=15199] ppid=15143 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/15146/task/15199/stat : 15199 (java) R 15143 15146 12183 0 -1 4202560 12178 12855 0 0 56 3 5 3 20 0 15 0 106962993 11246788608 22112 33554432000 4194304 4196468 140724489721040 139671090953360 139671103210846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15200] ppid=15143 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15200/stat : 15200 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962994 11246788608 22112 33554432000 4194304 4196468 140724489721040 139671123372944 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15201] ppid=15143 vsize=10983192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15201/stat : 15201 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 15 0 106962994 11246788608 22112 33554432000 4194304 4196468 140724489721040 139671004637968 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15202] ppid=15143 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15202/stat : 15202 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962994 11246788608 22112 33554432000 4194304 4196468 140724489721040 139671003585680 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15203] ppid=15143 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15203/stat : 15203 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 15 0 106962994 11246788608 22112 33554432000 4194304 4196468 140724489721040 139671002532880 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15204] ppid=15143 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15204/stat : 15204 (java) S 15143 15146 12183 0 -1 1077944384 5 12855 0 0 0 0 5 3 20 0 15 0 106962995 11246788608 22112 33554432000 4194304 4196468 140724489721040 139670612023408 139671119141506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15205] ppid=15143 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15205/stat : 15205 (java) S 15143 15146 12183 0 -1 1077944384 13 12855 0 0 0 0 5 3 20 0 15 0 106962996 11246788608 22112 33554432000 4194304 4196468 140724489721040 139669867062048 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15206] ppid=15143 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15206/stat : 15206 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962996 11246788608 22112 33554432000 4194304 4196468 140724489721040 139669719213168 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15207] ppid=15143 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15207/stat : 15207 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11246788608 22112 33554432000 4194304 4196468 140724489721040 139669411813456 139671119148955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15208] ppid=15143 vsize=10983192 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/15146/task/15208/stat : 15208 (java) S 15143 15146 12183 0 -1 1077944384 1092 12855 0 0 9 0 5 3 20 0 15 0 106962999 11246788608 22112 33554432000 4194304 4196468 140724489721040 139670610971248 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15209] ppid=15143 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/15146/task/15209/stat : 15209 (java) S 15143 15146 12183 0 -1 1077944384 543 12855 0 0 7 0 5 3 20 0 15 0 106962999 11246788608 22112 33554432000 4194304 4196468 140724489721040 139670609918448 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15210] ppid=15143 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/15146/task/15210/stat : 15210 (java) S 15143 15146 12183 0 -1 1077944384 704 12855 0 0 13 0 5 3 20 0 15 0 106962999 11246788608 22112 33554432000 4194304 4196468 140724489721040 139670608866160 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15211] ppid=15143 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15211/stat : 15211 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11246788608 22112 33554432000 4194304 4196468 140724489721040 139668981017568 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15212] ppid=15143 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15212/stat : 15212 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 15 0 106962999 11246788608 22112 33554432000 4194304 4196468 140724489721040 139670607813040 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88448 KiB
[startup+1.50099 s]
/proc/loadavg: 1.65 1.75 1.59 5/216 15212
/proc/meminfo: memFree=23409456/32770624 swapFree=67108860/67108860
[pid=15146] ppid=15143 vsize=10993996 memory=168964 CPUtime=3.15 cores=0,2,4,6
/proc/15146/stat : 15146 (java) S 15143 15146 12183 0 -1 1077944320 24305 12855 0 0 297 10 5 3 20 0 15 0 106962984 11257851904 42241 33554432000 4194304 4196468 140724489721040 140724489703584 139671119130359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
/proc/15146/statm: 2748499 42241 3444 1 0 2710157 0
[pid=15146/tid=15199] ppid=15143 vsize=10993996 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/15146/task/15199/stat : 15199 (java) R 15143 15146 12183 0 -1 4202560 15328 12855 0 0 131 7 5 3 20 0 15 0 106962993 11257851904 42241 33554432000 4194304 4196468 140724489721040 139671090963088 139671119152285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15200] ppid=15143 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15200/stat : 15200 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962994 11257851904 42241 33554432000 4194304 4196468 140724489721040 139671123372944 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15201] ppid=15143 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15201/stat : 15201 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 15 0 106962994 11257851904 42241 33554432000 4194304 4196468 140724489721040 139671004637968 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15202] ppid=15143 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15202/stat : 15202 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962994 11257851904 42241 33554432000 4194304 4196468 140724489721040 139671003585680 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15203] ppid=15143 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15203/stat : 15203 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 15 0 106962994 11257851904 42241 33554432000 4194304 4196468 140724489721040 139671002532880 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15204] ppid=15143 vsize=10993996 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15204/stat : 15204 (java) S 15143 15146 12183 0 -1 1077944384 13 12855 0 0 0 0 5 3 20 0 15 0 106962995 11257851904 42241 33554432000 4194304 4196468 140724489721040 139670612023408 139671119141506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15205] ppid=15143 vsize=10993996 memory=279762895448320 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15205/stat : 15205 (java) S 15143 15146 12183 0 -1 1077944384 13 12855 0 0 0 0 5 3 20 0 15 0 106962996 11257851904 42241 33554432000 4194304 4196468 140724489721040 139669867062048 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15206] ppid=15143 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15206/stat : 15206 (java) S 15143 15146 12183 0 -1 1077944384 1 12855 0 0 0 0 5 3 20 0 15 0 106962996 11257851904 42241 33554432000 4194304 4196468 140724489721040 139669719213168 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15207] ppid=15143 vsize=10993996 memory=1952 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15207/stat : 15207 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11257851904 42241 33554432000 4194304 4196468 140724489721040 139669411813456 139671119148955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15208] ppid=15143 vsize=10993996 memory=1232 CPUtime=0.67 cores=0,2,4,6
/proc/15146/task/15208/stat : 15208 (java) R 15143 15146 12183 0 -1 4202560 2636 12855 0 0 59 0 5 3 20 0 15 0 106962999 11257851904 42241 33554432000 4194304 4196468 140724489721040 139670610956640 139671098386984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15209] ppid=15143 vsize=10993996 memory=8560 CPUtime=0.64 cores=0,2,4,6
/proc/15146/task/15209/stat : 15209 (java) R 15143 15146 12183 0 -1 4202560 2263 12855 0 0 56 0 5 3 20 0 15 0 106962999 11257851904 42241 33554432000 4194304 4196468 140724489721040 139670609904736 139671103794683 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15210] ppid=15143 vsize=10993996 memory=1712 CPUtime=0.57 cores=0,2,4,6
/proc/15146/task/15210/stat : 15210 (java) S 15143 15146 12183 0 -1 1077944384 1843 12855 0 0 49 0 5 3 20 0 15 0 106962999 11257851904 42241 33554432000 4194304 4196468 140724489721040 139670608866160 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15211] ppid=15143 vsize=10993996 memory=5412 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15211/stat : 15211 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11257851904 42241 33554432000 4194304 4196468 140724489721040 139668981017568 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15212] ppid=15143 vsize=10993996 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15212/stat : 15212 (java) S 15143 15146 12183 0 -1 1077944384 2 12855 0 0 0 0 5 3 20 0 15 0 106962999 11257851904 42241 33554432000 4194304 4196468 140724489721040 139670607813040 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
Current children cumulated CPU time: 3.15 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/15146/task/15199/stat : 15199 (java) R 15143 15146 12183 0 -1 4202560 54557 12855 0 0 10097 34 5 3 20 0 15 0 106962993 11348049920 526952 33554432000 4194304 4196468 140724489721040 139671090964720 139670701539288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15200] ppid=15143 vsize=11082080 memory=2081004 CPUtime=0.72 cores=0,2,4,6
/proc/15146/task/15200/stat : 15200 (java) S 15143 15146 12183 0 -1 1077944384 4087 12855 0 0 45 19 5 3 20 0 15 0 106962994 11348049920 526952 33554432000 4194304 4196468 140724489721040 139671123372944 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15201] ppid=15143 vsize=11082080 memory=2019552 CPUtime=0.73 cores=0,2,4,6
/proc/15146/task/15201/stat : 15201 (java) S 15143 15146 12183 0 -1 1077944384 2491 12855 0 0 46 19 5 3 20 0 15 0 106962994 11348049920 526952 33554432000 4194304 4196468 140724489721040 139671004637968 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15202] ppid=15143 vsize=11082080 memory=2400 CPUtime=0.71 cores=0,2,4,6
/proc/15146/task/15202/stat : 15202 (java) S 15143 15146 12183 0 -1 1077944384 1442 12855 0 0 43 20 5 3 20 0 15 0 106962994 11348049920 526952 33554432000 4194304 4196468 140724489721040 139671003585680 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15203] ppid=15143 vsize=11082080 memory=30624 CPUtime=0.72 cores=0,2,4,6
/proc/15146/task/15203/stat : 15203 (java) S 15143 15146 12183 0 -1 1077944384 1711 12855 0 0 44 20 5 3 20 0 15 0 106962994 11348049920 526952 33554432000 4194304 4196468 140724489721040 139671002532880 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15204] ppid=15143 vsize=11082080 memory=1296 CPUtime=0.2 cores=0,2,4,6
/proc/15146/task/15204/stat : 15204 (java) S 15143 15146 12183 0 -1 1077944384 4840 12855 0 0 12 0 5 3 20 0 15 0 106962995 11348049920 526952 33554432000 4194304 4196468 140724489721040 139670612023408 139671119141506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15205] ppid=15143 vsize=11082080 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15205/stat : 15205 (java) S 15143 15146 12183 0 -1 1077944384 17 12855 0 0 0 0 5 3 20 0 15 0 106962996 11348049920 526952 33554432000 4194304 4196468 140724489721040 139669867062112 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15206] ppid=15143 vsize=11082080 memory=2400 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15206/stat : 15206 (java) S 15143 15146 12183 0 -1 1077944384 8 12855 0 0 0 0 5 3 20 0 15 0 106962996 11348049920 526952 33554432000 4194304 4196468 140724489721040 139669719213184 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15207] ppid=15143 vsize=11082080 memory=279762895922352 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15207/stat : 15207 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11348049920 526952 33554432000 4194304 4196468 140724489721040 139669411813456 139671119148955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15208] ppid=15143 vsize=11082080 memory=3904682660890706117 CPUtime=8.76 cores=0,2,4,6
/proc/15146/task/15208/stat : 15208 (java) S 15143 15146 12183 0 -1 1077944384 20537 12855 0 0 865 3 5 3 20 0 15 0 106962999 11348049920 526952 33554432000 4194304 4196468 140724489721040 139670610971248 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15209] ppid=15143 vsize=11082080 memory=56 CPUtime=8.62 cores=0,2,4,6
/proc/15146/task/15209/stat : 15209 (java) S 15143 15146 12183 0 -1 1077944384 17206 12855 0 0 851 3 5 3 20 0 15 0 106962999 11348049920 526952 33554432000 4194304 4196468 140724489721040 139670609918448 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15210] ppid=15143 vsize=11082080 memory=279762895372528 CPUtime=3.35 cores=0,2,4,6
/proc/15146/task/15210/stat : 15210 (java) S 15143 15146 12183 0 -1 1077944384 19475 12855 0 0 321 6 5 3 20 0 15 0 106962999 11348049920 526952 33554432000 4194304 4196468 140724489721040 139670608866160 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15211] ppid=15143 vsize=11082080 memory=279762895372528 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15211/stat : 15211 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11348049920 526952 33554432000 4194304 4196468 140724489721040 139668981017568 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15212] ppid=15143 vsize=11082080 memory=2081004 CPUtime=0.12 cores=0,2,4,6
/proc/15146/task/15212/stat : 15212 (java) S 15143 15146 12183 0 -1 1077944384 217 12855 0 0 2 2 5 3 20 0 15 0 106962999 11348049920 526952 33554432000 4194304 4196468 140724489721040 139670607813040 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
Current children cumulated CPU time: 124.73 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2107808 KiB
[startup+162.301 s]
/proc/loadavg: 1.70 1.74 1.61 3/215 15346
/proc/meminfo: memFree=21575048/32770624 swapFree=67108860/67108860
[pid=15146] ppid=15143 vsize=11082080 memory=2094480 CPUtime=185.85 cores=0,2,4,6
/proc/15146/stat : 15146 (java) S 15143 15146 12183 0 -1 1077944320 137092 12855 0 0 18432 145 5 3 20 0 15 0 106962984 11348049920 523620 33554432000 4194304 4196468 140724489721040 140724489703584 139671119130359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
/proc/15146/statm: 2770520 523620 3534 1 0 2732173 0
[pid=15146/tid=15199] ppid=15143 vsize=11082080 memory=2114752 CPUtime=161.22 cores=0,2,4,6
/proc/15146/task/15199/stat : 15199 (java) R 15143 15146 12183 0 -1 4202560 55736 12855 0 0 16078 36 5 3 20 0 15 0 106962993 11348049920 523620 33554432000 4194304 4196468 140724489721040 139671090965664 139670700611297 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15200] ppid=15143 vsize=11082080 memory=2110384 CPUtime=0.88 cores=0,2,4,6
/proc/15146/task/15200/stat : 15200 (java) S 15143 15146 12183 0 -1 1077944384 4227 12855 0 0 57 23 5 3 20 0 15 0 106962994 11348049920 523620 33554432000 4194304 4196468 140724489721040 139671123372944 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15201] ppid=15143 vsize=11082080 memory=2110384 CPUtime=0.87 cores=0,2,4,6
/proc/15146/task/15201/stat : 15201 (java) S 15143 15146 12183 0 -1 1077944384 2605 12855 0 0 56 23 5 3 20 0 15 0 106962994 11348049920 523620 33554432000 4194304 4196468 140724489721040 139671004637968 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15202] ppid=15143 vsize=11082080 memory=288230376152250308 CPUtime=0.85 cores=0,2,4,6
/proc/15146/task/15202/stat : 15202 (java) S 15143 15146 12183 0 -1 1077944384 1547 12855 0 0 54 23 5 3 20 0 15 0 106962994 11348049920 523620 33554432000 4194304 4196468 140724489721040 139671003585680 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15203] ppid=15143 vsize=11082080 memory=2133732 CPUtime=0.86 cores=0,2,4,6
/proc/15146/task/15203/stat : 15203 (java) S 15143 15146 12183 0 -1 1077944384 2993 12855 0 0 55 23 5 3 20 0 15 0 106962994 11348049920 523620 33554432000 4194304 4196468 140724489721040 139671002532880 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15204] ppid=15143 vsize=11082080 memory=4140 CPUtime=0.22 cores=0,2,4,6
/proc/15146/task/15204/stat : 15204 (java) S 15143 15146 12183 0 -1 1077944384 4967 12855 0 0 14 0 5 3 20 0 15 0 106962995 11348049920 523620 33554432000 4194304 4196468 140724489721040 139670612023408 139671119141506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15205] ppid=15143 vsize=11082080 memory=5412 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15205/stat : 15205 (java) S 15143 15146 12183 0 -1 1077944384 17 12855 0 0 0 0 5 3 20 0 15 0 106962996 11348049920 523620 33554432000 4194304 4196468 140724489721040 139669867062112 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15206] ppid=15143 vsize=11082080 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15206/stat : 15206 (java) S 15143 15146 12183 0 -1 1077944384 8 12855 0 0 0 0 5 3 20 0 15 0 106962996 11348049920 523620 33554432000 4194304 4196468 140724489721040 139669719213184 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15207] ppid=15143 vsize=11082080 memory=30628 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15207/stat : 15207 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11348049920 523620 33554432000 4194304 4196468 140724489721040 139669411813456 139671119148955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15208] ppid=15143 vsize=11082080 memory=1296 CPUtime=9.19 cores=0,2,4,6
/proc/15146/task/15208/stat : 15208 (java) S 15143 15146 12183 0 -1 1077944384 24111 12855 0 0 908 3 5 3 20 0 15 0 106962999 11348049920 523620 33554432000 4194304 4196468 140724489721040 139670610971248 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15209] ppid=15143 vsize=11082080 memory=2110384 CPUtime=8.82 cores=0,2,4,6
/proc/15146/task/15209/stat : 15209 (java) S 15143 15146 12183 0 -1 1077944384 18747 12855 0 0 871 3 5 3 20 0 15 0 106962999 11348049920 523620 33554432000 4194304 4196468 140724489721040 139670609918448 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15210] ppid=15143 vsize=11082080 memory=2110384 CPUtime=3.4 cores=0,2,4,6
/proc/15146/task/15210/stat : 15210 (java) S 15143 15146 12183 0 -1 1077944384 19691 12855 0 0 326 6 5 3 20 0 15 0 106962999 11348049920 523620 33554432000 4194304 4196468 140724489721040 139670608866160 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15211] ppid=15143 vsize=11082080 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15211/stat : 15211 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11348049920 523620 33554432000 4194304 4196468 140724489721040 139668981017568 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15212] ppid=15143 vsize=11082080 memory=30628 CPUtime=0.16 cores=0,2,4,6
/proc/15146/task/15212/stat : 15212 (java) S 15143 15146 12183 0 -1 1077944384 243 12855 0 0 4 4 5 3 20 0 15 0 106962999 11348049920 523620 33554432000 4194304 4196468 140724489721040 139670607813040 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
Current children cumulated CPU time: 185.85 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 2094480 KiB
[startup+222.301 s]
/proc/loadavg: 1.59 1.69 1.60 3/215 15476
/proc/meminfo: memFree=21626880/32770624 swapFree=67108860/67108860
[pid=15146] ppid=15143 vsize=11082080 memory=1877548 CPUtime=246.86 cores=0,2,4,6
/proc/15146/stat : 15146 (java) S 15143 15146 12183 0 -1 1077944320 149171 12855 0 0 24529 149 5 3 20 0 15 0 106962984 11348049920 469387 33554432000 4194304 4196468 140724489721040 140724489703584 139671119130359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
/proc/15146/statm: 2770520 469387 3534 1 0 2732173 0
[pid=15146/tid=15199] ppid=15143 vsize=11082080 memory=1898580 CPUtime=221.02 cores=0,2,4,6
/proc/15146/task/15199/stat : 15199 (java) R 15143 15146 12183 0 -1 4202560 58016 12855 0 0 22058 36 5 3 20 0 15 0 106962993 11348049920 469387 33554432000 4194304 4196468 140724489721040 139671090964704 139670700611538 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15200] ppid=15143 vsize=11082080 memory=4140 CPUtime=0.99 cores=0,2,4,6
/proc/15146/task/15200/stat : 15200 (java) S 15143 15146 12183 0 -1 1077944384 4363 12855 0 0 67 24 5 3 20 0 15 0 106962994 11348049920 469387 33554432000 4194304 4196468 140724489721040 139671123372944 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15201] ppid=15143 vsize=11082080 memory=1883188 CPUtime=0.97 cores=0,2,4,6
/proc/15146/task/15201/stat : 15201 (java) S 15143 15146 12183 0 -1 1077944384 2704 12855 0 0 66 23 5 3 20 0 15 0 106962994 11348049920 469387 33554432000 4194304 4196468 140724489721040 139671004637968 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15202] ppid=15143 vsize=11082080 memory=1908328 CPUtime=0.97 cores=0,2,4,6
/proc/15146/task/15202/stat : 15202 (java) S 15143 15146 12183 0 -1 1077944384 2204 12855 0 0 65 24 5 3 20 0 15 0 106962994 11348049920 469387 33554432000 4194304 4196468 140724489721040 139671003585680 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15203] ppid=15143 vsize=11082080 memory=1934488 CPUtime=0.97 cores=0,2,4,6
/proc/15146/task/15203/stat : 15203 (java) S 15143 15146 12183 0 -1 1077944384 3067 12855 0 0 66 23 5 3 20 0 15 0 106962994 11348049920 469387 33554432000 4194304 4196468 140724489721040 139671002532880 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15204] ppid=15143 vsize=11082080 memory=1941672 CPUtime=0.27 cores=0,2,4,6
/proc/15146/task/15204/stat : 15204 (java) S 15143 15146 12183 0 -1 1077944384 5240 12855 0 0 18 1 5 3 20 0 15 0 106962995 11348049920 469387 33554432000 4194304 4196468 140724489721040 139670612023408 139671119141506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15205] ppid=15143 vsize=11082080 memory=1925768 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15205/stat : 15205 (java) S 15143 15146 12183 0 -1 1077944384 17 12855 0 0 0 0 5 3 20 0 15 0 106962996 11348049920 469387 33554432000 4194304 4196468 140724489721040 139669867062112 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15206] ppid=15143 vsize=11082080 memory=1921148 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15206/stat : 15206 (java) S 15143 15146 12183 0 -1 1077944384 8 12855 0 0 0 0 5 3 20 0 15 0 106962996 11348049920 469387 33554432000 4194304 4196468 140724489721040 139669719213184 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15207] ppid=15143 vsize=11082080 memory=1933464 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15207/stat : 15207 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11348049920 469387 33554432000 4194304 4196468 140724489721040 139669411813456 139671119148955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15208] ppid=15143 vsize=11082080 memory=1908328 CPUtime=9.49 cores=0,2,4,6
/proc/15146/task/15208/stat : 15208 (java) S 15143 15146 12183 0 -1 1077944384 27048 12855 0 0 938 3 5 3 20 0 15 0 106962999 11348049920 469387 33554432000 4194304 4196468 140724489721040 139670610971248 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15209] ppid=15143 vsize=11082080 memory=1921148 CPUtime=9.13 cores=0,2,4,6
/proc/15146/task/15209/stat : 15209 (java) S 15143 15146 12183 0 -1 1077944384 21230 12855 0 0 902 3 5 3 20 0 15 0 106962999 11348049920 469387 33554432000 4194304 4196468 140724489721040 139670609918448 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15210] ppid=15143 vsize=11082080 memory=1885756 CPUtime=3.49 cores=0,2,4,6
/proc/15146/task/15210/stat : 15210 (java) S 15143 15146 12183 0 -1 1077944384 22806 12855 0 0 335 6 5 3 20 0 15 0 106962999 11348049920 469387 33554432000 4194304 4196468 140724489721040 139670608866160 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15211] ppid=15143 vsize=11082080 memory=1883188 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15211/stat : 15211 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11348049920 469387 33554432000 4194304 4196468 140724489721040 139668981017568 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15212] ppid=15143 vsize=11082080 memory=952 CPUtime=0.2 cores=0,2,4,6
/proc/15146/task/15212/stat : 15212 (java) S 15143 15146 12183 0 -1 1077944384 268 12855 0 0 6 6 5 3 20 0 15 0 106962999 11348049920 469387 33554432000 4194304 4196468 140724489721040 139670607813040 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
Current children cumulated CPU time: 246.86 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1877548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+227.401 s]
/proc/loadavg: 1.62 1.69 1.60 3/215 15476
/proc/meminfo: memFree=21545888/32770624 swapFree=67108860/67108860
[pid=15146] ppid=15143 vsize=11082080 memory=1843688 CPUtime=252.1 cores=0,2,4,6
/proc/15146/stat : 15146 (java) S 15143 15146 12183 0 -1 1077944320 149369 12855 0 0 25052 150 5 3 20 0 15 0 106962984 11348049920 460922 33554432000 4194304 4196468 140724489721040 140724489703584 139671119130359 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
/proc/15146/statm: 2770520 460922 3534 1 0 2732173 0
[pid=15146/tid=15199] ppid=15143 vsize=11082080 memory=6791534058613427641 CPUtime=226.08 cores=0,2,4,6
/proc/15146/task/15199/stat : 15199 (java) R 15143 15146 12183 0 -1 4202560 58024 12855 0 0 22564 36 5 3 20 0 15 0 106962993 11348049920 460922 33554432000 4194304 4196468 140724489721040 139671090964848 139670686050427 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15200] ppid=15143 vsize=11082080 memory=4004 CPUtime=1.01 cores=0,2,4,6
/proc/15146/task/15200/stat : 15200 (java) S 15143 15146 12183 0 -1 1077944384 4376 12855 0 0 69 24 5 3 20 0 15 0 106962994 11348049920 460922 33554432000 4194304 4196468 140724489721040 139671123372944 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15201] ppid=15143 vsize=11082080 memory=18448 CPUtime=1.01 cores=0,2,4,6
/proc/15146/task/15201/stat : 15201 (java) S 15143 15146 12183 0 -1 1077944384 2714 12855 0 0 69 24 5 3 20 0 15 0 106962994 11348049920 460922 33554432000 4194304 4196468 140724489721040 139671004637968 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15202] ppid=15143 vsize=11082080 memory=1844716 CPUtime=0.99 cores=0,2,4,6
/proc/15146/task/15202/stat : 15202 (java) S 15143 15146 12183 0 -1 1077944384 2232 12855 0 0 67 24 5 3 20 0 15 0 106962994 11348049920 460922 33554432000 4194304 4196468 140724489721040 139671003585680 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15203] ppid=15143 vsize=11082080 memory=6791534058613427641 CPUtime=0.99 cores=0,2,4,6
/proc/15146/task/15203/stat : 15203 (java) S 15143 15146 12183 0 -1 1077944384 3082 12855 0 0 68 23 5 3 20 0 15 0 106962994 11348049920 460922 33554432000 4194304 4196468 140724489721040 139671002532880 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15204] ppid=15143 vsize=11082080 memory=2340 CPUtime=0.27 cores=0,2,4,6
/proc/15146/task/15204/stat : 15204 (java) S 15143 15146 12183 0 -1 1077944384 5242 12855 0 0 18 1 5 3 20 0 15 0 106962995 11348049920 460922 33554432000 4194304 4196468 140724489721040 139670612023408 139671119141506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15205] ppid=15143 vsize=11082080 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15205/stat : 15205 (java) S 15143 15146 12183 0 -1 1077944384 17 12855 0 0 0 0 5 3 20 0 15 0 106962996 11348049920 460922 33554432000 4194304 4196468 140724489721040 139669867062112 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15206] ppid=15143 vsize=11082080 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15206/stat : 15206 (java) S 15143 15146 12183 0 -1 1077944384 8 12855 0 0 0 0 5 3 20 0 15 0 106962996 11348049920 460922 33554432000 4194304 4196468 140724489721040 139669719213184 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15207] ppid=15143 vsize=11082080 memory=1584 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15207/stat : 15207 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11348049920 460922 33554432000 4194304 4196468 140724489721040 139669411813456 139671119148955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15208] ppid=15143 vsize=11082080 memory=4124 CPUtime=9.51 cores=0,2,4,6
/proc/15146/task/15208/stat : 15208 (java) S 15143 15146 12183 0 -1 1077944384 27056 12855 0 0 940 3 5 3 20 0 15 0 106962999 11348049920 460922 33554432000 4194304 4196468 140724489721040 139670610971248 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15209] ppid=15143 vsize=11082080 memory=6791534058613427641 CPUtime=9.15 cores=0,2,4,6
/proc/15146/task/15209/stat : 15209 (java) S 15143 15146 12183 0 -1 1077944384 21340 12855 0 0 904 3 5 3 20 0 15 0 106962999 11348049920 460922 33554432000 4194304 4196468 140724489721040 139670609918448 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15210] ppid=15143 vsize=11082080 memory=1925768 CPUtime=3.49 cores=0,2,4,6
/proc/15146/task/15210/stat : 15210 (java) S 15143 15146 12183 0 -1 1077944384 22808 12855 0 0 335 6 5 3 20 0 15 0 106962999 11348049920 460922 33554432000 4194304 4196468 140724489721040 139670608866160 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15211] ppid=15143 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/15146/task/15211/stat : 15211 (java) S 15143 15146 12183 0 -1 1077944384 3 12855 0 0 0 0 5 3 20 0 15 0 106962999 11348049920 460922 33554432000 4194304 4196468 140724489721040 139668981017568 139671119140565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
[pid=15146/tid=15212] ppid=15143 vsize=11082080 memory=4004 CPUtime=0.2 cores=0,2,4,6
/proc/15146/task/15212/stat : 15212 (java) S 15143 15146 12183 0 -1 1077944384 270 12855 0 0 6 6 5 3 20 0 15 0 106962999 11348049920 460922 33554432000 4194304 4196468 140724489721040 139670607813040 139671119141506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140724489726578 140724489729377 140724489729377 140724489732047 0
Current children cumulated CPU time: 252.1 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1843688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+227.453 s]
# the end of solver process 15146 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.6 s, system=1.55826 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 227.453
CPU time (s): 252.158
CPU user time (s): 250.6
CPU system time (s): 1.55826
CPU usage (%): 110.862
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 2283724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.6
system time used= 1.55826
maximum resident set size= 2287748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162840
page faults= 0
swaps= 0
block input operations= 0
block output operations= 576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18420
involuntary context switches= 926
# summary of solver processes directly reported to runsolver:
# pid: 15146
# total CPU time (s): 252.158
# total CPU user time (s): 250.6
# total CPU system time (s): 1.55826
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42704 second user time and 2.11657 second system time
The end
Begin job on node107 at 2018-07-29 21:53:18 IDJOB=4302428 IDBENCH=141047 IDSOLVER=2776 FILE ID=node107/4302428-1532893998 RUNJOBID= node107-1532892903-13712 PBS_JOBID= 21022519 Free space on /tmp= 60800 MiB SOLVER NAME= Concrete 3.9.2 BENCH NAME= XCSP18/NurseRostering/NurseRostering-09_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302428-1532893998/watcher-4302428-1532893998 -o /tmp/evaluation-result-4302428-1532893998/solver-4302428-1532893998 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532892903-13712 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=786529438 HOME/instance-4302428-1532893998.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 01a28a521b9bba3b9351b91d9c8d3e2f RANDOM SEED=786529438 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 23506308 kB MemAvailable: 30736388 kB Buffers: 244680 kB Cached: 7249040 kB SwapCached: 0 kB Active: 5046608 kB Inactive: 3724768 kB Active(anon): 1229680 kB Inactive(anon): 76484 kB Active(file): 3816928 kB Inactive(file): 3648284 kB Unevictable: 7164 kB Mlocked: 7164 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 27060 kB Writeback: 0 kB AnonPages: 1285416 kB Mapped: 58280 kB Shmem: 25228 kB Slab: 189432 kB SReclaimable: 161404 kB SUnreclaim: 28028 kB KernelStack: 3520 kB PageTables: 7984 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2436440 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1040384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 60776 MiB End job on node107 at 2018-07-29 21:57:06