Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.8-SuperNG 2018-06-13 | Wrong Cert. | 2520.14 | 2363.06 |
| 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.99/0.73 c Concrete v3.8.1528841891564 running 17.38/6.66 c 01:42:54.763 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19796. 'extension(x[0][10]=[0‥6], 6) :: init: true :: relation: MDD 903794242, 10 edges, 4 vertices, 12 tuples 17.38/6.66 c 01:42:54.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19797. 'extension(6, x[2][10]=[0‥6]) :: init: true :: relation: MDD 903794242, 10 edges, 4 vertices, 12 tuples 17.38/6.66 c 01:42:54.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19833. 'extension(x[0][20]=[0‥6], 6) :: init: true :: relation: MDD 263103706, 10 edges, 4 vertices, 12 tuples 17.38/6.66 c 01:42:54.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19834. 'extension(6, x[2][20]=[0‥6]) :: init: true :: relation: MDD 263103706, 10 edges, 4 vertices, 12 tuples 17.38/6.67 c 01:42:54.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19870. 'extension(x[0][21]=[0‥6], 6) :: init: true :: relation: MDD 1777519364, 10 edges, 4 vertices, 12 tuples 17.38/6.67 c 01:42:54.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19871. 'extension(6, x[2][21]=[0‥6]) :: init: true :: relation: MDD 1777519364, 10 edges, 4 vertices, 12 tuples 17.38/6.67 c 01:42:54.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19907. 'extension(x[0][28]=[0‥6], 6) :: init: true :: relation: MDD 1075593808, 10 edges, 4 vertices, 12 tuples 17.38/6.67 c 01:42:54.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19908. 'extension(6, x[2][28]=[0‥6]) :: init: true :: relation: MDD 1075593808, 10 edges, 4 vertices, 12 tuples 17.38/6.67 c 01:42:54.780 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19944. 'extension(x[0][38]=[0‥6], 6) :: init: true :: relation: MDD 491738374, 10 edges, 4 vertices, 12 tuples 17.38/6.67 c 01:42:54.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19981. 'extension(x[1][19]=[0‥6], 6) :: init: true :: relation: MDD 1107984450, 10 edges, 4 vertices, 12 tuples 17.38/6.68 c 01:42:54.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 19982. 'extension(6, x[3][19]=[0‥6]) :: init: true :: relation: MDD 1107984450, 10 edges, 4 vertices, 12 tuples 17.38/6.68 c 01:42:54.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20020. 'extension(6, x[3][38]=[0‥6]) :: init: true :: relation: MDD 491738374, 10 edges, 4 vertices, 12 tuples 17.38/6.68 c 01:42:54.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20023. 'extension(6, 6) :: init: true :: relation: MDD 491738374, 10 edges, 4 vertices, 12 tuples 17.38/6.68 c 01:42:54.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20059. 'extension(x[1][45]=[0‥6], 6) :: init: true :: relation: MDD 176514124, 10 edges, 4 vertices, 12 tuples 17.38/6.68 c 01:42:54.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20060. 'extension(6, x[3][45]=[0‥6]) :: init: true :: relation: MDD 176514124, 10 edges, 4 vertices, 12 tuples 17.38/6.68 c 01:42:54.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20098. 'extension(x[2][22]=[0‥6], 6) :: init: true :: relation: MDD 1160326849, 10 edges, 4 vertices, 12 tuples 17.38/6.68 c 01:42:54.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20138. 'extension(x[2][23]=[0‥6], 6) :: init: true :: relation: MDD 450476243, 10 edges, 4 vertices, 12 tuples 17.38/6.68 c 01:42:54.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20178. 'extension(x[3][1]=[0‥6], 6) :: init: true :: relation: MDD 2008249643, 10 edges, 4 vertices, 12 tuples 17.38/6.68 c 01:42:54.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20179. 'extension(6, x[5][1]=[0‥6]) :: init: true :: relation: MDD 2008249643, 10 edges, 4 vertices, 12 tuples 17.38/6.69 c 01:42:54.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20219. 'extension(6, x[5][22]=[0‥6]) :: init: true :: relation: MDD 1160326849, 10 edges, 4 vertices, 12 tuples 17.38/6.69 c 01:42:54.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20222. 'extension(6, 6) :: init: true :: relation: MDD 1160326849, 10 edges, 4 vertices, 12 tuples 17.38/6.69 c 01:42:54.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20260. 'extension(6, x[5][23]=[0‥6]) :: init: true :: relation: MDD 450476243, 10 edges, 4 vertices, 12 tuples 17.38/6.69 c 01:42:54.800 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20263. 'extension(6, 6) :: init: true :: relation: MDD 450476243, 10 edges, 4 vertices, 12 tuples 17.38/6.69 c 01:42:54.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20301. 'extension(6, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 431939256, 7 edges, 3 vertices, 6 tuples 17.38/6.70 c 01:42:54.803 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20302. 'extension(x[4][4]=[0‥6], 6) :: init: true :: relation: MDD 1319203143, 10 edges, 4 vertices, 12 tuples 17.38/6.70 c 01:42:54.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20303. 'extension(6, x[6][4]=[0‥6]) :: init: true :: relation: MDD 1319203143, 10 edges, 4 vertices, 12 tuples 17.38/6.70 c 01:42:54.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20344. 'extension(6, wk[37][0]=[0‥1]) :: init: true :: relation: MDD 253988431, 7 edges, 3 vertices, 6 tuples 17.38/6.70 c 01:42:54.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20345. 'extension(x[4][37]=[0‥6], 6) :: init: true :: relation: MDD 149052735, 10 edges, 4 vertices, 12 tuples 17.38/6.70 c 01:42:54.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20346. 'extension(6, x[6][37]=[0‥6]) :: init: true :: relation: MDD 149052735, 10 edges, 4 vertices, 12 tuples 17.38/6.70 c 01:42:54.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20387. 'extension(6, wk[48][0]=[0‥1]) :: init: true :: relation: MDD 1792113076, 7 edges, 3 vertices, 6 tuples 17.38/6.70 c 01:42:54.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20388. 'extension(x[4][48]=[0‥6], 6) :: init: true :: relation: MDD 849669310, 10 edges, 4 vertices, 12 tuples 17.38/6.70 c 01:42:54.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20431. 'extension(6, wk[42][0]=[0‥1]) :: init: true :: relation: MDD 1478171656, 7 edges, 3 vertices, 6 tuples 17.38/6.70 c 01:42:54.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20432. 'extension(x[5][42]=[0‥6], 6) :: init: true :: relation: MDD 1317746045, 10 edges, 4 vertices, 12 tuples 17.38/6.70 c 01:42:54.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20433. 'extension(6, x[7][42]=[0‥6]) :: init: true :: relation: MDD 1317746045, 10 edges, 4 vertices, 12 tuples 17.38/6.70 c 01:42:54.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20476. 'extension(6, wk[48][0]=[0‥1]) :: init: true :: relation: MDD 1506083063, 7 edges, 3 vertices, 6 tuples 17.38/6.71 c 01:42:54.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20477. 'extension(6, x[7][48]=[0‥6]) :: init: true :: relation: MDD 849669310, 10 edges, 4 vertices, 12 tuples 17.73/6.71 c 01:42:54.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20480. 'extension(6, 6) :: init: true :: relation: MDD 849669310, 10 edges, 4 vertices, 12 tuples 17.73/6.71 c 01:42:54.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20521. 'extension(x[6][31]=[0‥6], 6) :: init: true :: relation: MDD 1821867471, 10 edges, 4 vertices, 12 tuples 17.73/6.71 c 01:42:54.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20563. 'extension(x[7][24]=[0‥6], 6) :: init: true :: relation: MDD 841090268, 10 edges, 4 vertices, 12 tuples 17.73/6.71 c 01:42:54.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20564. 'extension(6, x[9][24]=[0‥6]) :: init: true :: relation: MDD 841090268, 10 edges, 4 vertices, 12 tuples 17.73/6.71 c 01:42:54.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20605. 'extension(x[7][27]=[0‥6], 6) :: init: true :: relation: MDD 1692915352, 10 edges, 4 vertices, 12 tuples 17.73/6.71 c 01:42:54.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20606. 'extension(6, x[9][27]=[0‥6]) :: init: true :: relation: MDD 1692915352, 10 edges, 4 vertices, 12 tuples 17.73/6.72 c 01:42:54.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20647. 'extension(6, x[9][31]=[0‥6]) :: init: true :: relation: MDD 1821867471, 10 edges, 4 vertices, 12 tuples 17.73/6.72 c 01:42:54.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20650. 'extension(6, 6) :: init: true :: relation: MDD 1821867471, 10 edges, 4 vertices, 12 tuples 17.73/6.72 c 01:42:54.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20689. 'extension(x[7][32]=[0‥6], 6) :: init: true :: relation: MDD 1648231985, 10 edges, 4 vertices, 12 tuples 17.73/6.72 c 01:42:54.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20731. 'extension(x[7][37]=[0‥6], 6) :: init: true :: relation: MDD 149052735, 10 edges, 4 vertices, 12 tuples 17.73/6.72 c 01:42:54.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20732. 'extension(6, x[9][37]=[0‥6]) :: init: true :: relation: MDD 149052735, 10 edges, 4 vertices, 12 tuples 17.73/6.72 c 01:42:54.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20773. 'extension(x[7][45]=[0‥6], 6) :: init: true :: relation: MDD 176514124, 10 edges, 4 vertices, 12 tuples 17.73/6.72 c 01:42:54.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20774. 'extension(6, x[9][45]=[0‥6]) :: init: true :: relation: MDD 176514124, 10 edges, 4 vertices, 12 tuples 17.73/6.73 c 01:42:54.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20817. 'extension(x[7][47]=[0‥6], 6) :: init: true :: relation: MDD 762722278, 10 edges, 4 vertices, 12 tuples 17.73/6.73 c 01:42:54.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20818. 'extension(6, x[9][47]=[0‥6]) :: init: true :: relation: MDD 762722278, 10 edges, 4 vertices, 12 tuples 17.73/6.73 c 01:42:54.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20861. 'extension(x[8][5]=[0‥6], 6) :: init: true :: relation: MDD 815648243, 10 edges, 4 vertices, 12 tuples 17.73/6.73 c 01:42:54.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20862. 'extension(6, x[10][5]=[0‥6]) :: init: true :: relation: MDD 815648243, 10 edges, 4 vertices, 12 tuples 17.73/6.73 c 01:42:54.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20903. 'extension(x[8][17]=[0‥6], 6) :: init: true :: relation: MDD 786036472, 10 edges, 4 vertices, 12 tuples 17.73/6.73 c 01:42:54.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20904. 'extension(6, x[10][17]=[0‥6]) :: init: true :: relation: MDD 786036472, 10 edges, 4 vertices, 12 tuples 17.73/6.73 c 01:42:54.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20945. 'extension(x[8][30]=[0‥6], 6) :: init: true :: relation: MDD 1381702512, 10 edges, 4 vertices, 12 tuples 17.73/6.73 c 01:42:54.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20946. 'extension(6, x[10][30]=[0‥6]) :: init: true :: relation: MDD 1381702512, 10 edges, 4 vertices, 12 tuples 17.73/6.73 c 01:42:54.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20987. 'extension(6, x[10][32]=[0‥6]) :: init: true :: relation: MDD 1648231985, 10 edges, 4 vertices, 12 tuples 17.73/6.73 c 01:42:54.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 20990. 'extension(6, 6) :: init: true :: relation: MDD 1648231985, 10 edges, 4 vertices, 12 tuples 17.73/6.74 c 01:42:54.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21029. 'extension(x[8][35]=[0‥6], 6) :: init: true :: relation: MDD 573819584, 10 edges, 4 vertices, 12 tuples 17.73/6.74 c 01:42:54.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21071. 'extension(x[8][40]=[0‥6], 6) :: init: true :: relation: MDD 1543871080, 10 edges, 4 vertices, 12 tuples 17.73/6.74 c 01:42:54.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21072. 'extension(6, x[10][40]=[0‥6]) :: init: true :: relation: MDD 1543871080, 10 edges, 4 vertices, 12 tuples 17.73/6.74 c 01:42:54.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21115. 'extension(x[9][0]=[0‥6], 6) :: init: true :: relation: MDD 1126888535, 10 edges, 4 vertices, 12 tuples 17.73/6.74 c 01:42:54.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21157. 'extension(x[9][4]=[0‥6], 6) :: init: true :: relation: MDD 1319203143, 10 edges, 4 vertices, 12 tuples 17.73/6.74 c 01:42:54.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21158. 'extension(6, x[11][4]=[0‥6]) :: init: true :: relation: MDD 1319203143, 10 edges, 4 vertices, 12 tuples 17.73/6.74 c 01:42:54.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21199. 'extension(x[9][10]=[0‥6], 6) :: init: true :: relation: MDD 903794242, 10 edges, 4 vertices, 12 tuples 17.73/6.74 c 01:42:54.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21200. 'extension(6, x[11][10]=[0‥6]) :: init: true :: relation: MDD 903794242, 10 edges, 4 vertices, 12 tuples 17.73/6.75 c 01:42:54.855 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21241. 'extension(x[9][20]=[0‥6], 6) :: init: true :: relation: MDD 263103706, 10 edges, 4 vertices, 12 tuples 17.73/6.75 c 01:42:54.855 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21242. 'extension(6, x[11][20]=[0‥6]) :: init: true :: relation: MDD 263103706, 10 edges, 4 vertices, 12 tuples 17.73/6.75 c 01:42:54.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21283. 'extension(x[9][29]=[0‥6], 6) :: init: true :: relation: MDD 668754554, 10 edges, 4 vertices, 12 tuples 17.73/6.75 c 01:42:54.858 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21325. 'extension(6, x[11][35]=[0‥6]) :: init: true :: relation: MDD 573819584, 10 edges, 4 vertices, 12 tuples 17.73/6.75 c 01:42:54.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21328. 'extension(6, 6) :: init: true :: relation: MDD 573819584, 10 edges, 4 vertices, 12 tuples 17.73/6.75 c 01:42:54.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21367. 'extension(6, x[12][0]=[0‥6]) :: init: true :: relation: MDD 1126888535, 10 edges, 4 vertices, 12 tuples 17.73/6.75 c 01:42:54.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21370. 'extension(6, 6) :: init: true :: relation: MDD 1126888535, 10 edges, 4 vertices, 12 tuples 17.73/6.75 c 01:42:54.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21409. 'extension(6, x[12][29]=[0‥6]) :: init: true :: relation: MDD 668754554, 10 edges, 4 vertices, 12 tuples 17.73/6.75 c 01:42:54.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21412. 'extension(6, 6) :: init: true :: relation: MDD 668754554, 10 edges, 4 vertices, 12 tuples 17.73/6.76 c 01:42:54.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21451. 'extension(x[10][36]=[0‥6], 6) :: init: true :: relation: MDD 59930654, 10 edges, 4 vertices, 12 tuples 17.73/6.76 c 01:42:54.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21493. 'extension(6, wk[21][1]=[0‥1]) :: init: true :: relation: MDD 561227586, 7 edges, 3 vertices, 6 tuples 17.73/6.76 c 01:42:54.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21494. 'extension(x[11][21]=[0‥6], 6) :: init: true :: relation: MDD 1777519364, 10 edges, 4 vertices, 12 tuples 17.73/6.76 c 01:42:54.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21495. 'extension(6, x[13][21]=[0‥6]) :: init: true :: relation: MDD 1777519364, 10 edges, 4 vertices, 12 tuples 17.73/6.76 c 01:42:54.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21536. 'extension(6, wk[27][1]=[0‥1]) :: init: true :: relation: MDD 1938377818, 7 edges, 3 vertices, 6 tuples 17.73/6.76 c 01:42:54.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21537. 'extension(x[11][27]=[0‥6], 6) :: init: true :: relation: MDD 1692915352, 10 edges, 4 vertices, 12 tuples 17.73/6.76 c 01:42:54.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21538. 'extension(6, x[13][27]=[0‥6]) :: init: true :: relation: MDD 1692915352, 10 edges, 4 vertices, 12 tuples 17.73/6.76 c 01:42:54.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21579. 'extension(6, wk[36][1]=[0‥1]) :: init: true :: relation: MDD 956315623, 7 edges, 3 vertices, 6 tuples 17.73/6.76 c 01:42:54.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21580. 'extension(6, x[13][36]=[0‥6]) :: init: true :: relation: MDD 59930654, 10 edges, 4 vertices, 12 tuples 17.73/6.77 c 01:42:54.873 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21583. 'extension(6, 6) :: init: true :: relation: MDD 59930654, 10 edges, 4 vertices, 12 tuples 17.73/6.77 c 01:42:54.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21622. 'extension(6, wk[46][1]=[0‥1]) :: init: true :: relation: MDD 1379066865, 7 edges, 3 vertices, 6 tuples 17.73/6.77 c 01:42:54.875 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21623. 'extension(x[11][46]=[0‥6], 6) :: init: true :: relation: MDD 1210486508, 10 edges, 4 vertices, 12 tuples 17.73/6.77 c 01:42:54.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21667. 'extension(6, wk[1][1]=[0‥1]) :: init: true :: relation: MDD 1556841942, 7 edges, 3 vertices, 6 tuples 17.73/6.77 c 01:42:54.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21668. 'extension(x[12][1]=[0‥6], 6) :: init: true :: relation: MDD 2008249643, 10 edges, 4 vertices, 12 tuples 17.73/6.77 c 01:42:54.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21669. 'extension(6, x[14][1]=[0‥6]) :: init: true :: relation: MDD 2008249643, 10 edges, 4 vertices, 12 tuples 17.73/6.77 c 01:42:54.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21710. 'extension(6, wk[2][1]=[0‥1]) :: init: true :: relation: MDD 716996660, 7 edges, 3 vertices, 6 tuples 17.73/6.77 c 01:42:54.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21711. 'extension(x[12][2]=[0‥6], 6) :: init: true :: relation: MDD 1497992596, 10 edges, 4 vertices, 12 tuples 17.73/6.77 c 01:42:54.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21753. 'extension(6, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1183745381, 7 edges, 3 vertices, 6 tuples 17.73/6.77 c 01:42:54.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21754. 'extension(x[12][5]=[0‥6], 6) :: init: true :: relation: MDD 815648243, 10 edges, 4 vertices, 12 tuples 17.73/6.77 c 01:42:54.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21755. 'extension(6, x[14][5]=[0‥6]) :: init: true :: relation: MDD 815648243, 10 edges, 4 vertices, 12 tuples 17.73/6.77 c 01:42:54.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21796. 'extension(6, wk[12][1]=[0‥1]) :: init: true :: relation: MDD 536994956, 7 edges, 3 vertices, 6 tuples 17.73/6.77 c 01:42:54.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21797. 'extension(x[12][12]=[0‥6], 6) :: init: true :: relation: MDD 1707458318, 10 edges, 4 vertices, 12 tuples 17.73/6.77 c 01:42:54.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21839. 'extension(6, wk[43][1]=[0‥1]) :: init: true :: relation: MDD 1501790806, 7 edges, 3 vertices, 6 tuples 17.73/6.77 c 01:42:54.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21840. 'extension(x[12][43]=[0‥6], 6) :: init: true :: relation: MDD 2101493838, 10 edges, 4 vertices, 12 tuples 17.73/6.77 c 01:42:54.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21841. 'extension(6, x[14][43]=[0‥6]) :: init: true :: relation: MDD 2101493838, 10 edges, 4 vertices, 12 tuples 17.73/6.78 c 01:42:54.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21884. 'extension(6, wk[46][1]=[0‥1]) :: init: true :: relation: MDD 33847681, 7 edges, 3 vertices, 6 tuples 17.73/6.78 c 01:42:54.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21885. 'extension(6, x[14][46]=[0‥6]) :: init: true :: relation: MDD 1210486508, 10 edges, 4 vertices, 12 tuples 17.73/6.78 c 01:42:54.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21888. 'extension(6, 6) :: init: true :: relation: MDD 1210486508, 10 edges, 4 vertices, 12 tuples 17.73/6.78 c 01:42:54.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21929. 'extension(6, x[15][2]=[0‥6]) :: init: true :: relation: MDD 1497992596, 10 edges, 4 vertices, 12 tuples 17.73/6.78 c 01:42:54.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21932. 'extension(6, 6) :: init: true :: relation: MDD 1497992596, 10 edges, 4 vertices, 12 tuples 17.73/6.78 c 01:42:54.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 21971. 'extension(x[13][3]=[0‥6], 6) :: init: true :: relation: MDD 1756435781, 10 edges, 4 vertices, 12 tuples 17.73/6.78 c 01:42:54.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22013. 'extension(x[13][6]=[0‥6], 6) :: init: true :: relation: MDD 452236638, 10 edges, 4 vertices, 12 tuples 17.73/6.78 c 01:42:54.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22055. 'extension(6, x[15][12]=[0‥6]) :: init: true :: relation: MDD 1707458318, 10 edges, 4 vertices, 12 tuples 17.73/6.78 c 01:42:54.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22058. 'extension(6, 6) :: init: true :: relation: MDD 1707458318, 10 edges, 4 vertices, 12 tuples 17.73/6.79 c 01:42:54.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22097. 'extension(x[13][34]=[0‥6], 6) :: init: true :: relation: MDD 1167066016, 10 edges, 4 vertices, 12 tuples 17.73/6.79 c 01:42:54.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22098. 'extension(6, x[15][34]=[0‥6]) :: init: true :: relation: MDD 1167066016, 10 edges, 4 vertices, 12 tuples 17.73/6.79 c 01:42:54.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22139. 'extension(x[13][41]=[0‥6], 6) :: init: true :: relation: MDD 796520850, 10 edges, 4 vertices, 12 tuples 17.73/6.79 c 01:42:54.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22183. 'extension(6, x[16][3]=[0‥6]) :: init: true :: relation: MDD 1756435781, 10 edges, 4 vertices, 12 tuples 17.73/6.79 c 01:42:54.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22186. 'extension(6, 6) :: init: true :: relation: MDD 1756435781, 10 edges, 4 vertices, 12 tuples 17.73/6.79 c 01:42:54.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22225. 'extension(6, x[16][6]=[0‥6]) :: init: true :: relation: MDD 452236638, 10 edges, 4 vertices, 12 tuples 17.73/6.79 c 01:42:54.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22228. 'extension(6, 6) :: init: true :: relation: MDD 452236638, 10 edges, 4 vertices, 12 tuples 17.73/6.79 c 01:42:54.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22267. 'extension(x[14][18]=[0‥6], 6) :: init: true :: relation: MDD 2040609056, 10 edges, 4 vertices, 12 tuples 17.73/6.80 c 01:42:54.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22309. 'extension(6, x[16][41]=[0‥6]) :: init: true :: relation: MDD 796520850, 10 edges, 4 vertices, 12 tuples 17.73/6.80 c 01:42:54.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22312. 'extension(6, 6) :: init: true :: relation: MDD 796520850, 10 edges, 4 vertices, 12 tuples 17.73/6.80 c 01:42:54.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22353. 'extension(x[14][42]=[0‥6], 6) :: init: true :: relation: MDD 1317746045, 10 edges, 4 vertices, 12 tuples 17.73/6.80 c 01:42:54.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22354. 'extension(6, x[16][42]=[0‥6]) :: init: true :: relation: MDD 1317746045, 10 edges, 4 vertices, 12 tuples 17.73/6.80 c 01:42:54.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22397. 'extension(x[15][14]=[0‥6], 6) :: init: true :: relation: MDD 1716421772, 10 edges, 4 vertices, 12 tuples 17.73/6.80 c 01:42:54.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22398. 'extension(6, x[17][14]=[0‥6]) :: init: true :: relation: MDD 1716421772, 10 edges, 4 vertices, 12 tuples 17.73/6.80 c 01:42:54.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22439. 'extension(x[15][15]=[0‥6], 6) :: init: true :: relation: MDD 1328028335, 10 edges, 4 vertices, 12 tuples 17.73/6.80 c 01:42:54.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22481. 'extension(x[15][17]=[0‥6], 6) :: init: true :: relation: MDD 786036472, 10 edges, 4 vertices, 12 tuples 17.73/6.80 c 01:42:54.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22482. 'extension(6, x[17][17]=[0‥6]) :: init: true :: relation: MDD 786036472, 10 edges, 4 vertices, 12 tuples 18.05/6.81 c 01:42:54.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22523. 'extension(6, x[17][18]=[0‥6]) :: init: true :: relation: MDD 2040609056, 10 edges, 4 vertices, 12 tuples 18.05/6.81 c 01:42:54.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22526. 'extension(6, 6) :: init: true :: relation: MDD 2040609056, 10 edges, 4 vertices, 12 tuples 18.05/6.81 c 01:42:54.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22565. 'extension(x[15][47]=[0‥6], 6) :: init: true :: relation: MDD 762722278, 10 edges, 4 vertices, 12 tuples 18.05/6.81 c 01:42:54.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22566. 'extension(6, x[17][47]=[0‥6]) :: init: true :: relation: MDD 762722278, 10 edges, 4 vertices, 12 tuples 18.05/6.81 c 01:42:54.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22609. 'extension(x[16][9]=[0‥6], 6) :: init: true :: relation: MDD 1629173206, 10 edges, 4 vertices, 12 tuples 18.05/6.82 c 01:42:54.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22651. 'extension(6, x[18][15]=[0‥6]) :: init: true :: relation: MDD 1328028335, 10 edges, 4 vertices, 12 tuples 18.05/6.82 c 01:42:54.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22654. 'extension(6, 6) :: init: true :: relation: MDD 1328028335, 10 edges, 4 vertices, 12 tuples 18.05/6.82 c 01:42:54.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22693. 'extension(x[16][16]=[0‥6], 6) :: init: true :: relation: MDD 733224796, 10 edges, 4 vertices, 12 tuples 18.05/6.82 c 01:42:54.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22735. 'extension(6, x[19][9]=[0‥6]) :: init: true :: relation: MDD 1629173206, 10 edges, 4 vertices, 12 tuples 18.05/6.82 c 01:42:54.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22738. 'extension(6, 6) :: init: true :: relation: MDD 1629173206, 10 edges, 4 vertices, 12 tuples 18.05/6.82 c 01:42:54.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22777. 'extension(6, x[19][16]=[0‥6]) :: init: true :: relation: MDD 733224796, 10 edges, 4 vertices, 12 tuples 18.05/6.82 c 01:42:54.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22780. 'extension(6, 6) :: init: true :: relation: MDD 733224796, 10 edges, 4 vertices, 12 tuples 18.05/6.82 c 01:42:54.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22819. 'extension(x[17][25]=[0‥6], 6) :: init: true :: relation: MDD 2005537360, 10 edges, 4 vertices, 12 tuples 18.05/6.82 c 01:42:54.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22861. 'extension(x[17][40]=[0‥6], 6) :: init: true :: relation: MDD 1543871080, 10 edges, 4 vertices, 12 tuples 18.05/6.82 c 01:42:54.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22862. 'extension(6, x[19][40]=[0‥6]) :: init: true :: relation: MDD 1543871080, 10 edges, 4 vertices, 12 tuples 18.05/6.83 c 01:42:54.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22905. 'extension(6, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 1302459274, 7 edges, 3 vertices, 6 tuples 18.05/6.83 c 01:42:54.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22906. 'extension(x[18][11]=[0‥6], 6) :: init: true :: relation: MDD 60945057, 10 edges, 4 vertices, 12 tuples 18.05/6.83 c 01:42:54.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22948. 'extension(6, wk[25][2]=[0‥1]) :: init: true :: relation: MDD 2040008077, 7 edges, 3 vertices, 6 tuples 18.05/6.83 c 01:42:54.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22949. 'extension(6, x[20][25]=[0‥6]) :: init: true :: relation: MDD 2005537360, 10 edges, 4 vertices, 12 tuples 18.05/6.83 c 01:42:54.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22952. 'extension(6, 6) :: init: true :: relation: MDD 2005537360, 10 edges, 4 vertices, 12 tuples 18.05/6.83 c 01:42:54.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22991. 'extension(6, wk[43][2]=[0‥1]) :: init: true :: relation: MDD 372245, 7 edges, 3 vertices, 6 tuples 18.05/6.83 c 01:42:54.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22992. 'extension(x[18][43]=[0‥6], 6) :: init: true :: relation: MDD 2101493838, 10 edges, 4 vertices, 12 tuples 18.05/6.83 c 01:42:54.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 22993. 'extension(6, x[20][43]=[0‥6]) :: init: true :: relation: MDD 2101493838, 10 edges, 4 vertices, 12 tuples 18.05/6.83 c 01:42:54.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23036. 'extension(6, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 1303238288, 7 edges, 3 vertices, 6 tuples 18.05/6.83 c 01:42:54.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23037. 'extension(6, x[21][11]=[0‥6]) :: init: true :: relation: MDD 60945057, 10 edges, 4 vertices, 12 tuples 18.05/6.83 c 01:42:54.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23040. 'extension(6, 6) :: init: true :: relation: MDD 60945057, 10 edges, 4 vertices, 12 tuples 18.05/6.84 c 01:42:54.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23079. 'extension(6, wk[44][2]=[0‥1]) :: init: true :: relation: MDD 1594500664, 7 edges, 3 vertices, 6 tuples 18.05/6.84 c 01:42:54.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23080. 'extension(x[19][44]=[0‥6], 6) :: init: true :: relation: MDD 37754966, 10 edges, 4 vertices, 12 tuples 18.05/6.84 c 01:42:54.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23081. 'extension(6, x[21][44]=[0‥6]) :: init: true :: relation: MDD 37754966, 10 edges, 4 vertices, 12 tuples 18.05/6.84 c 01:42:54.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23124. 'extension(x[20][13]=[0‥6], 6) :: init: true :: relation: MDD 1593749783, 10 edges, 4 vertices, 12 tuples 18.05/6.84 c 01:42:54.950 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23166. 'extension(x[21][8]=[0‥6], 6) :: init: true :: relation: MDD 1086350168, 10 edges, 4 vertices, 12 tuples 18.05/6.84 c 01:42:54.950 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23208. 'extension(6, x[23][13]=[0‥6]) :: init: true :: relation: MDD 1593749783, 10 edges, 4 vertices, 12 tuples 18.05/6.84 c 01:42:54.951 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23211. 'extension(6, 6) :: init: true :: relation: MDD 1593749783, 10 edges, 4 vertices, 12 tuples 18.05/6.84 c 01:42:54.953 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23250. 'extension(x[21][49]=[0‥6], 6) :: init: true :: relation: MDD 725931728, 10 edges, 4 vertices, 12 tuples 18.05/6.84 c 01:42:54.954 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23293. 'extension(6, x[24][8]=[0‥6]) :: init: true :: relation: MDD 1086350168, 10 edges, 4 vertices, 12 tuples 18.05/6.84 c 01:42:54.954 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23296. 'extension(6, 6) :: init: true :: relation: MDD 1086350168, 10 edges, 4 vertices, 12 tuples 18.05/6.85 c 01:42:54.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23334. 'extension(x[22][19]=[0‥6], 6) :: init: true :: relation: MDD 1107984450, 10 edges, 4 vertices, 12 tuples 18.05/6.85 c 01:42:54.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23335. 'extension(6, x[24][19]=[0‥6]) :: init: true :: relation: MDD 1107984450, 10 edges, 4 vertices, 12 tuples 18.05/6.85 c 01:42:54.958 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23375. 'extension(6, x[24][49]=[0‥6]) :: init: true :: relation: MDD 725931728, 10 edges, 4 vertices, 12 tuples 18.05/6.85 c 01:42:54.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23378. 'extension(6, 6) :: init: true :: relation: MDD 725931728, 10 edges, 4 vertices, 12 tuples 18.05/6.85 c 01:42:54.961 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23417. 'extension(x[23][14]=[0‥6], 6) :: init: true :: relation: MDD 1716421772, 10 edges, 4 vertices, 12 tuples 18.05/6.85 c 01:42:54.961 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23418. 'extension(6, x[25][14]=[0‥6]) :: init: true :: relation: MDD 1716421772, 10 edges, 4 vertices, 12 tuples 18.05/6.85 c 01:42:54.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23457. 'extension(x[23][28]=[0‥6], 6) :: init: true :: relation: MDD 1075593808, 10 edges, 4 vertices, 12 tuples 18.05/6.86 c 01:42:54.964 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23458. 'extension(6, x[25][28]=[0‥6]) :: init: true :: relation: MDD 1075593808, 10 edges, 4 vertices, 12 tuples 18.05/6.86 c 01:42:54.966 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23497. 'extension(x[23][34]=[0‥6], 6) :: init: true :: relation: MDD 1167066016, 10 edges, 4 vertices, 12 tuples 18.05/6.86 c 01:42:54.966 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23498. 'extension(6, x[25][34]=[0‥6]) :: init: true :: relation: MDD 1167066016, 10 edges, 4 vertices, 12 tuples 18.05/6.86 c 01:42:54.968 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23537. 'extension(x[24][24]=[0‥6], 6) :: init: true :: relation: MDD 841090268, 10 edges, 4 vertices, 12 tuples 18.05/6.86 c 01:42:54.969 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23538. 'extension(6, x[26][24]=[0‥6]) :: init: true :: relation: MDD 841090268, 10 edges, 4 vertices, 12 tuples 18.05/6.86 c 01:42:54.971 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23576. 'extension(x[24][26]=[0‥6], 6) :: init: true :: relation: MDD 1484994456, 10 edges, 4 vertices, 12 tuples 18.05/6.86 c 01:42:54.971 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23615. 'extension(x[24][33]=[0‥6], 6) :: init: true :: relation: MDD 911201454, 10 edges, 4 vertices, 12 tuples 18.05/6.86 c 01:42:54.972 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23654. 'extension(x[24][39]=[0‥6], 6) :: init: true :: relation: MDD 1845654045, 10 edges, 4 vertices, 12 tuples 18.05/6.86 c 01:42:54.973 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23693. 'extension(6, wk[7][3]=[0‥1]) :: init: true :: relation: MDD 2138849804, 7 edges, 3 vertices, 6 tuples 18.05/6.86 c 01:42:54.974 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23694. 'extension(x[25][7]=[0‥6], 6) :: init: true :: relation: MDD 902982354, 10 edges, 4 vertices, 12 tuples 18.05/6.87 c 01:42:54.974 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23731. 'extension(6, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1607278346, 7 edges, 3 vertices, 6 tuples 18.05/6.87 c 01:42:54.975 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23732. 'extension(6, x[27][26]=[0‥6]) :: init: true :: relation: MDD 1484994456, 10 edges, 4 vertices, 12 tuples 18.05/6.87 c 01:42:54.975 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23734. 'extension(6, 6) :: init: true :: relation: MDD 1484994456, 10 edges, 4 vertices, 12 tuples 18.05/6.87 c 01:42:54.976 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23769. 'extension(6, wk[33][3]=[0‥1]) :: init: true :: relation: MDD 1742798650, 7 edges, 3 vertices, 6 tuples 18.05/6.87 c 01:42:54.977 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23770. 'extension(6, x[27][33]=[0‥6]) :: init: true :: relation: MDD 911201454, 10 edges, 4 vertices, 12 tuples 18.05/6.87 c 01:42:54.977 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23772. 'extension(6, 6) :: init: true :: relation: MDD 911201454, 10 edges, 4 vertices, 12 tuples 18.05/6.87 c 01:42:54.978 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23807. 'extension(6, wk[39][3]=[0‥1]) :: init: true :: relation: MDD 1810273055, 7 edges, 3 vertices, 6 tuples 18.05/6.87 c 01:42:54.979 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23808. 'extension(6, x[27][39]=[0‥6]) :: init: true :: relation: MDD 1845654045, 10 edges, 4 vertices, 12 tuples 18.05/6.87 c 01:42:54.979 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23810. 'extension(6, 6) :: init: true :: relation: MDD 1845654045, 10 edges, 4 vertices, 12 tuples 18.05/6.87 c 01:42:54.980 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23845. 'extension(6, wk[44][3]=[0‥1]) :: init: true :: relation: MDD 2009810220, 7 edges, 3 vertices, 6 tuples 18.05/6.87 c 01:42:54.981 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23846. 'extension(x[25][44]=[0‥6], 6) :: init: true :: relation: MDD 37754966, 10 edges, 4 vertices, 12 tuples 18.05/6.87 c 01:42:54.981 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23847. 'extension(6, x[27][44]=[0‥6]) :: init: true :: relation: MDD 37754966, 10 edges, 4 vertices, 12 tuples 18.05/6.87 c 01:42:54.983 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23883. 'extension(6, wk[7][3]=[0‥1]) :: init: true :: relation: MDD 1137401656, 7 edges, 3 vertices, 6 tuples 18.05/6.87 c 01:42:54.983 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23884. 'extension(6, 6) :: init: true :: relation: MDD 902982354, 10 edges, 4 vertices, 12 tuples 18.05/6.87 c 01:42:54.984 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23885. 'extension(6, 6) :: init: true :: relation: MDD 1582358318, 7 edges, 3 vertices, 6 tuples 18.05/6.88 c 01:42:54.985 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23917. 'extension(6, wk[30][3]=[0‥1]) :: init: true :: relation: MDD 1006297128, 7 edges, 3 vertices, 6 tuples 18.05/6.88 c 01:42:54.985 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23918. 'extension(x[26][30]=[0‥6], 6) :: init: true :: relation: MDD 1381702512, 10 edges, 4 vertices, 12 tuples 18.05/6.88 c 01:42:54.985 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 23919. 'extension(6, x[26][30]=[0‥6]) :: init: true :: relation: MDD 311765759, 7 edges, 3 vertices, 6 tuples 18.05/6.89 c 01:42:55.000 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24052. 'extension(x[0][10]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.89 c 01:42:55.000 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24054. 'extension(x[2][10]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.89 c 01:42:55.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24066. 'extension(x[0][20]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.89 c 01:42:55.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24068. 'extension(x[2][20]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.89 c 01:42:55.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24080. 'extension(x[0][21]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.89 c 01:42:55.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24082. 'extension(x[2][21]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.89 c 01:42:55.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24094. 'extension(x[0][28]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.89 c 01:42:55.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24096. 'extension(x[2][28]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.89 c 01:42:55.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24108. 'extension(x[0][38]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.89 c 01:42:55.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24112. 'extension(x[1][19]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24114. 'extension(x[3][19]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24128. 'extension(x[3][38]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24142. 'extension(x[1][45]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24144. 'extension(x[3][45]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.006 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24158. 'extension(x[2][22]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.006 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24164. 'extension(x[2][23]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24170. 'extension(x[3][1]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24172. 'extension(x[5][1]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.008 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24186. 'extension(x[5][22]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.008 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24200. 'extension(x[5][23]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.009 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24214. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.009 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24216. 'extension(x[4][4]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.009 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24218. 'extension(x[6][4]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24232. 'extension(wk[37][0]=[0‥1]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24234. 'extension(x[4][37]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24236. 'extension(x[6][37]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24250. 'extension(wk[48][0]=[0‥1]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24252. 'extension(x[4][48]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24258. 'extension(wk[42][0]=[0‥1]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24260. 'extension(x[5][42]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24262. 'extension(x[7][42]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.013 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24278. 'extension(wk[48][0]=[0‥1]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.013 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24280. 'extension(x[7][48]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24296. 'extension(x[6][31]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24302. 'extension(x[7][24]=[0‥6]) :: init: true :: relation: Empty MDD 18.05/6.90 c 01:42:55.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24304. 'extension(x[9][24]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24318. 'extension(x[7][27]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24320. 'extension(x[9][27]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24334. 'extension(x[9][31]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.017 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24348. 'extension(x[7][32]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24354. 'extension(x[7][37]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24356. 'extension(x[9][37]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24370. 'extension(x[7][45]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24372. 'extension(x[9][45]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24388. 'extension(x[7][47]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24390. 'extension(x[9][47]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24406. 'extension(x[8][5]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24408. 'extension(x[10][5]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24422. 'extension(x[8][17]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24424. 'extension(x[10][17]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.91 c 01:42:55.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24438. 'extension(x[8][30]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24440. 'extension(x[10][30]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24454. 'extension(x[10][32]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24468. 'extension(x[8][35]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24474. 'extension(x[8][40]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24476. 'extension(x[10][40]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24492. 'extension(x[9][0]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24498. 'extension(x[9][4]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24500. 'extension(x[11][4]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24514. 'extension(x[9][10]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24516. 'extension(x[11][10]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24530. 'extension(x[9][20]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24532. 'extension(x[11][20]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24546. 'extension(x[9][29]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24552. 'extension(x[11][35]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24566. 'extension(x[12][0]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24580. 'extension(x[12][29]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24594. 'extension(x[10][36]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24600. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24602. 'extension(x[11][21]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24604. 'extension(x[13][21]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24618. 'extension(wk[27][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24620. 'extension(x[11][27]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24622. 'extension(x[13][27]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24636. 'extension(wk[36][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.92 c 01:42:55.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24638. 'extension(x[13][36]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.93 c 01:42:55.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24652. 'extension(wk[46][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.93 c 01:42:55.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24654. 'extension(x[11][46]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.93 c 01:42:55.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24660. 'extension(wk[1][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.93 c 01:42:55.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24662. 'extension(x[12][1]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.93 c 01:42:55.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24664. 'extension(x[14][1]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.93 c 01:42:55.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24678. 'extension(wk[2][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.93 c 01:42:55.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24680. 'extension(x[12][2]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.93 c 01:42:55.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24686. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.93 c 01:42:55.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24688. 'extension(x[12][5]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.93 c 01:42:55.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24690. 'extension(x[14][5]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.93 c 01:42:55.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24704. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.93 c 01:42:55.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24706. 'extension(x[12][12]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24712. 'extension(wk[43][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24714. 'extension(x[12][43]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24716. 'extension(x[14][43]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24732. 'extension(wk[46][1]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24734. 'extension(x[14][46]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24750. 'extension(x[15][2]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24764. 'extension(x[13][3]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24770. 'extension(x[13][6]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24776. 'extension(x[15][12]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24790. 'extension(x[13][34]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24792. 'extension(x[15][34]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24806. 'extension(x[13][41]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24812. 'extension(x[16][3]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24826. 'extension(x[16][6]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24840. 'extension(x[14][18]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24846. 'extension(x[16][41]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24862. 'extension(x[14][42]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24864. 'extension(x[16][42]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24880. 'extension(x[15][14]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24882. 'extension(x[17][14]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24896. 'extension(x[15][15]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24902. 'extension(x[15][17]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24904. 'extension(x[17][17]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24918. 'extension(x[17][18]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24932. 'extension(x[15][47]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24934. 'extension(x[17][47]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24950. 'extension(x[16][9]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24956. 'extension(x[18][15]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24970. 'extension(x[16][16]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24976. 'extension(x[19][9]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.053 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 24990. 'extension(x[19][16]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.054 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25004. 'extension(x[17][25]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.94 c 01:42:55.054 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25010. 'extension(x[17][40]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.054 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25012. 'extension(x[19][40]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.055 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25028. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.055 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25030. 'extension(x[18][11]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25036. 'extension(wk[25][2]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25038. 'extension(x[20][25]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25052. 'extension(wk[43][2]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.057 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25054. 'extension(x[18][43]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.057 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25056. 'extension(x[20][43]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.058 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25072. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.058 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25074. 'extension(x[21][11]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.058 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25088. 'extension(wk[44][2]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.059 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25090. 'extension(x[19][44]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.059 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25092. 'extension(x[21][44]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.060 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25108. 'extension(x[20][13]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.060 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25114. 'extension(x[21][8]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.060 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25120. 'extension(x[23][13]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.061 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25134. 'extension(x[21][49]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.061 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25140. 'extension(x[24][8]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.062 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25154. 'extension(x[22][19]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.062 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25156. 'extension(x[24][19]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.063 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25170. 'extension(x[24][49]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.063 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25186. 'extension(x[23][14]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.063 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25188. 'extension(x[25][14]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.064 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25202. 'extension(x[23][28]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.95 c 01:42:55.064 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25204. 'extension(x[25][28]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25218. 'extension(x[23][34]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25220. 'extension(x[25][34]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25234. 'extension(x[24][24]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25236. 'extension(x[26][24]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25250. 'extension(x[24][26]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25256. 'extension(x[24][33]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25262. 'extension(x[24][39]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25268. 'extension(wk[7][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25270. 'extension(x[25][7]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25276. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25278. 'extension(x[27][26]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25290. 'extension(wk[33][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25292. 'extension(x[27][33]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25304. 'extension(wk[39][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25306. 'extension(x[27][39]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25318. 'extension(wk[44][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25320. 'extension(x[25][44]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25322. 'extension(x[27][44]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.071 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25334. 'extension(wk[7][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.071 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25340. 'extension(wk[30][3]=[0‥1]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.071 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25342. 'extension(x[26][30]=[0‥6]) :: init: true :: relation: Empty MDD 18.38/6.96 c 01:42:55.071 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25344. 'extension(x[26][30]=[0‥6]) :: init: true :: relation: Empty MDD 664.47/562.87 o 12497 665.37/563.48 o 12496 665.54/563.51 o 12396 674.98/571.83 o 12295 2520.07/2363.01 Exception in thread "main" java.util.concurrent.TimeoutException 2520.07/2363.01 at concrete.MAC.mac(MAC.scala:188) 2520.07/2363.01 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252) 2520.07/2363.01 at scala.util.Try$.apply(Try.scala:209) 2520.07/2363.01 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194) 2520.07/2363.01 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182) 2520.07/2363.01 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12) 2520.07/2363.01 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61) 2520.07/2363.01 at org.scalameter.Measurer$Default.measure(Measurer.scala:133) 2520.07/2363.01 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51) 2520.07/2363.01 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61) 2520.07/2363.01 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181) 2520.07/2363.01 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194) 2520.07/2363.01 at concrete.MAC.oneRun(MAC.scala:253) 2520.07/2363.01 at concrete.MAC.nextSolution(MAC.scala:272) 2520.07/2363.01 at concrete.MAC.nextSolution(MAC.scala:355) 2520.07/2363.01 at concrete.Solver.hasNext(Solver.scala:166) 2520.07/2363.02 at scala.collection.Iterator.foreach(Iterator.scala:944) 2520.07/2363.02 at scala.collection.Iterator.foreach$(Iterator.scala:944) 2520.07/2363.02 at concrete.Solver.foreach(Solver.scala:68) 2520.07/2363.02 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73) 2520.07/2363.02 at scala.util.Success.$anonfun$map$1(Try.scala:251) 2520.07/2363.02 at scala.util.Success.map(Try.scala:209) 2520.07/2363.02 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68) 2520.07/2363.02 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33) 2520.07/2363.02 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18) 2520.07/2363.02 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121) 2520.07/2363.02 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18) 2520.07/2363.02 at scala.Function0.apply$mcV$sp(Function0.scala:34) 2520.07/2363.02 at scala.Function0.apply$mcV$sp$(Function0.scala:34) 2520.07/2363.02 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12) 2520.07/2363.02 at scala.App.$anonfun$main$1$adapted(App.scala:76) 2520.07/2363.02 at scala.collection.immutable.List.foreach(List.scala:389) 2520.07/2363.02 at scala.App.main(App.scala:76) 2520.07/2363.02 at scala.App.main$(App.scala:74) 2520.07/2363.02 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18) 2520.07/2363.02 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala) 2520.07/2363.03 v <instantiation cost="12295"> 2520.07/2363.03 v <list> 2520.07/2363.03 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.07/2363.03 v </list> 2520.07/2363.03 v <values> 2520.07/2363.03 v 6 6 6 0 6 1 0 3 1 4 6 6 6 0 1 4 5 6 6 2 6 6 2 5 2 2 3 2 6 6 3 4 4 6 1 2 1 0 6 0 6 0 4 6 6 6 3 2 3 5 0 0 6 0 0 1 0 3 3 4 6 6 6 0 1 4 5 5 4 2 6 6 2 5 2 5 2 2 6 1 3 4 4 6 1 2 1 0 6 0 6 0 4 6 2 6 3 2 3 5 3 4 0 0 0 6 0 6 3 4 0 2 3 1 1 6 4 5 4 6 1 2 2 6 2 6 2 2 0 1 3 4 6 6 1 2 1 0 6 0 6 6 4 6 2 6 3 2 3 5 6 4 4 0 0 6 6 6 3 4 5 2 2 0 5 6 4 5 4 6 1 2 6 6 5 6 6 2 2 1 6 4 6 2 6 2 1 3 6 0 3 6 4 0 6 0 3 2 3 5 6 6 4 0 0 5 6 3 3 4 5 2 2 0 6 0 4 5 5 6 1 6 6 6 4 6 6 2 2 1 6 4 1 2 6 2 6 6 0 6 3 6 6 0 6 0 6 6 6 6 6 6 4 6 6 5 0 3 6 6 6 2 5 6 6 0 6 6 4 6 6 6 6 6 6 2 0 6 2 6 6 6 1 2 2 6 6 6 0 6 3 0 6 0 6 6 6 6 6 6 0 6 5 6 6 5 0 2 6 6 6 6 6 6 6 0 6 6 6 6 6 6 6 6 6 4 2 6 2 6 6 6 1 2 2 6 1 2 6 6 3 0 6 0 0 6 6 6 6 6 4 6 6 0 6 5 0 2 1 4 5 6 6 6 2 0 2 1 6 6 3 2 5 4 6 5 2 6 6 6 6 6 4 2 6 2 1 2 6 6 3 0 4 0 2 6 3 6 6 0 4 4 6 0 1 6 0 6 1 4 5 2 2 6 2 0 2 1 2 0 5 2 5 4 6 4 2 6 6 1 6 6 6 6 6 2 1 6 4 6 3 0 4 0 2 6 3 6 6 0 4 4 4 0 4 6 1 6 3 6 6 3 2 1 6 6 2 6 5 4 6 2 5 6 1 5 2 2 0 3 6 2 6 6 2 6 1 6 4 0 6 0 4 6 2 0 3 1 6 0 6 4 4 0 6 5 6 2 3 6 6 6 2 0 6 6 2 6 4 4 6 2 5 6 1 6 6 2 0 6 0 5 0 0 2 6 6 6 4 1 6 0 4 6 2 0 3 1 3 0 6 4 4 6 6 5 6 2 3 1 0 6 2 0 1 6 3 5 6 4 1 6 5 3 1 6 6 2 6 6 0 4 0 0 2 2 6 6 4 1 6 6 4 6 2 0 6 0 3 0 6 4 6 6 4 6 6 6 6 5 0 2 6 0 1 6 6 5 6 4 1 6 6 2 1 6 6 6 6 3 0 4 6 6 2 2 6 0 6 1 6 6 4 6 6 6 6 0 3 6 0 6 6 6 4 6 6 6 6 5 0 2 6 0 1 6 6 5 6 6 1 5 6 2 2 1 6 6 0 3 0 4 6 6 2 2 6 0 6 1 6 6 6 6 6 6 6 0 6 6 0 6 6 6 4 1 6 3 1 6 6 4 6 6 3 0 4 5 6 6 1 5 2 5 6 2 2 6 0 3 0 6 6 3 6 2 2 0 0 6 6 6 6 1 6 6 6 6 6 6 0 6 6 6 4 1 6 2 1 6 6 4 0 6 2 0 4 5 6 0 6 5 2 6 6 4 2 2 0 3 6 6 4 4 6 5 2 6 0 6 3 6 6 1 2 3 1 6 6 0 0 6 6 6 4 6 0 6 1 6 0 6 2 0 6 6 5 6 6 0 6 5 6 6 6 5 6 2 2 6 6 2 4 4 1 6 2 6 0 0 4 3 6 1 2 3 4 6 4 1 0 0 4 6 6 6 0 6 1 6 0 6 6 1 6 6 6 6 0 2 3 6 6 5 6 4 6 2 2 6 0 2 4 6 1 6 6 0 0 0 4 3 6 6 2 2 4 6 4 1 6 0 5 0 6 5 6 2 4 6 6 6 6 0 6 0 6 3 2 2 3 6 5 4 1 6 0 2 6 1 3 2 4 6 1 2 6 0 0 0 6 6 3 6 6 2 4 0 6 1 6 6 4 0 6 5 6 2 6 4 6 6 0 0 5 0 2 5 6 6 3 2 5 6 2 6 0 2 6 1 3 6 4 0 6 2 1 6 6 0 6 6 3 6 6 6 4 1 6 1 6 6 4 0 6 5 0 2 6 4 2 6 0 6 5 0 4 5 6 6 3 2 5 6 6 6 0 6 6 1 3 6 6 0 6 2 1 6 6 0 6 6 3 0 6 6 4 1 6 6 3 6 4 0 1 5 1 2 6 5 2 3 1 6 5 4 4 5 6 6 3 2 5 2 6 6 0 6 0 3 6 2 6 0 4 2 1 2 6 6 6 0 3 0 2 6 6 1 6 6 3 6 6 0 1 5 1 2 6 5 2 3 1 6 5 6 4 6 2 6 6 2 6 3 4 6 2 6 0 3 6 4 6 0 4 2 1 2 6 6 3 0 4 0 2 0 6 1 3 6 3 5 6 6 1 6 1 6 6 5 2 2 2 1 5 6 6 6 5 6 6 2 6 2 4 2 6 1 4 6 0 6 6 0 4 6 4 2 0 0 3 0 6 0 2 0 6 2 3 6 3 4 5 6 1 6 0 6 1 6 2 2 6 0 6 0 6 5 4 2 1 6 2 2 4 2 6 1 6 6 0 6 1 6 6 6 6 2 4 0 4 0 6 0 2 0 1 6 3 0 3 4 4 6 1 6 6 6 1 6 6 2 6 6 6 0 6 5 5 2 1 6 2 2 6 2 6 1 6 6 0 3 1 6 6 6 6 6 4 6 4 0 6 4 2 0 1 6 3 0 6 4 6 0 6 6 6 6 6 6 6 6 6 6 6 6 6 6 5 2 6 6 2 6 6 6 6 1 6 6 6 2 6 6 6 6 6 6 4 6 4 0 6 6 6 0 1 6 3 6 6 4 6 0 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 2 6 6 2 6 6 6 6 1 6 6 6 2 6 6 6 6 6 6 4 6 4 6 6 6 6 0 3 6 3 6 7 0 0 6 3 0 12 3 0 0 0 11 1 13 1 0 0 0 11 3 13 16 0 0 0 0 0 12 4 6 0 0 6 0 12 0 4 0 0 0 11 13 11 4 0 0 0 0 13 0 0 10 5 0 0 13 0 9 0 7 1 0 11 0 1 0 0 9 5 13 6 0 5 0 0 4 13 0 0 10 3 2 0 13 3 2 8 1 0 1 13 12 4 0 0 0 0 12 0 6 3 1 0 6 12 12 0 0 0 3 0 13 0 0 5 1 8 3 11 0 2 0 1 0 14 11 1 0 3 0 6 5 13 3 0 8 0 4 0 13 0 9 0 6 0 1 12 0 0 11 0 0 4 13 0 0 9 0 0 9 10 0 0 6 2 3 4 13 0 5 5 0 4 1 13 0 1 6 0 4 4 13 5 0 9 1 0 0 13 0 5 13 0 0 0 10 8 0 6 0 1 0 13 0 8 0 7 0 0 13 9 0 0 6 0 0 13 0 0 7 1 9 1 10 2 5 0 0 8 0 13 7 0 5 1 2 0 13 0 6 7 0 3 0 12 0 0 16 0 0 1 11 0 12 3 0 1 0 12 8 0 6 1 0 0 13 8 0 0 0 8 0 12 12 4 0 0 0 0 12 0 0 0 9 6 0 13 14 0 0 2 0 0 12 0 0 0 4 11 0 13 11 3 0 0 1 0 13 1 0 15 0 0 0 12 11 0 2 2 0 0 13 0 4 0 9 5 0 10 4 6 5 0 0 0 13 0 0 0 13 2 0 13 8 4 0 0 0 4 12 6 5 7 5 5 3 19 9 5 8 5 6 5 12 8 6 9 6 6 2 13 6 3 8 5 7 5 16 7 3 6 3 5 4 22 6 1 5 2 2 2 32 6 2 6 1 1 2 32 6 3 9 3 5 4 20 7 5 9 2 7 3 17 6 5 8 4 7 3 17 9 3 7 3 6 3 19 8 5 6 4 6 3 18 5 4 4 2 5 2 28 7 4 5 1 2 3 28 6 4 5 4 3 3 25 7 4 7 3 6 3 20 7 4 6 2 6 3 22 9 4 6 2 6 1 22 9 4 7 4 4 3 19 7 4 6 3 4 4 22 8 3 4 3 4 4 24 6 5 8 5 4 5 17 6 5 8 6 5 3 17 7 4 9 3 4 4 19 9 6 8 2 5 2 18 5 6 6 3 5 2 23 3 2 3 1 3 1 37 2 1 3 2 3 0 39 1 1 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 3 3 0 0 0 0 0 0 1 1 0 0 1 0 0 2 2 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 3 0 0 0 0 1 0 0 0 0 0 0 2 2 0 0 0 3 0 0 0 0 3 3 0 3 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 0 2 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 1 1 0 3 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 0 0 0 0 0 0 0 1 1 0 2 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 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 100 2 0 100 0 2 2 0 2 0 0 0 4 2 0 3 1 0 0 0 0 100 2 2 1 0 1 0 100 1 0 1 0 2 200 600 100 300 300 0 0 0 300 300 500 100 0 0 1 0 0 0 1 0 0 2 0 0 1 1 0 0 1 0 1 1 0 0 2 1 200 0 0 100 0 1 2 200 2 100 0 0 100 1 600 300 100 100 0 1 1 300 400 400 100 0 1 1 400 1 200 0 0 1 1 1 0 100 0 0 0 1 200 0 0 0 0 3 1 100 0 0 100 0 2 1 100 0 0 200 0 2 0 100 0 0 1 0 2 0 500 0 200 1 0 1 2 100 2 100 1 0 0 2 0 2 300 0 0 2 2 100 0 1 1 0 2 2 0 0 0 100 0 1 1 0 100 0 200 0 400 0 500 200 100 300 0 300 100 400 100 200 200 0 2520.07/2363.03 v </values> 2520.07/2363.03 v </instantiation> 2520.07/2363.03 s SATISFIABLE
INVALID Solution! (29 errors) Violated Constraint c_2348 : sum() list() : [ps[1][0], ps[1][1], ps[1][2], ps[1][3], ps[1][4], ps[1][5], ps[1][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 (14251 MiB free)
memory of node 1: 16384 MiB (11711 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292986-1532302967/watcher-4292986-1532302967 -o /tmp/evaluation-result-4292986-1532302967/solver-4292986-1532302967 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3499 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=409592525 -superng HOME/instance-4292986-1532302967.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4159, runsolver pid=4156
[startup+0.100119 s]*
/proc/loadavg: 1.58 1.68 1.67 3/206 4216
/proc/meminfo: memFree=26579480/32770624 swapFree=67108860/67108860
[pid=4159] ppid=4156 vsize=9972712 memory=18324 CPUtime=0.09 cores=0,2,4,6
/proc/4159/stat : 4159 (java) S 4156 4159 3468 0 -1 1077944320 4232 13204 0 0 1 0 5 3 20 0 6 0 47859953 10212057088 4581 33554432000 4194304 4196468 140731342971792 140731342954336 140588418367223 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
/proc/4159/statm: 2493178 4581 1930 1 0 2481616 0
[pid=4159/tid=4212] ppid=4156 vsize=9972712 memory=4718545630382498451 CPUtime=0.09 cores=0,2,4,6
/proc/4159/task/4212/stat : 4212 (java) R 4156 4159 3468 0 -1 4202560 2049 13204 0 0 1 0 5 3 20 0 6 0 47859962 10212057088 4581 33554432000 4194304 4196468 140731342971792 140588390203984 140588418389149 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4213] ppid=4156 vsize=9972712 memory=5793854974373861817 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4213/stat : 4213 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 6 0 47859963 10212057088 4581 33554432000 4194304 4196468 140731342971792 140588422609168 140588418377429 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4214] ppid=4156 vsize=9972712 memory=139723363968640 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4214/stat : 4214 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 6 0 47859963 10212057088 4581 33554432000 4194304 4196468 140731342971792 140588310882704 140588418377429 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4215] ppid=4156 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4215/stat : 4215 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 6 0 47859963 10212057088 4581 33554432000 4194304 4196468 140731342971792 140588309830160 140588418377429 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4216] ppid=4156 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4216/stat : 4216 (java) S 4156 4159 3468 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 6 0 47859963 10212057088 4581 33554432000 4194304 4196468 140731342971792 140588308777616 140588418377429 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18324 KiB
[startup+0.209857 s]*
/proc/loadavg: 1.58 1.68 1.67 3/215 4225
/proc/meminfo: memFree=26558988/32770624 swapFree=67108860/67108860
[pid=4159] ppid=4156 vsize=10818904 memory=44824 CPUtime=0.26 cores=0,2,4,6
/proc/4159/stat : 4159 (java) S 4156 4159 3468 0 -1 1077944320 9127 13204 0 0 16 2 5 3 20 0 15 0 47859953 11078557696 11206 33554432000 4194304 4196468 140731342971792 140731342954336 140588418367223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
/proc/4159/statm: 2704726 11206 2926 1 0 2667149 0
[pid=4159/tid=4212] ppid=4156 vsize=10818904 memory=-2899909650764262549 CPUtime=0.19 cores=0,2,4,6
/proc/4159/task/4212/stat : 4212 (java) R 4156 4159 3468 0 -1 4202560 5765 13204 0 0 10 1 5 3 20 0 15 0 47859962 11078557696 11206 33554432000 4194304 4196468 140731342971792 140588390192032 140588411084327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4213] ppid=4156 vsize=10818904 memory=4211973449568759178 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4213/stat : 4213 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859963 11078557696 11206 33554432000 4194304 4196468 140731342971792 140588422609168 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4214] ppid=4156 vsize=10818904 memory=139723363968640 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4214/stat : 4214 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859963 11078557696 11206 33554432000 4194304 4196468 140731342971792 140588310882704 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4215] ppid=4156 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4215/stat : 4215 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859963 11078557696 11206 33554432000 4194304 4196468 140731342971792 140588309830160 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4216] ppid=4156 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4216/stat : 4216 (java) S 4156 4159 3468 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 47859963 11078557696 11206 33554432000 4194304 4196468 140731342971792 140588308777616 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4217] ppid=4156 vsize=10818904 memory=139723363968640 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4217/stat : 4217 (java) S 4156 4159 3468 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 47859964 11078557696 11206 33554432000 4194304 4196468 140731342971792 140587877628400 140588418378370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4218] ppid=4156 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4218/stat : 4218 (java) S 4156 4159 3468 0 -1 1077944384 33 13204 0 0 0 0 5 3 20 0 15 0 47859965 11078557696 11206 33554432000 4194304 4196468 140731342971792 140587876574624 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4219] ppid=4156 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4219/stat : 4219 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859965 11078557696 11206 33554432000 4194304 4196468 140731342971792 140587231602160 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4220] ppid=4156 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4220/stat : 4220 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11078557696 11206 33554432000 4194304 4196468 140731342971792 140586991311568 140588418385819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4221] ppid=4156 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/4159/task/4221/stat : 4221 (java) S 4156 4159 3468 0 -1 1077944384 526 13204 0 0 1 0 5 3 20 0 15 0 47859968 11078557696 11206 33554432000 4194304 4196468 140731342971792 140587843016688 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4222] ppid=4156 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4222/stat : 4222 (java) S 4156 4159 3468 0 -1 1077944384 52 13204 0 0 0 0 5 3 20 0 15 0 47859968 11078557696 11206 33554432000 4194304 4196468 140731342971792 140587841964144 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4223] ppid=4156 vsize=10818904 memory=139723363968640 CPUtime=0.11 cores=0,2,4,6
/proc/4159/task/4223/stat : 4223 (java) R 4156 4159 3468 0 -1 4202560 565 13204 0 0 3 0 5 3 20 0 15 0 47859968 11078557696 11206 33554432000 4194304 4196468 140731342971792 140587840911600 140588418388570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4224] ppid=4156 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4224/stat : 4224 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11078557696 11206 33554432000 4194304 4196468 140731342971792 140586957752928 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4225] ppid=4156 vsize=10818904 memory=139723363968640 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4225/stat : 4225 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859968 11078557696 11206 33554432000 4194304 4196468 140731342971792 140587839859504 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 44824 KiB
[startup+0.310365 s]*
/proc/loadavg: 1.58 1.68 1.67 3/215 4225
/proc/meminfo: memFree=26545716/32770624 swapFree=67108860/67108860
[pid=4159] ppid=4156 vsize=10819352 memory=52700 CPUtime=0.39 cores=0,2,4,6
/proc/4159/stat : 4159 (java) S 4156 4159 3468 0 -1 1077944320 10344 13204 0 0 29 2 5 3 20 0 15 0 47859953 11079016448 13175 33554432000 4194304 4196468 140731342971792 140731342954336 140588418367223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
/proc/4159/statm: 2704838 13175 3045 1 0 2667149 0
[pid=4159/tid=4212] ppid=4156 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/4159/task/4212/stat : 4212 (java) R 4156 4159 3468 0 -1 4202560 6957 13204 0 0 20 1 5 3 20 0 15 0 47859962 11079016448 13175 33554432000 4194304 4196468 140731342971792 140588390179232 140588399930798 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4213] ppid=4156 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4213/stat : 4213 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859963 11079016448 13175 33554432000 4194304 4196468 140731342971792 140588422609168 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4214] ppid=4156 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4214/stat : 4214 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859963 11079016448 13175 33554432000 4194304 4196468 140731342971792 140588310882704 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4215] ppid=4156 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4215/stat : 4215 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859963 11079016448 13175 33554432000 4194304 4196468 140731342971792 140588309830160 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4216] ppid=4156 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4216/stat : 4216 (java) S 4156 4159 3468 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 47859963 11079016448 13175 33554432000 4194304 4196468 140731342971792 140588308777616 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4217] ppid=4156 vsize=10819352 memory=139723363968639 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4217/stat : 4217 (java) S 4156 4159 3468 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 47859964 11079016448 13175 33554432000 4194304 4196468 140731342971792 140587877628400 140588418378370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4218] ppid=4156 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4218/stat : 4218 (java) S 4156 4159 3468 0 -1 1077944384 33 13204 0 0 0 0 5 3 20 0 15 0 47859965 11079016448 13175 33554432000 4194304 4196468 140731342971792 140587876574624 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4219] ppid=4156 vsize=10819352 memory=139723363968640 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4219/stat : 4219 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859965 11079016448 13175 33554432000 4194304 4196468 140731342971792 140587231602160 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4220] ppid=4156 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4220/stat : 4220 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11079016448 13175 33554432000 4194304 4196468 140731342971792 140586991311568 140588418385819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4221] ppid=4156 vsize=10819352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/4159/task/4221/stat : 4221 (java) S 4156 4159 3468 0 -1 1077944384 526 13204 0 0 2 0 5 3 20 0 15 0 47859968 11079016448 13175 33554432000 4194304 4196468 140731342971792 140587843016688 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4222] ppid=4156 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/4159/task/4222/stat : 4222 (java) S 4156 4159 3468 0 -1 1077944384 53 13204 0 0 1 0 5 3 20 0 15 0 47859968 11079016448 13175 33554432000 4194304 4196468 140731342971792 140587841964144 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4223] ppid=4156 vsize=10819352 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4159/task/4223/stat : 4223 (java) S 4156 4159 3468 0 -1 1077944384 573 13204 0 0 5 0 5 3 20 0 15 0 47859968 11079016448 13175 33554432000 4194304 4196468 140731342971792 140587840911600 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4224] ppid=4156 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4224/stat : 4224 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11079016448 13175 33554432000 4194304 4196468 140731342971792 140586957752928 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4225] ppid=4156 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4225/stat : 4225 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859968 11079016448 13175 33554432000 4194304 4196468 140731342971792 140587839859504 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52700 KiB
[startup+0.700738 s]
/proc/loadavg: 1.58 1.68 1.67 4/215 4225
/proc/meminfo: memFree=26537132/32770624 swapFree=67108860/67108860
[pid=4159] ppid=4156 vsize=10819352 memory=85288 CPUtime=0.99 cores=0,2,4,6
/proc/4159/stat : 4159 (java) S 4156 4159 3468 0 -1 1077944320 16404 13204 0 0 87 4 5 3 20 0 15 0 47859953 11079016448 21322 33554432000 4194304 4196468 140731342971792 140731342954336 140588418367223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
/proc/4159/statm: 2704838 21322 3240 1 0 2667149 0
[pid=4159/tid=4212] ppid=4156 vsize=10819352 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/4159/task/4212/stat : 4212 (java) R 4156 4159 3468 0 -1 4202560 11927 13204 0 0 56 3 5 3 20 0 15 0 47859962 11079016448 21322 33554432000 4194304 4196468 140731342971792 140588390188048 140588399930752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4213] ppid=4156 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4213/stat : 4213 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859963 11079016448 21322 33554432000 4194304 4196468 140731342971792 140588422609168 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4214] ppid=4156 vsize=10819352 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4214/stat : 4214 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859963 11079016448 21322 33554432000 4194304 4196468 140731342971792 140588310882704 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4215] ppid=4156 vsize=10819352 memory=15884 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4215/stat : 4215 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859963 11079016448 21322 33554432000 4194304 4196468 140731342971792 140588309830160 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4216] ppid=4156 vsize=10819352 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4216/stat : 4216 (java) S 4156 4159 3468 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 47859963 11079016448 21322 33554432000 4194304 4196468 140731342971792 140588308777616 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4217] ppid=4156 vsize=10819352 memory=288230587427463884 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4217/stat : 4217 (java) S 4156 4159 3468 0 -1 1077944384 5 13204 0 0 0 0 5 3 20 0 15 0 47859964 11079016448 21322 33554432000 4194304 4196468 140731342971792 140587877628400 140588418378370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4218] ppid=4156 vsize=10819352 memory=13563782421044628 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4218/stat : 4218 (java) S 4156 4159 3468 0 -1 1077944384 33 13204 0 0 0 0 5 3 20 0 15 0 47859965 11079016448 21322 33554432000 4194304 4196468 140731342971792 140587876574624 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4219] ppid=4156 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4219/stat : 4219 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859965 11079016448 21322 33554432000 4194304 4196468 140731342971792 140587231602160 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4220] ppid=4156 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4220/stat : 4220 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11079016448 21322 33554432000 4194304 4196468 140731342971792 140586991311568 140588418385819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4221] ppid=4156 vsize=10819352 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/4159/task/4221/stat : 4221 (java) S 4156 4159 3468 0 -1 1077944384 1192 13204 0 0 10 0 5 3 20 0 15 0 47859968 11079016448 21322 33554432000 4194304 4196468 140731342971792 140587843016688 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4222] ppid=4156 vsize=10819352 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/4159/task/4222/stat : 4222 (java) S 4156 4159 3468 0 -1 1077944384 428 13204 0 0 7 0 5 3 20 0 15 0 47859968 11079016448 21322 33554432000 4194304 4196468 140731342971792 140587841964144 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4223] ppid=4156 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/4159/task/4223/stat : 4223 (java) S 4156 4159 3468 0 -1 1077944384 619 13204 0 0 12 0 5 3 20 0 15 0 47859968 11079016448 21322 33554432000 4194304 4196468 140731342971792 140587840911600 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4224] ppid=4156 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4224/stat : 4224 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11079016448 21322 33554432000 4194304 4196468 140731342971792 140586957752928 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4225] ppid=4156 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4225/stat : 4225 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859968 11079016448 21322 33554432000 4194304 4196468 140731342971792 140587839859504 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85288 KiB
[startup+1.50073 s]
/proc/loadavg: 1.58 1.68 1.67 4/215 4225
/proc/meminfo: memFree=26490800/32770624 swapFree=67108860/67108860
[pid=4159] ppid=4156 vsize=10830156 memory=175980 CPUtime=3.15 cores=0,2,4,6
/proc/4159/stat : 4159 (java) S 4156 4159 3468 0 -1 1077944320 22668 13204 0 0 300 7 5 3 20 0 15 0 47859953 11090079744 43995 33554432000 4194304 4196468 140731342971792 140731342954336 140588418367223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
/proc/4159/statm: 2707539 43995 3451 1 0 2669197 0
[pid=4159/tid=4212] ppid=4156 vsize=10830156 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/4159/task/4212/stat : 4212 (java) R 4156 4159 3468 0 -1 4202560 14924 13204 0 0 133 5 5 3 20 0 15 0 47859962 11090079744 43995 33554432000 4194304 4196468 140731342971792 140588390198144 140588402447740 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4213] ppid=4156 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4213/stat : 4213 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859963 11090079744 43995 33554432000 4194304 4196468 140731342971792 140588422609168 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4214] ppid=4156 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4214/stat : 4214 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859963 11090079744 43995 33554432000 4194304 4196468 140731342971792 140588310882704 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4215] ppid=4156 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4215/stat : 4215 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859963 11090079744 43995 33554432000 4194304 4196468 140731342971792 140588309830160 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4216] ppid=4156 vsize=10830156 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4216/stat : 4216 (java) S 4156 4159 3468 0 -1 1077944384 2 13204 0 0 0 0 5 3 20 0 15 0 47859963 11090079744 43995 33554432000 4194304 4196468 140731342971792 140588308777616 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4217] ppid=4156 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4217/stat : 4217 (java) S 4156 4159 3468 0 -1 1077944384 6 13204 0 0 0 0 5 3 20 0 15 0 47859964 11090079744 43995 33554432000 4194304 4196468 140731342971792 140587877628400 140588418378370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4218] ppid=4156 vsize=10830156 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4218/stat : 4218 (java) S 4156 4159 3468 0 -1 1077944384 33 13204 0 0 0 0 5 3 20 0 15 0 47859965 11090079744 43995 33554432000 4194304 4196468 140731342971792 140587876574624 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4219] ppid=4156 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4219/stat : 4219 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859965 11090079744 43995 33554432000 4194304 4196468 140731342971792 140587231602160 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4220] ppid=4156 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4220/stat : 4220 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11090079744 43995 33554432000 4194304 4196468 140731342971792 140586991311568 140588418385819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4221] ppid=4156 vsize=10830156 memory=4580 CPUtime=0.66 cores=0,2,4,6
/proc/4159/task/4221/stat : 4221 (java) S 4156 4159 3468 0 -1 1077944384 2062 13204 0 0 58 0 5 3 20 0 15 0 47859968 11090079744 43995 33554432000 4194304 4196468 140731342971792 140587843016688 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4222] ppid=4156 vsize=10830156 memory=11126417659 CPUtime=0.65 cores=0,2,4,6
/proc/4159/task/4222/stat : 4222 (java) S 4156 4159 3468 0 -1 1077944384 1766 13204 0 0 57 0 5 3 20 0 15 0 47859968 11090079744 43995 33554432000 4194304 4196468 140731342971792 140587841964144 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4223] ppid=4156 vsize=10830156 memory=279446410415872 CPUtime=0.59 cores=0,2,4,6
/proc/4159/task/4223/stat : 4223 (java) S 4156 4159 3468 0 -1 1077944384 1680 13204 0 0 51 0 5 3 20 0 15 0 47859968 11090079744 43995 33554432000 4194304 4196468 140731342971792 140587840911600 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4224] ppid=4156 vsize=10830156 memory=279446410227768 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4224/stat : 4224 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11090079744 43995 33554432000 4194304 4196468 140731342971792 140586957752928 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4225] ppid=4156 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4225/stat : 4225 (java) S 4156 4159 3468 0 -1 1077944384 1 13204 0 0 0 0 5 3 20 0 15 0 47859968 11090079744 43995 33554432000 4194304 4196468 140731342971792 140587839859504 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
Current children cumulated CPU time: 3.15 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/4159/task/4212/stat : 4212 (java) R 4156 4159 3468 0 -1 4202560 265015 13204 0 0 216000 64 5 3 20 0 15 0 47859962 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140588390202432 140587992028606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4213] ppid=4156 vsize=10854752 memory=5668296 CPUtime=40.26 cores=0,2,4,6
/proc/4159/task/4213/stat : 4213 (java) S 4156 4159 3468 0 -1 1077944384 64863 13204 0 0 3889 129 5 3 20 0 15 0 47859963 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140588422609168 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4214] ppid=4156 vsize=10854752 memory=5670344 CPUtime=40.24 cores=0,2,4,6
/proc/4159/task/4214/stat : 4214 (java) S 4156 4159 3468 0 -1 1077944384 67265 13204 0 0 3891 125 5 3 20 0 15 0 47859963 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140588310882704 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4215] ppid=4156 vsize=10854752 memory=5670344 CPUtime=40.2 cores=0,2,4,6
/proc/4159/task/4215/stat : 4215 (java) S 4156 4159 3468 0 -1 1077944384 72468 13204 0 0 3883 129 5 3 20 0 15 0 47859963 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140588309830160 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4216] ppid=4156 vsize=10854752 memory=5670344 CPUtime=40.26 cores=0,2,4,6
/proc/4159/task/4216/stat : 4216 (java) S 4156 4159 3468 0 -1 1077944384 65131 13204 0 0 3892 126 5 3 20 0 15 0 47859963 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140588308777616 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4217] ppid=4156 vsize=10854752 memory=5660084 CPUtime=1.02 cores=0,2,4,6
/proc/4159/task/4217/stat : 4217 (java) S 4156 4159 3468 0 -1 1077944384 69672 13204 0 0 84 10 5 3 20 0 15 0 47859964 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140587877628400 140588418378370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4218] ppid=4156 vsize=10854752 memory=5670344 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4218/stat : 4218 (java) S 4156 4159 3468 0 -1 1077944384 41 13204 0 0 0 0 5 3 20 0 15 0 47859965 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140587876574752 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4219] ppid=4156 vsize=10854752 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4219/stat : 4219 (java) S 4156 4159 3468 0 -1 1077944384 9 13204 0 0 0 0 5 3 20 0 15 0 47859965 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140587231602176 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4220] ppid=4156 vsize=10854752 memory=1508 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4220/stat : 4220 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140586991311568 140588418385819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4221] ppid=4156 vsize=10854752 memory=14004 CPUtime=14.98 cores=0,2,4,6
/proc/4159/task/4221/stat : 4221 (java) S 4156 4159 3468 0 -1 1077944384 95743 13204 0 0 1481 9 5 3 20 0 15 0 47859968 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140587843016688 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4222] ppid=4156 vsize=10854752 memory=5649824 CPUtime=15.16 cores=0,2,4,6
/proc/4159/task/4222/stat : 4222 (java) S 4156 4159 3468 0 -1 1077944384 95857 13204 0 0 1496 12 5 3 20 0 15 0 47859968 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140587841964144 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4223] ppid=4156 vsize=10854752 memory=5649824 CPUtime=5.18 cores=0,2,4,6
/proc/4159/task/4223/stat : 4223 (java) S 4156 4159 3468 0 -1 1077944384 91888 13204 0 0 499 11 5 3 20 0 15 0 47859968 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140587840911600 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4224] ppid=4156 vsize=10854752 memory=5670344 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4224/stat : 4224 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140586957752928 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4225] ppid=4156 vsize=10854752 memory=2240 CPUtime=1.18 cores=0,2,4,6
/proc/4159/task/4225/stat : 4225 (java) S 4156 4159 3468 0 -1 1077944384 1705 13204 0 0 55 55 5 3 20 0 15 0 47859968 11115266048 1417586 33554432000 4194304 4196468 140731342971792 140587839859504 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
Current children cumulated CPU time: 2358.58 s
Current children cumulated vsize: 10854752 KiB
Current children cumulated memory: 5670344 KiB
[startup+2262.3 s]
/proc/loadavg: 1.90 1.82 1.75 3/216 4451
/proc/meminfo: memFree=21525120/32770624 swapFree=67108860/67108860
[pid=4159] ppid=4156 vsize=10854752 memory=5711440 CPUtime=2418.97 cores=0,2,4,6
/proc/4159/stat : 4159 (java) S 4156 4159 3468 0 -1 1077944320 904355 13204 0 0 241221 668 5 3 20 0 15 0 47859953 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140731342954336 140588418367223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
/proc/4159/statm: 2713688 1427860 3542 1 0 2675341 0
[pid=4159/tid=4212] ppid=4156 vsize=10854752 memory=5711440 CPUtime=2220.59 cores=0,2,4,6
/proc/4159/task/4212/stat : 4212 (java) R 4156 4159 3468 0 -1 4202560 273009 13204 0 0 221986 65 5 3 20 0 15 0 47859962 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140588390202432 140588014369664 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4213] ppid=4156 vsize=10854752 memory=14004 CPUtime=40.39 cores=0,2,4,6
/proc/4159/task/4213/stat : 4213 (java) S 4156 4159 3468 0 -1 1077944384 66912 13204 0 0 3901 130 5 3 20 0 15 0 47859963 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140588422609168 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4214] ppid=4156 vsize=10854752 memory=1724 CPUtime=40.35 cores=0,2,4,6
/proc/4159/task/4214/stat : 4214 (java) S 4156 4159 3468 0 -1 1077944384 67395 13204 0 0 3902 125 5 3 20 0 15 0 47859963 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140588310882704 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4215] ppid=4156 vsize=10854752 memory=5711440 CPUtime=40.31 cores=0,2,4,6
/proc/4159/task/4215/stat : 4215 (java) S 4156 4159 3468 0 -1 1077944384 72517 13204 0 0 3894 129 5 3 20 0 15 0 47859963 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140588309830160 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4216] ppid=4156 vsize=10854752 memory=5711440 CPUtime=40.38 cores=0,2,4,6
/proc/4159/task/4216/stat : 4216 (java) S 4156 4159 3468 0 -1 1077944384 66978 13204 0 0 3903 127 5 3 20 0 15 0 47859963 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140588308777616 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4217] ppid=4156 vsize=10854752 memory=5711440 CPUtime=1.02 cores=0,2,4,6
/proc/4159/task/4217/stat : 4217 (java) S 4156 4159 3468 0 -1 1077944384 70054 13204 0 0 84 10 5 3 20 0 15 0 47859964 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140587877628400 140588418378370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4218] ppid=4156 vsize=10854752 memory=5711440 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4218/stat : 4218 (java) S 4156 4159 3468 0 -1 1077944384 41 13204 0 0 0 0 5 3 20 0 15 0 47859965 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140587876574752 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4219] ppid=4156 vsize=10854752 memory=5711440 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4219/stat : 4219 (java) S 4156 4159 3468 0 -1 1077944384 9 13204 0 0 0 0 5 3 20 0 15 0 47859965 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140587231602176 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4220] ppid=4156 vsize=10854752 memory=5711440 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4220/stat : 4220 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140586991311568 140588418385819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4221] ppid=4156 vsize=10854752 memory=5711440 CPUtime=14.98 cores=0,2,4,6
/proc/4159/task/4221/stat : 4221 (java) S 4156 4159 3468 0 -1 1077944384 95751 13204 0 0 1481 9 5 3 20 0 15 0 47859968 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140587843016688 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4222] ppid=4156 vsize=10854752 memory=5705288 CPUtime=15.16 cores=0,2,4,6
/proc/4159/task/4222/stat : 4222 (java) S 4156 4159 3468 0 -1 1077944384 95862 13204 0 0 1496 12 5 3 20 0 15 0 47859968 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140587841964144 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4223] ppid=4156 vsize=10854752 memory=5711440 CPUtime=5.18 cores=0,2,4,6
/proc/4159/task/4223/stat : 4223 (java) S 4156 4159 3468 0 -1 1077944384 91896 13204 0 0 499 11 5 3 20 0 15 0 47859968 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140587840911600 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4224] ppid=4156 vsize=10854752 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4224/stat : 4224 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140586957752928 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4225] ppid=4156 vsize=10854752 memory=15996 CPUtime=1.2 cores=0,2,4,6
/proc/4159/task/4225/stat : 4225 (java) S 4156 4159 3468 0 -1 1077944384 1738 13204 0 0 56 56 5 3 20 0 15 0 47859968 11115266048 1427860 33554432000 4194304 4196468 140731342971792 140587839859504 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
Current children cumulated CPU time: 2418.97 s
Current children cumulated vsize: 10854752 KiB
Current children cumulated memory: 5711440 KiB
[startup+2322.3 s]
/proc/loadavg: 1.82 1.82 1.76 3/216 4452
/proc/meminfo: memFree=21443308/32770624 swapFree=67108860/67108860
[pid=4159] ppid=4156 vsize=10854752 memory=5736020 CPUtime=2479.21 cores=0,2,4,6
/proc/4159/stat : 4159 (java) S 4156 4159 3468 0 -1 1077944320 921389 13204 0 0 247240 673 5 3 20 0 15 0 47859953 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140731342954336 140588418367223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
/proc/4159/statm: 2713688 1434005 3542 1 0 2675341 0
[pid=4159/tid=4212] ppid=4156 vsize=10854752 memory=5733968 CPUtime=2280.51 cores=0,2,4,6
/proc/4159/task/4212/stat : 4212 (java) R 4156 4159 3468 0 -1 4202560 280150 13204 0 0 227977 66 5 3 20 0 15 0 47859962 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140588390201680 140588013157568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4213] ppid=4156 vsize=10854752 memory=5733968 CPUtime=40.45 cores=0,2,4,6
/proc/4159/task/4213/stat : 4213 (java) S 4156 4159 3468 0 -1 1077944384 70854 13204 0 0 3907 130 5 3 20 0 15 0 47859963 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140588422609168 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4214] ppid=4156 vsize=10854752 memory=5733968 CPUtime=40.43 cores=0,2,4,6
/proc/4159/task/4214/stat : 4214 (java) S 4156 4159 3468 0 -1 1077944384 68242 13204 0 0 3909 126 5 3 20 0 15 0 47859963 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140588310882704 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4215] ppid=4156 vsize=10854752 memory=5736020 CPUtime=40.39 cores=0,2,4,6
/proc/4159/task/4215/stat : 4215 (java) S 4156 4159 3468 0 -1 1077944384 76046 13204 0 0 3901 130 5 3 20 0 15 0 47859963 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140588309830160 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4216] ppid=4156 vsize=10854752 memory=5736020 CPUtime=40.45 cores=0,2,4,6
/proc/4159/task/4216/stat : 4216 (java) S 4156 4159 3468 0 -1 1077944384 67851 13204 0 0 3910 127 5 3 20 0 15 0 47859963 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140588308777616 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4217] ppid=4156 vsize=10854752 memory=5736020 CPUtime=1.03 cores=0,2,4,6
/proc/4159/task/4217/stat : 4217 (java) S 4156 4159 3468 0 -1 1077944384 70703 13204 0 0 85 10 5 3 20 0 15 0 47859964 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140587877628400 140588418378370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4218] ppid=4156 vsize=10854752 memory=5736020 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4218/stat : 4218 (java) S 4156 4159 3468 0 -1 1077944384 41 13204 0 0 0 0 5 3 20 0 15 0 47859965 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140587876574752 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4219] ppid=4156 vsize=10854752 memory=5736020 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4219/stat : 4219 (java) S 4156 4159 3468 0 -1 1077944384 9 13204 0 0 0 0 5 3 20 0 15 0 47859965 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140587231602176 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4220] ppid=4156 vsize=10854752 memory=5736020 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4220/stat : 4220 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140586991311568 140588418385819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4221] ppid=4156 vsize=10854752 memory=4140 CPUtime=14.98 cores=0,2,4,6
/proc/4159/task/4221/stat : 4221 (java) S 4156 4159 3468 0 -1 1077944384 95758 13204 0 0 1481 9 5 3 20 0 15 0 47859968 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140587843016688 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4222] ppid=4156 vsize=10854752 memory=279446410904224 CPUtime=15.16 cores=0,2,4,6
/proc/4159/task/4222/stat : 4222 (java) S 4156 4159 3468 0 -1 1077944384 95865 13204 0 0 1496 12 5 3 20 0 15 0 47859968 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140587841964144 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4223] ppid=4156 vsize=10854752 memory=5736020 CPUtime=5.18 cores=0,2,4,6
/proc/4159/task/4223/stat : 4223 (java) S 4156 4159 3468 0 -1 1077944384 91901 13204 0 0 499 11 5 3 20 0 15 0 47859968 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140587840911600 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4224] ppid=4156 vsize=10854752 memory=5736020 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4224/stat : 4224 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140586957752928 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4225] ppid=4156 vsize=10854752 memory=5736020 CPUtime=1.23 cores=0,2,4,6
/proc/4159/task/4225/stat : 4225 (java) S 4156 4159 3468 0 -1 1077944384 1776 13204 0 0 57 58 5 3 20 0 15 0 47859968 11115266048 1434005 33554432000 4194304 4196468 140731342971792 140587839859504 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
Current children cumulated CPU time: 2479.21 s
Current children cumulated vsize: 10854752 KiB
Current children cumulated memory: 5736020 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2363 s]*
/proc/loadavg: 1.91 1.84 1.77 3/216 4453
/proc/meminfo: memFree=21392704/32770624 swapFree=67108860/67108860
[pid=4159] ppid=4156 vsize=10854752 memory=5740116 CPUtime=2520.07 cores=0,2,4,6
/proc/4159/stat : 4159 (java) S 4156 4159 3468 0 -1 1077944320 923672 13204 0 0 251324 675 5 3 20 0 15 0 47859953 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140731342954336 140588418367223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
/proc/4159/statm: 2713688 1435029 3542 1 0 2675341 0
[pid=4159/tid=4212] ppid=4156 vsize=10854752 memory=-6733704525061579059 CPUtime=2321.17 cores=0,2,4,6
/proc/4159/task/4212/stat : 4212 (java) R 4156 4159 3468 0 -1 4202560 281794 13204 0 0 232043 66 5 3 20 0 15 0 47859962 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140588390201792 140588418381096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4213] ppid=4156 vsize=10854752 memory=-7003737579269690708 CPUtime=40.5 cores=0,2,4,6
/proc/4159/task/4213/stat : 4213 (java) S 4156 4159 3468 0 -1 1077944384 70859 13204 0 0 3912 130 5 3 20 0 15 0 47859963 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140588422609168 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4214] ppid=4156 vsize=10854752 memory=3848 CPUtime=40.47 cores=0,2,4,6
/proc/4159/task/4214/stat : 4214 (java) S 4156 4159 3468 0 -1 1077944384 68250 13204 0 0 3913 126 5 3 20 0 15 0 47859963 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140588310882704 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4215] ppid=4156 vsize=10854752 memory=2600 CPUtime=40.43 cores=0,2,4,6
/proc/4159/task/4215/stat : 4215 (java) S 4156 4159 3468 0 -1 1077944384 76359 13204 0 0 3905 130 5 3 20 0 15 0 47859963 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140588309830160 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4216] ppid=4156 vsize=10854752 memory=-7003737579269690708 CPUtime=40.49 cores=0,2,4,6
/proc/4159/task/4216/stat : 4216 (java) S 4156 4159 3468 0 -1 1077944384 68140 13204 0 0 3914 127 5 3 20 0 15 0 47859963 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140588308777616 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4217] ppid=4156 vsize=10854752 memory=301741420686082359 CPUtime=1.03 cores=0,2,4,6
/proc/4159/task/4217/stat : 4217 (java) S 4156 4159 3468 0 -1 1077944384 70725 13204 0 0 85 10 5 3 20 0 15 0 47859964 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140587877628400 140588418378370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4218] ppid=4156 vsize=10854752 memory=16105879074244933 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4218/stat : 4218 (java) S 4156 4159 3468 0 -1 1077944384 41 13204 0 0 0 0 5 3 20 0 15 0 47859965 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140587876574752 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4219] ppid=4156 vsize=10854752 memory=2204 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4219/stat : 4219 (java) S 4156 4159 3468 0 -1 1077944384 9 13204 0 0 0 0 5 3 20 0 15 0 47859965 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140587231602176 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4220] ppid=4156 vsize=10854752 memory=7888 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4220/stat : 4220 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140586991311568 140588418385819 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4221] ppid=4156 vsize=10854752 memory=836 CPUtime=14.98 cores=0,2,4,6
/proc/4159/task/4221/stat : 4221 (java) S 4156 4159 3468 0 -1 1077944384 95758 13204 0 0 1481 9 5 3 20 0 15 0 47859968 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140587843016688 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4222] ppid=4156 vsize=10854752 memory=1800 CPUtime=15.16 cores=0,2,4,6
/proc/4159/task/4222/stat : 4222 (java) S 4156 4159 3468 0 -1 1077944384 95865 13204 0 0 1496 12 5 3 20 0 15 0 47859968 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140587841964144 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4223] ppid=4156 vsize=10854752 memory=916 CPUtime=5.18 cores=0,2,4,6
/proc/4159/task/4223/stat : 4223 (java) S 4156 4159 3468 0 -1 1077944384 91901 13204 0 0 499 11 5 3 20 0 15 0 47859968 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140587840911600 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4224] ppid=4156 vsize=10854752 memory=5738068 CPUtime=0.08 cores=0,2,4,6
/proc/4159/task/4224/stat : 4224 (java) S 4156 4159 3468 0 -1 1077944384 3 13204 0 0 0 0 5 3 20 0 15 0 47859968 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140586957752928 140588418377429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
[pid=4159/tid=4225] ppid=4156 vsize=10854752 memory=2600 CPUtime=1.25 cores=0,2,4,6
/proc/4159/task/4225/stat : 4225 (java) S 4156 4159 3468 0 -1 1077944384 1778 13204 0 0 58 59 5 3 20 0 15 0 47859968 11115266048 1435029 33554432000 4194304 4196468 140731342971792 140587839859504 140588418378370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36298752 140731342973100 140731342976348 140731342976348 140731342979023 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10854752 KiB
Current children cumulated memory: 5740116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2363.06 s]
# the end of solver process 4159 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.32 s, system=6.81984 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2363.06
CPU time (s): 2520.14
CPU user time (s): 2513.32
CPU system time (s): 6.81984
CPU usage (%): 106.647
Max. virtual memory (cumulated for all children) (KiB): 10854752
Max. memory (cumulated for all children) (KiB): 5969296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.32
system time used= 6.81984
maximum resident set size= 5969300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 942044
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74067
involuntary context switches= 4963
# summary of solver processes directly reported to runsolver:
# pid: 4159
# total CPU time (s): 2520.14
# total CPU user time (s): 2513.32
# total CPU system time (s): 6.81984
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9207 second user time and 21.5934 second system time
The end
Begin job on node149 at 2018-07-23 01:42:47 IDJOB=4292986 IDBENCH=141054 IDSOLVER=2751 FILE ID=node149/4292986-1532302967 RUNJOBID= node149-1532298084-3499 PBS_JOBID= 21018995 Free space on /tmp= 51816 MiB SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13 BENCH NAME= XCSP18/NurseRostering/NurseRostering-11_c18.xml COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292986-1532302967/watcher-4292986-1532302967 -o /tmp/evaluation-result-4292986-1532302967/solver-4292986-1532302967 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532298084-3499 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=409592525 -superng HOME/instance-4292986-1532302967.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 05c4130aaeb0756e89b7f80c2b4d0b20 RANDOM SEED=409592525 node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 26586372 kB MemAvailable: 29415400 kB Buffers: 136924 kB Cached: 2951616 kB SwapCached: 0 kB Active: 4192160 kB Inactive: 1506144 kB Active(anon): 2559512 kB Inactive(anon): 70172 kB Active(file): 1632648 kB Inactive(file): 1435972 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 26444 kB Writeback: 0 kB AnonPages: 2617024 kB Mapped: 49204 kB Shmem: 17032 kB Slab: 180192 kB SReclaimable: 152488 kB SUnreclaim: 27704 kB KernelStack: 3552 kB PageTables: 10312 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3627136 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2203648 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 51788 MiB End job on node149 at 2018-07-23 02:22:11