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 2018-06-13 | Wrong Cert. | 2520.08 | 2445.64 |
| Name | NurseRostering/ NurseRostering-11_c18.xml |
| MD5SUM | 05c4130aaeb0756e89b7f80c2b4d0b20 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 9322 |
| Best CPU time to get the best result obtained on this benchmark | 2520.13 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2678 |
| Number of constraints | 6759 |
| Number of domains | 17 |
| Minimum domain size | 1 |
| Maximum domain size | 51 |
| Distribution of domain sizes | [{"size":1,"count":124},{"size":2,"count":536},{"size":7,"count":1400},{"size":29,"count":254},{"size":51,"count":364}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":1078},{"degree":3,"count":200},{"degree":19,"count":42},{"degree":20,"count":50},{"degree":21,"count":8},{"degree":22,"count":36},{"degree":23,"count":52},{"degree":24,"count":78},{"degree":25,"count":85},{"degree":26,"count":95},{"degree":27,"count":362},{"degree":28,"count":348},{"degree":29,"count":159},{"degree":30,"count":69},{"degree":31,"count":16}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":2,"count":2382},{"arity":3,"count":2340},{"arity":4,"count":300},{"arity":6,"count":920},{"arity":7,"count":270},{"arity":29,"count":350},{"arity":51,"count":196},{"arity":100,"count":1}] |
| Number of extensional constraints | 1546 |
| Number of intensional constraints | 836 |
| Distribution of constraint types | [{"type":"extension","count":1546},{"type":"intension","count":836},{"type":"regular","count":2590},{"type":"sum","count":100},{"type":"count","count":1686},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.98/0.73 c Concrete v3.8.1528841891564 running 17.74/6.68 c 01:51:34.055 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19796. 'extension(x[0][10]=[0‥6], 6) :: init: true :: relation: MDD 2138295848, 10 edges, 4 vertices, 12 tuples 17.74/6.68 c 01:51:34.060 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19797. 'extension(6, x[2][10]=[0‥6]) :: init: true :: relation: MDD 2138295848, 10 edges, 4 vertices, 12 tuples 17.74/6.69 c 01:51:34.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19833. 'extension(x[0][20]=[0‥6], 6) :: init: true :: relation: MDD 1600206621, 10 edges, 4 vertices, 12 tuples 17.74/6.69 c 01:51:34.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19834. 'extension(6, x[2][20]=[0‥6]) :: init: true :: relation: MDD 1600206621, 10 edges, 4 vertices, 12 tuples 17.74/6.69 c 01:51:34.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19870. 'extension(x[0][21]=[0‥6], 6) :: init: true :: relation: MDD 1495382332, 10 edges, 4 vertices, 12 tuples 17.74/6.69 c 01:51:34.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19871. 'extension(6, x[2][21]=[0‥6]) :: init: true :: relation: MDD 1495382332, 10 edges, 4 vertices, 12 tuples 18.05/6.70 c 01:51:34.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19907. 'extension(x[0][28]=[0‥6], 6) :: init: true :: relation: MDD 1296450832, 10 edges, 4 vertices, 12 tuples 18.05/6.70 c 01:51:34.071 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19908. 'extension(6, x[2][28]=[0‥6]) :: init: true :: relation: MDD 1296450832, 10 edges, 4 vertices, 12 tuples 18.05/6.70 c 01:51:34.073 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19944. 'extension(x[0][38]=[0‥6], 6) :: init: true :: relation: MDD 42783426, 10 edges, 4 vertices, 12 tuples 18.05/6.70 c 01:51:34.074 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19981. 'extension(x[1][19]=[0‥6], 6) :: init: true :: relation: MDD 895812217, 10 edges, 4 vertices, 12 tuples 18.05/6.70 c 01:51:34.075 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19982. 'extension(6, x[3][19]=[0‥6]) :: init: true :: relation: MDD 895812217, 10 edges, 4 vertices, 12 tuples 18.05/6.70 c 01:51:34.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20020. 'extension(6, x[3][38]=[0‥6]) :: init: true :: relation: MDD 42783426, 10 edges, 4 vertices, 12 tuples 18.05/6.70 c 01:51:34.078 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20023. 'extension(6, 6) :: init: true :: relation: MDD 42783426, 10 edges, 4 vertices, 12 tuples 18.05/6.70 c 01:51:34.080 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20059. 'extension(x[1][45]=[0‥6], 6) :: init: true :: relation: MDD 829567751, 10 edges, 4 vertices, 12 tuples 18.05/6.70 c 01:51:34.081 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20060. 'extension(6, x[3][45]=[0‥6]) :: init: true :: relation: MDD 829567751, 10 edges, 4 vertices, 12 tuples 18.05/6.71 c 01:51:34.083 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20098. 'extension(x[2][22]=[0‥6], 6) :: init: true :: relation: MDD 1036938712, 10 edges, 4 vertices, 12 tuples 18.05/6.71 c 01:51:34.084 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20138. 'extension(x[2][23]=[0‥6], 6) :: init: true :: relation: MDD 189215452, 10 edges, 4 vertices, 12 tuples 18.05/6.71 c 01:51:34.086 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20178. 'extension(x[3][1]=[0‥6], 6) :: init: true :: relation: MDD 1899640261, 10 edges, 4 vertices, 12 tuples 18.05/6.71 c 01:51:34.087 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20179. 'extension(6, x[5][1]=[0‥6]) :: init: true :: relation: MDD 1899640261, 10 edges, 4 vertices, 12 tuples 18.05/6.71 c 01:51:34.089 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20219. 'extension(6, x[5][22]=[0‥6]) :: init: true :: relation: MDD 1036938712, 10 edges, 4 vertices, 12 tuples 18.05/6.71 c 01:51:34.089 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20222. 'extension(6, 6) :: init: true :: relation: MDD 1036938712, 10 edges, 4 vertices, 12 tuples 18.05/6.71 c 01:51:34.091 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20260. 'extension(6, x[5][23]=[0‥6]) :: init: true :: relation: MDD 189215452, 10 edges, 4 vertices, 12 tuples 18.05/6.71 c 01:51:34.092 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20263. 'extension(6, 6) :: init: true :: relation: MDD 189215452, 10 edges, 4 vertices, 12 tuples 18.05/6.72 c 01:51:34.095 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20301. 'extension(6, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 876864630, 7 edges, 3 vertices, 6 tuples 18.05/6.72 c 01:51:34.096 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20302. 'extension(x[4][4]=[0‥6], 6) :: init: true :: relation: MDD 1798443618, 10 edges, 4 vertices, 12 tuples 18.05/6.72 c 01:51:34.096 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20303. 'extension(6, x[6][4]=[0‥6]) :: init: true :: relation: MDD 1798443618, 10 edges, 4 vertices, 12 tuples 18.05/6.72 c 01:51:34.098 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20344. 'extension(6, wk[37][0]=[0‥1]) :: init: true :: relation: MDD 2102232441, 7 edges, 3 vertices, 6 tuples 18.05/6.72 c 01:51:34.099 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20345. 'extension(x[4][37]=[0‥6], 6) :: init: true :: relation: MDD 2021540695, 10 edges, 4 vertices, 12 tuples 18.05/6.72 c 01:51:34.099 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20346. 'extension(6, x[6][37]=[0‥6]) :: init: true :: relation: MDD 2021540695, 10 edges, 4 vertices, 12 tuples 18.05/6.72 c 01:51:34.101 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20387. 'extension(6, wk[48][0]=[0‥1]) :: init: true :: relation: MDD 688361522, 7 edges, 3 vertices, 6 tuples 18.05/6.72 c 01:51:34.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20388. 'extension(x[4][48]=[0‥6], 6) :: init: true :: relation: MDD 1274547241, 10 edges, 4 vertices, 12 tuples 18.05/6.73 c 01:51:34.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20431. 'extension(6, wk[42][0]=[0‥1]) :: init: true :: relation: MDD 308103108, 7 edges, 3 vertices, 6 tuples 18.05/6.73 c 01:51:34.104 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20432. 'extension(x[5][42]=[0‥6], 6) :: init: true :: relation: MDD 1067155425, 10 edges, 4 vertices, 12 tuples 18.05/6.73 c 01:51:34.104 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20433. 'extension(6, x[7][42]=[0‥6]) :: init: true :: relation: MDD 1067155425, 10 edges, 4 vertices, 12 tuples 18.05/6.73 c 01:51:34.106 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20476. 'extension(6, wk[48][0]=[0‥1]) :: init: true :: relation: MDD 2002785788, 7 edges, 3 vertices, 6 tuples 18.05/6.73 c 01:51:34.107 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20477. 'extension(6, x[7][48]=[0‥6]) :: init: true :: relation: MDD 1274547241, 10 edges, 4 vertices, 12 tuples 18.05/6.73 c 01:51:34.108 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20480. 'extension(6, 6) :: init: true :: relation: MDD 1274547241, 10 edges, 4 vertices, 12 tuples 18.05/6.73 c 01:51:34.111 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20521. 'extension(x[6][31]=[0‥6], 6) :: init: true :: relation: MDD 933869191, 10 edges, 4 vertices, 12 tuples 18.05/6.74 c 01:51:34.112 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20563. 'extension(x[7][24]=[0‥6], 6) :: init: true :: relation: MDD 683327178, 10 edges, 4 vertices, 12 tuples 18.05/6.74 c 01:51:34.113 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20564. 'extension(6, x[9][24]=[0‥6]) :: init: true :: relation: MDD 683327178, 10 edges, 4 vertices, 12 tuples 18.05/6.74 c 01:51:34.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20605. 'extension(x[7][27]=[0‥6], 6) :: init: true :: relation: MDD 1629032994, 10 edges, 4 vertices, 12 tuples 18.05/6.74 c 01:51:34.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20606. 'extension(6, x[9][27]=[0‥6]) :: init: true :: relation: MDD 1629032994, 10 edges, 4 vertices, 12 tuples 18.05/6.75 c 01:51:34.117 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20647. 'extension(6, x[9][31]=[0‥6]) :: init: true :: relation: MDD 933869191, 10 edges, 4 vertices, 12 tuples 18.05/6.75 c 01:51:34.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20650. 'extension(6, 6) :: init: true :: relation: MDD 933869191, 10 edges, 4 vertices, 12 tuples 18.05/6.75 c 01:51:34.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20689. 'extension(x[7][32]=[0‥6], 6) :: init: true :: relation: MDD 384887832, 10 edges, 4 vertices, 12 tuples 18.05/6.75 c 01:51:34.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20731. 'extension(x[7][37]=[0‥6], 6) :: init: true :: relation: MDD 2021540695, 10 edges, 4 vertices, 12 tuples 18.05/6.75 c 01:51:34.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20732. 'extension(6, x[9][37]=[0‥6]) :: init: true :: relation: MDD 2021540695, 10 edges, 4 vertices, 12 tuples 18.05/6.75 c 01:51:34.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20773. 'extension(x[7][45]=[0‥6], 6) :: init: true :: relation: MDD 829567751, 10 edges, 4 vertices, 12 tuples 18.05/6.75 c 01:51:34.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20774. 'extension(6, x[9][45]=[0‥6]) :: init: true :: relation: MDD 829567751, 10 edges, 4 vertices, 12 tuples 18.05/6.75 c 01:51:34.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20817. 'extension(x[7][47]=[0‥6], 6) :: init: true :: relation: MDD 507448042, 10 edges, 4 vertices, 12 tuples 18.05/6.75 c 01:51:34.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20818. 'extension(6, x[9][47]=[0‥6]) :: init: true :: relation: MDD 507448042, 10 edges, 4 vertices, 12 tuples 18.05/6.75 c 01:51:34.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20861. 'extension(x[8][5]=[0‥6], 6) :: init: true :: relation: MDD 897303688, 10 edges, 4 vertices, 12 tuples 18.05/6.75 c 01:51:34.130 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20862. 'extension(6, x[10][5]=[0‥6]) :: init: true :: relation: MDD 897303688, 10 edges, 4 vertices, 12 tuples 18.05/6.75 c 01:51:34.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20903. 'extension(x[8][17]=[0‥6], 6) :: init: true :: relation: MDD 254513404, 10 edges, 4 vertices, 12 tuples 18.05/6.75 c 01:51:34.132 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20904. 'extension(6, x[10][17]=[0‥6]) :: init: true :: relation: MDD 254513404, 10 edges, 4 vertices, 12 tuples 18.05/6.76 c 01:51:34.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20945. 'extension(x[8][30]=[0‥6], 6) :: init: true :: relation: MDD 2003979454, 10 edges, 4 vertices, 12 tuples 18.05/6.76 c 01:51:34.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20946. 'extension(6, x[10][30]=[0‥6]) :: init: true :: relation: MDD 2003979454, 10 edges, 4 vertices, 12 tuples 18.05/6.76 c 01:51:34.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20987. 'extension(6, x[10][32]=[0‥6]) :: init: true :: relation: MDD 384887832, 10 edges, 4 vertices, 12 tuples 18.05/6.76 c 01:51:34.136 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20990. 'extension(6, 6) :: init: true :: relation: MDD 384887832, 10 edges, 4 vertices, 12 tuples 18.05/6.76 c 01:51:34.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21029. 'extension(x[8][35]=[0‥6], 6) :: init: true :: relation: MDD 306279528, 10 edges, 4 vertices, 12 tuples 18.05/6.76 c 01:51:34.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21071. 'extension(x[8][40]=[0‥6], 6) :: init: true :: relation: MDD 458736453, 10 edges, 4 vertices, 12 tuples 18.05/6.76 c 01:51:34.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21072. 'extension(6, x[10][40]=[0‥6]) :: init: true :: relation: MDD 458736453, 10 edges, 4 vertices, 12 tuples 18.05/6.76 c 01:51:34.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21115. 'extension(x[9][0]=[0‥6], 6) :: init: true :: relation: MDD 1984631992, 10 edges, 4 vertices, 12 tuples 18.05/6.77 c 01:51:34.142 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21157. 'extension(x[9][4]=[0‥6], 6) :: init: true :: relation: MDD 1798443618, 10 edges, 4 vertices, 12 tuples 18.05/6.77 c 01:51:34.143 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21158. 'extension(6, x[11][4]=[0‥6]) :: init: true :: relation: MDD 1798443618, 10 edges, 4 vertices, 12 tuples 18.05/6.77 c 01:51:34.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21199. 'extension(x[9][10]=[0‥6], 6) :: init: true :: relation: MDD 2138295848, 10 edges, 4 vertices, 12 tuples 18.05/6.77 c 01:51:34.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21200. 'extension(6, x[11][10]=[0‥6]) :: init: true :: relation: MDD 2138295848, 10 edges, 4 vertices, 12 tuples 18.05/6.77 c 01:51:34.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21241. 'extension(x[9][20]=[0‥6], 6) :: init: true :: relation: MDD 1600206621, 10 edges, 4 vertices, 12 tuples 18.05/6.77 c 01:51:34.148 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21242. 'extension(6, x[11][20]=[0‥6]) :: init: true :: relation: MDD 1600206621, 10 edges, 4 vertices, 12 tuples 18.05/6.77 c 01:51:34.150 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21283. 'extension(x[9][29]=[0‥6], 6) :: init: true :: relation: MDD 1066270324, 10 edges, 4 vertices, 12 tuples 18.05/6.77 c 01:51:34.151 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21325. 'extension(6, x[11][35]=[0‥6]) :: init: true :: relation: MDD 306279528, 10 edges, 4 vertices, 12 tuples 18.05/6.77 c 01:51:34.151 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21328. 'extension(6, 6) :: init: true :: relation: MDD 306279528, 10 edges, 4 vertices, 12 tuples 18.05/6.78 c 01:51:34.153 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21367. 'extension(6, x[12][0]=[0‥6]) :: init: true :: relation: MDD 1984631992, 10 edges, 4 vertices, 12 tuples 18.05/6.78 c 01:51:34.154 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21370. 'extension(6, 6) :: init: true :: relation: MDD 1984631992, 10 edges, 4 vertices, 12 tuples 18.05/6.79 c 01:51:34.156 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21409. 'extension(6, x[12][29]=[0‥6]) :: init: true :: relation: MDD 1066270324, 10 edges, 4 vertices, 12 tuples 18.05/6.79 c 01:51:34.156 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21412. 'extension(6, 6) :: init: true :: relation: MDD 1066270324, 10 edges, 4 vertices, 12 tuples 18.05/6.79 c 01:51:34.158 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21451. 'extension(x[10][36]=[0‥6], 6) :: init: true :: relation: MDD 994581493, 10 edges, 4 vertices, 12 tuples 18.05/6.79 c 01:51:34.159 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21493. 'extension(6, wk[21][1]=[0‥1]) :: init: true :: relation: MDD 157843285, 7 edges, 3 vertices, 6 tuples 18.05/6.79 c 01:51:34.159 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21494. 'extension(x[11][21]=[0‥6], 6) :: init: true :: relation: MDD 1495382332, 10 edges, 4 vertices, 12 tuples 18.05/6.79 c 01:51:34.160 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21495. 'extension(6, x[13][21]=[0‥6]) :: init: true :: relation: MDD 1495382332, 10 edges, 4 vertices, 12 tuples 18.05/6.79 c 01:51:34.162 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21536. 'extension(6, wk[27][1]=[0‥1]) :: init: true :: relation: MDD 565077371, 7 edges, 3 vertices, 6 tuples 18.05/6.79 c 01:51:34.162 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21537. 'extension(x[11][27]=[0‥6], 6) :: init: true :: relation: MDD 1629032994, 10 edges, 4 vertices, 12 tuples 18.05/6.79 c 01:51:34.162 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21538. 'extension(6, x[13][27]=[0‥6]) :: init: true :: relation: MDD 1629032994, 10 edges, 4 vertices, 12 tuples 18.05/6.79 c 01:51:34.164 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21579. 'extension(6, wk[36][1]=[0‥1]) :: init: true :: relation: MDD 530131514, 7 edges, 3 vertices, 6 tuples 18.05/6.79 c 01:51:34.165 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21580. 'extension(6, x[13][36]=[0‥6]) :: init: true :: relation: MDD 994581493, 10 edges, 4 vertices, 12 tuples 18.05/6.79 c 01:51:34.165 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21583. 'extension(6, 6) :: init: true :: relation: MDD 994581493, 10 edges, 4 vertices, 12 tuples 18.05/6.79 c 01:51:34.167 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21622. 'extension(6, wk[46][1]=[0‥1]) :: init: true :: relation: MDD 900593187, 7 edges, 3 vertices, 6 tuples 18.05/6.79 c 01:51:34.167 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21623. 'extension(x[11][46]=[0‥6], 6) :: init: true :: relation: MDD 709853193, 10 edges, 4 vertices, 12 tuples 18.05/6.79 c 01:51:34.169 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21667. 'extension(6, wk[1][1]=[0‥1]) :: init: true :: relation: MDD 501244955, 7 edges, 3 vertices, 6 tuples 18.05/6.79 c 01:51:34.169 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21668. 'extension(x[12][1]=[0‥6], 6) :: init: true :: relation: MDD 1899640261, 10 edges, 4 vertices, 12 tuples 18.05/6.79 c 01:51:34.169 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21669. 'extension(6, x[14][1]=[0‥6]) :: init: true :: relation: MDD 1899640261, 10 edges, 4 vertices, 12 tuples 18.05/6.79 c 01:51:34.171 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21710. 'extension(6, wk[2][1]=[0‥1]) :: init: true :: relation: MDD 2134194703, 7 edges, 3 vertices, 6 tuples 18.40/6.80 c 01:51:34.172 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21711. 'extension(x[12][2]=[0‥6], 6) :: init: true :: relation: MDD 1460139539, 10 edges, 4 vertices, 12 tuples 18.40/6.80 c 01:51:34.172 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21753. 'extension(6, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1232631679, 7 edges, 3 vertices, 6 tuples 18.40/6.80 c 01:51:34.173 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21754. 'extension(x[12][5]=[0‥6], 6) :: init: true :: relation: MDD 897303688, 10 edges, 4 vertices, 12 tuples 18.40/6.80 c 01:51:34.173 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21755. 'extension(6, x[14][5]=[0‥6]) :: init: true :: relation: MDD 897303688, 10 edges, 4 vertices, 12 tuples 18.40/6.80 c 01:51:34.175 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21796. 'extension(6, wk[12][1]=[0‥1]) :: init: true :: relation: MDD 1526730726, 7 edges, 3 vertices, 6 tuples 18.40/6.80 c 01:51:34.175 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21797. 'extension(x[12][12]=[0‥6], 6) :: init: true :: relation: MDD 1029790510, 10 edges, 4 vertices, 12 tuples 18.40/6.80 c 01:51:34.176 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21839. 'extension(6, wk[43][1]=[0‥1]) :: init: true :: relation: MDD 1655993826, 7 edges, 3 vertices, 6 tuples 18.40/6.80 c 01:51:34.176 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21840. 'extension(x[12][43]=[0‥6], 6) :: init: true :: relation: MDD 713765818, 10 edges, 4 vertices, 12 tuples 18.40/6.80 c 01:51:34.176 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21841. 'extension(6, x[14][43]=[0‥6]) :: init: true :: relation: MDD 713765818, 10 edges, 4 vertices, 12 tuples 18.40/6.80 c 01:51:34.178 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21884. 'extension(6, wk[46][1]=[0‥1]) :: init: true :: relation: MDD 1976788674, 7 edges, 3 vertices, 6 tuples 18.40/6.80 c 01:51:34.178 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21885. 'extension(6, x[14][46]=[0‥6]) :: init: true :: relation: MDD 709853193, 10 edges, 4 vertices, 12 tuples 18.40/6.80 c 01:51:34.179 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21888. 'extension(6, 6) :: init: true :: relation: MDD 709853193, 10 edges, 4 vertices, 12 tuples 18.40/6.80 c 01:51:34.181 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21929. 'extension(6, x[15][2]=[0‥6]) :: init: true :: relation: MDD 1460139539, 10 edges, 4 vertices, 12 tuples 18.40/6.80 c 01:51:34.182 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21932. 'extension(6, 6) :: init: true :: relation: MDD 1460139539, 10 edges, 4 vertices, 12 tuples 18.40/6.81 c 01:51:34.183 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21971. 'extension(x[13][3]=[0‥6], 6) :: init: true :: relation: MDD 831931099, 10 edges, 4 vertices, 12 tuples 18.40/6.81 c 01:51:34.184 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22013. 'extension(x[13][6]=[0‥6], 6) :: init: true :: relation: MDD 1537805706, 10 edges, 4 vertices, 12 tuples 18.40/6.81 c 01:51:34.185 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22055. 'extension(6, x[15][12]=[0‥6]) :: init: true :: relation: MDD 1029790510, 10 edges, 4 vertices, 12 tuples 18.40/6.81 c 01:51:34.185 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22058. 'extension(6, 6) :: init: true :: relation: MDD 1029790510, 10 edges, 4 vertices, 12 tuples 18.40/6.81 c 01:51:34.187 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22097. 'extension(x[13][34]=[0‥6], 6) :: init: true :: relation: MDD 945683299, 10 edges, 4 vertices, 12 tuples 18.40/6.81 c 01:51:34.187 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22098. 'extension(6, x[15][34]=[0‥6]) :: init: true :: relation: MDD 945683299, 10 edges, 4 vertices, 12 tuples 18.40/6.81 c 01:51:34.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22139. 'extension(x[13][41]=[0‥6], 6) :: init: true :: relation: MDD 2037199851, 10 edges, 4 vertices, 12 tuples 18.40/6.81 c 01:51:34.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22183. 'extension(6, x[16][3]=[0‥6]) :: init: true :: relation: MDD 831931099, 10 edges, 4 vertices, 12 tuples 18.40/6.81 c 01:51:34.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22186. 'extension(6, 6) :: init: true :: relation: MDD 831931099, 10 edges, 4 vertices, 12 tuples 18.40/6.81 c 01:51:34.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22225. 'extension(6, x[16][6]=[0‥6]) :: init: true :: relation: MDD 1537805706, 10 edges, 4 vertices, 12 tuples 18.40/6.82 c 01:51:34.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22228. 'extension(6, 6) :: init: true :: relation: MDD 1537805706, 10 edges, 4 vertices, 12 tuples 18.40/6.82 c 01:51:34.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22267. 'extension(x[14][18]=[0‥6], 6) :: init: true :: relation: MDD 2108044736, 10 edges, 4 vertices, 12 tuples 18.40/6.82 c 01:51:34.195 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22309. 'extension(6, x[16][41]=[0‥6]) :: init: true :: relation: MDD 2037199851, 10 edges, 4 vertices, 12 tuples 18.40/6.82 c 01:51:34.195 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22312. 'extension(6, 6) :: init: true :: relation: MDD 2037199851, 10 edges, 4 vertices, 12 tuples 18.40/6.82 c 01:51:34.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22353. 'extension(x[14][42]=[0‥6], 6) :: init: true :: relation: MDD 1067155425, 10 edges, 4 vertices, 12 tuples 18.40/6.82 c 01:51:34.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22354. 'extension(6, x[16][42]=[0‥6]) :: init: true :: relation: MDD 1067155425, 10 edges, 4 vertices, 12 tuples 18.40/6.82 c 01:51:34.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22397. 'extension(x[15][14]=[0‥6], 6) :: init: true :: relation: MDD 1560671315, 10 edges, 4 vertices, 12 tuples 18.40/6.82 c 01:51:34.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22398. 'extension(6, x[17][14]=[0‥6]) :: init: true :: relation: MDD 1560671315, 10 edges, 4 vertices, 12 tuples 18.40/6.82 c 01:51:34.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22439. 'extension(x[15][15]=[0‥6], 6) :: init: true :: relation: MDD 345722144, 10 edges, 4 vertices, 12 tuples 18.40/6.83 c 01:51:34.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22481. 'extension(x[15][17]=[0‥6], 6) :: init: true :: relation: MDD 254513404, 10 edges, 4 vertices, 12 tuples 18.40/6.83 c 01:51:34.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22482. 'extension(6, x[17][17]=[0‥6]) :: init: true :: relation: MDD 254513404, 10 edges, 4 vertices, 12 tuples 18.40/6.83 c 01:51:34.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22523. 'extension(6, x[17][18]=[0‥6]) :: init: true :: relation: MDD 2108044736, 10 edges, 4 vertices, 12 tuples 18.40/6.83 c 01:51:34.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22526. 'extension(6, 6) :: init: true :: relation: MDD 2108044736, 10 edges, 4 vertices, 12 tuples 18.40/6.83 c 01:51:34.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22565. 'extension(x[15][47]=[0‥6], 6) :: init: true :: relation: MDD 507448042, 10 edges, 4 vertices, 12 tuples 18.40/6.83 c 01:51:34.208 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22566. 'extension(6, x[17][47]=[0‥6]) :: init: true :: relation: MDD 507448042, 10 edges, 4 vertices, 12 tuples 18.40/6.84 c 01:51:34.214 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22609. 'extension(x[16][9]=[0‥6], 6) :: init: true :: relation: MDD 249696914, 10 edges, 4 vertices, 12 tuples 18.40/6.84 c 01:51:34.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22651. 'extension(6, x[18][15]=[0‥6]) :: init: true :: relation: MDD 345722144, 10 edges, 4 vertices, 12 tuples 18.40/6.84 c 01:51:34.216 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22654. 'extension(6, 6) :: init: true :: relation: MDD 345722144, 10 edges, 4 vertices, 12 tuples 18.40/6.84 c 01:51:34.217 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22693. 'extension(x[16][16]=[0‥6], 6) :: init: true :: relation: MDD 18130400, 10 edges, 4 vertices, 12 tuples 18.40/6.84 c 01:51:34.219 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22735. 'extension(6, x[19][9]=[0‥6]) :: init: true :: relation: MDD 249696914, 10 edges, 4 vertices, 12 tuples 18.40/6.84 c 01:51:34.219 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22738. 'extension(6, 6) :: init: true :: relation: MDD 249696914, 10 edges, 4 vertices, 12 tuples 18.40/6.84 c 01:51:34.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22777. 'extension(6, x[19][16]=[0‥6]) :: init: true :: relation: MDD 18130400, 10 edges, 4 vertices, 12 tuples 18.40/6.84 c 01:51:34.222 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22780. 'extension(6, 6) :: init: true :: relation: MDD 18130400, 10 edges, 4 vertices, 12 tuples 18.40/6.85 c 01:51:34.223 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22819. 'extension(x[17][25]=[0‥6], 6) :: init: true :: relation: MDD 1335082762, 10 edges, 4 vertices, 12 tuples 18.40/6.85 c 01:51:34.224 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22861. 'extension(x[17][40]=[0‥6], 6) :: init: true :: relation: MDD 458736453, 10 edges, 4 vertices, 12 tuples 18.40/6.85 c 01:51:34.224 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22862. 'extension(6, x[19][40]=[0‥6]) :: init: true :: relation: MDD 458736453, 10 edges, 4 vertices, 12 tuples 18.40/6.85 c 01:51:34.227 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22905. 'extension(6, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 1374664497, 7 edges, 3 vertices, 6 tuples 18.40/6.85 c 01:51:34.227 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22906. 'extension(x[18][11]=[0‥6], 6) :: init: true :: relation: MDD 1413306467, 10 edges, 4 vertices, 12 tuples 18.40/6.85 c 01:51:34.228 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22948. 'extension(6, wk[25][2]=[0‥1]) :: init: true :: relation: MDD 482885994, 7 edges, 3 vertices, 6 tuples 18.40/6.85 c 01:51:34.228 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22949. 'extension(6, x[20][25]=[0‥6]) :: init: true :: relation: MDD 1335082762, 10 edges, 4 vertices, 12 tuples 18.40/6.85 c 01:51:34.229 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22952. 'extension(6, 6) :: init: true :: relation: MDD 1335082762, 10 edges, 4 vertices, 12 tuples 18.40/6.85 c 01:51:34.230 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22991. 'extension(6, wk[43][2]=[0‥1]) :: init: true :: relation: MDD 476179877, 7 edges, 3 vertices, 6 tuples 18.40/6.85 c 01:51:34.231 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22992. 'extension(x[18][43]=[0‥6], 6) :: init: true :: relation: MDD 713765818, 10 edges, 4 vertices, 12 tuples 18.40/6.85 c 01:51:34.231 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22993. 'extension(6, x[20][43]=[0‥6]) :: init: true :: relation: MDD 713765818, 10 edges, 4 vertices, 12 tuples 18.40/6.86 c 01:51:34.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23036. 'extension(6, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 1172754912, 7 edges, 3 vertices, 6 tuples 18.40/6.86 c 01:51:34.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23037. 'extension(6, x[21][11]=[0‥6]) :: init: true :: relation: MDD 1413306467, 10 edges, 4 vertices, 12 tuples 18.40/6.86 c 01:51:34.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23040. 'extension(6, 6) :: init: true :: relation: MDD 1413306467, 10 edges, 4 vertices, 12 tuples 18.40/6.86 c 01:51:34.236 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23079. 'extension(6, wk[44][2]=[0‥1]) :: init: true :: relation: MDD 1040477753, 7 edges, 3 vertices, 6 tuples 18.40/6.86 c 01:51:34.236 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23080. 'extension(x[19][44]=[0‥6], 6) :: init: true :: relation: MDD 245867715, 10 edges, 4 vertices, 12 tuples 18.40/6.86 c 01:51:34.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23081. 'extension(6, x[21][44]=[0‥6]) :: init: true :: relation: MDD 245867715, 10 edges, 4 vertices, 12 tuples 18.40/6.86 c 01:51:34.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23124. 'extension(x[20][13]=[0‥6], 6) :: init: true :: relation: MDD 1388979794, 10 edges, 4 vertices, 12 tuples 18.40/6.86 c 01:51:34.240 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23166. 'extension(x[21][8]=[0‥6], 6) :: init: true :: relation: MDD 739003402, 10 edges, 4 vertices, 12 tuples 18.40/6.86 c 01:51:34.241 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23208. 'extension(6, x[23][13]=[0‥6]) :: init: true :: relation: MDD 1388979794, 10 edges, 4 vertices, 12 tuples 18.40/6.86 c 01:51:34.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23211. 'extension(6, 6) :: init: true :: relation: MDD 1388979794, 10 edges, 4 vertices, 12 tuples 18.40/6.87 c 01:51:34.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23250. 'extension(x[21][49]=[0‥6], 6) :: init: true :: relation: MDD 968238821, 10 edges, 4 vertices, 12 tuples 18.40/6.87 c 01:51:34.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23293. 'extension(6, x[24][8]=[0‥6]) :: init: true :: relation: MDD 739003402, 10 edges, 4 vertices, 12 tuples 18.40/6.87 c 01:51:34.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23296. 'extension(6, 6) :: init: true :: relation: MDD 739003402, 10 edges, 4 vertices, 12 tuples 18.40/6.87 c 01:51:34.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23334. 'extension(x[22][19]=[0‥6], 6) :: init: true :: relation: MDD 895812217, 10 edges, 4 vertices, 12 tuples 18.40/6.87 c 01:51:34.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23335. 'extension(6, x[24][19]=[0‥6]) :: init: true :: relation: MDD 895812217, 10 edges, 4 vertices, 12 tuples 18.40/6.87 c 01:51:34.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23375. 'extension(6, x[24][49]=[0‥6]) :: init: true :: relation: MDD 968238821, 10 edges, 4 vertices, 12 tuples 18.40/6.87 c 01:51:34.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23378. 'extension(6, 6) :: init: true :: relation: MDD 968238821, 10 edges, 4 vertices, 12 tuples 18.40/6.87 c 01:51:34.252 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23417. 'extension(x[23][14]=[0‥6], 6) :: init: true :: relation: MDD 1560671315, 10 edges, 4 vertices, 12 tuples 18.40/6.87 c 01:51:34.252 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23418. 'extension(6, x[25][14]=[0‥6]) :: init: true :: relation: MDD 1560671315, 10 edges, 4 vertices, 12 tuples 18.40/6.88 c 01:51:34.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23457. 'extension(x[23][28]=[0‥6], 6) :: init: true :: relation: MDD 1296450832, 10 edges, 4 vertices, 12 tuples 18.40/6.88 c 01:51:34.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23458. 'extension(6, x[25][28]=[0‥6]) :: init: true :: relation: MDD 1296450832, 10 edges, 4 vertices, 12 tuples 18.40/6.88 c 01:51:34.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23497. 'extension(x[23][34]=[0‥6], 6) :: init: true :: relation: MDD 945683299, 10 edges, 4 vertices, 12 tuples 18.40/6.88 c 01:51:34.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23498. 'extension(6, x[25][34]=[0‥6]) :: init: true :: relation: MDD 945683299, 10 edges, 4 vertices, 12 tuples 18.40/6.88 c 01:51:34.259 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23537. 'extension(x[24][24]=[0‥6], 6) :: init: true :: relation: MDD 683327178, 10 edges, 4 vertices, 12 tuples 18.40/6.88 c 01:51:34.259 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23538. 'extension(6, x[26][24]=[0‥6]) :: init: true :: relation: MDD 683327178, 10 edges, 4 vertices, 12 tuples 18.40/6.88 c 01:51:34.261 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23576. 'extension(x[24][26]=[0‥6], 6) :: init: true :: relation: MDD 632521219, 10 edges, 4 vertices, 12 tuples 18.40/6.89 c 01:51:34.262 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23615. 'extension(x[24][33]=[0‥6], 6) :: init: true :: relation: MDD 1933554786, 10 edges, 4 vertices, 12 tuples 18.40/6.89 c 01:51:34.263 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23654. 'extension(x[24][39]=[0‥6], 6) :: init: true :: relation: MDD 2041676336, 10 edges, 4 vertices, 12 tuples 18.40/6.89 c 01:51:34.264 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23693. 'extension(6, wk[7][3]=[0‥1]) :: init: true :: relation: MDD 132372445, 7 edges, 3 vertices, 6 tuples 18.40/6.89 c 01:51:34.265 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23694. 'extension(x[25][7]=[0‥6], 6) :: init: true :: relation: MDD 161615037, 10 edges, 4 vertices, 12 tuples 18.40/6.89 c 01:51:34.265 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23731. 'extension(6, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1974379194, 7 edges, 3 vertices, 6 tuples 18.40/6.89 c 01:51:34.266 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23732. 'extension(6, x[27][26]=[0‥6]) :: init: true :: relation: MDD 632521219, 10 edges, 4 vertices, 12 tuples 18.40/6.89 c 01:51:34.266 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23734. 'extension(6, 6) :: init: true :: relation: MDD 632521219, 10 edges, 4 vertices, 12 tuples 18.40/6.89 c 01:51:34.267 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23769. 'extension(6, wk[33][3]=[0‥1]) :: init: true :: relation: MDD 22690626, 7 edges, 3 vertices, 6 tuples 18.40/6.89 c 01:51:34.268 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23770. 'extension(6, x[27][33]=[0‥6]) :: init: true :: relation: MDD 1933554786, 10 edges, 4 vertices, 12 tuples 18.40/6.89 c 01:51:34.268 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23772. 'extension(6, 6) :: init: true :: relation: MDD 1933554786, 10 edges, 4 vertices, 12 tuples 18.40/6.89 c 01:51:34.269 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23807. 'extension(6, wk[39][3]=[0‥1]) :: init: true :: relation: MDD 1053719038, 7 edges, 3 vertices, 6 tuples 18.40/6.89 c 01:51:34.270 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23808. 'extension(6, x[27][39]=[0‥6]) :: init: true :: relation: MDD 2041676336, 10 edges, 4 vertices, 12 tuples 18.40/6.89 c 01:51:34.270 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23810. 'extension(6, 6) :: init: true :: relation: MDD 2041676336, 10 edges, 4 vertices, 12 tuples 18.40/6.89 c 01:51:34.271 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23845. 'extension(6, wk[44][3]=[0‥1]) :: init: true :: relation: MDD 1190941229, 7 edges, 3 vertices, 6 tuples 18.40/6.89 c 01:51:34.272 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23846. 'extension(x[25][44]=[0‥6], 6) :: init: true :: relation: MDD 245867715, 10 edges, 4 vertices, 12 tuples 18.71/6.90 c 01:51:34.272 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23847. 'extension(6, x[27][44]=[0‥6]) :: init: true :: relation: MDD 245867715, 10 edges, 4 vertices, 12 tuples 18.71/6.90 c 01:51:34.274 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23883. 'extension(6, wk[7][3]=[0‥1]) :: init: true :: relation: MDD 1094446968, 7 edges, 3 vertices, 6 tuples 18.71/6.90 c 01:51:34.275 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23884. 'extension(6, 6) :: init: true :: relation: MDD 161615037, 10 edges, 4 vertices, 12 tuples 18.71/6.90 c 01:51:34.275 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23885. 'extension(6, 6) :: init: true :: relation: MDD 863366099, 7 edges, 3 vertices, 6 tuples 18.71/6.90 c 01:51:34.276 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23917. 'extension(6, wk[30][3]=[0‥1]) :: init: true :: relation: MDD 2138697198, 7 edges, 3 vertices, 6 tuples 18.71/6.90 c 01:51:34.276 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23918. 'extension(x[26][30]=[0‥6], 6) :: init: true :: relation: MDD 2003979454, 10 edges, 4 vertices, 12 tuples 18.71/6.90 c 01:51:34.277 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23919. 'extension(6, x[26][30]=[0‥6]) :: init: true :: relation: MDD 1336437944, 7 edges, 3 vertices, 6 tuples 18.71/6.91 c 01:51:34.291 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24052. 'extension(x[0][10]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.91 c 01:51:34.292 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24054. 'extension(x[2][10]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.292 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24066. 'extension(x[0][20]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.293 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24068. 'extension(x[2][20]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.293 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24080. 'extension(x[0][21]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.294 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24082. 'extension(x[2][21]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.294 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24094. 'extension(x[0][28]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.294 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24096. 'extension(x[2][28]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.295 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24108. 'extension(x[0][38]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.295 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24112. 'extension(x[1][19]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.296 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24114. 'extension(x[3][19]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.296 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24128. 'extension(x[3][38]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.297 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24142. 'extension(x[1][45]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.297 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24144. 'extension(x[3][45]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.298 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24158. 'extension(x[2][22]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.298 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24164. 'extension(x[2][23]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.299 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24170. 'extension(x[3][1]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.299 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24172. 'extension(x[5][1]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.300 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24186. 'extension(x[5][22]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.300 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24200. 'extension(x[5][23]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.301 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24214. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.301 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24216. 'extension(x[4][4]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.92 c 01:51:34.301 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24218. 'extension(x[6][4]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.302 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24232. 'extension(wk[37][0]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.302 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24234. 'extension(x[4][37]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.303 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24236. 'extension(x[6][37]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.303 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24250. 'extension(wk[48][0]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.303 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24252. 'extension(x[4][48]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.304 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24258. 'extension(wk[42][0]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.304 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24260. 'extension(x[5][42]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.304 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24262. 'extension(x[7][42]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.305 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24278. 'extension(wk[48][0]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.305 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24280. 'extension(x[7][48]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.306 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24296. 'extension(x[6][31]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.307 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24302. 'extension(x[7][24]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.307 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24304. 'extension(x[9][24]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.307 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24318. 'extension(x[7][27]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.308 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24320. 'extension(x[9][27]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.308 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24334. 'extension(x[9][31]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.309 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24348. 'extension(x[7][32]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.309 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24354. 'extension(x[7][37]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.310 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24356. 'extension(x[9][37]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.310 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24370. 'extension(x[7][45]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.311 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24372. 'extension(x[9][45]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.312 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24388. 'extension(x[7][47]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.93 c 01:51:34.312 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24390. 'extension(x[9][47]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.313 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24406. 'extension(x[8][5]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.313 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24408. 'extension(x[10][5]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.314 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24422. 'extension(x[8][17]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.314 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24424. 'extension(x[10][17]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.314 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24438. 'extension(x[8][30]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.315 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24440. 'extension(x[10][30]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.315 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24454. 'extension(x[10][32]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.316 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24468. 'extension(x[8][35]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.317 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24474. 'extension(x[8][40]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.317 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24476. 'extension(x[10][40]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.318 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24492. 'extension(x[9][0]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.318 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24498. 'extension(x[9][4]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.318 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24500. 'extension(x[11][4]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.319 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24514. 'extension(x[9][10]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.319 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24516. 'extension(x[11][10]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.320 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24530. 'extension(x[9][20]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.320 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24532. 'extension(x[11][20]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.321 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24546. 'extension(x[9][29]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.322 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24552. 'extension(x[11][35]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.94 c 01:51:34.322 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24566. 'extension(x[12][0]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.323 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24580. 'extension(x[12][29]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.323 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24594. 'extension(x[10][36]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.324 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24600. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.324 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24602. 'extension(x[11][21]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.324 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24604. 'extension(x[13][21]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24618. 'extension(wk[27][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24620. 'extension(x[11][27]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24622. 'extension(x[13][27]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.326 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24636. 'extension(wk[36][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.326 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24638. 'extension(x[13][36]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24652. 'extension(wk[46][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24654. 'extension(x[11][46]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24660. 'extension(wk[1][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.328 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24662. 'extension(x[12][1]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.328 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24664. 'extension(x[14][1]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.328 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24678. 'extension(wk[2][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24680. 'extension(x[12][2]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24686. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24688. 'extension(x[12][5]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24690. 'extension(x[14][5]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.95 c 01:51:34.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24704. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24706. 'extension(x[12][12]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24712. 'extension(wk[43][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24714. 'extension(x[12][43]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24716. 'extension(x[14][43]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.332 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24732. 'extension(wk[46][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.332 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24734. 'extension(x[14][46]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.333 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24750. 'extension(x[15][2]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24764. 'extension(x[13][3]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24770. 'extension(x[13][6]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.335 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24776. 'extension(x[15][12]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.335 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24790. 'extension(x[13][34]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.335 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24792. 'extension(x[15][34]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.336 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24806. 'extension(x[13][41]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.336 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24812. 'extension(x[16][3]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.337 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24826. 'extension(x[16][6]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.338 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24840. 'extension(x[14][18]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.338 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24846. 'extension(x[16][41]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.339 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24862. 'extension(x[14][42]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24864. 'extension(x[16][42]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24880. 'extension(x[15][14]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24882. 'extension(x[17][14]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.341 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24896. 'extension(x[15][15]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24902. 'extension(x[15][17]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.96 c 01:51:34.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24904. 'extension(x[17][17]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24918. 'extension(x[17][18]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.343 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24932. 'extension(x[15][47]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.343 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24934. 'extension(x[17][47]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.344 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24950. 'extension(x[16][9]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.344 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24956. 'extension(x[18][15]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24970. 'extension(x[16][16]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24976. 'extension(x[19][9]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.346 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24990. 'extension(x[19][16]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.347 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25004. 'extension(x[17][25]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.347 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25010. 'extension(x[17][40]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.347 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25012. 'extension(x[19][40]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.348 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25028. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.348 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25030. 'extension(x[18][11]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.349 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25036. 'extension(wk[25][2]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.349 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25038. 'extension(x[20][25]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.97 c 01:51:34.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25052. 'extension(wk[43][2]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25054. 'extension(x[18][43]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25056. 'extension(x[20][43]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.351 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25072. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.351 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25074. 'extension(x[21][11]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.352 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25088. 'extension(wk[44][2]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.352 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25090. 'extension(x[19][44]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.352 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25092. 'extension(x[21][44]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.353 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25108. 'extension(x[20][13]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.353 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25114. 'extension(x[21][8]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.353 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25120. 'extension(x[23][13]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.354 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25134. 'extension(x[21][49]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.354 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25140. 'extension(x[24][8]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25154. 'extension(x[22][19]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25156. 'extension(x[24][19]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.356 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25170. 'extension(x[24][49]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25186. 'extension(x[23][14]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.357 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25188. 'extension(x[25][14]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.358 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25202. 'extension(x[23][28]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.358 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25204. 'extension(x[25][28]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.358 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25218. 'extension(x[23][34]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25220. 'extension(x[25][34]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25234. 'extension(x[24][24]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25236. 'extension(x[26][24]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.360 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25250. 'extension(x[24][26]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.360 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25256. 'extension(x[24][33]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25262. 'extension(x[24][39]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25268. 'extension(wk[7][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25270. 'extension(x[25][7]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25276. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25278. 'extension(x[27][26]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.98 c 01:51:34.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25290. 'extension(wk[33][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.99 c 01:51:34.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25292. 'extension(x[27][33]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.99 c 01:51:34.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25304. 'extension(wk[39][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.99 c 01:51:34.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25306. 'extension(x[27][39]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.99 c 01:51:34.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25318. 'extension(wk[44][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.99 c 01:51:34.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25320. 'extension(x[25][44]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.99 c 01:51:34.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25322. 'extension(x[27][44]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.99 c 01:51:34.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25334. 'extension(wk[7][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.99 c 01:51:34.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25340. 'extension(wk[30][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.71/6.99 c 01:51:34.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25342. 'extension(x[26][30]=[0‥6]) :: init: true :: relation: Empty MDD 18.71/6.99 c 01:51:34.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25344. 'extension(x[26][30]=[0‥6]) :: init: true :: relation: Empty MDD 1386.43/1335.29 o 12007 1403.67/1351.02 o 11906 1409.90/1356.77 o 11806 1410.75/1357.52 o 11805 2520.02/2445.60 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost 2520.02/2445.60 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24) 2520.02/2445.60 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53) 2520.02/2445.60 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142) 2520.02/2445.60 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5) 2520.02/2445.60 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126) 2520.02/2445.60 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8) 2520.02/2445.60 at concrete.heuristic.value.BestCost.select(BestCost.scala:53) 2520.02/2445.60 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102) 2520.02/2445.60 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102) 2520.02/2445.60 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.02/2445.60 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102) 2520.02/2445.60 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102) 2520.02/2445.60 at scala.Function2.$anonfun$tupled$1(Function2.scala:48) 2520.02/2445.60 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102) 2520.02/2445.60 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108) 2520.02/2445.60 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42) 2520.02/2445.60 at scala.Option.map(Option.scala:146) 2520.02/2445.60 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40) 2520.02/2445.60 at concrete.MAC.mac(MAC.scala:203) 2520.02/2445.60 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.02/2445.60 at scala.util.Try$.apply(Try.scala:209) 2520.02/2445.60 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.02/2445.60 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.02/2445.60 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.02/2445.60 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.02/2445.60 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.02/2445.60 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.02/2445.61 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.02/2445.61 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.02/2445.61 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.02/2445.61 at concrete.MAC.oneRun(MAC.scala:253) 2520.02/2445.61 at concrete.MAC.nextSolution(MAC.scala:272) 2520.02/2445.61 at concrete.MAC.nextSolution(MAC.scala:355) 2520.02/2445.61 at concrete.Solver.hasNext(Solver.scala:166) 2520.02/2445.61 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.02/2445.61 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.02/2445.61 at concrete.Solver.foreach(Solver.scala:68) 2520.02/2445.61 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.02/2445.61 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.02/2445.61 at scala.util.Success.map(Try.scala:209) 2520.02/2445.61 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.02/2445.61 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.02/2445.61 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.02/2445.61 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.02/2445.61 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.02/2445.61 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.02/2445.61 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.02/2445.61 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.02/2445.61 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.02/2445.61 at scala.collection.immutable.List.foreach(List.scala:389) 2520.02/2445.61 at scala.App.main(App.scala:76) 2520.02/2445.61 at scala.App.main$(App.scala:74) 2520.02/2445.61 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.02/2445.61 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.02/2445.62 v <instantiation cost="11805"> 2520.02/2445.62 v <list> 2520.02/2445.62 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[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] 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[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] 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[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] 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[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] 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[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] 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[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] 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[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] 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[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] 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[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] 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[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] 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[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] 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[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] 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[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] 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[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] 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[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] 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[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] 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[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] 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[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] 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[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] 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[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] 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[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] 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[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] 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[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] 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[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] 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[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] 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[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] 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[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] 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] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[0][5] ps[0][6] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[1][5] ps[1][6] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[2][5] ps[2][6] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[3][5] ps[3][6] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[4][5] ps[4][6] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[5][5] ps[5][6] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[6][5] ps[6][6] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[7][5] ps[7][6] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[8][5] ps[8][6] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[9][5] ps[9][6] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[10][5] ps[10][6] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[11][5] ps[11][6] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[12][5] ps[12][6] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[13][5] ps[13][6] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[14][5] ps[14][6] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[15][5] ps[15][6] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[16][5] ps[16][6] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[17][5] ps[17][6] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[18][5] ps[18][6] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[19][5] ps[19][6] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[20][5] ps[20][6] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[21][5] ps[21][6] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[22][5] ps[22][6] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[23][5] ps[23][6] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[24][5] ps[24][6] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[25][5] ps[25][6] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[26][5] ps[26][6] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[27][5] ps[27][6] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[28][5] ps[28][6] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[29][5] ps[29][6] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[30][5] ps[30][6] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[31][5] ps[31][6] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[32][5] ps[32][6] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[33][5] ps[33][6] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[34][5] ps[34][6] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ps[35][5] ps[35][6] ps[36][0] ps[36][1] ps[36][2] ps[36][3] ps[36][4] ps[36][5] ps[36][6] ps[37][0] ps[37][1] ps[37][2] ps[37][3] ps[37][4] ps[37][5] ps[37][6] ps[38][0] ps[38][1] ps[38][2] ps[38][3] ps[38][4] ps[38][5] ps[38][6] ps[39][0] ps[39][1] ps[39][2] ps[39][3] ps[39][4] ps[39][5] ps[39][6] ps[40][0] ps[40][1] ps[40][2] ps[40][3] ps[40][4] ps[40][5] ps[40][6] ps[41][0] ps[41][1] ps[41][2] ps[41][3] ps[41][4] ps[41][5] ps[41][6] ps[42][0] ps[42][1] ps[42][2] ps[42][3] ps[42][4] ps[42][5] ps[42][6] ps[43][0] ps[43][1] ps[43][2] ps[43][3] ps[43][4] ps[43][5] ps[43][6] ps[44][0] ps[44][1] ps[44][2] ps[44][3] ps[44][4] ps[44][5] ps[44][6] ps[45][0] ps[45][1] ps[45][2] ps[45][3] ps[45][4] ps[45][5] ps[45][6] ps[46][0] ps[46][1] ps[46][2] ps[46][3] ps[46][4] ps[46][5] ps[46][6] ps[47][0] ps[47][1] ps[47][2] ps[47][3] ps[47][4] ps[47][5] ps[47][6] ps[48][0] ps[48][1] ps[48][2] ps[48][3] ps[48][4] ps[48][5] ps[48][6] ps[49][0] ps[49][1] ps[49][2] ps[49][3] ps[49][4] ps[49][5] ps[49][6] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[0][5] ds[0][6] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[1][5] ds[1][6] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[2][5] ds[2][6] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[3][5] ds[3][6] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[4][5] ds[4][6] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[5][5] ds[5][6] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[6][5] ds[6][6] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[7][5] ds[7][6] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[8][5] ds[8][6] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[9][5] ds[9][6] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[10][5] ds[10][6] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[11][5] ds[11][6] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[12][5] ds[12][6] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[13][5] ds[13][6] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[14][5] ds[14][6] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[15][5] ds[15][6] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[16][5] ds[16][6] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[17][5] ds[17][6] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[18][5] ds[18][6] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[19][5] ds[19][6] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[20][5] ds[20][6] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[21][5] ds[21][6] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[22][5] ds[22][6] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[23][5] ds[23][6] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[24][5] ds[24][6] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[25][5] ds[25][6] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[26][5] ds[26][6] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] ds[27][5] ds[27][6] 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] wk[36][0] wk[36][1] wk[36][2] wk[36][3] wk[37][0] wk[37][1] wk[37][2] wk[37][3] wk[38][0] wk[38][1] wk[38][2] wk[38][3] wk[39][0] wk[39][1] wk[39][2] wk[39][3] wk[40][0] wk[40][1] wk[40][2] wk[40][3] wk[41][0] wk[41][1] wk[41][2] wk[41][3] wk[42][0] wk[42][1] wk[42][2] wk[42][3] wk[43][0] wk[43][1] wk[43][2] wk[43][3] wk[44][0] wk[44][1] wk[44][2] wk[44][3] wk[45][0] wk[45][1] wk[45][2] wk[45][3] wk[46][0] wk[46][1] wk[46][2] wk[46][3] wk[47][0] wk[47][1] wk[47][2] wk[47][3] wk[48][0] wk[48][1] wk[48][2] wk[48][3] wk[49][0] wk[49][1] wk[49][2] wk[49][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] cn[144] cn[145] cn[146] cn[147] cn[148] cn[149] cn[150] cn[151] cn[152] cn[153] cn[154] cn[155] cn[156] cn[157] cn[158] cn[159] cn[160] cn[161] cn[162] cn[163] cn[164] cn[165] cn[166] cn[167] cn[168] cn[169] cn[170] cn[171] cn[172] cn[173] cn[174] cn[175] cn[176] cn[177] cn[178] cn[179] cn[180] cn[181] cn[182] cn[183] cn[184] cn[185] cn[186] cn[187] cn[188] cn[189] cn[190] cn[191] cn[192] cn[193] cn[194] cn[195] cn[196] 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] cf[88] cf[89] cf[90] cf[91] cf[92] cf[93] cf[94] cf[95] cf[96] cf[97] cf[98] cf[99] cf[100] cf[101] cf[102] cf[103] cf[104] cf[105] cf[106] cf[107] cf[108] cf[109] cf[110] cf[111] cf[112] cf[113] cf[114] cf[115] cf[116] cf[117] cf[118] cf[119] cf[120] cf[121] cf[122] cf[123] cf[124] cf[125] cf[126] cf[127] cf[128] cf[129] cf[130] cf[131] cf[132] cf[133] cf[134] cf[135] cf[136] cf[137] cf[138] cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[0][5] cc[0][6] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[1][5] cc[1][6] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[2][5] cc[2][6] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[3][5] cc[3][6] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[4][5] cc[4][6] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[5][5] cc[5][6] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[6][5] cc[6][6] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[7][5] cc[7][6] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[8][5] cc[8][6] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[9][5] cc[9][6] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[10][5] cc[10][6] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[11][5] cc[11][6] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[12][5] cc[12][6] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[13][5] cc[13][6] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[14][5] cc[14][6] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[15][5] cc[15][6] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[16][5] cc[16][6] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[17][5] cc[17][6] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[18][5] cc[18][6] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[19][5] cc[19][6] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[20][5] cc[20][6] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[21][5] cc[21][6] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[22][5] cc[22][6] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[23][5] cc[23][6] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[24][5] cc[24][6] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[25][5] cc[25][6] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[26][5] cc[26][6] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] cc[27][5] cc[27][6] 2520.02/2445.62 v </list> 2520.02/2445.62 v <values> 2520.02/2445.62 v 4 0 6 6 4 5 0 2 6 4 6 6 2 0 1 0 0 5 6 2 6 6 0 2 6 2 2 6 6 1 3 4 6 2 1 6 1 6 6 0 6 0 6 6 6 6 3 2 3 6 5 0 6 2 4 5 0 3 4 4 6 6 4 0 1 0 0 5 6 2 6 6 0 4 2 2 5 6 6 4 3 4 4 2 1 2 1 0 6 0 6 0 3 6 2 6 4 2 3 5 4 0 0 2 6 5 6 3 4 4 2 2 6 0 1 0 0 5 4 6 1 2 0 6 2 6 6 1 2 6 3 4 4 2 1 2 6 0 6 0 3 0 4 6 2 6 6 2 3 5 6 6 5 2 6 6 6 3 4 4 5 2 6 0 1 4 5 5 4 6 1 2 6 6 5 6 6 1 2 6 3 4 6 2 6 2 6 0 0 0 3 0 4 6 2 0 6 2 3 5 6 6 4 2 6 6 0 3 4 4 6 2 6 0 6 6 5 6 4 6 5 2 6 6 6 1 3 1 2 6 6 4 6 2 6 2 1 0 0 1 3 6 4 0 2 0 6 2 6 5 3 0 4 2 6 5 0 6 6 6 6 6 2 6 6 6 6 6 4 6 6 6 6 6 6 2 2 1 6 3 6 6 1 6 0 2 1 6 0 6 3 6 6 0 2 6 6 6 6 6 3 0 4 6 6 5 0 6 6 6 5 6 2 6 6 6 6 3 4 6 6 6 6 6 6 2 2 6 6 3 0 6 1 6 0 6 1 6 0 6 3 6 6 0 2 6 6 6 6 6 4 0 6 6 0 5 0 2 6 6 5 2 2 0 6 6 6 3 6 0 1 2 6 6 6 2 2 6 4 3 0 6 0 2 0 6 1 6 6 6 6 0 6 0 6 6 1 6 3 6 4 0 6 2 1 5 6 2 6 6 4 2 2 0 1 0 6 5 6 0 1 2 2 6 6 2 6 6 4 4 6 6 6 2 0 6 2 6 6 6 6 0 3 0 6 6 1 6 3 0 4 4 4 2 6 6 6 2 6 6 4 2 6 1 1 5 0 6 0 4 6 2 2 2 1 6 6 1 6 4 6 2 6 6 0 6 6 6 3 0 6 0 3 1 6 0 4 6 3 0 6 6 4 2 6 6 0 2 3 6 6 2 6 6 1 4 0 6 0 4 6 2 2 2 1 6 0 2 6 6 0 2 4 6 6 6 6 0 3 1 6 0 3 6 0 0 4 6 3 6 6 6 4 2 4 6 0 6 3 5 6 2 2 6 1 4 0 5 4 6 1 6 6 2 1 6 0 2 0 6 0 2 4 6 6 6 6 0 6 1 6 0 3 6 0 6 4 0 3 6 0 6 6 6 4 6 6 6 3 5 0 6 5 0 6 6 0 5 6 6 1 6 6 6 2 1 2 6 0 6 6 6 6 2 6 6 6 6 6 1 3 6 3 6 6 6 6 0 3 6 4 6 6 6 6 6 6 2 3 5 0 6 6 0 6 6 0 5 6 0 1 5 2 6 2 1 2 6 0 6 6 6 6 2 6 6 6 6 0 1 3 6 3 6 6 6 6 1 6 0 4 0 6 6 6 1 6 4 4 5 4 4 6 0 3 0 6 5 6 0 1 5 2 2 6 1 2 6 0 6 6 2 6 4 6 2 2 6 0 6 3 6 6 1 6 3 6 2 6 0 4 0 0 6 4 1 6 6 6 4 6 4 6 0 2 4 6 5 6 0 1 5 2 2 6 1 6 1 0 3 6 5 4 4 1 2 2 6 6 6 3 6 6 2 2 3 6 6 6 0 6 0 0 2 5 5 0 6 6 6 6 6 5 0 6 6 6 6 6 0 6 6 2 6 2 2 6 1 6 4 1 6 4 4 4 2 2 0 6 6 4 0 6 2 2 3 4 6 3 1 6 6 0 4 5 6 0 6 1 6 0 6 5 6 6 6 6 6 0 2 6 6 6 6 2 6 2 1 6 4 0 6 4 6 6 2 2 0 3 6 4 0 6 4 2 2 4 6 3 1 6 6 0 6 5 6 6 3 4 6 2 6 5 6 1 6 6 6 0 6 1 1 6 2 6 6 2 2 0 4 0 3 4 6 6 2 2 0 3 0 6 0 6 6 2 2 4 0 4 1 6 0 0 6 6 1 6 2 4 6 6 6 6 6 5 6 6 6 6 6 1 1 6 2 6 6 6 6 0 4 3 2 4 6 0 6 6 0 6 0 6 1 6 6 2 6 5 2 4 6 6 0 6 2 6 5 0 2 4 6 6 6 6 6 5 4 6 6 6 6 1 1 6 2 6 6 6 6 0 6 3 2 6 2 0 6 6 0 6 0 6 1 3 6 6 6 4 2 4 6 6 0 6 2 6 5 0 2 4 6 2 2 6 6 5 4 6 5 6 2 3 1 5 2 4 2 0 1 0 6 6 2 6 2 0 2 6 6 0 0 3 2 3 1 6 6 4 2 4 6 0 6 0 2 1 6 0 4 6 5 2 4 1 6 5 4 6 5 0 2 3 1 5 4 4 2 5 1 2 3 6 4 6 2 0 2 1 6 0 0 3 6 3 0 6 0 6 2 6 6 5 6 0 2 1 6 0 6 6 5 2 6 2 6 6 4 0 5 1 6 6 6 6 6 4 2 6 1 6 3 6 6 0 2 0 2 4 6 0 6 3 6 3 0 2 0 6 2 6 6 4 1 5 2 1 5 0 6 1 5 2 6 2 0 6 4 0 5 0 6 6 6 6 6 6 2 6 1 6 4 1 6 1 2 6 2 4 0 4 6 3 6 3 0 2 0 6 6 6 0 6 1 4 6 1 5 6 6 4 5 6 2 2 1 3 6 0 5 1 6 6 6 2 0 6 2 6 1 6 5 3 2 4 6 6 2 4 0 4 6 3 0 3 1 6 0 6 6 6 0 6 6 6 6 4 6 6 6 6 4 6 2 6 0 2 6 0 6 0 0 6 6 2 2 2 6 6 6 6 6 6 2 6 6 6 6 4 2 6 6 6 1 6 0 6 0 1 6 6 0 6 6 6 6 6 6 6 6 6 6 6 4 6 6 2 6 0 6 6 2 6 6 2 3 4 6 6 6 6 6 6 2 6 6 6 6 6 2 6 6 6 6 6 6 6 0 1 6 6 6 2 0 0 2 9 2 13 13 2 0 0 1 0 12 8 0 0 0 7 2 11 0 0 15 0 1 0 12 1 5 0 0 6 3 13 0 3 0 0 0 12 13 15 0 0 0 0 0 13 0 0 9 5 2 0 12 0 2 0 4 10 0 12 0 0 0 0 7 8 13 3 0 6 0 3 3 13 0 0 11 0 4 0 13 0 1 9 0 1 4 13 14 2 0 0 0 0 12 0 9 3 2 0 4 10 5 0 0 0 9 1 13 13 0 0 0 0 2 13 0 0 0 2 0 15 11 7 2 0 0 6 0 13 7 0 6 0 2 0 13 0 12 0 2 0 1 13 0 5 7 0 0 3 13 3 0 10 0 0 2 13 1 0 11 1 2 0 13 0 3 7 0 4 1 13 0 5 12 0 0 0 11 3 0 9 1 0 2 13 0 13 3 0 0 0 12 9 0 4 0 2 0 13 0 1 0 6 8 1 12 6 2 0 7 0 0 13 0 0 10 1 6 1 10 2 3 0 0 10 0 13 0 0 14 0 3 0 11 10 4 0 0 1 0 13 0 0 15 0 0 0 13 0 7 6 0 4 0 11 13 0 2 0 0 0 13 9 0 0 4 2 0 13 10 5 0 0 0 0 13 0 0 0 14 2 0 12 13 3 1 0 0 0 11 0 0 0 13 3 0 12 9 4 2 0 1 0 12 2 0 13 0 0 0 13 10 0 2 3 0 0 13 0 4 0 1 9 1 13 3 1 11 0 0 0 13 0 0 0 12 4 0 12 8 3 0 0 0 4 13 8 4 8 3 4 2 21 9 3 8 4 9 5 12 9 4 10 4 7 3 13 6 3 8 4 6 6 17 6 4 8 3 6 3 20 5 3 6 3 2 1 30 6 2 4 4 2 2 30 10 3 7 3 2 2 23 8 4 9 2 4 2 21 7 5 7 3 7 1 20 9 3 8 4 5 0 21 9 4 6 3 6 2 20 6 3 3 4 1 3 30 7 4 5 3 1 3 27 7 4 7 3 6 3 20 6 5 7 3 7 3 19 7 3 8 2 6 3 21 7 3 7 2 6 2 23 8 4 8 3 5 2 20 6 4 5 1 4 2 28 6 3 6 2 4 2 27 7 3 12 3 5 4 16 9 5 8 4 6 5 13 8 3 8 3 3 3 22 8 6 7 2 5 4 18 6 6 6 4 5 4 19 7 2 7 0 3 0 31 2 1 5 1 2 0 39 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 3 3 0 0 0 1 0 0 0 0 0 2 2 0 0 0 3 3 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 2 2 2 2 3 3 3 3 0 0 0 0 3 3 0 0 0 0 2 1 1 1 1 0 0 1 1 1 1 1 0 1 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 3 0 0 0 0 0 0 0 2 2 2 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 3 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 2 2 0 0 1 1 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 100 200 0 2 0 0 1 3 0 0 5 0 1 1 2 1 0 0 0 100 1 1 2 0 0 1 1 1 1 0 0 1 0 500 0 300 400 0 0 0 500 0 400 100 0 4 1 200 0 300 100 0 1 1 0 0 200 0 0 1 1 100 0 1 200 0 2 1 100 1 100 400 0 2 1 200 1 100 100 0 0 0 700 100 500 0 0 1 1 300 200 500 100 0 2 1 200 0 1 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 100 1 300 0 1 0 200 200 0 100 0 0 0 300 100 200 100 0 2 0 3 0 0 0 0 3 2 0 0 200 2 0 3 1 200 0 0 0 0 1 2 100 0 0 1 0 2 1 0 0 0 0 0 0 0 100 300 100 400 0 300 100 200 200 300 200 0 2520.02/2445.62 v </values> 2520.02/2445.62 v </instantiation> 2520.02/2445.62 s SATISFIABLE
INVALID Solution! (31 errors) Violated Constraint c_2347 : sum() list() : [ps[0][0], ps[0][1], ps[0][2], ps[0][3], ps[0][4], ps[0][5], ps[0][6]] coeffs() : 480, 480, 480, 480, 480, 480, 0 condition() : (in,7560..8640)
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 (7067 MiB free)
memory of node 1: 16384 MiB (10913 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292985-1532303487/watcher-4292985-1532303487 -o /tmp/evaluation-result-4292985-1532303487/solver-4292985-1532303487 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7919 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2077571161 HOME/instance-4292985-1532303487.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9351, runsolver pid=9348
Current StackSize limit: 8192 KiB
[startup+0.100133 s]*
/proc/loadavg: 1.49 1.44 1.40 3/207 9408
/proc/meminfo: memFree=18404952/32770624 swapFree=67108860/67108860
[pid=9351] ppid=9348 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/9351/stat : 9351 (java) S 9348 9351 7887 0 -1 1077944320 4444 12963 0 0 1 1 5 2 20 0 6 0 47911871 10212057088 4269 33554432000 4194304 4196468 140726099313440 140726099295984 139859627343607 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
/proc/9351/statm: 2493178 4269 1934 1 0 2481616 0
[pid=9351/tid=9404] ppid=9348 vsize=9988792 memory=-8530506832973971393 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9404/stat : 9404 (java) R 9348 9351 7887 0 -1 4202560 2312 12963 0 0 0 0 5 2 20 0 6 0 47911880 10228523008 4335 33554432000 4194304 4196468 140726099313440 139859599180368 139859612841536 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9405] ppid=9348 vsize=9988792 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9405/stat : 9405 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 6 0 47911880 10228523008 4335 33554432000 4194304 4196468 140726099313440 139859631585552 139859627353813 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9406] ppid=9348 vsize=9988792 memory=140673776395904 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9406/stat : 9406 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 6 0 47911880 10228523008 4335 33554432000 4194304 4196468 140726099313440 139859519859088 139859627353813 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9407] ppid=9348 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9407/stat : 9407 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 6 0 47911880 10228523008 4335 33554432000 4194304 4196468 140726099313440 139859518806544 139859627353813 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9408] ppid=9348 vsize=9988792 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9408/stat : 9408 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 6 0 47911880 10228523008 4335 33554432000 4194304 4196468 140726099313440 139859517754000 139859627353813 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.209915 s]*
/proc/loadavg: 1.49 1.44 1.40 3/216 9417
/proc/meminfo: memFree=18382688/32770624 swapFree=67108860/67108860
[pid=9351] ppid=9348 vsize=10818936 memory=45504 CPUtime=0.26 cores=1,3,5,7
/proc/9351/stat : 9351 (java) S 9348 9351 7887 0 -1 1077944320 8744 12963 0 0 17 2 5 2 20 0 15 0 47911871 11078590464 11376 33554432000 4194304 4196468 140726099313440 140726099295984 139859627343607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
/proc/9351/statm: 2704734 11376 2955 1 0 2667157 0
[pid=9351/tid=9404] ppid=9348 vsize=10818936 memory=8514701219931451533 CPUtime=0.19 cores=1,3,5,7
/proc/9351/task/9404/stat : 9404 (java) R 9348 9351 7887 0 -1 4202560 5877 12963 0 0 11 1 5 2 20 0 15 0 47911880 11078590464 11969 33554432000 4194304 4196468 140726099313440 139859599168416 139859620023325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9405] ppid=9348 vsize=10818936 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9405/stat : 9405 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911880 11078590464 11969 33554432000 4194304 4196468 140726099313440 139859631585552 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9406] ppid=9348 vsize=10818936 memory=140673776395904 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9406/stat : 9406 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911880 11078590464 11969 33554432000 4194304 4196468 140726099313440 139859519859088 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9407] ppid=9348 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9407/stat : 9407 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911880 11078590464 11969 33554432000 4194304 4196468 140726099313440 139859518806544 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9408] ppid=9348 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9408/stat : 9408 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911880 11078557696 12022 33554432000 4194304 4196468 140726099313440 139859517754000 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9409] ppid=9348 vsize=10818904 memory=140673776395904 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9409/stat : 9409 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911882 11078557696 12022 33554432000 4194304 4196468 140726099313440 139859086744048 139859627354754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9410] ppid=9348 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9410/stat : 9410 (java) S 9348 9351 7887 0 -1 1077944384 33 12963 0 0 0 0 5 2 20 0 15 0 47911882 11078557696 12022 33554432000 4194304 4196468 140726099313440 139859085690272 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9411] ppid=9348 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9411/stat : 9411 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911882 11078557696 12022 33554432000 4194304 4196468 140726099313440 139858966210032 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9412] ppid=9348 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9412/stat : 9412 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911885 11078557696 12022 33554432000 4194304 4196468 140726099313440 139858362231504 139859627362203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9413] ppid=9348 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9351/task/9413/stat : 9413 (java) S 9348 9351 7887 0 -1 1077944384 427 12963 0 0 1 0 5 2 20 0 15 0 47911885 11078557696 12022 33554432000 4194304 4196468 140726099313440 139859052132336 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9414] ppid=9348 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9414/stat : 9414 (java) S 9348 9351 7887 0 -1 1077944384 182 12963 0 0 0 0 5 2 20 0 15 0 47911885 11078590464 12022 33554432000 4194304 4196468 140726099313440 139859051079792 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9415] ppid=9348 vsize=10818936 memory=140673776395904 CPUtime=0.1 cores=1,3,5,7
/proc/9351/task/9415/stat : 9415 (java) S 9348 9351 7887 0 -1 1077944384 617 12963 0 0 3 0 5 2 20 0 15 0 47911885 11078590464 12022 33554432000 4194304 4196468 140726099313440 139859050027248 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9416] ppid=9348 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9416/stat : 9416 (java) S 9348 9351 7887 0 -1 1077944384 3 12963 0 0 0 0 5 2 20 0 15 0 47911885 11078590464 12022 33554432000 4194304 4196468 140726099313440 139857892469344 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9417] ppid=9348 vsize=10818936 memory=140673776395904 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9417/stat : 9417 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911886 11078590464 12022 33554432000 4194304 4196468 140726099313440 139859048975152 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 45504 KiB
[startup+0.310329 s]*
/proc/loadavg: 1.49 1.44 1.40 3/216 9417
/proc/meminfo: memFree=18369168/32770624 swapFree=67108860/67108860
[pid=9351] ppid=9348 vsize=10819352 memory=55968 CPUtime=0.39 cores=1,3,5,7
/proc/9351/stat : 9351 (java) S 9348 9351 7887 0 -1 1077944320 10606 12963 0 0 29 3 5 2 20 0 15 0 47911871 11079016448 13992 33554432000 4194304 4196468 140726099313440 140726099295984 139859627343607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
/proc/9351/statm: 2704838 13992 3074 1 0 2667149 0
[pid=9351/tid=9404] ppid=9348 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/9351/task/9404/stat : 9404 (java) R 9348 9351 7887 0 -1 4202560 7131 12963 0 0 20 1 5 2 20 0 15 0 47911880 11079016448 13992 33554432000 4194304 4196468 140726099313440 139859599155616 139859607615344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9405] ppid=9348 vsize=10819352 memory=7084559512896688208 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9405/stat : 9405 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911880 11079016448 13992 33554432000 4194304 4196468 140726099313440 139859631585552 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9406] ppid=9348 vsize=10819352 memory=2072 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9406/stat : 9406 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911880 11079016448 13992 33554432000 4194304 4196468 140726099313440 139859519859088 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9407] ppid=9348 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9407/stat : 9407 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911880 11079016448 13992 33554432000 4194304 4196468 140726099313440 139859518806544 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9408] ppid=9348 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9408/stat : 9408 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911880 11079016448 13992 33554432000 4194304 4196468 140726099313440 139859517754000 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9409] ppid=9348 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9409/stat : 9409 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911882 11079016448 13992 33554432000 4194304 4196468 140726099313440 139859086744048 139859627354754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9410] ppid=9348 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9410/stat : 9410 (java) S 9348 9351 7887 0 -1 1077944384 33 12963 0 0 0 0 5 2 20 0 15 0 47911882 11079016448 13992 33554432000 4194304 4196468 140726099313440 139859085690272 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9411] ppid=9348 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9411/stat : 9411 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911882 11079016448 13992 33554432000 4194304 4196468 140726099313440 139858966210032 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9412] ppid=9348 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9412/stat : 9412 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911885 11079016448 13992 33554432000 4194304 4196468 140726099313440 139858362231504 139859627362203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9413] ppid=9348 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9351/task/9413/stat : 9413 (java) S 9348 9351 7887 0 -1 1077944384 430 12963 0 0 1 0 5 2 20 0 15 0 47911885 11079016448 13992 33554432000 4194304 4196468 140726099313440 139859052132336 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9414] ppid=9348 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9351/task/9414/stat : 9414 (java) S 9348 9351 7887 0 -1 1077944384 184 12963 0 0 1 0 5 2 20 0 15 0 47911885 11079016448 13992 33554432000 4194304 4196468 140726099313440 139859051079792 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9415] ppid=9348 vsize=10819352 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/9351/task/9415/stat : 9415 (java) S 9348 9351 7887 0 -1 1077944384 625 12963 0 0 4 0 5 2 20 0 15 0 47911885 11079016448 13992 33554432000 4194304 4196468 140726099313440 139859050027248 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9416] ppid=9348 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9416/stat : 9416 (java) S 9348 9351 7887 0 -1 1077944384 3 12963 0 0 0 0 5 2 20 0 15 0 47911885 11079016448 13992 33554432000 4194304 4196468 140726099313440 139857892469344 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9417] ppid=9348 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9417/stat : 9417 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911886 11079016448 13992 33554432000 4194304 4196468 140726099313440 139859048975152 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 55968 KiB
[startup+0.700799 s]
/proc/loadavg: 1.49 1.44 1.40 3/216 9417
/proc/meminfo: memFree=18359848/32770624 swapFree=67108860/67108860
[pid=9351] ppid=9348 vsize=10819352 memory=88496 CPUtime=0.98 cores=1,3,5,7
/proc/9351/stat : 9351 (java) S 9348 9351 7887 0 -1 1077944320 16755 12963 0 0 87 4 5 2 20 0 15 0 47911871 11079016448 22124 33554432000 4194304 4196468 140726099313440 140726099295984 139859627343607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
/proc/9351/statm: 2704838 22124 3238 1 0 2667149 0
[pid=9351/tid=9404] ppid=9348 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/9351/task/9404/stat : 9404 (java) R 9348 9351 7887 0 -1 4202560 12216 12963 0 0 56 3 5 2 20 0 15 0 47911880 11079016448 22124 33554432000 4194304 4196468 140726099313440 139859599164432 139859607619003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9405] ppid=9348 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9405/stat : 9405 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911880 11079016448 22124 33554432000 4194304 4196468 140726099313440 139859631585552 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9406] ppid=9348 vsize=10819352 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9406/stat : 9406 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911880 11079016448 22124 33554432000 4194304 4196468 140726099313440 139859519859088 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9407] ppid=9348 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9407/stat : 9407 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911880 11079016448 22124 33554432000 4194304 4196468 140726099313440 139859518806544 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9408] ppid=9348 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9408/stat : 9408 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911880 11079016448 22124 33554432000 4194304 4196468 140726099313440 139859517754000 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9409] ppid=9348 vsize=10819352 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9409/stat : 9409 (java) S 9348 9351 7887 0 -1 1077944384 5 12963 0 0 0 0 5 2 20 0 15 0 47911882 11079016448 22124 33554432000 4194304 4196468 140726099313440 139859086744048 139859627354754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9410] ppid=9348 vsize=10819352 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9410/stat : 9410 (java) S 9348 9351 7887 0 -1 1077944384 33 12963 0 0 0 0 5 2 20 0 15 0 47911882 11079016448 22124 33554432000 4194304 4196468 140726099313440 139859085690272 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9411] ppid=9348 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9411/stat : 9411 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911882 11079016448 22124 33554432000 4194304 4196468 140726099313440 139858966210032 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9412] ppid=9348 vsize=10819352 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9412/stat : 9412 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911885 11079016448 22124 33554432000 4194304 4196468 140726099313440 139858362231504 139859627362203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9413] ppid=9348 vsize=10819352 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/9351/task/9413/stat : 9413 (java) S 9348 9351 7887 0 -1 1077944384 814 12963 0 0 8 0 5 2 20 0 15 0 47911885 11079016448 22124 33554432000 4194304 4196468 140726099313440 139859052132336 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9414] ppid=9348 vsize=10819352 memory=15460 CPUtime=0.16 cores=1,3,5,7
/proc/9351/task/9414/stat : 9414 (java) S 9348 9351 7887 0 -1 1077944384 791 12963 0 0 9 0 5 2 20 0 15 0 47911885 11079016448 22124 33554432000 4194304 4196468 140726099313440 139859051079792 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9415] ppid=9348 vsize=10819352 memory=17668 CPUtime=0.19 cores=1,3,5,7
/proc/9351/task/9415/stat : 9415 (java) S 9348 9351 7887 0 -1 1077944384 695 12963 0 0 12 0 5 2 20 0 15 0 47911885 11079016448 22124 33554432000 4194304 4196468 140726099313440 139859050027248 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9416] ppid=9348 vsize=10819352 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9416/stat : 9416 (java) S 9348 9351 7887 0 -1 1077944384 3 12963 0 0 0 0 5 2 20 0 15 0 47911885 11079016448 22124 33554432000 4194304 4196468 140726099313440 139857892469344 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9417] ppid=9348 vsize=10819352 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9417/stat : 9417 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911886 11079016448 22124 33554432000 4194304 4196468 140726099313440 139859048975152 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88496 KiB
[startup+1.50168 s]
/proc/loadavg: 1.49 1.44 1.40 3/216 9417
/proc/meminfo: memFree=18313132/32770624 swapFree=67108860/67108860
[pid=9351] ppid=9348 vsize=10830156 memory=183388 CPUtime=3.17 cores=1,3,5,7
/proc/9351/stat : 9351 (java) S 9348 9351 7887 0 -1 1077944320 24047 12963 0 0 302 8 5 2 20 0 15 0 47911871 11090079744 45847 33554432000 4194304 4196468 140726099313440 140726099295984 139859627343607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
/proc/9351/statm: 2707539 45847 3459 1 0 2669197 0
[pid=9351/tid=9404] ppid=9348 vsize=10830156 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/9351/task/9404/stat : 9404 (java) R 9348 9351 7887 0 -1 4202560 15651 12963 0 0 133 5 5 2 20 0 15 0 47911880 11090079744 45847 33554432000 4194304 4196468 140726099313440 139859599161296 139859611424094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9405] ppid=9348 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9405/stat : 9405 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911880 11090079744 45847 33554432000 4194304 4196468 140726099313440 139859631585552 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9406] ppid=9348 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9406/stat : 9406 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911880 11090079744 45847 33554432000 4194304 4196468 140726099313440 139859519859088 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9407] ppid=9348 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9407/stat : 9407 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911880 11090079744 45847 33554432000 4194304 4196468 140726099313440 139859518806544 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9408] ppid=9348 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9408/stat : 9408 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911880 11090079744 45847 33554432000 4194304 4196468 140726099313440 139859517754000 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9409] ppid=9348 vsize=10830156 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9409/stat : 9409 (java) S 9348 9351 7887 0 -1 1077944384 13 12963 0 0 0 0 5 2 20 0 15 0 47911882 11090079744 45847 33554432000 4194304 4196468 140726099313440 139859086744048 139859627354754 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9410] ppid=9348 vsize=10830156 memory=281347335727360 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9410/stat : 9410 (java) S 9348 9351 7887 0 -1 1077944384 33 12963 0 0 0 0 5 2 20 0 15 0 47911882 11090079744 45847 33554432000 4194304 4196468 140726099313440 139859085690272 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9411] ppid=9348 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9411/stat : 9411 (java) S 9348 9351 7887 0 -1 1077944384 1 12963 0 0 0 0 5 2 20 0 15 0 47911882 11090079744 45847 33554432000 4194304 4196468 140726099313440 139858966210032 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9412] ppid=9348 vsize=10830156 memory=1952 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9412/stat : 9412 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911885 11090079744 45847 33554432000 4194304 4196468 140726099313440 139858362231504 139859627362203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9413] ppid=9348 vsize=10830156 memory=1232 CPUtime=0.64 cores=1,3,5,7
/proc/9351/task/9413/stat : 9413 (java) S 9348 9351 7887 0 -1 1077944384 1757 12963 0 0 57 0 5 2 20 0 15 0 47911885 11090079744 45847 33554432000 4194304 4196468 140726099313440 139859052132336 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9414] ppid=9348 vsize=10830156 memory=8372 CPUtime=0.66 cores=1,3,5,7
/proc/9351/task/9414/stat : 9414 (java) R 9348 9351 7887 0 -1 4202560 2555 12963 0 0 59 0 5 2 20 0 15 0 47911885 11090079744 45847 33554432000 4194304 4196468 140726099313440 139859051060136 139859610754502 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9415] ppid=9348 vsize=10830156 memory=1708 CPUtime=0.58 cores=1,3,5,7
/proc/9351/task/9415/stat : 9415 (java) S 9348 9351 7887 0 -1 1077944384 1835 12963 0 0 51 0 5 2 20 0 15 0 47911885 11090079744 45847 33554432000 4194304 4196468 140726099313440 139859050027248 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9416] ppid=9348 vsize=10830156 memory=5412 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9416/stat : 9416 (java) S 9348 9351 7887 0 -1 1077944384 3 12963 0 0 0 0 5 2 20 0 15 0 47911885 11090079744 45847 33554432000 4194304 4196468 140726099313440 139857892469344 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9417] ppid=9348 vsize=10830156 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9417/stat : 9417 (java) S 9348 9351 7887 0 -1 1077944384 3 12963 0 0 0 0 5 2 20 0 15 0 47911886 11090079744 45847 33554432000 4194304 4196468 140726099313440 139859048975152 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
Current children cumulated CPU time: 3.17 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/9351/task/9404/stat : 9404 (java) R 9348 9351 7887 0 -1 4202560 116861 12963 0 0 229870 55 5 2 20 0 15 0 47911880 11113168896 213495 33554432000 4194304 4196468 140726099313440 139859599178176 139859194468820 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9405] ppid=9348 vsize=10852704 memory=853980 CPUtime=13.48 cores=1,3,5,7
/proc/9351/task/9405/stat : 9405 (java) S 9348 9351 7887 0 -1 1077944384 21300 12963 0 0 1293 48 5 2 20 0 15 0 47911880 11113168896 213495 33554432000 4194304 4196468 140726099313440 139859631585552 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9406] ppid=9348 vsize=10852704 memory=853980 CPUtime=13.41 cores=1,3,5,7
/proc/9351/task/9406/stat : 9406 (java) S 9348 9351 7887 0 -1 1077944384 23202 12963 0 0 1286 48 5 2 20 0 15 0 47911880 11113168896 213495 33554432000 4194304 4196468 140726099313440 139859519859088 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9407] ppid=9348 vsize=10852704 memory=853980 CPUtime=13.52 cores=1,3,5,7
/proc/9351/task/9407/stat : 9407 (java) S 9348 9351 7887 0 -1 1077944384 29369 12963 0 0 1298 47 5 2 20 0 15 0 47911880 11113168896 213495 33554432000 4194304 4196468 140726099313440 139859518806544 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9408] ppid=9348 vsize=10852704 memory=853980 CPUtime=13.42 cores=1,3,5,7
/proc/9351/task/9408/stat : 9408 (java) S 9348 9351 7887 0 -1 1077944384 16816 12963 0 0 1288 47 5 2 20 0 15 0 47911880 11113168896 213495 33554432000 4194304 4196468 140726099313440 139859517754000 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9409] ppid=9348 vsize=10852704 memory=853980 CPUtime=7.83 cores=1,3,5,7
/proc/9351/task/9409/stat : 9409 (java) S 9348 9351 7887 0 -1 1077944384 21545 12963 0 0 728 48 5 2 20 0 15 0 47911882 11113168896 213495 33554432000 4194304 4196468 140726099313440 139859086744048 139859627354754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9410] ppid=9348 vsize=10852704 memory=853980 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9410/stat : 9410 (java) S 9348 9351 7887 0 -1 1077944384 67 12963 0 0 0 0 5 2 20 0 15 0 47911882 11113168896 213495 33554432000 4194304 4196468 140726099313440 139859085690336 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9411] ppid=9348 vsize=10852704 memory=853980 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9411/stat : 9411 (java) S 9348 9351 7887 0 -1 1077944384 11 12963 0 0 0 0 5 2 20 0 15 0 47911882 11113168896 213495 33554432000 4194304 4196468 140726099313440 139858966210048 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9412] ppid=9348 vsize=10852704 memory=853980 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9412/stat : 9412 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911885 11113168896 213495 33554432000 4194304 4196468 140726099313440 139858362231504 139859627362203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9413] ppid=9348 vsize=10852704 memory=7 CPUtime=13.91 cores=1,3,5,7
/proc/9351/task/9413/stat : 9413 (java) S 9348 9351 7887 0 -1 1077944384 79456 12963 0 0 1376 8 5 2 20 0 15 0 47911885 11113168896 213495 33554432000 4194304 4196468 140726099313440 139859052132336 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9414] ppid=9348 vsize=10852704 memory=7 CPUtime=13.47 cores=1,3,5,7
/proc/9351/task/9414/stat : 9414 (java) S 9348 9351 7887 0 -1 1077944384 72713 12963 0 0 1331 9 5 2 20 0 15 0 47911885 11113168896 213495 33554432000 4194304 4196468 140726099313440 139859051079792 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9415] ppid=9348 vsize=10852704 memory=853980 CPUtime=5.18 cores=1,3,5,7
/proc/9351/task/9415/stat : 9415 (java) S 9348 9351 7887 0 -1 1077944384 89465 12963 0 0 499 12 5 2 20 0 15 0 47911885 11113168896 213495 33554432000 4194304 4196468 140726099313440 139859050027248 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9416] ppid=9348 vsize=10852704 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9416/stat : 9416 (java) S 9348 9351 7887 0 -1 1077944384 3 12963 0 0 0 0 5 2 20 0 15 0 47911885 11113168896 213495 33554432000 4194304 4196468 140726099313440 139857892469344 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9417] ppid=9348 vsize=10852704 memory=853980 CPUtime=1.31 cores=1,3,5,7
/proc/9351/task/9417/stat : 9417 (java) S 9348 9351 7887 0 -1 1077944384 1459 12963 0 0 57 67 5 2 20 0 15 0 47911886 11113168896 213495 33554432000 4194304 4196468 140726099313440 139859048975152 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
Current children cumulated CPU time: 2394.33 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 853980 KiB
[startup+2382.3 s]
/proc/loadavg: 1.51 1.44 1.41 3/216 9647
/proc/meminfo: memFree=17910688/32770624 swapFree=67108860/67108860
[pid=9351] ppid=9348 vsize=10852704 memory=849872 CPUtime=2455.48 cores=1,3,5,7
/proc/9351/stat : 9351 (java) S 9348 9351 7887 0 -1 1077944320 476022 12963 0 0 245181 360 5 2 20 0 15 0 47911871 11113168896 212468 33554432000 4194304 4196468 140726099313440 140726099295984 139859627343607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
/proc/9351/statm: 2713176 212468 3545 1 0 2674829 0
[pid=9351/tid=9404] ppid=9348 vsize=10852704 memory=1296 CPUtime=2358.64 cores=1,3,5,7
/proc/9351/task/9404/stat : 9404 (java) R 9348 9351 7887 0 -1 4202560 117625 12963 0 0 235802 55 5 2 20 0 15 0 47911880 11113168896 212468 33554432000 4194304 4196468 140726099313440 139859599178336 139859203898296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9405] ppid=9348 vsize=10852704 memory=852952 CPUtime=13.87 cores=1,3,5,7
/proc/9351/task/9405/stat : 9405 (java) S 9348 9351 7887 0 -1 1077944384 21429 12963 0 0 1331 49 5 2 20 0 15 0 47911880 11113168896 212468 33554432000 4194304 4196468 140726099313440 139859631585552 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9406] ppid=9348 vsize=10852704 memory=853980 CPUtime=13.8 cores=1,3,5,7
/proc/9351/task/9406/stat : 9406 (java) S 9348 9351 7887 0 -1 1077944384 23319 12963 0 0 1324 49 5 2 20 0 15 0 47911880 11113168896 212468 33554432000 4194304 4196468 140726099313440 139859519859088 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9407] ppid=9348 vsize=10852704 memory=853980 CPUtime=13.92 cores=1,3,5,7
/proc/9351/task/9407/stat : 9407 (java) S 9348 9351 7887 0 -1 1077944384 29583 12963 0 0 1337 48 5 2 20 0 15 0 47911880 11113168896 212468 33554432000 4194304 4196468 140726099313440 139859518806544 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9408] ppid=9348 vsize=10852704 memory=853980 CPUtime=13.81 cores=1,3,5,7
/proc/9351/task/9408/stat : 9408 (java) S 9348 9351 7887 0 -1 1077944384 16912 12963 0 0 1326 48 5 2 20 0 15 0 47911880 11113168896 212468 33554432000 4194304 4196468 140726099313440 139859517754000 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9409] ppid=9348 vsize=10852704 memory=853980 CPUtime=8.05 cores=1,3,5,7
/proc/9351/task/9409/stat : 9409 (java) S 9348 9351 7887 0 -1 1077944384 21766 12963 0 0 748 50 5 2 20 0 15 0 47911882 11113168896 212468 33554432000 4194304 4196468 140726099313440 139859086744048 139859627354754 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9410] ppid=9348 vsize=10852704 memory=852440 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9410/stat : 9410 (java) S 9348 9351 7887 0 -1 1077944384 67 12963 0 0 0 0 5 2 20 0 15 0 47911882 11113168896 212468 33554432000 4194304 4196468 140726099313440 139859085690336 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9411] ppid=9348 vsize=10852704 memory=849872 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9411/stat : 9411 (java) S 9348 9351 7887 0 -1 1077944384 11 12963 0 0 0 0 5 2 20 0 15 0 47911882 11113168896 212468 33554432000 4194304 4196468 140726099313440 139858966210048 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9412] ppid=9348 vsize=10852704 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9412/stat : 9412 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911885 11113168896 212468 33554432000 4194304 4196468 140726099313440 139858362231504 139859627362203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9413] ppid=9348 vsize=10852704 memory=849872 CPUtime=13.91 cores=1,3,5,7
/proc/9351/task/9413/stat : 9413 (java) S 9348 9351 7887 0 -1 1077944384 79458 12963 0 0 1376 8 5 2 20 0 15 0 47911885 11113168896 212468 33554432000 4194304 4196468 140726099313440 139859052132336 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9414] ppid=9348 vsize=10852704 memory=852956 CPUtime=13.47 cores=1,3,5,7
/proc/9351/task/9414/stat : 9414 (java) S 9348 9351 7887 0 -1 1077944384 72715 12963 0 0 1331 9 5 2 20 0 15 0 47911885 11113168896 212468 33554432000 4194304 4196468 140726099313440 139859051079792 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9415] ppid=9348 vsize=10852704 memory=15844 CPUtime=5.18 cores=1,3,5,7
/proc/9351/task/9415/stat : 9415 (java) S 9348 9351 7887 0 -1 1077944384 89467 12963 0 0 499 12 5 2 20 0 15 0 47911885 11113168896 212468 33554432000 4194304 4196468 140726099313440 139859050027248 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9416] ppid=9348 vsize=10852704 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9416/stat : 9416 (java) S 9348 9351 7887 0 -1 1077944384 3 12963 0 0 0 0 5 2 20 0 15 0 47911885 11113168896 212468 33554432000 4194304 4196468 140726099313440 139857892469344 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9417] ppid=9348 vsize=10852704 memory=850900 CPUtime=1.34 cores=1,3,5,7
/proc/9351/task/9417/stat : 9417 (java) S 9348 9351 7887 0 -1 1077944384 1476 12963 0 0 58 69 5 2 20 0 15 0 47911886 11113168896 212468 33554432000 4194304 4196468 140726099313440 139859048975152 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
Current children cumulated CPU time: 2455.48 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 849872 KiB
[startup+2442.3 s]
/proc/loadavg: 1.32 1.39 1.39 3/216 9648
/proc/meminfo: memFree=18015612/32770624 swapFree=67108860/67108860
[pid=9351] ppid=9348 vsize=10852704 memory=829860 CPUtime=2516.66 cores=1,3,5,7
/proc/9351/stat : 9351 (java) S 9348 9351 7887 0 -1 1077944320 477446 12963 0 0 251292 367 5 2 20 0 15 0 47911871 11113168896 207465 33554432000 4194304 4196468 140726099313440 140726099295984 139859627343607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
/proc/9351/statm: 2713176 207465 3545 1 0 2674829 0
[pid=9351/tid=9404] ppid=9348 vsize=10852704 memory=829860 CPUtime=2418.03 cores=1,3,5,7
/proc/9351/task/9404/stat : 9404 (java) R 9348 9351 7887 0 -1 4202560 118260 12963 0 0 241740 56 5 2 20 0 15 0 47911880 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859599178288 139859199197571 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9405] ppid=9348 vsize=10852704 memory=838580 CPUtime=14.26 cores=1,3,5,7
/proc/9351/task/9405/stat : 9405 (java) S 9348 9351 7887 0 -1 1077944384 21539 12963 0 0 1369 50 5 2 20 0 15 0 47911880 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859631585552 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9406] ppid=9348 vsize=10852704 memory=849872 CPUtime=14.19 cores=1,3,5,7
/proc/9351/task/9406/stat : 9406 (java) S 9348 9351 7887 0 -1 1077944384 23557 12963 0 0 1362 50 5 2 20 0 15 0 47911880 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859519859088 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9407] ppid=9348 vsize=10852704 memory=846276 CPUtime=14.31 cores=1,3,5,7
/proc/9351/task/9407/stat : 9407 (java) S 9348 9351 7887 0 -1 1077944384 29686 12963 0 0 1375 49 5 2 20 0 15 0 47911880 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859518806544 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9408] ppid=9348 vsize=10852704 memory=830372 CPUtime=14.2 cores=1,3,5,7
/proc/9351/task/9408/stat : 9408 (java) S 9348 9351 7887 0 -1 1077944384 17009 12963 0 0 1364 49 5 2 20 0 15 0 47911880 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859517754000 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9409] ppid=9348 vsize=10852704 memory=830372 CPUtime=8.25 cores=1,3,5,7
/proc/9351/task/9409/stat : 9409 (java) S 9348 9351 7887 0 -1 1077944384 21984 12963 0 0 767 51 5 2 20 0 15 0 47911882 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859086744048 139859627354754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9410] ppid=9348 vsize=10852704 memory=829860 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9410/stat : 9410 (java) S 9348 9351 7887 0 -1 1077944384 67 12963 0 0 0 0 5 2 20 0 15 0 47911882 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859085690336 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9411] ppid=9348 vsize=10852704 memory=845764 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9411/stat : 9411 (java) S 9348 9351 7887 0 -1 1077944384 11 12963 0 0 0 0 5 2 20 0 15 0 47911882 11113168896 207465 33554432000 4194304 4196468 140726099313440 139858966210048 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9412] ppid=9348 vsize=10852704 memory=829860 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9412/stat : 9412 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911885 11113168896 207465 33554432000 4194304 4196468 140726099313440 139858362231504 139859627362203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9413] ppid=9348 vsize=10852704 memory=849872 CPUtime=13.91 cores=1,3,5,7
/proc/9351/task/9413/stat : 9413 (java) S 9348 9351 7887 0 -1 1077944384 79460 12963 0 0 1376 8 5 2 20 0 15 0 47911885 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859052132336 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9414] ppid=9348 vsize=10852704 memory=0 CPUtime=13.47 cores=1,3,5,7
/proc/9351/task/9414/stat : 9414 (java) S 9348 9351 7887 0 -1 1077944384 72717 12963 0 0 1331 9 5 2 20 0 15 0 47911885 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859051079792 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9415] ppid=9348 vsize=10852704 memory=830372 CPUtime=5.18 cores=1,3,5,7
/proc/9351/task/9415/stat : 9415 (java) S 9348 9351 7887 0 -1 1077944384 89469 12963 0 0 499 12 5 2 20 0 15 0 47911885 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859050027248 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9416] ppid=9348 vsize=10852704 memory=829860 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9416/stat : 9416 (java) S 9348 9351 7887 0 -1 1077944384 3 12963 0 0 0 0 5 2 20 0 15 0 47911885 11113168896 207465 33554432000 4194304 4196468 140726099313440 139857892469344 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9417] ppid=9348 vsize=10852704 memory=829860 CPUtime=1.37 cores=1,3,5,7
/proc/9351/task/9417/stat : 9417 (java) S 9348 9351 7887 0 -1 1077944384 1493 12963 0 0 60 70 5 2 20 0 15 0 47911886 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859048975152 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
Current children cumulated CPU time: 2516.66 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 829860 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2445.6 s]
/proc/loadavg: 1.38 1.40 1.40 3/216 9648
/proc/meminfo: memFree=18016964/32770624 swapFree=67108860/67108860
[pid=9351] ppid=9348 vsize=10852704 memory=829860 CPUtime=2520.02 cores=1,3,5,7
/proc/9351/stat : 9351 (java) S 9348 9351 7887 0 -1 1077944320 477465 12963 0 0 251628 367 5 2 20 0 15 0 47911871 11113168896 207465 33554432000 4194304 4196468 140726099313440 140726099295984 139859627343607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
/proc/9351/statm: 2713176 207465 3545 1 0 2674829 0
[pid=9351/tid=9404] ppid=9348 vsize=10852704 memory=3844 CPUtime=2421.29 cores=1,3,5,7
/proc/9351/task/9404/stat : 9404 (java) R 9348 9351 7887 0 -1 4202560 118274 12963 0 0 242066 56 5 2 20 0 15 0 47911880 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859599177968 139859203895337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9405] ppid=9348 vsize=10852704 memory=2684 CPUtime=14.29 cores=1,3,5,7
/proc/9351/task/9405/stat : 9405 (java) S 9348 9351 7887 0 -1 1077944384 21539 12963 0 0 1372 50 5 2 20 0 15 0 47911880 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859631585552 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9406] ppid=9348 vsize=10852704 memory=829860 CPUtime=14.21 cores=1,3,5,7
/proc/9351/task/9406/stat : 9406 (java) S 9348 9351 7887 0 -1 1077944384 23558 12963 0 0 1364 50 5 2 20 0 15 0 47911880 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859519859088 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9407] ppid=9348 vsize=10852704 memory=8112282956445269571 CPUtime=14.33 cores=1,3,5,7
/proc/9351/task/9407/stat : 9407 (java) S 9348 9351 7887 0 -1 1077944384 29686 12963 0 0 1377 49 5 2 20 0 15 0 47911880 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859518806544 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9408] ppid=9348 vsize=10852704 memory=792 CPUtime=14.22 cores=1,3,5,7
/proc/9351/task/9408/stat : 9408 (java) S 9348 9351 7887 0 -1 1077944384 17009 12963 0 0 1366 49 5 2 20 0 15 0 47911880 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859517754000 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9409] ppid=9348 vsize=10852704 memory=1952 CPUtime=8.26 cores=1,3,5,7
/proc/9351/task/9409/stat : 9409 (java) S 9348 9351 7887 0 -1 1077944384 21986 12963 0 0 768 51 5 2 20 0 15 0 47911882 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859086744048 139859627354754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9410] ppid=9348 vsize=10852704 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9410/stat : 9410 (java) S 9348 9351 7887 0 -1 1077944384 67 12963 0 0 0 0 5 2 20 0 15 0 47911882 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859085690336 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9411] ppid=9348 vsize=10852704 memory=15844 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9411/stat : 9411 (java) S 9348 9351 7887 0 -1 1077944384 11 12963 0 0 0 0 5 2 20 0 15 0 47911882 11113168896 207465 33554432000 4194304 4196468 140726099313440 139858966210048 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9412] ppid=9348 vsize=10852704 memory=1296 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9412/stat : 9412 (java) S 9348 9351 7887 0 -1 1077944384 2 12963 0 0 0 0 5 2 20 0 15 0 47911885 11113168896 207465 33554432000 4194304 4196468 140726099313440 139858362231504 139859627362203 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9413] ppid=9348 vsize=10852704 memory=2400 CPUtime=13.91 cores=1,3,5,7
/proc/9351/task/9413/stat : 9413 (java) S 9348 9351 7887 0 -1 1077944384 79460 12963 0 0 1376 8 5 2 20 0 15 0 47911885 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859052132336 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9414] ppid=9348 vsize=10852704 memory=1836 CPUtime=13.47 cores=1,3,5,7
/proc/9351/task/9414/stat : 9414 (java) S 9348 9351 7887 0 -1 1077944384 72717 12963 0 0 1331 9 5 2 20 0 15 0 47911885 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859051079792 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9415] ppid=9348 vsize=10852704 memory=8372 CPUtime=5.18 cores=1,3,5,7
/proc/9351/task/9415/stat : 9415 (java) S 9348 9351 7887 0 -1 1077944384 89469 12963 0 0 499 12 5 2 20 0 15 0 47911885 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859050027248 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9416] ppid=9348 vsize=10852704 memory=1708 CPUtime=0.07 cores=1,3,5,7
/proc/9351/task/9416/stat : 9416 (java) S 9348 9351 7887 0 -1 1077944384 3 12963 0 0 0 0 5 2 20 0 15 0 47911885 11113168896 207465 33554432000 4194304 4196468 140726099313440 139857892469344 139859627353813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
[pid=9351/tid=9417] ppid=9348 vsize=10852704 memory=5412 CPUtime=1.38 cores=1,3,5,7
/proc/9351/task/9417/stat : 9417 (java) S 9348 9351 7887 0 -1 1077944384 1495 12963 0 0 60 71 5 2 20 0 15 0 47911886 11113168896 207465 33554432000 4194304 4196468 140726099313440 139859048975152 139859627354754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8171520 140726099319406 140726099322204 140726099322204 140726099324879 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 829860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2445.64 s]
# the end of solver process 9351 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.37 s, system=3.71729 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2445.64
CPU time (s): 2520.08
CPU user time (s): 2516.37
CPU system time (s): 3.71729
CPU usage (%): 103.044
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 1736764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.37
system time used= 3.71729
maximum resident set size= 1740392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 491982
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 227261
involuntary context switches= 4648
# summary of solver processes directly reported to runsolver:
# pid: 9351
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.37
# total CPU system time (s): 3.71729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1134 second user time and 24.2746 second system time
The end
Begin job on node107 at 2018-07-23 01:51:27 IDJOB=4292985 IDBENCH=141054 IDSOLVER=2750 FILE ID=node107/4292985-1532303487 RUNJOBID= node107-1532295923-7919 PBS_JOBID= 21018984 Free space on /tmp= 55100 MiB SOLVER NAME= Concrete 3.8 2018-06-13 BENCH NAME= XCSP18/NurseRostering/NurseRostering-11_c18.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292985-1532303487/watcher-4292985-1532303487 -o /tmp/evaluation-result-4292985-1532303487/solver-4292985-1532303487 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7919 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2077571161 HOME/instance-4292985-1532303487.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 05c4130aaeb0756e89b7f80c2b4d0b20 RANDOM SEED=2077571161 node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.40 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 18413032 kB MemAvailable: 30289704 kB Buffers: 254416 kB Cached: 11769436 kB SwapCached: 0 kB Active: 3298540 kB Inactive: 10426200 kB Active(anon): 1703624 kB Inactive(anon): 16860 kB Active(file): 1594916 kB Inactive(file): 10409340 kB Unevictable: 7152 kB Mlocked: 7152 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26864 kB Writeback: 40 kB AnonPages: 1765160 kB Mapped: 49716 kB Shmem: 17036 kB Slab: 327872 kB SReclaimable: 300876 kB SUnreclaim: 26996 kB KernelStack: 3712 kB PageTables: 8192 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2592964 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1525760 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 55072 MiB End job on node107 at 2018-07-23 02:32:13