20.68/20.76	c root propagations     : 371         
20.68/20.76	c restarts enabled, print stats at every restarts
20.68/20.76	c
20.68/20.76	c
20.68/20.76	c
20.68/20.76	c This is cosoco 2.00 --  
20.68/20.76	c
20.68/20.76	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389976-1568343651.xml 
20.68/20.76	c ========================================[ Problem Statistics ]===========================================
20.68/20.76	c |                                                                                                       
20.68/20.76	c |  Parse time        :        20.61 s 
20.68/20.76	c |
20.68/20.76	c |               Variables: 1024
20.68/20.76	c |            Domain Sizes: 2..2
20.68/20.76	c |
20.68/20.76	c |             Constraints: 64
20.68/20.76	c |                   Arity: 32..32
20.68/20.76	c | 
20.68/20.76	c |                   Types: 
20.68/20.76	c |                          Extension: 64  (nb tuples: 1..134596) -- (shared: 5)
20.68/20.76	c |                          
20.68/20.76	c =========================================================================================================
20.68/20.76	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
20.78/20.87	c First solution is found
20.78/20.89	s SATISFIABLE
20.78/20.89	c restarts              : 0           
20.78/20.89	c conflicts             : 25           (1 /sec)
20.78/20.89	c decisions             : 1472         (71 /sec)
20.78/20.89	c propagations          : 8203        (394 /sec)
20.78/20.89	c root propagations     : 371         
20.78/20.89	c filter calls          : 6098           (293 /sec)
20.78/20.89	c useless filter calls  : 4315           (70 %)
20.78/20.89	c Memory used           : 161.52 MB
20.78/20.89	c CPU time              : 20.818 s
20.78/20.89	c real time             : 20.8859 s
20.78/20.89	
20.78/20.89	c solution 1
20.78/20.89	
20.78/20.89	v <instantiation type='solution'>
20.78/20.89	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>
20.78/20.89	v <values>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 0 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 0 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 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 1 1 1 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 1 0 0 0 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 0 0 0 1 0 0 0 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 0 0 0 1 0 0 0 0 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 0 0 1 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 0 0 1 0 0 0 0 0 1 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 1 1 1 1 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 0 0 0 1 1 1 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 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 0 0 1 1 0 0 0 0 0 0 0 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 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 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
20.78/20.89	v </instantiation>
20.78/20.89	

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389976-1568343651/watcher-4389976-1568343651 -o /tmp/evaluation-result-4389976-1568343651/solver-4389976-1568343651 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568323911-7049 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4389976-1568343651.xml 

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

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=12592, runsolver pid=12589
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 2.09 2.02 2.05 3/200 12593
/proc/meminfo: memFree=24726668/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=28724 memory=4980 CPUtime=0.1 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 1407 0 0 0 10 0 0 0 20 0 1 0 410637754 29413376 1245 33554432000 4194304 6210612 140723202478240 140723202474776 139980017640576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 7181 1245 808 493 0 486 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28724 KiB
Current children cumulated memory: 4980 KiB

[startup+0.209443 s]*
/proc/loadavg: 2.09 2.02 2.05 3/200 12593
/proc/meminfo: memFree=24725180/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=30172 memory=6300 CPUtime=0.21 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 1792 0 0 0 21 0 0 0 20 0 1 0 410637754 30896128 1575 33554432000 4194304 6210612 140723202478240 140723202474776 5818427 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 7543 1575 808 493 0 848 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 30172 KiB
Current children cumulated memory: 6300 KiB

[startup+0.308975 s]*
/proc/loadavg: 2.09 2.02 2.05 3/200 12593
/proc/meminfo: memFree=24725180/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=30172 memory=6300 CPUtime=0.3 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 1792 0 0 0 30 0 0 0 20 0 1 0 410637754 30896128 1575 33554432000 4194304 6210612 140723202478240 140723202474776 5707668 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 7543 1575 808 493 0 848 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30172 KiB
Current children cumulated memory: 6300 KiB

[startup+0.700326 s]
/proc/loadavg: 2.09 2.02 2.05 4/200 12593
/proc/meminfo: memFree=24720344/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=34416 memory=10768 CPUtime=0.69 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 2978 0 0 0 69 0 0 0 20 0 1 0 410637754 35241984 2692 33554432000 4194304 6210612 140723202478240 140723202474776 5707781 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 8604 2692 808 493 0 1909 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34416 KiB
Current children cumulated memory: 10768 KiB

[startup+1.50028 s]
/proc/loadavg: 2.09 2.02 2.05 3/200 12593
/proc/meminfo: memFree=24715880/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=40132 memory=16044 CPUtime=1.48 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 4338 0 0 0 148 0 0 0 20 0 1 0 410637754 41095168 4011 33554432000 4194304 6210612 140723202478240 140723202474776 5811889 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 10033 4011 809 493 0 3338 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40132 KiB
Current children cumulated memory: 16044 KiB

[startup+3.10951 s]
/proc/loadavg: 2.09 2.02 2.05 3/200 12593
/proc/meminfo: memFree=24708812/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=47844 memory=23028 CPUtime=3.1 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 7397 0 0 0 309 1 0 0 20 0 1 0 410637754 48992256 5757 33554432000 4194304 6210612 140723202478240 140723202475512 139980001577957 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 11961 5757 809 493 0 5266 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 47844 KiB
Current children cumulated memory: 23028 KiB

[startup+6.30024 s]
/proc/loadavg: 2.08 2.02 2.05 3/200 12593
/proc/meminfo: memFree=24651160/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=102772 memory=79128 CPUtime=6.28 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 23590 0 0 0 625 3 0 0 20 0 1 0 410637754 105238528 19782 33554432000 4194304 6210612 140723202478240 140723202475512 5483173 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 25693 19782 809 493 0 18998 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 102772 KiB
Current children cumulated memory: 79128 KiB

[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.05 3/200 12594
/proc/meminfo: memFree=24644952/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=110528 memory=86620 CPUtime=12.69 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 32952 0 0 0 1265 4 0 0 20 0 1 0 410637754 113180672 21655 33554432000 4194304 6210612 140723202478240 140723202475512 5814487 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 27632 21655 813 493 0 20937 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 110528 KiB
Current children cumulated memory: 86620 KiB

[startup+20.8969 s]
# the end of solver process 12592 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20.8195 s, system=0.070991 s

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

[startup+12.8003 s]
/proc/loadavg: 2.08 2.02 2.05 3/200 12594
/proc/meminfo: memFree=24644952/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=110528 memory=86620 CPUtime=12.79 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 32975 0 0 0 1275 4 0 0 20 0 1 0 410637754 113180672 21655 33554432000 4194304 6210612 140723202478240 140723202475512 5484694 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 27632 21655 813 493 0 20937 0
Current children cumulated CPU time: 12.79 s
Current children cumulated vsize: 110528 KiB
Current children cumulated memory: 86620 KiB

[startup+16.0002 s]*
/proc/loadavg: 2.07 2.02 2.05 3/200 12594
/proc/meminfo: memFree=24592044/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=165392 memory=139212 CPUtime=16 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 47649 0 0 0 1594 6 0 0 20 0 1 0 410637754 169361408 34803 33554432000 4194304 6210612 140723202478240 140723202475512 5818280 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 41348 34803 813 493 0 34653 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 165392 KiB
Current children cumulated memory: 139212 KiB

[startup+19.2003 s]
/proc/loadavg: 2.06 2.02 2.05 3/200 12594
/proc/meminfo: memFree=24590804/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=165392 memory=140476 CPUtime=19.19 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 48032 0 0 0 1913 6 0 0 20 0 1 0 410637754 169361408 35119 33554432000 4194304 6210612 140723202478240 140723202475512 5818280 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 41348 35119 813 493 0 34653 0
Current children cumulated CPU time: 19.19 s
Current children cumulated vsize: 165392 KiB
Current children cumulated memory: 140476 KiB

[startup+20.0003 s]*
/proc/loadavg: 2.06 2.02 2.05 3/200 12594
/proc/meminfo: memFree=24590928/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=165392 memory=140476 CPUtime=20 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 48039 0 0 0 1994 6 0 0 20 0 1 0 410637754 169361408 35119 33554432000 4194304 6210612 140723202478240 140723202475512 139980017640576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 41348 35119 813 493 0 34653 0
Current children cumulated CPU time: 20 s
Current children cumulated vsize: 165392 KiB
Current children cumulated memory: 140476 KiB

[startup+20.4003 s]
/proc/loadavg: 2.06 2.02 2.05 3/200 12594
/proc/meminfo: memFree=24590928/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=165392 memory=140476 CPUtime=20.39 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 48041 0 0 0 2033 6 0 0 20 0 1 0 410637754 169361408 35119 33554432000 4194304 6210612 140723202478240 140723202475512 139980017640576 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 41348 35119 813 493 0 34653 0
Current children cumulated CPU time: 20.39 s
Current children cumulated vsize: 165392 KiB
Current children cumulated memory: 140476 KiB

[startup+20.8004 s]
/proc/loadavg: 2.06 2.02 2.05 3/200 12594
/proc/meminfo: memFree=24590928/32770624 swapFree=67018776/67108860
[pid=12592] ppid=12589 vsize=165392 memory=140796 CPUtime=20.78 cores=1,3,5,7
/proc/12592/stat : 12592 (cosoco) R 12589 12592 7017 0 -1 4202496 57233 0 0 0 2072 6 0 0 20 0 1 0 410637754 169361408 35199 33554432000 4194304 6210612 140723202478240 140723202475512 5038661 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 33857536 140723202487307 140723202487409 140723202487409 140723202490318 0
/proc/12592/statm: 41348 35199 846 493 0 34653 0
Current children cumulated CPU time: 20.78 s
Current children cumulated vsize: 165392 KiB
Current children cumulated memory: 140796 KiB

Child status: 0
Real time (s): 20.897
CPU time (s): 20.8905
CPU user time (s): 20.8195
CPU system time (s): 0.070991
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 165392
Max. memory (cumulated for all children) (KiB): 140796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8195
system time used= 0.070991
maximum resident set size= 140884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57259
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= 21
involuntary context switches= 17


# summary of solver processes directly reported to runsolver:
#   pid: 12592
#   total CPU time (s): 20.8905
#   total CPU user time (s): 20.8195
#   total CPU system time (s): 0.070991

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.089192 second user time and 0.186303 second system time

The end

Begin job on node150 at 2019-09-13 05:00:12
IDJOB=4389976
IDBENCH=134029
IDSOLVER=2830
FILE ID=node150/4389976-1568343651
RUNJOBID= node150-1568323911-7049
PBS_JOBID= 21701149
Free space on /tmp= 54980 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/Nonogram/Nonogram-table-s1/Nonogram-151-table.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389976-1568343651/watcher-4389976-1568343651 -o /tmp/evaluation-result-4389976-1568343651/solver-4389976-1568343651 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568323911-7049 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4389976-1568343651.xml

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

MD5SUM BENCH= 7319cc8867797858cf0ed5703d969b38
RANDOM SEED=868085183

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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.79
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.79
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.79
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:        24728500 kB
MemAvailable:   31835208 kB
Buffers:          166628 kB
Cached:          7081124 kB
SwapCached:        11740 kB
Active:          1213044 kB
Inactive:        6080212 kB
Active(anon):      12008 kB
Inactive(anon):    56556 kB
Active(file):    1201036 kB
Inactive(file):  6023656 kB
Unevictable:      109524 kB
Mlocked:          109524 kB
SwapTotal:      67108860 kB
SwapFree:       67018776 kB
Dirty:             52524 kB
Writeback:             0 kB
AnonPages:         76516 kB
Mapped:            38436 kB
Shmem:             14120 kB
Slab:             341108 kB
SReclaimable:     310476 kB
SUnreclaim:        30632 kB
KernelStack:        3824 kB
PageTables:         5392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     528396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 54976 MiB
End job on node150 at 2019-09-13 05:00:33