Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8-SuperNG 2018-06-13 | SAT (TO) | 6485 | 2520.14 | 2387.86 |
| 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.98/0.75 c Concrete v3.8.1528841891564 running 14.80/5.89 c 01:12:41.784 [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 15.11/5.90 c 01:12:41.792 [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 15.11/5.90 c 01:12:41.793 [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 15.11/5.90 c 01:12:41.795 [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 15.11/5.90 c 01:12:41.795 [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 16.41/6.54 c 01:12:41.798 [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 16.41/6.54 c 01:12:41.799 [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 16.41/6.54 c 01:12:41.801 [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 16.41/6.54 c 01:12:41.802 [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 16.41/6.54 c 01:12:41.803 [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 16.41/6.54 c 01:12:41.805 [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 16.41/6.54 c 01:12:41.806 [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 16.41/6.54 c 01:12:41.807 [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 16.41/6.54 c 01:12:41.808 [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 16.41/6.54 c 01:12:41.810 [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 16.41/6.54 c 01:12:41.811 [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 16.41/6.54 c 01:12:41.813 [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 16.41/6.54 c 01:12:41.814 [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 16.41/6.54 c 01:12:41.816 [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 16.41/6.54 c 01:12:41.818 [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 16.41/6.54 c 01:12:41.818 [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 16.41/6.54 c 01:12:41.821 [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 16.41/6.54 c 01:12:41.822 [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 16.41/6.54 c 01:12:41.824 [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 16.41/6.54 c 01:12:41.824 [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 16.41/6.54 c 01:12:41.825 [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 16.41/6.54 c 01:12:41.826 [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 16.41/6.54 c 01:12:41.828 [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 16.41/6.54 c 01:12:41.828 [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 16.41/6.54 c 01:12:41.829 [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 16.41/6.54 c 01:12:41.830 [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 16.41/6.54 c 01:12:41.831 [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 16.41/6.54 c 01:12:41.832 [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 16.41/6.54 c 01:12:41.833 [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 16.41/6.54 c 01:12:41.833 [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 16.41/6.54 c 01:12:41.835 [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 16.41/6.54 c 01:12:41.836 [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 16.41/6.54 c 01:12:41.839 [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 16.41/6.54 c 01:12:41.839 [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 16.41/6.54 c 01:12:41.842 [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 16.41/6.54 c 01:12:41.843 [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 16.41/6.54 c 01:12:41.844 [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 16.41/6.54 c 01:12:41.846 [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 16.41/6.54 c 01:12:41.846 [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 16.41/6.54 c 01:12:41.849 [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 16.41/6.54 c 01:12:41.849 [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 16.41/6.54 c 01:12:41.852 [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 16.41/6.54 c 01:12:41.853 [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 16.41/6.54 c 01:12:41.854 [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 16.41/6.54 c 01:12:41.856 [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 16.41/6.54 c 01:12:41.857 [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 16.41/6.54 c 01:12:41.859 [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 16.41/6.54 c 01:12:41.860 [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 16.41/6.54 c 01:12:41.862 [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 16.41/6.54 c 01:12:41.862 [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 16.41/6.54 c 01:12:41.863 [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 16.41/6.54 c 01:12:41.865 [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 16.41/6.54 c 01:12:41.865 [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 16.41/6.54 c 01:12:41.866 [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 16.41/6.54 c 01:12:41.868 [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 16.41/6.54 c 01:12:41.869 [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 16.41/6.54 c 01:12:41.869 [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 16.41/6.54 c 01:12:41.871 [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 16.41/6.54 c 01:12:41.872 [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 16.41/6.54 c 01:12:41.873 [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 16.41/6.54 c 01:12:41.873 [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 16.41/6.54 c 01:12:41.874 [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 16.41/6.54 c 01:12:41.874 [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 16.41/6.54 c 01:12:41.876 [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 16.41/6.54 c 01:12:41.876 [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 16.41/6.54 c 01:12:41.878 [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 16.41/6.54 c 01:12:41.879 [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 16.41/6.54 c 01:12:41.880 [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 16.41/6.54 c 01:12:41.880 [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 16.41/6.54 c 01:12:41.882 [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 16.41/6.54 c 01:12:41.883 [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 16.41/6.54 c 01:12:41.885 [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 16.41/6.54 c 01:12:41.885 [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 16.41/6.54 c 01:12:41.887 [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 16.41/6.54 c 01:12:41.887 [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 16.41/6.54 c 01:12:41.889 [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 16.41/6.54 c 01:12:41.889 [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 16.41/6.54 c 01:12:41.891 [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 16.41/6.54 c 01:12:41.892 [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 16.41/6.54 c 01:12:41.893 [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 16.41/6.54 c 01:12:41.894 [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 16.41/6.54 c 01:12:41.896 [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 16.41/6.54 c 01:12:41.896 [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 16.41/6.54 c 01:12:41.898 [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 16.41/6.54 c 01:12:41.899 [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 16.41/6.54 c 01:12:41.901 [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 16.41/6.54 c 01:12:41.901 [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 16.41/6.54 c 01:12:41.903 [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 16.41/6.54 c 01:12:41.904 [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 16.41/6.54 c 01:12:41.906 [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 16.41/6.54 c 01:12:41.907 [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 16.41/6.54 c 01:12:41.907 [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 16.41/6.54 c 01:12:41.910 [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 16.41/6.54 c 01:12:41.910 [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 16.41/6.54 c 01:12:41.911 [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 16.41/6.54 c 01:12:41.913 [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 16.41/6.54 c 01:12:41.914 [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 16.41/6.54 c 01:12:41.914 [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 16.41/6.54 c 01:12:41.917 [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 16.41/6.54 c 01:12:41.917 [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 16.41/6.54 c 01:12:41.919 [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 16.41/6.54 c 01:12:41.920 [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 16.41/6.54 c 01:12:41.922 [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 16.41/6.54 c 01:12:41.922 [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 16.41/6.54 c 01:12:41.924 [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 16.41/6.54 c 01:12:41.925 [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 16.41/6.54 c 01:12:41.925 [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 16.41/6.54 c 01:12:41.928 [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 16.41/6.54 c 01:12:41.928 [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 16.41/6.54 c 01:12:41.930 [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 16.41/6.54 c 01:12:41.931 [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 16.41/6.54 c 01:12:41.931 [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 16.41/6.54 c 01:12:41.933 [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 16.41/6.54 c 01:12:41.933 [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 16.41/6.54 c 01:12:41.935 [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 16.41/6.54 c 01:12:41.935 [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 16.41/6.54 c 01:12:41.937 [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 16.41/6.54 c 01:12:41.938 [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 16.41/6.54 c 01:12:41.940 [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 16.41/6.54 c 01:12:41.940 [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 16.41/6.54 c 01:12:41.942 [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 16.41/6.54 c 01:12:41.942 [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 16.41/6.54 c 01:12:41.943 [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 16.41/6.54 c 01:12:41.944 [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 16.41/6.54 c 01:12:41.945 [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 16.41/6.54 c 01:12:41.945 [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 16.41/6.54 c 01:12:42.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17740. 'extension(x[1][22]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17746. 'extension(x[1][27]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17752. 'extension(x[1][35]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17758. 'extension(x[0][10]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17760. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17772. 'extension(x[0][31]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17778. 'extension(x[0][32]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17784. 'extension(x[1][6]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17790. 'extension(x[1][27]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17792. 'extension(x[3][27]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17802. 'extension(x[3][31]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17808. 'extension(x[3][32]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17814. 'extension(x[4][6]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17828. 'extension(x[2][9]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17830. 'extension(x[4][9]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17844. 'extension(x[2][18]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17850. 'extension(x[2][20]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17852. 'extension(x[4][20]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17864. 'extension(x[5][18]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17874. 'extension(wk[26][0]=[0‥1]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17876. 'extension(x[4][26]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17882. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17884. 'extension(x[4][33]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17890. 'extension(wk[11][0]=[0‥1]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17892. 'extension(x[5][11]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17898. 'extension(wk[26][0]=[0‥1]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17900. 'extension(x[7][26]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17906. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17908. 'extension(x[7][33]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17914. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17930. 'extension(x[6][15]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17932. 'extension(x[8][15]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17948. 'extension(x[6][25]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17954. 'extension(x[6][28]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17956. 'extension(x[8][28]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17966. 'extension(x[7][8]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17968. 'extension(x[9][8]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17982. 'extension(x[9][25]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17992. 'extension(x[8][1]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 17998. 'extension(x[11][1]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18012. 'extension(x[9][35]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18014. 'extension(x[11][35]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18024. 'extension(x[10][14]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18030. 'extension(x[10][24]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18036. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18038. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18054. 'extension(wk[15][1]=[0‥1]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18056. 'extension(x[11][15]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18058. 'extension(x[13][15]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18074. 'extension(wk[24][1]=[0‥1]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18076. 'extension(x[13][24]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18086. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18088. 'extension(x[12][3]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.053 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18094. 'extension(wk[30][1]=[0‥1]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.053 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18096. 'extension(x[12][30]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.054 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18102. 'extension(wk[34][1]=[0‥1]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.054 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18104. 'extension(x[12][34]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.054 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18110. 'extension(x[15][3]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.055 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18124. 'extension(x[13][5]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18130. 'extension(x[13][17]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18136. 'extension(x[13][20]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18138. 'extension(x[15][20]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.057 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18150. 'extension(x[13][22]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.057 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18152. 'extension(x[15][22]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.058 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18164. 'extension(x[15][30]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.058 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18170. 'extension(x[15][34]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.059 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18176. 'extension(x[14][0]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.059 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18178. 'extension(x[16][0]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.060 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18192. 'extension(x[16][5]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.060 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18206. 'extension(x[16][17]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.061 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18216. 'extension(x[14][28]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.061 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18218. 'extension(x[16][28]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.062 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18228. 'extension(x[15][23]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.062 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18230. 'extension(x[17][23]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.063 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18242. 'extension(x[16][4]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.063 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18244. 'extension(x[18][4]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.064 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18258. 'extension(x[17][0]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.064 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18260. 'extension(x[19][0]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18274. 'extension(x[17][7]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18280. 'extension(x[17][8]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18282. 'extension(x[19][8]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18296. 'extension(wk[7][2]=[0‥1]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18298. 'extension(x[20][7]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18312. 'extension(x[20][12]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18318. 'extension(x[20][23]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18320. 'extension(x[22][23]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18332. 'extension(x[21][9]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18334. 'extension(x[23][9]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18348. 'extension(x[23][12]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.071 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18364. 'extension(x[21][13]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.071 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18366. 'extension(x[23][13]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.072 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18380. 'extension(x[21][21]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.072 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18386. 'extension(x[22][4]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.072 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18388. 'extension(x[24][4]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.073 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18402. 'extension(x[24][21]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.073 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18412. 'extension(x[23][2]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.074 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18418. 'extension(x[23][16]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.074 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18424. 'extension(x[23][29]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.075 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18430. 'extension(x[26][2]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.075 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18444. 'extension(x[24][10]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.076 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18446. 'extension(x[26][10]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18460. 'extension(x[24][13]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18462. 'extension(x[26][13]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.078 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18476. 'extension(x[26][16]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.078 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18486. 'extension(x[24][19]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.079 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18492. 'extension(x[26][29]=[0‥4]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.079 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18498. 'extension(wk[19][3]=[0‥1]) :: init: true :: relation: Empty MDD 16.41/6.54 c 01:12:42.079 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 18500. 'extension(x[27][19]=[0‥4]) :: init: true :: relation: Empty MDD 48.14/21.92 o 7697 57.49/29.03 o 7394 57.49/29.06 o 7393 57.49/29.08 o 7293 889.17/796.33 o 7093 972.44/876.32 o 7091 984.15/887.54 o 6990 992.02/895.14 o 6989 1068.06/969.16 o 6889 1229.48/1127.08 o 6789 1229.48/1127.09 o 6788 1295.75/1180.09 o 6787 1296.32/1180.53 o 6687 1312.98/1197.16 o 6587 1313.78/1197.92 o 6586 1358.32/1242.22 o 6585 1358.32/1242.25 o 6486 1358.32/1242.26 o 6485 2520.05/2387.81 Exception in thread "main" java.util.concurrent.TimeoutException 2520.05/2387.81 at concrete.MAC.mac(MAC.scala:188) 2520.05/2387.81 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.05/2387.81 at scala.util.Try$.apply(Try.scala:209) 2520.05/2387.81 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.05/2387.81 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.05/2387.81 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.05/2387.81 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.05/2387.81 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.05/2387.81 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.05/2387.81 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.05/2387.81 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.05/2387.81 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.05/2387.81 at concrete.MAC.oneRun(MAC.scala:253) 2520.05/2387.81 at concrete.MAC.nextSolution(MAC.scala:272) 2520.05/2387.81 at concrete.MAC.nextSolution(MAC.scala:355) 2520.05/2387.81 at concrete.Solver.hasNext(Solver.scala:166) 2520.05/2387.81 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.05/2387.81 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.05/2387.81 at concrete.Solver.foreach(Solver.scala:68) 2520.05/2387.81 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.05/2387.81 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.05/2387.81 at scala.util.Success.map(Try.scala:209) 2520.05/2387.81 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.05/2387.81 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.05/2387.81 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.05/2387.81 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.05/2387.81 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.05/2387.81 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.05/2387.81 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.05/2387.81 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.05/2387.81 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.05/2387.81 at scala.collection.immutable.List.foreach(List.scala:389) 2520.05/2387.81 at scala.App.main(App.scala:76) 2520.05/2387.81 at scala.App.main$(App.scala:74) 2520.05/2387.81 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.05/2387.81 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.05/2387.82 v <instantiation cost="6485"> 2520.05/2387.82 v <list> 2520.05/2387.82 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.05/2387.82 v </list> 2520.05/2387.82 v <values> 2520.05/2387.82 v 4 1 1 1 1 0 0 4 4 2 4 2 2 0 1 1 4 4 4 4 4 3 4 4 4 4 4 4 1 4 2 4 4 3 4 4 4 1 2 1 1 0 0 4 4 2 4 2 3 0 2 1 4 0 4 4 4 4 4 0 3 1 4 4 1 4 4 4 4 4 4 4 0 1 2 1 1 0 4 0 0 2 4 3 4 0 4 3 2 4 4 4 4 4 2 0 4 4 4 4 4 4 4 4 4 2 4 4 3 1 2 2 1 0 4 1 3 4 4 4 4 1 4 3 2 4 4 4 4 1 2 4 4 4 4 4 4 4 2 4 4 4 4 4 3 4 2 2 1 4 0 2 3 4 2 4 4 4 4 4 4 3 4 4 4 4 4 4 4 1 4 1 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 4 4 2 4 4 4 4 4 4 3 4 1 4 4 4 2 2 1 4 4 2 4 4 4 0 4 4 4 4 4 4 4 4 4 0 4 4 4 2 4 4 4 0 4 1 4 4 1 4 1 4 2 2 4 4 4 3 0 4 0 0 4 1 2 4 0 4 1 0 4 0 4 4 4 3 4 4 4 2 4 1 4 4 3 4 4 2 2 2 4 3 1 4 0 4 4 4 4 4 4 4 0 0 2 0 0 4 3 4 4 4 4 4 4 2 1 1 4 3 3 4 4 2 4 4 4 4 4 1 0 4 4 4 4 4 4 0 4 0 4 4 0 4 3 0 4 4 4 1 2 3 1 4 4 4 4 4 4 2 4 4 4 3 1 4 4 4 4 4 2 1 2 2 4 1 4 4 0 4 3 0 0 4 0 1 2 4 4 4 4 4 4 0 3 2 4 4 0 4 4 4 4 4 4 4 4 1 4 3 0 2 4 4 0 4 4 3 2 4 0 2 4 4 4 4 4 4 1 1 4 2 4 4 1 4 4 4 4 4 4 4 4 1 4 3 0 2 4 0 4 4 4 4 2 2 4 4 4 4 4 4 4 1 4 3 4 4 4 4 4 4 4 4 0 0 0 4 3 2 4 4 0 4 4 0 4 4 1 4 2 2 4 4 4 4 4 1 3 1 4 3 4 4 2 4 4 4 4 4 4 4 4 4 4 4 0 4 2 4 4 1 4 0 1 4 2 2 4 4 4 4 0 4 4 3 4 4 0 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 4 1 4 0 1 4 4 4 4 4 0 4 1 4 4 3 2 4 4 4 4 0 4 4 4 4 4 4 2 2 4 4 2 2 4 2 1 1 0 0 3 2 4 4 4 4 3 0 1 4 4 4 4 4 4 4 4 2 4 4 4 4 4 4 4 4 4 4 4 2 4 2 1 4 0 0 3 2 2 4 0 1 3 1 4 4 4 4 4 0 4 4 4 2 4 4 4 4 4 4 4 4 4 4 4 4 1 2 1 4 0 0 4 4 2 4 2 1 4 4 4 2 2 4 4 0 4 4 4 4 1 4 4 4 4 4 4 4 4 4 4 4 1 4 1 0 0 4 4 4 2 4 2 1 4 4 4 4 4 4 4 0 4 4 4 4 1 2 1 4 4 4 4 4 4 4 4 4 1 4 1 0 1 4 2 0 3 4 2 2 4 4 4 4 4 0 4 0 4 2 4 4 1 4 4 3 4 0 4 4 4 4 4 4 1 1 4 0 4 0 2 0 3 2 4 4 4 0 4 4 2 4 4 4 3 2 4 3 1 4 4 4 4 4 4 0 4 4 4 4 1 1 4 1 4 0 4 2 4 3 4 4 4 3 4 4 2 4 4 4 4 2 0 3 4 2 4 4 0 0 2 4 4 1 4 0 4 1 1 4 4 4 4 4 4 3 4 4 0 3 4 2 2 0 2 4 4 4 2 4 4 4 1 4 1 0 4 1 4 4 2 0 4 4 1 4 4 4 0 4 1 3 4 1 3 3 4 4 2 0 3 4 4 4 2 4 4 4 4 4 4 4 4 1 1 4 4 0 4 4 2 4 0 4 1 0 3 4 4 2 4 4 0 4 4 0 4 1 1 4 4 2 1 2 3 4 4 4 3 4 4 4 2 0 4 4 4 4 3 0 4 0 4 4 0 4 4 4 3 1 4 1 4 1 1 4 4 4 4 2 4 4 1 1 3 4 2 2 4 0 4 4 4 4 3 0 4 0 4 4 0 4 4 4 3 4 0 4 4 4 1 4 1 4 4 4 4 4 4 4 4 0 4 4 0 7 0 3 4 14 5 9 1 0 13 3 5 9 0 11 0 11 4 0 13 7 9 0 0 12 13 1 0 2 12 15 0 0 0 13 2 5 3 5 13 8 0 3 3 14 1 1 10 3 13 0 0 7 4 17 5 0 5 1 17 0 6 4 1 17 5 1 2 3 17 3 2 3 4 16 2 6 0 4 16 0 5 4 0 19 2 0 5 3 18 4 3 0 3 18 0 3 2 3 20 5 3 0 2 18 1 5 0 3 19 0 0 10 0 18 3 1 6 0 18 1 0 6 3 18 1 9 0 0 18 0 0 4 2 22 0 5 0 1 22 0 3 1 2 22 5 2 0 0 21 4 1 2 0 21 2 0 2 2 22 4 2 1 0 21 0 1 3 2 22 0 5 2 0 21 2 0 5 0 21 3 7 4 2 20 5 6 4 2 19 6 3 5 2 20 1 5 5 3 22 1 3 4 3 25 2 2 4 1 27 5 4 4 1 22 4 3 4 3 22 5 3 3 3 22 4 4 4 3 21 6 3 3 2 22 3 4 4 2 23 5 1 4 3 23 3 3 3 2 25 3 2 3 1 27 4 3 4 1 24 3 3 4 2 24 4 3 5 2 22 3 4 5 0 24 3 5 3 0 25 5 4 4 2 21 5 3 4 3 21 4 4 5 3 20 4 5 5 2 20 3 5 2 4 22 5 4 5 3 19 4 6 3 3 20 7 2 0 2 25 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 0 1 0 0 1 1 1 0 1 1 0 1 0 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 0 1 1 1 0 1 3 3 0 0 0 0 2 1 1 0 0 0 3 0 0 0 0 0 0 0 0 0 0 1 3 3 0 0 2 0 0 0 1 1 1 0 0 0 3 1 1 1 1 0 0 0 1 3 3 0 0 0 3 0 0 3 3 0 0 0 0 0 2 2 0 0 2 3 3 0 0 0 0 0 0 1 3 0 0 2 0 0 0 0 1 1 1 1 1 1 0 3 3 0 0 1 0 3 3 0 2 0 2 3 3 3 0 3 0 0 0 1 1 1 0 0 0 0 1 1 0 3 0 3 1 1 1 2 0 0 2 3 0 0 1 1 0 1 1 1 3 0 3 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 200 0 0 2 0 0 0 0 2 100 0 1 0 400 0 0 2 0 200 0 0 1 0 200 0 100 100 0 2 0 0 0 0 1 100 0 0 0 2 100 0 0 0 0 0 0 0 0 2 1 1 200 0 100 200 100 0 0 0 100 0 100 0 100 0 100 100 0 100 0 0 200 0 0 0 0 200 0 1 0 0 100 0 1 0 0 0 0 0 0 0 300 0 1 1 100 200 0 0 0 1 100 0 100 200 200 0 0 0 1 1 1 0 0 0 0 0 0 200 0 300 2 0 0 0 0 0 0 1 0 0 200 0 3 500 600 100 0 2520.05/2387.82 v </values> 2520.05/2387.82 v </instantiation> 2520.05/2387.82 s SATISFIABLE
OK 6485
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 (5964 MiB free)
memory of node 1: 16384 MiB (13211 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292958-1532301155/watcher-4292958-1532301155 -o /tmp/evaluation-result-4292958-1532301155/solver-4292958-1532301155 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16112 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1557027285 -superng HOME/instance-4292958-1532301155.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
Current StackSize limit: 8192 KiB
solver pid=16977, runsolver pid=16974
[startup+0.101846 s]*
/proc/loadavg: 1.44 1.39 1.40 2/210 17034
/proc/meminfo: memFree=19628940/32770624 swapFree=67108860/67108860
[pid=16977] ppid=16974 vsize=9972712 memory=15176 CPUtime=0.09 cores=1,3,5,7
/proc/16977/stat : 16977 (java) S 16974 16977 16080 0 -1 1077944320 4433 13027 0 0 1 1 5 2 20 0 6 0 47678704 10212057088 3794 33554432000 4194304 4196468 140724777605296 140724777587840 139952854154999 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
/proc/16977/statm: 2493178 3794 1934 1 0 2481616 0
[pid=16977/tid=17030] ppid=16974 vsize=9972712 memory=4628411388058700198 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17030/stat : 17030 (java) R 16974 16977 16080 0 -1 4202560 2249 13027 0 0 0 0 5 2 20 0 6 0 47678713 10212057088 4306 33554432000 4194304 4196468 140724777605296 139952825991760 139952833729473 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17031] ppid=16974 vsize=9972712 memory=5793855073924565433 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17031/stat : 17031 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 6 0 47678714 10212057088 4306 33554432000 4194304 4196468 140724777605296 139952858397712 139952854165205 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17032] ppid=16974 vsize=9972712 memory=139822914672256 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17032/stat : 17032 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 6 0 47678714 10212057088 4306 33554432000 4194304 4196468 140724777605296 139952785878160 139952854165205 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17033] ppid=16974 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17033/stat : 17033 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 6 0 47678714 10212057088 4306 33554432000 4194304 4196468 140724777605296 139952426429200 139952854165205 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17034] ppid=16974 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17034/stat : 17034 (java) S 16974 16977 16080 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 6 0 47678714 10212057088 4306 33554432000 4194304 4196468 140724777605296 139952425376656 139952854165205 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15176 KiB
[startup+0.21049 s]*
/proc/loadavg: 1.44 1.39 1.40 3/219 17043
/proc/meminfo: memFree=19607540/32770624 swapFree=67108860/67108860
[pid=16977] ppid=16974 vsize=10818904 memory=40720 CPUtime=0.24 cores=1,3,5,7
/proc/16977/stat : 16977 (java) S 16974 16977 16080 0 -1 1077944320 7377 13027 0 0 16 1 5 2 20 0 15 0 47678704 11078557696 10180 33554432000 4194304 4196468 140724777605296 140724777587840 139952854154999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
/proc/16977/statm: 2704726 10180 2962 1 0 2667149 0
[pid=16977/tid=17030] ppid=16974 vsize=10818904 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/16977/task/17030/stat : 17030 (java) R 16974 16977 16080 0 -1 4202560 4221 13027 0 0 10 1 5 2 20 0 15 0 47678713 11078557696 10378 33554432000 4194304 4196468 140724777605296 139952825972112 139952846872151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17031] ppid=16974 vsize=10818904 memory=4211973549119462794 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17031/stat : 17031 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678714 11078557696 10378 33554432000 4194304 4196468 140724777605296 139952858397712 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17032] ppid=16974 vsize=10818904 memory=139822914672256 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17032/stat : 17032 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678714 11078557696 10378 33554432000 4194304 4196468 140724777605296 139952785878160 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17033] ppid=16974 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17033/stat : 17033 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678714 11078557696 10378 33554432000 4194304 4196468 140724777605296 139952426429200 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17034] ppid=16974 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17034/stat : 17034 (java) S 16974 16977 16080 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 47678714 11078557696 10378 33554432000 4194304 4196468 140724777605296 139952425376656 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17035] ppid=16974 vsize=10818904 memory=139822914672256 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17035/stat : 17035 (java) S 16974 16977 16080 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 47678715 11078557696 10378 33554432000 4194304 4196468 140724777605296 139951924566256 139952854166146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17036] ppid=16974 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17036/stat : 17036 (java) S 16974 16977 16080 0 -1 1077944384 13 13027 0 0 0 0 5 2 20 0 15 0 47678716 11078557696 10378 33554432000 4194304 4196468 140724777605296 139951844877472 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17037] ppid=16974 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17037/stat : 17037 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678716 11078557696 10444 33554432000 4194304 4196468 140724777605296 139951643550448 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17038] ppid=16974 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17038/stat : 17038 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11078557696 10444 33554432000 4194304 4196468 140724777605296 139951403259856 139952854173595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17039] ppid=16974 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16977/task/17039/stat : 17039 (java) S 16974 16977 16080 0 -1 1077944384 512 13027 0 0 1 0 5 2 20 0 15 0 47678719 11078557696 10444 33554432000 4194304 4196468 140724777605296 139951923514096 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17040] ppid=16974 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17040/stat : 17040 (java) S 16974 16977 16080 0 -1 1077944384 74 13027 0 0 0 0 5 2 20 0 15 0 47678719 11078557696 10444 33554432000 4194304 4196468 140724777605296 139951922461552 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17041] ppid=16974 vsize=10818904 memory=139822914672256 CPUtime=0.1 cores=1,3,5,7
/proc/16977/task/17041/stat : 17041 (java) S 16974 16977 16080 0 -1 1077944384 545 13027 0 0 3 0 5 2 20 0 15 0 47678719 11078557696 10444 33554432000 4194304 4196468 140724777605296 139951921408496 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17042] ppid=16974 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17042/stat : 17042 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11078557696 10444 33554432000 4194304 4196468 140724777605296 139951369702240 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17043] ppid=16974 vsize=10818904 memory=139822914672256 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17043/stat : 17043 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678719 11078557696 10444 33554432000 4194304 4196468 140724777605296 139951920355888 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 40720 KiB
[startup+0.310324 s]*
/proc/loadavg: 1.44 1.39 1.40 3/219 17043
/proc/meminfo: memFree=19596004/32770624 swapFree=67108860/67108860
[pid=16977] ppid=16974 vsize=10819352 memory=53560 CPUtime=0.37 cores=1,3,5,7
/proc/16977/stat : 16977 (java) S 16974 16977 16080 0 -1 1077944320 10455 13027 0 0 28 2 5 2 20 0 15 0 47678704 11079016448 13390 33554432000 4194304 4196468 140724777605296 140724777587840 139952854154999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
/proc/16977/statm: 2704838 13390 3081 1 0 2667149 0
[pid=16977/tid=17030] ppid=16974 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/16977/task/17030/stat : 17030 (java) R 16974 16977 16080 0 -1 4202560 7104 13027 0 0 19 1 5 2 20 0 15 0 47678713 11079016448 13432 33554432000 4194304 4196468 140724777605296 139952825967008 139952838235486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17031] ppid=16974 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17031/stat : 17031 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678714 11079016448 13432 33554432000 4194304 4196468 140724777605296 139952858397712 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17032] ppid=16974 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17032/stat : 17032 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678714 11079016448 13432 33554432000 4194304 4196468 140724777605296 139952785878160 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17033] ppid=16974 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17033/stat : 17033 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678714 11079016448 13432 33554432000 4194304 4196468 140724777605296 139952426429200 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17034] ppid=16974 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17034/stat : 17034 (java) S 16974 16977 16080 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 47678714 11079016448 13432 33554432000 4194304 4196468 140724777605296 139952425376656 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17035] ppid=16974 vsize=10819352 memory=139822914672255 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17035/stat : 17035 (java) S 16974 16977 16080 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 47678715 11079016448 13432 33554432000 4194304 4196468 140724777605296 139951924566256 139952854166146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17036] ppid=16974 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17036/stat : 17036 (java) S 16974 16977 16080 0 -1 1077944384 13 13027 0 0 0 0 5 2 20 0 15 0 47678716 11079016448 13432 33554432000 4194304 4196468 140724777605296 139951844877472 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17037] ppid=16974 vsize=10819352 memory=139822914672256 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17037/stat : 17037 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678716 11079016448 13432 33554432000 4194304 4196468 140724777605296 139951643550448 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17038] ppid=16974 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17038/stat : 17038 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11079016448 13432 33554432000 4194304 4196468 140724777605296 139951403259856 139952854173595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17039] ppid=16974 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/16977/task/17039/stat : 17039 (java) S 16974 16977 16080 0 -1 1077944384 513 13027 0 0 2 0 5 2 20 0 15 0 47678719 11079016448 13432 33554432000 4194304 4196468 140724777605296 139951923514096 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17040] ppid=16974 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17040/stat : 17040 (java) S 16974 16977 16080 0 -1 1077944384 74 13027 0 0 0 0 5 2 20 0 15 0 47678719 11079016448 13432 33554432000 4194304 4196468 140724777605296 139951922461552 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17041] ppid=16974 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/16977/task/17041/stat : 17041 (java) S 16974 16977 16080 0 -1 1077944384 554 13027 0 0 5 0 5 2 20 0 15 0 47678719 11079016448 13432 33554432000 4194304 4196468 140724777605296 139951921408496 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17042] ppid=16974 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17042/stat : 17042 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11079016448 13432 33554432000 4194304 4196468 140724777605296 139951369702240 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17043] ppid=16974 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17043/stat : 17043 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678719 11079016448 13432 33554432000 4194304 4196468 140724777605296 139951920355888 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53560 KiB
[startup+0.700801 s]
/proc/loadavg: 1.44 1.39 1.40 3/219 17043
/proc/meminfo: memFree=19584468/32770624 swapFree=67108860/67108860
[pid=16977] ppid=16974 vsize=10819352 memory=86312 CPUtime=0.98 cores=1,3,5,7
/proc/16977/stat : 16977 (java) S 16974 16977 16080 0 -1 1077944320 16745 13027 0 0 87 4 5 2 20 0 15 0 47678704 11079016448 21578 33554432000 4194304 4196468 140724777605296 140724777587840 139952854154999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
/proc/16977/statm: 2704838 21578 3237 1 0 2667149 0
[pid=16977/tid=17030] ppid=16974 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/16977/task/17030/stat : 17030 (java) R 16974 16977 16080 0 -1 4202560 12294 13027 0 0 55 3 5 2 20 0 15 0 47678713 11079016448 21578 33554432000 4194304 4196468 140724777605296 139952825974960 139952838235486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17031] ppid=16974 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17031/stat : 17031 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678714 11079016448 21578 33554432000 4194304 4196468 140724777605296 139952858397712 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17032] ppid=16974 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17032/stat : 17032 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678714 11079016448 21578 33554432000 4194304 4196468 140724777605296 139952785878160 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17033] ppid=16974 vsize=10819352 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17033/stat : 17033 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678714 11079016448 21578 33554432000 4194304 4196468 140724777605296 139952426429200 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17034] ppid=16974 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17034/stat : 17034 (java) S 16974 16977 16080 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 47678714 11079016448 21578 33554432000 4194304 4196468 140724777605296 139952425376656 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17035] ppid=16974 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17035/stat : 17035 (java) S 16974 16977 16080 0 -1 1077944384 5 13027 0 0 0 0 5 2 20 0 15 0 47678715 11079016448 21578 33554432000 4194304 4196468 140724777605296 139951924566256 139952854166146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17036] ppid=16974 vsize=10819352 memory=139822794548464 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17036/stat : 17036 (java) S 16974 16977 16080 0 -1 1077944384 13 13027 0 0 0 0 5 2 20 0 15 0 47678716 11079016448 21578 33554432000 4194304 4196468 140724777605296 139951844877472 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17037] ppid=16974 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17037/stat : 17037 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678716 11079016448 21578 33554432000 4194304 4196468 140724777605296 139951643550448 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17038] ppid=16974 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17038/stat : 17038 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11079016448 21578 33554432000 4194304 4196468 140724777605296 139951403259856 139952854173595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17039] ppid=16974 vsize=10819352 memory=6944656575208382560 CPUtime=0.15 cores=1,3,5,7
/proc/16977/task/17039/stat : 17039 (java) S 16974 16977 16080 0 -1 1077944384 898 13027 0 0 8 0 5 2 20 0 15 0 47678719 11079016448 21578 33554432000 4194304 4196468 140724777605296 139951923514096 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17040] ppid=16974 vsize=10819352 memory=6656426216303648864 CPUtime=0.15 cores=1,3,5,7
/proc/16977/task/17040/stat : 17040 (java) S 16974 16977 16080 0 -1 1077944384 691 13027 0 0 8 0 5 2 20 0 15 0 47678719 11079016448 21578 33554432000 4194304 4196468 140724777605296 139951922461552 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17041] ppid=16974 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/16977/task/17041/stat : 17041 (java) S 16974 16977 16080 0 -1 1077944384 639 13027 0 0 13 0 5 2 20 0 15 0 47678719 11079016448 21578 33554432000 4194304 4196468 140724777605296 139951921408496 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17042] ppid=16974 vsize=10819352 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17042/stat : 17042 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11079016448 21578 33554432000 4194304 4196468 140724777605296 139951369702240 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17043] ppid=16974 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17043/stat : 17043 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678719 11079016448 21578 33554432000 4194304 4196468 140724777605296 139951920355888 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86312 KiB
[startup+1.50169 s]
/proc/loadavg: 1.44 1.39 1.40 3/219 17043
/proc/meminfo: memFree=19528260/32770624 swapFree=67108860/67108860
[pid=16977] ppid=16974 vsize=10830156 memory=164608 CPUtime=2.98 cores=1,3,5,7
/proc/16977/stat : 16977 (java) S 16974 16977 16080 0 -1 1077944320 23192 13027 0 0 281 10 5 2 20 0 15 0 47678704 11090079744 41089 33554432000 4194304 4196468 140724777605296 140724777587840 139952854154999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
/proc/16977/statm: 2707539 41089 3452 1 0 2669197 0
[pid=16977/tid=17030] ppid=16974 vsize=10830156 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/16977/task/17030/stat : 17030 (java) R 16974 16977 16080 0 -1 4202560 15939 13027 0 0 130 8 5 2 20 0 15 0 47678713 11090079744 41152 33554432000 4194304 4196468 140724777605296 139952825980960 139952838235486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17031] ppid=16974 vsize=10830156 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17031/stat : 17031 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678714 11090079744 41152 33554432000 4194304 4196468 140724777605296 139952858397712 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17032] ppid=16974 vsize=10830156 memory=16000 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17032/stat : 17032 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678714 11090079744 41152 33554432000 4194304 4196468 140724777605296 139952785878160 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17033] ppid=16974 vsize=10830156 memory=1292 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17033/stat : 17033 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678714 11090079744 41152 33554432000 4194304 4196468 140724777605296 139952426429200 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17034] ppid=16974 vsize=10830156 memory=100428 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17034/stat : 17034 (java) S 16974 16977 16080 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 47678714 11090079744 41152 33554432000 4194304 4196468 140724777605296 139952425376656 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17035] ppid=16974 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17035/stat : 17035 (java) S 16974 16977 16080 0 -1 1077944384 6 13027 0 0 0 0 5 2 20 0 15 0 47678715 11090079744 41152 33554432000 4194304 4196468 140724777605296 139951924566256 139952854166146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17036] ppid=16974 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17036/stat : 17036 (java) S 16974 16977 16080 0 -1 1077944384 13 13027 0 0 0 0 5 2 20 0 15 0 47678716 11090079744 41152 33554432000 4194304 4196468 140724777605296 139951844877472 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17037] ppid=16974 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17037/stat : 17037 (java) S 16974 16977 16080 0 -1 1077944384 1 13027 0 0 0 0 5 2 20 0 15 0 47678716 11090079744 41152 33554432000 4194304 4196468 140724777605296 139951643550448 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17038] ppid=16974 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17038/stat : 17038 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11090079744 41152 33554432000 4194304 4196468 140724777605296 139951403259856 139952854173595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17039] ppid=16974 vsize=10830156 memory=0 CPUtime=0.58 cores=1,3,5,7
/proc/16977/task/17039/stat : 17039 (java) S 16974 16977 16080 0 -1 1077944384 1951 13027 0 0 51 0 5 2 20 0 15 0 47678719 11090079744 41152 33554432000 4194304 4196468 140724777605296 139951923514096 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17040] ppid=16974 vsize=10830156 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/16977/task/17040/stat : 17040 (java) S 16974 16977 16080 0 -1 1077944384 1489 13027 0 0 49 0 5 2 20 0 15 0 47678719 11090079744 41152 33554432000 4194304 4196468 140724777605296 139951922461552 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17041] ppid=16974 vsize=10830156 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/16977/task/17041/stat : 17041 (java) S 16974 16977 16080 0 -1 1077944384 1591 13027 0 0 49 0 5 2 20 0 15 0 47678719 11090079744 41152 33554432000 4194304 4196468 140724777605296 139951921408496 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17042] ppid=16974 vsize=10830156 memory=288230596050944315 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17042/stat : 17042 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11090079744 41152 33554432000 4194304 4196468 140724777605296 139951369702240 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17043] ppid=16974 vsize=10830156 memory=16100360058046859 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17043/stat : 17043 (java) S 16974 16977 16080 0 -1 1077944384 2 13027 0 0 0 0 5 2 20 0 15 0 47678719 11090079744 41152 33554432000 4194304 4196468 140724777605296 139951920355888 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/16977/task/17030/stat : 17030 (java) R 16974 16977 16080 0 -1 4202560 211957 13027 0 0 222802 55 5 2 20 0 15 0 47678713 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139952825987152 139952483409668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17031] ppid=16974 vsize=10918240 memory=5954544 CPUtime=32.62 cores=1,3,5,7
/proc/16977/task/17031/stat : 17031 (java) S 16974 16977 16080 0 -1 1077944384 44810 13027 0 0 3142 113 5 2 20 0 15 0 47678714 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139952858397712 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17032] ppid=16974 vsize=10918240 memory=5954544 CPUtime=32.52 cores=1,3,5,7
/proc/16977/task/17032/stat : 17032 (java) S 16974 16977 16080 0 -1 1077944384 56460 13027 0 0 3133 112 5 2 20 0 15 0 47678714 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139952785878160 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17033] ppid=16974 vsize=10918240 memory=5954544 CPUtime=32.41 cores=1,3,5,7
/proc/16977/task/17033/stat : 17033 (java) S 16974 16977 16080 0 -1 1077944384 56231 13027 0 0 3121 113 5 2 20 0 15 0 47678714 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139952426429200 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17034] ppid=16974 vsize=10918240 memory=5954544 CPUtime=32.53 cores=1,3,5,7
/proc/16977/task/17034/stat : 17034 (java) S 16974 16977 16080 0 -1 1077944384 60611 13027 0 0 3133 113 5 2 20 0 15 0 47678714 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139952425376656 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17035] ppid=16974 vsize=10918240 memory=5954544 CPUtime=0.85 cores=1,3,5,7
/proc/16977/task/17035/stat : 17035 (java) S 16974 16977 16080 0 -1 1077944384 63518 13027 0 0 69 9 5 2 20 0 15 0 47678715 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139951924566256 139952854166146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17036] ppid=16974 vsize=10918240 memory=5954544 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17036/stat : 17036 (java) S 16974 16977 16080 0 -1 1077944384 14 13027 0 0 0 0 5 2 20 0 15 0 47678716 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139951844877600 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17037] ppid=16974 vsize=10918240 memory=5954544 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17037/stat : 17037 (java) S 16974 16977 16080 0 -1 1077944384 4 13027 0 0 0 0 5 2 20 0 15 0 47678716 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139951643550464 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17038] ppid=16974 vsize=10918240 memory=5954544 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17038/stat : 17038 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139951403259856 139952854173595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17039] ppid=16974 vsize=10918240 memory=56 CPUtime=14.39 cores=1,3,5,7
/proc/16977/task/17039/stat : 17039 (java) S 16974 16977 16080 0 -1 1077944384 125537 13027 0 0 1421 11 5 2 20 0 15 0 47678719 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139951923514096 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17040] ppid=16974 vsize=10918240 memory=5954544 CPUtime=13.62 cores=1,3,5,7
/proc/16977/task/17040/stat : 17040 (java) S 16974 16977 16080 0 -1 1077944384 104120 13027 0 0 1344 11 5 2 20 0 15 0 47678719 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139951922461552 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17041] ppid=16974 vsize=10918240 memory=1728 CPUtime=5.01 cores=1,3,5,7
/proc/16977/task/17041/stat : 17041 (java) S 16974 16977 16080 0 -1 1077944384 109146 13027 0 0 481 13 5 2 20 0 15 0 47678719 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139951921408496 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17042] ppid=16974 vsize=10918240 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17042/stat : 17042 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139951369702240 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17043] ppid=16974 vsize=10918240 memory=288230596050944315 CPUtime=1.23 cores=1,3,5,7
/proc/16977/task/17043/stat : 17043 (java) S 16974 16977 16080 0 -1 1077944384 2284 13027 0 0 53 63 5 2 20 0 15 0 47678719 11180277760 1488636 33554432000 4194304 4196468 140724777605296 139951920355888 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
Current children cumulated CPU time: 2393.29 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 5954544 KiB
[startup+2322.31 s]
/proc/loadavg: 1.79 1.81 1.78 3/220 17380
/proc/meminfo: memFree=9953356/32770624 swapFree=67108860/67108860
[pid=16977] ppid=16974 vsize=10918240 memory=5990032 CPUtime=2454.01 cores=1,3,5,7
/proc/16977/stat : 16977 (java) S 16974 16977 16080 0 -1 1077944320 854159 13027 0 0 244787 607 5 2 20 0 15 0 47678704 11180277760 1497508 33554432000 4194304 4196468 140724777605296 140724777587840 139952854154999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
/proc/16977/statm: 2729560 1497508 3535 1 0 2691213 0
[pid=16977/tid=17030] ppid=16974 vsize=10918240 memory=5990032 CPUtime=2288.44 cores=1,3,5,7
/proc/16977/task/17030/stat : 17030 (java) R 16974 16977 16080 0 -1 4202560 217450 13027 0 0 228780 57 5 2 20 0 15 0 47678713 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952825990448 139952483911426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17031] ppid=16974 vsize=10918240 memory=5990032 CPUtime=32.81 cores=1,3,5,7
/proc/16977/task/17031/stat : 17031 (java) S 16974 16977 16080 0 -1 1077944384 45742 13027 0 0 3160 114 5 2 20 0 15 0 47678714 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952858397712 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17032] ppid=16974 vsize=10918240 memory=7382080834714757224 CPUtime=32.71 cores=1,3,5,7
/proc/16977/task/17032/stat : 17032 (java) S 16974 16977 16080 0 -1 1077944384 56759 13027 0 0 3151 113 5 2 20 0 15 0 47678714 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952785878160 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17033] ppid=16974 vsize=10918240 memory=5990032 CPUtime=32.59 cores=1,3,5,7
/proc/16977/task/17033/stat : 17033 (java) S 16974 16977 16080 0 -1 1077944384 58696 13027 0 0 3138 114 5 2 20 0 15 0 47678714 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952426429200 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17034] ppid=16974 vsize=10918240 memory=0 CPUtime=32.72 cores=1,3,5,7
/proc/16977/task/17034/stat : 17034 (java) S 16974 16977 16080 0 -1 1077944384 62103 13027 0 0 3150 115 5 2 20 0 15 0 47678714 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952425376656 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17035] ppid=16974 vsize=10918240 memory=5990032 CPUtime=0.85 cores=1,3,5,7
/proc/16977/task/17035/stat : 17035 (java) S 16974 16977 16080 0 -1 1077944384 63804 13027 0 0 69 9 5 2 20 0 15 0 47678715 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951924566256 139952854166146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17036] ppid=16974 vsize=10918240 memory=5990032 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17036/stat : 17036 (java) S 16974 16977 16080 0 -1 1077944384 14 13027 0 0 0 0 5 2 20 0 15 0 47678716 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951844877600 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17037] ppid=16974 vsize=10918240 memory=5990032 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17037/stat : 17037 (java) S 16974 16977 16080 0 -1 1077944384 4 13027 0 0 0 0 5 2 20 0 15 0 47678716 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951643550464 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17038] ppid=16974 vsize=10918240 memory=5990032 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17038/stat : 17038 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951403259856 139952854173595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17039] ppid=16974 vsize=10918240 memory=5990032 CPUtime=14.44 cores=1,3,5,7
/proc/16977/task/17039/stat : 17039 (java) S 16974 16977 16080 0 -1 1077944384 127166 13027 0 0 1425 12 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951923514096 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17040] ppid=16974 vsize=10918240 memory=5990032 CPUtime=13.66 cores=1,3,5,7
/proc/16977/task/17040/stat : 17040 (java) S 16974 16977 16080 0 -1 1077944384 106736 13027 0 0 1348 11 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951922461552 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17041] ppid=16974 vsize=10918240 memory=5990032 CPUtime=5.03 cores=1,3,5,7
/proc/16977/task/17041/stat : 17041 (java) S 16974 16977 16080 0 -1 1077944384 111092 13027 0 0 483 13 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951921408496 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17042] ppid=16974 vsize=10918240 memory=18472 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17042/stat : 17042 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951369702240 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17043] ppid=16974 vsize=10918240 memory=4048 CPUtime=1.26 cores=1,3,5,7
/proc/16977/task/17043/stat : 17043 (java) S 16974 16977 16080 0 -1 1077944384 2395 13027 0 0 55 64 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951920355888 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
Current children cumulated CPU time: 2454.01 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 5990032 KiB
[startup+2382.31 s]
/proc/loadavg: 1.80 1.81 1.78 3/220 17381
/proc/meminfo: memFree=9953336/32770624 swapFree=67108860/67108860
[pid=16977] ppid=16974 vsize=10918240 memory=5990032 CPUtime=2514.56 cores=1,3,5,7
/proc/16977/stat : 16977 (java) S 16974 16977 16080 0 -1 1077944320 865831 13027 0 0 250840 609 5 2 20 0 15 0 47678704 11180277760 1497508 33554432000 4194304 4196468 140724777605296 140724777587840 139952854154999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
/proc/16977/statm: 2729560 1497508 3535 1 0 2691213 0
[pid=16977/tid=17030] ppid=16974 vsize=10918240 memory=5990032 CPUtime=2348.25 cores=1,3,5,7
/proc/16977/task/17030/stat : 17030 (java) R 16974 16977 16080 0 -1 4202560 222508 13027 0 0 234760 58 5 2 20 0 15 0 47678713 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952825989696 139952483629552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17031] ppid=16974 vsize=10918240 memory=5990032 CPUtime=32.99 cores=1,3,5,7
/proc/16977/task/17031/stat : 17031 (java) S 16974 16977 16080 0 -1 1077944384 48450 13027 0 0 3177 115 5 2 20 0 15 0 47678714 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952858397712 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17032] ppid=16974 vsize=10918240 memory=5990032 CPUtime=32.89 cores=1,3,5,7
/proc/16977/task/17032/stat : 17032 (java) S 16974 16977 16080 0 -1 1077944384 59043 13027 0 0 3169 113 5 2 20 0 15 0 47678714 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952785878160 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17033] ppid=16974 vsize=10918240 memory=7668012111147524688 CPUtime=32.77 cores=1,3,5,7
/proc/16977/task/17033/stat : 17033 (java) S 16974 16977 16080 0 -1 1077944384 59403 13027 0 0 3156 114 5 2 20 0 15 0 47678714 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952426429200 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17034] ppid=16974 vsize=10918240 memory=5990032 CPUtime=32.9 cores=1,3,5,7
/proc/16977/task/17034/stat : 17034 (java) S 16974 16977 16080 0 -1 1077944384 62626 13027 0 0 3168 115 5 2 20 0 15 0 47678714 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952425376656 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17035] ppid=16974 vsize=10918240 memory=5990032 CPUtime=0.86 cores=1,3,5,7
/proc/16977/task/17035/stat : 17035 (java) S 16974 16977 16080 0 -1 1077944384 64148 13027 0 0 70 9 5 2 20 0 15 0 47678715 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951924566256 139952854166146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17036] ppid=16974 vsize=10918240 memory=5990032 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17036/stat : 17036 (java) S 16974 16977 16080 0 -1 1077944384 14 13027 0 0 0 0 5 2 20 0 15 0 47678716 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951844877600 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17037] ppid=16974 vsize=10918240 memory=3278 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17037/stat : 17037 (java) S 16974 16977 16080 0 -1 1077944384 4 13027 0 0 0 0 5 2 20 0 15 0 47678716 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951643550464 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17038] ppid=16974 vsize=10918240 memory=5990032 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17038/stat : 17038 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951403259856 139952854173595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17039] ppid=16974 vsize=10918240 memory=5990032 CPUtime=14.44 cores=1,3,5,7
/proc/16977/task/17039/stat : 17039 (java) S 16974 16977 16080 0 -1 1077944384 127177 13027 0 0 1425 12 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951923514096 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17040] ppid=16974 vsize=10918240 memory=5990032 CPUtime=13.66 cores=1,3,5,7
/proc/16977/task/17040/stat : 17040 (java) S 16974 16977 16080 0 -1 1077944384 106741 13027 0 0 1348 11 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951922461552 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17041] ppid=16974 vsize=10918240 memory=1792 CPUtime=5.03 cores=1,3,5,7
/proc/16977/task/17041/stat : 17041 (java) S 16974 16977 16080 0 -1 1077944384 111098 13027 0 0 483 13 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951921408496 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17042] ppid=16974 vsize=10918240 memory=5990032 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17042/stat : 17042 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951369702240 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17043] ppid=16974 vsize=10918240 memory=5990032 CPUtime=1.29 cores=1,3,5,7
/proc/16977/task/17043/stat : 17043 (java) S 16974 16977 16080 0 -1 1077944384 2421 13027 0 0 56 66 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951920355888 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
Current children cumulated CPU time: 2514.56 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 5990032 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2387.8 s]
/proc/loadavg: 1.74 1.80 1.77 3/220 17381
/proc/meminfo: memFree=9953336/32770624 swapFree=67108860/67108860
[pid=16977] ppid=16974 vsize=10918240 memory=5990032 CPUtime=2520.05 cores=1,3,5,7
/proc/16977/stat : 16977 (java) S 16974 16977 16080 0 -1 1077944320 866681 13027 0 0 251389 609 5 2 20 0 15 0 47678704 11180277760 1497508 33554432000 4194304 4196468 140724777605296 140724777587840 139952854154999 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
/proc/16977/statm: 2729560 1497508 3535 1 0 2691213 0
[pid=16977/tid=17030] ppid=16974 vsize=10918240 memory=6791534058613427641 CPUtime=2353.74 cores=1,3,5,7
/proc/16977/task/17030/stat : 17030 (java) R 16974 16977 16080 0 -1 4202560 223344 13027 0 0 235309 58 5 2 20 0 15 0 47678713 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952825989696 139952463083686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17031] ppid=16974 vsize=10918240 memory=4620 CPUtime=32.99 cores=1,3,5,7
/proc/16977/task/17031/stat : 17031 (java) S 16974 16977 16080 0 -1 1077944384 48450 13027 0 0 3177 115 5 2 20 0 15 0 47678714 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952858397712 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17032] ppid=16974 vsize=10918240 memory=15872 CPUtime=32.89 cores=1,3,5,7
/proc/16977/task/17032/stat : 17032 (java) S 16974 16977 16080 0 -1 1077944384 59043 13027 0 0 3169 113 5 2 20 0 15 0 47678714 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952785878160 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17033] ppid=16974 vsize=10918240 memory=9784 CPUtime=32.77 cores=1,3,5,7
/proc/16977/task/17033/stat : 17033 (java) S 16974 16977 16080 0 -1 1077944384 59403 13027 0 0 3156 114 5 2 20 0 15 0 47678714 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952426429200 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17034] ppid=16974 vsize=10918240 memory=18472 CPUtime=32.9 cores=1,3,5,7
/proc/16977/task/17034/stat : 17034 (java) S 16974 16977 16080 0 -1 1077944384 62626 13027 0 0 3168 115 5 2 20 0 15 0 47678714 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139952425376656 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17035] ppid=16974 vsize=10918240 memory=1008 CPUtime=0.86 cores=1,3,5,7
/proc/16977/task/17035/stat : 17035 (java) S 16974 16977 16080 0 -1 1077944384 64148 13027 0 0 70 9 5 2 20 0 15 0 47678715 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951924566256 139952854166146 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17036] ppid=16974 vsize=10918240 memory=4620 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17036/stat : 17036 (java) S 16974 16977 16080 0 -1 1077944384 14 13027 0 0 0 0 5 2 20 0 15 0 47678716 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951844877600 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17037] ppid=16974 vsize=10918240 memory=15872 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17037/stat : 17037 (java) S 16974 16977 16080 0 -1 1077944384 4 13027 0 0 0 0 5 2 20 0 15 0 47678716 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951643550464 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17038] ppid=16974 vsize=10918240 memory=9784 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17038/stat : 17038 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951403259856 139952854173595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17039] ppid=16974 vsize=10918240 memory=18472 CPUtime=14.44 cores=1,3,5,7
/proc/16977/task/17039/stat : 17039 (java) S 16974 16977 16080 0 -1 1077944384 127184 13027 0 0 1425 12 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951923514096 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17040] ppid=16974 vsize=10918240 memory=4048 CPUtime=13.66 cores=1,3,5,7
/proc/16977/task/17040/stat : 17040 (java) S 16974 16977 16080 0 -1 1077944384 106742 13027 0 0 1348 11 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951922461552 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17041] ppid=16974 vsize=10918240 memory=1792 CPUtime=5.03 cores=1,3,5,7
/proc/16977/task/17041/stat : 17041 (java) S 16974 16977 16080 0 -1 1077944384 111100 13027 0 0 483 13 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951921408496 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17042] ppid=16974 vsize=10918240 memory=1240 CPUtime=0.07 cores=1,3,5,7
/proc/16977/task/17042/stat : 17042 (java) S 16974 16977 16080 0 -1 1077944384 3 13027 0 0 0 0 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951369702240 139952854165205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
[pid=16977/tid=17043] ppid=16974 vsize=10918240 memory=648 CPUtime=1.29 cores=1,3,5,7
/proc/16977/task/17043/stat : 17043 (java) S 16974 16977 16080 0 -1 1077944384 2425 13027 0 0 56 66 5 2 20 0 15 0 47678719 11180277760 1497508 33554432000 4194304 4196468 140724777605296 139951920355888 139952854166146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29921280 140724777613483 140724777616732 140724777616732 140724777619407 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 5990032 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2387.86 s]
# the end of solver process 16977 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.98 s, system=6.159 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2387.86
CPU time (s): 2520.14
CPU user time (s): 2513.98
CPU system time (s): 6.159
CPU usage (%): 105.54
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 5997396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.98
system time used= 6.159
maximum resident set size= 5997396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 884022
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72593
involuntary context switches= 4805
# summary of solver processes directly reported to runsolver:
# pid: 16977
# total CPU time (s): 2520.14
# total CPU user time (s): 2513.98
# total CPU system time (s): 6.159
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2198 second user time and 23.8789 second system time
The end
Begin job on node132 at 2018-07-23 01:12:35 IDJOB=4292958 IDBENCH=141047 IDSOLVER=2751 FILE ID=node132/4292958-1532301155 RUNJOBID= node132-1532296193-16112 PBS_JOBID= 21018987 Free space on /tmp= 55032 MiB SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13 BENCH NAME= XCSP18/NurseRostering/NurseRostering-09_c18.xml COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292958-1532301155/watcher-4292958-1532301155 -o /tmp/evaluation-result-4292958-1532301155/solver-4292958-1532301155 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16112 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1557027285 -superng HOME/instance-4292958-1532301155.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 01a28a521b9bba3b9351b91d9c8d3e2f RANDOM SEED=1557027285 node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 19635928 kB MemAvailable: 30778956 kB Buffers: 255408 kB Cached: 11034348 kB SwapCached: 0 kB Active: 3321840 kB Inactive: 9178840 kB Active(anon): 1214160 kB Inactive(anon): 17028 kB Active(file): 2107680 kB Inactive(file): 9161812 kB Unevictable: 6988 kB Mlocked: 6988 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26880 kB Writeback: 16 kB AnonPages: 1218428 kB Mapped: 49512 kB Shmem: 17056 kB Slab: 329168 kB SReclaimable: 301996 kB SUnreclaim: 27172 kB KernelStack: 3584 kB PageTables: 7892 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2091924 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1116160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 55004 MiB End job on node132 at 2018-07-23 01:52:23