18.08/18.25	c best=?? lower=0 upper=1080 
21.09/21.26	c
21.09/21.26	c This is cosoco 1.12 --  
21.09/21.26	c
21.09/21.26	c command line: cosoco -lc -model -restarts HOME/instance-4268911-1502673827.xml 
21.09/21.26	c enable optimization
21.09/21.26	c ========================================[ Problem Statistics ]===========================================
21.09/21.26	c |                                                                                                       
21.09/21.26	c |  Parse time        :        17.75 s 
21.09/21.26	c |
21.09/21.26	c |               Variables: 2209
21.09/21.26	c |            Domain Sizes: 1081..1081
21.09/21.26	c |
21.09/21.26	c |             Constraints: 16216
21.09/21.26	c |                   Arity: 3..1081  -- Ternary: 16215
21.09/21.26	c | 
21.09/21.26	c |                   Types: 
21.09/21.26	c |                          Intension: 16215
21.09/21.26	c |                          Max constant: 1
21.09/21.26	c |                          
21.09/21.26	c =========================================================================================================
21.09/21.26	o 6
21.09/21.26	c    1 calls to solver: best=6 lower=0 upper=5 
21.38/21.56	o 5
21.89/22.05	o 4
21.89/22.05	c    3 calls to solver: best=4 lower=0 upper=3 
251.89/252.00	
251.89/252.00	c *** INTERRUPTED ***
251.89/252.00	c restarts              : 60          
251.89/252.00	c conflicts             : 303450       (1208 /sec)
251.89/252.00	c decisions             : 1124930      (4479 /sec)
251.89/252.00	c propagations          : 16952541    (67500 /sec)
251.89/252.00	c root propagations     : 1165265     
251.89/252.00	c filter calls          : 265207509      (1055980 /sec)
251.89/252.00	c useless filter calls  : 251945381      (94 %)
251.89/252.00	c Memory used           : 1698.13 MB
251.89/252.00	c CPU time              : 251.148 s
251.89/252.00	
251.89/252.00	c nb Solutions = 3
251.89/252.00	s SATISFIABLE
251.89/252.00	c Best value found: 4
251.89/252.00	
251.89/252.00	
251.89/252.00	v <instantiation type='solution' cost='4'>
251.89/252.00	v <list>x[0][0] 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][1] 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][2] 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][3] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] 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][1] 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][2] 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][3] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] 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][1] 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][2] 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][3] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] 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][1] 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][2] 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][3] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] 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][1] 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][2] 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][3] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] 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][1] 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][2] 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][3] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] 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][1] 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][2] 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][3] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] 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][1] 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][2] 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][3] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] 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][1] 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][2] 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][3] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] 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][1] 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][2] 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][3] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] 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][1] 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][2] 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][3] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] 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][1] 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][2] 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][3] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] 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][1] 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][2] 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][3] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] 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][1] 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][2] 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][3] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] 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][1] 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][2] 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][3] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] 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][1] 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][2] 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][3] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] 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][1] 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][2] 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][3] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] 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][1] 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][2] 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][3] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] 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][1] 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][2] 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][3] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] 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][1] 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][2] 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][3] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] 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][1] 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][2] 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][3] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] 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][1] 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][2] 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][3] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] 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][1] 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][2] 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][3] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] 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][1] 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][2] 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][3] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] 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][1] 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][2] 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][3] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] 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][1] 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][2] 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][3] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] 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][1] 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][2] 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][3] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] 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][1] 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][2] 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][3] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] 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][1] 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][2] 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][3] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] 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][1] 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][2] 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][3] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] 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][1] 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][2] 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][3] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] 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][1] 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][2] 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][3] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[39][0] 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][1] 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][2] 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][3] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[3][0] 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][1] 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][2] 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][3] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[40][0] 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][1] 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][2] 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][3] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[41][0] 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][1] 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][2] 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][3] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[42][0] 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][1] 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][2] 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][3] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[43][0] 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][1] 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][2] 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][3] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[44][0] 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][1] 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][2] 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][3] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[45][0] 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][1] 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][2] 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][3] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[46][0] 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][1] 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][2] 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][3] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[4][0] 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][1] 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][2] 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][3] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] 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][1] 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][2] 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][3] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] 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][1] 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][2] 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][3] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] 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][1] 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][2] 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][3] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] 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][1] 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][2] 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][3] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] 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][1] 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][2] 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][3] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list>
251.89/252.01	v <values>* 0 2 1 0 1 4 1 1 3 1 0 3 0 3 2 1 0 0 1 2 1 1 2 2 3 1 2 1 2 3 0 0 2 2 2 1 4 2 3 3 0 0 2 0 2 0 * * 2 2 3 1 0 1 0 3 0 * 0 3 2 0 3 2 3 4 4 0 * 3 0 3 1 0 2 1 3 1 1 * 2 1 1 2 0 3 3 * * * * * * * * * 1 1 1 2 0 2 0 2 * 2 2 1 0 3 3 2 2 3 1 * 1 3 3 0 1 0 0 2 1 0 * 4 0 1 0 0 0 0 * * * * * * * * * * 0 2 2 0 2 2 3 * 1 2 0 0 3 1 2 2 4 3 * 2 3 1 0 0 0 1 4 3 0 * 3 1 2 1 2 3 3 * * * * * * * * * * * 0 1 2 4 1 1 * 0 2 3 2 1 3 1 1 3 2 * 2 3 1 1 3 2 0 0 3 1 * 0 0 0 0 0 0 0 * * * * * * * * * * * * 0 4 3 1 2 * 1 0 3 0 2 0 1 0 1 0 * 3 1 0 3 4 0 2 3 0 0 * 1 2 3 1 1 2 2 * * * * * * * * * * * * * 2 1 3 4 * 1 1 3 2 3 2 0 4 2 1 * 4 3 2 0 1 2 0 3 1 2 * 0 0 3 0 4 0 0 * * * * * * * * * * * * * * 2 1 2 * 1 0 3 3 2 1 1 2 0 0 * 0 1 1 3 2 4 2 0 0 3 * 0 2 3 1 1 2 2 * * * * * * * * * * * * * * * 0 4 * 3 0 1 2 0 2 1 0 2 2 * 1 1 2 0 3 2 0 0 0 3 * 2 0 4 1 1 0 0 * * * * * * * * * * * * * * * * 2 * 4 4 1 3 2 0 0 3 3 1 * 1 0 2 3 0 3 1 2 1 3 * 2 3 0 2 3 1 1 * * * * * * * * * * * * * * * * * * 1 0 3 2 0 1 0 3 3 2 * 1 2 3 0 1 0 0 3 0 0 * 1 0 2 1 1 0 0 * * * * * * * 2 0 0 1 1 0 1 3 3 0 * 0 3 1 2 3 3 2 0 0 0 1 0 3 2 2 1 1 1 0 1 2 0 3 1 1 3 2 2 3 2 1 0 4 1 2 * * * * * * * * * * * * * 0 1 1 2 0 0 3 2 4 * 4 3 2 3 2 1 2 1 0 0 * 2 2 1 3 2 1 1 * * * * * * * * * * * * * * * * * * * * 1 3 2 2 4 3 1 4 * 4 0 2 3 0 3 1 1 2 3 * 2 3 0 0 0 1 1 * * * * * * * * * * * * * * * * * * * * * 2 1 1 0 1 2 2 * 2 4 1 1 2 3 2 0 0 1 * 0 2 0 3 0 2 2 * * * * * * * * * * * * * * * * * * * * * * 2 3 0 2 0 1 * 3 3 3 1 1 4 1 0 1 1 * 0 1 0 2 4 3 3 * * * * * * * * * * * * * * * * * * * * * * * 4 2 3 1 2 * 2 1 0 2 3 2 1 1 1 2 * 0 3 0 1 0 1 1 * * * * * * * * * * * * * * * * * * * * * * * * 4 2 1 1 * 2 2 4 0 2 3 0 0 1 3 * 0 2 1 0 2 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 * 0 2 0 3 2 1 1 1 1 3 * 2 2 1 4 4 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 * 3 0 2 2 0 2 1 1 1 2 * 2 1 0 1 0 3 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 * 1 0 1 1 1 0 0 2 2 0 * 4 0 2 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 1 1 3 3 3 0 2 2 3 * 1 0 0 0 1 0 0 * * * * * * * 1 1 3 0 3 1 3 2 0 2 * 3 0 0 0 0 1 2 0 3 0 * 0 1 1 0 3 3 2 1 4 2 0 1 3 4 1 1 1 1 2 2 0 1 2 0 * * * * * * * * * * * * * * * * * * * * * * * * 0 2 4 0 0 0 1 2 0 * 3 1 4 0 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 1 1 3 0 0 2 * 0 1 1 2 3 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 3 0 0 1 3 * 3 3 1 0 3 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 4 2 1 3 4 * 1 2 0 1 1 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 1 0 2 * 0 0 3 2 3 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 3 1 * 0 2 0 1 2 2 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 3 * 1 3 2 2 1 3 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 0 * 3 2 4 3 2 2 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 * 1 2 3 0 1 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 0 3 1 1 1 * * * * * * * 1 1 2 2 0 3 0 1 1 2 * 2 1 2 1 1 1 0 1 3 4 * 3 0 1 2 3 1 0 2 2 2 * 1 0 0 0 0 0 0 0 1 1 0 0 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 4 4 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 2 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 2 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 3 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 2 2 2 1 0 1 1 0 0 * 0 3 0 0 2 3 3 0 2 0 * 0 2 0 1 2 1 1 3 1 4 * 2 2 1 4 3 1 1 * 1 2 2 1 4 * 4 2 1 2 2 1 0 3 0 1 * 0 3 0 0 0 3 1 0 1 4 * 3 1 2 0 2 0 0 3 2 1 * 2 0 2 0 2 0 0 * * 2 1 3 1 * 2 4 1 1 1 2 0 2 4 2 * 2 2 1 3 3 0 2 2 3 1 * 4 0 0 3 4 0 3 1 1 0 * 3 0 1 3 0 1 1 * * * 0 0 2 * 2 0 0 1 1 0 1 3 3 3 * 0 3 1 2 0 3 2 0 0 0 * 0 3 2 2 1 1 1 0 1 2 * 3 1 1 3 2 2 3 * * * * 1 2 * 1 3 1 0 2 1 2 4 0 3 * 3 0 0 0 0 2 1 0 1 0 * 0 1 2 0 3 2 4 2 2 3 * 1 3 2 2 1 3 3 * * * * * 0 * 3 0 0 2 1 0 1 0 4 0 * 0 1 3 3 1 2 4 1 0 1 * 1 4 0 1 1 1 4 2 4 3 * 3 3 0 2 3 4 2 * * * * * * </values>
251.89/252.01	v </instantiation>
251.89/252.01	

OK	4

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15309 MiB free)
  memory of node 1: 16384 MiB (14782 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268911-1502673827/watcher-4268911-1502673827 -o /tmp/evaluation-result-4268911-1502673827/solver-4268911-1502673827 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502644521-30670 --watchdog 312 cosoco -lc -model -restarts HOME/instance-4268911-1502673827.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=14078, runsolver pid=14075

[startup+0.100126 s]*
/proc/loadavg: 2.16 2.06 2.06 2/182 14079
/proc/meminfo: memFree=30813860/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=27252 memory=3236 CPUtime=0 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 1006 0 0 0 0 0 0 0 20 0 1 0 55723362 27906048 809 18446744073709551615 4194304 5972588 140732765544048 140732765540696 140672931613669 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 6813 809 706 435 0 176 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 27252 KiB
Current children cumulated memory: 3236 KiB

[startup+0.209318 s]*
/proc/loadavg: 2.16 2.06 2.06 3/182 14079
/proc/meminfo: memFree=30794236/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=47240 memory=23296 CPUtime=0.1 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 5997 0 0 0 10 0 0 0 20 0 1 0 55723362 48373760 5824 18446744073709551615 4194304 5972588 140732765544048 140732765539304 5379389 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 11810 5824 717 435 0 5173 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47240 KiB
Current children cumulated memory: 23296 KiB

[startup+0.309406 s]*
/proc/loadavg: 2.16 2.06 2.06 3/182 14079
/proc/meminfo: memFree=30793864/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=47564 memory=23436 CPUtime=0.2 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 6111 0 0 0 20 0 0 0 20 0 1 0 55723362 48705536 5859 18446744073709551615 4194304 5972588 140732765544048 140732765539304 5370902 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 11891 5859 717 435 0 5254 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 47564 KiB
Current children cumulated memory: 23436 KiB

[startup+0.700376 s]
/proc/loadavg: 2.16 2.06 2.06 3/182 14079
/proc/meminfo: memFree=30787416/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=66392 memory=42704 CPUtime=0.59 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 10918 0 0 0 58 1 0 0 20 0 1 0 55723362 67985408 10676 18446744073709551615 4194304 5972588 140732765544048 140732765539304 140672941253485 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 16598 10676 787 435 0 9961 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 66392 KiB
Current children cumulated memory: 42704 KiB

[startup+1.50037 s]
/proc/loadavg: 2.16 2.06 2.06 3/182 14079
/proc/meminfo: memFree=30756168/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=117212 memory=93656 CPUtime=1.39 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 23647 0 0 0 136 3 0 0 20 0 1 0 55723362 120025088 23414 18446744073709551615 4194304 5972588 140732765544048 140732765537608 4967517 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 29303 23414 787 435 0 22666 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 117212 KiB
Current children cumulated memory: 93656 KiB

[startup+3.10937 s]
/proc/loadavg: 2.15 2.06 2.06 3/182 14079
/proc/meminfo: memFree=30628576/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=219396 memory=195832 CPUtime=3 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 50627 0 0 0 293 7 0 0 20 0 1 0 55723362 224661504 48958 18446744073709551615 4194304 5972588 140732765544048 140732765537608 140672941556078 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 54849 48958 787 435 0 48212 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 219396 KiB
Current children cumulated memory: 195832 KiB

[startup+6.30036 s]
/proc/loadavg: 2.15 2.06 2.06 3/182 14079
/proc/meminfo: memFree=30436668/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=422048 memory=398252 CPUtime=6.19 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 102751 0 0 0 607 12 0 0 20 0 1 0 55723362 432177152 99563 18446744073709551615 4194304 5972588 140732765544048 140732765537608 140672931611442 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 105512 99563 787 435 0 98875 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 422048 KiB
Current children cumulated memory: 398252 KiB

[startup+12.7004 s]
/proc/loadavg: 2.14 2.06 2.06 3/182 14079
/proc/meminfo: memFree=30054996/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=828664 memory=805048 CPUtime=12.58 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 205656 0 0 0 1232 26 0 0 20 0 1 0 55723362 848551936 201262 18446744073709551615 4194304 5972588 140732765544048 140732765537608 4967517 0 0 1 0 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 207166 201262 787 435 0 200529 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 828664 KiB
Current children cumulated memory: 805048 KiB

[startup+25.5004 s]
/proc/loadavg: 2.11 2.05 2.05 3/182 14079
/proc/meminfo: memFree=29098316/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=1738884 memory=1715500 CPUtime=25.39 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 560002 0 0 0 2478 61 0 0 20 0 1 0 55723362 1780617216 428875 18446744073709551615 4194304 5972588 140732765544048 140732765531240 4965316 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 434721 428875 831 435 0 428084 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715500 KiB

[startup+51.1094 s]
/proc/loadavg: 2.07 2.05 2.05 3/185 14092
/proc/meminfo: memFree=29093832/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=1738884 memory=1715500 CPUtime=51 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 605321 0 0 0 5037 63 0 0 20 0 1 0 55723362 1780617216 428875 18446744073709551615 4194304 5972588 140732765544048 140732765531240 5328649 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 434721 428875 831 435 0 428084 0
Current children cumulated CPU time: 51 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715500 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 14094
/proc/meminfo: memFree=29093864/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=1738884 memory=1715500 CPUtime=102.19 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 677346 0 0 0 10152 67 0 0 20 0 1 0 55723362 1780617216 428875 18446744073709551615 4194304 5972588 140732765544048 140732765531240 4908980 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 434721 428875 831 435 0 428084 0
Current children cumulated CPU time: 102.19 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715500 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 14096
/proc/meminfo: memFree=29096816/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=1738884 memory=1715500 CPUtime=162.19 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 746820 0 0 0 16148 71 0 0 20 0 1 0 55723362 1780617216 428875 18446744073709551615 4194304 5972588 140732765544048 140732765531240 4909657 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 434721 428875 831 435 0 428084 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715500 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 14098
/proc/meminfo: memFree=29096852/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=1738884 memory=1715500 CPUtime=222.19 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 805503 0 0 0 22146 73 0 0 20 0 1 0 55723362 1780617216 428875 18446744073709551615 4194304 5972588 140732765544048 140732765531240 5072002 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 434721 428875 831 435 0 428084 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715500 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 1.72 1.96 2.02 2/175 14145
/proc/meminfo: memFree=29964480/32770624 swapFree=67108860/67108860
[pid=14078] ppid=14075 vsize=1738884 memory=1715504 CPUtime=251.89 cores=0,2,4,6
/proc/14078/stat : 14078 (cosoco) R 14075 14078 11586 0 -1 4202496 847630 0 0 0 25114 75 0 0 20 0 1 0 55723362 1780617216 428876 18446744073709551615 4194304 5972588 140732765544048 140732765531240 4969189 0 0 1 8405026 0 0 0 17 4 0 0 10 0 0 8070896 8075904 12234752 140732765544910 140732765545005 140732765545005 140732765548494 0
/proc/14078/statm: 434721 428876 831 435 0 428084 0
Current children cumulated CPU time: 251.89 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715504 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.111 s]
# the end of solver process 14078 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.149 s, system=0.855017 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 252.112
CPU time (s): 252.004
CPU user time (s): 251.149
CPU system time (s): 0.855017
CPU usage (%): 99.9574
Max. virtual memory (cumulated for all children) (KiB): 1738884
Max. memory (cumulated for all children) (KiB): 1715504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.149
system time used= 0.855017
maximum resident set size= 1715568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 847837
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= 90


# summary of solver processes directly reported to runsolver:
#   pid: 14078
#   total CPU time (s): 252.004
#   total CPU user time (s): 251.149
#   total CPU system time (s): 0.855017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.987576 second user time and 1.74786 second system time

The end

Begin job on node124 at 2017-08-14 03:09:31
IDJOB=4268911
IDBENCH=140592
IDSOLVER=2659
FILE ID=node124/4268911-1502673827
RUNJOBID= node124-1502644521-30670
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-47.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268911-1502673827/watcher-4268911-1502673827 -o /tmp/evaluation-result-4268911-1502673827/solver-4268911-1502673827 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502644521-30670 --watchdog 312  cosoco -lc -model -restarts HOME/instance-4268911-1502673827.xml

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

MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509
RANDOM SEED=1508235088

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.51
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		: 2668.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		: 2668.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.51
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		: 2668.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		: 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.51
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		: 2668.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.51
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		: 2668.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:        30814452 kB
MemAvailable:   31129188 kB
Buffers:          195504 kB
Cached:           399432 kB
SwapCached:            0 kB
Active:          1288272 kB
Inactive:         222096 kB
Active(anon):     866976 kB
Inactive(anon):    73808 kB
Active(file):     421296 kB
Inactive(file):   148288 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3484 kB
Writeback:            16 kB
AnonPages:        910836 kB
Mapped:            45868 kB
Shmem:             25352 kB
Slab:             148412 kB
SReclaimable:     121976 kB
SUnreclaim:        26436 kB
KernelStack:        3488 kB
PageTables:         6472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1188300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62028 MiB
End job on node124 at 2017-08-14 03:13:43