Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco-sat 1.12 | SAT (TO) | 3270 | 2519.9099 | 2520.01 |
Name | Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml |
MD5SUM | 205feda53d99710fee13d320d9c474df |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 1663 |
Best CPU time to get the best result obtained on this benchmark | 2400.09 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 3306 |
Number of constraints | 3248 |
Number of domains | 3 |
Minimum domain size | 1 |
Maximum domain size | 101 |
Distribution of domain sizes | [{"size":1,"count":57},{"size":2,"count":3192},{"size":101,"count":56}] |
Minimum variable degree | 0 |
Maximum variable degree | 111 |
Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":57},{"degree":2,"count":112},{"degree":4,"count":3080},{"degree":111,"count":56}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 56 |
Distribution of constraint arities | [{"arity":1,"count":56},{"arity":3,"count":3080},{"arity":56,"count":112}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 56 |
Distribution of constraint types | [{"type":"intension","count":56},{"type":"sum","count":3080},{"type":"count","count":112}] |
Optimization problem | YES |
Type of objective | min SUM |
0.31/0.33 c SAT : Variables: 12098 -- Clauses: 289240 0.31/0.34 c best=?? lower=-145908 upper=0 5.10/5.14 c 5.10/5.14 c This is cosoco 1.12 -- 5.10/5.14 c 5.10/5.14 c command line: cosoco -lc -model -restarts -sat HOME/instance-4265968-1502574377.xml 5.10/5.14 c enable optimization 5.10/5.14 c ========================================[ Problem Statistics ]=========================================== 5.10/5.14 c | 5.10/5.14 c | Parse time : 0.31 s 5.10/5.14 c | 5.10/5.14 c | Variables: 3306 5.10/5.14 c | Domain Sizes: 1..101 5.10/5.14 c | 5.10/5.14 c | Constraints: 3249 5.10/5.14 c | Arity: 1..3188 -- Unary: 56 -- Ternary: 3080 5.10/5.14 c | 5.10/5.14 c | Types: 5.10/5.14 c | Exactly K: 112 5.10/5.14 c | Intension: 56 5.10/5.14 c | Sum: 3081 5.10/5.14 c | 5.10/5.14 c ========================================================================================================= 5.10/5.14 o -3809 5.10/5.14 c 1 calls to solver: best=-3809 lower=-3808 upper=0 6.89/6.90 o -3471 10.10/10.14 o -3270 10.10/10.14 c 3 calls to solver: best=-3270 lower=-3269 upper=0 2519.90/2520.00 2519.90/2520.00 c *** INTERRUPTED *** 2519.90/2520.00 c restarts : 549 2519.90/2520.00 c conflicts : 120073 (48 /sec) 2519.90/2520.00 c decisions : 8879257 (3524 /sec) 2519.90/2520.00 c propagations : 276862042 (109875 /sec) 2519.90/2520.00 c root propagations : 803 2519.90/2520.00 c filter calls : 103051300 (40897 /sec) 2519.90/2520.00 c useless filter calls : 97911636 (95 %) 2519.90/2520.00 c 2519.90/2520.00 c clauses : 290575 2519.90/2520.00 c SAT propagations : 19 2519.90/2520.00 c SAT conflicts : 0 (0 learnts) 2519.90/2520.00 c Memory used : 153.79 MB 2519.90/2520.00 c CPU time : 2519.79 s 2519.90/2520.00 2519.90/2520.00 c nb Solutions = 3 2519.90/2520.00 s SATISFIABLE 2519.90/2520.00 c Best value found: -3270 2519.90/2520.00 2519.90/2520.00 2519.90/2520.00 v <instantiation type='solution' cost='-3270'> 2519.90/2520.00 v <list>u[0] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[1] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[2] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[3] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] u[4] u[50] u[51] u[52] u[53] u[54] u[55] u[56] u[5] u[6] u[7] u[8] u[9] 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][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] 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][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] 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][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] 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][50] x[12][51] x[12][52] x[12][53] x[12][54] x[12][55] x[12][56] 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][50] x[13][51] x[13][52] x[13][53] x[13][54] x[13][55] x[13][56] 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][50] x[14][51] x[14][52] x[14][53] x[14][54] x[14][55] x[14][56] 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][50] x[15][51] x[15][52] x[15][53] x[15][54] x[15][55] x[15][56] 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][50] x[16][51] x[16][52] x[16][53] x[16][54] x[16][55] x[16][56] 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][50] x[17][51] x[17][52] x[17][53] x[17][54] x[17][55] x[17][56] 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][50] x[18][51] x[18][52] x[18][53] x[18][54] x[18][55] x[18][56] 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][50] x[19][51] x[19][52] x[19][53] x[19][54] x[19][55] x[19][56] 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][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] 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][50] x[20][51] x[20][52] x[20][53] x[20][54] x[20][55] x[20][56] 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][50] x[21][51] x[21][52] x[21][53] x[21][54] x[21][55] x[21][56] 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][50] x[22][51] x[22][52] x[22][53] x[22][54] x[22][55] x[22][56] 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][50] x[23][51] x[23][52] x[23][53] x[23][54] x[23][55] x[23][56] 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][50] x[24][51] x[24][52] x[24][53] x[24][54] x[24][55] x[24][56] 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][50] x[25][51] x[25][52] x[25][53] x[25][54] x[25][55] x[25][56] 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][50] x[26][51] x[26][52] x[26][53] x[26][54] x[26][55] x[26][56] 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][50] x[27][51] x[27][52] x[27][53] x[27][54] x[27][55] x[27][56] 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][50] x[28][51] x[28][52] x[28][53] x[28][54] x[28][55] x[28][56] 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][50] x[29][51] x[29][52] x[29][53] x[29][54] x[29][55] x[29][56] 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][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] 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][50] x[30][51] x[30][52] x[30][53] x[30][54] x[30][55] x[30][56] 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][50] x[31][51] x[31][52] x[31][53] x[31][54] x[31][55] x[31][56] 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][50] x[32][51] x[32][52] x[32][53] x[32][54] x[32][55] x[32][56] 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][50] x[33][51] x[33][52] x[33][53] x[33][54] x[33][55] x[33][56] 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][50] x[34][51] x[34][52] x[34][53] x[34][54] x[34][55] x[34][56] 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][50] x[35][51] x[35][52] x[35][53] x[35][54] x[35][55] x[35][56] 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][50] x[36][51] x[36][52] x[36][53] x[36][54] x[36][55] x[36][56] 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][50] x[37][51] x[37][52] x[37][53] x[37][54] x[37][55] x[37][56] 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][50] x[38][51] x[38][52] x[38][53] x[38][54] x[38][55] x[38][56] 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][50] x[39][51] x[39][52] x[39][53] x[39][54] x[39][55] x[39][56] 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][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] 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][50] x[40][51] x[40][52] x[40][53] x[40][54] x[40][55] x[40][56] 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][50] x[41][51] x[41][52] x[41][53] x[41][54] x[41][55] x[41][56] 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][50] x[42][51] x[42][52] x[42][53] x[42][54] x[42][55] x[42][56] 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][50] x[43][51] x[43][52] x[43][53] x[43][54] x[43][55] x[43][56] 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][50] x[44][51] x[44][52] x[44][53] x[44][54] x[44][55] x[44][56] 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][50] x[45][51] x[45][52] x[45][53] x[45][54] x[45][55] x[45][56] 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][50] x[46][51] x[46][52] x[46][53] x[46][54] x[46][55] x[46][56] 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][50] x[47][51] x[47][52] x[47][53] x[47][54] x[47][55] x[47][56] 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][50] x[48][51] x[48][52] x[48][53] x[48][54] x[48][55] x[48][56] 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][50] x[49][51] x[49][52] x[49][53] x[49][54] x[49][55] x[49][56] 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][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[50][0] x[50][10] x[50][11] x[50][12] x[50][13] x[50][14] x[50][15] x[50][16] x[50][17] x[50][18] x[50][19] x[50][1] x[50][20] x[50][21] x[50][22] x[50][23] x[50][24] x[50][25] x[50][26] x[50][27] x[50][28] x[50][29] x[50][2] x[50][30] x[50][31] x[50][32] x[50][33] x[50][34] x[50][35] x[50][36] x[50][37] x[50][38] x[50][39] x[50][3] x[50][40] x[50][41] x[50][42] x[50][43] x[50][44] x[50][45] x[50][46] x[50][47] x[50][48] x[50][49] x[50][4] x[50][50] x[50][51] x[50][52] x[50][53] x[50][54] x[50][55] x[50][56] x[50][5] x[50][6] x[50][7] x[50][8] x[50][9] x[51][0] x[51][10] x[51][11] x[51][12] x[51][13] x[51][14] x[51][15] x[51][16] x[51][17] x[51][18] x[51][19] x[51][1] x[51][20] x[51][21] x[51][22] x[51][23] x[51][24] x[51][25] x[51][26] x[51][27] x[51][28] x[51][29] x[51][2] x[51][30] x[51][31] x[51][32] x[51][33] x[51][34] x[51][35] x[51][36] x[51][37] x[51][38] x[51][39] x[51][3] x[51][40] x[51][41] x[51][42] x[51][43] x[51][44] x[51][45] x[51][46] x[51][47] x[51][48] x[51][49] x[51][4] x[51][50] x[51][51] x[51][52] x[51][53] x[51][54] x[51][55] x[51][56] x[51][5] x[51][6] x[51][7] x[51][8] x[51][9] x[52][0] x[52][10] x[52][11] x[52][12] x[52][13] x[52][14] x[52][15] x[52][16] x[52][17] x[52][18] x[52][19] x[52][1] x[52][20] x[52][21] x[52][22] x[52][23] x[52][24] x[52][25] x[52][26] x[52][27] x[52][28] x[52][29] x[52][2] x[52][30] x[52][31] x[52][32] x[52][33] x[52][34] x[52][35] x[52][36] x[52][37] x[52][38] x[52][39] x[52][3] x[52][40] x[52][41] x[52][42] x[52][43] x[52][44] x[52][45] x[52][46] x[52][47] x[52][48] x[52][49] x[52][4] x[52][50] x[52][51] x[52][52] x[52][53] x[52][54] x[52][55] x[52][56] x[52][5] x[52][6] x[52][7] x[52][8] x[52][9] x[53][0] x[53][10] x[53][11] x[53][12] x[53][13] x[53][14] x[53][15] x[53][16] x[53][17] x[53][18] x[53][19] x[53][1] x[53][20] x[53][21] x[53][22] x[53][23] x[53][24] x[53][25] x[53][26] x[53][27] x[53][28] x[53][29] x[53][2] x[53][30] x[53][31] x[53][32] x[53][33] x[53][34] x[53][35] x[53][36] x[53][37] x[53][38] x[53][39] x[53][3] x[53][40] x[53][41] x[53][42] x[53][43] x[53][44] x[53][45] x[53][46] x[53][47] x[53][48] x[53][49] x[53][4] x[53][50] x[53][51] x[53][52] x[53][53] x[53][54] x[53][55] x[53][56] x[53][5] x[53][6] x[53][7] x[53][8] x[53][9] x[54][0] x[54][10] x[54][11] x[54][12] x[54][13] x[54][14] x[54][15] x[54][16] x[54][17] x[54][18] x[54][19] x[54][1] x[54][20] x[54][21] x[54][22] x[54][23] x[54][24] x[54][25] x[54][26] x[54][27] x[54][28] x[54][29] x[54][2] x[54][30] x[54][31] x[54][32] x[54][33] x[54][34] x[54][35] x[54][36] x[54][37] x[54][38] x[54][39] x[54][3] x[54][40] x[54][41] x[54][42] x[54][43] x[54][44] x[54][45] x[54][46] x[54][47] x[54][48] x[54][49] x[54][4] x[54][50] x[54][51] x[54][52] x[54][53] x[54][54] x[54][55] x[54][56] x[54][5] x[54][6] x[54][7] x[54][8] x[54][9] x[55][0] x[55][10] x[55][11] x[55][12] x[55][13] x[55][14] x[55][15] x[55][16] x[55][17] x[55][18] x[55][19] x[55][1] x[55][20] x[55][21] x[55][22] x[55][23] x[55][24] x[55][25] x[55][26] x[55][27] x[55][28] x[55][29] x[55][2] x[55][30] x[55][31] x[55][32] x[55][33] x[55][34] x[55][35] x[55][36] x[55][37] x[55][38] x[55][39] x[55][3] x[55][40] x[55][41] x[55][42] x[55][43] x[55][44] x[55][45] x[55][46] x[55][47] x[55][48] x[55][49] x[55][4] x[55][50] x[55][51] x[55][52] x[55][53] x[55][54] x[55][55] x[55][56] x[55][5] x[55][6] x[55][7] x[55][8] x[55][9] x[56][0] x[56][10] x[56][11] x[56][12] x[56][13] x[56][14] x[56][15] x[56][16] x[56][17] x[56][18] x[56][19] x[56][1] x[56][20] x[56][21] x[56][22] x[56][23] x[56][24] x[56][25] x[56][26] x[56][27] x[56][28] x[56][29] x[56][2] x[56][30] x[56][31] x[56][32] x[56][33] x[56][34] x[56][35] x[56][36] x[56][37] x[56][38] x[56][39] x[56][3] x[56][40] x[56][41] x[56][42] x[56][43] x[56][44] x[56][45] x[56][46] x[56][47] x[56][48] x[56][49] x[56][4] x[56][50] x[56][51] x[56][52] x[56][53] x[56][54] x[56][55] x[56][56] x[56][5] x[56][6] x[56][7] x[56][8] x[56][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][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] 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][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] 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][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] 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][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] 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][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list> 2519.90/2520.00 v <values>* 92 78 75 10 8 52 34 52 5 34 69 100 80 44 95 23 74 32 86 16 23 54 74 13 93 54 79 61 81 19 18 32 48 43 98 2 77 51 72 61 40 38 14 90 7 78 54 13 64 25 70 32 37 46 12 82 * 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 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 0 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 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 * 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 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 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 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 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 * 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 2519.90/2520.01 v </instantiation> 2519.90/2520.01
OK 3270
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 (14196 MiB free) memory of node 1: 16384 MiB (13902 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4265968-1502574377/watcher-4265968-1502574377 -o /tmp/evaluation-result-4265968-1502574377/solver-4265968-1502574377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502567255-24379 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265968-1502574377.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=25319, runsolver pid=25316 [startup+0.100163 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 25320 /proc/meminfo: memFree=28744424/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=59072 memory=35320 CPUtime=0.1 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 9016 0 0 0 9 1 0 0 20 0 1 0 90525550 60489728 8830 33554432000 4194304 5972588 140734832778128 140734832774776 140521970543589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 14768 8830 745 435 0 8131 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 59072 KiB Current children cumulated memory: 35320 KiB [startup+0.209616 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 25320 /proc/meminfo: memFree=28726188/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=74296 memory=50720 CPUtime=0.21 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 12879 0 0 0 19 2 0 0 20 0 1 0 90525550 76079104 12680 33554432000 4194304 5972588 140734832778128 140734832771528 5634854 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 18574 12680 798 435 0 11937 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 74296 KiB Current children cumulated memory: 50720 KiB [startup+0.309609 s]* /proc/loadavg: 2.00 2.01 2.05 3/188 25320 /proc/meminfo: memFree=28725692/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=80776 memory=53212 CPUtime=0.31 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 13498 0 0 0 29 2 0 0 20 0 1 0 90525550 82714624 13303 33554432000 4194304 5972588 140734832778128 140734832771528 5280335 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 20194 13303 827 435 0 13557 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 80776 KiB Current children cumulated memory: 53212 KiB [startup+0.700303 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25320 /proc/meminfo: memFree=28711244/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=95864 memory=69364 CPUtime=0.69 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 17020 0 0 0 67 2 0 0 20 0 1 0 90525550 98164736 17341 33554432000 4194304 5972588 140734832778128 140734832775048 5093063 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 23966 17341 844 435 0 17329 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 95864 KiB Current children cumulated memory: 69364 KiB [startup+1.50034 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25320 /proc/meminfo: memFree=28691156/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=117744 memory=91012 CPUtime=1.49 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 22445 0 0 0 146 3 0 0 20 0 1 0 90525550 120569856 22753 33554432000 4194304 5972588 140734832778128 140734832775048 5046284 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 29436 22753 844 435 0 22799 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 117744 KiB Current children cumulated memory: 91012 KiB [startup+3.10931 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25320 /proc/meminfo: memFree=28671688/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=132880 memory=105724 CPUtime=3.1 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 37406 0 0 0 306 4 0 0 20 0 1 0 90525550 136069120 26431 33554432000 4194304 5972588 140734832778128 140734832775048 5093063 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 33220 26431 844 435 0 26583 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 132880 KiB Current children cumulated memory: 105724 KiB [startup+6.30027 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25320 /proc/meminfo: memFree=28666404/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=137412 memory=110400 CPUtime=6.29 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 51533 0 0 0 624 5 0 0 20 0 1 0 90525550 140709888 27600 33554432000 4194304 5972588 140734832778128 140734832774792 5046284 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 34353 27600 845 435 0 27716 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 137412 KiB Current children cumulated memory: 110400 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25320 /proc/meminfo: memFree=28663784/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=139776 memory=112816 CPUtime=12.69 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 65316 0 0 0 1263 6 0 0 20 0 1 0 90525550 143130624 28204 33554432000 4194304 5972588 140734832778128 140734832765320 5139490 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 34944 28204 845 435 0 28307 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 139776 KiB Current children cumulated memory: 112816 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25320 /proc/meminfo: memFree=28655928/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=143964 memory=118992 CPUtime=25.49 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 90214 0 0 0 2543 6 0 0 20 0 1 0 90525550 147419136 29748 33554432000 4194304 5972588 140734832778128 140734832775352 5139329 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 35991 29748 845 435 0 29354 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 143964 KiB Current children cumulated memory: 118992 KiB [startup+51.1092 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25320 /proc/meminfo: memFree=28654516/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=144820 memory=120004 CPUtime=51.1 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 104192 0 0 0 5102 8 0 0 20 0 1 0 90525550 148295680 30001 33554432000 4194304 5972588 140734832778128 140734832775352 5046287 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 36205 30001 845 435 0 29568 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 144820 KiB Current children cumulated memory: 120004 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25321 /proc/meminfo: memFree=28653436/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=145012 memory=120144 CPUtime=102.28 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 115902 0 0 0 10219 9 0 0 20 0 1 0 90525550 148492288 30036 33554432000 4194304 5972588 140734832778128 140734832775352 5046712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 36253 30036 845 435 0 29616 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 145012 KiB Current children cumulated memory: 120144 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.01 2.05 3/188 25322 /proc/meminfo: memFree=28645716/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=149712 memory=123644 CPUtime=162.27 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 127152 0 0 0 16218 9 0 0 20 0 1 0 90525550 153305088 30911 33554432000 4194304 5972588 140734832778128 140734832775288 5139312 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 37428 30911 845 435 0 30791 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 149712 KiB Current children cumulated memory: 123644 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25323 /proc/meminfo: memFree=28645292/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=149712 memory=124740 CPUtime=222.27 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 130241 0 0 0 22217 10 0 0 20 0 1 0 90525550 153305088 31185 33554432000 4194304 5972588 140734832778128 140734832774760 5046309 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 37428 31185 845 435 0 30791 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 149712 KiB Current children cumulated memory: 124740 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25324 /proc/meminfo: memFree=28644668/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=149712 memory=125292 CPUtime=282.27 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 130918 0 0 0 28217 10 0 0 20 0 1 0 90525550 153305088 31323 33554432000 4194304 5972588 140734832778128 140734832774760 5046280 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 37428 31323 845 435 0 30791 0 Current children cumulated CPU time: 282.27 s Current children cumulated vsize: 149712 KiB Current children cumulated memory: 125292 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25325 /proc/meminfo: memFree=28642304/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=156892 memory=126608 CPUtime=342.26 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 131863 0 0 0 34216 10 0 0 20 0 1 0 90525550 160657408 31652 33554432000 4194304 5972588 140734832778128 140734832775288 5048483 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39223 31652 845 435 0 32586 0 Current children cumulated CPU time: 342.26 s Current children cumulated vsize: 156892 KiB Current children cumulated memory: 126608 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25326 /proc/meminfo: memFree=28636228/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=156892 memory=129112 CPUtime=402.26 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 132960 0 0 0 40216 10 0 0 20 0 1 0 90525550 160657408 32278 33554432000 4194304 5972588 140734832778128 140734832775288 5139329 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39223 32278 845 435 0 32586 0 Current children cumulated CPU time: 402.26 s Current children cumulated vsize: 156892 KiB Current children cumulated memory: 129112 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/187 25327 /proc/meminfo: memFree=28633440/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=156892 memory=131160 CPUtime=462.26 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 134205 0 0 0 46216 10 0 0 20 0 1 0 90525550 160657408 32790 33554432000 4194304 5972588 140734832778128 140734832775288 5046712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39223 32790 845 435 0 32586 0 Current children cumulated CPU time: 462.26 s Current children cumulated vsize: 156892 KiB Current children cumulated memory: 131160 KiB ################ # More data... # ################ /proc/25319/statm: 39368 33225 845 435 0 32731 0 Current children cumulated CPU time: 1722.22 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 132900 KiB [startup+1782.3 s] /proc/loadavg: 2.23 2.13 2.08 3/189 25413 /proc/meminfo: memFree=28626104/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=132964 CPUtime=1782.22 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 145189 0 0 0 178211 11 0 0 20 0 1 0 90525550 161251328 33241 33554432000 4194304 5972588 140734832778128 140734832775352 5048042 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33241 845 435 0 32731 0 Current children cumulated CPU time: 1782.22 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 132964 KiB [startup+1842.3 s] /proc/loadavg: 2.08 2.10 2.08 3/189 25414 /proc/meminfo: memFree=28626376/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=132964 CPUtime=1842.21 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 145463 0 0 0 184210 11 0 0 20 0 1 0 90525550 161251328 33241 33554432000 4194304 5972588 140734832778128 140734832775352 5032464 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33241 845 435 0 32731 0 Current children cumulated CPU time: 1842.21 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 132964 KiB [startup+1902.3 s] /proc/loadavg: 2.03 2.09 2.07 3/189 25415 /proc/meminfo: memFree=28626288/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=132992 CPUtime=1902.21 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 145991 0 0 0 190210 11 0 0 20 0 1 0 90525550 161251328 33248 33554432000 4194304 5972588 140734832778128 140734832775352 5048674 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33248 845 435 0 32731 0 Current children cumulated CPU time: 1902.21 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 132992 KiB [startup+1962.3 s] /proc/loadavg: 2.01 2.07 2.07 3/189 25416 /proc/meminfo: memFree=28626496/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=132992 CPUtime=1962.21 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 146278 0 0 0 196210 11 0 0 20 0 1 0 90525550 161251328 33248 33554432000 4194304 5972588 140734832778128 140734832775352 5139312 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33248 845 435 0 32731 0 Current children cumulated CPU time: 1962.21 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 132992 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.06 2.06 4/189 25539 /proc/meminfo: memFree=16969988/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=133072 CPUtime=2022.21 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 146802 0 0 0 202210 11 0 0 20 0 1 0 90525550 161251328 33268 33554432000 4194304 5972588 140734832778128 140734832775352 5046712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33268 845 435 0 32731 0 Current children cumulated CPU time: 2022.21 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 133072 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.05 2.06 4/187 25540 /proc/meminfo: memFree=13821916/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=133072 CPUtime=2082.2 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 147089 0 0 0 208209 11 0 0 20 0 1 0 90525550 161251328 33268 33554432000 4194304 5972588 140734832778128 140734832775352 5046712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33268 845 435 0 32731 0 Current children cumulated CPU time: 2082.2 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 133072 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.04 2.05 4/187 25541 /proc/meminfo: memFree=13822080/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=133072 CPUtime=2142.2 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 147371 0 0 0 214209 11 0 0 20 0 1 0 90525550 161251328 33268 33554432000 4194304 5972588 140734832778128 140734832775352 5139312 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33268 845 435 0 32731 0 Current children cumulated CPU time: 2142.2 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 133072 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.03 2.05 4/187 25543 /proc/meminfo: memFree=13822908/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=133072 CPUtime=2202.2 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 147659 0 0 0 220209 11 0 0 20 0 1 0 90525550 161251328 33268 33554432000 4194304 5972588 140734832778128 140734832775352 5046284 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33268 845 435 0 32731 0 Current children cumulated CPU time: 2202.2 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 133072 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.03 2.05 4/187 25544 /proc/meminfo: memFree=13823100/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=133076 CPUtime=2262.2 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 147956 0 0 0 226209 11 0 0 20 0 1 0 90525550 161251328 33269 33554432000 4194304 5972588 140734832778128 140734832775352 5139274 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33269 845 435 0 32731 0 Current children cumulated CPU time: 2262.2 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 133076 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.02 2.05 4/188 25554 /proc/meminfo: memFree=13821984/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=133148 CPUtime=2322.2 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 148433 0 0 0 232209 11 0 0 20 0 1 0 90525550 161251328 33287 33554432000 4194304 5972588 140734832778128 140734832775352 5139312 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33287 845 435 0 32731 0 Current children cumulated CPU time: 2322.2 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 133148 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.02 2.05 4/188 25555 /proc/meminfo: memFree=13822320/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=133148 CPUtime=2382.19 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 148778 0 0 0 238208 11 0 0 20 0 1 0 90525550 161251328 33287 33554432000 4194304 5972588 140734832778128 140734832775352 5048024 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33287 845 435 0 32731 0 Current children cumulated CPU time: 2382.19 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 133148 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 4/188 25556 /proc/meminfo: memFree=13822444/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=133148 CPUtime=2442.19 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 149114 0 0 0 244208 11 0 0 20 0 1 0 90525550 161251328 33287 33554432000 4194304 5972588 140734832778128 140734832775352 5046280 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33287 845 435 0 32731 0 Current children cumulated CPU time: 2442.19 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 133148 KiB [startup+2502.3 s] /proc/loadavg: 3.06 2.31 2.14 4/188 25557 /proc/meminfo: memFree=13822116/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=133188 CPUtime=2502.19 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 149690 0 0 0 250208 11 0 0 20 0 1 0 90525550 161251328 33297 33554432000 4194304 5972588 140734832778128 140734832775352 5094206 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33297 845 435 0 32731 0 Current children cumulated CPU time: 2502.19 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 133188 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.83 2.29 2.14 4/188 25557 /proc/meminfo: memFree=13822352/32770624 swapFree=67108860/67108860 [pid=25319] ppid=25316 vsize=157472 memory=133188 CPUtime=2519.9 cores=0,2,4,6 /proc/25319/stat : 25319 (cosoco) R 25316 25319 24296 0 -1 4202496 149965 0 0 0 251979 11 0 0 20 0 1 0 90525550 161251328 33297 33554432000 4194304 5972588 140734832778128 140734832775352 5048674 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 30998528 140734832784570 140734832784670 140734832784670 140734832787406 0 /proc/25319/statm: 39368 33297 845 435 0 32731 0 Current children cumulated CPU time: 2519.9 s Current children cumulated vsize: 157472 KiB Current children cumulated memory: 133188 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 25319 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.79 s, system=0.117995 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): 2519.91 CPU user time (s): 2519.79 CPU system time (s): 0.117995 CPU usage (%): 99.9961 Max. virtual memory (cumulated for all children) (KiB): 157472 Max. memory (cumulated for all children) (KiB): 133188 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.79 system time used= 0.117995 maximum resident set size= 133256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 150015 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= 32 involuntary context switches= 832 # summary of solver processes directly reported to runsolver: # pid: 25319 # total CPU time (s): 2519.91 # total CPU user time (s): 2519.79 # total CPU system time (s): 0.117995 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.99818 second user time and 16.1365 second system time The end
Begin job on node106 at 2017-08-12 23:31:59 IDJOB=4265968 IDBENCH=124460 IDSOLVER=2655 FILE ID=node106/4265968-1502574377 RUNJOBID= node106-1502567255-24379 PBS_JOBID= 20628285 Free space on /tmp= 61772 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n57-k9.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4265968-1502574377/watcher-4265968-1502574377 -o /tmp/evaluation-result-4265968-1502574377/solver-4265968-1502574377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1502567255-24379 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4265968-1502574377.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 205feda53d99710fee13d320d9c474df RANDOM SEED=1351367025 node106.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.86 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.86 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.86 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.86 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: 28774272 kB MemAvailable: 31783120 kB Buffers: 129380 kB Cached: 3174088 kB SwapCached: 0 kB Active: 577064 kB Inactive: 2994820 kB Active(anon): 271304 kB Inactive(anon): 25060 kB Active(file): 305760 kB Inactive(file): 2969760 kB Unevictable: 6500 kB Mlocked: 6500 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2060 kB Writeback: 0 kB AnonPages: 274464 kB Mapped: 44412 kB Shmem: 25228 kB Slab: 123368 kB SReclaimable: 98324 kB SUnreclaim: 25044 kB KernelStack: 3344 kB PageTables: 5068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 571844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 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= 61708 MiB End job on node106 at 2017-08-13 00:13:59