0.19/0.28	c best=?? lower=0 upper=107186 
2.29/2.37	c
2.29/2.37	c This is cosoco 1.0 --  
2.29/2.37	c
2.29/2.37	c enable optimization
2.29/2.37	c ========================================[ Problem Statistics ]===========================================
2.29/2.37	c |                                                                                                       
2.29/2.37	c |  Parse time        :         0.27 s 
2.29/2.37	c |
2.29/2.37	c |               Variables: 2550
2.29/2.37	c |            Domain Sizes: 1..101
2.29/2.37	c |
2.29/2.37	c |             Constraints: 2500
2.29/2.37	c |                   Arity: 1..2448  -- Unary: 49  -- Ternary: 2352
2.29/2.37	c | 
2.29/2.37	c |                   Types: 
2.29/2.37	c |                          Exactly K: 98
2.29/2.37	c |                          Intension: 49
2.29/2.37	c |                          Sum: 2353
2.29/2.37	c |                          
2.29/2.37	c =========================================================================================================
2.29/2.37	o 2869
2.29/2.37	c    1 calls to solver: best=2869 lower=0 upper=2868 
2.89/2.92	o 2850
3.79/3.84	o 2840
3.79/3.84	c    3 calls to solver: best=2840 lower=0 upper=2839 
4.50/4.53	o 2821
5.39/5.49	o 2804
5.39/5.49	c    5 calls to solver: best=2804 lower=0 upper=2803 
6.09/6.16	o 2803
7.39/7.44	o 2798
7.39/7.44	c    7 calls to solver: best=2798 lower=0 upper=2797 
2400.04/2400.30	
2400.04/2400.30	c *** INTERRUPTED ***
2400.04/2400.30	s SATISFIABLE
2400.04/2400.30	c Best value found: 2798
2400.04/2400.30	
2400.04/2400.30	
2400.04/2400.30	v <instantiation type='solution' cost='2798'>
2400.04/2400.30	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[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.04/2400.30	v <values>* 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 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 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 * 0 0 0 0 0 0 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 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 0 0 0 0 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 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 0 * 0 0 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 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 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 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 1 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 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 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 0 0 0 * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 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 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 1 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 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 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 * 1 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 

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

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.05 2.05 3/190 6704
/proc/meminfo: memFree=31099720/32770624 swapFree=6824/692072
[pid=6704] ppid=6701 vsize=27124 CPUtime=0 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 977 0 0 0 0 0 0 0 20 0 1 0 25367619 27774976 767 33554432000 4194304 5970956 140737363463504 140737363458584 5378112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 6781 767 684 434 0 145 0

[startup+0.100164 s]
/proc/loadavg: 2.08 2.05 2.05 3/190 6704
/proc/meminfo: memFree=31099720/32770624 swapFree=6824/692072
[pid=6704] ppid=6701 vsize=41048 CPUtime=0.09 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 4491 0 0 0 9 0 0 0 20 0 1 0 25367619 42033152 4325 33554432000 4194304 5970956 140737363463504 140737363457880 140064380132325 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 10262 4325 739 434 0 3626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 41048

[startup+0.200416 s]
/proc/loadavg: 2.08 2.05 2.05 3/190 6704
/proc/meminfo: memFree=31099720/32770624 swapFree=6824/692072
[pid=6704] ppid=6701 vsize=55240 CPUtime=0.19 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 8114 0 0 0 18 1 0 0 20 0 1 0 25367619 56565760 7927 33554432000 4194304 5970956 140737363463504 140737363456936 140064380132325 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 13810 7927 794 434 0 7174 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 55240

[startup+0.300319 s]
/proc/loadavg: 2.08 2.05 2.05 3/190 6704
/proc/meminfo: memFree=31099720/32770624 swapFree=6824/692072
[pid=6704] ppid=6701 vsize=56244 CPUtime=0.29 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 8396 0 0 0 28 1 0 0 20 0 1 0 25367619 57593856 8190 33554432000 4194304 5970956 140737363463504 140737363450824 5046418 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 14061 8190 797 434 0 7425 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56244

[startup+0.700256 s]
/proc/loadavg: 2.08 2.05 2.05 3/190 6704
/proc/meminfo: memFree=31099720/32770624 swapFree=6824/692072
[pid=6704] ppid=6701 vsize=68944 CPUtime=0.69 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 11572 0 0 0 68 1 0 0 20 0 1 0 25367619 70598656 11358 33554432000 4194304 5970956 140737363463504 140737363460248 5045304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 17236 11358 837 434 0 10600 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68944

[startup+1.50028 s]
/proc/loadavg: 2.08 2.05 2.05 3/191 6705
/proc/meminfo: memFree=31056684/32770624 swapFree=6824/692096
[pid=6704] ppid=6701 vsize=77744 CPUtime=1.49 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 13753 0 0 0 147 2 0 0 20 0 1 0 25367619 79609856 13536 33554432000 4194304 5970956 140737363463504 140737363460280 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 19436 13536 837 434 0 12800 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77744

[startup+3.10023 s]
/proc/loadavg: 2.08 2.05 2.05 3/191 6705
/proc/meminfo: memFree=31048128/32770624 swapFree=6824/692096
[pid=6704] ppid=6701 vsize=81936 CPUtime=3.09 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 21940 0 0 0 306 3 0 0 20 0 1 0 25367619 83902464 14604 33554432000 4194304 5970956 140737363463504 140737363461064 5045308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 20484 14604 838 434 0 13848 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81936

[startup+6.30022 s]
/proc/loadavg: 2.07 2.05 2.05 3/191 6705
/proc/meminfo: memFree=31041604/32770624 swapFree=6824/692108
[pid=6704] ppid=6701 vsize=85072 CPUtime=6.29 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 30708 0 0 0 626 3 0 0 20 0 1 0 25367619 87113728 15397 33554432000 4194304 5970956 140737363463504 140737363461064 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 21268 15397 838 434 0 14632 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85072

[startup+12.7002 s]
/proc/loadavg: 2.07 2.05 2.05 3/191 6705
/proc/meminfo: memFree=31039088/32770624 swapFree=6824/692116
[pid=6704] ppid=6701 vsize=86840 CPUtime=12.69 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 40423 0 0 0 1265 4 0 0 20 0 1 0 25367619 88924160 15808 33554432000 4194304 5970956 140737363463504 140737363460280 5045308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 21710 15808 838 434 0 15074 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86840

[startup+25.5003 s]
/proc/loadavg: 2.05 2.05 2.05 3/191 6705
/proc/meminfo: memFree=31037972/32770624 swapFree=6824/692124
[pid=6704] ppid=6701 vsize=87656 CPUtime=25.48 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 53726 0 0 0 2544 4 0 0 20 0 1 0 25367619 89759744 16051 33554432000 4194304 5970956 140737363463504 140737363460248 5045308 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 21914 16051 838 434 0 15278 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87656

[startup+51.1003 s]
/proc/loadavg: 2.11 2.06 2.05 3/191 6705
/proc/meminfo: memFree=31037724/32770624 swapFree=6824/692140
[pid=6704] ppid=6701 vsize=87792 CPUtime=51.09 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 63475 0 0 0 5104 5 0 0 20 0 1 0 25367619 89899008 16098 33554432000 4194304 5970956 140737363463504 140737363460280 5047051 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 21948 16098 838 434 0 15312 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87792

[startup+102.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/191 6706
/proc/meminfo: memFree=31036344/32770624 swapFree=6824/692168
[pid=6704] ppid=6701 vsize=87928 CPUtime=102.27 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 67138 0 0 0 10222 5 0 0 20 0 1 0 25367619 90038272 16140 33554432000 4194304 5970956 140737363463504 140737363460376 5136570 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 21982 16140 838 434 0 15346 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 87928

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 6707
/proc/meminfo: memFree=31036376/32770624 swapFree=6824/692184
[pid=6704] ppid=6701 vsize=87928 CPUtime=162.26 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 67462 0 0 0 16221 5 0 0 20 0 1 0 25367619 90038272 16148 33554432000 4194304 5970956 140737363463504 140737363460376 5045304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 21982 16148 838 434 0 15346 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 87928

[startup+222.306 s]
/proc/loadavg: 2.01 2.04 2.05 3/191 6708
/proc/meminfo: memFree=31036504/32770624 swapFree=6824/692212
[pid=6704] ppid=6701 vsize=87928 CPUtime=222.26 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 67791 0 0 0 22221 5 0 0 20 0 1 0 25367619 90038272 16156 33554432000 4194304 5970956 140737363463504 140737363460376 5047618 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 21982 16156 838 434 0 15346 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 87928

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 6709
/proc/meminfo: memFree=31036760/32770624 swapFree=6824/692236
[pid=6704] ppid=6701 vsize=87928 CPUtime=282.25 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 68111 0 0 0 28220 5 0 0 20 0 1 0 25367619 90038272 16156 33554432000 4194304 5970956 140737363463504 140737363460376 5098944 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 21982 16156 838 434 0 15346 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 87928

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 6710
/proc/meminfo: memFree=31036612/32770624 swapFree=6824/692256
[pid=6704] ppid=6701 vsize=87928 CPUtime=342.24 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 68431 0 0 0 34219 5 0 0 20 0 1 0 25367619 90038272 16156 33554432000 4194304 5970956 140737363463504 140737363460376 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 21982 16156 838 434 0 15346 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 87928

[startup+402.3 s]
/proc/loadavg: 2.15 2.06 2.06 3/191 6711
/proc/meminfo: memFree=31036444/32770624 swapFree=6824/692280
[pid=6704] ppid=6701 vsize=87928 CPUtime=402.23 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 68755 0 0 0 40218 5 0 0 20 0 1 0 25367619 90038272 16156 33554432000 4194304 5970956 140737363463504 140737363460376 5047698 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 21982 16156 838 434 0 15346 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 87928

[startup+462.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/191 6712
/proc/meminfo: memFree=31036352/32770624 swapFree=6824/692300
[pid=6704] ppid=6701 vsize=87928 CPUtime=462.23 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 69095 0 0 0 46218 5 0 0 20 0 1 0 25367619 90038272 16159 33554432000 4194304 5970956 140737363463504 140737363460376 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 21982 16159 838 434 0 15346 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 87928

[startup+522.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 6718
/proc/meminfo: memFree=31035468/32770624 swapFree=6824/692332
[pid=6704] ppid=6701 vsize=88060 CPUtime=522.22 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 69465 0 0 0 52217 5 0 0 20 0 1 0 25367619 90173440 16190 33554432000 4194304 5970956 140737363463504 140737363460376 5047044 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22015 16190 838 434 0 15379 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 88060

[startup+582.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/191 6719
/proc/meminfo: memFree=31035716/32770624 swapFree=6824/692360
[pid=6704] ppid=6701 vsize=88060 CPUtime=582.22 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 69803 0 0 0 58217 5 0 0 20 0 1 0 25367619 90173440 16193 33554432000 4194304 5970956 140737363463504 140737363460376 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22015 16193 838 434 0 15379 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 88060


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


[startup+1542.31 s]
/proc/loadavg: 2.04 2.05 2.05 3/191 6763
/proc/meminfo: memFree=31036348/32770624 swapFree=6824/692760
[pid=6704] ppid=6701 vsize=88060 CPUtime=1542.13 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 74922 0 0 0 154207 6 0 0 20 0 1 0 25367619 90173440 16196 33554432000 4194304 5970956 140737363463504 140737363460376 5136625 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22015 16196 838 434 0 15379 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 88060

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/191 6764
/proc/meminfo: memFree=31036340/32770624 swapFree=6824/692784
[pid=6704] ppid=6701 vsize=88060 CPUtime=1602.12 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 75217 0 0 0 160206 6 0 0 20 0 1 0 25367619 90173440 16196 33554432000 4194304 5970956 140737363463504 140737363460376 5047048 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22015 16196 838 434 0 15379 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 88060

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 6765
/proc/meminfo: memFree=31036448/32770624 swapFree=6824/692808
[pid=6704] ppid=6701 vsize=88060 CPUtime=1662.11 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 75541 0 0 0 166205 6 0 0 20 0 1 0 25367619 90173440 16196 33554432000 4194304 5970956 140737363463504 140737363460376 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22015 16196 838 434 0 15379 0
Current children cumulated CPU time (s) 1662.11
Current children cumulated vsize (KiB) 88060

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 6771
/proc/meminfo: memFree=31035408/32770624 swapFree=6824/692836
[pid=6704] ppid=6701 vsize=88060 CPUtime=1722.1 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 75840 0 0 0 172204 6 0 0 20 0 1 0 25367619 90173440 16196 33554432000 4194304 5970956 140737363463504 140737363460376 5047048 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22015 16196 838 434 0 15379 0
Current children cumulated CPU time (s) 1722.1
Current children cumulated vsize (KiB) 88060

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 6772
/proc/meminfo: memFree=31035440/32770624 swapFree=6824/692864
[pid=6704] ppid=6701 vsize=88060 CPUtime=1782.1 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 76173 0 0 0 178204 6 0 0 20 0 1 0 25367619 90173440 16196 33554432000 4194304 5970956 140737363463504 140737363460376 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22015 16196 838 434 0 15379 0
Current children cumulated CPU time (s) 1782.1
Current children cumulated vsize (KiB) 88060

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 6773
/proc/meminfo: memFree=31035696/32770624 swapFree=6824/692888
[pid=6704] ppid=6701 vsize=88060 CPUtime=1842.09 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 76495 0 0 0 184203 6 0 0 20 0 1 0 25367619 90173440 16196 33554432000 4194304 5970956 140737363463504 140737363460376 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22015 16196 838 434 0 15379 0
Current children cumulated CPU time (s) 1842.09
Current children cumulated vsize (KiB) 88060

[startup+1902.3 s]
/proc/loadavg: 2.16 2.06 2.06 3/191 6774
/proc/meminfo: memFree=31035920/32770624 swapFree=6824/692908
[pid=6704] ppid=6701 vsize=88196 CPUtime=1902.08 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 76827 0 0 0 190202 6 0 0 20 0 1 0 25367619 90312704 16208 33554432000 4194304 5970956 140737363463504 140737363460376 5136570 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22049 16208 838 434 0 15413 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 88196

[startup+1962.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/191 6775
/proc/meminfo: memFree=31036020/32770624 swapFree=6824/692928
[pid=6704] ppid=6701 vsize=88196 CPUtime=1962.08 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 77154 0 0 0 196202 6 0 0 20 0 1 0 25367619 90312704 16215 33554432000 4194304 5970956 140737363463504 140737363460376 5045304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22049 16215 838 434 0 15413 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 88196

[startup+2022.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/191 6776
/proc/meminfo: memFree=31036036/32770624 swapFree=6824/692960
[pid=6704] ppid=6701 vsize=88196 CPUtime=2022.07 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 77490 0 0 0 202201 6 0 0 20 0 1 0 25367619 90312704 16218 33554432000 4194304 5970956 140737363463504 140737363460376 5045304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22049 16218 838 434 0 15413 0
Current children cumulated CPU time (s) 2022.07
Current children cumulated vsize (KiB) 88196

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/191 6777
/proc/meminfo: memFree=31036348/32770624 swapFree=6824/692980
[pid=6704] ppid=6701 vsize=88196 CPUtime=2082.07 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 77790 0 0 0 208201 6 0 0 20 0 1 0 25367619 90312704 16218 33554432000 4194304 5970956 140737363463504 140737363460376 5136625 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22049 16218 838 434 0 15413 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 88196

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 6778
/proc/meminfo: memFree=31035984/32770624 swapFree=6824/693004
[pid=6704] ppid=6701 vsize=88196 CPUtime=2142.06 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 78090 0 0 0 214200 6 0 0 20 0 1 0 25367619 90312704 16218 33554432000 4194304 5970956 140737363463504 140737363460376 5047048 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22049 16218 838 434 0 15413 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 88196

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 6779
/proc/meminfo: memFree=31036172/32770624 swapFree=6824/693024
[pid=6704] ppid=6701 vsize=88196 CPUtime=2202.06 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 78427 0 0 0 220200 6 0 0 20 0 1 0 25367619 90312704 16218 33554432000 4194304 5970956 140737363463504 140737363460376 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22049 16218 838 434 0 15413 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 88196

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 6780
/proc/meminfo: memFree=31036164/32770624 swapFree=6824/693044
[pid=6704] ppid=6701 vsize=88196 CPUtime=2262.05 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 78728 0 0 0 226199 6 0 0 20 0 1 0 25367619 90312704 16218 33554432000 4194304 5970956 140737363463504 140737363460376 5337501 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22049 16218 838 434 0 15413 0
Current children cumulated CPU time (s) 2262.05
Current children cumulated vsize (KiB) 88196

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 6786
/proc/meminfo: memFree=31034936/32770624 swapFree=6824/693072
[pid=6704] ppid=6701 vsize=88196 CPUtime=2322.04 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 79024 0 0 0 232198 6 0 0 20 0 1 0 25367619 90312704 16218 33554432000 4194304 5970956 140737363463504 140737363460376 5047610 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22049 16218 838 434 0 15413 0
Current children cumulated CPU time (s) 2322.04
Current children cumulated vsize (KiB) 88196

[startup+2382.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/191 6848
/proc/meminfo: memFree=30564008/32770624 swapFree=6824/693152
[pid=6704] ppid=6701 vsize=88196 CPUtime=2382.04 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 79388 0 0 0 238198 6 0 0 20 0 1 0 25367619 90312704 16218 33554432000 4194304 5970956 140737363463504 140737363460376 5136608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22049 16218 838 434 0 15413 0
Current children cumulated CPU time (s) 2382.04
Current children cumulated vsize (KiB) 88196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/191 6848
/proc/meminfo: memFree=30495652/32770624 swapFree=6824/693168
[pid=6704] ppid=6701 vsize=88196 CPUtime=2400.04 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 79672 0 0 0 239998 6 0 0 20 0 1 0 25367619 90312704 16218 33554432000 4194304 5970956 140737363463504 140737363460376 5136577 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22049 16218 838 434 0 15413 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 88196

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

[startup+2400.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/191 6848
/proc/meminfo: memFree=30495652/32770624 swapFree=6824/693168
[pid=6704] ppid=6701 vsize=88196 CPUtime=2400.04 cores=1,3,5,7
/proc/6704/stat : 6704 (cosoco) R 6701 6704 4362 0 -1 4202496 79672 0 0 0 239998 6 0 0 20 0 1 0 25367619 90312704 16218 33554432000 4194304 5970956 140737363463504 140737363460376 5136577 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 27996160 140737363469505 140737363469635 140737363469635 140737363472334 0
/proc/6704/statm: 22049 16218 838 434 0 15413 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 88196

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.05
CPU user time (s): 2399.99
CPU system time (s): 0.060993
CPU usage (%): 99.9891
Max. virtual memory (cumulated for all children) (KiB): 88196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.99
system time used= 0.060993
maximum resident set size= 64916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79705
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= 22
involuntary context switches= 120792

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.9246 second user time and 9.22283 second system time

The end

Begin job on node102 at 2017-07-21 14:41:22
IDJOB=4240919
IDBENCH=124431
IDSOLVER=2620
FILE ID=node102/4240919-1500640882
RUNJOBID= node102-1500623787-4394
PBS_JOBID= 20623025
Free space on /tmp= 61892 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n50-k8.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240919-1500640882/watcher-4240919-1500640882 -o /tmp/evaluation-result-4240919-1500640882/solver-4240919-1500640882 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500623787-4394 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4240919-1500640882.xml

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

MD5SUM BENCH= f0cf802901bcec45e39016390e9d5929
RANDOM SEED=1118955732

node102.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.46
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		: 1733.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.56
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.46
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31100280 kB
MemAvailable:   31975088 kB
Buffers:          167572 kB
Cached:           992316 kB
SwapCached:            0 kB
Active:           529864 kB
Inactive:         708940 kB
Active(anon):      82108 kB
Inactive(anon):    16868 kB
Active(file):     447756 kB
Inactive(file):   692072 kB
Unevictable:        6824 kB
Mlocked:            6824 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2380 kB
Writeback:             0 kB
AnonPages:         85764 kB
Mapped:            35560 kB
Shmem:             17104 kB
Slab:             127484 kB
SReclaimable:     101632 kB
SUnreclaim:        25852 kB
KernelStack:        3344 kB
PageTables:         5556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     354936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61888 MiB
End job on node102 at 2017-07-21 15:21:23