12.20/12.39	c root propagations     : 812         
12.20/12.39	c restarts enabled, print stats at every restarts
12.20/12.39	c
12.20/12.39	c
12.20/12.39	c
12.20/12.39	c This is cosoco 1.12 --  
12.20/12.39	c
12.20/12.39	c command line: cosoco -lc -model -restarts HOME/instance-4267365-1502611119.xml 
12.20/12.39	c ========================================[ Problem Statistics ]===========================================
12.20/12.39	c |                                                                                                       
12.20/12.39	c |  Parse time        :        12.22 s 
12.20/12.39	c |
12.20/12.39	c |               Variables: 1024
12.20/12.39	c |            Domain Sizes: 2..2
12.20/12.39	c |
12.20/12.39	c |             Constraints: 64
12.20/12.39	c |                   Arity: 32..32
12.20/12.39	c | 
12.20/12.39	c |                   Types: 
12.20/12.39	c |                          Extension: 64  (nb tuples: 1..134596) -- (shared: 9)
12.20/12.39	c |                          
12.20/12.39	c =========================================================================================================
12.20/12.39	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
12.30/12.40	c solution 1
12.30/12.40	
12.30/12.40	v <instantiation type='solution'>
12.30/12.40	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] </list>
12.30/12.40	v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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>
12.30/12.40	v </instantiation>
12.30/12.40	
12.30/12.41	c restarts              : 0           
12.30/12.41	c conflicts             : 6            (0 /sec)
12.30/12.41	c decisions             : 1108         (90 /sec)
12.30/12.41	c propagations          : 2844        (232 /sec)
12.30/12.41	c root propagations     : 812         
12.30/12.41	c filter calls          : 2909           (237 /sec)
12.30/12.41	c useless filter calls  : 2507           (86 %)
12.30/12.41	c Memory used           : 125.11 MB
12.30/12.41	c CPU time              : 12.2699 s
12.30/12.41	
12.30/12.41	s SATISFIABLE

OK	

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267365-1502611119/watcher-4267365-1502611119 -o /tmp/evaluation-result-4267365-1502611119/solver-4267365-1502611119 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502596287-9624 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267365-1502611119.xml 

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

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


[startup+0.100624 s]*
/proc/loadavg: 2.09 2.09 2.30 3/186 12282
/proc/meminfo: memFree=31750520/32770624 swapFree=67108764/67108860
[pid=12281] ppid=12278 vsize=27696 memory=3828 CPUtime=0.01 cores=0,2,4,6
/proc/12281/stat : 12281 (cosoco) R 12278 12281 4674 0 -1 4202496 1173 0 0 0 1 0 0 0 20 0 1 0 108618296 28360704 957 18446744073709551615 4194304 5748600 140720317567936 140720317564584 5475911 0 0 1 0 0 0 0 17 0 0 0 8 0 0 7849824 7854664 33218560 140720317575625 140720317575720 140720317575720 140720317579214 0
/proc/12281/statm: 6924 957 698 380 0 342 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 27696 KiB
Current children cumulated memory: 3828 KiB

[startup+0.209366 s]*
/proc/loadavg: 2.09 2.09 2.30 3/186 12282
/proc/meminfo: memFree=31749888/32770624 swapFree=67108764/67108860
[pid=12281] ppid=12278 vsize=28648 memory=4884 CPUtime=0.12 cores=0,2,4,6
/proc/12281/stat : 12281 (cosoco) R 12278 12281 4674 0 -1 4202496 1416 0 0 0 12 0 0 0 20 0 1 0 108618296 29335552 1221 18446744073709551615 4194304 5748600 140720317567936 140720317564584 5473022 0 0 1 0 0 0 0 17 0 0 0 8 0 0 7849824 7854664 33218560 140720317575625 140720317575720 140720317575720 140720317579214 0
/proc/12281/statm: 7162 1221 710 380 0 580 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28648 KiB
Current children cumulated memory: 4884 KiB

[startup+0.308894 s]*
/proc/loadavg: 2.09 2.09 2.30 3/186 12282
/proc/meminfo: memFree=31749144/32770624 swapFree=67108764/67108860
[pid=12281] ppid=12278 vsize=29108 memory=5148 CPUtime=0.22 cores=0,2,4,6
/proc/12281/stat : 12281 (cosoco) R 12278 12281 4674 0 -1 4202496 1514 0 0 0 22 0 0 0 20 0 1 0 108618296 29806592 1287 18446744073709551615 4194304 5748600 140720317567936 140720317564584 5478670 0 0 1 0 0 0 0 17 0 0 0 8 0 0 7849824 7854664 33218560 140720317575625 140720317575720 140720317575720 140720317579214 0
/proc/12281/statm: 7277 1287 710 380 0 695 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 29108 KiB
Current children cumulated memory: 5148 KiB

[startup+0.70024 s]
/proc/loadavg: 2.09 2.09 2.30 3/186 12282
/proc/meminfo: memFree=31748508/32770624 swapFree=67108764/67108860
[pid=12281] ppid=12278 vsize=37020 memory=13372 CPUtime=0.6 cores=0,2,4,6
/proc/12281/stat : 12281 (cosoco) R 12278 12281 4674 0 -1 4202496 3765 0 0 0 60 0 0 0 20 0 1 0 108618296 37908480 3343 18446744073709551615 4194304 5748600 140720317567936 140720317564584 5479381 0 0 1 0 0 0 0 17 0 0 0 8 0 0 7849824 7854664 33218560 140720317575625 140720317575720 140720317575720 140720317579214 0
/proc/12281/statm: 9255 3343 710 380 0 2673 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 37020 KiB
Current children cumulated memory: 13372 KiB

[startup+1.50023 s]
/proc/loadavg: 2.09 2.09 2.30 3/186 12282
/proc/meminfo: memFree=31740792/32770624 swapFree=67108764/67108860
[pid=12281] ppid=12278 vsize=38892 memory=14952 CPUtime=1.4 cores=0,2,4,6
/proc/12281/stat : 12281 (cosoco) R 12278 12281 4674 0 -1 4202496 4199 0 0 0 140 0 0 0 20 0 1 0 108618296 39825408 3738 18446744073709551615 4194304 5748600 140720317567936 140720317564584 5474982 0 0 1 0 0 0 0 17 0 0 0 8 0 0 7849824 7854664 33218560 140720317575625 140720317575720 140720317575720 140720317579214 0
/proc/12281/statm: 9723 3738 711 380 0 3141 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 38892 KiB
Current children cumulated memory: 14952 KiB

[startup+3.10922 s]
/proc/loadavg: 2.09 2.09 2.30 3/186 12282
/proc/meminfo: memFree=31732036/32770624 swapFree=67108764/67108860
[pid=12281] ppid=12278 vsize=55472 memory=31424 CPUtime=3.01 cores=0,2,4,6
/proc/12281/stat : 12281 (cosoco) R 12278 12281 4674 0 -1 4202496 9186 0 0 0 300 1 0 0 20 0 1 0 108618296 56803328 7856 18446744073709551615 4194304 5748600 140720317567936 140720317564584 5476979 0 0 1 0 0 0 0 17 0 0 0 8 0 0 7849824 7854664 33218560 140720317575625 140720317575720 140720317575720 140720317579214 0
/proc/12281/statm: 13868 7856 713 380 0 7286 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 55472 KiB
Current children cumulated memory: 31424 KiB

[startup+6.30022 s]
/proc/loadavg: 2.08 2.09 2.30 3/186 12282
/proc/meminfo: memFree=31713208/32770624 swapFree=67108764/67108860
[pid=12281] ppid=12278 vsize=67656 memory=43568 CPUtime=6.2 cores=0,2,4,6
/proc/12281/stat : 12281 (cosoco) R 12278 12281 4674 0 -1 4202496 13075 0 0 0 618 2 0 0 20 0 1 0 108618296 69279744 10892 18446744073709551615 4194304 5748600 140720317567936 140720317564584 5478895 0 0 1 0 0 0 0 17 0 0 0 8 0 0 7849824 7854664 33218560 140720317575625 140720317575720 140720317575720 140720317579214 0
/proc/12281/statm: 16914 10892 713 380 0 10332 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 67656 KiB
Current children cumulated memory: 43568 KiB

[startup+12.4223 s]
# the end of solver process 12281 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=12.2705 s, system=0.058992 s

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

[startup+6.40025 s]
/proc/loadavg: 2.08 2.09 2.30 3/186 12282
/proc/meminfo: memFree=31713208/32770624 swapFree=67108764/67108860
[pid=12281] ppid=12278 vsize=71256 memory=44380 CPUtime=6.3 cores=0,2,4,6
/proc/12281/stat : 12281 (cosoco) R 12278 12281 4674 0 -1 4202496 13538 0 0 0 628 2 0 0 20 0 1 0 108618296 72966144 11095 18446744073709551615 4194304 5748600 140720317567936 140720317564584 5474905 0 0 1 0 0 0 0 17 0 0 0 8 0 0 7849824 7854664 33218560 140720317575625 140720317575720 140720317575720 140720317579214 0
/proc/12281/statm: 17814 11095 713 380 0 11232 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 71256 KiB
Current children cumulated memory: 44380 KiB

[startup+9.60032 s]
/proc/loadavg: 2.08 2.09 2.30 3/186 12282
/proc/meminfo: memFree=31669940/32770624 swapFree=67108764/67108860
[pid=12281] ppid=12278 vsize=108720 memory=83904 CPUtime=9.5 cores=0,2,4,6
/proc/12281/stat : 12281 (cosoco) R 12278 12281 4674 0 -1 4202496 33865 0 0 0 946 4 0 0 20 0 1 0 108618296 111329280 20976 18446744073709551615 4194304 5748600 140720317567936 140720317564584 5477973 0 0 1 0 0 0 0 17 2 0 0 8 0 0 7849824 7854664 33218560 140720317575625 140720317575720 140720317575720 140720317579214 0
/proc/12281/statm: 27180 20976 713 380 0 20598 0
Current children cumulated CPU time: 9.5 s
Current children cumulated vsize: 108720 KiB
Current children cumulated memory: 83904 KiB

[startup+11.2003 s]
/proc/loadavg: 2.08 2.09 2.30 3/186 12282
/proc/meminfo: memFree=31651712/32770624 swapFree=67108764/67108860
[pid=12281] ppid=12278 vsize=128112 memory=102820 CPUtime=11.1 cores=0,2,4,6
/proc/12281/stat : 12281 (cosoco) R 12278 12281 4674 0 -1 4202496 40634 0 0 0 1106 4 0 0 20 0 1 0 108618296 131186688 25705 18446744073709551615 4194304 5748600 140720317567936 140720317564584 5173184 0 0 1 0 0 0 0 17 2 0 0 8 0 0 7849824 7854664 33218560 140720317575625 140720317575720 140720317575720 140720317579214 0
/proc/12281/statm: 32028 25705 713 380 0 25446 0
Current children cumulated CPU time: 11.1 s
Current children cumulated vsize: 128112 KiB
Current children cumulated memory: 102820 KiB

[startup+12.0003 s]*
/proc/loadavg: 2.08 2.09 2.30 3/186 12282
/proc/meminfo: memFree=31651588/32770624 swapFree=67108764/67108860
[pid=12281] ppid=12278 vsize=128112 memory=102820 CPUtime=11.9 cores=0,2,4,6
/proc/12281/stat : 12281 (cosoco) R 12278 12281 4674 0 -1 4202496 40634 0 0 0 1186 4 0 0 20 0 1 0 108618296 131186688 25705 18446744073709551615 4194304 5748600 140720317567936 140720317564584 5202935 0 0 1 0 0 0 0 17 2 0 0 8 0 0 7849824 7854664 33218560 140720317575625 140720317575720 140720317575720 140720317579214 0
/proc/12281/statm: 32028 25705 713 380 0 25446 0
Current children cumulated CPU time: 11.9 s
Current children cumulated vsize: 128112 KiB
Current children cumulated memory: 102820 KiB

[startup+12.4004 s]
/proc/loadavg: 2.08 2.09 2.30 3/186 12282
/proc/meminfo: memFree=31651588/32770624 swapFree=67108764/67108860
[pid=12281] ppid=12278 vsize=128112 memory=103160 CPUtime=12.3 cores=0,2,4,6
/proc/12281/stat : 12281 (cosoco) R 12278 12281 4674 0 -1 4202496 50769 0 0 0 1225 5 0 0 20 0 1 0 108618296 131186688 25790 18446744073709551615 4194304 5748600 140720317567936 140720317564584 5119680 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7849824 7854664 33218560 140720317575625 140720317575720 140720317575720 140720317579214 0
/proc/12281/statm: 32028 25790 744 380 0 25446 0
Current children cumulated CPU time: 12.3 s
Current children cumulated vsize: 128112 KiB
Current children cumulated memory: 103160 KiB

Child status: 0
Real time (s): 12.4224
CPU time (s): 12.3295
CPU user time (s): 12.2705
CPU system time (s): 0.058992
CPU usage (%): 99.2522
Max. virtual memory (cumulated for all children) (KiB): 128112
Max. memory (cumulated for all children) (KiB): 103160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2705
system time used= 0.058992
maximum resident set size= 103256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50796
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= 6
involuntary context switches= 40


# summary of solver processes directly reported to runsolver:
#   pid: 12281
#   total CPU time (s): 12.3295
#   total CPU user time (s): 12.2705
#   total CPU system time (s): 0.058992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053545 second user time and 0.137034 second system time

The end

Begin job on node134 at 2017-08-13 09:44:44
IDJOB=4267365
IDBENCH=133943
IDSOLVER=2657
FILE ID=node134/4267365-1502611119
RUNJOBID= node134-1502596287-9624
PBS_JOBID= 
Free space on /tmp= 62000 MiB

SOLVER NAME= cosoco-mini 1.12
BENCH NAME= XCSP17/Nonogram/Nonogram-table-s1/Nonogram-180-table.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267365-1502611119/watcher-4267365-1502611119 -o /tmp/evaluation-result-4267365-1502611119/solver-4267365-1502611119 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502596287-9624 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4267365-1502611119.xml

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

MD5SUM BENCH= 1e220e1fd8b953212811c31efb349042
RANDOM SEED=546143899

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31752024 kB
MemAvailable:   31966888 kB
Buffers:          218128 kB
Cached:           290072 kB
SwapCached:            4 kB
Active:           383112 kB
Inactive:         185744 kB
Active(anon):       7540 kB
Inactive(anon):    94540 kB
Active(file):     375572 kB
Inactive(file):    91204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108764 kB
Dirty:             32152 kB
Writeback:             0 kB
AnonPages:         60208 kB
Mapped:            56972 kB
Shmem:             41564 kB
Slab:             154576 kB
SReclaimable:     127844 kB
SUnreclaim:        26732 kB
KernelStack:        3264 kB
PageTables:         4768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     343112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61996 MiB
End job on node134 at 2017-08-13 09:44:57