18.00/18.03	c best=?? lower=0 upper=1080 
21.00/21.04	c
21.00/21.04	c This is cosoco 1.12 --  
21.00/21.04	c
21.00/21.04	c command line: cosoco -lc -model -restarts HOME/instance-4268452-1502618938.xml 
21.00/21.04	c enable optimization
21.00/21.04	c ========================================[ Problem Statistics ]===========================================
21.00/21.04	c |                                                                                                       
21.00/21.04	c |  Parse time        :        17.64 s 
21.00/21.04	c |
21.00/21.04	c |               Variables: 2209
21.00/21.04	c |            Domain Sizes: 1081..1081
21.00/21.04	c |
21.00/21.04	c |             Constraints: 16216
21.00/21.04	c |                   Arity: 3..1081  -- Ternary: 16215
21.00/21.04	c | 
21.00/21.04	c |                   Types: 
21.00/21.04	c |                          Intension: 16215
21.00/21.04	c |                          Max constant: 1
21.00/21.04	c |                          
21.00/21.04	c =========================================================================================================
21.00/21.04	o 6
21.00/21.04	c    1 calls to solver: best=6 lower=0 upper=5 
21.29/21.34	o 5
21.79/21.83	o 4
21.79/21.83	c    3 calls to solver: best=4 lower=0 upper=3 
2519.97/2520.00	
2519.97/2520.00	c *** INTERRUPTED ***
2519.97/2520.00	c restarts              : 87          
2519.97/2520.00	c conflicts             : 3977529      (1579 /sec)
2519.97/2520.00	c decisions             : 13948098     (5537 /sec)
2519.97/2520.00	c propagations          : 208661995   (82838 /sec)
2519.97/2520.00	c root propagations     : 1165265     
2519.97/2520.00	c filter calls          : 3474990753     (1379555 /sec)
2519.97/2520.00	c useless filter calls  : 3299328539     (94 %)
2519.97/2520.00	c Memory used           : 1698.13 MB
2519.97/2520.00	c CPU time              : 2518.92 s
2519.97/2520.00	
2519.97/2520.00	c nb Solutions = 3
2519.97/2520.00	s SATISFIABLE
2519.97/2520.00	c Best value found: 4
2519.97/2520.00	
2519.97/2520.00	
2519.97/2520.00	v <instantiation type='solution' cost='4'>
2519.97/2520.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>
2519.97/2520.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>
2519.97/2520.01	v </instantiation>
2519.97/2520.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 (10884 MiB free)
  memory of node 1: 16384 MiB (14908 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4268452-1502618938/watcher-4268452-1502618938 -o /tmp/evaluation-result-4268452-1502618938/solver-4268452-1502618938 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502610307-9481 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268452-1502618938.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=10239, runsolver pid=10236

[startup+0.10017 s]*
/proc/loadavg: 1.99 1.99 2.03 3/189 10240
/proc/meminfo: memFree=26391508/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=47240 memory=23160 CPUtime=0.1 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 5994 0 0 0 10 0 0 0 20 0 1 0 94974925 48373760 5790 33554432000 4194304 5972588 140726947531760 140726947528408 140230172348573 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 11810 5790 717 435 0 5173 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47240 KiB
Current children cumulated memory: 23160 KiB

[startup+0.20974 s]*
/proc/loadavg: 1.99 1.99 2.03 3/189 10240
/proc/meminfo: memFree=26391136/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=47564 memory=23436 CPUtime=0.2 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 6112 0 0 0 20 0 0 0 20 0 1 0 94974925 48705536 5859 33554432000 4194304 5972588 140726947531760 140726947528408 140230185390944 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/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.30887 s]*
/proc/loadavg: 1.99 1.99 2.03 3/189 10240
/proc/meminfo: memFree=26390392/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=48508 memory=24752 CPUtime=0.3 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 6447 0 0 0 30 0 0 0 20 0 1 0 94974925 49672192 6188 33554432000 4194304 5972588 140726947531760 140726947528408 140230172625893 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 12127 6188 787 435 0 5490 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 48508 KiB
Current children cumulated memory: 24752 KiB

[startup+0.700288 s]
/proc/loadavg: 1.99 1.99 2.03 3/189 10240
/proc/meminfo: memFree=26377528/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=73100 memory=49304 CPUtime=0.69 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 12593 0 0 0 68 1 0 0 20 0 1 0 94974925 74854400 12326 33554432000 4194304 5972588 140726947531760 140726947525320 4967517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 18275 12326 787 435 0 11638 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 73100 KiB
Current children cumulated memory: 49304 KiB

[startup+1.5003 s]
/proc/loadavg: 1.91 1.97 2.03 3/189 10240
/proc/meminfo: memFree=26345908/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=124192 memory=100520 CPUtime=1.49 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 25392 0 0 0 146 3 0 0 20 0 1 0 94974925 127172608 25130 33554432000 4194304 5972588 140726947531760 140726947525320 4967517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 31048 25130 787 435 0 24411 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 124192 KiB
Current children cumulated memory: 100520 KiB

[startup+3.10945 s]
/proc/loadavg: 1.91 1.97 2.03 3/189 10240
/proc/meminfo: memFree=26218060/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=227080 memory=203588 CPUtime=3.1 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 52604 0 0 0 304 6 0 0 20 0 1 0 94974925 232529920 50897 33554432000 4194304 5972588 140726947531760 140726947525320 4967517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 56770 50897 787 435 0 50133 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 227080 KiB
Current children cumulated memory: 203588 KiB

[startup+6.30028 s]
/proc/loadavg: 1.92 1.97 2.03 3/189 10240
/proc/meminfo: memFree=26025472/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=431112 memory=407500 CPUtime=6.29 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 105018 0 0 0 617 12 0 0 20 0 1 0 94974925 441458688 101875 33554432000 4194304 5972588 140726947531760 140726947525320 4967517 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 107778 101875 787 435 0 101141 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 431112 KiB
Current children cumulated memory: 407500 KiB

[startup+12.7003 s]
/proc/loadavg: 1.93 1.97 2.03 3/189 10240
/proc/meminfo: memFree=25641196/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=840256 memory=816648 CPUtime=12.69 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 208576 0 0 0 1243 26 0 0 20 0 1 0 94974925 860422144 204162 33554432000 4194304 5972588 140726947531760 140726947525320 140230172625893 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 210064 204162 787 435 0 203427 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 840256 KiB
Current children cumulated memory: 816648 KiB

[startup+25.5004 s]
/proc/loadavg: 1.94 1.97 2.03 3/187 10241
/proc/meminfo: memFree=24695756/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715500 CPUtime=25.49 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 560663 0 0 0 2488 61 0 0 20 0 1 0 94974925 1780617216 428875 33554432000 4194304 5972588 140726947531760 140726947518952 4965382 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428875 831 435 0 428084 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715500 KiB

[startup+51.1095 s]
/proc/loadavg: 1.96 1.97 2.03 3/187 10241
/proc/meminfo: memFree=24696164/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715500 CPUtime=51.1 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 614126 0 0 0 5047 63 0 0 20 0 1 0 94974925 1780617216 428875 33554432000 4194304 5972588 140726947531760 140726947518952 4965681 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428875 831 435 0 428084 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715500 KiB

[startup+102.3 s]
/proc/loadavg: 2.06 1.99 2.03 3/187 10242
/proc/meminfo: memFree=24695732/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715500 CPUtime=102.28 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 677372 0 0 0 10162 66 0 0 20 0 1 0 94974925 1780617216 428875 33554432000 4194304 5972588 140726947531760 140726947518952 4965753 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428875 831 435 0 428084 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715500 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 1.99 2.03 3/187 10243
/proc/meminfo: memFree=24696072/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715500 CPUtime=162.29 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 746847 0 0 0 16158 71 0 0 20 0 1 0 94974925 1780617216 428875 33554432000 4194304 5972588 140726947531760 140726947518952 4965216 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428875 831 435 0 428084 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715500 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 1.99 2.03 3/187 10245
/proc/meminfo: memFree=24695976/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715500 CPUtime=222.29 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 813681 0 0 0 22156 73 0 0 20 0 1 0 94974925 1780617216 428875 33554432000 4194304 5972588 140726947531760 140726947518952 4969220 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428875 831 435 0 428084 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715500 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 10246
/proc/meminfo: memFree=24696400/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715500 CPUtime=282.3 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 878248 0 0 0 28154 76 0 0 20 0 1 0 94974925 1780617216 428875 33554432000 4194304 5972588 140726947531760 140726947518952 4965734 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428875 831 435 0 428084 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715500 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 10254
/proc/meminfo: memFree=24695740/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715500 CPUtime=342.3 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 928965 0 0 0 34152 78 0 0 20 0 1 0 94974925 1780617216 428875 33554432000 4194304 5972588 140726947531760 140726947518952 4965697 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428875 831 435 0 428084 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715500 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 10279
/proc/meminfo: memFree=24694564/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715504 CPUtime=402.29 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 992524 0 0 0 40148 81 0 0 20 0 1 0 94974925 1780617216 428876 33554432000 4194304 5972588 140726947531760 140726947518952 5072002 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428876 831 435 0 428084 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715504 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 10280
/proc/meminfo: memFree=24694852/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715504 CPUtime=462.29 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1053615 0 0 0 46144 85 0 0 20 0 1 0 94974925 1780617216 428876 33554432000 4194304 5972588 140726947531760 140726947518952 4965365 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428876 831 435 0 428084 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715504 KiB


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

/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

[startup+1782.3 s]
/proc/loadavg: 2.57 2.15 2.09 3/188 10318
/proc/meminfo: memFree=24695788/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=1782.2 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1443610 0 0 0 178115 105 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 4909279 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

[startup+1842.3 s]
/proc/loadavg: 2.24 2.14 2.09 3/187 10320
/proc/meminfo: memFree=24695556/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=1842.21 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1444265 0 0 0 184116 105 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 4965468 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

[startup+1902.3 s]
/proc/loadavg: 2.09 2.12 2.08 3/187 10321
/proc/meminfo: memFree=24695308/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=1902.22 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1445210 0 0 0 190116 106 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 4969215 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

[startup+1962.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/187 10322
/proc/meminfo: memFree=24695556/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=1962.23 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1445962 0 0 0 196117 106 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 4965453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/187 10324
/proc/meminfo: memFree=24695936/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=2022.23 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1446723 0 0 0 202117 106 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 5072002 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 2022.23 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 10327
/proc/meminfo: memFree=24695812/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=2082.23 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1447635 0 0 0 208117 106 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 4965342 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 10335
/proc/meminfo: memFree=24695632/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=2142.24 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1448288 0 0 0 214118 106 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 5053069 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 10336
/proc/meminfo: memFree=24696252/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=2202.24 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1448972 0 0 0 220118 106 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 4965359 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 10337
/proc/meminfo: memFree=24696128/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=2262.25 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1449879 0 0 0 226119 106 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 5071952 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

[startup+2322.3 s]
/proc/loadavg: 1.92 2.01 2.04 2/180 10384
/proc/meminfo: memFree=25564336/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=2322.25 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1450496 0 0 0 232119 106 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 5072002 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

[startup+2382.3 s]
/proc/loadavg: 1.34 1.83 1.97 2/180 10385
/proc/meminfo: memFree=25564136/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=2382.26 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1451185 0 0 0 238120 106 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 4909616 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

[startup+2442.3 s]
/proc/loadavg: 1.12 1.68 1.91 2/180 10386
/proc/meminfo: memFree=25563980/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=2442.26 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1451835 0 0 0 244120 106 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 4909660 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 2442.26 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

[startup+2502.3 s]
/proc/loadavg: 1.05 1.55 1.86 2/180 10387
/proc/meminfo: memFree=25564184/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=2502.27 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1452873 0 0 0 250121 106 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 5072009 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 2502.27 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.04 1.53 1.84 2/180 10387
/proc/meminfo: memFree=25564192/32770624 swapFree=67108860/67108860
[pid=10239] ppid=10236 vsize=1738884 memory=1715560 CPUtime=2519.97 cores=1,3,5,7
/proc/10239/stat : 10239 (cosoco) R 10236 10239 6758 0 -1 4202496 1453048 0 0 0 251891 106 0 0 20 0 1 0 94974925 1780617216 428890 33554432000 4194304 5972588 140726947531760 140726947518952 5072002 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 39251968 140726947538111 140726947538206 140726947538206 140726947540942 0
/proc/10239/statm: 434721 428890 831 435 0 428084 0
Current children cumulated CPU time: 2519.97 s
Current children cumulated vsize: 1738884 KiB
Current children cumulated memory: 1715560 KiB

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

[startup+2520.02 s]
# the end of solver process 10239 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.92 s, system=1.07107 s

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 2519.99
CPU user time (s): 2518.92
CPU system time (s): 1.07107
CPU usage (%): 99.9991
Max. virtual memory (cumulated for all children) (KiB): 1738884
Max. memory (cumulated for all children) (KiB): 1715560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.92
system time used= 1.07107
maximum resident set size= 1715624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1453137
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= 379
involuntary context switches= 3445


# summary of solver processes directly reported to runsolver:
#   pid: 10239
#   total CPU time (s): 2519.99
#   total CPU user time (s): 2518.92
#   total CPU system time (s): 1.07107

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.22709 second user time and 16.7054 second system time

The end

Begin job on node150 at 2017-08-13 11:54:39
IDJOB=4268452
IDBENCH=140592
IDSOLVER=2658
FILE ID=node150/4268452-1502618938
RUNJOBID= node150-1502610307-9481
PBS_JOBID= 20628304
Free space on /tmp= 61632 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-4268452-1502618938/watcher-4268452-1502618938 -o /tmp/evaluation-result-4268452-1502618938/solver-4268452-1502618938 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1502610307-9481 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4268452-1502618938.xml

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

MD5SUM BENCH= b40b46819fbd3a38fcaaee2fdd389509
RANDOM SEED=1693099636

node150.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	: 5332.89
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	: 5332.89
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	: 5332.89
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	: 5332.89
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:        26412344 kB
MemAvailable:   31115092 kB
Buffers:          228212 kB
Cached:          4751736 kB
SwapCached:            0 kB
Active:          1519960 kB
Inactive:        4377636 kB
Active(anon):     919840 kB
Inactive(anon):    25068 kB
Active(file):     600120 kB
Inactive(file):  4352568 kB
Unevictable:        6228 kB
Mlocked:            6228 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3180 kB
Writeback:             0 kB
AnonPages:        968320 kB
Mapped:            45520 kB
Shmem:             25224 kB
Slab:             158040 kB
SReclaimable:     131788 kB
SUnreclaim:        26252 kB
KernelStack:        3600 kB
PageTables:         6904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1213652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    366592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61632 MiB
End job on node150 at 2017-08-13 12:36:39