Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 13 | 2520.13 | 2520.13 |
| Name | PeacableArmies/ PeacableArmies-m2-50_c18.xml |
| MD5SUM | a108db2a0a555905573fa2757742798d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 113 |
| Best CPU time to get the best result obtained on this benchmark | 2520.11 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2502 |
| Number of constraints | 203353 |
| Number of domains | 2 |
| Minimum domain size | 3 |
| Maximum domain size | 1250 |
| Distribution of domain sizes | [{"size":3,"count":2500},{"size":1250,"count":2}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 197 |
| Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":1},{"degree":149,"count":196},{"degree":151,"count":188},{"degree":153,"count":180},{"degree":155,"count":172},{"degree":157,"count":164},{"degree":159,"count":156},{"degree":161,"count":148},{"degree":163,"count":140},{"degree":165,"count":132},{"degree":167,"count":124},{"degree":169,"count":116},{"degree":171,"count":108},{"degree":173,"count":100},{"degree":175,"count":92},{"degree":177,"count":84},{"degree":179,"count":76},{"degree":181,"count":68},{"degree":183,"count":60},{"degree":185,"count":52},{"degree":187,"count":44},{"degree":189,"count":36},{"degree":191,"count":28},{"degree":193,"count":20},{"degree":195,"count":12},{"degree":197,"count":4}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2501 |
| Distribution of constraint arities | [{"arity":2,"count":203351},{"arity":2501,"count":2}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 203351 |
| Distribution of constraint types | [{"type":"intension","count":203351},{"type":"count","count":2}] |
| Optimization problem | YES |
| Type of objective | max VAR |
57.59/57.63 c AllEqual constraint using 1 generic x=y constraints 57.88/57.98 c best=?? lower=-2147483638 upper=2147483637 60.79/60.81 c 60.79/60.81 c This is cosoco 1.12 -- 60.79/60.81 c 60.79/60.81 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295212-1532542931.xml 60.79/60.81 c enable optimization 60.79/60.81 c ========================================[ Problem Statistics ]=========================================== 60.79/60.81 c | 60.79/60.81 c | Parse time : 55.67 s 60.79/60.81 c | 60.79/60.81 c | Variables: 2502 60.79/60.81 c | Domain Sizes: 3..1250 60.79/60.81 c | 60.79/60.81 c | Constraints: 203354 60.79/60.81 c | Arity: 1..2501 -- Unary: 1 -- Binary: 203351 60.79/60.81 c | 60.79/60.81 c | Types: 60.79/60.81 c | (X = Y): 1 60.79/60.81 c | Exactly K variable: 2 60.79/60.81 c | Intension: 203351 60.79/60.81 c | 60.79/60.81 c | Objective: Maximize Intension 60.79/60.81 60.79/60.81 c ========================================================================================================= 60.79/60.81 o 0 60.79/60.81 c 1 calls to solver: best=0 lower=1 upper=2147483637 63.29/63.35 o 1 77.18/77.25 o 2 77.18/77.25 c 3 calls to solver: best=2 lower=3 upper=2147483637 92.49/92.56 o 3 107.58/107.67 o 4 107.58/107.67 c 5 calls to solver: best=4 lower=5 upper=2147483637 119.89/119.96 o 5 130.79/130.84 o 6 130.79/130.84 c 7 calls to solver: best=6 lower=7 upper=2147483637 139.59/139.69 o 7 145.49/145.50 o 8 145.49/145.50 c 9 calls to solver: best=8 lower=9 upper=2147483637 432.86/432.92 o 9 508.46/508.54 o 10 508.46/508.54 c 11 calls to solver: best=10 lower=11 upper=2147483637 680.57/680.65 o 11 797.37/797.45 o 12 797.37/797.45 c 13 calls to solver: best=12 lower=13 upper=2147483637 1135.87/1135.96 o 13 2520.00/2520.01 2520.00/2520.01 c *** INTERRUPTED *** 2520.00/2520.01 c restarts : 80 2520.00/2520.01 c conflicts : 2029984 (809 /sec) 2520.00/2520.01 c decisions : 5765125 (2297 /sec) 2520.00/2520.01 c propagations : 90436006 (36031 /sec) 2520.00/2520.01 c root propagations : 5002 2520.00/2520.01 c filter calls : 1444320681 (575437 /sec) 2520.00/2520.01 c useless filter calls : 1394775959 (96 %) 2520.00/2520.01 c Memory used : 5632.67 MB 2520.00/2520.01 c CPU time : 2509.95 s 2520.00/2520.01 2520.00/2520.01 c nb Solutions = 14 2520.00/2520.01 s SATISFIABLE 2520.00/2520.01 c Best value found: 13 2520.00/2520.01 2520.00/2520.01 2520.00/2520.01 v <instantiation type='solution' cost='13'> 2520.00/2520.01 v <list>nb nw x[0][0] 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][1] 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][2] 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][3] 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[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] 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][1] 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][2] 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][3] 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[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] 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][1] 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][2] 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][3] 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[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] 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][1] 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][2] 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][3] 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[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] 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][1] 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][2] 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][3] 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[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] 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][1] 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][2] 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][3] 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[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] 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][1] 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][2] 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][3] 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[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] 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][1] 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][2] 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][3] 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[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] 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][1] 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][2] 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][3] 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[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] 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][1] 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][2] 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][3] 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[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] 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][1] 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][2] 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][3] 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[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] 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][1] 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][2] 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][3] 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[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] 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][1] 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][2] 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][3] 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[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] 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][1] 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][2] 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][3] 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[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] 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][1] 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][2] 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][3] 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[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] 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][1] 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][2] 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][3] 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[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] 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][1] 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][2] 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][3] 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[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] 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][1] 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][2] 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][3] 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[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] 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][1] 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][2] 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][3] 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[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] 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][1] 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][2] 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][3] 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] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][1] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][2] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][3] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][1] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][2] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][3] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] 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][1] 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][2] 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][3] 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[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][1] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][2] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][3] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][1] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][2] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][3] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][1] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][2] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][3] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][1] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][2] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][3] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][1] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][2] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][3] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][1] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][2] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][3] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][1] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][2] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][3] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][1] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][2] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][3] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][1] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][2] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][3] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[39][0] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][1] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][2] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][3] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[3][0] 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][1] 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][2] 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][3] 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[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[40][0] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][1] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][2] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][3] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[41][0] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][1] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][2] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][3] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[42][0] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][1] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][2] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][3] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[43][0] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][1] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][2] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][3] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[44][0] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][1] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][2] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][3] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[45][0] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][1] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][2] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][3] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[46][0] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][1] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][2] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][3] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[47][0] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][1] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][2] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][3] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[48][0] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][1] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][2] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][3] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[49][0] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][1] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][2] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][3] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[4][0] 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][1] 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][2] 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][3] 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[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] 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][1] 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][2] 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][3] 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[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] 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][1] 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][2] 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][3] 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[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] 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][1] 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][2] 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][3] 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[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] 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][1] 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][2] 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][3] 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[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] 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][1] 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][2] 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][3] 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[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list> 2520.00/2520.01 v <values>13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 2 0 2 2 2 0 0 0 0 2 2 2 0 0 0 0 0 2 0 0 2 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 2520.00/2520.01 v </instantiation> 2520.00/2520.01
OK 13
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 (6792 MiB free)
memory of node 1: 16384 MiB (9041 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295212-1532542931/watcher-4295212-1532542931 -o /tmp/evaluation-result-4295212-1532542931/solver-4295212-1532542931 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295212-1532542931.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30517, runsolver pid=30514
Current StackSize limit: 8192 KiB
[startup+0.100105 s]*
/proc/loadavg: 1.00 0.99 1.04 3/188 30518
/proc/meminfo: memFree=16211588/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=29524 memory=5576 CPUtime=0.1 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 1615 0 0 0 10 0 0 0 20 0 1 0 71856288 30232576 1394 33554432000 4194304 6142532 140722495992336 140722495988968 139719636986853 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 7381 1394 785 476 0 703 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29524 KiB
Current children cumulated memory: 5576 KiB
[startup+0.209299 s]*
/proc/loadavg: 1.00 0.99 1.04 3/188 30518
/proc/meminfo: memFree=16210472/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=30640 memory=6752 CPUtime=0.21 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 1935 0 0 0 21 0 0 0 20 0 1 0 71856288 31375360 1688 33554432000 4194304 6142532 140722495992336 140722495988968 139719636986853 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 7660 1688 785 476 0 982 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30640 KiB
Current children cumulated memory: 6752 KiB
[startup+0.309037 s]*
/proc/loadavg: 1.00 0.99 1.04 3/188 30518
/proc/meminfo: memFree=16209356/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=31944 memory=7704 CPUtime=0.31 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 2311 0 0 0 31 0 0 0 20 0 1 0 71856288 32710656 1926 33554432000 4194304 6142532 140722495992336 140722495988968 139719636986853 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 7986 1926 785 476 0 1308 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31944 KiB
Current children cumulated memory: 7704 KiB
[startup+0.700264 s]
/proc/loadavg: 1.00 0.99 1.04 2/186 30518
/proc/meminfo: memFree=16207764/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=36004 memory=11584 CPUtime=0.69 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 3518 0 0 0 69 0 0 0 20 0 1 0 71856288 36868096 2896 33554432000 4194304 6142532 140722495992336 140722495988968 5582016 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 9001 2896 785 476 0 2323 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36004 KiB
Current children cumulated memory: 11584 KiB
[startup+1.50039 s]
/proc/loadavg: 1.00 0.99 1.04 3/200 30546
/proc/meminfo: memFree=16195480/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=44388 memory=19420 CPUtime=1.48 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 5488 0 0 0 148 0 0 0 20 0 1 0 71856288 45453312 4855 33554432000 4194304 6142532 140722495992336 140722495986872 5360795 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 11097 4855 785 476 0 4419 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 44388 KiB
Current children cumulated memory: 19420 KiB
[startup+3.10942 s]
/proc/loadavg: 1.00 0.99 1.04 3/188 30579
/proc/meminfo: memFree=16151460/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=61156 memory=35200 CPUtime=3.1 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 9958 0 0 0 308 2 0 0 20 0 1 0 71856288 62623744 8800 33554432000 4194304 6142532 140722495992336 140722495988984 139719636986853 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 15289 8800 785 476 0 8611 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 61156 KiB
Current children cumulated memory: 35200 KiB
[startup+6.30038 s]
/proc/loadavg: 1.00 0.99 1.04 3/188 30579
/proc/meminfo: memFree=15829724/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=379200 memory=353600 CPUtime=6.29 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 89650 0 0 0 616 13 0 0 20 0 1 0 71856288 388300800 88400 33554432000 4194304 6142532 140722495992336 140722495986712 139719636986853 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 94800 88400 803 476 0 88122 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 379200 KiB
Current children cumulated memory: 353600 KiB
[startup+12.7003 s]
/proc/loadavg: 1.08 1.00 1.05 3/188 30579
/proc/meminfo: memFree=14554780/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=1040952 memory=1015552 CPUtime=12.69 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 255161 0 0 0 1230 39 0 0 20 0 1 0 71856288 1065934848 253888 33554432000 4194304 6142532 140722495992336 140722495986808 139719640465408 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 260238 253888 803 476 0 253560 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1040952 KiB
Current children cumulated memory: 1015552 KiB
[startup+25.5003 s]
/proc/loadavg: 1.22 1.03 1.06 3/188 30579
/proc/meminfo: memFree=10994644/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=2365540 memory=2339652 CPUtime=25.48 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 586859 0 0 0 2458 90 0 0 20 0 1 0 71856288 2422312960 584913 33554432000 4194304 6142532 140722495992336 140722495986808 139719636986853 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 591385 584913 803 476 0 584707 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2365540 KiB
Current children cumulated memory: 2339652 KiB
[startup+51.1096 s]
/proc/loadavg: 1.60 1.14 1.09 3/188 30579
/proc/meminfo: memFree=3881088/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5013664 memory=4988136 CPUtime=51.1 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 1252155 0 0 0 4923 187 0 0 20 0 1 0 71856288 5133991936 1247034 33554432000 4194304 6142532 140722495992336 140722495986808 139719636986853 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1253416 1247034 803 476 0 1246738 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 5013664 KiB
Current children cumulated memory: 4988136 KiB
[startup+102.3 s]
/proc/loadavg: 1.83 1.28 1.14 3/188 30580
/proc/meminfo: memFree=3602352/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743800 CPUtime=102.29 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 2539422 0 0 0 9964 265 0 0 20 0 1 0 71856288 5906276352 1435950 33554432000 4194304 6142532 140722495992336 140722495989864 5376430 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435950 884 476 0 1435284 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743800 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.42 1.20 3/188 30641
/proc/meminfo: memFree=16095084/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743832 CPUtime=162.28 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 3336171 0 0 0 15930 298 0 0 20 0 1 0 71856288 5906276352 1435958 33554432000 4194304 6142532 140722495992336 140722495979608 5376434 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435958 884 476 0 1435284 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743832 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.53 1.25 3/187 30643
/proc/meminfo: memFree=16095252/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743840 CPUtime=222.28 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 4158615 0 0 0 21895 333 0 0 20 0 1 0 71856288 5906276352 1435960 33554432000 4194304 6142532 140722495992336 140722495979608 5047845 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435960 884 476 0 1435284 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743840 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.61 1.29 3/187 30644
/proc/meminfo: memFree=16095468/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743844 CPUtime=282.27 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 4963148 0 0 0 27859 368 0 0 20 0 1 0 71856288 5906276352 1435961 33554432000 4194304 6142532 140722495992336 140722495979608 5146999 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435961 884 476 0 1435284 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743844 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.68 1.34 3/187 30645
/proc/meminfo: memFree=16095188/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743852 CPUtime=342.27 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 5608342 0 0 0 33831 396 0 0 20 0 1 0 71856288 5906276352 1435963 33554432000 4194304 6142532 140722495992336 140722495979608 5366726 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435963 884 476 0 1435284 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743852 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 1.76 1.39 3/187 30647
/proc/meminfo: memFree=16095276/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743852 CPUtime=402.26 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 6372404 0 0 0 39799 427 0 0 20 0 1 0 71856288 5906276352 1435963 33554432000 4194304 6142532 140722495992336 140722495979608 5375774 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435963 884 476 0 1435284 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743852 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 1.80 1.42 3/187 30648
/proc/meminfo: memFree=16095288/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743852 CPUtime=462.27 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 7110029 0 0 0 45765 462 0 0 20 0 1 0 71856288 5906276352 1435963 33554432000 4194304 6142532 140722495992336 140722495989864 5366776 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435963 884 476 0 1435284 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743852 KiB
################
# More data... #
################
/proc/meminfo: memFree=16097896/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=1782.28 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 17626126 0 0 0 177304 924 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 4991614 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
[startup+1842.3 s]
/proc/loadavg: 2.14 2.12 1.95 3/188 30964
/proc/meminfo: memFree=16098212/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=1842.28 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 18074239 0 0 0 183285 943 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 5372465 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
[startup+1902.3 s]
/proc/loadavg: 2.05 2.10 1.95 3/188 30965
/proc/meminfo: memFree=16097620/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=1902.29 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 18079906 0 0 0 189284 945 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 5371724 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.08 1.95 3/188 30966
/proc/meminfo: memFree=16097668/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=1962.28 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 18498731 0 0 0 195267 961 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 5363684 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.07 1.95 3/186 30968
/proc/meminfo: memFree=16098144/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=2022.29 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 18502436 0 0 0 201267 962 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 5124101 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 2022.29 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.06 1.95 3/187 30970
/proc/meminfo: memFree=16096876/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=2082.29 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 18509409 0 0 0 207265 964 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 5047845 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.04 1.95 3/187 30971
/proc/meminfo: memFree=16096532/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=2142.29 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 18515194 0 0 0 213264 965 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 5371844 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 2142.29 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 1.95 3/187 30973
/proc/meminfo: memFree=16096888/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=2202.3 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 18857341 0 0 0 219246 984 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 5363644 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/187 30974
/proc/meminfo: memFree=16096472/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=2262.29 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 18876434 0 0 0 225244 985 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 5124132 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 2262.29 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/188 30983
/proc/meminfo: memFree=16097120/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=2322.29 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 18885177 0 0 0 231242 987 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 5048643 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 2322.29 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/188 31006
/proc/meminfo: memFree=16096412/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=2382.3 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 18894837 0 0 0 237241 989 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 5124132 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/188 31007
/proc/meminfo: memFree=16096764/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=2442.3 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 18907204 0 0 0 243239 991 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 5376434 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/188 31008
/proc/meminfo: memFree=16097120/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=2502.29 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 19201998 0 0 0 249224 1005 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 5174692 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 2502.29 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 3/188 31008
/proc/meminfo: memFree=16097404/32770624 swapFree=67108860/67108860
[pid=30517] ppid=30514 vsize=5767848 memory=5743868 CPUtime=2520 cores=1,3,5,7
/proc/30517/stat : 30517 (cosoco) R 30514 30517 30456 0 -1 4202496 19202317 0 0 0 250995 1005 0 0 20 0 1 0 71856288 5906276352 1435967 33554432000 4194304 6142532 140722495992336 140722495989864 5146904 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8243016 8247936 16498688 140722496001158 140722496001288 140722496001288 140722496004046 0
/proc/30517/statm: 1441962 1435967 884 476 0 1435284 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 5767848 KiB
Current children cumulated memory: 5743868 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.13 s]
# the end of solver process 30517 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2509.95 s, system=10.1763 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.11 s]*
/proc/loadavg: 2.00 2.01 1.95 3/188 31008
/proc/meminfo: memFree=21509316/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 1
Real time (s): 2520.13
CPU time (s): 2520.13
CPU user time (s): 2509.95
CPU system time (s): 10.1763
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 5767848
Max. memory (cumulated for all children) (KiB): 5743868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.95
system time used= 10.1763
maximum resident set size= 5743928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19202499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 136
involuntary context switches= 832
# summary of solver processes directly reported to runsolver:
# pid: 30517
# total CPU time (s): 2520.13
# total CPU user time (s): 2509.95
# total CPU system time (s): 10.1763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.71183 second user time and 18.2413 second system time
The end
Begin job on node149 at 2018-07-25 20:22:11 IDJOB=4295212 IDBENCH=141492 IDSOLVER=2752 FILE ID=node149/4295212-1532542931 RUNJOBID= node149-1532542931-30488 PBS_JOBID= 21021951 Free space on /tmp= 43252 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m2-50_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295212-1532542931/watcher-4295212-1532542931 -o /tmp/evaluation-result-4295212-1532542931/solver-4295212-1532542931 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1532542931-30488 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295212-1532542931.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a108db2a0a555905573fa2757742798d RANDOM SEED=1181533727 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: 16214980 kB MemAvailable: 31925744 kB Buffers: 194692 kB Cached: 15548392 kB SwapCached: 0 kB Active: 2349176 kB Inactive: 13449020 kB Active(anon): 4768 kB Inactive(anon): 78360 kB Active(file): 2344408 kB Inactive(file): 13370660 kB Unevictable: 7608 kB Mlocked: 7608 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 13512 kB Writeback: 0 kB AnonPages: 63076 kB Mapped: 40808 kB Shmem: 25224 kB Slab: 452920 kB SReclaimable: 424156 kB SUnreclaim: 28764 kB KernelStack: 3104 kB PageTables: 5560 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 353204 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 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= 43248 MiB End job on node149 at 2018-07-25 21:04:11