0.28/0.30	c best=?? lower=0 upper=1024 
4.78/4.82	c
4.78/4.82	c This is cosoco 1.0 --  
4.78/4.82	c
4.78/4.82	c enable optimization
4.78/4.82	c ========================================[ Problem Statistics ]===========================================
4.78/4.82	c |                                                                                                       
4.78/4.82	c |  Parse time        :         0.29 s 
4.78/4.82	c |
4.78/4.82	c |               Variables: 2347
4.78/4.82	c |            Domain Sizes: 2..2313
4.78/4.82	c |
4.78/4.82	c |             Constraints: 1485
4.78/4.82	c |                   Arity: 1..36  -- Unary: 137  -- Binary: 162  -- Ternary: 128
4.78/4.82	c | 
4.78/4.82	c |                   Types: 
4.78/4.82	c |                          : 124
4.78/4.82	c |                          Extension: 1028  (nb tuples: 1..724) -- (shared: 1147)
4.78/4.82	c |                          Intension: 162
4.78/4.82	c |                          Sum: 35
4.78/4.82	c |                          Unary: 136
4.78/4.82	c |                          
4.78/4.82	c =========================================================================================================
4.78/4.82	o 10
4.78/4.82	c    1 calls to solver: best=10 lower=11 upper=1024 
5.18/5.20	o 11
6.89/6.98	o 21
6.89/6.98	c    3 calls to solver: best=21 lower=22 upper=1024 
7.80/7.88	o 26
8.29/8.35	o 28
8.29/8.35	c    5 calls to solver: best=28 lower=29 upper=1024 
8.69/8.73	o 40
9.49/9.59	o 45
9.49/9.59	c    7 calls to solver: best=45 lower=46 upper=1024 
11.99/12.09	o 49
12.38/12.49	o 50
12.38/12.49	c    9 calls to solver: best=50 lower=51 upper=1024 
13.19/13.23	o 54
14.98/15.06	o 56
14.98/15.06	c   11 calls to solver: best=56 lower=57 upper=1024 
16.59/16.68	o 57
27.09/27.19	o 65
27.09/27.19	c   13 calls to solver: best=65 lower=66 upper=1024 
28.99/29.09	o 66
30.19/30.27	o 104
30.19/30.27	c   15 calls to solver: best=104 lower=105 upper=1024 
31.89/31.94	o 125
170.44/170.50	o 151
170.44/170.50	c   17 calls to solver: best=151 lower=152 upper=1024 
2400.09/2400.50	
2400.09/2400.50	c *** INTERRUPTED ***
2400.09/2400.50	s SATISFIABLE
2400.09/2400.50	c Best value found: 151
2400.09/2400.50	
2400.09/2400.50	
2400.09/2400.50	v <instantiation type='solution' cost='151'>
2400.09/2400.50	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] z </list>
2400.09/2400.50	v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 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 1 1 1 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 1 1 1 2 

ERROR: no instantiation found

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-4239986-1500634269/watcher-4239986-1500634269 -o /tmp/evaluation-result-4239986-1500634269/solver-4239986-1500634269 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500623787-5215 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239986-1500634269.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 7796
/proc/meminfo: memFree=31057016/32770624 swapFree=6216/754348
[pid=7796] ppid=7793 vsize=27120 CPUtime=0 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 985 0 0 0 0 0 0 0 20 0 1 0 18134633 27770880 802 33554432000 4194304 5970956 140726606078416 140726606077032 140578822867941 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 6780 802 698 434 0 144 0

[startup+0.100128 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 7796
/proc/meminfo: memFree=31057016/32770624 swapFree=6216/754348
[pid=7796] ppid=7793 vsize=42268 CPUtime=0.09 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 4809 0 0 0 9 0 0 0 20 0 1 0 18134633 43282432 4634 33554432000 4194304 5970956 140726606078416 140726606075016 5182992 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 10567 4634 736 434 0 3931 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42268

[startup+0.200382 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 7796
/proc/meminfo: memFree=31057016/32770624 swapFree=6216/754348
[pid=7796] ppid=7793 vsize=43592 CPUtime=0.19 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 5183 0 0 0 19 0 0 0 20 0 1 0 18134633 44638208 5016 33554432000 4194304 5970956 140726606078416 140726606072248 140578832226117 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 10898 5016 792 434 0 4262 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 43592

[startup+0.300202 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 7796
/proc/meminfo: memFree=31057016/32770624 swapFree=6216/754348
[pid=7796] ppid=7793 vsize=49768 CPUtime=0.28 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 6748 0 0 0 28 0 0 0 20 0 1 0 18134633 50962432 6568 33554432000 4194304 5970956 140726606078416 140726606072008 140578822867941 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 12442 6568 810 434 0 5806 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 49768

[startup+0.700225 s]
/proc/loadavg: 1.97 2.01 2.04 3/187 7796
/proc/meminfo: memFree=31057016/32770624 swapFree=6216/754348
[pid=7796] ppid=7793 vsize=66604 CPUtime=0.69 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 10983 0 0 0 68 1 0 0 20 0 1 0 18134633 68202496 10792 33554432000 4194304 5970956 140726606078416 140726606075240 4930648 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 16651 10792 848 434 0 10015 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 66604

[startup+1.50021 s]
/proc/loadavg: 1.97 2.01 2.04 3/188 7797
/proc/meminfo: memFree=31015968/32770624 swapFree=6216/754460
[pid=7796] ppid=7793 vsize=67000 CPUtime=1.49 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 11108 0 0 0 148 1 0 0 20 0 1 0 18134633 68608000 10889 33554432000 4194304 5970956 140726606078416 140726606075288 4964363 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 16750 10889 848 434 0 10114 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 67000

[startup+3.10023 s]
/proc/loadavg: 1.97 2.01 2.04 3/188 7797
/proc/meminfo: memFree=31001092/32770624 swapFree=6216/754460
[pid=7796] ppid=7793 vsize=77828 CPUtime=3.09 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 23611 0 0 0 307 2 0 0 20 0 1 0 18134633 79695872 13611 33554432000 4194304 5970956 140726606078416 140726606075128 5327360 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 19457 13611 848 434 0 12821 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77828

[startup+6.30021 s]
/proc/loadavg: 1.97 2.01 2.04 3/188 7797
/proc/meminfo: memFree=30989144/32770624 swapFree=6216/754476
[pid=7796] ppid=7793 vsize=86848 CPUtime=6.29 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 38208 0 0 0 626 3 0 0 20 0 1 0 18134633 88932352 15868 33554432000 4194304 5970956 140726606078416 140726606075976 5039152 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 21712 15868 850 434 0 15076 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86848

[startup+12.7002 s]
/proc/loadavg: 1.98 2.01 2.04 3/188 7797
/proc/meminfo: memFree=30986124/32770624 swapFree=6216/754484
[pid=7796] ppid=7793 vsize=89968 CPUtime=12.68 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 52028 0 0 0 1265 3 0 0 20 0 1 0 18134633 92127232 16640 33554432000 4194304 5970956 140726606078416 140726606065720 5039186 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 22492 16640 850 434 0 15856 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 89968

[startup+25.5002 s]
/proc/loadavg: 1.98 2.01 2.04 3/188 7797
/proc/meminfo: memFree=30982124/32770624 swapFree=6216/754504
[pid=7796] ppid=7793 vsize=90908 CPUtime=25.49 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 75001 0 0 0 2544 5 0 0 20 0 1 0 18134633 93089792 16892 33554432000 4194304 5970956 140726606078416 140726606075976 5098928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 22727 16892 850 434 0 16091 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 90908

[startup+51.1002 s]
/proc/loadavg: 1.99 2.01 2.04 3/188 7797
/proc/meminfo: memFree=30975900/32770624 swapFree=6216/754528
[pid=7796] ppid=7793 vsize=92400 CPUtime=51.08 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 91796 0 0 0 5103 5 0 0 20 0 1 0 18134633 94617600 17261 33554432000 4194304 5970956 140726606078416 140726606075240 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23100 17261 850 434 0 16464 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 92400

[startup+102.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 7798
/proc/meminfo: memFree=30966216/32770624 swapFree=6216/754564
[pid=7796] ppid=7793 vsize=93336 CPUtime=102.28 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 105911 0 0 0 10222 6 0 0 20 0 1 0 18134633 95576064 17492 33554432000 4194304 5970956 140726606078416 140726606075128 5322040 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23334 17492 850 434 0 16698 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 93336

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 7799
/proc/meminfo: memFree=30962552/32770624 swapFree=6216/754600
[pid=7796] ppid=7793 vsize=93608 CPUtime=162.24 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 113625 0 0 0 16217 7 0 0 20 0 1 0 18134633 95854592 17574 33554432000 4194304 5970956 140726606078416 140726606075128 5327380 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23402 17574 850 434 0 16766 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 93608

[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.05 3/188 7800
/proc/meminfo: memFree=30961360/32770624 swapFree=6216/754652
[pid=7796] ppid=7793 vsize=94952 CPUtime=222.23 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 114383 0 0 0 22216 7 0 0 20 0 1 0 18134633 97230848 17915 33554432000 4194304 5970956 140726606078416 140726606075240 4934366 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23738 17915 850 434 0 17102 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 94952

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7802
/proc/meminfo: memFree=30961408/32770624 swapFree=6216/754680
[pid=7796] ppid=7793 vsize=94952 CPUtime=282.22 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 114896 0 0 0 28215 7 0 0 20 0 1 0 18134633 97230848 17921 33554432000 4194304 5970956 140726606078416 140726606075240 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23738 17921 850 434 0 17102 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 94952

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7803
/proc/meminfo: memFree=30960860/32770624 swapFree=6216/754712
[pid=7796] ppid=7793 vsize=94952 CPUtime=342.21 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 115393 0 0 0 34214 7 0 0 20 0 1 0 18134633 97230848 17924 33554432000 4194304 5970956 140726606078416 140726606075240 4964948 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23738 17924 850 434 0 17102 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 94952

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7804
/proc/meminfo: memFree=30960616/32770624 swapFree=6216/754740
[pid=7796] ppid=7793 vsize=94952 CPUtime=402.2 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 115887 0 0 0 40213 7 0 0 20 0 1 0 18134633 97230848 17924 33554432000 4194304 5970956 140726606078416 140726606075240 4934366 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23738 17924 850 434 0 17102 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 94952

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 7806
/proc/meminfo: memFree=30960876/32770624 swapFree=6216/754776
[pid=7796] ppid=7793 vsize=94952 CPUtime=462.19 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 116386 0 0 0 46212 7 0 0 20 0 1 0 18134633 97230848 17924 33554432000 4194304 5970956 140726606078416 140726606075240 5052093 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23738 17924 850 434 0 17102 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 94952

[startup+522.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7807
/proc/meminfo: memFree=30958088/32770624 swapFree=6216/754824
[pid=7796] ppid=7793 vsize=94952 CPUtime=522.18 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 116892 0 0 0 52211 7 0 0 20 0 1 0 18134633 97230848 17929 33554432000 4194304 5970956 140726606078416 140726606075240 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23738 17929 850 434 0 17102 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 94952

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 7816
/proc/meminfo: memFree=30957756/32770624 swapFree=6216/754864
[pid=7796] ppid=7793 vsize=94952 CPUtime=582.17 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 117368 0 0 0 58210 7 0 0 20 0 1 0 18134633 97230848 17929 33554432000 4194304 5970956 140726606078416 140726606075240 5327847 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23738 17929 850 434 0 17102 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 94952


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


[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7861
/proc/meminfo: memFree=30957704/32770624 swapFree=6216/755372
[pid=7796] ppid=7793 vsize=95088 CPUtime=1542.03 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 124160 0 0 0 154195 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 95088

[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 7862
/proc/meminfo: memFree=30957772/32770624 swapFree=6216/755400
[pid=7796] ppid=7793 vsize=95088 CPUtime=1602.01 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 124454 0 0 0 160193 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 95088

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 7863
/proc/meminfo: memFree=30957776/32770624 swapFree=6216/755428
[pid=7796] ppid=7793 vsize=95088 CPUtime=1662 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 124749 0 0 0 166192 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 4908963 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 95088

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7886
/proc/meminfo: memFree=30957736/32770624 swapFree=6216/755488
[pid=7796] ppid=7793 vsize=95088 CPUtime=1722 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 125247 0 0 0 172192 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 4934327 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 95088

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7894
/proc/meminfo: memFree=30957160/32770624 swapFree=6216/755528
[pid=7796] ppid=7793 vsize=95088 CPUtime=1781.99 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 125534 0 0 0 178191 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 4930611 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 95088

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7895
/proc/meminfo: memFree=30956916/32770624 swapFree=6216/755560
[pid=7796] ppid=7793 vsize=95088 CPUtime=1841.98 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 125806 0 0 0 184190 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 4934350 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 1841.98
Current children cumulated vsize (KiB) 95088

[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 7896
/proc/meminfo: memFree=30957540/32770624 swapFree=6216/755588
[pid=7796] ppid=7793 vsize=95088 CPUtime=1901.97 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 126301 0 0 0 190189 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 5327380 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 1901.97
Current children cumulated vsize (KiB) 95088

[startup+1962.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/187 7897
/proc/meminfo: memFree=30957792/32770624 swapFree=6216/755620
[pid=7796] ppid=7793 vsize=95088 CPUtime=1961.96 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 126584 0 0 0 196188 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 5069728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 1961.96
Current children cumulated vsize (KiB) 95088

[startup+2022.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 7898
/proc/meminfo: memFree=30957984/32770624 swapFree=6216/755656
[pid=7796] ppid=7793 vsize=95088 CPUtime=2021.95 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 126866 0 0 0 202187 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 4930654 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 2021.95
Current children cumulated vsize (KiB) 95088

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7900
/proc/meminfo: memFree=30957988/32770624 swapFree=6216/755692
[pid=7796] ppid=7793 vsize=95088 CPUtime=2081.94 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 127157 0 0 0 208186 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 4933945 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 2081.94
Current children cumulated vsize (KiB) 95088

[startup+2142.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/187 7901
/proc/meminfo: memFree=30957868/32770624 swapFree=6216/755724
[pid=7796] ppid=7793 vsize=95088 CPUtime=2141.93 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 127635 0 0 0 214185 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 4934318 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 2141.93
Current children cumulated vsize (KiB) 95088

[startup+2202.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 7902
/proc/meminfo: memFree=30957864/32770624 swapFree=6216/755752
[pid=7796] ppid=7793 vsize=95088 CPUtime=2201.93 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 127921 0 0 0 220185 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 4930654 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 2201.93
Current children cumulated vsize (KiB) 95088

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 7904
/proc/meminfo: memFree=30957868/32770624 swapFree=6216/755788
[pid=7796] ppid=7793 vsize=95088 CPUtime=2261.91 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 128226 0 0 0 226183 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 5108593 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 2261.91
Current children cumulated vsize (KiB) 95088

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7905
/proc/meminfo: memFree=30955632/32770624 swapFree=6216/755832
[pid=7796] ppid=7793 vsize=95088 CPUtime=2321.9 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 128708 0 0 0 232182 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 5322040 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 2321.9
Current children cumulated vsize (KiB) 95088

[startup+2382.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 7974
/proc/meminfo: memFree=30767636/32770624 swapFree=6216/755900
[pid=7796] ppid=7793 vsize=95088 CPUtime=2381.89 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 129003 0 0 0 238181 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 5327380 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 2381.89
Current children cumulated vsize (KiB) 95088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.5 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 7974
/proc/meminfo: memFree=30667720/32770624 swapFree=6216/755916
[pid=7796] ppid=7793 vsize=95088 CPUtime=2400.09 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 129283 0 0 0 240001 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 4908345 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 95088

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

[startup+2400.5 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 7974
/proc/meminfo: memFree=30667720/32770624 swapFree=6216/755916
[pid=7796] ppid=7793 vsize=95088 CPUtime=2400.09 cores=1,3,5,7
/proc/7796/stat : 7796 (cosoco) R 7793 7796 5183 0 -1 4202496 129283 0 0 0 240001 8 0 0 20 0 1 0 18134633 97370112 17940 33554432000 4194304 5970956 140726606078416 140726606075272 4908345 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39006208 140726606087361 140726606087491 140726606087491 140726606090190 0
/proc/7796/statm: 23772 17940 850 434 0 17136 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 95088

Child status: 1
Real time (s): 2400.5
CPU time (s): 2400.1
CPU user time (s): 2400.01
CPU system time (s): 0.086986
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 95088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.086986
maximum resident set size= 71804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129327
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= 38
involuntary context switches= 120706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.81979 second user time and 9.6293 second system time

The end

Begin job on node103 at 2017-07-21 12:51:09
IDJOB=4239986
IDBENCH=115918
IDSOLVER=2620
FILE ID=node103/4239986-1500634269
RUNJOBID= node103-1500623787-5215
PBS_JOBID= 20623024
Free space on /tmp= 62016 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239986-1500634269/watcher-4239986-1500634269 -o /tmp/evaluation-result-4239986-1500634269/solver-4239986-1500634269 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1500623787-5215 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4239986-1500634269.xml

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

MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e
RANDOM SEED=2140031256

node103.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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.65
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		: 2133.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.65
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.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 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		: 1867.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.65
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:        31057608 kB
MemAvailable:   31858092 kB
Buffers:          162456 kB
Cached:           926332 kB
SwapCached:            0 kB
Active:           521180 kB
Inactive:         771380 kB
Active(anon):     206624 kB
Inactive(anon):    17032 kB
Active(file):     314556 kB
Inactive(file):   754348 kB
Unevictable:        6216 kB
Mlocked:            6216 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2460 kB
Writeback:             0 kB
AnonPages:        199856 kB
Mapped:            34732 kB
Shmem:             17044 kB
Slab:             120372 kB
SReclaimable:      94832 kB
SUnreclaim:        25540 kB
KernelStack:        3376 kB
PageTables:         4876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     483756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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 node103 at 2017-07-21 13:31:09