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

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

0.09/0.18	c SAT : Variables: 6092 -- Clauses: 179305
0.09/0.18	c best=?? lower=0 upper=65216 
0.59/0.65	c
0.59/0.65	c This is cosoco 1.0 --  
0.59/0.65	c
0.59/0.65	c enable optimization
0.59/0.65	c ========================================[ Problem Statistics ]===========================================
0.59/0.65	c |                                                                                                       
0.59/0.65	c |  Parse time        :         0.17 s 
0.59/0.65	c |
0.59/0.65	c |               Variables: 1332
0.59/0.65	c |            Domain Sizes: 1..101
0.59/0.65	c |
0.59/0.65	c |             Constraints: 1296
0.59/0.65	c |                   Arity: 1..1260  -- Unary: 35  -- Ternary: 1190
0.59/0.65	c | 
0.59/0.65	c |                   Types: 
0.59/0.65	c |                          Exactly K: 70
0.59/0.65	c |                          Intension: 35
0.59/0.65	c |                          Sum: 1191
0.59/0.65	c |                          
0.59/0.65	c =========================================================================================================
0.59/0.65	o 2430
0.59/0.65	c    1 calls to solver: best=2430 lower=0 upper=2429 
0.79/0.80	o 1974
2400.08/2400.30	
2400.08/2400.30	c *** INTERRUPTED ***
2400.08/2400.30	s SATISFIABLE
2400.08/2400.30	c Best value found: 1974
2400.08/2400.30	
2400.08/2400.30	
2400.08/2400.30	v <instantiation type='solution' cost='1974'>
2400.08/2400.30	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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]

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-4240908-1500640758/watcher-4240908-1500640758 -o /tmp/evaluation-result-4240908-1500640758/solver-4240908-1500640758 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4413 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240908-1500640758.xml 

pid=8153
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/186 8156
/proc/meminfo: memFree=29433936/32770624 swapFree=6240/1312596
[pid=8156] ppid=8153 vsize=27120 CPUtime=0 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 965 0 0 0 0 0 0 0 20 0 1 0 17352098 27770880 800 33554432000 4194304 5970956 140723434060944 140723434057592 140677341838309 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 6780 800 698 434 0 144 0

[startup+0.100177 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 8156
/proc/meminfo: memFree=29433936/32770624 swapFree=6240/1312596
[pid=8156] ppid=8153 vsize=35204 CPUtime=0.09 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 3107 0 0 0 9 0 0 0 20 0 1 0 17352098 36048896 2930 33554432000 4194304 5970956 140723434060944 140723434055320 140677341838309 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 8801 2930 788 434 0 2165 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35204

[startup+0.200407 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 8156
/proc/meminfo: memFree=29433936/32770624 swapFree=6240/1312596
[pid=8156] ppid=8153 vsize=45752 CPUtime=0.19 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 4975 0 0 0 19 0 0 0 20 0 1 0 17352098 46850048 5322 33554432000 4194304 5970956 140723434060944 140723434057768 140677341838309 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 11438 5322 843 434 0 4802 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 45752

[startup+0.300357 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 8156
/proc/meminfo: memFree=29433936/32770624 swapFree=6240/1312596
[pid=8156] ppid=8153 vsize=49332 CPUtime=0.28 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 5884 0 0 0 28 0 0 0 20 0 1 0 17352098 50515968 6180 33554432000 4194304 5970956 140723434060944 140723434057976 5045304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 12333 6180 843 434 0 5697 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49332

[startup+0.700282 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 8156
/proc/meminfo: memFree=29433936/32770624 swapFree=6240/1312596
[pid=8156] ppid=8153 vsize=52904 CPUtime=0.69 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 6749 0 0 0 68 1 0 0 20 0 1 0 17352098 54173696 7069 33554432000 4194304 5970956 140723434060944 140723434048248 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 13226 7069 843 434 0 6590 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52904

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8157
/proc/meminfo: memFree=29408740/32770624 swapFree=6240/1312592
[pid=8156] ppid=8153 vsize=53700 CPUtime=1.49 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 6975 0 0 0 148 1 0 0 20 0 1 0 17352098 54988800 7267 33554432000 4194304 5970956 140723434060944 140723434057688 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 13425 7267 844 434 0 6789 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53700

[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8157
/proc/meminfo: memFree=29407996/32770624 swapFree=6240/1312592
[pid=8156] ppid=8153 vsize=54076 CPUtime=3.09 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 10800 0 0 0 308 1 0 0 20 0 1 0 17352098 55373824 7409 33554432000 4194304 5970956 140723434060944 140723434057688 5047044 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 13519 7409 844 434 0 6883 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54076

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8157
/proc/meminfo: memFree=29407340/32770624 swapFree=6240/1312592
[pid=8156] ppid=8153 vsize=54188 CPUtime=6.29 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 14608 0 0 0 628 1 0 0 20 0 1 0 17352098 55488512 7434 33554432000 4194304 5970956 140723434060944 140723434058280 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 13547 7434 844 434 0 6911 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54188

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8157
/proc/meminfo: memFree=29406784/32770624 swapFree=6240/1312600
[pid=8156] ppid=8153 vsize=54188 CPUtime=12.68 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 18394 0 0 0 1267 1 0 0 20 0 1 0 17352098 55488512 7495 33554432000 4194304 5970956 140723434060944 140723434058280 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 13547 7495 844 434 0 6911 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 54188

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8157
/proc/meminfo: memFree=29406164/32770624 swapFree=6240/1312616
[pid=8156] ppid=8153 vsize=54188 CPUtime=25.49 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 25971 0 0 0 2547 2 0 0 20 0 1 0 17352098 55488512 7645 33554432000 4194304 5970956 140723434060944 140723434058280 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 13547 7645 844 434 0 6911 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54188

[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 8165
/proc/meminfo: memFree=29404896/32770624 swapFree=6240/1312636
[pid=8156] ppid=8153 vsize=56908 CPUtime=51.09 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 30560 0 0 0 5107 2 0 0 20 0 1 0 17352098 58273792 7905 33554432000 4194304 5970956 140723434060944 140723434058216 5047618 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 14227 7905 844 434 0 7591 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 56908

[startup+102.3 s]
/proc/loadavg: 2.16 2.06 2.06 3/188 8166
/proc/meminfo: memFree=29402872/32770624 swapFree=6240/1312668
[pid=8156] ppid=8153 vsize=61432 CPUtime=102.29 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 35696 0 0 0 10227 2 0 0 20 0 1 0 17352098 62906368 8387 33554432000 4194304 5970956 140723434060944 140723434058216 5047048 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15358 8387 844 434 0 8722 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 61432

[startup+162.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/188 8167
/proc/meminfo: memFree=29402764/32770624 swapFree=6240/1312700
[pid=8156] ppid=8153 vsize=61544 CPUtime=162.27 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 40563 0 0 0 16225 2 0 0 20 0 1 0 17352098 63021056 8474 33554432000 4194304 5970956 140723434060944 140723434058280 5047066 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8474 844 434 0 8750 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 61544

[startup+222.306 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 8168
/proc/meminfo: memFree=29401080/32770624 swapFree=6240/1312736
[pid=8156] ppid=8153 vsize=61544 CPUtime=222.26 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 45262 0 0 0 22224 2 0 0 20 0 1 0 17352098 63021056 8497 33554432000 4194304 5970956 140723434060944 140723434058280 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8497 844 434 0 8750 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 61544

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 8169
/proc/meminfo: memFree=29401204/32770624 swapFree=6240/1312764
[pid=8156] ppid=8153 vsize=61544 CPUtime=282.26 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 46343 0 0 0 28223 3 0 0 20 0 1 0 17352098 63021056 8508 33554432000 4194304 5970956 140723434060944 140723434058280 5045316 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8508 844 434 0 8750 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 61544

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 8172
/proc/meminfo: memFree=29401112/32770624 swapFree=6240/1312804
[pid=8156] ppid=8153 vsize=61544 CPUtime=342.26 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 47426 0 0 0 34223 3 0 0 20 0 1 0 17352098 63021056 8529 33554432000 4194304 5970956 140723434060944 140723434058280 5333488 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8529 844 434 0 8750 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 61544

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8173
/proc/meminfo: memFree=29401208/32770624 swapFree=6240/1312832
[pid=8156] ppid=8153 vsize=61544 CPUtime=402.25 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 48532 0 0 0 40222 3 0 0 20 0 1 0 17352098 63021056 8538 33554432000 4194304 5970956 140723434060944 140723434058280 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8538 844 434 0 8750 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 61544

[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 8174
/proc/meminfo: memFree=29401828/32770624 swapFree=6240/1312860
[pid=8156] ppid=8153 vsize=61544 CPUtime=462.24 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 49608 0 0 0 46221 3 0 0 20 0 1 0 17352098 63021056 8546 33554432000 4194304 5970956 140723434060944 140723434058280 5045640 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8546 844 434 0 8750 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 61544

[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 8175
/proc/meminfo: memFree=29401596/32770624 swapFree=6240/1312892
[pid=8156] ppid=8153 vsize=61544 CPUtime=522.24 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 50732 0 0 0 52221 3 0 0 20 0 1 0 17352098 63021056 8556 33554432000 4194304 5970956 140723434060944 140723434058280 5311659 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8556 844 434 0 8750 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 61544

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8176
/proc/meminfo: memFree=29401472/32770624 swapFree=6240/1312928
[pid=8156] ppid=8153 vsize=61544 CPUtime=582.23 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 51334 0 0 0 58220 3 0 0 20 0 1 0 17352098 63021056 8556 33554432000 4194304 5970956 140723434060944 140723434058280 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8556 844 434 0 8750 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 61544


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 8294
/proc/meminfo: memFree=29851280/32770624 swapFree=6240/1313556
[pid=8156] ppid=8153 vsize=61544 CPUtime=1542.16 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 66778 0 0 0 154212 4 0 0 20 0 1 0 17352098 63021056 8607 33554432000 4194304 5970956 140723434060944 140723434058280 5136596 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8607 844 434 0 8750 0
Current children cumulated CPU time (s) 1542.16
Current children cumulated vsize (KiB) 61544

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8294
/proc/meminfo: memFree=29851464/32770624 swapFree=6240/1313584
[pid=8156] ppid=8153 vsize=61544 CPUtime=1602.15 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 67331 0 0 0 160211 4 0 0 20 0 1 0 17352098 63021056 8607 33554432000 4194304 5970956 140723434060944 140723434058280 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8607 844 434 0 8750 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 61544

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8296
/proc/meminfo: memFree=29851524/32770624 swapFree=6240/1313612
[pid=8156] ppid=8153 vsize=61544 CPUtime=1662.14 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 68464 0 0 0 166210 4 0 0 20 0 1 0 17352098 63021056 8612 33554432000 4194304 5970956 140723434060944 140723434058280 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8612 844 434 0 8750 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 61544

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8296
/proc/meminfo: memFree=29851512/32770624 swapFree=6240/1313644
[pid=8156] ppid=8153 vsize=61544 CPUtime=1722.14 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 69093 0 0 0 172210 4 0 0 20 0 1 0 17352098 63021056 8612 33554432000 4194304 5970956 140723434060944 140723434058280 5045728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8612 844 434 0 8750 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 61544

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8297
/proc/meminfo: memFree=29850892/32770624 swapFree=6240/1313680
[pid=8156] ppid=8153 vsize=61544 CPUtime=1782.13 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 69672 0 0 0 178209 4 0 0 20 0 1 0 17352098 63021056 8612 33554432000 4194304 5970956 140723434060944 140723434058280 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8612 844 434 0 8750 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 61544

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8298
/proc/meminfo: memFree=29850760/32770624 swapFree=6240/1313712
[pid=8156] ppid=8153 vsize=61544 CPUtime=1842.13 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 70242 0 0 0 184209 4 0 0 20 0 1 0 17352098 63021056 8612 33554432000 4194304 5970956 140723434060944 140723434058280 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8612 844 434 0 8750 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 61544

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8306
/proc/meminfo: memFree=29850568/32770624 swapFree=6240/1313756
[pid=8156] ppid=8153 vsize=61544 CPUtime=1902.12 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 70793 0 0 0 190208 4 0 0 20 0 1 0 17352098 63021056 8612 33554432000 4194304 5970956 140723434060944 140723434058280 5136560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8612 844 434 0 8750 0
Current children cumulated CPU time (s) 1902.12
Current children cumulated vsize (KiB) 61544

[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 8307
/proc/meminfo: memFree=29850816/32770624 swapFree=6240/1313784
[pid=8156] ppid=8153 vsize=61544 CPUtime=1962.12 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 71931 0 0 0 196208 4 0 0 20 0 1 0 17352098 63021056 8617 33554432000 4194304 5970956 140723434060944 140723434058280 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8617 844 434 0 8750 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 61544

[startup+2022.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 8308
/proc/meminfo: memFree=29850312/32770624 swapFree=6240/1313820
[pid=8156] ppid=8153 vsize=61544 CPUtime=2022.11 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 72615 0 0 0 202207 4 0 0 20 0 1 0 17352098 63021056 8617 33554432000 4194304 5970956 140723434060944 140723434058280 5047044 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8617 844 434 0 8750 0
Current children cumulated CPU time (s) 2022.11
Current children cumulated vsize (KiB) 61544

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8309
/proc/meminfo: memFree=29850428/32770624 swapFree=6240/1313848
[pid=8156] ppid=8153 vsize=61544 CPUtime=2082.11 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 73315 0 0 0 208207 4 0 0 20 0 1 0 17352098 63021056 8617 33554432000 4194304 5970956 140723434060944 140723434058280 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8617 844 434 0 8750 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 61544

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8310
/proc/meminfo: memFree=29849888/32770624 swapFree=6240/1313876
[pid=8156] ppid=8153 vsize=61544 CPUtime=2142.1 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 74031 0 0 0 214206 4 0 0 20 0 1 0 17352098 63021056 8729 33554432000 4194304 5970956 140723434060944 140723434058280 5136577 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8729 844 434 0 8750 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 61544

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8311
/proc/meminfo: memFree=29849772/32770624 swapFree=6240/1313908
[pid=8156] ppid=8153 vsize=61544 CPUtime=2202.1 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 74812 0 0 0 220206 4 0 0 20 0 1 0 17352098 63021056 8731 33554432000 4194304 5970956 140723434060944 140723434058280 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8731 844 434 0 8750 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 61544

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8312
/proc/meminfo: memFree=29849772/32770624 swapFree=6240/1313936
[pid=8156] ppid=8153 vsize=61544 CPUtime=2262.09 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 75305 0 0 0 226205 4 0 0 20 0 1 0 17352098 63021056 8731 33554432000 4194304 5970956 140723434060944 140723434058280 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8731 844 434 0 8750 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 61544

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8313
/proc/meminfo: memFree=29849772/32770624 swapFree=6240/1313972
[pid=8156] ppid=8153 vsize=61544 CPUtime=2322.09 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 75805 0 0 0 232205 4 0 0 20 0 1 0 17352098 63021056 8731 33554432000 4194304 5970956 140723434060944 140723434058280 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8731 844 434 0 8750 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 61544

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8314
/proc/meminfo: memFree=29849896/32770624 swapFree=6240/1314000
[pid=8156] ppid=8153 vsize=61544 CPUtime=2382.08 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 76319 0 0 0 238204 4 0 0 20 0 1 0 17352098 63021056 8731 33554432000 4194304 5970956 140723434060944 140723434058280 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8731 844 434 0 8750 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 61544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8315
/proc/meminfo: memFree=29849904/32770624 swapFree=6240/1314028
[pid=8156] ppid=8153 vsize=61544 CPUtime=2400.08 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 77040 0 0 0 240004 4 0 0 20 0 1 0 17352098 63021056 8731 33554432000 4194304 5970956 140723434060944 140723434058280 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8731 844 434 0 8750 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 61544

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

[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8315
/proc/meminfo: memFree=29849904/32770624 swapFree=6240/1314028
[pid=8156] ppid=8153 vsize=61544 CPUtime=2400.08 cores=0,2,4,6
/proc/8156/stat : 8156 (cosoco) R 8153 8156 4382 0 -1 4202496 77040 0 0 0 240004 4 0 0 20 0 1 0 17352098 63021056 8731 33554432000 4194304 5970956 140723434060944 140723434058280 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 19636224 140723434063036 140723434063171 140723434063171 140723434065870 0
/proc/8156/statm: 15386 8731 844 434 0 8750 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 61544

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.1
CPU user time (s): 2400.05
CPU system time (s): 0.045996
CPU usage (%): 99.9912
Max. virtual memory (cumulated for all children) (KiB): 61544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.045996
maximum resident set size= 34968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77072
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= 21
involuntary context switches= 123020

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63086 second user time and 8.59791 second system time

The end

Launcher Data

Begin job on node130 at 2017-07-21 14:39:18
IDJOB=4240908
IDBENCH=124412
IDSOLVER=2621
FILE ID=node130/4240908-1500640758
RUNJOBID= node130-1500623778-4413
PBS_JOBID= 20623003
Free space on /tmp= 61964 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n36-k5.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240908-1500640758/watcher-4240908-1500640758 -o /tmp/evaluation-result-4240908-1500640758/solver-4240908-1500640758 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4413 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240908-1500640758.xml

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

MD5SUM BENCH= bb36812fd58cb568268e8c9b807d30b9
RANDOM SEED=1351247069

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29434360 kB
MemAvailable:   30770844 kB
Buffers:          165772 kB
Cached:          1455792 kB
SwapCached:            0 kB
Active:          1577120 kB
Inactive:        1329848 kB
Active(anon):    1287496 kB
Inactive(anon):    16992 kB
Active(file):     289624 kB
Inactive(file):  1312856 kB
Unevictable:        6240 kB
Mlocked:            6240 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2412 kB
Writeback:             0 kB
AnonPages:       1296952 kB
Mapped:            34412 kB
Shmem:             17044 kB
Slab:             125112 kB
SReclaimable:      99676 kB
SUnreclaim:        25436 kB
KernelStack:        3568 kB
PageTables:         7868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1716828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1136640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61960 MiB
End job on node130 at 2017-07-21 15:19:18

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml
MD5SUM	bb36812fd58cb568268e8c9b807d30b9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	853
Best CPU time to get the best result obtained on this benchmark	2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables	1332
Number of constraints	1295
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}]
Minimum variable degree	0
Maximum variable degree	69
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}]
Minimum constraint arity	1
Maximum constraint arity	35
Distribution of constraint arities	[{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}]
Number of extensional constraints	0
Number of intensional constraints	35
Distribution of constraint types	[{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4240908

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data