0.29/0.31	c SAT : Variables: 9900 -- Clauses: 252399
0.29/0.31	c best=?? lower=0 upper=75834 
2.48/2.59	c
2.48/2.59	c This is cosoco 1.0 --  
2.48/2.59	c
2.48/2.59	c enable optimization
2.48/2.59	c ========================================[ Problem Statistics ]===========================================
2.48/2.59	c |                                                                                                       
2.48/2.59	c |  Parse time        :         0.29 s 
2.48/2.59	c |
2.48/2.59	c |               Variables: 2550
2.48/2.59	c |            Domain Sizes: 1..101
2.48/2.59	c |
2.48/2.59	c |             Constraints: 2500
2.48/2.59	c |                   Arity: 1..2450  -- Unary: 49  -- Ternary: 2352
2.48/2.59	c | 
2.48/2.59	c |                   Types: 
2.48/2.59	c |                          Exactly K: 98
2.48/2.59	c |                          Intension: 49
2.48/2.59	c |                          Sum: 2353
2.48/2.59	c |                          
2.48/2.59	c =========================================================================================================
2.48/2.59	o 1623
2.48/2.59	c    1 calls to solver: best=1623 lower=0 upper=1622 
3.09/3.17	o 1593
4.39/4.41	o 1581
4.39/4.41	c    3 calls to solver: best=1581 lower=0 upper=1580 
2400.00/2400.90	
2400.00/2400.90	c *** INTERRUPTED ***
2400.00/2400.90	s SATISFIABLE
2400.00/2400.90	c Best value found: 1581
2400.00/2400.90	
2400.00/2400.90	
2400.00/2400.90	v <instantiation type='solution' cost='1581'>
2400.00/2400.90	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] 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] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47] u[48] u[49] </list>
2400.00/2400.90	v <values>* 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 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 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 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 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 * 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 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 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 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 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 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 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 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 * 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 1 0 0 

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

pid=7294
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7297
/proc/meminfo: memFree=31934264/32770624 swapFree=6168/20656
[pid=7297] ppid=7294 vsize=27124 CPUtime=0 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 966 0 0 0 0 0 0 0 20 0 1 0 17410211 27774976 766 33554432000 4194304 5970956 140728003433600 140728003430248 139922018814949 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 6781 766 683 434 0 145 0

[startup+0.100121 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7297
/proc/meminfo: memFree=31934264/32770624 swapFree=6168/20656
[pid=7297] ppid=7294 vsize=39644 CPUtime=0.09 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 4161 0 0 0 8 1 0 0 20 0 1 0 17410211 40595456 3939 33554432000 4194304 5970956 140728003433600 140728003427976 139922018814949 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 9944 3939 739 434 0 3308 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39644

[startup+0.200365 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7297
/proc/meminfo: memFree=31934264/32770624 swapFree=6168/20656
[pid=7297] ppid=7294 vsize=55072 CPUtime=0.19 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 8056 0 0 0 18 1 0 0 20 0 1 0 17410211 56393728 7851 33554432000 4194304 5970956 140728003433600 140728003427032 139922018863008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 13768 7851 794 434 0 7132 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 55072

[startup+0.300271 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7297
/proc/meminfo: memFree=31934264/32770624 swapFree=6168/20656
[pid=7297] ppid=7294 vsize=62492 CPUtime=0.29 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 8904 0 0 0 28 1 0 0 20 0 1 0 17410211 63991808 8691 33554432000 4194304 5970956 140728003433600 140728003427800 5279679 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 15623 8691 827 434 0 8987 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62492

[startup+0.700191 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7297
/proc/meminfo: memFree=31934264/32770624 swapFree=6168/20656
[pid=7297] ppid=7294 vsize=79248 CPUtime=0.69 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 13467 0 0 0 66 3 0 0 20 0 1 0 17410211 81149952 13757 33554432000 4194304 5970956 140728003433600 140728003430632 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 19812 13757 843 434 0 13176 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 79248

[startup+1.5002 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 7298
/proc/meminfo: memFree=31878908/32770624 swapFree=6168/20652
[pid=7297] ppid=7294 vsize=90016 CPUtime=1.49 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 16152 0 0 0 146 3 0 0 20 0 1 0 17410211 92176384 16466 33554432000 4194304 5970956 140728003433600 140728003430376 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 22504 16466 843 434 0 15868 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90016

[startup+3.10018 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 7298
/proc/meminfo: memFree=31867252/32770624 swapFree=6168/20652
[pid=7297] ppid=7294 vsize=94484 CPUtime=3.09 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 25765 0 0 0 305 4 0 0 20 0 1 0 17410211 96751616 17632 33554432000 4194304 5970956 140728003433600 140728003420904 5136786 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 23621 17632 844 434 0 16985 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 94484

[startup+6.30017 s]
/proc/loadavg: 1.94 2.01 2.04 3/188 7298
/proc/meminfo: memFree=31865156/32770624 swapFree=6168/20652
[pid=7297] ppid=7294 vsize=96472 CPUtime=6.29 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 35199 0 0 0 624 5 0 0 20 0 1 0 17410211 98787328 18157 33554432000 4194304 5970956 140728003433600 140728003430472 5045304 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 24118 18157 844 434 0 17482 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 96472

[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7298
/proc/meminfo: memFree=31863184/32770624 swapFree=6168/20668
[pid=7297] ppid=7294 vsize=101276 CPUtime=12.68 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 45344 0 0 0 1263 5 0 0 20 0 1 0 17410211 103706624 18730 33554432000 4194304 5970956 140728003433600 140728003430872 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 25319 18730 844 434 0 18683 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 101276

[startup+25.5002 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 7298
/proc/meminfo: memFree=31861800/32770624 swapFree=6168/20680
[pid=7297] ppid=7294 vsize=102368 CPUtime=25.48 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 62610 0 0 0 2542 6 0 0 20 0 1 0 17410211 104824832 19128 33554432000 4194304 5970956 140728003433600 140728003430936 5136643 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 25592 19128 844 434 0 18956 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 102368

[startup+51.1002 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7298
/proc/meminfo: memFree=31858328/32770624 swapFree=6168/20688
[pid=7297] ppid=7294 vsize=102768 CPUtime=51.06 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 73413 0 0 0 5100 6 0 0 20 0 1 0 17410211 105234432 19588 33554432000 4194304 5970956 140728003433600 140728003430936 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 25692 19588 844 434 0 19056 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 102768

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7307
/proc/meminfo: memFree=31853284/32770624 swapFree=6168/21848
[pid=7297] ppid=7294 vsize=107500 CPUtime=102.24 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 78245 0 0 0 10217 7 0 0 20 0 1 0 17410211 110080000 20517 33554432000 4194304 5970956 140728003433600 140728003430936 5136560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 26875 20517 844 434 0 20239 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 107500

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7308
/proc/meminfo: memFree=31848880/32770624 swapFree=6168/21880
[pid=7297] ppid=7294 vsize=115208 CPUtime=162.21 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 80320 0 0 0 16214 7 0 0 20 0 1 0 17410211 117972992 21730 33554432000 4194304 5970956 140728003433600 140728003430936 5045308 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 28802 21730 844 434 0 22166 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 115208

[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7309
/proc/meminfo: memFree=31844408/32770624 swapFree=6168/21908
[pid=7297] ppid=7294 vsize=115276 CPUtime=222.2 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 82246 0 0 0 22212 8 0 0 20 0 1 0 17410211 118042624 22774 33554432000 4194304 5970956 140728003433600 140728003430936 5045308 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 28819 22774 844 434 0 22183 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 115276

[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 7310
/proc/meminfo: memFree=31843044/32770624 swapFree=6168/21940
[pid=7297] ppid=7294 vsize=127032 CPUtime=282.17 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 83168 0 0 0 28209 8 0 0 20 0 1 0 17410211 130080768 22975 33554432000 4194304 5970956 140728003433600 140728003430872 5031424 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31758 22975 844 434 0 25122 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 127032

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7311
/proc/meminfo: memFree=31839872/32770624 swapFree=6168/21972
[pid=7297] ppid=7294 vsize=127032 CPUtime=342.15 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 84323 0 0 0 34207 8 0 0 20 0 1 0 17410211 130080768 23812 33554432000 4194304 5970956 140728003433600 140728003430872 5136560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31758 23812 844 434 0 25122 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 127032

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7313
/proc/meminfo: memFree=31840300/32770624 swapFree=6168/22008
[pid=7297] ppid=7294 vsize=127104 CPUtime=402.12 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 85256 0 0 0 40204 8 0 0 20 0 1 0 17410211 130154496 23837 33554432000 4194304 5970956 140728003433600 140728003430936 5136570 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31776 23837 844 434 0 25140 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 127104

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7314
/proc/meminfo: memFree=31840512/32770624 swapFree=6168/22036
[pid=7297] ppid=7294 vsize=127104 CPUtime=462.1 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 85930 0 0 0 46202 8 0 0 20 0 1 0 17410211 130154496 23843 33554432000 4194304 5970956 140728003433600 140728003430936 5047048 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31776 23843 844 434 0 25140 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 127104

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7315
/proc/meminfo: memFree=31840940/32770624 swapFree=6168/22068
[pid=7297] ppid=7294 vsize=127104 CPUtime=522.08 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 86592 0 0 0 52200 8 0 0 20 0 1 0 17410211 130154496 23847 33554432000 4194304 5970956 140728003433600 140728003430936 5136577 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31776 23847 844 434 0 25140 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 127104

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7317
/proc/meminfo: memFree=31840832/32770624 swapFree=6168/22112
[pid=7297] ppid=7294 vsize=127104 CPUtime=582.05 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 87205 0 0 0 58197 8 0 0 20 0 1 0 17410211 130154496 23850 33554432000 4194304 5970956 140728003433600 140728003430936 5047048 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31776 23850 844 434 0 25140 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 127104


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


[startup+1542.31 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 7372
/proc/meminfo: memFree=31840012/32770624 swapFree=6168/22632
[pid=7297] ppid=7294 vsize=127196 CPUtime=1541.72 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 97066 0 0 0 154163 9 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 127196

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/187 7373
/proc/meminfo: memFree=31840156/32770624 swapFree=6168/22660
[pid=7297] ppid=7294 vsize=127196 CPUtime=1601.69 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 97678 0 0 0 160160 9 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5045304 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 127196

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 7374
/proc/meminfo: memFree=31840284/32770624 swapFree=6168/22688
[pid=7297] ppid=7294 vsize=127196 CPUtime=1661.67 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 98185 0 0 0 166158 9 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5047048 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 127196

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 7375
/proc/meminfo: memFree=31839908/32770624 swapFree=6168/22720
[pid=7297] ppid=7294 vsize=127196 CPUtime=1721.65 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 98710 0 0 0 172156 9 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 1721.65
Current children cumulated vsize (KiB) 127196

[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 7376
/proc/meminfo: memFree=31839664/32770624 swapFree=6168/22752
[pid=7297] ppid=7294 vsize=127196 CPUtime=1781.63 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 99319 0 0 0 178154 9 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136570 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 127196

[startup+1842.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/187 7377
/proc/meminfo: memFree=31840012/32770624 swapFree=6168/22784
[pid=7297] ppid=7294 vsize=127196 CPUtime=1841.6 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 99844 0 0 0 184151 9 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5045304 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 1841.6
Current children cumulated vsize (KiB) 127196

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 7386
/proc/meminfo: memFree=31838904/32770624 swapFree=6168/22820
[pid=7297] ppid=7294 vsize=127196 CPUtime=1901.58 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 100528 0 0 0 190149 9 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 1901.58
Current children cumulated vsize (KiB) 127196

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7387
/proc/meminfo: memFree=31839524/32770624 swapFree=6168/22852
[pid=7297] ppid=7294 vsize=127196 CPUtime=1961.57 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 101115 0 0 0 196147 10 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 1961.57
Current children cumulated vsize (KiB) 127196

[startup+2022.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 7388
/proc/meminfo: memFree=31839280/32770624 swapFree=6168/22880
[pid=7297] ppid=7294 vsize=127196 CPUtime=2021.55 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 101702 0 0 0 202145 10 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 2021.55
Current children cumulated vsize (KiB) 127196

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 7450
/proc/meminfo: memFree=31838960/32770624 swapFree=6168/22956
[pid=7297] ppid=7294 vsize=127196 CPUtime=2081.53 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 102367 0 0 0 208143 10 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 2081.53
Current children cumulated vsize (KiB) 127196

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 7511
/proc/meminfo: memFree=31727768/32770624 swapFree=6168/23084
[pid=7297] ppid=7294 vsize=127196 CPUtime=2141.5 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 102858 0 0 0 214140 10 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 2141.5
Current children cumulated vsize (KiB) 127196

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7513
/proc/meminfo: memFree=31725112/32770624 swapFree=6168/23144
[pid=7297] ppid=7294 vsize=127196 CPUtime=2201.48 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 103358 0 0 0 220138 10 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 2201.48
Current children cumulated vsize (KiB) 127196

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7514
/proc/meminfo: memFree=31724900/32770624 swapFree=6168/23172
[pid=7297] ppid=7294 vsize=127196 CPUtime=2261.45 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 103848 0 0 0 226135 10 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136615 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 2261.45
Current children cumulated vsize (KiB) 127196

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7515
/proc/meminfo: memFree=31723060/32770624 swapFree=6168/23204
[pid=7297] ppid=7294 vsize=127196 CPUtime=2321.43 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 104444 0 0 0 232133 10 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 2321.43
Current children cumulated vsize (KiB) 127196

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7517
/proc/meminfo: memFree=31722960/32770624 swapFree=6168/23248
[pid=7297] ppid=7294 vsize=127196 CPUtime=2381.41 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 104893 0 0 0 238131 10 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 2381.41
Current children cumulated vsize (KiB) 127196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7517
/proc/meminfo: memFree=31723084/32770624 swapFree=6168/23256
[pid=7297] ppid=7294 vsize=127196 CPUtime=2400 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 105336 0 0 0 239990 10 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 127196

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

[startup+2400.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7517
/proc/meminfo: memFree=31723084/32770624 swapFree=6168/23256
[pid=7297] ppid=7294 vsize=127196 CPUtime=2400 cores=0,2,4,6
/proc/7297/stat : 7297 (cosoco) R 7294 7297 3975 0 -1 4202496 105336 0 0 0 239990 10 0 0 20 0 1 0 17410211 130248704 23855 33554432000 4194304 5970956 140728003433600 140728003430936 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 8814592 140728003437756 140728003437891 140728003437891 140728003440590 0
/proc/7297/statm: 31799 23855 844 434 0 25163 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 127196

Child status: 1
Real time (s): 2400.9
CPU time (s): 2400.02
CPU user time (s): 2399.91
CPU system time (s): 0.109959
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 127196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.91
system time used= 0.109959
maximum resident set size= 95464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105368
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= 24
involuntary context switches= 122698

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.90999 second user time and 8.80286 second system time

The end

Begin job on node131 at 2017-07-21 14:48:56
IDJOB=4240932
IDBENCH=124451
IDSOLVER=2621
FILE ID=node131/4240932-1500641336
RUNJOBID= node131-1500623778-4006
PBS_JOBID= 20623002
Free space on /tmp= 62020 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n50-k10.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240932-1500641336/watcher-4240932-1500641336 -o /tmp/evaluation-result-4240932-1500641336/solver-4240932-1500641336 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500623778-4006 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240932-1500641336.xml

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

MD5SUM BENCH= 994883c0320da003cf1ede0b66369d8b
RANDOM SEED=1939545660

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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.50
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.50
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		: 2000.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.50
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:        31934920 kB
MemAvailable:   31919984 kB
Buffers:          122524 kB
Cached:           143536 kB
SwapCached:           52 kB
Active:           309248 kB
Inactive:          92872 kB
Active(anon):      83508 kB
Inactive(anon):    72216 kB
Active(file):     225740 kB
Inactive(file):    20656 kB
Unevictable:        6168 kB
Mlocked:            6168 kB
SwapTotal:      67108860 kB
SwapFree:       67108780 kB
Dirty:              2436 kB
Writeback:             0 kB
AnonPages:        146352 kB
Mapped:            34356 kB
Shmem:             16972 kB
Slab:             134788 kB
SReclaimable:     109004 kB
SUnreclaim:        25784 kB
KernelStack:        3488 kB
PageTables:         5524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     417016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     86016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 62020 MiB
End job on node131 at 2017-07-21 15:28:57