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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408516-1569798630/watcher-4408516-1569798630 -o /tmp/evaluation-result-4408516-1569798630/solver-4408516-1569798630 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1569787354-25325 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408516-1569798630.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
Current StackSize limit: 8192 KiB

solver pid=27641, runsolver pid=27638

[startup+0.100109 s]*
/proc/loadavg: 2.24 2.11 2.08 4/200 27642
/proc/meminfo: memFree=31164748/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=28724 memory=4980 CPUtime=0.1 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 1410 0 0 0 10 0 0 0 20 0 1 0 556130703 29413376 1245 33554432000 4194304 6211132 140736927892336 140736927888872 5818445 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 7181 1245 811 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.209427 s]*
/proc/loadavg: 2.24 2.11 2.08 3/200 27642
/proc/meminfo: memFree=31163292/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=30172 memory=6300 CPUtime=0.21 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 1796 0 0 0 21 0 0 0 20 0 1 0 556130703 30896128 1575 33554432000 4194304 6211132 140736927892336 140736927888872 5818712 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 7543 1575 811 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.308989 s]*
/proc/loadavg: 2.24 2.11 2.08 3/200 27642
/proc/meminfo: memFree=31163292/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=30172 memory=6300 CPUtime=0.3 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 1796 0 0 0 30 0 0 0 20 0 1 0 556130703 30896128 1575 33554432000 4194304 6211132 140736927892336 140736927888872 5816136 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 7543 1575 811 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.700228 s]
/proc/loadavg: 2.24 2.11 2.08 3/200 27642
/proc/meminfo: memFree=31158100/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=34416 memory=10780 CPUtime=0.69 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 2982 0 0 0 69 0 0 0 20 0 1 0 556130703 35241984 2695 33554432000 4194304 6211132 140736927892336 140736927889608 5816704 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 8604 2695 811 493 0 1909 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34416 KiB
Current children cumulated memory: 10780 KiB

[startup+1.50024 s]
/proc/loadavg: 2.24 2.11 2.08 3/200 27642
/proc/meminfo: memFree=31153388/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=40132 memory=16056 CPUtime=1.49 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 4342 0 0 0 148 1 0 0 20 0 1 0 556130703 41095168 4014 33554432000 4194304 6211132 140736927892336 140736927889608 5818680 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 10033 4014 812 493 0 3338 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 40132 KiB
Current children cumulated memory: 16056 KiB

[startup+3.10961 s]
/proc/loadavg: 2.24 2.11 2.08 3/200 27642
/proc/meminfo: memFree=31145808/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=47712 memory=23212 CPUtime=3.09 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 7392 0 0 0 308 1 0 0 20 0 1 0 556130703 48857088 5803 33554432000 4194304 6211132 140736927892336 140736927889608 5483334 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 11928 5803 812 493 0 5233 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 47712 KiB
Current children cumulated memory: 23212 KiB

[startup+6.30022 s]
/proc/loadavg: 2.38 2.14 2.09 3/200 27642
/proc/meminfo: memFree=31090420/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=102772 memory=78212 CPUtime=6.28 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 23727 0 0 0 622 6 0 0 20 0 1 0 556130703 105238528 19553 33554432000 4194304 6211132 140736927892336 140736927888120 5817204 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 25693 19553 812 493 0 18998 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 102772 KiB
Current children cumulated memory: 78212 KiB

[startup+12.7002 s]
/proc/loadavg: 2.43 2.16 2.09 3/200 27649
/proc/meminfo: memFree=31083016/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=110528 memory=85812 CPUtime=12.68 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 33019 0 0 0 1261 7 0 0 20 0 1 0 556130703 113180672 21453 33554432000 4194304 6211132 140736927892336 140736927889608 5484878 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 27632 21453 816 493 0 20937 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 110528 KiB
Current children cumulated memory: 85812 KiB

[startup+20.9873 s]
# the end of solver process 27641 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20.8653 s, system=0.112974 s

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

[startup+12.8003 s]
/proc/loadavg: 2.43 2.16 2.09 3/200 27649
/proc/meminfo: memFree=31083016/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=110528 memory=85856 CPUtime=12.78 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 33042 0 0 0 1271 7 0 0 20 0 1 0 556130703 113180672 21464 33554432000 4194304 6211132 140736927892336 140736927889608 5483346 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 27632 21464 816 493 0 20937 0
Current children cumulated CPU time: 12.78 s
Current children cumulated vsize: 110528 KiB
Current children cumulated memory: 85856 KiB

[startup+16.0002 s]*
/proc/loadavg: 2.48 2.17 2.10 3/200 27651
/proc/meminfo: memFree=31030440/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=165392 memory=137660 CPUtime=15.99 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 48289 0 0 0 1590 9 0 0 20 0 1 0 556130703 169361408 34415 33554432000 4194304 6211132 140736927892336 140736927889608 5816164 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 41348 34415 816 493 0 34653 0
Current children cumulated CPU time: 15.99 s
Current children cumulated vsize: 165392 KiB
Current children cumulated memory: 137660 KiB

[startup+19.2003 s]
/proc/loadavg: 2.48 2.17 2.10 3/200 27651
/proc/meminfo: memFree=31027896/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=165392 memory=140428 CPUtime=19.18 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 48467 0 0 0 1908 10 0 0 20 0 1 0 556130703 169361408 35107 33554432000 4194304 6211132 140736927892336 140736927889608 5818651 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 41348 35107 816 493 0 34653 0
Current children cumulated CPU time: 19.18 s
Current children cumulated vsize: 165392 KiB
Current children cumulated memory: 140428 KiB

[startup+20.0002 s]*
/proc/loadavg: 2.48 2.17 2.10 3/200 27651
/proc/meminfo: memFree=31027896/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=165392 memory=140428 CPUtime=19.99 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 48469 0 0 0 1989 10 0 0 20 0 1 0 556130703 169361408 35107 33554432000 4194304 6211132 140736927892336 140736927889608 5818433 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 41348 35107 816 493 0 34653 0
Current children cumulated CPU time: 19.99 s
Current children cumulated vsize: 165392 KiB
Current children cumulated memory: 140428 KiB

[startup+20.4002 s]
/proc/loadavg: 2.48 2.17 2.10 3/200 27651
/proc/meminfo: memFree=31027896/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=165392 memory=140428 CPUtime=20.38 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 48469 0 0 0 2028 10 0 0 20 0 1 0 556130703 169361408 35107 33554432000 4194304 6211132 140736927892336 140736927889608 5812074 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 41348 35107 816 493 0 34653 0
Current children cumulated CPU time: 20.38 s
Current children cumulated vsize: 165392 KiB
Current children cumulated memory: 140428 KiB

[startup+20.8002 s]
/proc/loadavg: 2.48 2.17 2.10 3/200 27651
/proc/meminfo: memFree=31027896/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=165392 memory=140564 CPUtime=20.78 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 57252 0 0 0 2068 10 0 0 20 0 1 0 556130703 169361408 35141 33554432000 4194304 6211132 140736927892336 140736927889608 5039178 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 41348 35141 850 493 0 34653 0
Current children cumulated CPU time: 20.78 s
Current children cumulated vsize: 165392 KiB
Current children cumulated memory: 140564 KiB

[startup+20.9003 s]
/proc/loadavg: 2.48 2.17 2.10 3/200 27651
/proc/meminfo: memFree=31027896/32770624 swapFree=66997716/67108860
[pid=27641] ppid=27638 vsize=165392 memory=140564 CPUtime=20.88 cores=0,2,4,6
/proc/27641/stat : 27641 (cosoco) R 27638 27641 25294 0 -1 4202496 58047 0 0 0 2078 10 0 0 20 0 1 0 556130703 169361408 35141 33554432000 4194304 6211132 140736927892336 140736927889608 5037884 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 12079104 140736927900683 140736927900785 140736927900785 140736927903694 0
/proc/27641/statm: 41348 35141 850 493 0 34653 0
Current children cumulated CPU time: 20.88 s
Current children cumulated vsize: 165392 KiB
Current children cumulated memory: 140564 KiB

Child status: 0
Real time (s): 20.9873
CPU time (s): 20.9782
CPU user time (s): 20.8653
CPU system time (s): 0.112974
CPU usage (%): 99.9566
Max. virtual memory (cumulated for all children) (KiB): 165392
Max. memory (cumulated for all children) (KiB): 140564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8653
system time used= 0.112974
maximum resident set size= 140652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58072
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= 18
involuntary context switches= 46


# summary of solver processes directly reported to runsolver:
#   pid: 27641
#   total CPU time (s): 20.9782
#   total CPU user time (s): 20.8653
#   total CPU system time (s): 0.112974

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.084869 second user time and 0.19319 second system time

The end

Begin job on node126 at 2019-09-30 01:09:51
IDJOB=4408516
IDBENCH=134029
IDSOLVER=2875
FILE ID=node126/4408516-1569798630
RUNJOBID= node126-1569787354-25325
PBS_JOBID= 21705827
Free space on /tmp= 61980 MiB

SOLVER NAME= cosoco 2.0
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-4408516-1569798630/watcher-4408516-1569798630 -o /tmp/evaluation-result-4408516-1569798630/solver-4408516-1569798630 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1569787354-25325 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408516-1569798630.xml

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

MD5SUM BENCH= 7319cc8867797858cf0ed5703d969b38
RANDOM SEED=1500266636

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31167252 kB
MemAvailable:   31558808 kB
Buffers:          203144 kB
Cached:           506288 kB
SwapCached:         7392 kB
Active:           694784 kB
Inactive:         327516 kB
Active(anon):     317892 kB
Inactive(anon):    70400 kB
Active(file):     376892 kB
Inactive(file):   257116 kB
Unevictable:      109388 kB
Mlocked:          109388 kB
SwapTotal:      67108860 kB
SwapFree:       66997716 kB
Dirty:             52144 kB
Writeback:             0 kB
AnonPages:        279364 kB
Mapped:            28616 kB
Shmem:             66840 kB
Slab:             176820 kB
SReclaimable:     146768 kB
SUnreclaim:        30052 kB
KernelStack:        3776 kB
PageTables:         6052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     872328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61976 MiB
End job on node126 at 2019-09-30 01:10:12