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.1001	2400

6.70/6.85	c best=?? lower=0 upper=560 
7.30/7.45	c
7.30/7.45	c This is cosoco 1.0 --  
7.30/7.45	c
7.30/7.45	c enable optimization
7.30/7.45	c ========================================[ Problem Statistics ]===========================================
7.30/7.45	c |                                                                                                       
7.30/7.45	c |  Parse time        :         6.66 s 
7.30/7.45	c |
7.30/7.45	c |               Variables: 1156
7.30/7.45	c |            Domain Sizes: 561..561
7.30/7.45	c |
7.30/7.45	c |             Constraints: 5985
7.30/7.45	c |                   Arity: 3..561  -- Ternary: 5984
7.30/7.45	c | 
7.30/7.45	c |                   Types: 
7.30/7.45	c |                          Intension: 5984
7.30/7.45	c |                          Max constant: 1
7.30/7.45	c |                          
7.30/7.45	c =========================================================================================================
7.30/7.45	o 5
7.30/7.45	c    1 calls to solver: best=5 lower=0 upper=4 
7.40/7.55	o 4
2400.09/2400.00	
2400.09/2400.00	c *** INTERRUPTED ***
2400.09/2400.00	s SATISFIABLE
2400.09/2400.00	c Best value found: 4
2400.09/2400.00	
2400.09/2400.00	
2400.09/2400.00	v <instantiation type='solution' cost='4'>
2400.09/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] </list>
2400.09/2400.00	v <values>* 0 0 1 1 0 4 1 1 1 0 3 2 1 0 3 0 1 1 4 1 2 0 0 0 1 2 2 0 1 0 0 1 2 * * 2 0 0 1 3 0 1 1 2 0 0 1 1 0 1 1 0 0 3 0 4 3 2 0 0 0 3 0 2 2 1 0 * * * 0 1 1 2 1 1 0 3 0 0 1 2 0 1 1 0 0 1 0 2 1 3 0 0 0 2 1 4 1 0 0 * * * * 2 1 0 2 0 2 0 1 1 0 1 1 1 0 3 1 0 2 1 3 0 4 1 1 0 2 0 0 2 1 * * * * * 2 0 4 0 0 1 1 2 0 1 1 2 0 2 1 2 1 0 0 1 2 2 1 1 3 1 0 0 1 * * * * * * 1 2 0 0 1 0 0 0 2 0 3 0 1 0 3 1 2 2 1 1 0 0 1 2 1 4 0 0 * * * * * * * 0 1 1 2 3 2 1 1 3 0 1 0 0 2 0 3 2 2 0 2 2 4 0 2 3 1 2 * * * * * * * * 0 0 1 1 2 0 1 1 2 0 2 1 2 1 0 0 1 2 2 1 1 3 1 0 0 1 * * * * * * * * * 2 1 1 1 4 0 1 0 3 0 1 2 0 1 2 1 0 1 1 1 0 1 3 2 1 * * * * * * * * * * 0 1 2 2 0 1 2 2 2 1 0 1 2 1 0 2 2 1 0 0 0 1 3 1 * * * * * * * * * * * 0 0 1 2 0 1 1 0 0 1 0 2 1 4 0 0 0 2 1 3 1 0 0 * * * * * * * * * * * * 2 1 0 4 0 1 1 3 1 2 0 0 0 1 2 2 0 1 0 0 1 2 * * * * * * * * * * * * * 1 0 2 0 1 1 2 1 1 0 0 0 1 3 3 0 2 0 0 2 4 * * * * * * * * * * * * * * 0 1 0 3 0 1 2 0 1 2 1 0 1 1 1 0 1 3 2 1 * * * * * * * * * * * * * * * 0 2 0 1 0 1 2 4 1 2 1 0 0 3 1 2 1 0 0 * * * * * * * * * * * * * * * * 0 1 1 3 1 2 0 0 0 1 2 2 0 1 0 0 1 2 * * * * * * * * * * * * * * * * * 0 1 3 0 1 3 2 1 1 0 0 1 2 1 3 2 0 * * * * * * * * * * * * * * * * * * 0 1 3 0 1 3 1 0 1 1 1 0 1 2 2 1 * * * * * * * * * * * * * * * * * * * 1 3 2 0 0 0 3 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-4242278-1502097226/watcher-4242278-1502097226 -o /tmp/evaluation-result-4242278-1502097226/solver-4242278-1502097226 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242278-1502097226.xml 

pid=24672
running on 4 cores: 1,3,5,7

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 2/180 24675
/proc/meminfo: memFree=31572436/32770624 swapFree=0/414756
[pid=24675] ppid=24672 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24675/stat : 24675 (runsolver) D 24672 24675 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11943519 24240128 107 18446744073709551615 4194304 4338465 140734404248384 140734404246024 140036468228823 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 18096128 140734404251807 140734404252234 140734404252234 140734404255690 0
/proc/24675/statm: 5918 107 54 36 0 2156 0

[startup+0.100157 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 24675
/proc/meminfo: memFree=31572436/32770624 swapFree=0/414756
[pid=24675] ppid=24672 vsize=32664 CPUtime=0 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 2360 0 0 0 0 0 0 0 20 0 1 0 11943519 33447936 2187 18446744073709551615 4194304 5970956 140727414018032 140727414014680 140158037806053 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 8166 2187 703 434 0 1530 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 32664

[startup+0.200339 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 24675
/proc/meminfo: memFree=31572436/32770624 swapFree=0/414756
[pid=24675] ppid=24672 vsize=33004 CPUtime=0.1 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 2451 0 0 0 10 0 0 0 20 0 1 0 11943519 33796096 2253 18446744073709551615 4194304 5970956 140727414018032 140727414014680 140158037528055 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 8251 2253 711 434 0 1615 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 33004

[startup+0.300252 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 24675
/proc/meminfo: memFree=31572436/32770624 swapFree=0/414756
[pid=24675] ppid=24672 vsize=36040 CPUtime=0.2 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 3284 0 0 0 20 0 0 0 20 0 1 0 11943519 36904960 3106 18446744073709551615 4194304 5970956 140727414018032 140727414014680 140158037798416 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 9010 3106 783 434 0 2374 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 36040

[startup+0.700229 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 24675
/proc/meminfo: memFree=31572436/32770624 swapFree=0/414756
[pid=24675] ppid=24672 vsize=49548 CPUtime=0.6 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 6646 0 0 0 60 0 0 0 20 0 1 0 11943519 50737152 6443 18446744073709551615 4194304 5970956 140727414018032 140727414011624 5188326 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 12387 6443 783 434 0 5751 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 49548

[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24676
/proc/meminfo: memFree=31536592/32770624 swapFree=0/414752
[pid=24675] ppid=24672 vsize=76400 CPUtime=1.41 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 13361 0 0 0 139 2 0 0 20 0 1 0 11943519 78233600 13193 18446744073709551615 4194304 5970956 140727414018032 140727414011864 140158047151366 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 19100 13193 783 434 0 12464 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 76400

[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24676
/proc/meminfo: memFree=31499392/32770624 swapFree=0/414752
[pid=24675] ppid=24672 vsize=130056 CPUtime=3.01 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 27523 0 0 0 296 5 0 0 20 0 1 0 11943519 133177344 26576 18446744073709551615 4194304 5970956 140727414018032 140727414011624 4966541 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 32514 26576 783 434 0 25878 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 130056

[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24676
/proc/meminfo: memFree=31388560/32770624 swapFree=0/414760
[pid=24675] ppid=24672 vsize=237468 CPUtime=6.2 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 54985 0 0 0 611 9 0 0 20 0 1 0 11943519 243167232 53456 18446744073709551615 4194304 5970956 140727414018032 140727414011624 140158047164224 0 0 1 0 0 0 0 17 1 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 59367 53456 783 434 0 52731 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 237468

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 24677
/proc/meminfo: memFree=31234464/32770624 swapFree=0/414772
[pid=24675] ppid=24672 vsize=363900 CPUtime=12.6 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 137620 0 0 0 1244 16 0 0 20 0 1 0 11943519 372633600 85155 18446744073709551615 4194304 5970956 140727414018032 140727414014904 4965051 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 90975 85155 826 434 0 84339 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 363900

[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.05 3/184 24691
/proc/meminfo: memFree=31229844/32770624 swapFree=0/414804
[pid=24675] ppid=24672 vsize=364164 CPUtime=25.4 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 169159 0 0 0 2523 17 0 0 20 0 1 0 11943519 372903936 85198 18446744073709551615 4194304 5970956 140727414018032 140727414014744 5071023 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91041 85198 826 434 0 84405 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 364164

[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.05 3/184 24691
/proc/meminfo: memFree=31230788/32770624 swapFree=0/414816
[pid=24675] ppid=24672 vsize=364164 CPUtime=50.99 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 197853 0 0 0 5081 18 0 0 20 0 1 0 11943519 372903936 85220 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4964389 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91041 85220 826 434 0 84405 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 364164

[startup+102.3 s]
/proc/loadavg: 2.24 2.09 2.06 3/185 24718
/proc/meminfo: memFree=31228112/32770624 swapFree=0/414892
[pid=24675] ppid=24672 vsize=364296 CPUtime=102.18 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 223112 0 0 0 10199 19 0 0 20 0 1 0 11943519 373039104 85248 18446744073709551615 4194304 5970956 140727414018032 140727414014744 5071026 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85248 826 434 0 84438 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 364296

[startup+162.3 s]
/proc/loadavg: 2.09 2.07 2.06 3/185 24720
/proc/meminfo: memFree=31228936/32770624 swapFree=0/414912
[pid=24675] ppid=24672 vsize=364296 CPUtime=162.17 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 239639 0 0 0 16197 20 0 0 20 0 1 0 11943519 373039104 85249 18446744073709551615 4194304 5970956 140727414018032 140727414014744 5327993 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85249 826 434 0 84438 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 364296

[startup+222.306 s]
/proc/loadavg: 2.03 2.06 2.05 3/182 24722
/proc/meminfo: memFree=31231092/32770624 swapFree=0/414940
[pid=24675] ppid=24672 vsize=364296 CPUtime=222.16 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 243992 0 0 0 22196 20 0 0 20 0 1 0 11943519 373039104 85250 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4964679 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85250 826 434 0 84438 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 364296

[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/182 24724
/proc/meminfo: memFree=31232124/32770624 swapFree=0/414960
[pid=24675] ppid=24672 vsize=364296 CPUtime=282.16 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 244363 0 0 0 28196 20 0 0 20 0 1 0 11943519 373039104 85250 18446744073709551615 4194304 5970956 140727414018032 140727414014744 5328044 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85250 826 434 0 84438 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 364296

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/182 24726
/proc/meminfo: memFree=31232000/32770624 swapFree=0/414988
[pid=24675] ppid=24672 vsize=364296 CPUtime=342.17 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 244453 0 0 0 34197 20 0 0 20 0 1 0 11943519 373039104 85250 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4908256 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85250 826 434 0 84438 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 364296

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 24728
/proc/meminfo: memFree=31232476/32770624 swapFree=0/415012
[pid=24675] ppid=24672 vsize=364296 CPUtime=402.18 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 244824 0 0 0 40198 20 0 0 20 0 1 0 11943519 373039104 85250 18446744073709551615 4194304 5970956 140727414018032 140727414014744 5052118 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85250 826 434 0 84438 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 364296

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 24730
/proc/meminfo: memFree=31232228/32770624 swapFree=0/415032
[pid=24675] ppid=24672 vsize=364296 CPUtime=462.18 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 244909 0 0 0 46198 20 0 0 20 0 1 0 11943519 373039104 85250 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4965134 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85250 826 434 0 84438 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 364296

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 24732
/proc/meminfo: memFree=31232724/32770624 swapFree=0/415060
[pid=24675] ppid=24672 vsize=364296 CPUtime=522.19 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 245280 0 0 0 52199 20 0 0 20 0 1 0 11943519 373039104 85250 18446744073709551615 4194304 5970956 140727414018032 140727414014744 5071023 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85250 826 434 0 84438 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 364296

[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 24734
/proc/meminfo: memFree=31232804/32770624 swapFree=0/415076
[pid=24675] ppid=24672 vsize=364296 CPUtime=582.19 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 245372 0 0 0 58199 20 0 0 20 0 1 0 11943519 373039104 85250 18446744073709551615 4194304 5970956 140727414018032 140727414014744 5071023 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85250 826 434 0 84438 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 364296


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


[startup+1482.3 s]
/proc/loadavg: 1.97 2.01 2.03 3/181 24853
/proc/meminfo: memFree=30750372/32770624 swapFree=0/415532
[pid=24675] ppid=24672 vsize=364296 CPUtime=1482.3 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 248940 0 0 0 148209 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4964912 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 364296

[startup+1542.31 s]
/proc/loadavg: 2.04 2.02 2.04 3/181 24856
/proc/meminfo: memFree=30747780/32770624 swapFree=0/415576
[pid=24675] ppid=24672 vsize=364296 CPUtime=1542.31 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 249346 0 0 0 154210 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4961411 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 364296

[startup+1602.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/181 24858
/proc/meminfo: memFree=30749352/32770624 swapFree=0/415612
[pid=24675] ppid=24672 vsize=364296 CPUtime=1602.31 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 249416 0 0 0 160210 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4964705 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 364296

[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 24860
/proc/meminfo: memFree=30747976/32770624 swapFree=0/415636
[pid=24675] ppid=24672 vsize=364296 CPUtime=1662.32 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 249801 0 0 0 166211 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4908175 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 364296

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 24863
/proc/meminfo: memFree=30749036/32770624 swapFree=0/415676
[pid=24675] ppid=24672 vsize=364296 CPUtime=1722.32 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 249899 0 0 0 172211 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4964452 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 364296

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 24865
/proc/meminfo: memFree=30749028/32770624 swapFree=0/415704
[pid=24675] ppid=24672 vsize=364296 CPUtime=1782.33 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 250268 0 0 0 178212 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4964327 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 364296

[startup+1842.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/184 24881
/proc/meminfo: memFree=30744468/32770624 swapFree=0/415764
[pid=24675] ppid=24672 vsize=364296 CPUtime=1842.33 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 250345 0 0 0 184212 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4965059 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 1842.33
Current children cumulated vsize (KiB) 364296

[startup+1902.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/184 24883
/proc/meminfo: memFree=30744248/32770624 swapFree=0/415796
[pid=24675] ppid=24672 vsize=364296 CPUtime=1902.34 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 250744 0 0 0 190213 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4964389 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 1902.34
Current children cumulated vsize (KiB) 364296

[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 24885
/proc/meminfo: memFree=30749200/32770624 swapFree=0/415832
[pid=24675] ppid=24672 vsize=364296 CPUtime=1962.35 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 250786 0 0 0 196214 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4964363 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 1962.35
Current children cumulated vsize (KiB) 364296

[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 24887
/proc/meminfo: memFree=30748952/32770624 swapFree=0/415860
[pid=24675] ppid=24672 vsize=364296 CPUtime=2022.35 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 251202 0 0 0 202214 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4964705 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 2022.35
Current children cumulated vsize (KiB) 364296

[startup+2082.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/181 24889
/proc/meminfo: memFree=30749512/32770624 swapFree=0/415888
[pid=24675] ppid=24672 vsize=364296 CPUtime=2082.36 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 251243 0 0 0 208215 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 5052121 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 2082.36
Current children cumulated vsize (KiB) 364296

[startup+2142.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/181 24891
/proc/meminfo: memFree=30749008/32770624 swapFree=0/415920
[pid=24675] ppid=24672 vsize=364296 CPUtime=2142.36 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 251645 0 0 0 214215 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4908386 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 2142.36
Current children cumulated vsize (KiB) 364296

[startup+2202.31 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 24893
/proc/meminfo: memFree=30749384/32770624 swapFree=0/415952
[pid=24675] ppid=24672 vsize=364296 CPUtime=2202.38 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 251708 0 0 0 220217 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4908588 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 2202.38
Current children cumulated vsize (KiB) 364296

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 24895
/proc/meminfo: memFree=30749012/32770624 swapFree=0/415984
[pid=24675] ppid=24672 vsize=364296 CPUtime=2262.38 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 252060 0 0 0 226217 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4961429 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 2262.38
Current children cumulated vsize (KiB) 364296

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 24897
/proc/meminfo: memFree=30749604/32770624 swapFree=0/416012
[pid=24675] ppid=24672 vsize=364296 CPUtime=2322.38 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 252136 0 0 0 232217 21 0 0 20 0 1 0 11943519 373039104 85251 18446744073709551615 4194304 5970956 140727414018032 140727414014744 5338352 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85251 826 434 0 84438 0
Current children cumulated CPU time (s) 2322.38
Current children cumulated vsize (KiB) 364296

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 24899
/proc/meminfo: memFree=30749108/32770624 swapFree=0/416040
[pid=24675] ppid=24672 vsize=364296 CPUtime=2382.39 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 252483 0 0 0 238218 21 0 0 20 0 1 0 11943519 373039104 85252 18446744073709551615 4194304 5970956 140727414018032 140727414014744 5098928 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85252 826 434 0 84438 0
Current children cumulated CPU time (s) 2382.39
Current children cumulated vsize (KiB) 364296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 24899
/proc/meminfo: memFree=30749232/32770624 swapFree=0/416056
[pid=24675] ppid=24672 vsize=364296 CPUtime=2400.09 cores=1,3,5,7
/proc/24675/stat : 24675 (cosoco) R 24672 24675 9955 0 -1 4202496 252515 0 0 0 239988 21 0 0 20 0 1 0 11943519 373039104 85252 18446744073709551615 4194304 5970956 140727414018032 140727414014744 4964406 0 0 1 8405026 0 0 0 17 5 0 0 8 0 0 8070896 8075904 32182272 140727414022604 140727414022734 140727414022734 140727414026190 0
/proc/24675/statm: 91074 85252 826 434 0 84438 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 364296

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

Child status: 1
Real time (s): 2400
CPU time (s): 2400.1
CPU user time (s): 2399.89
CPU system time (s): 0.211021
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 364296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.89
system time used= 0.211021
maximum resident set size= 341056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252567
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= 105
involuntary context switches= 749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.02783 second user time and 10.8323 second system time

The end

Launcher Data

Begin job on node125 at 2017-08-07 10:59:43
IDJOB=4242278
IDBENCH=140579
IDSOLVER=2620
FILE ID=node125/4242278-1502097226
RUNJOBID= node125-1502042574-16653
PBS_JOBID= 
Free space on /tmp= 62028 MiB

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

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

MD5SUM BENCH= 778dc3cd7adf307db423468d07378e38
RANDOM SEED=1972679358

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:        31572540 kB
MemAvailable:   31913040 kB
Buffers:          142220 kB
Cached:           486816 kB
SwapCached:            0 kB
Active:           358864 kB
Inactive:         431472 kB
Active(anon):     161376 kB
Inactive(anon):    16716 kB
Active(file):     197488 kB
Inactive(file):   414756 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2768 kB
Writeback:             4 kB
AnonPages:        161040 kB
Mapped:            33268 kB
Shmem:             17060 kB
Slab:             112420 kB
SReclaimable:      88180 kB
SUnreclaim:        24240 kB
KernelStack:        3200 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     415112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 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 11:39:43

Name	Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml
MD5SUM	778dc3cd7adf307db423468d07378e38
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
Satisfiable
(Un)Satisfiability was proved
Number of variables	1156
Number of constraints	5984
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	0
Maximum variable degree	33
Distribution of variable degrees	[{"degree":0,"count":595},{"degree":33,"count":561}]
Minimum constraint arity	3
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":3,"count":5984}]
Number of extensional constraints	0
Number of intensional constraints	5984
Distribution of constraint types	[{"type":"intension","count":5984}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4242278

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data