2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: cosoco-sat 1.1	No Cert.		2400.07	2400.21

0.19/0.29	c SAT : Variables: 9308 -- Clauses: 241909
0.19/0.29	c best=?? lower=0 upper=121244 
1.69/1.78	c
1.69/1.78	c This is cosoco 1.0 --  
1.69/1.78	c
1.69/1.78	c enable optimization
1.69/1.78	c ========================================[ Problem Statistics ]===========================================
1.69/1.78	c |                                                                                                       
1.69/1.78	c |  Parse time        :         0.27 s 
1.69/1.78	c |
1.69/1.78	c |               Variables: 2352
1.69/1.78	c |            Domain Sizes: 1..101
1.69/1.78	c |
1.69/1.78	c |             Constraints: 2304
1.69/1.78	c |                   Arity: 1..2256  -- Unary: 47  -- Ternary: 2162
1.69/1.78	c | 
1.69/1.78	c |                   Types: 
1.69/1.78	c |                          Exactly K: 94
1.69/1.78	c |                          Intension: 47
1.69/1.78	c |                          Sum: 2163
1.69/1.78	c |                          
1.69/1.78	c =========================================================================================================
1.69/1.78	o 2962
1.69/1.78	c    1 calls to solver: best=2962 lower=0 upper=2961 
2.69/2.78	o 2947
2400.05/2400.20	
2400.05/2400.20	c *** INTERRUPTED ***
2400.05/2400.20	s SATISFIABLE
2400.05/2400.20	c Best value found: 2947
2400.05/2400.20	
2400.05/2400.20	
2400.05/2400.20	v <instantiation type='solution' cost='2947'>
2400.05/2400.20	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.05/2400.20	v <values>* 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 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 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 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 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 1 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 1 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 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 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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

Verifier Data

Watcher Data

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-4240902-1500640724/watcher-4240902-1500640724 -o /tmp/evaluation-result-4240902-1500640724/solver-4240902-1500640724 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500635921-32467 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240902-1500640724.xml 

pid=495
running on 8 cores: 0-3,8-11

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.02 2.03 3/242 498
/proc/meminfo: memFree=30164980/32770624 swapFree=6476/1808608
[pid=498] ppid=495 vsize=26992 CPUtime=0 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 957 0 0 0 0 0 0 0 20 0 1 0 17500448 27639808 766 33554432000 4194304 5970956 140731284196336 140731284192984 140357918014437 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 6748 766 684 434 0 112 0

[startup+0.10013 s]
/proc/loadavg: 2.00 2.02 2.03 3/242 498
/proc/meminfo: memFree=30164980/32770624 swapFree=6476/1808608
[pid=498] ppid=495 vsize=40624 CPUtime=0.09 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 4384 0 0 0 8 1 0 0 20 0 1 0 17500448 41598976 4215 33554432000 4194304 5970956 140731284196336 140731284192936 140357918014437 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 10156 4215 739 434 0 3520 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 40624

[startup+0.20035 s]
/proc/loadavg: 2.00 2.02 2.03 3/242 498
/proc/meminfo: memFree=30164980/32770624 swapFree=6476/1808608
[pid=498] ppid=495 vsize=51408 CPUtime=0.19 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 7152 0 0 0 18 1 0 0 20 0 1 0 17500448 52641792 6967 33554432000 4194304 5970956 140731284196336 140731284187720 140357927372735 0 0 4096 0 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 12852 6967 794 434 0 6216 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 51408

[startup+0.300274 s]
/proc/loadavg: 2.00 2.02 2.03 3/242 498
/proc/meminfo: memFree=30164980/32770624 swapFree=6476/1808608
[pid=498] ppid=495 vsize=63960 CPUtime=0.29 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 9577 0 0 0 27 2 0 0 20 0 1 0 17500448 65495040 9911 33554432000 4194304 5970956 140731284196336 140731284183656 5327850 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 15990 9911 827 434 0 9354 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63960

[startup+0.700214 s]
/proc/loadavg: 2.00 2.02 2.03 3/242 498
/proc/meminfo: memFree=30164980/32770624 swapFree=6476/1808608
[pid=498] ppid=495 vsize=75460 CPUtime=0.69 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 12441 0 0 0 67 2 0 0 20 0 1 0 17500448 77271040 12780 33554432000 4194304 5970956 140731284196336 140731284193080 5337472 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 18865 12780 843 434 0 12229 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75460

[startup+1.50022 s]
/proc/loadavg: 2.00 2.02 2.03 3/243 499
/proc/meminfo: memFree=30103560/32770624 swapFree=6476/1809016
[pid=498] ppid=495 vsize=84652 CPUtime=1.49 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 14768 0 0 0 147 2 0 0 20 0 1 0 17500448 86683648 15102 33554432000 4194304 5970956 140731284196336 140731284193096 5136795 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 21163 15102 843 434 0 14527 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84652

[startup+3.10018 s]
/proc/loadavg: 2.00 2.02 2.03 3/243 499
/proc/meminfo: memFree=30099840/32770624 swapFree=6476/1809016
[pid=498] ppid=495 vsize=87184 CPUtime=3.09 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 22633 0 0 0 306 3 0 0 20 0 1 0 17500448 89276416 15731 33554432000 4194304 5970956 140731284196336 140731284193896 140357918083627 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 21796 15731 844 434 0 15160 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87184

[startup+6.30029 s]
/proc/loadavg: 2.00 2.02 2.03 3/243 499
/proc/meminfo: memFree=30095072/32770624 swapFree=6476/1808964
[pid=498] ppid=495 vsize=89872 CPUtime=6.29 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 31729 0 0 0 626 3 0 0 20 0 1 0 17500448 92028928 16424 33554432000 4194304 5970956 140731284196336 140731284193208 5047048 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 22468 16424 844 434 0 15832 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89872

[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.04 3/243 499
/proc/meminfo: memFree=30093088/32770624 swapFree=6476/1808964
[pid=498] ppid=495 vsize=90632 CPUtime=12.69 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 40198 0 0 0 1265 4 0 0 20 0 1 0 17500448 92807168 16692 33554432000 4194304 5970956 140731284196336 140731284193672 5136625 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 22658 16692 844 434 0 16022 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 90632

[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.04 3/243 499
/proc/meminfo: memFree=30090116/32770624 swapFree=6476/1808972
[pid=498] ppid=495 vsize=93660 CPUtime=25.49 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 54988 0 0 0 2545 4 0 0 20 0 1 0 17500448 95907840 17335 33554432000 4194304 5970956 140731284196336 140731284193672 5136570 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 23415 17335 844 434 0 16779 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 93660

[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.04 3/243 499
/proc/meminfo: memFree=30087188/32770624 swapFree=6476/1808984
[pid=498] ppid=495 vsize=93660 CPUtime=51.08 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 61815 0 0 0 5103 5 0 0 20 0 1 0 17500448 95907840 17344 33554432000 4194304 5970956 140731284196336 140731284193672 5136795 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 23415 17344 844 434 0 16779 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 93660

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/245 511
/proc/meminfo: memFree=30084916/32770624 swapFree=6476/1809024
[pid=498] ppid=495 vsize=98180 CPUtime=102.28 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 62891 0 0 0 10223 5 0 0 20 0 1 0 17500448 100536320 17597 33554432000 4194304 5970956 140731284196336 140731284193608 5047048 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 24545 17597 844 434 0 17909 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 98180

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/245 512
/proc/meminfo: memFree=30081920/32770624 swapFree=6476/1809060
[pid=498] ppid=495 vsize=98276 CPUtime=162.27 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 64142 0 0 0 16222 5 0 0 20 0 1 0 17500448 100634624 18209 33554432000 4194304 5970956 140731284196336 140731284193672 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 24569 18209 844 434 0 17933 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 98276

[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.04 3/245 513
/proc/meminfo: memFree=30080960/32770624 swapFree=6476/1809088
[pid=498] ppid=495 vsize=98276 CPUtime=222.27 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 65249 0 0 0 22222 5 0 0 20 0 1 0 17500448 100634624 18453 33554432000 4194304 5970956 140731284196336 140731284193672 5136803 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 24569 18453 844 434 0 17933 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 98276

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/245 514
/proc/meminfo: memFree=30077400/32770624 swapFree=6476/1809112
[pid=498] ppid=495 vsize=105456 CPUtime=282.26 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 66446 0 0 0 28221 5 0 0 20 0 1 0 17500448 107986944 19312 33554432000 4194304 5970956 140731284196336 140731284193608 5045308 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26364 19312 844 434 0 19728 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 105456

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/245 515
/proc/meminfo: memFree=30077168/32770624 swapFree=6476/1809140
[pid=498] ppid=495 vsize=105864 CPUtime=342.26 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 67328 0 0 0 34221 5 0 0 20 0 1 0 17500448 108404736 19410 33554432000 4194304 5970956 140731284196336 140731284193208 5136786 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26466 19410 844 434 0 19830 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 105864

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 516
/proc/meminfo: memFree=30077244/32770624 swapFree=6476/1809164
[pid=498] ppid=495 vsize=105968 CPUtime=402.25 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 68107 0 0 0 40220 5 0 0 20 0 1 0 17500448 108511232 19422 33554432000 4194304 5970956 140731284196336 140731284193672 5045308 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26492 19422 844 434 0 19856 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 105968

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 517
/proc/meminfo: memFree=30077120/32770624 swapFree=6476/1809188
[pid=498] ppid=495 vsize=106076 CPUtime=462.25 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 68882 0 0 0 46220 5 0 0 20 0 1 0 17500448 108621824 19450 33554432000 4194304 5970956 140731284196336 140731284193672 5136587 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26519 19450 844 434 0 19883 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 106076

[startup+522.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/243 518
/proc/meminfo: memFree=30076856/32770624 swapFree=6476/1809216
[pid=498] ppid=495 vsize=106076 CPUtime=522.25 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 69643 0 0 0 52220 5 0 0 20 0 1 0 17500448 108621824 19452 33554432000 4194304 5970956 140731284196336 140731284193672 5045308 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26519 19452 844 434 0 19883 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 106076

[startup+582.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/243 519
/proc/meminfo: memFree=30076932/32770624 swapFree=6476/1809244
[pid=498] ppid=495 vsize=106076 CPUtime=582.24 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 70385 0 0 0 58219 5 0 0 20 0 1 0 17500448 108621824 19452 33554432000 4194304 5970956 140731284196336 140731284193672 5045308 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26519 19452 844 434 0 19883 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 106076


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

[startup+1482.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/246 578
/proc/meminfo: memFree=30073932/32770624 swapFree=6476/1809708
[pid=498] ppid=495 vsize=106200 CPUtime=1482.2 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 80418 0 0 0 148214 6 0 0 20 0 1 0 17500448 108748800 19496 33554432000 4194304 5970956 140731284196336 140731284193672 5047044 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26550 19496 844 434 0 19914 0
Current children cumulated CPU time (s) 1482.2
Current children cumulated vsize (KiB) 106200

[startup+1542.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/246 579
/proc/meminfo: memFree=30074340/32770624 swapFree=6476/1809732
[pid=498] ppid=495 vsize=106200 CPUtime=1542.2 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 81192 0 0 0 154214 6 0 0 20 0 1 0 17500448 108748800 19498 33554432000 4194304 5970956 140731284196336 140731284193672 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26550 19498 844 434 0 19914 0
Current children cumulated CPU time (s) 1542.2
Current children cumulated vsize (KiB) 106200

[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/244 580
/proc/meminfo: memFree=30074196/32770624 swapFree=6476/1809760
[pid=498] ppid=495 vsize=106200 CPUtime=1602.19 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 81933 0 0 0 160213 6 0 0 20 0 1 0 17500448 108748800 19501 33554432000 4194304 5970956 140731284196336 140731284193672 5045308 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26550 19501 844 434 0 19914 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 106200

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/243 581
/proc/meminfo: memFree=30074812/32770624 swapFree=6476/1809796
[pid=498] ppid=495 vsize=106200 CPUtime=1662.19 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 82478 0 0 0 166213 6 0 0 20 0 1 0 17500448 108748800 19501 33554432000 4194304 5970956 140731284196336 140731284193672 5045736 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26550 19501 844 434 0 19914 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 106200

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 583
/proc/meminfo: memFree=30074772/32770624 swapFree=6476/1809820
[pid=498] ppid=495 vsize=106284 CPUtime=1722.19 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 83227 0 0 0 172213 6 0 0 20 0 1 0 17500448 108834816 19506 33554432000 4194304 5970956 140731284196336 140731284193672 5045486 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26571 19506 844 434 0 19935 0
Current children cumulated CPU time (s) 1722.19
Current children cumulated vsize (KiB) 106284

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 584
/proc/meminfo: memFree=30075336/32770624 swapFree=6476/1809860
[pid=498] ppid=495 vsize=106284 CPUtime=1782.18 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 83786 0 0 0 178212 6 0 0 20 0 1 0 17500448 108834816 19506 33554432000 4194304 5970956 140731284196336 140731284193672 5045308 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26571 19506 844 434 0 19935 0
Current children cumulated CPU time (s) 1782.18
Current children cumulated vsize (KiB) 106284

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 586
/proc/meminfo: memFree=30075492/32770624 swapFree=6476/1809884
[pid=498] ppid=495 vsize=106284 CPUtime=1842.18 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 84334 0 0 0 184212 6 0 0 20 0 1 0 17500448 108834816 19506 33554432000 4194304 5970956 140731284196336 140731284193672 5045736 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26571 19506 844 434 0 19935 0
Current children cumulated CPU time (s) 1842.18
Current children cumulated vsize (KiB) 106284

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 595
/proc/meminfo: memFree=30072176/32770624 swapFree=6476/1809920
[pid=498] ppid=495 vsize=106284 CPUtime=1902.17 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 85103 0 0 0 190211 6 0 0 20 0 1 0 17500448 108834816 20018 33554432000 4194304 5970956 140731284196336 140731284193672 5045308 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26571 20018 844 434 0 19935 0
Current children cumulated CPU time (s) 1902.17
Current children cumulated vsize (KiB) 106284

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 596
/proc/meminfo: memFree=30072556/32770624 swapFree=6476/1809948
[pid=498] ppid=495 vsize=106284 CPUtime=1962.17 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 85634 0 0 0 196211 6 0 0 20 0 1 0 17500448 108834816 20018 33554432000 4194304 5970956 140731284196336 140731284193672 5044798 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26571 20018 844 434 0 19935 0
Current children cumulated CPU time (s) 1962.17
Current children cumulated vsize (KiB) 106284

[startup+2022.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/244 597
/proc/meminfo: memFree=30071684/32770624 swapFree=6476/1809976
[pid=498] ppid=495 vsize=106284 CPUtime=2022.17 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 86421 0 0 0 202211 6 0 0 20 0 1 0 17500448 108834816 20021 33554432000 4194304 5970956 140731284196336 140731284193672 5136608 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26571 20021 844 434 0 19935 0
Current children cumulated CPU time (s) 2022.17
Current children cumulated vsize (KiB) 106284

[startup+2082.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/244 598
/proc/meminfo: memFree=30072196/32770624 swapFree=6476/1810004
[pid=498] ppid=495 vsize=106284 CPUtime=2082.17 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 87016 0 0 0 208211 6 0 0 20 0 1 0 17500448 108834816 20021 33554432000 4194304 5970956 140731284196336 140731284193672 5045486 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26571 20021 844 434 0 19935 0
Current children cumulated CPU time (s) 2082.17
Current children cumulated vsize (KiB) 106284

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/244 599
/proc/meminfo: memFree=30072276/32770624 swapFree=6476/1810032
[pid=498] ppid=495 vsize=106284 CPUtime=2142.16 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 87607 0 0 0 214210 6 0 0 20 0 1 0 17500448 108834816 20021 33554432000 4194304 5970956 140731284196336 140731284193672 5045308 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26571 20021 844 434 0 19935 0
Current children cumulated CPU time (s) 2142.16
Current children cumulated vsize (KiB) 106284

[startup+2202.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 600
/proc/meminfo: memFree=30072432/32770624 swapFree=6476/1810056
[pid=498] ppid=495 vsize=106284 CPUtime=2202.16 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 88172 0 0 0 220210 6 0 0 20 0 1 0 17500448 108834816 20021 33554432000 4194304 5970956 140731284196336 140731284193672 5045448 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26571 20021 844 434 0 19935 0
Current children cumulated CPU time (s) 2202.16
Current children cumulated vsize (KiB) 106284

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 601
/proc/meminfo: memFree=30072692/32770624 swapFree=6476/1810088
[pid=498] ppid=495 vsize=106284 CPUtime=2262.15 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 88949 0 0 0 226209 6 0 0 20 0 1 0 17500448 108834816 20021 33554432000 4194304 5970956 140731284196336 140731284193672 5047044 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26571 20021 844 434 0 19935 0
Current children cumulated CPU time (s) 2262.15
Current children cumulated vsize (KiB) 106284

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 602
/proc/meminfo: memFree=30072084/32770624 swapFree=6476/1810124
[pid=498] ppid=495 vsize=106284 CPUtime=2322.15 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 89499 0 0 0 232209 6 0 0 20 0 1 0 17500448 108834816 20021 33554432000 4194304 5970956 140731284196336 140731284193672 5098928 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26571 20021 844 434 0 19935 0
Current children cumulated CPU time (s) 2322.15
Current children cumulated vsize (KiB) 106284

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 603
/proc/meminfo: memFree=30072660/32770624 swapFree=6476/1810156
[pid=498] ppid=495 vsize=106284 CPUtime=2382.15 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 90254 0 0 0 238209 6 0 0 20 0 1 0 17500448 108834816 20021 33554432000 4194304 5970956 140731284196336 140731284193672 5045683 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26571 20021 844 434 0 19935 0
Current children cumulated CPU time (s) 2382.15
Current children cumulated vsize (KiB) 106284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 625
/proc/meminfo: memFree=30095496/32770624 swapFree=6476/1810148
[pid=498] ppid=495 vsize=106284 CPUtime=2400.05 cores=0-3,8-11
/proc/498/stat : 498 (cosoco) R 495 498 29507 0 -1 4202496 90771 0 0 0 239999 6 0 0 20 0 1 0 17500448 108834816 20021 33554432000 4194304 5970956 140731284196336 140731284193672 5045308 0 0 4096 8405026 0 0 0 17 10 0 0 0 0 0 8070896 8075904 33873920 140731284202684 140731284202819 140731284202819 140731284205518 0
/proc/498/statm: 26571 20021 844 434 0 19935 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 106284

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 498 sig 9
??? kill -498 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.07
CPU user time (s): 2400
CPU system time (s): 0.067996
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 106284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.067996
maximum resident set size= 80128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90807
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= 19
involuntary context switches= 120802

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36058 second user time and 12.2623 second system time

The end

Launcher Data

Begin job on node144 at 2017-07-21 14:38:44
IDJOB=4240902
IDBENCH=124397
IDSOLVER=2621
FILE ID=node144/4240902-1500640724
RUNJOBID= node144-1500635921-32467
PBS_JOBID= 20622990
Free space on /tmp= 62020 MiB

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

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

MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f
RANDOM SEED=1435870229

node144.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	: 8
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.16
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.16
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	: 8
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.16
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	: 0
siblings	: 8
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.16
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	: 1
siblings	: 8
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	: 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	: 8
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	: 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		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 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	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30165472 kB
MemAvailable:   31975400 kB
Buffers:          161228 kB
Cached:          1926948 kB
SwapCached:            0 kB
Active:           344764 kB
Inactive:        1817436 kB
Active(anon):      77048 kB
Inactive(anon):     8828 kB
Active(file):     267716 kB
Inactive(file):  1808608 kB
Unevictable:        6476 kB
Mlocked:            6484 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4632 kB
Writeback:             0 kB
AnonPages:         79932 kB
Mapped:            33080 kB
Shmem:              8844 kB
Slab:             132252 kB
SReclaimable:      98880 kB
SUnreclaim:        33372 kB
KernelStack:        4256 kB
PageTables:         4684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     344960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62016 MiB
End job on node144 at 2017-07-21 15:18:44

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml
MD5SUM	45202abbf2fd4260704b0005edccc47f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	1130
Best CPU time to get the best result obtained on this benchmark	2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables	2352
Number of constraints	2303
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":48},{"size":2,"count":2256},{"size":101,"count":47}]
Minimum variable degree	0
Maximum variable degree	93
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":48},{"degree":2,"count":94},{"degree":4,"count":2162},{"degree":93,"count":47}]
Minimum constraint arity	1
Maximum constraint arity	47
Distribution of constraint arities	[{"arity":1,"count":47},{"arity":3,"count":2162},{"arity":47,"count":94}]
Number of extensional constraints	0
Number of intensional constraints	47
Distribution of constraint types	[{"type":"intension","count":47},{"type":"sum","count":2162},{"type":"count","count":94}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4240902

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data