19.68/19.73	c root propagations     : 659         
19.68/19.73	c restarts enabled, print stats at every restarts
19.68/19.73	c
19.68/19.73	c
19.68/19.73	c
19.68/19.73	c This is cosoco 2.00 --  
19.68/19.73	c
19.68/19.73	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396662-1568585802.xml 
19.68/19.73	c ========================================[ Problem Statistics ]===========================================
19.68/19.73	c |                                                                                                       
19.68/19.73	c |  Parse time        :        19.51 s 
19.68/19.73	c |
19.68/19.73	c |               Variables: 1024
19.68/19.73	c |            Domain Sizes: 2..2
19.68/19.73	c |
19.68/19.73	c |             Constraints: 64
19.68/19.73	c |                   Arity: 32..32
19.68/19.73	c | 
19.68/19.73	c |                   Types: 
19.68/19.73	c |                          Extension: 64  (nb tuples: 1..203490) -- (shared: 11)
19.68/19.73	c |                          
19.68/19.73	c =========================================================================================================
19.68/19.73	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
19.68/19.76	c First solution is found
19.68/19.76	s SATISFIABLE
19.68/19.76	c restarts              : 0           
19.68/19.76	c conflicts             : 16           (1 /sec)
19.68/19.76	c decisions             : 1130         (57 /sec)
19.68/19.76	c propagations          : 5100        (259 /sec)
19.68/19.76	c root propagations     : 659         
19.68/19.76	c filter calls          : 4316           (219 /sec)
19.68/19.76	c useless filter calls  : 3297           (76 %)
19.68/19.76	c Memory used           : 190.96 MB
19.68/19.76	c CPU time              : 19.6742 s
19.68/19.76	c real time             : 19.7632 s
19.68/19.76	
19.68/19.76	c solution 1
19.68/19.76	
19.68/19.76	v <instantiation type='solution'>
19.68/19.76	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>
19.68/19.76	v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 </values>
19.68/19.76	v </instantiation>
19.68/19.76	

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396662-1568585802/watcher-4396662-1568585802 -o /tmp/evaluation-result-4396662-1568585802/solver-4396662-1568585802 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568572742-17153 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396662-1568585802.xml 

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

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=19506, runsolver pid=19503

[startup+0.100106 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 19507
/proc/meminfo: memFree=29435628/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=29368 memory=5536 CPUtime=0.1 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 1580 0 0 0 10 0 0 0 20 0 1 0 434516683 30072832 1384 33554432000 4194304 6211092 140727589147632 140727589144168 5817456 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 7342 1384 812 493 0 647 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29368 KiB
Current children cumulated memory: 5536 KiB

[startup+0.209567 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 19507
/proc/meminfo: memFree=29435256/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=29792 memory=6064 CPUtime=0.21 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 1701 0 0 0 21 0 0 0 20 0 1 0 434516683 30507008 1516 33554432000 4194304 6211092 140727589147632 140727589144168 5484232 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 7448 1516 812 493 0 753 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29792 KiB
Current children cumulated memory: 6064 KiB

[startup+0.30888 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 19507
/proc/meminfo: memFree=29435256/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=29988 memory=6064 CPUtime=0.31 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 1734 0 0 0 31 0 0 0 20 0 1 0 434516683 30707712 1516 33554432000 4194304 6211092 140727589147632 140727589144168 5689550 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 7497 1516 812 493 0 802 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 29988 KiB
Current children cumulated memory: 6064 KiB

[startup+0.700274 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19507
/proc/meminfo: memFree=29434264/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=34716 memory=11052 CPUtime=0.69 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 3099 0 0 0 69 0 0 0 20 0 1 0 434516683 35549184 2763 33554432000 4194304 6211092 140727589147632 140727589144168 5814111 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 8679 2763 812 493 0 1984 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34716 KiB
Current children cumulated memory: 11052 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19507
/proc/meminfo: memFree=29425440/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=40396 memory=16328 CPUtime=1.49 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 4458 0 0 0 149 0 0 0 20 0 1 0 434516683 41365504 4082 33554432000 4194304 6211092 140727589147632 140727589144904 5483333 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 10099 4082 812 493 0 3404 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40396 KiB
Current children cumulated memory: 16328 KiB

[startup+3.10939 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19507
/proc/meminfo: memFree=29414368/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=51232 memory=27052 CPUtime=3.1 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 8441 0 0 0 309 1 0 0 20 0 1 0 434516683 52461568 6763 33554432000 4194304 6211092 140727589147632 140727589144904 5818648 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 12808 6763 812 493 0 6113 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 51232 KiB
Current children cumulated memory: 27052 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19507
/proc/meminfo: memFree=29399592/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=68196 memory=43072 CPUtime=6.29 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 13483 0 0 0 628 1 0 0 20 0 1 0 434516683 69832704 10768 33554432000 4194304 6211092 140727589147632 140727589144904 5816690 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 17049 10768 816 493 0 10354 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 68196 KiB
Current children cumulated memory: 43072 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19507
/proc/meminfo: memFree=29354772/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=111136 memory=86932 CPUtime=12.68 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 33947 0 0 0 1264 4 0 0 20 0 1 0 434516683 113803264 21733 33554432000 4194304 6211092 140727589147632 140727589144904 5483314 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 27784 21733 816 493 0 21089 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 111136 KiB
Current children cumulated memory: 86932 KiB

[startup+19.7796 s]
# the end of solver process 19506 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19.6748 s, system=0.098988 s

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

[startup+12.8003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19507
/proc/meminfo: memFree=29354772/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=111136 memory=86932 CPUtime=12.78 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 33947 0 0 0 1274 4 0 0 20 0 1 0 434516683 113803264 21733 33554432000 4194304 6211092 140727589147632 140727589144904 5286997 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 27784 21733 816 493 0 21089 0
Current children cumulated CPU time: 12.78 s
Current children cumulated vsize: 111136 KiB
Current children cumulated memory: 86932 KiB

[startup+16.0002 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 19507
/proc/meminfo: memFree=29340388/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=125724 memory=101288 CPUtime=16 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 39675 0 0 0 1595 5 0 0 20 0 1 0 434516683 128741376 25322 33554432000 4194304 6211092 140727589147632 140727589144904 5743389 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 31431 25322 816 493 0 24736 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 125724 KiB
Current children cumulated memory: 101288 KiB

[startup+17.6002 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 19507
/proc/meminfo: memFree=29332076/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=137548 memory=112740 CPUtime=17.58 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 41540 0 0 0 1753 5 0 0 20 0 1 0 434516683 140849152 28185 33554432000 4194304 6211092 140727589147632 140727589144904 5816699 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 34387 28185 816 493 0 27692 0
Current children cumulated CPU time: 17.58 s
Current children cumulated vsize: 137548 KiB
Current children cumulated memory: 112740 KiB

[startup+18.4003 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 19509
/proc/meminfo: memFree=29326648/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=195544 memory=170172 CPUtime=18.38 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 57753 0 0 0 1831 7 0 0 20 0 1 0 434516683 200237056 42543 33554432000 4194304 6211092 140727589147632 140727589144904 5818434 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 48886 42543 816 493 0 42191 0
Current children cumulated CPU time: 18.38 s
Current children cumulated vsize: 195544 KiB
Current children cumulated memory: 170172 KiB

[startup+19.2002 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 19509
/proc/meminfo: memFree=29270168/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=195544 memory=170172 CPUtime=19.18 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 57756 0 0 0 1911 7 0 0 20 0 1 0 434516683 200237056 42543 33554432000 4194304 6211092 140727589147632 140727589144904 5818692 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 48886 42543 816 493 0 42191 0
Current children cumulated CPU time: 19.18 s
Current children cumulated vsize: 195544 KiB
Current children cumulated memory: 170172 KiB

[startup+19.6002 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 19509
/proc/meminfo: memFree=29270168/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=195544 memory=170180 CPUtime=19.59 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 60006 0 0 0 1951 8 0 0 20 0 1 0 434516683 200237056 42545 33554432000 4194304 6211092 140727589147632 140727589144904 5046089 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 48886 42545 818 493 0 42191 0
Current children cumulated CPU time: 19.59 s
Current children cumulated vsize: 195544 KiB
Current children cumulated memory: 170180 KiB

[startup+19.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 19509
/proc/meminfo: memFree=29270168/32770624 swapFree=66958308/67108860
[pid=19506] ppid=19503 vsize=195544 memory=170308 CPUtime=19.68 cores=0,2,4,6
/proc/19506/stat : 19506 (cosoco) R 19503 19506 17122 0 -1 4202496 76775 0 0 0 1960 8 0 0 20 0 1 0 434516683 200237056 42577 33554432000 4194304 6211092 140727589147632 140727589144904 5037823 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 20697088 140727589155851 140727589155953 140727589155953 140727589158862 0
/proc/19506/statm: 48886 42577 850 493 0 42191 0
Current children cumulated CPU time: 19.68 s
Current children cumulated vsize: 195544 KiB
Current children cumulated memory: 170308 KiB

Child status: 0
Real time (s): 19.7797
CPU time (s): 19.7737
CPU user time (s): 19.6748
CPU system time (s): 0.098988
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 195544
Max. memory (cumulated for all children) (KiB): 170308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.6748
system time used= 0.098988
maximum resident set size= 178904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76811
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= 15
involuntary context switches= 37


# summary of solver processes directly reported to runsolver:
#   pid: 19506
#   total CPU time (s): 19.7737
#   total CPU user time (s): 19.6748
#   total CPU system time (s): 0.098988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.106307 second user time and 0.157247 second system time

The end

Begin job on node145 at 2019-09-16 00:16:00
IDJOB=4396662
IDBENCH=134028
IDSOLVER=2848
FILE ID=node145/4396662-1568585802
RUNJOBID= node145-1568572742-17153
PBS_JOBID= 21703312
Free space on /tmp= 59484 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Nonogram/Nonogram-table-s1/Nonogram-020-table.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396662-1568585802/watcher-4396662-1568585802 -o /tmp/evaluation-result-4396662-1568585802/solver-4396662-1568585802 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568572742-17153 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396662-1568585802.xml

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

MD5SUM BENCH= 2abbea49d072b23f7e0e95d09a8d20ca
RANDOM SEED=1386010824

node145.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.59
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.59
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.59
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.59
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:        29438464 kB
MemAvailable:   31838336 kB
Buffers:          156140 kB
Cached:          2536008 kB
SwapCached:        41084 kB
Active:          1322900 kB
Inactive:        1427008 kB
Active(anon):      21780 kB
Inactive(anon):    85468 kB
Active(file):    1301120 kB
Inactive(file):  1341540 kB
Unevictable:      110680 kB
Mlocked:          110680 kB
SwapTotal:      67108860 kB
SwapFree:       66958308 kB
Dirty:             49712 kB
Writeback:             0 kB
AnonPages:        128748 kB
Mapped:            49384 kB
Shmem:             40604 kB
Slab:             174316 kB
SReclaimable:     146096 kB
SUnreclaim:        28220 kB
KernelStack:        3568 kB
PageTables:         5572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     550564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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= 59480 MiB
End job on node145 at 2019-09-16 00:16:20