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) | 6148 | 2520.08 | 2444.34 |
| Name | NurseRostering/ NurseRostering-09_c18.xml |
| MD5SUM | 01a28a521b9bba3b9351b91d9c8d3e2f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2750 |
| Best CPU time to get the best result obtained on this benchmark | 2520.08 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1844 |
| Number of constraints | 4787 |
| Number of domains | 17 |
| Minimum domain size | 1 |
| Maximum domain size | 37 |
| Distribution of domain sizes | [{"size":1,"count":60},{"size":2,"count":376},{"size":3,"count":8},{"size":4,"count":7},{"size":5,"count":1014},{"size":6,"count":6},{"size":29,"count":121},{"size":37,"count":252}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 25 |
| Distribution of variable degrees | [{"degree":2,"count":692},{"degree":3,"count":144},{"degree":14,"count":14},{"degree":15,"count":38},{"degree":16,"count":18},{"degree":17,"count":15},{"degree":18,"count":42},{"degree":19,"count":59},{"degree":20,"count":68},{"degree":21,"count":132},{"degree":22,"count":199},{"degree":23,"count":238},{"degree":24,"count":163},{"degree":25,"count":22}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 72 |
| Distribution of constraint arities | [{"arity":2,"count":2474},{"arity":3,"count":936},{"arity":4,"count":186},{"arity":5,"count":180},{"arity":6,"count":690},{"arity":29,"count":180},{"arity":37,"count":140},{"arity":72,"count":1}] |
| Number of extensional constraints | 1112 |
| Number of intensional constraints | 552 |
| Distribution of constraint types | [{"type":"extension","count":1112},{"type":"intension","count":552},{"type":"regular","count":1896},{"type":"sum","count":72},{"type":"count","count":1154},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.97/0.74 c Concrete v3.9.2.1532736233296 running 14.89/5.78 c 05:17:25.676 [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.89/5.79 c 05:17:25.684 [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.89/5.79 c 05:17:25.685 [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.89/5.79 c 05:17:25.687 [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.89/5.79 c 05:17:25.687 [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.89/5.79 c 05:17:25.690 [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.89/5.80 c 05:17:25.691 [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.89/5.80 c 05:17:25.692 [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 15.20/5.80 c 05:17:25.693 [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 15.20/5.80 c 05:17:25.694 [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 15.20/5.80 c 05:17:25.696 [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 15.20/5.80 c 05:17:25.697 [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 15.20/5.80 c 05:17:25.698 [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 15.20/5.80 c 05:17:25.699 [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 15.20/5.80 c 05:17:25.701 [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 15.20/5.81 c 05:17:25.701 [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 15.20/5.81 c 05:17:25.703 [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 15.20/5.81 c 05:17:25.704 [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 15.20/5.81 c 05:17:25.706 [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 15.20/5.81 c 05:17:25.707 [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 15.20/5.81 c 05:17:25.708 [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 15.20/5.81 c 05:17:25.710 [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 15.20/5.81 c 05:17:25.711 [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 15.20/5.82 c 05:17:25.713 [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 15.20/5.82 c 05:17:25.714 [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 15.20/5.82 c 05:17:25.714 [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.20/5.82 c 05:17:25.715 [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.20/5.82 c 05:17:25.716 [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.20/5.82 c 05:17:25.717 [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.20/5.82 c 05:17:25.718 [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.20/5.82 c 05:17:25.719 [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.20/5.82 c 05:17:25.719 [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.20/5.82 c 05:17:25.720 [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.20/5.82 c 05:17:25.721 [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.20/5.83 c 05:17:25.722 [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.20/5.83 c 05:17:25.723 [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.20/5.83 c 05:17:25.724 [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.20/5.83 c 05:17:25.726 [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.20/5.83 c 05:17:25.727 [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.20/5.83 c 05:17:25.729 [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.20/5.84 c 05:17:25.730 [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.20/5.84 c 05:17:25.731 [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.20/5.84 c 05:17:25.733 [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.20/5.84 c 05:17:25.733 [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.20/5.84 c 05:17:25.735 [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.20/5.84 c 05:17:25.736 [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.20/5.84 c 05:17:25.738 [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.20/5.85 c 05:17:25.739 [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.20/5.85 c 05:17:25.740 [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.20/5.85 c 05:17:25.742 [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.20/5.85 c 05:17:25.742 [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.20/5.85 c 05:17:25.744 [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.20/5.85 c 05:17:25.745 [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.20/5.85 c 05:17:25.747 [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.20/5.85 c 05:17:25.747 [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.20/5.85 c 05:17:25.748 [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.20/5.85 c 05:17:25.750 [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.20/5.85 c 05:17:25.750 [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.20/5.85 c 05:17:25.750 [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.20/5.86 c 05:17:25.753 [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.20/5.86 c 05:17:25.753 [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.20/5.86 c 05:17:25.754 [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.20/5.86 c 05:17:25.755 [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.20/5.86 c 05:17:25.756 [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.20/5.86 c 05:17:25.757 [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.20/5.86 c 05:17:25.757 [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.20/5.86 c 05:17:25.758 [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.20/5.87 c 05:17:25.758 [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.20/5.87 c 05:17:25.759 [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.20/5.87 c 05:17:25.760 [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.20/5.87 c 05:17:25.762 [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.20/5.87 c 05:17:25.762 [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.20/5.87 c 05:17:25.763 [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.20/5.87 c 05:17:25.763 [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.20/5.87 c 05:17:25.765 [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.20/5.87 c 05:17:25.765 [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.20/5.87 c 05:17:25.767 [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.20/5.87 c 05:17:25.768 [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.20/5.88 c 05:17:25.769 [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.20/5.88 c 05:17:25.770 [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.20/5.88 c 05:17:25.771 [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.20/5.88 c 05:17:25.771 [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.20/5.88 c 05:17:25.773 [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.20/5.88 c 05:17:25.774 [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.20/5.88 c 05:17:25.775 [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.20/5.88 c 05:17:25.776 [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.20/5.88 c 05:17:25.777 [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.20/5.88 c 05:17:25.777 [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.20/5.88 c 05:17:25.779 [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.20/5.88 c 05:17:25.779 [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.20/5.88 c 05:17:25.781 [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.20/5.88 c 05:17:25.782 [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.20/5.89 c 05:17:25.783 [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.20/5.89 c 05:17:25.784 [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.20/5.89 c 05:17:25.786 [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.20/5.89 c 05:17:25.787 [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.20/5.89 c 05:17:25.787 [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.20/5.89 c 05:17:25.789 [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.20/5.89 c 05:17:25.790 [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.20/5.89 c 05:17:25.790 [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.20/5.90 c 05:17:25.792 [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.54/5.90 c 05:17:25.793 [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.54/5.90 c 05:17:25.793 [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.54/5.90 c 05:17:25.795 [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.54/5.90 c 05:17:25.795 [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.54/5.90 c 05:17:25.797 [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.54/5.90 c 05:17:25.798 [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.54/5.90 c 05:17:25.799 [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.54/5.90 c 05:17:25.800 [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.54/5.90 c 05:17:25.801 [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.54/5.91 c 05:17:25.802 [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.54/5.91 c 05:17:25.803 [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.54/5.91 c 05:17:25.805 [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.54/5.91 c 05:17:25.805 [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.54/5.91 c 05:17:25.807 [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.54/5.91 c 05:17:25.807 [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.54/5.91 c 05:17:25.808 [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.54/5.91 c 05:17:25.809 [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.54/5.91 c 05:17:25.809 [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.54/5.91 c 05:17:25.811 [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.54/5.91 c 05:17:25.811 [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.54/5.92 c 05:17:25.813 [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.54/5.92 c 05:17:25.813 [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.54/5.93 c 05:17:25.815 [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.54/5.93 c 05:17:25.815 [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.54/5.93 c 05:17:25.816 [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.54/5.93 c 05:17:25.817 [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.54/5.93 c 05:17:25.817 [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.54/5.93 c 05:17:25.819 [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.54/5.93 c 05:17:25.819 [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.54/5.93 c 05:17:25.819 [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.54/5.99 c 05:17:25.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17740. 'extension(x[1][22]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17746. 'extension(x[1][27]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(x[1][35]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17758. 'extension(x[0][10]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17760. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17772. 'extension(x[0][31]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17778. 'extension(x[0][32]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17784. 'extension(x[1][6]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17790. 'extension(x[1][27]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17792. 'extension(x[3][27]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17802. 'extension(x[3][31]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17808. 'extension(x[3][32]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17814. 'extension(x[4][6]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17828. 'extension(x[2][9]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17830. 'extension(x[4][9]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/5.99 c 05:17:25.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17844. 'extension(x[2][18]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17850. 'extension(x[2][20]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17852. 'extension(x[4][20]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17864. 'extension(x[5][18]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17874. 'extension(wk[26][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17876. 'extension(x[4][26]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17882. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17884. 'extension(x[4][33]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17890. 'extension(wk[11][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17892. 'extension(x[5][11]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17898. 'extension(wk[26][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17900. 'extension(x[7][26]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17906. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17908. 'extension(x[7][33]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17914. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17930. 'extension(x[6][15]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17932. 'extension(x[8][15]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17948. 'extension(x[6][25]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17954. 'extension(x[6][28]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17956. 'extension(x[8][28]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17966. 'extension(x[7][8]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17968. 'extension(x[9][8]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17982. 'extension(x[9][25]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17992. 'extension(x[8][1]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17998. 'extension(x[11][1]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18012. 'extension(x[9][35]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.00 c 05:17:25.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18014. 'extension(x[11][35]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.01 c 05:17:25.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18024. 'extension(x[10][14]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.01 c 05:17:25.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18030. 'extension(x[10][24]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.01 c 05:17:25.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18036. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.54/6.01 c 05:17:25.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18038. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.01 c 05:17:25.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18054. 'extension(wk[15][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.54/6.01 c 05:17:25.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18056. 'extension(x[11][15]=[0‥4]) :: init: true :: relation: Empty MDD 15.54/6.01 c 05:17:25.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(x[13][15]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18074. 'extension(wk[24][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18076. 'extension(x[13][24]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18086. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18088. 'extension(x[12][3]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18094. 'extension(wk[30][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18096. 'extension(x[12][30]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18102. 'extension(wk[34][1]=[0‥1]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18104. 'extension(x[12][34]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18110. 'extension(x[15][3]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18124. 'extension(x[13][5]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18130. 'extension(x[13][17]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18136. 'extension(x[13][20]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18138. 'extension(x[15][20]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18150. 'extension(x[13][22]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18152. 'extension(x[15][22]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.01 c 05:17:25.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18164. 'extension(x[15][30]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18170. 'extension(x[15][34]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18176. 'extension(x[14][0]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18178. 'extension(x[16][0]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18192. 'extension(x[16][5]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18206. 'extension(x[16][17]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18216. 'extension(x[14][28]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18218. 'extension(x[16][28]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18228. 'extension(x[15][23]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18230. 'extension(x[17][23]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18242. 'extension(x[16][4]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18244. 'extension(x[18][4]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18258. 'extension(x[17][0]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18260. 'extension(x[19][0]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18274. 'extension(x[17][7]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18280. 'extension(x[17][8]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18282. 'extension(x[19][8]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18296. 'extension(wk[7][2]=[0‥1]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18298. 'extension(x[20][7]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18312. 'extension(x[20][12]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18318. 'extension(x[20][23]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18320. 'extension(x[22][23]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18332. 'extension(x[21][9]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.02 c 05:17:25.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18334. 'extension(x[23][9]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18348. 'extension(x[23][12]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18364. 'extension(x[21][13]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18366. 'extension(x[23][13]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18380. 'extension(x[21][21]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18386. 'extension(x[22][4]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18388. 'extension(x[24][4]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18402. 'extension(x[24][21]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18412. 'extension(x[23][2]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18418. 'extension(x[23][16]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18424. 'extension(x[23][29]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18430. 'extension(x[26][2]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18444. 'extension(x[24][10]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18446. 'extension(x[26][10]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18460. 'extension(x[24][13]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18462. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18476. 'extension(x[26][16]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18486. 'extension(x[24][19]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18492. 'extension(x[26][29]=[0‥4]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18498. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD 15.84/6.03 c 05:17:25.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18500. 'extension(x[27][19]=[0‥4]) :: init: true :: relation: Empty MDD 58.85/37.36 o 6640 60.11/37.96 o 6540 838.59/796.27 o 6452 838.80/796.30 o 6451 838.80/796.39 o 6450 839.09/796.41 o 6449 840.17/797.08 o 6350 844.67/801.39 o 6349 855.19/811.55 o 6348 855.19/811.56 o 6249 855.19/811.58 o 6248 894.57/849.18 o 6148 2520.03/2444.30 Exception in thread "main" java.util.concurrent.TimeoutException 2520.03/2444.30 at concrete.MAC.mac(MAC.scala:188) 2520.03/2444.30 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.03/2444.30 at scala.util.Try$.apply(Try.scala:209) 2520.03/2444.30 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.03/2444.30 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.03/2444.30 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.03/2444.30 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.03/2444.30 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.03/2444.30 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.03/2444.30 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.03/2444.30 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.03/2444.30 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.03/2444.30 at concrete.MAC.oneRun(MAC.scala:253) 2520.03/2444.30 at concrete.MAC.nextSolution(MAC.scala:272) 2520.03/2444.30 at concrete.MAC.nextSolution(MAC.scala:355) 2520.03/2444.30 at concrete.Solver.hasNext(Solver.scala:166) 2520.03/2444.30 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.03/2444.30 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.03/2444.30 at concrete.Solver.foreach(Solver.scala:68) 2520.03/2444.30 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.03/2444.30 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.03/2444.30 at scala.util.Success.map(Try.scala:209) 2520.03/2444.30 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.03/2444.30 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.03/2444.30 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.03/2444.30 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.03/2444.30 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.03/2444.30 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.03/2444.30 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.03/2444.30 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.03/2444.30 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.03/2444.30 at scala.collection.immutable.List.foreach(List.scala:389) 2520.03/2444.30 at scala.App.main(App.scala:76) 2520.03/2444.30 at scala.App.main$(App.scala:74) 2520.03/2444.30 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.03/2444.30 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.03/2444.32 v <instantiation cost="6148"> 2520.03/2444.32 v <list> 2520.03/2444.32 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][3] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[140] cn[141] cn[142] cn[143] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[70] cf[71] cf[72] cf[73] cf[74] cf[75] cf[76] cf[77] cf[78] cf[79] cf[80] cf[81] cf[82] cf[83] cf[84] cf[85] cf[86] cf[87] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] 2520.03/2444.32 v </list> 2520.03/2444.32 v <values> 2520.03/2444.32 v 4 0 2 4 1 1 0 4 0 3 4 4 2 1 1 4 4 4 4 4 4 1 4 3 4 4 4 4 4 4 4 4 4 4 4 4 4 0 2 1 1 1 0 4 0 3 4 0 2 1 1 4 4 4 4 2 4 4 2 4 4 4 3 4 1 4 4 4 4 4 4 4 0 0 2 2 1 1 4 4 0 3 4 0 2 4 4 4 4 4 4 2 4 4 2 4 4 1 4 4 1 4 4 4 4 4 4 4 0 0 4 4 4 4 4 0 1 4 2 0 4 4 4 0 1 4 4 4 4 4 2 2 0 1 4 4 1 4 4 3 4 1 4 4 0 2 4 4 4 4 0 3 4 4 2 4 4 4 4 0 1 4 4 4 0 4 4 4 4 1 4 4 4 4 4 4 4 1 4 4 4 4 4 4 4 4 0 3 4 4 4 4 4 4 0 4 1 2 4 4 2 0 4 4 4 1 4 4 4 4 0 4 4 4 2 4 4 4 4 4 0 4 0 3 4 4 4 4 4 4 2 4 1 3 1 3 4 0 2 4 2 4 4 4 4 0 4 1 4 4 4 2 0 2 1 4 0 0 0 3 4 4 4 4 1 4 4 4 4 4 4 3 4 1 2 1 2 4 4 4 4 0 4 4 4 4 4 2 2 2 1 4 4 0 4 4 4 4 2 0 1 4 4 0 4 4 4 4 1 1 4 2 3 4 2 4 4 0 4 4 4 4 4 4 2 4 2 1 4 0 4 4 1 4 2 0 3 0 4 0 4 1 3 4 1 4 4 4 3 4 4 4 4 4 2 4 4 4 4 2 2 4 4 3 0 0 0 0 2 0 3 3 4 0 4 1 4 4 4 4 4 4 4 4 4 4 3 4 4 4 4 4 4 4 1 4 2 0 4 3 0 3 0 0 4 2 4 4 4 1 4 1 4 4 4 4 4 0 4 4 4 4 4 1 4 4 2 4 4 4 1 4 4 2 0 3 4 4 4 0 4 2 4 4 4 4 4 4 1 0 4 4 4 0 2 0 4 4 2 1 4 4 4 4 4 4 4 4 4 4 0 4 4 4 4 3 0 2 4 4 4 4 1 4 4 3 4 1 4 4 2 2 4 4 4 1 4 0 4 4 0 4 4 0 4 4 4 4 0 4 4 4 1 4 2 4 4 4 2 4 4 4 0 4 4 4 4 4 2 0 4 1 4 4 4 3 0 3 4 4 4 4 4 1 0 4 4 4 1 4 2 4 4 4 2 0 4 4 3 4 4 4 4 4 2 4 4 4 4 0 4 4 4 3 4 2 3 1 0 2 1 0 4 4 3 4 2 4 1 4 4 3 4 4 4 4 4 4 2 4 4 4 4 4 4 4 4 4 4 4 4 2 3 1 0 2 4 0 0 4 3 0 2 4 1 4 4 4 4 4 4 4 0 4 4 2 4 1 4 4 4 4 4 4 4 4 4 4 4 4 0 2 4 0 0 4 4 0 4 4 1 0 4 4 2 4 4 1 0 1 4 4 4 1 2 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 4 4 2 4 2 1 0 4 4 4 4 4 1 0 4 2 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 4 4 4 4 4 4 2 4 3 4 0 4 4 4 4 0 1 0 4 2 1 1 4 4 4 4 4 4 4 0 4 1 4 0 0 0 4 0 4 4 2 4 4 4 4 4 3 4 0 1 2 0 1 4 3 4 4 4 4 4 4 4 4 4 4 0 4 1 4 3 4 1 1 0 3 0 2 4 4 4 4 4 4 3 3 2 2 0 4 4 4 4 4 4 4 4 3 4 4 4 2 0 4 1 4 4 4 4 1 4 3 1 2 4 1 0 4 4 4 3 4 2 2 0 4 4 4 4 4 1 4 4 4 2 0 4 4 0 2 1 4 4 2 4 1 4 4 1 2 0 1 0 4 4 4 3 4 4 2 0 3 4 4 4 0 4 4 2 4 4 4 1 0 1 4 4 4 0 2 4 3 0 4 1 2 0 1 4 0 4 4 3 4 4 2 4 4 0 4 4 4 4 1 4 4 1 4 1 4 4 4 4 4 1 4 0 3 0 4 1 4 1 4 4 0 3 0 4 3 2 4 4 4 3 4 4 4 2 1 4 4 3 1 1 4 4 4 4 4 4 4 0 4 1 4 4 4 2 4 4 2 3 0 4 3 4 4 1 4 4 0 4 3 4 1 4 1 4 4 1 1 4 1 4 0 6 1 4 3 14 7 2 6 0 13 8 3 4 0 13 0 6 4 5 13 10 5 0 0 13 8 3 0 3 14 11 4 0 0 13 4 0 5 5 14 6 5 2 2 13 3 3 5 3 14 2 0 8 1 17 7 0 2 2 17 0 6 3 3 16 7 3 0 1 17 1 3 3 4 17 6 2 0 4 16 0 6 4 0 18 1 1 6 2 18 6 2 0 2 18 0 5 2 3 18 6 2 1 1 18 5 4 0 1 18 0 0 10 0 18 2 2 4 2 18 1 2 5 2 18 1 9 0 0 18 0 0 4 2 22 0 5 0 1 22 0 4 1 1 22 6 1 0 0 21 1 4 2 0 21 1 2 1 2 22 6 1 0 0 21 0 3 1 2 22 0 6 1 0 21 2 0 5 0 21 3 5 2 2 24 4 6 4 2 20 4 4 5 1 22 6 5 3 1 21 4 3 2 1 26 4 2 3 1 26 4 3 4 3 22 5 4 4 2 21 4 4 5 1 22 4 4 5 3 20 6 2 2 4 22 5 4 3 2 22 5 2 4 1 24 5 3 3 2 23 4 2 3 2 25 3 2 4 2 25 2 3 4 3 24 5 3 3 2 23 6 4 3 0 23 3 2 3 0 28 5 4 2 1 24 7 3 2 2 22 4 3 4 5 20 4 5 5 2 20 5 5 4 2 20 5 5 3 2 21 4 6 2 5 19 4 7 2 3 20 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 0 1 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 3 3 0 0 2 2 2 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 3 3 3 0 3 0 0 0 0 0 0 0 0 2 2 3 3 0 0 0 0 0 3 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 3 0 0 0 1 1 0 0 0 2 2 2 0 0 3 3 3 3 2 0 2 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 1 2 0 0 2 0 0 0 0 1 0 0 1 1 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 400 0 0 1 0 0 0 0 0 0 0 0 0 1 0 200 0 0 1 0 200 100 0 0 0 200 100 0 1 100 0 2 0 2 0 0 100 0 1 0 2 200 0 0 0 1 0 0 2 0 0 0 0 1 200 200 0 0 0 0 0 300 0 1 0 100 100 0 0 0 0 100 0 100 100 0 100 0 0 0 0 0 0 2 0 200 0 0 3 0 200 300 0 1 200 100 200 0 0 0 100 200 0 1 200 400 100 0 0 0 0 3 0 0 0 0 0 0 0 0 100 0 0 0 1 200 100 0 1 0 100 0 0 0 0 400 0 0 2520.03/2444.32 v </values> 2520.03/2444.32 v </instantiation> 2520.03/2444.32 s SATISFIABLE
OK 6148
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 (5671 MiB free)
memory of node 1: 16384 MiB (5426 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304167-1534043839/watcher-4304167-1534043839 -o /tmp/evaluation-result-4304167-1534043839/solver-4304167-1534043839 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534038877-15391 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=176187215 HOME/instance-4304167-1534043839.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16074, runsolver pid=16071
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 1.04 1.32 1.38 3/206 16131
/proc/meminfo: memFree=11354288/32770624 swapFree=67108496/67108860
[pid=16074] ppid=16071 vsize=10022588 memory=18856 CPUtime=0.08 cores=1,3,5,7
/proc/16074/stat : 16074 (java) S 16071 16074 14233 0 -1 1077944320 4351 12979 0 0 1 0 5 2 20 0 7 0 221947132 10263130112 4714 33554432000 4194304 4196468 140723559301696 140723559284240 140244990930679 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
/proc/16074/statm: 2505647 4714 1972 1 0 2494085 0
[pid=16074/tid=16127] ppid=16071 vsize=10088124 memory=4279135704013833615 CPUtime=0.08 cores=1,3,5,7
/proc/16074/task/16127/stat : 16127 (java) R 16071 16074 14233 0 -1 4202560 2174 12979 0 0 1 0 5 2 20 0 7 0 221947141 10330238976 4714 33554432000 4194304 4196468 140723559301696 140244962773776 140244523495163 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16128] ppid=16071 vsize=10088124 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16128/stat : 16128 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 7 0 221947141 10330238976 4780 33554432000 4194304 4196468 140723559301696 140244995173264 140244990940885 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16129] ppid=16071 vsize=10088124 memory=140381112247936 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16129/stat : 16129 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 7 0 221947141 10330238976 4780 33554432000 4194304 4196468 140723559301696 140244849892112 140244990940885 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16130] ppid=16071 vsize=10088124 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16130/stat : 16130 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 7 0 221947141 10330238976 4780 33554432000 4194304 4196468 140723559301696 140244848839824 140244990940885 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16131] ppid=16071 vsize=10088124 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16131/stat : 16131 (java) S 16071 16074 14233 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 7 0 221947141 10330238976 4780 33554432000 4194304 4196468 140723559301696 140244847787024 140244990940885 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16132] ppid=16071 vsize=10088124 memory=140381112247936 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16132/stat : 16132 (java) S 16071 16074 14233 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 7 0 221947143 10330238976 4780 33554432000 4194304 4196468 140723559301696 140244416399472 140244990941826 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10022588 KiB
Current children cumulated memory: 18856 KiB
[startup+0.21036 s]*
/proc/loadavg: 1.04 1.32 1.38 3/215 16140
/proc/meminfo: memFree=11332972/32770624 swapFree=67108496/67108860
[pid=16074] ppid=16071 vsize=10982744 memory=46268 CPUtime=0.24 cores=1,3,5,7
/proc/16074/stat : 16074 (java) S 16071 16074 14233 0 -1 1077944320 7794 12979 0 0 16 1 5 2 20 0 15 0 221947132 11246329856 11567 33554432000 4194304 4196468 140723559301696 140723559284240 140244990930679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
/proc/16074/statm: 2745686 11567 2949 1 0 2708109 0
[pid=16074/tid=16127] ppid=16071 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/16074/task/16127/stat : 16127 (java) R 16071 16074 14233 0 -1 4202560 4343 12979 0 0 10 1 5 2 20 0 15 0 221947141 11246329856 11567 33554432000 4194304 4196468 140723559301696 140244962747792 140244990952605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16128] ppid=16071 vsize=10982744 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16128/stat : 16128 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947141 11246329856 11567 33554432000 4194304 4196468 140723559301696 140244995173264 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16129] ppid=16071 vsize=10982744 memory=140381112263596 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16129/stat : 16129 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947141 11246329856 11567 33554432000 4194304 4196468 140723559301696 140244849892112 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16130] ppid=16071 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16130/stat : 16130 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947141 11246329856 11567 33554432000 4194304 4196468 140723559301696 140244848839824 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16131] ppid=16071 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16131/stat : 16131 (java) S 16071 16074 14233 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 221947141 11246329856 11567 33554432000 4194304 4196468 140723559301696 140244847787024 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16132] ppid=16071 vsize=10982744 memory=140381112247936 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16132/stat : 16132 (java) S 16071 16074 14233 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 221947143 11246329856 11567 33554432000 4194304 4196468 140723559301696 140244416399472 140244990941826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16133] ppid=16071 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16133/stat : 16133 (java) S 16071 16074 14233 0 -1 1077944384 13 12979 0 0 0 0 5 2 20 0 15 0 221947143 11246329856 11567 33554432000 4194304 4196468 140723559301696 140243835544352 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16134] ppid=16071 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16134/stat : 16134 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947143 11246329856 11567 33554432000 4194304 4196468 140723559301696 140243634218096 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16135] ppid=16071 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16135/stat : 16135 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11246329856 11567 33554432000 4194304 4196468 140723559301696 140243326818384 140244990949275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16136] ppid=16071 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16074/task/16136/stat : 16136 (java) S 16071 16074 14233 0 -1 1077944384 362 12979 0 0 1 0 5 2 20 0 15 0 221947146 11246329856 11567 33554432000 4194304 4196468 140723559301696 140244415347312 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16137] ppid=16071 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16074/task/16137/stat : 16137 (java) S 16071 16074 14233 0 -1 1077944384 262 12979 0 0 1 0 5 2 20 0 15 0 221947146 11246329856 11567 33554432000 4194304 4196468 140723559301696 140244414294512 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16138] ppid=16071 vsize=10982744 memory=140381112247936 CPUtime=0.1 cores=1,3,5,7
/proc/16074/task/16138/stat : 16138 (java) R 16071 16074 14233 0 -1 4202560 612 12979 0 0 3 0 5 2 20 0 15 0 221947146 11246329856 11567 33554432000 4194304 4196468 140723559301696 140244413242224 140244969733808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16139] ppid=16071 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16139/stat : 16139 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11246329856 11567 33554432000 4194304 4196468 140723559301696 140242896022496 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16140] ppid=16071 vsize=10982744 memory=140381112247936 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16140/stat : 16140 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947146 11246329856 11567 33554432000 4194304 4196468 140723559301696 140244412189104 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46268 KiB
[startup+0.310213 s]*
/proc/loadavg: 1.04 1.32 1.38 3/215 16140
/proc/meminfo: memFree=11321560/32770624 swapFree=67108496/67108860
[pid=16074] ppid=16071 vsize=10983192 memory=56940 CPUtime=0.37 cores=1,3,5,7
/proc/16074/stat : 16074 (java) S 16071 16074 14233 0 -1 1077944320 10291 12979 0 0 28 2 5 2 20 0 15 0 221947132 11246788608 14235 33554432000 4194304 4196468 140723559301696 140723559284240 140244990930679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
/proc/16074/statm: 2745798 14235 3068 1 0 2708109 0
[pid=16074/tid=16127] ppid=16071 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/16074/task/16127/stat : 16127 (java) R 16071 16074 14233 0 -1 4202560 6830 12979 0 0 19 2 5 2 20 0 15 0 221947141 11246788608 14235 33554432000 4194304 4196468 140723559301696 140244962742688 140244975011166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16128] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16128/stat : 16128 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947141 11246788608 14235 33554432000 4194304 4196468 140723559301696 140244995173264 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16129] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16129/stat : 16129 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947141 11246788608 14235 33554432000 4194304 4196468 140723559301696 140244849892112 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16130] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16130/stat : 16130 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947141 11246788608 14235 33554432000 4194304 4196468 140723559301696 140244848839824 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16131] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16131/stat : 16131 (java) S 16071 16074 14233 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 221947141 11246788608 14235 33554432000 4194304 4196468 140723559301696 140244847787024 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16132] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16132/stat : 16132 (java) S 16071 16074 14233 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 221947143 11246788608 14235 33554432000 4194304 4196468 140723559301696 140244416399472 140244990941826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16133] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16133/stat : 16133 (java) S 16071 16074 14233 0 -1 1077944384 13 12979 0 0 0 0 5 2 20 0 15 0 221947143 11246788608 14235 33554432000 4194304 4196468 140723559301696 140243835544352 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16134] ppid=16071 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16134/stat : 16134 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947143 11246788608 14235 33554432000 4194304 4196468 140723559301696 140243634218096 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16135] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16135/stat : 16135 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11246788608 14235 33554432000 4194304 4196468 140723559301696 140243326818384 140244990949275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16136] ppid=16071 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16074/task/16136/stat : 16136 (java) S 16071 16074 14233 0 -1 1077944384 363 12979 0 0 1 0 5 2 20 0 15 0 221947146 11246788608 14235 33554432000 4194304 4196468 140723559301696 140244415347312 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16137] ppid=16071 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16074/task/16137/stat : 16137 (java) S 16071 16074 14233 0 -1 1077944384 262 12979 0 0 1 0 5 2 20 0 15 0 221947146 11246788608 14235 33554432000 4194304 4196468 140723559301696 140244414294512 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16138] ppid=16071 vsize=10983192 memory=140381112247936 CPUtime=0.12 cores=1,3,5,7
/proc/16074/task/16138/stat : 16138 (java) S 16071 16074 14233 0 -1 1077944384 618 12979 0 0 5 0 5 2 20 0 15 0 221947146 11246788608 14235 33554432000 4194304 4196468 140723559301696 140244413242224 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16139] ppid=16071 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16139/stat : 16139 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11246788608 14235 33554432000 4194304 4196468 140723559301696 140242896022496 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16140] ppid=16071 vsize=10983192 memory=140381112247936 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16140/stat : 16140 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947146 11246788608 14235 33554432000 4194304 4196468 140723559301696 140244412189104 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56940 KiB
[startup+0.700753 s]
/proc/loadavg: 1.04 1.32 1.38 3/215 16140
/proc/meminfo: memFree=11311108/32770624 swapFree=67108496/67108860
[pid=16074] ppid=16071 vsize=10983192 memory=89420 CPUtime=0.97 cores=1,3,5,7
/proc/16074/stat : 16074 (java) S 16071 16074 14233 0 -1 1077944320 16394 12979 0 0 86 4 5 2 20 0 15 0 221947132 11246788608 22355 33554432000 4194304 4196468 140723559301696 140723559284240 140244990930679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
/proc/16074/statm: 2745798 22355 3238 1 0 2708109 0
[pid=16074/tid=16127] ppid=16071 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/16074/task/16127/stat : 16127 (java) R 16071 16074 14233 0 -1 4202560 11874 12979 0 0 56 3 5 2 20 0 15 0 221947141 11246788608 22355 33554432000 4194304 4196468 140723559301696 140244962751504 140244971206466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16128] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16128/stat : 16128 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947141 11246788608 22355 33554432000 4194304 4196468 140723559301696 140244995173264 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16129] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16129/stat : 16129 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947141 11246788608 22355 33554432000 4194304 4196468 140723559301696 140244849892112 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16130] ppid=16071 vsize=10983192 memory=8514701219931451533 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16130/stat : 16130 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947141 11246788608 22355 33554432000 4194304 4196468 140723559301696 140244848839824 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16131] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16131/stat : 16131 (java) S 16071 16074 14233 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 221947141 11246788608 22355 33554432000 4194304 4196468 140723559301696 140244847787024 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16132] ppid=16071 vsize=10983192 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16132/stat : 16132 (java) S 16071 16074 14233 0 -1 1077944384 5 12979 0 0 0 0 5 2 20 0 15 0 221947143 11246788608 22355 33554432000 4194304 4196468 140723559301696 140244416399472 140244990941826 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16133] ppid=16071 vsize=10983192 memory=68 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16133/stat : 16133 (java) S 16071 16074 14233 0 -1 1077944384 13 12979 0 0 0 0 5 2 20 0 15 0 221947143 11246788608 22355 33554432000 4194304 4196468 140723559301696 140243835544352 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16134] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16134/stat : 16134 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947143 11246788608 22355 33554432000 4194304 4196468 140723559301696 140243634218096 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16135] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16135/stat : 16135 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11246788608 22355 33554432000 4194304 4196468 140723559301696 140243326818384 140244990949275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16136] ppid=16071 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/16074/task/16136/stat : 16136 (java) S 16071 16074 14233 0 -1 1077944384 758 12979 0 0 7 0 5 2 20 0 15 0 221947146 11246788608 22355 33554432000 4194304 4196468 140723559301696 140244415347312 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16137] ppid=16071 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/16074/task/16137/stat : 16137 (java) S 16071 16074 14233 0 -1 1077944384 872 12979 0 0 9 0 5 2 20 0 15 0 221947146 11246788608 22355 33554432000 4194304 4196468 140723559301696 140244414294512 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16138] ppid=16071 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/16074/task/16138/stat : 16138 (java) S 16071 16074 14233 0 -1 1077944384 668 12979 0 0 13 0 5 2 20 0 15 0 221947146 11246788608 22355 33554432000 4194304 4196468 140723559301696 140244413242224 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16139] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16139/stat : 16139 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11246788608 22355 33554432000 4194304 4196468 140723559301696 140242896022496 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16140] ppid=16071 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16140/stat : 16140 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947146 11246788608 22355 33554432000 4194304 4196468 140723559301696 140244412189104 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89420 KiB
[startup+1.50137 s]
/proc/loadavg: 1.04 1.32 1.38 3/215 16140
/proc/meminfo: memFree=11266040/32770624 swapFree=67108496/67108860
[pid=16074] ppid=16071 vsize=10993996 memory=168028 CPUtime=3.18 cores=1,3,5,7
/proc/16074/stat : 16074 (java) S 16071 16074 14233 0 -1 1077944320 25371 12979 0 0 303 8 5 2 20 0 15 0 221947132 11257851904 42007 33554432000 4194304 4196468 140723559301696 140723559284240 140244990930679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
/proc/16074/statm: 2748499 42007 3449 1 0 2710157 0
[pid=16074/tid=16127] ppid=16071 vsize=10993996 memory=-5185266903443334763 CPUtime=1.46 cores=1,3,5,7
/proc/16074/task/16127/stat : 16127 (java) R 16071 16074 14233 0 -1 4202560 15263 12979 0 0 133 6 5 2 20 0 15 0 221947141 11257851904 42007 33554432000 4194304 4196468 140723559301696 140244962748784 140244990952605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16128] ppid=16071 vsize=10993996 memory=-7768363692484826270 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16128/stat : 16128 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947141 11257851904 42007 33554432000 4194304 4196468 140723559301696 140244995173264 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16129] ppid=16071 vsize=10993996 memory=6720696446780543624 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16129/stat : 16129 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947141 11257851904 42007 33554432000 4194304 4196468 140723559301696 140244849892112 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16130] ppid=16071 vsize=10993996 memory=-5153075247754915967 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16130/stat : 16130 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947141 11257851904 42007 33554432000 4194304 4196468 140723559301696 140244848839824 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16131] ppid=16071 vsize=10993996 memory=125016 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16131/stat : 16131 (java) S 16071 16074 14233 0 -1 1077944384 2 12979 0 0 0 0 5 2 20 0 15 0 221947141 11257851904 42007 33554432000 4194304 4196468 140723559301696 140244847787024 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16132] ppid=16071 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16132/stat : 16132 (java) S 16071 16074 14233 0 -1 1077944384 13 12979 0 0 0 0 5 2 20 0 15 0 221947143 11257851904 42007 33554432000 4194304 4196468 140723559301696 140244416399472 140244990941826 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16133] ppid=16071 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16133/stat : 16133 (java) S 16071 16074 14233 0 -1 1077944384 13 12979 0 0 0 0 5 2 20 0 15 0 221947143 11257851904 42066 33554432000 4194304 4196468 140723559301696 140243835544352 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16134] ppid=16071 vsize=10993996 memory=280762012206784 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16134/stat : 16134 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947143 11257851904 42066 33554432000 4194304 4196468 140723559301696 140243634218096 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16135] ppid=16071 vsize=10993996 memory=280762012621008 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16135/stat : 16135 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11257851904 42066 33554432000 4194304 4196468 140723559301696 140243326818384 140244990949275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16136] ppid=16071 vsize=10993996 memory=140381006113104 CPUtime=0.66 cores=1,3,5,7
/proc/16074/task/16136/stat : 16136 (java) R 16071 16074 14233 0 -1 4202560 2803 12979 0 0 59 0 5 2 20 0 15 0 221947146 11257851904 42066 33554432000 4194304 4196468 140723559301696 140244415333664 140244972474913 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16137] ppid=16071 vsize=10993996 memory=140381112250449 CPUtime=0.68 cores=1,3,5,7
/proc/16074/task/16137/stat : 16137 (java) R 16071 16074 14233 0 -1 4202560 3124 12979 0 0 61 0 5 2 20 0 15 0 221947146 11257851904 42066 33554432000 4194304 4196468 140723559301696 140244414280480 140244970784208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16138] ppid=16071 vsize=10993996 memory=7925 CPUtime=0.56 cores=1,3,5,7
/proc/16074/task/16138/stat : 16138 (java) S 16071 16074 14233 0 -1 1077944384 1951 12979 0 0 49 0 5 2 20 0 15 0 221947146 11257851904 42066 33554432000 4194304 4196468 140723559301696 140244413242224 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16139] ppid=16071 vsize=10993996 memory=6 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16139/stat : 16139 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11257851904 42066 33554432000 4194304 4196468 140723559301696 140242896022496 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16140] ppid=16071 vsize=10993996 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16140/stat : 16140 (java) S 16071 16074 14233 0 -1 1077944384 1 12979 0 0 0 0 5 2 20 0 15 0 221947146 11257851904 42066 33554432000 4194304 4196468 140723559301696 140244412189104 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
################
# More data... #
################
/proc/16074/task/16127/stat : 16127 (java) R 16071 16074 14233 0 -1 4202560 101504 12979 0 0 235796 60 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244962765424 140244549062176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16128] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.2 cores=1,3,5,7
/proc/16074/task/16128/stat : 16128 (java) S 16071 16074 14233 0 -1 1077944384 18483 12979 0 0 1351 62 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244995173264 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16129] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.11 cores=1,3,5,7
/proc/16074/task/16129/stat : 16129 (java) S 16071 16074 14233 0 -1 1077944384 16431 12979 0 0 1346 58 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244849892112 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16130] ppid=16071 vsize=11016544 memory=280762013244912 CPUtime=14.14 cores=1,3,5,7
/proc/16074/task/16130/stat : 16130 (java) S 16071 16074 14233 0 -1 1077944384 17486 12979 0 0 1348 59 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244848839824 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16131] ppid=16071 vsize=11016544 memory=1788 CPUtime=14.1 cores=1,3,5,7
/proc/16074/task/16131/stat : 16131 (java) S 16071 16074 14233 0 -1 1077944384 23167 12979 0 0 1342 61 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244847787024 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16132] ppid=16071 vsize=11016544 memory=1202784 CPUtime=7.91 cores=1,3,5,7
/proc/16074/task/16132/stat : 16132 (java) S 16071 16074 14233 0 -1 1077944384 18691 12979 0 0 732 52 5 2 20 0 15 0 221947143 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244416399472 140244990941826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16133] ppid=16071 vsize=11016544 memory=1202784 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16133/stat : 16133 (java) S 16071 16074 14233 0 -1 1077944384 24 12979 0 0 0 0 5 2 20 0 15 0 221947143 11280941056 300696 33554432000 4194304 4196468 140723559301696 140243835544416 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16134] ppid=16071 vsize=11016544 memory=1202784 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16134/stat : 16134 (java) S 16071 16074 14233 0 -1 1077944384 11 12979 0 0 0 0 5 2 20 0 15 0 221947143 11280941056 300696 33554432000 4194304 4196468 140723559301696 140243634218112 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16135] ppid=16071 vsize=11016544 memory=1202784 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16135/stat : 16135 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140243326818384 140244990949275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16136] ppid=16071 vsize=11016544 memory=1202784 CPUtime=13.21 cores=1,3,5,7
/proc/16074/task/16136/stat : 16136 (java) S 16071 16074 14233 0 -1 1077944384 74415 12979 0 0 1305 9 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244415347312 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16137] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.82 cores=1,3,5,7
/proc/16074/task/16137/stat : 16137 (java) S 16071 16074 14233 0 -1 1077944384 77784 12979 0 0 1466 9 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244414294512 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16138] ppid=16071 vsize=11016544 memory=0 CPUtime=4.89 cores=1,3,5,7
/proc/16074/task/16138/stat : 16138 (java) S 16071 16074 14233 0 -1 1077944384 74226 12979 0 0 470 12 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244413242224 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16139] ppid=16071 vsize=11016544 memory=1202784 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16139/stat : 16139 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140242896022496 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16140] ppid=16071 vsize=11016544 memory=1202784 CPUtime=1.3 cores=1,3,5,7
/proc/16074/task/16140/stat : 16140 (java) S 16071 16074 14233 0 -1 1077944384 2141 12979 0 0 54 69 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244412189104 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
Current children cumulated CPU time: 2456.79 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1202784 KiB
[startup+2442.3 s]
/proc/loadavg: 1.23 1.30 1.31 3/215 16478
/proc/meminfo: memFree=9310608/32770624 swapFree=67108496/67108860
[pid=16074] ppid=16071 vsize=11016544 memory=1202784 CPUtime=2518 cores=1,3,5,7
/proc/16074/stat : 16074 (java) S 16071 16074 14233 0 -1 1077944320 428523 12979 0 0 251381 412 5 2 20 0 15 0 221947132 11280941056 300696 33554432000 4194304 4196468 140723559301696 140723559284240 140244990930679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
/proc/16074/statm: 2754136 300696 3535 1 0 2715789 0
[pid=16074/tid=16127] ppid=16071 vsize=11016544 memory=1202784 CPUtime=2417.98 cores=1,3,5,7
/proc/16074/task/16127/stat : 16127 (java) R 16071 16074 14233 0 -1 4202560 102176 12979 0 0 241731 60 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244962766112 140244547655082 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16128] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.6 cores=1,3,5,7
/proc/16074/task/16128/stat : 16128 (java) S 16071 16074 14233 0 -1 1077944384 18685 12979 0 0 1390 63 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244995173264 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16129] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.51 cores=1,3,5,7
/proc/16074/task/16129/stat : 16129 (java) S 16071 16074 14233 0 -1 1077944384 16654 12979 0 0 1385 59 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244849892112 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16130] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.54 cores=1,3,5,7
/proc/16074/task/16130/stat : 16130 (java) S 16071 16074 14233 0 -1 1077944384 17703 12979 0 0 1387 60 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244848839824 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16131] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.5 cores=1,3,5,7
/proc/16074/task/16131/stat : 16131 (java) S 16071 16074 14233 0 -1 1077944384 23378 12979 0 0 1381 62 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244847787024 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16132] ppid=16071 vsize=11016544 memory=1202784 CPUtime=8.12 cores=1,3,5,7
/proc/16074/task/16132/stat : 16132 (java) S 16071 16074 14233 0 -1 1077944384 19104 12979 0 0 752 53 5 2 20 0 15 0 221947143 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244416399472 140244990941826 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16133] ppid=16071 vsize=11016544 memory=1202784 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16133/stat : 16133 (java) S 16071 16074 14233 0 -1 1077944384 24 12979 0 0 0 0 5 2 20 0 15 0 221947143 11280941056 300696 33554432000 4194304 4196468 140723559301696 140243835544416 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16134] ppid=16071 vsize=11016544 memory=1202784 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16134/stat : 16134 (java) S 16071 16074 14233 0 -1 1077944384 11 12979 0 0 0 0 5 2 20 0 15 0 221947143 11280941056 300696 33554432000 4194304 4196468 140723559301696 140243634218112 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16135] ppid=16071 vsize=11016544 memory=3872 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16135/stat : 16135 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140243326818384 140244990949275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16136] ppid=16071 vsize=11016544 memory=1202784 CPUtime=13.21 cores=1,3,5,7
/proc/16074/task/16136/stat : 16136 (java) S 16071 16074 14233 0 -1 1077944384 74417 12979 0 0 1305 9 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244415347312 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16137] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.82 cores=1,3,5,7
/proc/16074/task/16137/stat : 16137 (java) S 16071 16074 14233 0 -1 1077944384 77786 12979 0 0 1466 9 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244414294512 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16138] ppid=16071 vsize=11016544 memory=1202784 CPUtime=4.89 cores=1,3,5,7
/proc/16074/task/16138/stat : 16138 (java) S 16071 16074 14233 0 -1 1077944384 74228 12979 0 0 470 12 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244413242224 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16139] ppid=16071 vsize=11016544 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16139/stat : 16139 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140242896022496 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16140] ppid=16071 vsize=11016544 memory=4424 CPUtime=1.33 cores=1,3,5,7
/proc/16074/task/16140/stat : 16140 (java) S 16071 16074 14233 0 -1 1077944384 2160 12979 0 0 55 71 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244412189104 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
Current children cumulated CPU time: 2518 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1202784 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2444.3 s]
/proc/loadavg: 1.21 1.29 1.31 3/215 16478
/proc/meminfo: memFree=9310732/32770624 swapFree=67108496/67108860
[pid=16074] ppid=16071 vsize=11016544 memory=1202784 CPUtime=2520.03 cores=1,3,5,7
/proc/16074/stat : 16074 (java) S 16071 16074 14233 0 -1 1077944320 428536 12979 0 0 251584 412 5 2 20 0 15 0 221947132 11280941056 300696 33554432000 4194304 4196468 140723559301696 140723559284240 140244990930679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
/proc/16074/statm: 2754136 300696 3535 1 0 2715789 0
[pid=16074/tid=16127] ppid=16071 vsize=11016544 memory=1202784 CPUtime=2419.96 cores=1,3,5,7
/proc/16074/task/16127/stat : 16127 (java) R 16071 16074 14233 0 -1 4202560 102185 12979 0 0 241929 60 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244962765472 140244548574492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16128] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.61 cores=1,3,5,7
/proc/16074/task/16128/stat : 16128 (java) S 16071 16074 14233 0 -1 1077944384 18685 12979 0 0 1391 63 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244995173264 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16129] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.52 cores=1,3,5,7
/proc/16074/task/16129/stat : 16129 (java) S 16071 16074 14233 0 -1 1077944384 16654 12979 0 0 1386 59 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244849892112 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16130] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.56 cores=1,3,5,7
/proc/16074/task/16130/stat : 16130 (java) S 16071 16074 14233 0 -1 1077944384 17703 12979 0 0 1388 61 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244848839824 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16131] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.51 cores=1,3,5,7
/proc/16074/task/16131/stat : 16131 (java) S 16071 16074 14233 0 -1 1077944384 23378 12979 0 0 1382 62 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244847787024 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16132] ppid=16071 vsize=11016544 memory=1202784 CPUtime=8.13 cores=1,3,5,7
/proc/16074/task/16132/stat : 16132 (java) S 16071 16074 14233 0 -1 1077944384 19108 12979 0 0 753 53 5 2 20 0 15 0 221947143 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244416399472 140244990941826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16133] ppid=16071 vsize=11016544 memory=1202784 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16133/stat : 16133 (java) S 16071 16074 14233 0 -1 1077944384 24 12979 0 0 0 0 5 2 20 0 15 0 221947143 11280941056 300696 33554432000 4194304 4196468 140723559301696 140243835544416 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16134] ppid=16071 vsize=11016544 memory=1202784 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16134/stat : 16134 (java) S 16071 16074 14233 0 -1 1077944384 11 12979 0 0 0 0 5 2 20 0 15 0 221947143 11280941056 300696 33554432000 4194304 4196468 140723559301696 140243634218112 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16135] ppid=16071 vsize=11016544 memory=1202784 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16135/stat : 16135 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140243326818384 140244990949275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16136] ppid=16071 vsize=11016544 memory=3872 CPUtime=13.21 cores=1,3,5,7
/proc/16074/task/16136/stat : 16136 (java) S 16071 16074 14233 0 -1 1077944384 74417 12979 0 0 1305 9 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244415347312 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16137] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.82 cores=1,3,5,7
/proc/16074/task/16137/stat : 16137 (java) S 16071 16074 14233 0 -1 1077944384 77786 12979 0 0 1466 9 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244414294512 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16138] ppid=16071 vsize=11016544 memory=1202784 CPUtime=4.89 cores=1,3,5,7
/proc/16074/task/16138/stat : 16138 (java) S 16071 16074 14233 0 -1 1077944384 74228 12979 0 0 470 12 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244413242224 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16139] ppid=16071 vsize=11016544 memory=3872 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16139/stat : 16139 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140242896022496 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16140] ppid=16071 vsize=11016544 memory=60104 CPUtime=1.33 cores=1,3,5,7
/proc/16074/task/16140/stat : 16140 (java) S 16071 16074 14233 0 -1 1077944384 2160 12979 0 0 55 71 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244412189104 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1202784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2444.34 s]
# the end of solver process 16074 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.92 s, system=4.16271 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2444.3 s]
/proc/loadavg: 1.21 1.29 1.31 3/215 16478
/proc/meminfo: memFree=9310732/32770624 swapFree=67108496/67108860
[pid=16074] ppid=16071 vsize=11016544 memory=1202784 CPUtime=2520.03 cores=1,3,5,7
/proc/16074/stat : 16074 (java) S 16071 16074 14233 0 -1 1077944320 428536 12979 0 0 251584 412 5 2 20 0 15 0 221947132 11280941056 300696 33554432000 4194304 4196468 140723559301696 140723559284240 140244990930679 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
/proc/16074/statm: 2754136 300696 3535 1 0 2715789 0
[pid=16074/tid=16127] ppid=16071 vsize=11016544 memory=1202784 CPUtime=2419.96 cores=1,3,5,7
/proc/16074/task/16127/stat : 16127 (java) R 16071 16074 14233 0 -1 4202560 102185 12979 0 0 241929 60 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244962765472 140244548574492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16128] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.61 cores=1,3,5,7
/proc/16074/task/16128/stat : 16128 (java) S 16071 16074 14233 0 -1 1077944384 18685 12979 0 0 1391 63 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244995173264 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16129] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.52 cores=1,3,5,7
/proc/16074/task/16129/stat : 16129 (java) S 16071 16074 14233 0 -1 1077944384 16654 12979 0 0 1386 59 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244849892112 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16130] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.56 cores=1,3,5,7
/proc/16074/task/16130/stat : 16130 (java) S 16071 16074 14233 0 -1 1077944384 17703 12979 0 0 1388 61 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244848839824 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16131] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.51 cores=1,3,5,7
/proc/16074/task/16131/stat : 16131 (java) S 16071 16074 14233 0 -1 1077944384 23378 12979 0 0 1382 62 5 2 20 0 15 0 221947141 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244847787024 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16132] ppid=16071 vsize=11016544 memory=1202784 CPUtime=8.13 cores=1,3,5,7
/proc/16074/task/16132/stat : 16132 (java) S 16071 16074 14233 0 -1 1077944384 19108 12979 0 0 753 53 5 2 20 0 15 0 221947143 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244416399472 140244990941826 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16133] ppid=16071 vsize=11016544 memory=1202784 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16133/stat : 16133 (java) S 16071 16074 14233 0 -1 1077944384 24 12979 0 0 0 0 5 2 20 0 15 0 221947143 11280941056 300696 33554432000 4194304 4196468 140723559301696 140243835544416 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16134] ppid=16071 vsize=11016544 memory=1202784 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16134/stat : 16134 (java) S 16071 16074 14233 0 -1 1077944384 11 12979 0 0 0 0 5 2 20 0 15 0 221947143 11280941056 300696 33554432000 4194304 4196468 140723559301696 140243634218112 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16135] ppid=16071 vsize=11016544 memory=1202784 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16135/stat : 16135 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140243326818384 140244990949275 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16136] ppid=16071 vsize=11016544 memory=3872 CPUtime=13.21 cores=1,3,5,7
/proc/16074/task/16136/stat : 16136 (java) S 16071 16074 14233 0 -1 1077944384 74417 12979 0 0 1305 9 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244415347312 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16137] ppid=16071 vsize=11016544 memory=1202784 CPUtime=14.82 cores=1,3,5,7
/proc/16074/task/16137/stat : 16137 (java) S 16071 16074 14233 0 -1 1077944384 77786 12979 0 0 1466 9 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244414294512 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16138] ppid=16071 vsize=11016544 memory=1202784 CPUtime=4.89 cores=1,3,5,7
/proc/16074/task/16138/stat : 16138 (java) S 16071 16074 14233 0 -1 1077944384 74228 12979 0 0 470 12 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244413242224 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16139] ppid=16071 vsize=11016544 memory=3872 CPUtime=0.07 cores=1,3,5,7
/proc/16074/task/16139/stat : 16139 (java) S 16071 16074 14233 0 -1 1077944384 3 12979 0 0 0 0 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140242896022496 140244990940885 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
[pid=16074/tid=16140] ppid=16071 vsize=11016544 memory=60104 CPUtime=1.33 cores=1,3,5,7
/proc/16074/task/16140/stat : 16140 (java) S 16071 16074 14233 0 -1 1077944384 2160 12979 0 0 55 71 5 2 20 0 15 0 221947146 11280941056 300696 33554432000 4194304 4196468 140723559301696 140244412189104 140244990941826 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19935232 140723559307885 140723559310684 140723559310684 140723559313359 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1202784 KiB
Child status: 143
Real time (s): 2444.34
CPU time (s): 2520.08
CPU user time (s): 2515.92
CPU system time (s): 4.16271
CPU usage (%): 103.099
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 2262956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.92
system time used= 4.16271
maximum resident set size= 2277900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 442373
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 226599
involuntary context switches= 5131
# summary of solver processes directly reported to runsolver:
# pid: 16074
# total CPU time (s): 2520.08
# total CPU user time (s): 2515.92
# total CPU system time (s): 4.16271
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0699 second user time and 21.8909 second system time
The end
Begin job on node149 at 2018-08-12 05:17:19 IDJOB=4304167 IDBENCH=141047 IDSOLVER=2780 FILE ID=node149/4304167-1534043839 RUNJOBID= node149-1534038877-15391 PBS_JOBID= 21036971 Free space on /tmp= 38776 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-4304167-1534043839/watcher-4304167-1534043839 -o /tmp/evaluation-result-4304167-1534043839/solver-4304167-1534043839 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534038877-15391 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=176187215 HOME/instance-4304167-1534043839.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 01a28a521b9bba3b9351b91d9c8d3e2f RANDOM SEED=176187215 node149.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.60 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.60 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.60 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.60 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: 11364196 kB MemAvailable: 31033764 kB Buffers: 173388 kB Cached: 19509060 kB SwapCached: 28 kB Active: 8721992 kB Inactive: 11883120 kB Active(anon): 871672 kB Inactive(anon): 103136 kB Active(file): 7850320 kB Inactive(file): 11779984 kB Unevictable: 7608 kB Mlocked: 7608 kB SwapTotal: 67108860 kB SwapFree: 67108496 kB Dirty: 26472 kB Writeback: 0 kB AnonPages: 930072 kB Mapped: 66792 kB Shmem: 49616 kB Slab: 496064 kB SReclaimable: 467724 kB SUnreclaim: 28340 kB KernelStack: 3536 kB PageTables: 7696 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2021208 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 831488 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 38752 MiB End job on node149 at 2018-08-12 05:58:04