1.04/1.17	c best=?? lower=-23821 upper=0 
1.04/1.19	c
1.04/1.19	c This is cosoco 1.12 --  
1.04/1.19	c
1.04/1.19	c command line: cosoco -lc -model -restarts HOME/instance-4268666-1502659846.xml 
1.04/1.19	c enable optimization
1.04/1.19	c ========================================[ Problem Statistics ]===========================================
1.04/1.19	c |                                                                                                       
1.04/1.19	c |  Parse time        :         1.11 s 
1.04/1.19	c |
1.04/1.19	c |               Variables: 1805
1.04/1.19	c |            Domain Sizes: 2..83
1.04/1.19	c |
1.04/1.19	c |             Constraints: 944
1.04/1.19	c |                   Arity: 2..42  -- Binary: 42  -- Ternary: 862
1.04/1.19	c | 
1.04/1.19	c |                   Types: 
1.04/1.19	c |                          Intension: 902
1.04/1.19	c |                          Sum: 42
1.04/1.19	c |                          
1.04/1.19	c =========================================================================================================
1.04/1.19	o -4925
1.04/1.19	c    1 calls to solver: best=-4925 lower=-4924 upper=0 
1.14/1.21	o -1661
1.14/1.23	o -1653
1.14/1.23	c    3 calls to solver: best=-1653 lower=-1652 upper=0 
1.24/1.31	o -1517
1.24/1.33	o -1485
1.24/1.33	c    5 calls to solver: best=-1485 lower=-1484 upper=0 
1.34/1.40	o -1421
1.34/1.44	o -1285
1.34/1.44	c    7 calls to solver: best=-1285 lower=-1284 upper=0 
1.34/1.49	o -1133
1.54/1.61	o -1077
1.54/1.61	c    9 calls to solver: best=-1077 lower=-1076 upper=0 
1.64/1.73	o -1069
1.74/1.85	o -957
1.74/1.85	c   11 calls to solver: best=-957 lower=-956 upper=0 
1.74/1.87	o -933
1.74/1.89	o -909
1.74/1.89	c   13 calls to solver: best=-909 lower=-908 upper=0 
2.05/2.16	o -885
2.14/2.26	o -837
2.14/2.26	c   15 calls to solver: best=-837 lower=-836 upper=0 
2.54/2.65	o -821
2.54/2.67	o -757
2.54/2.67	c   17 calls to solver: best=-757 lower=-756 upper=0 
2.64/2.76	o -741
2.64/2.79	o -717
2.64/2.79	c   19 calls to solver: best=-717 lower=-716 upper=0 
2.74/2.83	o -709
2.74/2.87	o -685
2.74/2.87	c   21 calls to solver: best=-685 lower=-684 upper=0 
2.84/2.91	o -677
2.84/3.00	o -669
2.84/3.00	c   23 calls to solver: best=-669 lower=-668 upper=0 
2.95/3.03	o -525
3.05/3.18	o -509
3.05/3.18	c   25 calls to solver: best=-509 lower=-508 upper=0 
3.24/3.33	o -437
3.64/3.72	o -317
3.64/3.72	c   27 calls to solver: best=-317 lower=-316 upper=0 
233.03/233.15	o -309
251.93/252.00	
251.93/252.00	c *** INTERRUPTED ***
251.93/252.00	c restarts              : 55          
251.93/252.00	c conflicts             : 188424       (748 /sec)
251.93/252.00	c decisions             : 2775308      (11017 /sec)
251.93/252.00	c propagations          : 230164759   (913633 /sec)
251.93/252.00	c root propagations     : 4427        
251.93/252.00	c filter calls          : 229820929      (912269 /sec)
251.93/252.00	c useless filter calls  : 102009825      (44 %)
251.93/252.00	c Memory used           : 46.75 MB
251.93/252.00	c CPU time              : 251.922 s
251.93/252.00	
251.93/252.00	c nb Solutions = 28
251.93/252.00	s SATISFIABLE
251.93/252.00	c Best value found: -309
251.93/252.00	
251.93/252.00	
251.93/252.00	v <instantiation type='solution' cost='-309'>
251.93/252.00	v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[4] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[4] s[5] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][3] y[0][40] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][3] y[10][40] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][3] y[11][40] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][3] y[12][40] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][3] y[13][40] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][3] y[14][40] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][3] y[15][40] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][3] y[16][40] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][3] y[17][40] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][3] y[18][40] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][3] y[19][40] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][3] y[1][40] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][3] y[20][40] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][3] y[21][40] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][3] y[22][40] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][3] y[23][40] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][3] y[24][40] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][3] y[25][40] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][3] y[26][40] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][3] y[27][40] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][3] y[28][40] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][3] y[29][40] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][3] y[2][40] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][3] y[30][40] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][3] y[31][40] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][3] y[32][40] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][3] y[33][40] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][3] y[34][40] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][3] y[35][40] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][3] y[36][40] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[37][0] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][1] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][2] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][3] y[37][40] y[37][4] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[38][0] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][1] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][2] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][3] y[38][40] y[38][4] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[39][0] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][1] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][2] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][3] y[39][40] y[39][4] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][3] y[3][40] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[40][0] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][1] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][2] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][3] y[40][40] y[40][4] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][3] y[4][40] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][3] y[5][40] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][3] y[6][40] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][3] y[7][40] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][3] y[8][40] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][3] y[9][40] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list>
251.93/252.00	v <values>3 -1 2 -1 0 3 -2 3 0 -3 0 -2 -3 2 1 6 -1 -4 -1 2 -1 -4 3 -1 0 -5 -2 -3 -2 -5 0 -1 0 2 -1 -1 4 1 -8 -1 2 9 1 4 1 0 9 4 9 0 9 0 4 9 4 1 36 1 16 1 4 1 16 9 1 0 25 4 9 4 25 0 1 0 4 1 1 16 1 64 1 4 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 * * * * * * * * * 1 * -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 * * * * * * * * * * -1 * 1 1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 * -1 * * * * * * * * * * 1 * 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 * * 1 * * * * * * * * * * 1 * -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 * * * 1 * * * * * * * * * * -1 * 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 * * * * -1 * * * * * * * * * * 1 * 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 * * * * * 1 * * * * * * * * * * 1 * -1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 * * * * * * 1 * * * * * * * * * * -1 * 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 * * * * * * * -1 * * * * * * * * * * 1 * 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 * * * * * * * * 1 * * * * * * * * * * 1 * -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 * 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 * * * * * * * * * 1 * * * * * * * * * * -1 * -1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * 1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * -1 -1 -1 1 1 1 1 1 1 1 1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 -1 1 -1 1 1 1 -1 1 1 * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 1 -1 -1 1 -1 -1 -1 1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 -1 * 1 * 1 -1 -1 1 1 1 -1 -1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * -1 -1 -1 1 1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * -1 -1 1 -1 1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 1 -1 -1 1 * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * 1 -1 -1 -1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * -1 -1 -1 * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * -1 -1 * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * -1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 * * 1 * -1 -1 1 -1 1 1 -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 * * * -1 * -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 * * * * -1 * 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 * * * * * 1 * -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 * * * * * * -1 * -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 1 * * * * * * * -1 * -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 * * * * * * * * -1 * 1 -1 1 1 1 -1 </values>
251.93/252.00	v </instantiation>
251.93/252.00	

OK	309

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 (14361 MiB free)
  memory of node 1: 16384 MiB (15633 MiB free)
  node distances:
     10  21
     21  10

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=6251, runsolver pid=6248

[startup+0.100159 s]*
/proc/loadavg: 2.00 2.04 2.05 3/181 6252
/proc/meminfo: memFree=30712616/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=28832 memory=5280 CPUtime=0.04 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 1484 0 0 0 4 0 0 0 20 0 1 0 54325233 29523968 1320 18446744073709551615 4194304 5972588 140733005096848 140733005093496 140074063423889 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 7208 1320 788 435 0 571 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 28832 KiB
Current children cumulated memory: 5280 KiB

[startup+0.209155 s]*
/proc/loadavg: 2.00 2.04 2.05 3/181 6252
/proc/meminfo: memFree=30711128/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=30256 memory=6704 CPUtime=0.15 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 1840 0 0 0 15 0 0 0 20 0 1 0 54325233 30982144 1676 18446744073709551615 4194304 5972588 140733005096848 140733005093496 140074053830519 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 7564 1676 788 435 0 927 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 30256 KiB
Current children cumulated memory: 6704 KiB

[startup+0.30863 s]*
/proc/loadavg: 2.00 2.04 2.05 3/181 6252
/proc/meminfo: memFree=30709640/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=31524 memory=7972 CPUtime=0.25 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 2164 0 0 0 25 0 0 0 20 0 1 0 54325233 32280576 1993 18446744073709551615 4194304 5972588 140733005096848 140733005093496 140074054615601 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 7881 1993 788 435 0 1244 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 31524 KiB
Current children cumulated memory: 7972 KiB

[startup+0.700279 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 6252
/proc/meminfo: memFree=30707108/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=36524 memory=12972 CPUtime=0.63 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 3421 0 0 0 63 0 0 0 20 0 1 0 54325233 37400576 3243 18446744073709551615 4194304 5972588 140733005096848 140733005090648 140074053782501 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 9131 3243 788 435 0 2494 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 36524 KiB
Current children cumulated memory: 12972 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 6252
/proc/meminfo: memFree=30700784/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=47204 memory=23812 CPUtime=1.44 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 6143 0 0 0 143 1 0 0 20 0 1 0 54325233 48336896 5953 18446744073709551615 4194304 5972588 140733005096848 140733005084040 5099648 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 11801 5953 845 435 0 5164 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 47204 KiB
Current children cumulated memory: 23812 KiB

[startup+3.10901 s]
/proc/loadavg: 2.00 2.04 2.05 3/181 6252
/proc/meminfo: memFree=30693468/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=47732 memory=24396 CPUtime=3.05 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 8509 0 0 0 304 1 0 0 20 0 1 0 54325233 48877568 6099 18446744073709551615 4194304 5972588 140733005096848 140733005084040 4965773 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 11933 6099 845 435 0 5296 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 47732 KiB
Current children cumulated memory: 24396 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.04 2.05 6/197 6284
/proc/meminfo: memFree=31110136/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=47732 memory=24520 CPUtime=6.24 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 10572 0 0 0 623 1 0 0 20 0 1 0 54325233 48877568 6130 18446744073709551615 4194304 5972588 140733005096848 140733005084040 5338169 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 11933 6130 845 435 0 5296 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 47732 KiB
Current children cumulated memory: 24520 KiB

[startup+12.7003 s]
/proc/loadavg: 2.30 2.10 2.07 3/181 6316
/proc/meminfo: memFree=31459852/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=47732 memory=24520 CPUtime=12.63 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 12599 0 0 0 1262 1 0 0 20 0 1 0 54325233 48877568 6130 18446744073709551615 4194304 5972588 140733005096848 140733005084040 4966031 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 11933 6130 845 435 0 5296 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 47732 KiB
Current children cumulated memory: 24520 KiB

[startup+25.5003 s]
/proc/loadavg: 2.25 2.10 2.07 3/181 6317
/proc/meminfo: memFree=31257300/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=47732 memory=24520 CPUtime=25.42 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 15529 0 0 0 2541 1 0 0 20 0 1 0 54325233 48877568 6130 18446744073709551615 4194304 5972588 140733005096848 140733005084040 5328506 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 11933 6130 845 435 0 5296 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 47732 KiB
Current children cumulated memory: 24520 KiB

[startup+51.1087 s]
/proc/loadavg: 2.17 2.09 2.06 3/181 6317
/proc/meminfo: memFree=31257664/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=47732 memory=24520 CPUtime=51.03 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 15616 0 0 0 5102 1 0 0 20 0 1 0 54325233 48877568 6130 18446744073709551615 4194304 5972588 140733005096848 140733005084040 5338144 0 0 1 8405026 0 0 0 17 1 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 11933 6130 845 435 0 5296 0
Current children cumulated CPU time: 51.03 s
Current children cumulated vsize: 47732 KiB
Current children cumulated memory: 24520 KiB

[startup+102.3 s]
/proc/loadavg: 2.07 2.08 2.06 3/181 6319
/proc/meminfo: memFree=31250576/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=47732 memory=24520 CPUtime=102.22 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 15703 0 0 0 10221 1 0 0 20 0 1 0 54325233 48877568 6130 18446744073709551615 4194304 5972588 140733005096848 140733005084040 5048456 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 11933 6130 845 435 0 5296 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 47732 KiB
Current children cumulated memory: 24520 KiB

[startup+162.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/181 6321
/proc/meminfo: memFree=31250500/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=47732 memory=24520 CPUtime=162.22 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 15799 0 0 0 16221 1 0 0 20 0 1 0 54325233 48877568 6130 18446744073709551615 4194304 5972588 140733005096848 140733005084040 4965812 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 11933 6130 845 435 0 5296 0
Current children cumulated CPU time: 162.22 s
Current children cumulated vsize: 47732 KiB
Current children cumulated memory: 24520 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 6337
/proc/meminfo: memFree=31246568/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=47732 memory=24520 CPUtime=222.22 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 15888 0 0 0 22221 1 0 0 20 0 1 0 54325233 48877568 6130 18446744073709551615 4194304 5972588 140733005096848 140733005084040 5139327 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 11933 6130 845 435 0 5296 0
Current children cumulated CPU time: 222.22 s
Current children cumulated vsize: 47732 KiB
Current children cumulated memory: 24520 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]*
/proc/loadavg: 2.01 2.05 2.05 3/184 6338
/proc/meminfo: memFree=31246504/32770624 swapFree=67108860/67108860
[pid=6251] ppid=6248 vsize=47864 memory=24636 CPUtime=251.93 cores=1,3,5,7
/proc/6251/stat : 6251 (cosoco) R 6248 6251 11586 0 -1 4202496 16055 0 0 0 25192 1 0 0 20 0 1 0 54325233 49012736 6159 18446744073709551615 4194304 5972588 140733005096848 140733005094296 5039159 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 14503936 140733005099470 140733005099565 140733005099565 140733005103054 0
/proc/6251/statm: 11966 6159 845 435 0 5329 0
Current children cumulated CPU time: 251.93 s
Current children cumulated vsize: 47864 KiB
Current children cumulated memory: 24636 KiB

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

[startup+252.01 s]
# the end of solver process 6251 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.922 s, system=0.015999 s

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

Child status: 1
Real time (s): 252.01
CPU time (s): 251.938
CPU user time (s): 251.922
CPU system time (s): 0.015999
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 47864
Max. memory (cumulated for all children) (KiB): 24636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.922
system time used= 0.015999
maximum resident set size= 24708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16106
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= 20
involuntary context switches= 137


# summary of solver processes directly reported to runsolver:
#   pid: 6251
#   total CPU time (s): 251.938
#   total CPU user time (s): 251.922
#   total CPU system time (s): 0.015999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.884926 second user time and 1.59851 second system time

The end

Begin job on node124 at 2017-08-13 23:16:30
IDJOB=4268666
IDBENCH=126989
IDSOLVER=2659
FILE ID=node124/4268666-1502659846
RUNJOBID= node124-1502644521-30671
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-042.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4268666-1502659846/watcher-4268666-1502659846 -o /tmp/evaluation-result-4268666-1502659846/solver-4268666-1502659846 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502644521-30671 --watchdog 312  cosoco -lc -model -restarts HOME/instance-4268666-1502659846.xml

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

MD5SUM BENCH= 406abf126875c7059afeaa5170034bef
RANDOM SEED=363194967

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30714588 kB
MemAvailable:   30990204 kB
Buffers:          177484 kB
Cached:           387508 kB
SwapCached:            0 kB
Active:          1434572 kB
Inactive:         194248 kB
Active(anon):    1015072 kB
Inactive(anon):    73804 kB
Active(file):     419500 kB
Inactive(file):   120444 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2372 kB
Writeback:             4 kB
AnonPages:       1063332 kB
Mapped:            45292 kB
Shmem:             25320 kB
Slab:             129352 kB
SReclaimable:     103016 kB
SUnreclaim:        26336 kB
KernelStack:        3216 kB
PageTables:         6916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1363072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    284672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62028 MiB
End job on node124 at 2017-08-13 23:20:42