Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 1.12 | SAT (TO) | 649 | 2520.09 | 2520.01 |
Name | LowAutocorrelation/ LowAutocorrelation-050_c18.xml |
MD5SUM | 22f254a3908600e49eb95db263b253c5 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 649 |
Best CPU time to get the best result obtained on this benchmark | 2520.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2549 |
Number of constraints | 1323 |
Number of domains | 99 |
Minimum domain size | 2 |
Maximum domain size | 99 |
Distribution of domain sizes | [{"size":2,"count":1276},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 49 |
Distribution of variable degrees | [{"degree":0,"count":1176},{"degree":2,"count":1323},{"degree":49,"count":50}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 50 |
Distribution of constraint arities | [{"arity":2,"count":50},{"arity":3,"count":1226},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1},{"arity":43,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":1},{"arity":48,"count":1},{"arity":49,"count":1},{"arity":50,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1274 |
Distribution of constraint types | [{"type":"intension","count":1274},{"type":"sum","count":49}] |
Optimization problem | YES |
Type of objective | min SUM |
0.31/0.39 c best=?? lower=0 upper=40425 0.50/0.51 c 0.50/0.51 c This is cosoco 1.12 -- 0.50/0.51 c 0.50/0.51 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299655-1532814650.xml 0.50/0.51 c enable optimization 0.50/0.51 c ========================================[ Problem Statistics ]=========================================== 0.50/0.51 c | 0.50/0.51 c | Parse time : 0.38 s 0.50/0.51 c | 0.50/0.51 c | Variables: 2549 0.50/0.51 c | Domain Sizes: 2..99 0.50/0.51 c | 0.50/0.51 c | Constraints: 1324 0.50/0.51 c | Arity: 2..50 -- Binary: 50 -- Ternary: 1226 0.50/0.51 c | 0.50/0.51 c | Types: 0.50/0.51 c | Intension: 1274 0.50/0.51 c | Sum: 50 0.50/0.51 c | 0.50/0.51 c | Objective: Minimize Sum 0.50/0.51 0.50/0.51 c ========================================================================================================= 0.50/0.51 o 8681 0.50/0.51 c 1 calls to solver: best=8681 lower=0 upper=8680 0.59/0.61 o 7369 0.69/0.71 o 2673 0.69/0.71 c 3 calls to solver: best=2673 lower=0 upper=2672 0.79/0.80 o 2545 0.89/0.91 o 2473 0.89/0.91 c 5 calls to solver: best=2473 lower=0 upper=2472 0.99/1.04 o 1961 1.79/1.85 o 1841 1.79/1.85 c 7 calls to solver: best=1841 lower=0 upper=1840 1.89/1.97 o 1729 2.69/2.74 o 1561 2.69/2.74 c 9 calls to solver: best=1561 lower=0 upper=1560 2.79/2.86 o 1145 7.19/7.27 o 1097 7.19/7.27 c 11 calls to solver: best=1097 lower=0 upper=1096 7.39/7.43 o 1089 7.49/7.54 o 969 7.49/7.54 c 13 calls to solver: best=969 lower=0 upper=968 7.69/7.71 o 937 8.00/8.02 o 841 8.00/8.02 c 15 calls to solver: best=841 lower=0 upper=840 19.59/19.65 o 785 31.10/31.12 o 769 31.10/31.12 c 17 calls to solver: best=769 lower=0 upper=768 33.28/33.34 o 753 34.99/35.04 o 673 34.99/35.04 c 19 calls to solver: best=673 lower=0 upper=672 275.58/275.64 o 649 2520.08/2520.00 2520.08/2520.00 c *** INTERRUPTED *** 2520.08/2520.00 c restarts : 60 2520.08/2520.00 c conflicts : 306536 (122 /sec) 2520.08/2520.00 c decisions : 2236039 (887 /sec) 2520.08/2520.00 c propagations : 388947163 (154341 /sec) 2520.08/2520.00 c root propagations : 6272 2520.08/2520.00 c filter calls : 660099733 (261940 /sec) 2520.08/2520.00 c useless filter calls : 404450374 (61 %) 2520.08/2520.00 c Memory used : 73.00 MB 2520.08/2520.00 c CPU time : 2520.04 s 2520.08/2520.00 2520.08/2520.00 c nb Solutions = 20 2520.08/2520.00 s SATISFIABLE 2520.08/2520.00 c Best value found: 649 2520.08/2520.00 2520.08/2520.00 2520.08/2520.00 v <instantiation type='solution' cost='649'> 2520.08/2520.00 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[4] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[4] s[5] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][3] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][3] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][3] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][3] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][3] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][3] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][3] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][3] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][3] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][3] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][3] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][3] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][3] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][3] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][3] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][3] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][3] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][3] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][3] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][3] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][3] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][3] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][3] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][3] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][3] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][3] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][3] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][3] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][3] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][3] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[37][0] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][1] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][2] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][3] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[38][0] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][1] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][2] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][3] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[39][0] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][1] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][2] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][3] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][3] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[40][0] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][1] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][2] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][3] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[41][0] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][1] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][2] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][3] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][4] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[42][0] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][1] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][2] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][3] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][4] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[43][0] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][1] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][2] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][3] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][4] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][1] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][2] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][3] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][4] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[45][0] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][1] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][2] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][3] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][4] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[46][0] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][1] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][2] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][3] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][4] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[47][0] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][1] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][2] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][3] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][4] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[48][0] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][1] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][2] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][3] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][4] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][3] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][3] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][3] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][3] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][3] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][3] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 2520.08/2520.01 v <values>-5 -3 -6 5 4 -7 0 -1 -4 7 0 0 3 -4 1 4 1 -2 5 -2 -1 2 -5 -1 -6 3 -2 5 2 -3 0 -11 2 -4 -5 2 -1 2 -1 2 -1 2 -1 -1 4 3 -4 -1 0 25 9 36 25 16 49 0 1 16 49 0 0 9 16 1 16 1 4 25 4 1 4 25 1 36 9 4 25 4 9 0 121 4 16 25 4 1 4 1 4 1 4 1 1 16 9 16 1 0 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 * 1 * * * * * * * * * -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 * * 1 * * * * * * * * * -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 * * * 1 * * * * * * * * * 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 * * * * -1 * * * * * * * * * 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 * * * * * -1 * * * * * * * * * -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 * * * * * * 1 * * * * * * * * * -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 * * * * * * * 1 * * * * * * * * * 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 * * * * * * * * -1 * * * * * * * * * -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 * * * * * * * * * 1 * * * * * * * * * 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 * * * * * * * * * * -1 * * * * * * * * * 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 * -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 * 1 * * * * * * * * * * -1 * * * * * * * * * -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 * * 1 * * * * * * * * * * 1 * * * * * * * * * 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * -1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * -1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 * * -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * -1 1 -1 1 -1 1 1 1 1 1 -1 1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * -1 -1 1 -1 1 -1 -1 1 1 1 1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * 1 1 -1 1 -1 -1 1 1 1 -1 * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * -1 -1 1 -1 -1 -1 -1 1 -1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * 1 1 -1 -1 -1 -1 -1 -1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * -1 -1 -1 -1 -1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 * * * -1 1 -1 -1 -1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * 1 -1 -1 -1 1 * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * 1 -1 -1 1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * 1 -1 1 * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * 1 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * -1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 * * * * -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 * * * * * 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 * * * * * * 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 * * * * * * * 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 * * * * * * * * -1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 -1 1 1 * * * * * * * * * -1 1 1 -1 -1 1 </values> 2520.08/2520.01 v </instantiation> 2520.08/2520.01
OK 649
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 (10352 MiB free) memory of node 1: 16384 MiB (15795 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299655-1532814650/watcher-4299655-1532814650 -o /tmp/evaluation-result-4299655-1532814650/solver-4299655-1532814650 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532812129-2126 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299655-1532814650.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=2365, runsolver pid=2362 [startup+0.100155 s]* /proc/loadavg: 2.00 2.01 1.95 3/188 2366 /proc/meminfo: memFree=26762908/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=36404 memory=12648 CPUtime=0.1 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 3350 0 0 0 10 0 0 0 20 0 1 0 99028150 37277696 3162 33554432000 4194304 6142532 140728942730128 140728942726760 140468677203872 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 9101 3162 803 476 0 2423 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 36404 KiB Current children cumulated memory: 12648 KiB [startup+0.209459 s]* /proc/loadavg: 2.00 2.01 1.95 3/188 2366 /proc/meminfo: memFree=26751272/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=47588 memory=23764 CPUtime=0.2 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 6141 0 0 0 20 0 0 0 20 0 1 0 99028150 48730112 5941 33554432000 4194304 6142532 140728942730128 140728942724504 140468677203872 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 11897 5941 803 476 0 5219 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 47588 KiB Current children cumulated memory: 23764 KiB [startup+0.309687 s]* /proc/loadavg: 2.00 2.01 1.95 3/188 2366 /proc/meminfo: memFree=26740640/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=57824 memory=34160 CPUtime=0.31 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 8699 0 0 0 30 1 0 0 20 0 1 0 99028150 59211776 8540 33554432000 4194304 6142532 140728942730128 140728942724504 140468677203872 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 14456 8540 803 476 0 7778 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 57824 KiB Current children cumulated memory: 34160 KiB [startup+0.700366 s] /proc/loadavg: 2.00 2.01 1.95 3/188 2366 /proc/meminfo: memFree=26726876/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=72084 memory=48648 CPUtime=0.69 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 12363 0 0 0 68 1 0 0 20 0 1 0 99028150 73814016 12162 33554432000 4194304 6142532 140728942730128 140728942724504 4990822 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18021 12162 885 476 0 11343 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 72084 KiB Current children cumulated memory: 48648 KiB [startup+1.5003 s] /proc/loadavg: 2.00 2.01 1.95 3/188 2366 /proc/meminfo: memFree=26725388/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=72744 memory=49440 CPUtime=1.49 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 12535 0 0 0 148 1 0 0 20 0 1 0 99028150 74489856 12360 33554432000 4194304 6142532 140728942730128 140728942724504 140468678079568 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18186 12360 885 476 0 11508 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 72744 KiB Current children cumulated memory: 49440 KiB [startup+3.10956 s] /proc/loadavg: 2.00 2.01 1.95 3/188 2366 /proc/meminfo: memFree=26723388/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=73816 memory=50492 CPUtime=3.1 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 20330 0 0 0 308 2 0 0 20 0 1 0 99028150 75587584 12623 33554432000 4194304 6142532 140728942730128 140728942727656 5327103 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18454 12623 885 476 0 11776 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 73816 KiB Current children cumulated memory: 50492 KiB [startup+6.30027 s] /proc/loadavg: 2.00 2.01 1.95 3/188 2366 /proc/meminfo: memFree=26723192/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=73816 memory=50588 CPUtime=6.29 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 27341 0 0 0 627 2 0 0 20 0 1 0 99028150 75587584 12647 33554432000 4194304 6142532 140728942730128 140728942727656 5366682 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18454 12647 885 476 0 11776 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 73816 KiB Current children cumulated memory: 50588 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 1.95 3/188 2366 /proc/meminfo: memFree=26722820/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=74344 memory=51112 CPUtime=12.69 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 35825 0 0 0 1267 2 0 0 20 0 1 0 99028150 76128256 12778 33554432000 4194304 6142532 140728942730128 140728942717400 5133012 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18586 12778 885 476 0 11908 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 74344 KiB Current children cumulated memory: 51112 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 1.95 3/188 2366 /proc/meminfo: memFree=26721392/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=74480 memory=51212 CPUtime=25.49 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 49754 0 0 0 2546 3 0 0 20 0 1 0 99028150 76267520 12803 33554432000 4194304 6142532 140728942730128 140728942727656 140468687100816 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18620 12803 885 476 0 11942 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 74480 KiB Current children cumulated memory: 51212 KiB [startup+51.1095 s] /proc/loadavg: 2.00 2.01 1.95 3/188 2366 /proc/meminfo: memFree=26721940/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=74616 memory=51304 CPUtime=51.08 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 54229 0 0 0 5105 3 0 0 20 0 1 0 99028150 76406784 12826 33554432000 4194304 6142532 140728942730128 140728942717400 5327319 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18654 12826 885 476 0 11976 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 74616 KiB Current children cumulated memory: 51304 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 1.95 3/188 2367 /proc/meminfo: memFree=26722156/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=74616 memory=51308 CPUtime=102.27 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 54681 0 0 0 10224 3 0 0 20 0 1 0 99028150 76406784 12827 33554432000 4194304 6142532 140728942730128 140728942717400 5372465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18654 12827 885 476 0 11976 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 74616 KiB Current children cumulated memory: 51308 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.95 3/188 2381 /proc/meminfo: memFree=26721136/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=74616 memory=51308 CPUtime=162.28 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 55128 0 0 0 16225 3 0 0 20 0 1 0 99028150 76406784 12827 33554432000 4194304 6142532 140728942730128 140728942717400 5372476 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18654 12827 885 476 0 11976 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 74616 KiB Current children cumulated memory: 51308 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 1.95 3/188 2382 /proc/meminfo: memFree=26721560/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=74616 memory=51308 CPUtime=222.28 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 55582 0 0 0 22225 3 0 0 20 0 1 0 99028150 76406784 12827 33554432000 4194304 6142532 140728942730128 140728942717400 5367440 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18654 12827 885 476 0 11976 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 74616 KiB Current children cumulated memory: 51308 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 1.95 3/187 2384 /proc/meminfo: memFree=26721192/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51492 CPUtime=282.28 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 56176 0 0 0 28225 3 0 0 20 0 1 0 99028150 76546048 12873 33554432000 4194304 6142532 140728942730128 140728942727656 5371778 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12873 885 476 0 12010 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51492 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 1.95 3/187 2385 /proc/meminfo: memFree=26721440/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51492 CPUtime=342.28 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 56177 0 0 0 34225 3 0 0 20 0 1 0 99028150 76546048 12873 33554432000 4194304 6142532 140728942730128 140728942727656 140468687100753 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12873 885 476 0 12010 0 Current children cumulated CPU time: 342.28 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51492 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 1.95 3/187 2386 /proc/meminfo: memFree=26721200/32770624 swapFree=67028432/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=402.28 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 56631 0 0 0 40225 3 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 140468678076323 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 402.28 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+462.3 s] /proc/loadavg: 2.05 2.03 1.96 3/186 2388 /proc/meminfo: memFree=26722364/32770624 swapFree=67028436/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=462.29 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 57092 0 0 0 46226 3 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5375766 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 462.29 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB ################ # More data... # ################ /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 1722.34 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 1.96 3/187 2461 /proc/meminfo: memFree=26720400/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=1782.34 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 63812 0 0 0 178230 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5131801 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 1782.34 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 1.96 3/187 2462 /proc/meminfo: memFree=26721264/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=1842.34 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 64258 0 0 0 184230 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5361248 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 1842.34 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.96 3/187 2463 /proc/meminfo: memFree=26721264/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=1902.35 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 64262 0 0 0 190231 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5215658 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 1902.35 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 1.96 3/187 2464 /proc/meminfo: memFree=26721380/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=1962.35 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 64710 0 0 0 196231 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5215611 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 1962.35 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.96 3/187 2465 /proc/meminfo: memFree=26721380/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=2022.35 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 65157 0 0 0 202231 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5376434 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 2022.35 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 1.96 3/187 2467 /proc/meminfo: memFree=26721512/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=2082.35 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 65158 0 0 0 208231 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5363578 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 2082.35 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 1.96 3/187 2468 /proc/meminfo: memFree=26721016/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=2142.35 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 65604 0 0 0 214231 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 4990607 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 2142.35 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 1.96 3/187 2469 /proc/meminfo: memFree=26721512/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=2202.36 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 66053 0 0 0 220232 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5371782 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 2202.36 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 1.96 3/187 2471 /proc/meminfo: memFree=26721140/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=2262.36 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 66053 0 0 0 226232 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5361690 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 2262.36 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 1.96 3/187 2472 /proc/meminfo: memFree=26721000/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=2322.36 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 66501 0 0 0 232232 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 2322.36 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+2382.3 s] /proc/loadavg: 2.54 2.16 2.01 3/188 2481 /proc/meminfo: memFree=26719616/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=2382.36 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 66948 0 0 0 238232 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5335561 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 2382.36 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+2442.3 s] /proc/loadavg: 2.22 2.14 2.01 3/188 2482 /proc/meminfo: memFree=26720048/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=2442.37 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 66950 0 0 0 244233 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5363622 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 2442.37 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB [startup+2502.3 s] /proc/loadavg: 2.63 2.27 2.07 3/188 2483 /proc/meminfo: memFree=26720296/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=2502.37 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 67395 0 0 0 250233 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5130640 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 2502.37 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.45 2.25 2.06 2/186 2483 /proc/meminfo: memFree=26725172/32770624 swapFree=67028440/67108860 [pid=2365] ppid=2362 vsize=74752 memory=51500 CPUtime=2520.08 cores=1,3,5,7 /proc/2365/stat : 2365 (cosoco) R 2362 2365 2093 0 -1 4202496 67837 0 0 0 252004 4 0 0 20 0 1 0 99028150 76546048 12875 33554432000 4194304 6142532 140728942730128 140728942727656 5361433 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 25927680 140728942732422 140728942732552 140728942732552 140728942735310 0 /proc/2365/statm: 18688 12875 885 476 0 12010 0 Current children cumulated CPU time: 2520.08 s Current children cumulated vsize: 74752 KiB Current children cumulated memory: 51500 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 2365 was just reported to runsolver # cumulated CPU time of all completed processes: user=2520.04 s, system=0.046001 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2520.09 CPU user time (s): 2520.04 CPU system time (s): 0.046001 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 74752 Max. memory (cumulated for all children) (KiB): 51500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2520.04 system time used= 0.046001 maximum resident set size= 51564 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67886 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= 27 involuntary context switches= 644 # summary of solver processes directly reported to runsolver: # pid: 2365 # total CPU time (s): 2520.09 # total CPU user time (s): 2520.04 # total CPU system time (s): 0.046001 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.14947 second user time and 17.0412 second system time The end
Begin job on node102 at 2018-07-28 23:50:50 IDJOB=4299655 IDBENCH=141427 IDSOLVER=2761 FILE ID=node102/4299655-1532814650 RUNJOBID= node102-1532812129-2126 PBS_JOBID= 21022490 Free space on /tmp= 52744 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-050_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299655-1532814650/watcher-4299655-1532814650 -o /tmp/evaluation-result-4299655-1532814650/solver-4299655-1532814650 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532812129-2126 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299655-1532814650.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 22f254a3908600e49eb95db263b253c5 RANDOM SEED=1578016504 node102.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.51 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.51 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.51 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.51 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: 26776888 kB MemAvailable: 31934796 kB Buffers: 218308 kB Cached: 5194972 kB SwapCached: 53368 kB Active: 1216928 kB Inactive: 4276788 kB Active(anon): 6312 kB Inactive(anon): 99132 kB Active(file): 1210616 kB Inactive(file): 4177656 kB Unevictable: 6628 kB Mlocked: 6628 kB SwapTotal: 67108860 kB SwapFree: 67028432 kB Dirty: 5476 kB Writeback: 0 kB AnonPages: 34632 kB Mapped: 37252 kB Shmem: 22208 kB Slab: 198756 kB SReclaimable: 170940 kB SUnreclaim: 27816 kB KernelStack: 3312 kB PageTables: 4876 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 351376 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 52740 MiB End job on node102 at 2018-07-29 00:32:50