1.10/1.19	c
1.10/1.19	c This is cosoco 2.00 --  
1.10/1.19	c
1.10/1.19	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389918-1568342590.xml 
1.10/1.19	c enable optimization
1.10/1.19	c ========================================[ Problem Statistics ]===========================================
1.10/1.19	c |                                                                                                       
1.10/1.19	c |  Parse time        :         1.07 s 
1.10/1.19	c |
1.10/1.19	c |               Variables: 2025
1.10/1.19	c |            Domain Sizes: 990..990
1.10/1.19	c |
1.10/1.19	c |             Constraints: 14191
1.10/1.19	c |                   Arity: 3..990  -- Ternary: 14190
1.10/1.19	c | 
1.10/1.19	c |                   Types: 
1.10/1.19	c |                          Max constant: 1
1.10/1.19	c |                          Not All Equal: 14190
1.10/1.19	c |                          
1.10/1.19	c |               Objective: Minimize Max constant
1.10/1.19	
1.10/1.19	c =========================================================================================================
1.10/1.19	o 6
1.10/1.19	c    1 calls to solver(id=*d): best=0 lower=6 upper=0 
1.19/1.25	o 5
1.19/1.29	o 4
1.19/1.29	c    3 calls to solver(id=*d): best=0 lower=4 upper=0 
2520.08/2519.80	
2520.08/2519.80	c *** INTERRUPTED ***
2520.08/2519.80	c call to solver        : 3
2520.08/2519.80	c
2520.08/2519.80	c restarts              : 111         
2520.08/2519.80	c conflicts             : 40705057     (16153 /sec)
2520.08/2519.80	c decisions             : 147231190    (58426 /sec)
2520.08/2519.80	c propagations          : 2600687228  (1032034 /sec)
2520.08/2519.80	c root propagations     : 976873      
2520.08/2519.80	c filter calls          : 41996864960    (16665664 /sec)
2520.08/2519.80	c useless filter calls  : 39641796919    (94 %)
2520.08/2519.80	c Memory used           : 161.70 MB
2520.08/2519.80	c Best bound time (wc)  : 1.29285 s
2520.08/2519.80	c CPU time              : 2519.96 s
2520.08/2519.80	c real time             : 2519.8 s
2520.08/2519.80	
2520.08/2519.80	c nb Solutions = 3
2520.08/2519.80	s SATISFIABLE
2520.08/2519.80	c Best value found: 4
2520.08/2519.80	
2520.08/2519.80	
2520.08/2519.80	v <instantiation type='solution' cost='4'>
2520.08/2519.80	v <list>x[0][0] 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][1] 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][2] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][3] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] 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][1] 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][2] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][3] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] 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][1] 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][2] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][3] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] 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][1] 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][2] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][3] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] 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][1] 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][2] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][3] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] 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][1] 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][2] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][3] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] 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][1] 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][2] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][3] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] 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][1] 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][2] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][3] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] 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][1] 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][2] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][3] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] 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][1] 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][2] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][3] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] 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][1] 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][2] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][3] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] 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][1] 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][2] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][3] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] 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][1] 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][2] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][3] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] 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][1] 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][2] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][3] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] 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][1] 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][2] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][3] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] 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][1] 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][2] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][3] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] 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][1] 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][2] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][3] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] 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][1] 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][2] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][3] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] 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][1] 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][2] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][3] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] 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][1] 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][2] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][3] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[28][0] 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][1] 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][2] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][3] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[29][0] 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][1] 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][2] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][3] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[2][0] 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][1] 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][2] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][3] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[30][0] 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][1] 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][2] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][3] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[31][0] 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][1] 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][2] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][3] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[32][0] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][1] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][2] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][3] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[33][0] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][1] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][2] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][3] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[34][0] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][1] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][2] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][3] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[35][0] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][1] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][2] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][3] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[36][0] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][1] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][2] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][3] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[37][0] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][1] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][2] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][3] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[38][0] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][1] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][2] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][3] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[39][0] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][1] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][2] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][3] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[3][0] 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][1] 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][2] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][3] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[40][0] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][1] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][2] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][3] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[41][0] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][1] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][2] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][3] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[42][0] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][1] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][2] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][3] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[43][0] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][1] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][2] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][3] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[44][0] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][1] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][2] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][3] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[4][0] 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][1] 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][2] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][3] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] 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][1] 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][2] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][3] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] 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][1] 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][2] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][3] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] 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][1] 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][2] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][3] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] 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][1] 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][2] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][3] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] 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][1] 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][2] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][3] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list>
2520.08/2519.80	v <values>* 3 2 1 3 2 0 0 0 0 1 0 0 0 0 2 3 1 0 2 0 2 3 0 2 2 2 3 2 2 1 0 1 4 1 1 3 1 0 0 3 1 1 1 0 * * 4 2 1 2 1 0 3 0 1 * 2 2 4 2 2 1 1 0 2 2 * 2 0 3 0 2 4 0 3 0 2 * 3 0 4 0 1 * * * * * * * * * 1 1 1 0 0 0 0 1 * 1 1 0 3 2 4 0 3 0 4 * 0 3 3 3 1 0 4 3 0 1 * 2 2 2 1 0 * * * * * * * * * * 0 0 2 1 2 1 0 * 3 3 3 4 1 3 1 3 3 3 * 0 0 1 0 3 1 0 2 1 4 * 0 2 1 2 2 * * * * * * * * * * * 2 0 0 0 0 3 * 2 2 0 3 2 3 0 1 1 4 * 2 2 3 2 0 0 2 1 0 2 * 1 1 2 2 0 * * * * * * * * * * * * 0 2 1 2 2 * 3 3 1 0 1 1 0 0 1 0 * 1 1 3 1 0 0 1 3 2 4 * 2 0 0 0 1 * * * * * * * * * * * * * 1 3 1 0 * 2 2 1 4 0 0 2 2 3 3 * 2 0 1 0 3 4 0 0 1 2 * 0 3 2 1 4 * * * * * * * * * * * * * * 1 4 0 * 2 2 2 0 0 0 2 2 1 0 * 1 1 0 1 1 3 1 0 3 2 * 0 1 0 3 1 * * * * * * * * * * * * * * * 1 1 * 2 2 3 2 2 0 1 0 2 2 * 2 0 1 0 2 1 0 0 1 2 * 0 0 3 0 3 * * * * * * * * * * * * * * * * 0 * 2 2 2 0 0 0 2 1 1 0 * 2 2 0 2 1 3 2 0 3 2 * 0 1 0 2 1 * * * * * * * * * * * * * * * * * * 2 2 2 1 1 2 0 0 1 1 * 1 1 2 1 0 0 1 2 0 2 * 3 0 1 0 3 * * * * * * * 0 0 1 0 0 3 2 1 2 0 * 3 3 1 1 0 0 3 3 1 1 0 1 3 0 3 4 3 4 0 2 4 2 0 2 2 3 2 4 2 1 4 4 4 * * * * * * * * * * * * * 4 1 0 1 0 1 0 1 0 * 1 1 1 1 0 0 1 0 2 3 * 0 0 0 0 1 * * * * * * * * * * * * * * * * * * * * 1 0 1 0 1 0 1 0 * 1 1 1 1 0 0 1 0 2 3 * 0 0 0 0 1 * * * * * * * * * * * * * * * * * * * * * 2 2 0 3 0 4 2 * 4 0 3 0 1 1 0 0 2 1 * 0 0 1 0 2 * * * * * * * * * * * * * * * * * * * * * * 4 2 2 1 0 3 * 0 0 1 0 1 3 0 2 0 0 * 1 1 2 1 1 * * * * * * * * * * * * * * * * * * * * * * * 2 0 0 0 3 * 0 3 2 3 1 0 4 2 0 1 * 1 1 4 0 3 * * * * * * * * * * * * * * * * * * * * * * * * 0 1 0 2 * 0 2 1 2 1 2 2 3 0 0 * 3 2 3 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 2 * 3 0 2 0 1 2 0 0 2 1 * 0 1 3 1 3 * * * * * * * * * * * * * * * * * * * * * * * * * * 2 1 * 1 1 0 1 2 1 1 2 1 0 * 3 2 1 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * 3 2 0 2 0 3 2 0 1 1 * 0 0 0 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 1 0 1 4 0 2 0 0 * 1 1 2 1 1 * * * * * * * 1 4 1 4 4 0 3 0 3 3 * 2 2 0 0 4 2 0 2 3 0 * 1 1 3 1 0 0 1 3 4 2 0 2 1 0 4 0 0 1 3 0 1 0 * * * * * * * * * * * * * * * * * * * * * * * * 3 0 3 0 2 4 0 2 1 * 1 0 0 1 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 4 0 0 3 1 2 1 * 1 3 0 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 3 3 0 1 0 1 * 2 2 2 0 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 3 1 2 1 * 1 3 0 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 0 1 1 0 * 2 4 2 3 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 1 4 0 * 1 1 3 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 1 * 1 4 0 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 * 2 3 1 3 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 * 0 1 0 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 0 1 * * * * * * * 1 0 4 0 0 2 1 3 1 0 * 0 0 1 2 0 4 4 3 2 2 * 3 0 2 0 3 2 0 1 1 0 * 1 3 4 1 4 3 0 1 1 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 1 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 4 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 0 1 0 0 2 2 1 2 0 * 3 3 1 2 0 3 3 1 2 2 * 4 0 2 0 2 3 0 1 2 0 * 1 1 4 1 4 * 0 1 1 2 3 * 0 3 0 4 2 0 1 0 1 1 * 1 1 0 0 2 1 0 2 3 0 * 2 2 0 2 0 0 2 1 1 1 * 1 3 0 1 0 * * 1 1 0 0 * 0 2 3 1 0 2 2 0 2 0 * 0 0 0 3 3 2 3 4 0 4 * 0 1 1 1 1 1 1 2 2 0 * 3 4 1 3 0 * * * 2 2 4 * 0 0 0 2 3 1 4 2 3 2 * 0 0 3 4 0 3 2 3 1 3 * 1 1 0 1 1 1 1 4 4 0 * 2 2 1 3 2 * * * * 0 2 * 3 1 2 0 0 1 3 1 3 0 * 2 2 2 3 1 3 3 1 1 4 * 0 0 4 0 3 2 0 4 4 2 * 0 3 2 4 1 * * * * * 3 * 2 0 1 0 0 1 2 1 2 0 * 1 1 3 4 0 0 4 1 3 3 * 4 0 2 0 1 2 0 0 2 1 * 0 1 3 3 3 * * * * * * </values>
2520.08/2519.80	v </instantiation>
2520.08/2519.80	

OK	4

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389918-1568342590/watcher-4389918-1568342590 -o /tmp/evaluation-result-4389918-1568342590/solver-4389918-1568342590 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568313599-15141 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389918-1568342590.xml 

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

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
solver pid=21232, runsolver pid=21229
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 21233
/proc/meminfo: memFree=31562284/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=44372 memory=20556 CPUtime=0.1 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 5312 0 0 0 9 1 0 0 20 0 1 0 410196920 45436928 5139 33554432000 4194304 6210612 140729183905568 140729183902840 5810073 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 11093 5139 808 493 0 4398 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44372 KiB
Current children cumulated memory: 20556 KiB

[startup+0.209798 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 21233
/proc/meminfo: memFree=31561912/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=44696 memory=20708 CPUtime=0.21 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 5425 0 0 0 20 1 0 0 20 0 1 0 410196920 45768704 5177 33554432000 4194304 6210612 140729183905568 140729183902840 139928875593572 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 11174 5177 808 493 0 4479 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44696 KiB
Current children cumulated memory: 20708 KiB

[startup+0.308981 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 21233
/proc/meminfo: memFree=31557448/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=50372 memory=26512 CPUtime=0.31 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 6894 0 0 0 30 1 0 0 20 0 1 0 410196920 51580928 6628 33554432000 4194304 6210612 140729183905568 140729183902840 139928865655781 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 12593 6628 833 493 0 5898 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 50372 KiB
Current children cumulated memory: 26512 KiB

[startup+0.700318 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21233
/proc/meminfo: memFree=31530292/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=102040 memory=78256 CPUtime=0.69 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 19824 0 0 0 65 4 0 0 20 0 1 0 410196920 104488960 19564 33554432000 4194304 6210612 140729183905568 140729183898328 139928865655781 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 25510 19564 833 493 0 18815 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 102040 KiB
Current children cumulated memory: 78256 KiB

[startup+1.50032 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21233
/proc/meminfo: memFree=31463008/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=165312 memory=141948 CPUtime=1.49 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 35788 0 0 0 142 7 0 0 20 0 1 0 410196920 169279488 35487 33554432000 4194304 6210612 140729183905568 140729183898328 5008674 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41328 35487 880 493 0 34633 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 165312 KiB
Current children cumulated memory: 141948 KiB

[startup+3.10931 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21233
/proc/meminfo: memFree=31441076/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142168 CPUtime=3.1 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 47751 0 0 0 302 8 0 0 20 0 1 0 410196920 169549824 35542 33554432000 4194304 6210612 140729183905568 140729183902920 5097759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35542 880 493 0 34699 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142168 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21233
/proc/meminfo: memFree=31440600/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142204 CPUtime=6.29 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 59168 0 0 0 621 8 0 0 20 0 1 0 410196920 169549824 35551 33554432000 4194304 6210612 140729183905568 140729183902920 5097575 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35551 880 493 0 34699 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142204 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21233
/proc/meminfo: memFree=31440608/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142204 CPUtime=12.69 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 70835 0 0 0 1260 9 0 0 20 0 1 0 410196920 169549824 35551 33554432000 4194304 6210612 140729183905568 140729183902920 5097571 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35551 880 493 0 34699 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142204 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21236
/proc/meminfo: memFree=31439808/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142212 CPUtime=25.49 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 93855 0 0 0 2539 10 0 0 20 0 1 0 410196920 169549824 35553 33554432000 4194304 6210612 140729183905568 140729183902920 5008774 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35553 880 493 0 34699 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142212 KiB

[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21236
/proc/meminfo: memFree=31439944/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142212 CPUtime=51.11 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 105560 0 0 0 5100 11 0 0 20 0 1 0 410196920 169549824 35553 33554432000 4194304 6210612 140729183905568 140729183902920 5409293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35553 880 493 0 34699 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142212 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21240
/proc/meminfo: memFree=31439492/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142216 CPUtime=102.29 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 117020 0 0 0 10218 11 0 0 20 0 1 0 410196920 169549824 35554 33554432000 4194304 6210612 140729183905568 140729183902920 5008890 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35554 880 493 0 34699 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142216 KiB

[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 21246
/proc/meminfo: memFree=31439692/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142248 CPUtime=162.26 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 124746 0 0 0 16215 11 0 0 20 0 1 0 410196920 169549824 35562 33554432000 4194304 6210612 140729183905568 140729183902920 5097625 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35562 880 493 0 34699 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142248 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 21250
/proc/meminfo: memFree=31439760/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142248 CPUtime=222.27 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 124995 0 0 0 22216 11 0 0 20 0 1 0 410196920 169549824 35562 33554432000 4194304 6210612 140729183905568 140729183902920 5097575 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35562 880 493 0 34699 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142248 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 21254
/proc/meminfo: memFree=31439852/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142248 CPUtime=282.28 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 124998 0 0 0 28217 11 0 0 20 0 1 0 410196920 169549824 35562 33554432000 4194304 6210612 140729183905568 140729183902920 5008674 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35562 880 493 0 34699 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142248 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21260
/proc/meminfo: memFree=31439344/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142248 CPUtime=342.28 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 125241 0 0 0 34217 11 0 0 20 0 1 0 410196920 169549824 35562 33554432000 4194304 6210612 140729183905568 140729183902920 5409293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35562 880 493 0 34699 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142248 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21264
/proc/meminfo: memFree=31439376/32770624 swapFree=66917760/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142248 CPUtime=402.29 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 125244 0 0 0 40218 11 0 0 20 0 1 0 410196920 169549824 35562 33554432000 4194304 6210612 140729183905568 140729183902920 5097567 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35562 880 493 0 34699 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142248 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21276
/proc/meminfo: memFree=31438840/32770624 swapFree=66917772/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142248 CPUtime=462.3 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 125486 0 0 0 46219 11 0 0 20 0 1 0 410196920 169549824 35562 33554432000 4194304 6210612 140729183905568 140729183902920 5097719 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35562 880 493 0 34699 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142248 KiB


################
# More data... #
################

/proc/21232/statm: 41394 35563 880 493 0 34699 0
Current children cumulated CPU time: 1722.47 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142252 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21483
/proc/meminfo: memFree=31480888/32770624 swapFree=66917824/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=1782.48 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 128075 0 0 0 178236 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5097757 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 1782.48 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21487
/proc/meminfo: memFree=31479692/32770624 swapFree=66917824/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=1842.49 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 128146 0 0 0 184237 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5097571 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 1842.49 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+1902.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 21491
/proc/meminfo: memFree=31480032/32770624 swapFree=66917824/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=1902.5 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 128334 0 0 0 190238 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5097749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 1902.5 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 21497
/proc/meminfo: memFree=31479640/32770624 swapFree=66917824/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=1962.5 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 128334 0 0 0 196238 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5097571 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 1962.5 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 21502
/proc/meminfo: memFree=31479296/32770624 swapFree=66917824/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=2022.51 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 128559 0 0 0 202239 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5097472 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2022.51 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21506
/proc/meminfo: memFree=31479888/32770624 swapFree=66917824/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=2082.52 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 128559 0 0 0 208240 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5008603 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2082.52 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21512
/proc/meminfo: memFree=31479444/32770624 swapFree=66917824/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=2142.53 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 128730 0 0 0 214241 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5097505 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2142.53 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21516
/proc/meminfo: memFree=31479048/32770624 swapFree=66917824/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=2202.54 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 128802 0 0 0 220242 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5097749 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2202.54 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 21528
/proc/meminfo: memFree=31478756/32770624 swapFree=66917836/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=2262.54 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 128971 0 0 0 226242 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5097746 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2262.54 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21534
/proc/meminfo: memFree=31478760/32770624 swapFree=66917836/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=2322.55 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 128971 0 0 0 232243 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5097724 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2322.55 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 21539
/proc/meminfo: memFree=31478372/32770624 swapFree=66917836/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=2382.56 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 129220 0 0 0 238244 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5389943 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2382.56 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 21543
/proc/meminfo: memFree=31478676/32770624 swapFree=66917836/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=2442.57 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 129220 0 0 0 244245 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5097759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2442.57 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 21549
/proc/meminfo: memFree=31478612/32770624 swapFree=66917836/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=2502.58 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 129405 0 0 0 250246 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5008867 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2502.58 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 21549
/proc/meminfo: memFree=31479108/32770624 swapFree=66917836/67108860
[pid=21232] ppid=21229 vsize=165576 memory=142268 CPUtime=2520.08 cores=1,3,5,7
/proc/21232/stat : 21232 (cosoco) R 21229 21232 15109 0 -1 4202496 129405 0 0 0 251996 12 0 0 20 0 1 0 410196920 169549824 35567 33554432000 4194304 6210612 140729183905568 140729183902920 5008463 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 22069248 140729183908875 140729183908977 140729183908977 140729183911886 0
/proc/21232/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

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

[startup+2519.8 s]
# the end of solver process 21232 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.96 s, system=0.121015 s

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

Child status: 1
Real time (s): 2519.8
CPU time (s): 2520.08
CPU user time (s): 2519.96
CPU system time (s): 0.121015
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 165576
Max. memory (cumulated for all children) (KiB): 142268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.96
system time used= 0.121015
maximum resident set size= 142344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129481
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= 73
involuntary context switches= 654


# summary of solver processes directly reported to runsolver:
#   pid: 21232
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2519.96
#   total CPU system time (s): 0.121015

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.51206 second user time and 16.5311 second system time

The end

Begin job on node141 at 2019-09-13 04:42:29
IDJOB=4389918
IDBENCH=133905
IDSOLVER=2829
FILE ID=node141/4389918-1568342590
RUNJOBID= node141-1568313599-15141
PBS_JOBID= 21701135
Free space on /tmp= 56108 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/Ramsey/Ramsey-m1-s1/Ramsey-45.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389918-1568342590/watcher-4389918-1568342590 -o /tmp/evaluation-result-4389918-1568342590/solver-4389918-1568342590 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568313599-15141 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389918-1568342590.xml

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

MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664
RANDOM SEED=1384426185

node141.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	: 5332.93
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	: 5332.93
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	: 5332.93
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	: 5332.93
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:        31579132 kB
MemAvailable:   31799248 kB
Buffers:          133284 kB
Cached:           374888 kB
SwapCached:        81644 kB
Active:           275864 kB
Inactive:         361820 kB
Active(anon):      54136 kB
Inactive(anon):   106172 kB
Active(file):     221728 kB
Inactive(file):   255648 kB
Unevictable:      109212 kB
Mlocked:          109212 kB
SwapTotal:      67108860 kB
SwapFree:       66917760 kB
Dirty:              3488 kB
Writeback:             0 kB
AnonPages:        159652 kB
Mapped:            35180 kB
Shmem:             21808 kB
Slab:             146808 kB
SReclaimable:     117148 kB
SUnreclaim:        29660 kB
KernelStack:        3424 kB
PageTables:         5600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     572256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 56104 MiB
End job on node141 at 2019-09-13 05:24:28