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.09	2400.21

0.09/0.14	c best=?? lower=0 upper=53940 
0.39/0.42	c
0.39/0.42	c This is cosoco 1.0 --  
0.39/0.42	c
0.39/0.42	c enable optimization
0.39/0.42	c ========================================[ Problem Statistics ]===========================================
0.39/0.42	c |                                                                                                       
0.39/0.42	c |  Parse time        :         0.14 s 
0.39/0.42	c |
0.39/0.42	c |               Variables: 1122
0.39/0.42	c |            Domain Sizes: 1..101
0.39/0.42	c |
0.39/0.42	c |             Constraints: 1089
0.39/0.42	c |                   Arity: 1..1056  -- Unary: 32  -- Ternary: 992
0.39/0.42	c | 
0.39/0.42	c |                   Types: 
0.39/0.42	c |                          Exactly K: 64
0.39/0.42	c |                          Intension: 32
0.39/0.42	c |                          Sum: 993
0.39/0.42	c |                          
0.39/0.42	c =========================================================================================================
0.39/0.42	o 1818
0.39/0.42	c    1 calls to solver: best=1818 lower=0 upper=1817 
0.89/0.95	o 1814
2400.07/2400.20	
2400.07/2400.20	c *** INTERRUPTED ***
2400.07/2400.20	s SATISFIABLE
2400.07/2400.20	c Best value found: 1814
2400.07/2400.20	
2400.07/2400.20	
2400.07/2400.20	v <instantiation type='solution' cost='1814'>
2400.07/2400.20	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] u[0] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] </list>
2400.07/2400.20	v <values>* 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0

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-4240898-1500640738/watcher-4240898-1500640738 -o /tmp/evaluation-result-4240898-1500640738/solver-4240898-1500640738 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500635929-6889 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240898-1500640738.xml 

pid=7520
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: 1.92 2.00 2.04 3/186 7523
/proc/meminfo: memFree=31525152/32770624 swapFree=6716/332676
[pid=7523] ppid=7520 vsize=27120 CPUtime=0 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 970 0 0 0 0 0 0 0 20 0 1 0 17513745 27770880 802 33554432000 4194304 5970956 140736066762208 140736066758856 140714207595493 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 6780 802 698 434 0 144 0

[startup+0.100172 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 7523
/proc/meminfo: memFree=31525152/32770624 swapFree=6716/332676
[pid=7523] ppid=7520 vsize=33184 CPUtime=0.09 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 2585 0 0 0 9 0 0 0 20 0 1 0 17513745 33980416 2416 33554432000 4194304 5970956 140736066762208 140736066754544 5094475 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 8296 2416 794 434 0 1660 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33184

[startup+0.200387 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 7523
/proc/meminfo: memFree=31525152/32770624 swapFree=6716/332676
[pid=7523] ppid=7520 vsize=34756 CPUtime=0.19 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 3012 0 0 0 19 0 0 0 20 0 1 0 17513745 35590144 2807 33554432000 4194304 5970956 140736066762208 140736066759240 140714207595493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 8689 2807 837 434 0 2053 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34756

[startup+0.300324 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 7523
/proc/meminfo: memFree=31525152/32770624 swapFree=6716/332676
[pid=7523] ppid=7520 vsize=36216 CPUtime=0.29 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 3400 0 0 0 29 0 0 0 20 0 1 0 17513745 37085184 3203 33554432000 4194304 5970956 140736066762208 140736066758952 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9054 3203 837 434 0 2418 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36216

[startup+0.70028 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 7523
/proc/meminfo: memFree=31525152/32770624 swapFree=6716/332676
[pid=7523] ppid=7520 vsize=38216 CPUtime=0.69 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 3877 0 0 0 69 0 0 0 20 0 1 0 17513745 39133184 3665 33554432000 4194304 5970956 140736066762208 140736066758952 5047024 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9554 3665 838 434 0 2918 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38216

[startup+1.50028 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 7524
/proc/meminfo: memFree=31512568/32770624 swapFree=6716/332716
[pid=7523] ppid=7520 vsize=39144 CPUtime=1.49 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 4112 0 0 0 149 0 0 0 20 0 1 0 17513745 40083456 3929 33554432000 4194304 5970956 140736066762208 140736066759080 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9786 3929 838 434 0 3150 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39144

[startup+3.10028 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 7524
/proc/meminfo: memFree=31511832/32770624 swapFree=6716/332716
[pid=7523] ppid=7520 vsize=39280 CPUtime=3.09 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 6835 0 0 0 309 0 0 0 20 0 1 0 17513745 40222720 4008 33554432000 4194304 5970956 140736066762208 140736066758984 5045304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9820 4008 838 434 0 3184 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39280

[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 7524
/proc/meminfo: memFree=31510104/32770624 swapFree=6716/332728
[pid=7523] ppid=7520 vsize=39412 CPUtime=6.29 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 9611 0 0 0 629 0 0 0 20 0 1 0 17513745 40357888 4025 33554432000 4194304 5970956 140736066762208 140736066758952 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9853 4025 838 434 0 3217 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39412

[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 7524
/proc/meminfo: memFree=31505524/32770624 swapFree=6716/332732
[pid=7523] ppid=7520 vsize=39412 CPUtime=12.69 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 12322 0 0 0 1269 0 0 0 20 0 1 0 17513745 40357888 4036 33554432000 4194304 5970956 140736066762208 140736066758952 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9853 4036 838 434 0 3217 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39412

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 7524
/proc/meminfo: memFree=31503672/32770624 swapFree=6716/332744
[pid=7523] ppid=7520 vsize=39412 CPUtime=25.49 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 17504 0 0 0 2548 1 0 0 20 0 1 0 17513745 40357888 4043 33554432000 4194304 5970956 140736066762208 140736066758952 5045486 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9853 4043 838 434 0 3217 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39412

[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.05 3/187 7524
/proc/meminfo: memFree=31502524/32770624 swapFree=6716/332768
[pid=7523] ppid=7520 vsize=39412 CPUtime=51.09 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 20073 0 0 0 5108 1 0 0 20 0 1 0 17513745 40357888 4043 33554432000 4194304 5970956 140736066762208 140736066758952 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9853 4043 838 434 0 3217 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39412

[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 7532
/proc/meminfo: memFree=31498360/32770624 swapFree=6716/332808
[pid=7523] ppid=7520 vsize=39412 CPUtime=102.29 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 22654 0 0 0 10228 1 0 0 20 0 1 0 17513745 40357888 4043 33554432000 4194304 5970956 140736066762208 140736066758952 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9853 4043 838 434 0 3217 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 39412

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7533
/proc/meminfo: memFree=31499800/32770624 swapFree=6716/332852
[pid=7523] ppid=7520 vsize=39412 CPUtime=162.28 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 23154 0 0 0 16227 1 0 0 20 0 1 0 17513745 40357888 4044 33554432000 4194304 5970956 140736066762208 140736066758952 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9853 4044 838 434 0 3217 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 39412

[startup+222.306 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 7534
/proc/meminfo: memFree=31499468/32770624 swapFree=6716/332884
[pid=7523] ppid=7520 vsize=39412 CPUtime=222.28 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 23653 0 0 0 22227 1 0 0 20 0 1 0 17513745 40357888 4046 33554432000 4194304 5970956 140736066762208 140736066758952 5136634 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9853 4046 838 434 0 3217 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 39412

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7535
/proc/meminfo: memFree=31499436/32770624 swapFree=6716/332904
[pid=7523] ppid=7520 vsize=39412 CPUtime=282.27 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 24154 0 0 0 28226 1 0 0 20 0 1 0 17513745 40357888 4046 33554432000 4194304 5970956 140736066762208 140736066758952 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9853 4046 838 434 0 3217 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 39412

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7536
/proc/meminfo: memFree=31499180/32770624 swapFree=6716/332940
[pid=7523] ppid=7520 vsize=39412 CPUtime=342.27 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 24654 0 0 0 34226 1 0 0 20 0 1 0 17513745 40357888 4047 33554432000 4194304 5970956 140736066762208 140736066758952 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9853 4047 838 434 0 3217 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 39412

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7537
/proc/meminfo: memFree=31499248/32770624 swapFree=6716/332960
[pid=7523] ppid=7520 vsize=39548 CPUtime=402.26 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 25151 0 0 0 40225 1 0 0 20 0 1 0 17513745 40497152 4047 33554432000 4194304 5970956 140736066762208 140736066758952 5045304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4047 838 434 0 3251 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 39548

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7538
/proc/meminfo: memFree=31499504/32770624 swapFree=6716/333000
[pid=7523] ppid=7520 vsize=39548 CPUtime=462.26 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 25645 0 0 0 46225 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5045316 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 39548

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7539
/proc/meminfo: memFree=31499472/32770624 swapFree=6716/333036
[pid=7523] ppid=7520 vsize=39548 CPUtime=522.26 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 26136 0 0 0 52225 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 39548

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7540
/proc/meminfo: memFree=31499408/32770624 swapFree=6716/333068
[pid=7523] ppid=7520 vsize=39548 CPUtime=582.26 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 26635 0 0 0 58225 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5136560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 39548


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

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 7595
/proc/meminfo: memFree=31497392/32770624 swapFree=6716/333580
[pid=7523] ppid=7520 vsize=39548 CPUtime=1482.21 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 32712 0 0 0 148220 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 39548

[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 7596
/proc/meminfo: memFree=31497760/32770624 swapFree=6716/333608
[pid=7523] ppid=7520 vsize=39548 CPUtime=1542.21 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 32993 0 0 0 154220 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5045304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 1542.21
Current children cumulated vsize (KiB) 39548

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/188 7597
/proc/meminfo: memFree=31498024/32770624 swapFree=6716/333636
[pid=7523] ppid=7520 vsize=39548 CPUtime=1602.2 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 33486 0 0 0 160219 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5136596 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 39548

[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 7598
/proc/meminfo: memFree=31498064/32770624 swapFree=6716/333676
[pid=7523] ppid=7520 vsize=39548 CPUtime=1662.2 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 33759 0 0 0 166219 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5045304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 39548

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7599
/proc/meminfo: memFree=31497956/32770624 swapFree=6716/333712
[pid=7523] ppid=7520 vsize=39548 CPUtime=1722.2 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 34032 0 0 0 172219 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5136560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 39548

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7600
/proc/meminfo: memFree=31497348/32770624 swapFree=6716/333728
[pid=7523] ppid=7520 vsize=39548 CPUtime=1782.19 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 34526 0 0 0 178218 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5136560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 1782.19
Current children cumulated vsize (KiB) 39548

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7601
/proc/meminfo: memFree=31497104/32770624 swapFree=6716/333760
[pid=7523] ppid=7520 vsize=39548 CPUtime=1842.19 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 34801 0 0 0 184218 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5045308 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 1842.19
Current children cumulated vsize (KiB) 39548

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7610
/proc/meminfo: memFree=31496720/32770624 swapFree=6716/333796
[pid=7523] ppid=7520 vsize=39548 CPUtime=1902.19 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 35080 0 0 0 190218 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5045304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 1902.19
Current children cumulated vsize (KiB) 39548

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7611
/proc/meminfo: memFree=31497196/32770624 swapFree=6716/333832
[pid=7523] ppid=7520 vsize=39548 CPUtime=1962.18 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 35571 0 0 0 196217 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 1962.18
Current children cumulated vsize (KiB) 39548

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7612
/proc/meminfo: memFree=31497204/32770624 swapFree=6716/333872
[pid=7523] ppid=7520 vsize=39548 CPUtime=2022.18 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 35853 0 0 0 202217 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 2022.18
Current children cumulated vsize (KiB) 39548

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7613
/proc/meminfo: memFree=31497092/32770624 swapFree=6716/333892
[pid=7523] ppid=7520 vsize=39548 CPUtime=2082.18 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 36121 0 0 0 208217 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5045304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 2082.18
Current children cumulated vsize (KiB) 39548

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7614
/proc/meminfo: memFree=31497004/32770624 swapFree=6716/333920
[pid=7523] ppid=7520 vsize=39548 CPUtime=2142.18 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 36389 0 0 0 214217 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5045640 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 2142.18
Current children cumulated vsize (KiB) 39548

[startup+2202.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 7615
/proc/meminfo: memFree=31497444/32770624 swapFree=6716/333956
[pid=7523] ppid=7520 vsize=39548 CPUtime=2202.18 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 36876 0 0 0 220217 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5136634 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 2202.18
Current children cumulated vsize (KiB) 39548

[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7616
/proc/meminfo: memFree=31497344/32770624 swapFree=6716/333996
[pid=7523] ppid=7520 vsize=39548 CPUtime=2262.17 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 37140 0 0 0 226216 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5047610 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 2262.17
Current children cumulated vsize (KiB) 39548

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7617
/proc/meminfo: memFree=31496964/32770624 swapFree=6716/334024
[pid=7523] ppid=7520 vsize=39548 CPUtime=2322.17 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 37406 0 0 0 232216 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5045736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 2322.17
Current children cumulated vsize (KiB) 39548

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7618
/proc/meminfo: memFree=31496656/32770624 swapFree=6716/334052
[pid=7523] ppid=7520 vsize=39548 CPUtime=2382.16 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 37897 0 0 0 238215 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5047081 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 2382.16
Current children cumulated vsize (KiB) 39548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7679
/proc/meminfo: memFree=31315204/32770624 swapFree=6716/334088
[pid=7523] ppid=7520 vsize=39548 CPUtime=2400.07 cores=0,2,4,6
/proc/7523/stat : 7523 (cosoco) R 7520 7523 4933 0 -1 4202496 38169 0 0 0 240006 1 0 0 20 0 1 0 17513745 40497152 4050 33554432000 4194304 5970956 140736066762208 140736066758952 5047576 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 28344320 140736066766017 140736066766147 140736066766147 140736066768846 0
/proc/7523/statm: 9887 4050 838 434 0 3251 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 39548

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

Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.09
CPU user time (s): 2400.06
CPU system time (s): 0.020998
CPU usage (%): 99.9949
Max. virtual memory (cumulated for all children) (KiB): 39548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.020998
maximum resident set size= 16244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38204
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= 11
involuntary context switches= 120655

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96542 second user time and 8.07365 second system time

The end

Launcher Data

Begin job on node137 at 2017-07-21 14:38:58
IDJOB=4240898
IDBENCH=124395
IDSOLVER=2620
FILE ID=node137/4240898-1500640738
RUNJOBID= node137-1500635929-6889
PBS_JOBID= 20622996
Free space on /tmp= 62020 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k5.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240898-1500640738/watcher-4240898-1500640738 -o /tmp/evaluation-result-4240898-1500640738/solver-4240898-1500640738 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500635929-6889 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4240898-1500640738.xml

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

MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078
RANDOM SEED=70409570

node137.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		: 1867.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.14
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.14
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		: 2000.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.14
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.14
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:        31526380 kB
MemAvailable:   31893896 kB
Buffers:          159936 kB
Cached:           496176 kB
SwapCached:            0 kB
Active:           474416 kB
Inactive:         349708 kB
Active(anon):     170648 kB
Inactive(anon):    17032 kB
Active(file):     303768 kB
Inactive(file):   332676 kB
Unevictable:        6716 kB
Mlocked:            6716 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2372 kB
Writeback:             0 kB
AnonPages:        320468 kB
Mapped:            35020 kB
Shmem:             17044 kB
Slab:             118784 kB
SReclaimable:      93812 kB
SUnreclaim:        24972 kB
KernelStack:        3360 kB
PageTables:         5236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     455668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

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

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml
MD5SUM	7965d79c566fadd70d01c63d02ba9078
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	661
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	1122
Number of constraints	1088
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}]
Minimum variable degree	0
Maximum variable degree	63
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}]
Minimum constraint arity	1
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}]
Number of extensional constraints	0
Number of intensional constraints	32
Distribution of constraint types	[{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4240898

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data