18.28/18.46	c best=?? lower=0 upper=1080 
21.29/21.47	c
21.29/21.47	c This is cosoco 1.1 --  
21.29/21.47	c
21.29/21.47	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4258706-1502001355.xml 
21.29/21.47	c enable optimization
21.29/21.47	c ========================================[ Problem Statistics ]===========================================
21.29/21.47	c |                                                                                                       
21.29/21.47	c |  Parse time        :        17.96 s 
21.29/21.47	c |
21.29/21.47	c |               Variables: 2209
21.29/21.47	c |            Domain Sizes: 1081..1081
21.29/21.47	c |
21.29/21.47	c |             Constraints: 16216
21.29/21.47	c |                   Arity: 3..1081  -- Ternary: 16215
21.29/21.47	c | 
21.29/21.47	c |                   Types: 
21.29/21.47	c |                          Intension: 16215
21.29/21.47	c |                          Max constant: 1
21.29/21.47	c |                          
21.29/21.47	c =========================================================================================================
21.29/21.47	o 6
21.29/21.47	c    1 calls to solver: best=6 lower=0 upper=5 
21.58/21.77	o 5
22.08/22.25	o 4
22.08/22.25	c    3 calls to solver: best=4 lower=0 upper=3 
239.89/240.00	
239.89/240.00	c *** INTERRUPTED ***
239.89/240.00	c restarts              : 59          
239.89/240.00	c conflicts             : 287404       (1202 /sec)
239.89/240.00	c decisions             : 1064399      (4451 /sec)
239.89/240.00	c propagations          : 15987233    (66847 /sec)
239.89/240.00	c root propagations     : 1165265     
239.89/240.00	c filter calls          : 249094082      (1041536 /sec)
239.89/240.00	c useless filter calls  : 236660526      (95 %)
239.89/240.00	c Memory used           : 1698.13 MB
239.89/240.00	c CPU time              : 239.16 s
239.89/240.00	
239.89/240.00	c nb Solutions = 3
239.89/240.00	s SATISFIABLE
239.89/240.00	c Best value found: 4
239.89/240.00	
239.89/240.00	
239.89/240.00	v <instantiation type='solution' cost='4'>
239.89/240.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>
239.89/240.00	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>
239.89/240.00	v </instantiation>
239.89/240.00	

OK	4

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-4258706-1502001355/watcher-4258706-1502001355 -o /tmp/evaluation-result-4258706-1502001355/solver-4258706-1502001355 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502000516-24172 --watchdog 300 HOME/cosoco -lc -model -restarts HOME/instance-4258706-1502001355.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.17 1.69 1.90 3/185 24201
/proc/meminfo: memFree=31582680/32770624 swapFree=0/390640
[pid=24201] ppid=24198 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24201/stat : 24201 (runsolver) D 24198 24201 15278 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 47641451 24240128 106 18446744073709551615 4194304 4338465 140727621613200 140727621610840 139967214559959 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 19955712 140727621615780 140727621616204 140727621616204 140727621619658 0
/proc/24201/statm: 5918 106 53 36 0 2156 0

[startup+0.100109 s]
/proc/loadavg: 1.17 1.69 1.90 3/185 24201
/proc/meminfo: memFree=31582680/32770624 swapFree=0/390640
[pid=24201] ppid=24198 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24201/stat : 24201 (runsolver) D 24198 24201 15278 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 47641451 24240128 106 18446744073709551615 4194304 4338465 140727621613200 140727621610840 139967214559959 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 19955712 140727621615780 140727621616204 140727621616204 140727621619658 0
/proc/24201/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200303 s]
/proc/loadavg: 1.17 1.69 1.90 3/185 24201
/proc/meminfo: memFree=31582680/32770624 swapFree=0/390640
[pid=24201] ppid=24198 vsize=47240 CPUtime=0.08 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202496 5965 0 0 0 8 0 0 0 20 0 1 0 47641451 48373760 5789 18446744073709551615 4194304 5972556 140736728199680 140736728196328 5496935 0 0 1 0 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10502144 140736728203726 140736728203856 140736728203856 140736728207310 0
/proc/24201/statm: 11810 5789 715 435 0 5173 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 47240

[startup+0.30036 s]
/proc/loadavg: 1.17 1.69 1.90 3/185 24201
/proc/meminfo: memFree=31582680/32770624 swapFree=0/390640
[pid=24201] ppid=24198 vsize=47432 CPUtime=0.18 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202496 6081 0 0 0 18 0 0 0 20 0 1 0 47641451 48570368 5858 18446744073709551615 4194304 5972556 140736728199680 140736728196328 5496923 0 0 1 0 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10502144 140736728203726 140736728203856 140736728203856 140736728207310 0
/proc/24201/statm: 11858 5858 715 435 0 5221 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 47432

[startup+0.700302 s]
/proc/loadavg: 1.17 1.69 1.90 3/185 24201
/proc/meminfo: memFree=31582680/32770624 swapFree=0/390640
[pid=24201] ppid=24198 vsize=65556 CPUtime=0.58 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202496 10698 0 0 0 57 1 0 0 20 0 1 0 47641451 67129344 10477 18446744073709551615 4194304 5972556 140736728199680 140736728193240 140252177075611 0 0 1 0 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10502144 140736728203726 140736728203856 140736728203856 140736728207310 0
/proc/24201/statm: 16389 10477 786 435 0 9752 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 65556

[startup+1.5003 s]
/proc/loadavg: 1.24 1.70 1.90 4/187 24203
/proc/meminfo: memFree=31456840/32770624 swapFree=0/390892
[pid=24201] ppid=24198 vsize=115812 CPUtime=1.39 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202496 23271 0 0 0 136 3 0 0 20 0 1 0 47641451 118591488 23017 18446744073709551615 4194304 5972556 140736728199680 140736728193240 140252176774276 0 0 1 0 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10502144 140736728203726 140736728203856 140736728203856 140736728207310 0
/proc/24201/statm: 28953 23017 786 435 0 22316 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 115812

[startup+3.1003 s]
/proc/loadavg: 1.24 1.70 1.90 5/187 24204
/proc/meminfo: memFree=31319184/32770624 swapFree=0/390892
[pid=24201] ppid=24198 vsize=216184 CPUtime=2.99 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202496 49808 0 0 0 292 7 0 0 20 0 1 0 47641451 221372416 48128 18446744073709551615 4194304 5972556 140736728199680 140736728193240 4967501 0 0 1 0 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10502144 140736728203726 140736728203856 140736728203856 140736728207310 0
/proc/24201/statm: 54046 48128 786 435 0 47409 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 216184

[startup+6.3003 s]
/proc/loadavg: 1.24 1.70 1.90 4/187 24204
/proc/meminfo: memFree=30908736/32770624 swapFree=0/390900
[pid=24201] ppid=24198 vsize=417160 CPUtime=6.18 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202496 101519 0 0 0 604 14 0 0 20 0 1 0 47641451 427171840 98375 18446744073709551615 4194304 5972556 140736728199680 140736728193240 140252167416805 0 0 1 0 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10502144 140736728203726 140736728203856 140736728203856 140736728207310 0
/proc/24201/statm: 104290 98375 786 435 0 97653 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 417160

[startup+12.7003 s]
/proc/loadavg: 1.28 1.69 1.90 4/187 24204
/proc/meminfo: memFree=30086288/32770624 swapFree=0/390900
[pid=24201] ppid=24198 vsize=819304 CPUtime=12.58 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202496 203329 0 0 0 1231 27 0 0 20 0 1 0 47641451 838967296 198879 18446744073709551615 4194304 5972556 140736728199680 140736728193240 5201104 0 0 1 0 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10502144 140736728203726 140736728203856 140736728203856 140736728207310 0
/proc/24201/statm: 204826 198879 786 435 0 198189 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 819304

[startup+25.5004 s]
/proc/loadavg: 1.39 1.70 1.90 4/187 24204
/proc/meminfo: memFree=28328600/32770624 swapFree=0/390920
[pid=24201] ppid=24198 vsize=1738884 CPUtime=25.39 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202496 560936 0 0 0 2479 60 0 0 20 0 1 0 47641451 1780617216 428876 18446744073709551615 4194304 5972556 140736728199680 140736728186872 4969199 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10502144 140736728203726 140736728203856 140736728203856 140736728207310 0
/proc/24201/statm: 434721 428876 831 435 0 428084 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 1738884

[startup+51.1003 s]
/proc/loadavg: 1.60 1.73 1.90 4/187 24204
/proc/meminfo: memFree=28327980/32770624 swapFree=0/390924
[pid=24201] ppid=24198 vsize=1738884 CPUtime=50.98 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202496 605694 0 0 0 5036 62 0 0 20 0 1 0 47641451 1780617216 428876 18446744073709551615 4194304 5972556 140736728199680 140736728186872 4965326 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10502144 140736728203726 140736728203856 140736728203856 140736728207310 0
/proc/24201/statm: 434721 428876 831 435 0 428084 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 1738884

[startup+102.3 s]
/proc/loadavg: 1.84 1.77 1.91 4/187 24206
/proc/meminfo: memFree=28326988/32770624 swapFree=0/390952
[pid=24201] ppid=24198 vsize=1738884 CPUtime=102.19 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202496 677526 0 0 0 10152 67 0 0 20 0 1 0 47641451 1780617216 428876 18446744073709551615 4194304 5972556 140736728199680 140736728186872 4965300 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10502144 140736728203726 140736728203856 140736728203856 140736728207310 0
/proc/24201/statm: 434721 428876 831 435 0 428084 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 1738884

[startup+162.3 s]
/proc/loadavg: 1.94 1.81 1.91 4/187 24208
/proc/meminfo: memFree=28326160/32770624 swapFree=0/390976
[pid=24201] ppid=24198 vsize=1738884 CPUtime=162.19 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202496 746996 0 0 0 16149 70 0 0 20 0 1 0 47641451 1780617216 428876 18446744073709551615 4194304 5972556 140736728199680 140736728186872 4965326 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10502144 140736728203726 140736728203856 140736728203856 140736728207310 0
/proc/24201/statm: 434721 428876 831 435 0 428084 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 1738884

[startup+222.306 s]
/proc/loadavg: 1.98 1.85 1.92 4/185 24211
/proc/meminfo: memFree=28326348/32770624 swapFree=0/390992
[pid=24201] ppid=24198 vsize=1738884 CPUtime=222.2 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202496 812409 0 0 0 22147 73 0 0 20 0 1 0 47641451 1780617216 428876 18446744073709551615 4194304 5972556 140736728199680 140736728186872 4965315 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10502144 140736728203726 140736728203856 140736728203856 140736728207310 0
/proc/24201/statm: 434721 428876 831 435 0 428084 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 1738884



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240 s]
/proc/loadavg: 1.98 1.85 1.92 4/184 24211
/proc/meminfo: memFree=28325568/32770624 swapFree=0/390992
[pid=24201] ppid=24198 vsize=1738884 CPUtime=239.89 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202496 833662 0 0 0 23916 73 0 0 20 0 1 0 47641451 1780617216 428876 18446744073709551615 4194304 5972556 140736728199680 140736728186872 4965357 0 0 1 8405026 0 0 0 17 2 0 0 10 0 0 8070896 8075904 10502144 140736728203726 140736728203856 140736728203856 140736728207310 0
/proc/24201/statm: 434721 428876 831 435 0 428084 0
Current children cumulated CPU time (s) 239.89
Current children cumulated vsize (KiB) 1738884

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

[startup+240.1 s]
/proc/loadavg: 1.98 1.85 1.92 4/184 24211
/proc/meminfo: memFree=28325568/32770624 swapFree=0/390992
[pid=24201] ppid=24198 vsize=0 CPUtime=239.99 cores=0,2,4,6
/proc/24201/stat : 24201 (cosoco) R 24198 24201 15278 0 -1 4202500 833968 0 0 0 23916 83 0 0 20 0 1 0 47641451 0 0 18446744073709551615 0 0 0 0 0 0 16384 1 8405026 18446744073709551615 0 0 17 2 0 0 10 0 0 0 0 0 0 0 0 0 0
/proc/24201/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 239.99
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 240.101
CPU time (s): 240
CPU user time (s): 239.161
CPU system time (s): 0.838015
CPU usage (%): 99.9578
Max. virtual memory (cumulated for all children) (KiB): 1738884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 239.161
system time used= 0.838015
maximum resident set size= 1715568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 833968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 86

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.668129 second user time and 0.875479 second system time

The end

Begin job on node134 at 2017-08-06 08:21:56
IDJOB=4258706
IDBENCH=140592
IDSOLVER=2644
FILE ID=node134/4258706-1502001355
RUNJOBID= node134-1502000516-24172
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-47.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4258706-1502001355/watcher-4258706-1502001355 -o /tmp/evaluation-result-4258706-1502001355/solver-4258706-1502001355 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502000516-24172 --watchdog 300  HOME/cosoco -lc -model -restarts HOME/instance-4258706-1502001355.xml

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

MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509
RANDOM SEED=757337464

node134.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.43
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.43
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.43
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.43
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:        31582824 kB
MemAvailable:   32008476 kB
Buffers:          165672 kB
Cached:           544080 kB
SwapCached:            0 kB
Active:           360744 kB
Inactive:         405740 kB
Active(anon):      59072 kB
Inactive(anon):    14840 kB
Active(file):     301672 kB
Inactive(file):   390900 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              6116 kB
Writeback:             0 kB
AnonPages:         46216 kB
Mapped:            37844 kB
Shmem:             17084 kB
Slab:             123716 kB
SReclaimable:      97832 kB
SUnreclaim:        25884 kB
KernelStack:        3248 kB
PageTables:         4588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     290992 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:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62024 MiB
End job on node134 at 2017-08-06 08:25:56