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 1.1	No Cert.		2400.02	2400.01

20.74/20.86	c best=?? lower=0 upper=1175 
24.54/24.62	c
24.54/24.62	c This is cosoco 1.0 --  
24.54/24.62	c
24.54/24.62	c enable optimization
24.54/24.62	c ========================================[ Problem Statistics ]===========================================
24.54/24.62	c |                                                                                                       
24.54/24.62	c |  Parse time        :        20.33 s 
24.54/24.62	c |
24.54/24.62	c |               Variables: 2401
24.54/24.62	c |            Domain Sizes: 1176..1176
24.54/24.62	c |
24.54/24.62	c |             Constraints: 18425
24.54/24.62	c |                   Arity: 3..1176  -- Ternary: 18424
24.54/24.62	c | 
24.54/24.62	c |                   Types: 
24.54/24.62	c |                          Intension: 18424
24.54/24.62	c |                          Max constant: 1
24.54/24.62	c |                          
24.54/24.62	c =========================================================================================================
24.54/24.62	o 5
24.54/24.62	c    1 calls to solver: best=5 lower=0 upper=4 
25.03/25.19	o 4
2400.00/2400.00	
2400.00/2400.00	c *** INTERRUPTED ***
2400.00/2400.00	s SATISFIABLE
2400.00/2400.00	c Best value found: 4
2400.00/2400.00	
2400.00/2400.00	
2400.00/2400.00	v <instantiation type='solution' cost='4'>
2400.00/2400.00	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[0][48] 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[1][48] 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[2][48] 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[3][48] 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[4][48] 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[5][48] 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[6][48] 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[7][48] 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[8][48] 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[9][48] 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[10][48] 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[11][48] 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[12][48] 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[13][48] 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[14][48] 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[15][48] 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[16][48] 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[17][48] 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[18][48] 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[19][48] 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[20][48] 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[21][48] 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[22][48] 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[23][48] 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[24][48] 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[25][48] 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[26][48] 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[27][48] 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[28][48] 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[29][48] 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[30][48] 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[31][48] 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[32][48] 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[33][48] 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[34][48] 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[35][48] 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[36][48] 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[37][48] 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[38][48] 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[39][48] 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[40][48] 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[41][48] 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[42][48] 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[43][48] 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[44][48] 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[45][48] 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[46][48] 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] x[47][48] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] </list>
2400.00/2400.00	v <values>* 1 0 0 4 1 4 1 4 3 3 2 0 3 1 1 2 2 2 3 1 0 0 0 1 1 2 0 2 4 2 0 0 2 2 0 0 2 0 2 0 1 0 0 0 0 0 0 1 * * 1 0 1 4 1 0 3 4 3 1 1 0 2 0 2 1 1 1 2 3 1 1 3 4 1 1 2 1 0 3 2 0 2 2 0 0 0 3 1 3 2 3 0 2 2 2 4 * * * 2 0 3 2 2 0 0 0 0 3 3 0 1 0 2 4 2 0 1 3 2 0 0 0 3 1 0 3 4 2 0 2 1 1 0 1 2 2 1 4 2 4 3 1 2 1 * * * * 3 0 3 1 0 4 0 1 1 4 0 1 0 0 0 0 0 3 3 1 0 3 1 2 2 0 1 3 3 4 0 1 2 3 2 0 4 2 2 4 3 1 1 3 0 * * * * * 1 0 3 3 4 1 3 0 3 2 4 2 4 2 0 2 0 2 0 1 1 3 0 4 2 1 0 0 1 1 0 0 1 0 3 0 1 2 0 2 2 0 0 3 * * * * * * 1 4 4 3 2 1 0 1 2 3 2 1 1 1 2 0 0 0 2 0 1 0 1 1 0 3 2 3 3 1 0 4 0 3 0 4 0 2 0 0 1 2 2 * * * * * * * 1 3 4 1 0 2 3 2 1 2 4 3 3 2 2 0 4 1 1 0 2 3 2 0 2 1 0 1 3 1 0 1 0 3 1 0 1 0 0 2 1 2 * * * * * * * * 0 0 2 2 2 1 2 3 2 1 1 0 0 1 1 0 2 2 2 1 1 1 3 2 0 1 3 0 2 1 2 1 0 0 1 0 1 0 0 0 2 * * * * * * * * * 3 2 2 3 0 3 0 2 2 2 1 1 1 1 2 1 4 2 0 1 3 0 0 2 1 3 1 0 1 0 1 1 1 2 2 0 4 1 2 1 * * * * * * * * * * 2 4 4 0 2 0 2 3 2 1 1 1 1 2 1 3 2 0 1 2 3 0 2 1 0 1 0 1 0 1 1 1 2 2 0 3 1 2 1 * * * * * * * * * * * 3 0 1 1 3 4 1 1 1 3 0 0 0 4 3 4 0 1 3 2 0 0 2 2 0 0 2 0 1 0 2 0 0 0 0 0 0 3 * * * * * * * * * * * * 0 2 3 2 3 0 0 0 1 0 2 3 1 1 4 0 3 2 3 0 0 1 0 0 0 1 0 1 0 1 1 0 2 2 0 0 1 * * * * * * * * * * * * * 0 0 0 0 2 2 3 0 1 2 4 0 3 0 4 1 0 2 3 1 0 2 2 1 0 1 0 3 1 1 1 2 2 3 2 0 * * * * * * * * * * * * * * 3 1 2 3 2 0 1 0 0 0 1 1 2 2 2 3 1 3 0 2 3 0 1 2 1 2 0 1 0 0 3 0 0 0 1 * * * * * * * * * * * * * * * 2 4 2 4 2 3 0

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-4242275-1502105815/watcher-4242275-1502105815 -o /tmp/evaluation-result-4242275-1502105815/solver-4242275-1502105815 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16652 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242275-1502105815.xml 

pid=25676
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.05 3/180 25679
/proc/meminfo: memFree=29958284/32770624 swapFree=0/419036
[pid=25679] ppid=25676 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/25679/stat : 25679 (runsolver) D 25676 25679 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12802461 24240128 108 18446744073709551615 4194304 4338465 140723205500960 140723205498600 140692608156375 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 25866240 140723205509279 140723205509706 140723205509706 140723205513162 0
/proc/25679/statm: 5918 108 54 36 0 2156 0

[startup+0.100168 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 25679
/proc/meminfo: memFree=29958284/32770624 swapFree=0/419036
[pid=25679] ppid=25676 vsize=50456 CPUtime=0.04 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 6794 0 0 0 3 1 0 0 20 0 1 0 12802461 51666944 6640 18446744073709551615 4194304 5970956 140730328422880 140730328419480 5509590 0 0 1 0 0 0 0 17 6 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 12614 6640 711 434 0 5978 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 50456

[startup+0.201165 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 25679
/proc/meminfo: memFree=29958284/32770624 swapFree=0/419036
[pid=25679] ppid=25676 vsize=50652 CPUtime=0.14 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 6866 0 0 0 13 1 0 0 20 0 1 0 12802461 51867648 6706 18446744073709551615 4194304 5970956 140730328422880 140730328419480 139899641128147 0 0 1 0 0 0 0 17 6 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 12663 6706 711 434 0 6027 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 50652

[startup+0.301164 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 25679
/proc/meminfo: memFree=29958284/32770624 swapFree=0/419036
[pid=25679] ppid=25676 vsize=50976 CPUtime=0.24 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 6981 0 0 0 23 1 0 0 20 0 1 0 12802461 52199424 6733 18446744073709551615 4194304 5970956 140730328422880 140730328419480 5406591 0 0 1 0 0 0 0 17 6 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 12744 6733 711 434 0 6108 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 50976

[startup+0.700193 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 25679
/proc/meminfo: memFree=29958284/32770624 swapFree=0/419036
[pid=25679] ppid=25676 vsize=69744 CPUtime=0.63 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 11771 0 0 0 62 1 0 0 20 0 1 0 12802461 71417856 11464 18446744073709551615 4194304 5970956 140730328422880 140730328419480 139899631177309 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 17436 11464 783 434 0 10800 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 69744

[startup+1.50019 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 25680
/proc/meminfo: memFree=29888516/32770624 swapFree=0/419020
[pid=25679] ppid=25676 vsize=124268 CPUtime=1.44 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 25408 0 0 0 141 3 0 0 20 0 1 0 12802461 127250432 25060 18446744073709551615 4194304 5970956 140730328422880 140730328416472 139899631269923 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 31067 25060 783 434 0 24431 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 124268

[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25680
/proc/meminfo: memFree=29813000/32770624 swapFree=0/419020
[pid=25679] ppid=25676 vsize=233184 CPUtime=3.03 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 54165 0 0 0 296 7 0 0 20 0 1 0 12802461 238780416 52313 18446744073709551615 4194304 5970956 140730328422880 140730328416472 139899631182642 0 0 1 0 0 0 0 17 0 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 58296 52313 783 434 0 51660 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 233184

[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 25680
/proc/meminfo: memFree=29587452/32770624 swapFree=0/419028
[pid=25679] ppid=25676 vsize=452060 CPUtime=6.24 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 110527 0 0 0 609 15 0 0 20 0 1 0 12802461 462909440 107029 18446744073709551615 4194304 5970956 140730328422880 140730328416472 139899631184869 0 0 1 0 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 113015 107029 783 434 0 106379 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 452060

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 25680
/proc/meminfo: memFree=29134976/32770624 swapFree=0/419036
[pid=25679] ppid=25676 vsize=890104 CPUtime=12.63 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 221308 0 0 0 1234 29 0 0 20 0 1 0 12802461 911466496 216475 18446744073709551615 4194304 5970956 140730328422880 140730328416472 139899631177309 0 0 1 0 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 222526 216475 783 434 0 215890 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 890104

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 25680
/proc/meminfo: memFree=27847216/32770624 swapFree=0/419044
[pid=25679] ppid=25676 vsize=2133964 CPUtime=25.43 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 650548 0 0 0 2474 69 0 0 20 0 1 0 12802461 2185179136 527605 18446744073709551615 4194304 5970956 140730328422880 140730328419592 4964847 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533491 527605 828 434 0 526855 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 2133964

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25681
/proc/meminfo: memFree=27847076/32770624 swapFree=0/419060
[pid=25679] ppid=25676 vsize=2134096 CPUtime=51.04 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 696730 0 0 0 5032 72 0 0 20 0 1 0 12802461 2185314304 527689 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4908982 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533524 527689 828 434 0 526888 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 2134096

[startup+102.3 s]
/proc/loadavg: 2.07 2.03 2.05 4/181 25683
/proc/meminfo: memFree=27846396/32770624 swapFree=0/419088
[pid=25679] ppid=25676 vsize=2134096 CPUtime=102.24 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 762023 0 0 0 10150 74 0 0 20 0 1 0 12802461 2185314304 527690 18446744073709551615 4194304 5970956 140730328422880 140730328419752 5052121 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533524 527690 828 434 0 526888 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 2134096

[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 25686
/proc/meminfo: memFree=27846580/32770624 swapFree=0/419124
[pid=25679] ppid=25676 vsize=2134096 CPUtime=162.25 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 831292 0 0 0 16147 78 0 0 20 0 1 0 12802461 2185314304 527691 18446744073709551615 4194304 5970956 140730328422880 140730328419752 5327993 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533524 527691 828 434 0 526888 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 2134096

[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 25688
/proc/meminfo: memFree=27846516/32770624 swapFree=0/419144
[pid=25679] ppid=25676 vsize=2134096 CPUtime=222.26 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 903684 0 0 0 22145 81 0 0 20 0 1 0 12802461 2185314304 527691 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4961194 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533524 527691 828 434 0 526888 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2134096

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 25690
/proc/meminfo: memFree=27846568/32770624 swapFree=0/419168
[pid=25679] ppid=25676 vsize=2134096 CPUtime=282.26 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 971047 0 0 0 28142 84 0 0 20 0 1 0 12802461 2185314304 527691 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4964366 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533524 527691 828 434 0 526888 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 2134096

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 25693
/proc/meminfo: memFree=27846956/32770624 swapFree=0/419196
[pid=25679] ppid=25676 vsize=2134096 CPUtime=342.25 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1037652 0 0 0 34139 86 0 0 20 0 1 0 12802461 2185314304 527691 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4961411 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533524 527691 828 434 0 526888 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 2134096

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 25695
/proc/meminfo: memFree=27846892/32770624 swapFree=0/419216
[pid=25679] ppid=25676 vsize=2134096 CPUtime=402.26 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1108861 0 0 0 40136 90 0 0 20 0 1 0 12802461 2185314304 527692 18446744073709551615 4194304 5970956 140730328422880 140730328419752 5327993 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533524 527692 828 434 0 526888 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 2134096

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 25711
/proc/meminfo: memFree=27842716/32770624 swapFree=0/419268
[pid=25679] ppid=25676 vsize=2134096 CPUtime=462.26 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1185745 0 0 0 46132 94 0 0 20 0 1 0 12802461 2185314304 527694 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4964262 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533524 527694 828 434 0 526888 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 2134096

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 25713
/proc/meminfo: memFree=27843024/32770624 swapFree=0/419292
[pid=25679] ppid=25676 vsize=2134096 CPUtime=522.25 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1240612 0 0 0 52128 97 0 0 20 0 1 0 12802461 2185314304 527694 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4964406 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533524 527694 828 434 0 526888 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 2134096

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25715
/proc/meminfo: memFree=27846536/32770624 swapFree=0/419312
[pid=25679] ppid=25676 vsize=2134228 CPUtime=582.25 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1312042 0 0 0 58124 101 0 0 20 0 1 0 12802461 2185449472 527695 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4965040 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527695 828 434 0 526921 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 2134228


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25943
/proc/meminfo: memFree=29558028/32770624 swapFree=0/419952
[pid=25679] ppid=25676 vsize=2134228 CPUtime=1482.23 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1710182 0 0 0 148104 119 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 5069728 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 2134228

[startup+1542.31 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 25945
/proc/meminfo: memFree=29558276/32770624 swapFree=0/419984
[pid=25679] ppid=25676 vsize=2134228 CPUtime=1542.23 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1713434 0 0 0 154104 119 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4908916 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 2134228

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 25947
/proc/meminfo: memFree=29558244/32770624 swapFree=0/420012
[pid=25679] ppid=25676 vsize=2134228 CPUtime=1602.23 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1716689 0 0 0 160103 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 5071026 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 2134228

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 25963
/proc/meminfo: memFree=29553848/32770624 swapFree=0/420072
[pid=25679] ppid=25676 vsize=2134228 CPUtime=1662.23 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1717866 0 0 0 166103 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4964406 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 2134228

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 25965
/proc/meminfo: memFree=29554204/32770624 swapFree=0/420100
[pid=25679] ppid=25676 vsize=2134228 CPUtime=1722.24 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1719270 0 0 0 172104 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4965051 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 2134228

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25967
/proc/meminfo: memFree=29556616/32770624 swapFree=0/420128
[pid=25679] ppid=25676 vsize=2134228 CPUtime=1782.24 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1720347 0 0 0 178104 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4908262 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 2134228

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25969
/proc/meminfo: memFree=29557120/32770624 swapFree=0/420156
[pid=25679] ppid=25676 vsize=2134228 CPUtime=1842.25 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1721534 0 0 0 184105 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 5069735 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 1842.25
Current children cumulated vsize (KiB) 2134228

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25971
/proc/meminfo: memFree=29557396/32770624 swapFree=0/420184
[pid=25679] ppid=25676 vsize=2134228 CPUtime=1902.25 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1722867 0 0 0 190105 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 5327968 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 1902.25
Current children cumulated vsize (KiB) 2134228

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25974
/proc/meminfo: memFree=29557380/32770624 swapFree=0/420224
[pid=25679] ppid=25676 vsize=2134228 CPUtime=1962.26 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1724055 0 0 0 196106 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4964821 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 1962.26
Current children cumulated vsize (KiB) 2134228

[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 25976
/proc/meminfo: memFree=29557388/32770624 swapFree=0/420248
[pid=25679] ppid=25676 vsize=2134228 CPUtime=2022.26 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1725255 0 0 0 202106 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4964389 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 2022.26
Current children cumulated vsize (KiB) 2134228

[startup+2082.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 25978
/proc/meminfo: memFree=29557692/32770624 swapFree=0/420276
[pid=25679] ppid=25676 vsize=2134228 CPUtime=2082.28 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1726568 0 0 0 208108 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4964336 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 2082.28
Current children cumulated vsize (KiB) 2134228

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 25981
/proc/meminfo: memFree=29557452/32770624 swapFree=0/420308
[pid=25679] ppid=25676 vsize=2134228 CPUtime=2142.28 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1727563 0 0 0 214108 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 5052080 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 2142.28
Current children cumulated vsize (KiB) 2134228

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25983
/proc/meminfo: memFree=29557584/32770624 swapFree=0/420336
[pid=25679] ppid=25676 vsize=2134228 CPUtime=2202.29 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1728729 0 0 0 220109 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 5069728 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 2202.29
Current children cumulated vsize (KiB) 2134228

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 26000
/proc/meminfo: memFree=29551936/32770624 swapFree=0/420388
[pid=25679] ppid=25676 vsize=2134228 CPUtime=2262.29 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1730094 0 0 0 226109 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4964841 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 2262.29
Current children cumulated vsize (KiB) 2134228

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 26027
/proc/meminfo: memFree=29550744/32770624 swapFree=0/420444
[pid=25679] ppid=25676 vsize=2134228 CPUtime=2322.29 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1731328 0 0 0 232109 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4964366 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 2322.29
Current children cumulated vsize (KiB) 2134228

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 26029
/proc/meminfo: memFree=29550876/32770624 swapFree=0/420476
[pid=25679] ppid=25676 vsize=2134228 CPUtime=2382.3 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1732488 0 0 0 238110 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4908573 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 2382.3
Current children cumulated vsize (KiB) 2134228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 26029
/proc/meminfo: memFree=29554520/32770624 swapFree=0/420484
[pid=25679] ppid=25676 vsize=2134228 CPUtime=2400 cores=0,2,4,6
/proc/25679/stat : 25679 (cosoco) R 25676 25679 9955 0 -1 4202496 1732898 0 0 0 239880 120 0 0 20 0 1 0 12802461 2185449472 527706 18446744073709551615 4194304 5970956 140730328422880 140730328419752 4964366 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 20500480 140730328424908 140730328425038 140730328425038 140730328428494 0
/proc/25679/statm: 533557 527706 828 434 0 526921 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 2134228

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

Child status: 1
Real time (s): 2400.01
CPU time (s): 2400.02
CPU user time (s): 2398.81
CPU system time (s): 1.2121
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 2134228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.81
system time used= 1.2121
maximum resident set size= 2110864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1732932
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= 365
involuntary context switches= 857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06898 second user time and 8.89381 second system time

The end

Launcher Data

Begin job on node125 at 2017-08-07 13:22:52
IDJOB=4242275
IDBENCH=140594
IDSOLVER=2620
FILE ID=node125/4242275-1502105815
RUNJOBID= node125-1502042574-16652
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-49.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242275-1502105815/watcher-4242275-1502105815 -o /tmp/evaluation-result-4242275-1502105815/solver-4242275-1502105815 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16652 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4242275-1502105815.xml

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

MD5SUM BENCH= f189c1eeae9c695eff92bc09b1867153
RANDOM SEED=233681080

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29958516 kB
MemAvailable:   30305360 kB
Buffers:          144732 kB
Cached:           490684 kB
SwapCached:            0 kB
Active:          1966332 kB
Inactive:         435752 kB
Active(anon):    1766876 kB
Inactive(anon):    16716 kB
Active(file):     199456 kB
Inactive(file):   419036 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2916 kB
Writeback:             0 kB
AnonPages:       1770512 kB
Mapped:            34220 kB
Shmem:             17060 kB
Slab:             112392 kB
SReclaimable:      88376 kB
SUnreclaim:        24016 kB
KernelStack:        3376 kB
PageTables:         7992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2020756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1181696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62024 MiB
End job on node125 at 2017-08-07 14:02:52

Name	Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml
MD5SUM	f189c1eeae9c695eff92bc09b1867153
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2400.1299
Satisfiable
(Un)Satisfiability was proved
Number of variables	2401
Number of constraints	18424
Number of domains	1
Minimum domain size	1176
Maximum domain size	1176
Distribution of domain sizes	[{"size":1176,"count":1176}]
Minimum variable degree	0
Maximum variable degree	48
Distribution of variable degrees	[{"degree":0,"count":1225},{"degree":48,"count":1176}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":18424}]
Number of extensional constraints	0
Number of intensional constraints	18424
Distribution of constraint types	[{"type":"intension","count":18424}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4242275

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data