0.19/0.26	c best=?? lower=0 upper=121244 
1.99/2.05	c
1.99/2.05	c This is cosoco 1.0 --  
1.99/2.05	c
1.99/2.05	c enable optimization
1.99/2.05	c ========================================[ Problem Statistics ]===========================================
1.99/2.05	c |                                                                                                       
1.99/2.05	c |  Parse time        :         0.25 s 
1.99/2.05	c |
1.99/2.05	c |               Variables: 2352
1.99/2.05	c |            Domain Sizes: 1..101
1.99/2.05	c |
1.99/2.05	c |             Constraints: 2304
1.99/2.05	c |                   Arity: 1..2256  -- Unary: 47  -- Ternary: 2162
1.99/2.05	c | 
1.99/2.05	c |                   Types: 
1.99/2.05	c |                          Exactly K: 94
1.99/2.05	c |                          Intension: 47
1.99/2.05	c |                          Sum: 2163
1.99/2.05	c |                          
1.99/2.05	c =========================================================================================================
1.99/2.05	o 2924
1.99/2.05	c    1 calls to solver: best=2924 lower=0 upper=2923 
2.69/2.74	o 2916
3.19/3.25	o 2854
3.19/3.25	c    3 calls to solver: best=2854 lower=0 upper=2853 
3.69/3.77	o 2814
4.28/4.30	o 2794
4.28/4.30	c    5 calls to solver: best=2794 lower=0 upper=2793 
4.78/4.82	o 2786
2400.04/2400.30	
2400.04/2400.30	c *** INTERRUPTED ***
2400.04/2400.30	s SATISFIABLE
2400.04/2400.30	c Best value found: 2786
2400.04/2400.30	
2400.04/2400.30	
2400.04/2400.30	v <instantiation type='solution' cost='2786'>
2400.04/2400.30	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] 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][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][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][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] 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][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][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][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] 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][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][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][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] 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][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][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][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] 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][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][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][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] 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][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][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][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] 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][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][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][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] 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][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][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][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] 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][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][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][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] 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][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][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][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] 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][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][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][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] 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][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][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][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] 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][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][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][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] 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][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][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][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] 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][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][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][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] 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][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][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][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] 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][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][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][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] 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][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][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][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] 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][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][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][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] 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][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][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][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] </list>
2400.04/2400.30	v <values>* 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 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 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 1 1 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 * 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 

ERROR: no instantiation found

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240901-1500640789/watcher-4240901-1500640789 -o /tmp/evaluation-result-4240901-1500640789/solver-4240901-1500640789 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500635986-8453 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240901-1500640789.xml 

pid=8905
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 8908
/proc/meminfo: memFree=31113008/32770624 swapFree=6272/668768
[pid=8908] ppid=8905 vsize=27124 CPUtime=0 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 969 0 0 0 0 0 0 0 20 0 1 0 17521752 27774976 766 33554432000 4194304 5970956 140733665745200 140733665741848 140373737905125 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 6781 766 684 434 0 145 0

[startup+0.100156 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 8908
/proc/meminfo: memFree=31113008/32770624 swapFree=6272/668768
[pid=8908] ppid=8905 vsize=39856 CPUtime=0.08 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 4189 0 0 0 8 0 0 0 20 0 1 0 17521752 40812544 4025 33554432000 4194304 5970956 140733665745200 140733665739576 140373737905125 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 9964 4025 739 434 0 3328 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 39856

[startup+0.200434 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 8908
/proc/meminfo: memFree=31113008/32770624 swapFree=6272/668768
[pid=8908] ppid=8905 vsize=51536 CPUtime=0.19 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 7165 0 0 0 18 1 0 0 20 0 1 0 17521752 52772864 6999 33554432000 4194304 5970956 140733665745200 140733665739032 140373738848471 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 12884 6999 794 434 0 6248 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 51536

[startup+0.300377 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 8908
/proc/meminfo: memFree=31113008/32770624 swapFree=6272/668768
[pid=8908] ppid=8905 vsize=52208 CPUtime=0.29 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 7384 0 0 0 28 1 0 0 20 0 1 0 17521752 53460992 7198 33554432000 4194304 5970956 140733665745200 140733665732520 5136620 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 13052 7198 819 434 0 6416 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52208

[startup+0.700319 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 8908
/proc/meminfo: memFree=31113008/32770624 swapFree=6272/668768
[pid=8908] ppid=8905 vsize=63288 CPUtime=0.69 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 10160 0 0 0 68 1 0 0 20 0 1 0 17521752 64806912 9970 33554432000 4194304 5970956 140733665745200 140733665741976 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 15822 9970 837 434 0 9186 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63288

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 8909
/proc/meminfo: memFree=31074968/32770624 swapFree=6272/668792
[pid=8908] ppid=8905 vsize=70824 CPUtime=1.49 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 12023 0 0 0 148 1 0 0 20 0 1 0 17521752 72523776 11818 33554432000 4194304 5970956 140733665745200 140733665741976 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 17706 11818 837 434 0 11070 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70824

[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 8909
/proc/meminfo: memFree=31066784/32770624 swapFree=6272/668792
[pid=8908] ppid=8905 vsize=74196 CPUtime=3.09 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 19362 0 0 0 308 1 0 0 20 0 1 0 17521752 75976704 12729 33554432000 4194304 5970956 140733665745200 140733665742760 5047048 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 18549 12729 838 434 0 11913 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 74196

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 8970
/proc/meminfo: memFree=30941256/32770624 swapFree=6272/668836
[pid=8908] ppid=8905 vsize=76776 CPUtime=6.28 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 27454 0 0 0 627 1 0 0 20 0 1 0 17521752 78618624 13343 33554432000 4194304 5970956 140733665745200 140733665741944 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19194 13343 838 434 0 12558 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 76776

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 8970
/proc/meminfo: memFree=30904508/32770624 swapFree=6272/668844
[pid=8908] ppid=8905 vsize=77708 CPUtime=12.69 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 35606 0 0 0 1267 2 0 0 20 0 1 0 17521752 79572992 13601 33554432000 4194304 5970956 140733665745200 140733665741976 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19427 13601 838 434 0 12791 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 77708

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 8977
/proc/meminfo: memFree=30892540/32770624 swapFree=6272/668868
[pid=8908] ppid=8905 vsize=78256 CPUtime=25.48 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 47198 0 0 0 2546 2 0 0 20 0 1 0 17521752 80134144 13734 33554432000 4194304 5970956 140733665745200 140733665741960 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19564 13734 838 434 0 12928 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 78256

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.02 3/192 8978
/proc/meminfo: memFree=30886480/32770624 swapFree=6272/668884
[pid=8908] ppid=8905 vsize=78528 CPUtime=51.08 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 56637 0 0 0 5105 3 0 0 20 0 1 0 17521752 80412672 13808 33554432000 4194304 5970956 140733665745200 140733665742072 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19632 13808 838 434 0 12996 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 78528

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/192 8979
/proc/meminfo: memFree=30882440/32770624 swapFree=6272/668920
[pid=8908] ppid=8905 vsize=78796 CPUtime=102.27 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 59693 0 0 0 10224 3 0 0 20 0 1 0 17521752 80687104 13864 33554432000 4194304 5970956 140733665745200 140733665741976 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19699 13864 838 434 0 13063 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 78796

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/192 8980
/proc/meminfo: memFree=30881900/32770624 swapFree=6272/668936
[pid=8908] ppid=8905 vsize=78796 CPUtime=162.26 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 59843 0 0 0 16223 3 0 0 20 0 1 0 17521752 80687104 13881 33554432000 4194304 5970956 140733665745200 140733665741976 5045500 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19699 13881 838 434 0 13063 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 78796

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.02 3/192 8981
/proc/meminfo: memFree=30878696/32770624 swapFree=6272/668964
[pid=8908] ppid=8905 vsize=78932 CPUtime=222.26 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 59985 0 0 0 22223 3 0 0 20 0 1 0 17521752 80826368 13891 33554432000 4194304 5970956 140733665745200 140733665741944 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19733 13891 838 434 0 13097 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 78932

[startup+282.3 s]
/proc/loadavg: 2.08 2.04 2.03 3/192 8982
/proc/meminfo: memFree=30879164/32770624 swapFree=6272/668988
[pid=8908] ppid=8905 vsize=78932 CPUtime=282.24 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 60110 0 0 0 28221 3 0 0 20 0 1 0 17521752 80826368 13898 33554432000 4194304 5970956 140733665745200 140733665741944 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19733 13898 838 434 0 13097 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 78932

[startup+342.3 s]
/proc/loadavg: 2.03 2.04 2.03 3/192 8984
/proc/meminfo: memFree=30879204/32770624 swapFree=6272/669020
[pid=8908] ppid=8905 vsize=78932 CPUtime=342.24 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 60234 0 0 0 34221 3 0 0 20 0 1 0 17521752 80826368 13898 33554432000 4194304 5970956 140733665745200 140733665741944 5045486 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19733 13898 838 434 0 13097 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 78932

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/192 8985
/proc/meminfo: memFree=30878768/32770624 swapFree=6272/669048
[pid=8908] ppid=8905 vsize=78932 CPUtime=402.23 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 60359 0 0 0 40220 3 0 0 20 0 1 0 17521752 80826368 13898 33554432000 4194304 5970956 140733665745200 140733665741944 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19733 13898 838 434 0 13097 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 78932

[startup+462.3 s]
/proc/loadavg: 2.20 2.07 2.05 3/192 8986
/proc/meminfo: memFree=30878492/32770624 swapFree=6272/669052
[pid=8908] ppid=8905 vsize=78932 CPUtime=462.23 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 60487 0 0 0 46220 3 0 0 20 0 1 0 17521752 80826368 13898 33554432000 4194304 5970956 140733665745200 140733665741944 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19733 13898 838 434 0 13097 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 78932

[startup+522.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/192 8987
/proc/meminfo: memFree=30878988/32770624 swapFree=6272/669080
[pid=8908] ppid=8905 vsize=78932 CPUtime=522.22 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 60621 0 0 0 52219 3 0 0 20 0 1 0 17521752 80826368 13903 33554432000 4194304 5970956 140733665745200 140733665741944 5045304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19733 13903 838 434 0 13097 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 78932

[startup+582.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/192 8988
/proc/meminfo: memFree=30879028/32770624 swapFree=6272/669104
[pid=8908] ppid=8905 vsize=78932 CPUtime=582.22 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 60752 0 0 0 58218 4 0 0 20 0 1 0 17521752 80826368 13910 33554432000 4194304 5970956 140733665745200 140733665741944 5136570 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19733 13910 838 434 0 13097 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 78932


################
# More data... #
################


[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 9046
/proc/meminfo: memFree=30877572/32770624 swapFree=6272/669508
[pid=8908] ppid=8905 vsize=78932 CPUtime=1542.13 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 62492 0 0 0 154209 4 0 0 20 0 1 0 17521752 80826368 13915 33554432000 4194304 5970956 140733665745200 140733665741944 5045304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19733 13915 838 434 0 13097 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 78932

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9047
/proc/meminfo: memFree=30877760/32770624 swapFree=6272/669552
[pid=8908] ppid=8905 vsize=78932 CPUtime=1602.12 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 62619 0 0 0 160208 4 0 0 20 0 1 0 17521752 80826368 13915 33554432000 4194304 5970956 140733665745200 140733665741944 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19733 13915 838 434 0 13097 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 78932

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 9048
/proc/meminfo: memFree=30877744/32770624 swapFree=6272/669572
[pid=8908] ppid=8905 vsize=78932 CPUtime=1662.11 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 62687 0 0 0 166207 4 0 0 20 0 1 0 17521752 80826368 13915 33554432000 4194304 5970956 140733665745200 140733665741944 5045640 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19733 13915 838 434 0 13097 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 78932

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9050
/proc/meminfo: memFree=30877888/32770624 swapFree=6272/669592
[pid=8908] ppid=8905 vsize=78932 CPUtime=1722.11 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 62770 0 0 0 172207 4 0 0 20 0 1 0 17521752 80826368 13918 33554432000 4194304 5970956 140733665745200 140733665741944 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19733 13918 838 434 0 13097 0
Current children cumulated CPU time (s) 1722.11
Current children cumulated vsize (KiB) 78932

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9051
/proc/meminfo: memFree=30877552/32770624 swapFree=6272/669616
[pid=8908] ppid=8905 vsize=78932 CPUtime=1782.1 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 62841 0 0 0 178206 4 0 0 20 0 1 0 17521752 80826368 13918 33554432000 4194304 5970956 140733665745200 140733665741944 5136560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19733 13918 838 434 0 13097 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 78932

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9059
/proc/meminfo: memFree=30877088/32770624 swapFree=6272/669652
[pid=8908] ppid=8905 vsize=79064 CPUtime=1842.09 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 63001 0 0 0 184205 4 0 0 20 0 1 0 17521752 80961536 13918 33554432000 4194304 5970956 140733665745200 140733665742072 5047698 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19766 13918 838 434 0 13130 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 79064

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9060
/proc/meminfo: memFree=30877492/32770624 swapFree=6272/669676
[pid=8908] ppid=8905 vsize=79064 CPUtime=1902.09 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 63091 0 0 0 190205 4 0 0 20 0 1 0 17521752 80961536 13936 33554432000 4194304 5970956 140733665745200 140733665742072 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19766 13936 838 434 0 13130 0
Current children cumulated CPU time (s) 1902.09
Current children cumulated vsize (KiB) 79064

[startup+1962.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/192 9061
/proc/meminfo: memFree=30878148/32770624 swapFree=6272/669696
[pid=8908] ppid=8905 vsize=79064 CPUtime=1962.08 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 63180 0 0 0 196204 4 0 0 20 0 1 0 17521752 80961536 13936 33554432000 4194304 5970956 140733665745200 140733665742072 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19766 13936 838 434 0 13130 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 79064

[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/192 9063
/proc/meminfo: memFree=30877940/32770624 swapFree=6272/669716
[pid=8908] ppid=8905 vsize=79064 CPUtime=2022.07 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 63322 0 0 0 202203 4 0 0 20 0 1 0 17521752 80961536 13936 33554432000 4194304 5970956 140733665745200 140733665742072 5136625 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19766 13936 838 434 0 13130 0
Current children cumulated CPU time (s) 2022.07
Current children cumulated vsize (KiB) 79064

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 9064
/proc/meminfo: memFree=30877840/32770624 swapFree=6272/669744
[pid=8908] ppid=8905 vsize=79064 CPUtime=2082.07 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 63409 0 0 0 208203 4 0 0 20 0 1 0 17521752 80961536 13936 33554432000 4194304 5970956 140733665745200 140733665742072 5045432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19766 13936 838 434 0 13130 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 79064

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9065
/proc/meminfo: memFree=30878084/32770624 swapFree=6272/669764
[pid=8908] ppid=8905 vsize=79064 CPUtime=2142.06 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 63496 0 0 0 214202 4 0 0 20 0 1 0 17521752 80961536 13936 33554432000 4194304 5970956 140733665745200 140733665742072 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19766 13936 838 434 0 13130 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 79064

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9066
/proc/meminfo: memFree=30877616/32770624 swapFree=6272/669796
[pid=8908] ppid=8905 vsize=79064 CPUtime=2202.06 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 63629 0 0 0 220202 4 0 0 20 0 1 0 17521752 80961536 13936 33554432000 4194304 5970956 140733665745200 140733665742072 5031455 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19766 13936 838 434 0 13130 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 79064

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9067
/proc/meminfo: memFree=30878024/32770624 swapFree=6272/669824
[pid=8908] ppid=8905 vsize=79064 CPUtime=2262.05 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 63697 0 0 0 226201 4 0 0 20 0 1 0 17521752 80961536 13936 33554432000 4194304 5970956 140733665745200 140733665742072 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19766 13936 838 434 0 13130 0
Current children cumulated CPU time (s) 2262.05
Current children cumulated vsize (KiB) 79064

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9068
/proc/meminfo: memFree=30877820/32770624 swapFree=6272/669848
[pid=8908] ppid=8905 vsize=79064 CPUtime=2322.04 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 63777 0 0 0 232200 4 0 0 20 0 1 0 17521752 80961536 13936 33554432000 4194304 5970956 140733665745200 140733665742072 5045692 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19766 13936 838 434 0 13130 0
Current children cumulated CPU time (s) 2322.04
Current children cumulated vsize (KiB) 79064

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9069
/proc/meminfo: memFree=30878008/32770624 swapFree=6272/669880
[pid=8908] ppid=8905 vsize=79064 CPUtime=2382.03 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 63859 0 0 0 238199 4 0 0 20 0 1 0 17521752 80961536 13936 33554432000 4194304 5970956 140733665745200 140733665742072 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19766 13936 838 434 0 13130 0
Current children cumulated CPU time (s) 2382.03
Current children cumulated vsize (KiB) 79064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9069
/proc/meminfo: memFree=30878008/32770624 swapFree=6272/669884
[pid=8908] ppid=8905 vsize=79064 CPUtime=2400.04 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 63937 0 0 0 240000 4 0 0 20 0 1 0 17521752 80961536 13936 33554432000 4194304 5970956 140733665745200 140733665742072 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19766 13936 838 434 0 13130 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 79064

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8908 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9069
/proc/meminfo: memFree=30878008/32770624 swapFree=6272/669884
[pid=8908] ppid=8905 vsize=79064 CPUtime=2400.04 cores=0,2,4,6
/proc/8908/stat : 8908 (cosoco) R 8905 8908 5850 0 -1 4202496 63937 0 0 0 240000 4 0 0 20 0 1 0 17521752 80961536 13936 33554432000 4194304 5970956 140733665745200 140733665742072 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 31248384 140733665748161 140733665748291 140733665748291 140733665750990 0
/proc/8908/statm: 19766 13936 838 434 0 13130 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 79064

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.05
CPU user time (s): 2400
CPU system time (s): 0.045995
CPU usage (%): 99.9893
Max. virtual memory (cumulated for all children) (KiB): 79064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.045995
maximum resident set size= 55788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63970
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= 28
involuntary context switches= 120706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.15602 second user time and 9.27144 second system time

The end

Begin job on node135 at 2017-07-21 14:39:49
IDJOB=4240901
IDBENCH=124397
IDSOLVER=2620
FILE ID=node135/4240901-1500640789
RUNJOBID= node135-1500635986-8453
PBS_JOBID= 20622998
Free space on /tmp= 61852 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n48-k7.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240901-1500640789/watcher-4240901-1500640789 -o /tmp/evaluation-result-4240901-1500640789/solver-4240901-1500640789 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500635986-8453 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4240901-1500640789.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f
RANDOM SEED=1815347742

node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/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		: 1600.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		: 1600.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		: 1600.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		: 1600.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		: 1600.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		: 1600.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		: 1600.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:        31112948 kB
MemAvailable:   31994108 kB
Buffers:          160072 kB
Cached:          1005632 kB
SwapCached:            0 kB
Active:           544716 kB
Inactive:         685740 kB
Active(anon):      66892 kB
Inactive(anon):    16972 kB
Active(file):     477824 kB
Inactive(file):   668768 kB
Unevictable:        6272 kB
Mlocked:            6272 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2256 kB
Writeback:             0 kB
AnonPages:         70164 kB
Mapped:            33424 kB
Shmem:             17064 kB
Slab:             125828 kB
SReclaimable:     100804 kB
SUnreclaim:        25024 kB
KernelStack:        3424 kB
PageTables:         5160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     344688 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 61848 MiB
End job on node135 at 2017-07-21 15:19:49