1.10/1.18	c
1.10/1.18	c This is cosoco 2.00 --  
1.10/1.18	c
1.10/1.18	c command line: cosoco -lc -model -restarts -stick HOME/instance-4390418-1568349055.xml 
1.10/1.18	c enable optimization
1.10/1.18	c ========================================[ Problem Statistics ]===========================================
1.10/1.18	c |                                                                                                       
1.10/1.18	c |  Parse time        :         1.07 s 
1.10/1.18	c |
1.10/1.18	c |               Variables: 2025
1.10/1.18	c |            Domain Sizes: 990..990
1.10/1.18	c |
1.10/1.18	c |             Constraints: 14191
1.10/1.18	c |                   Arity: 3..990  -- Ternary: 14190
1.10/1.18	c | 
1.10/1.18	c |                   Types: 
1.10/1.18	c |                          Max constant: 1
1.10/1.18	c |                          Not All Equal: 14190
1.10/1.18	c |                          
1.10/1.18	c |               Objective: Minimize Max constant
1.10/1.18	
1.10/1.18	c =========================================================================================================
1.10/1.18	o 6
1.10/1.18	c    1 calls to solver(id=*d): best=0 lower=6 upper=0 
1.18/1.24	o 5
1.18/1.28	o 4
1.18/1.28	c    3 calls to solver(id=*d): best=0 lower=4 upper=0 
2400.06/2400.30	
2400.06/2400.30	c *** INTERRUPTED ***
2400.06/2400.30	c call to solver        : 3
2400.06/2400.30	c
2400.06/2400.30	c restarts              : 111         
2400.06/2400.30	c conflicts             : 38569556     (16071 /sec)
2400.06/2400.30	c decisions             : 139813673    (58257 /sec)
2400.06/2400.30	c propagations          : 2461942994  (1025830 /sec)
2400.06/2400.30	c root propagations     : 976873      
2400.06/2400.30	c filter calls          : 39815813755    (16590260 /sec)
2400.06/2400.30	c useless filter calls  : 37587134064    (94 %)
2400.06/2400.30	c Memory used           : 161.70 MB
2400.06/2400.30	c Best bound time (wc)  : 1.28257 s
2400.06/2400.30	c CPU time              : 2399.95 s
2400.06/2400.30	c real time             : 2400.3 s
2400.06/2400.30	
2400.06/2400.30	c nb Solutions = 3
2400.06/2400.30	s SATISFIABLE
2400.06/2400.30	c Best value found: 4
2400.06/2400.30	
2400.06/2400.30	
2400.06/2400.30	v <instantiation type='solution' cost='4'>
2400.06/2400.30	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>
2400.06/2400.30	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>
2400.06/2400.30	v </instantiation>
2400.06/2400.30	

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390418-1568349055/watcher-4390418-1568349055 -o /tmp/evaluation-result-4390418-1568349055/solver-4390418-1568349055 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568335411-5299 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390418-1568349055.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=9355, runsolver pid=9352

[startup+0.100786 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 9356
/proc/meminfo: memFree=30369244/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=44372 memory=20560 CPUtime=0.1 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 5310 0 0 0 9 1 0 0 20 0 1 0 411156076 45436928 5140 33554432000 4194304 6210612 140732509038128 140732509035400 5810050 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 11093 5140 808 493 0 4398 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44372 KiB
Current children cumulated memory: 20560 KiB

[startup+0.21 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 9356
/proc/meminfo: memFree=30369244/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=44564 memory=20708 CPUtime=0.21 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 5422 0 0 0 20 1 0 0 20 0 1 0 411156076 45633536 5177 33554432000 4194304 6210612 140732509038128 140732509035400 5810061 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 11141 5177 808 493 0 4446 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44564 KiB
Current children cumulated memory: 20708 KiB

[startup+0.309253 s]*
/proc/loadavg: 2.00 2.01 2.05 3/203 9356
/proc/meminfo: memFree=30364820/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=49976 memory=26248 CPUtime=0.3 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 6817 0 0 0 29 1 0 0 20 0 1 0 411156076 51175424 6562 33554432000 4194304 6210612 140732509038128 140732509035400 139980951456741 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 12494 6562 833 493 0 5799 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49976 KiB
Current children cumulated memory: 26248 KiB

[startup+0.700305 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 9356
/proc/meminfo: memFree=30337556/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=102304 memory=78520 CPUtime=0.69 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 19901 0 0 0 65 4 0 0 20 0 1 0 411156076 104759296 19630 33554432000 4194304 6210612 140732509038128 140732509030888 139980951456741 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 25609 19630 833 493 0 18914 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 102304 KiB
Current children cumulated memory: 78520 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 9356
/proc/meminfo: memFree=30269976/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=165312 memory=141948 CPUtime=1.48 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 35787 0 0 0 142 6 0 0 20 0 1 0 411156076 169279488 35487 33554432000 4194304 6210612 140732509038128 140732509030888 5008476 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41328 35487 880 493 0 34633 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 165312 KiB
Current children cumulated memory: 141948 KiB

[startup+3.10958 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 9356
/proc/meminfo: memFree=30248080/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142168 CPUtime=3.09 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 47750 0 0 0 302 7 0 0 20 0 1 0 411156076 169549824 35542 33554432000 4194304 6210612 140732509038128 140732509035480 5409293 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35542 880 493 0 34699 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142168 KiB

[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 9356
/proc/meminfo: memFree=30248328/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142204 CPUtime=6.28 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 59167 0 0 0 621 7 0 0 20 0 1 0 411156076 169549824 35551 33554432000 4194304 6210612 140732509038128 140732509035480 5097575 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35551 880 493 0 34699 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142204 KiB

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 9356
/proc/meminfo: memFree=30247816/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142204 CPUtime=12.69 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 70834 0 0 0 1261 8 0 0 20 0 1 0 411156076 169549824 35551 33554432000 4194304 6210612 140732509038128 140732509035480 5008774 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/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.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 9358
/proc/meminfo: memFree=30247864/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142212 CPUtime=25.48 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 93854 0 0 0 2539 9 0 0 20 0 1 0 411156076 169549824 35553 33554432000 4194304 6210612 140732509038128 140732509035480 5008619 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35553 880 493 0 34699 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142212 KiB

[startup+51.1092 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 9359
/proc/meminfo: memFree=30247584/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142212 CPUtime=51.09 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 105559 0 0 0 5099 10 0 0 20 0 1 0 411156076 169549824 35553 33554432000 4194304 6210612 140732509038128 140732509035480 5185894 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35553 880 493 0 34699 0
Current children cumulated CPU time: 51.09 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/203 9362
/proc/meminfo: memFree=30247108/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142216 CPUtime=102.24 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 114749 0 0 0 10214 10 0 0 20 0 1 0 411156076 169549824 35554 33554432000 4194304 6210612 140732509038128 140732509035480 5409301 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35554 880 493 0 34699 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142216 KiB

[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/202 9368
/proc/meminfo: memFree=30247024/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142248 CPUtime=162.21 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 118446 0 0 0 16211 10 0 0 20 0 1 0 411156076 169549824 35562 33554432000 4194304 6210612 140732509038128 140732509035480 5097571 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35562 880 493 0 34699 0
Current children cumulated CPU time: 162.21 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142248 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/202 9372
/proc/meminfo: memFree=30246648/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142248 CPUtime=222.2 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 118681 0 0 0 22210 10 0 0 20 0 1 0 411156076 169549824 35562 33554432000 4194304 6210612 140732509038128 140732509035480 5008459 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35562 880 493 0 34699 0
Current children cumulated CPU time: 222.2 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142248 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 9377
/proc/meminfo: memFree=30246664/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142248 CPUtime=282.19 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 118914 0 0 0 28209 10 0 0 20 0 1 0 411156076 169549824 35562 33554432000 4194304 6210612 140732509038128 140732509035480 5097567 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35562 880 493 0 34699 0
Current children cumulated CPU time: 282.19 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/203 9383
/proc/meminfo: memFree=30247228/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142248 CPUtime=342.18 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 119146 0 0 0 34208 10 0 0 20 0 1 0 411156076 169549824 35562 33554432000 4194304 6210612 140732509038128 140732509035480 5097749 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35562 880 493 0 34699 0
Current children cumulated CPU time: 342.18 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/203 9387
/proc/meminfo: memFree=30247756/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142248 CPUtime=402.17 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 119383 0 0 0 40207 10 0 0 20 0 1 0 411156076 169549824 35562 33554432000 4194304 6210612 140732509038128 140732509035480 5380107 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35562 880 493 0 34699 0
Current children cumulated CPU time: 402.17 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142248 KiB

[startup+462.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/203 9391
/proc/meminfo: memFree=30247764/32770624 swapFree=66916376/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142248 CPUtime=462.16 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 119620 0 0 0 46206 10 0 0 20 0 1 0 411156076 169549824 35562 33554432000 4194304 6210612 140732509038128 140732509035480 5008610 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35562 880 493 0 34699 0
Current children cumulated CPU time: 462.16 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142248 KiB


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

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

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 9570
/proc/meminfo: memFree=30250832/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=1722.09 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 124378 0 0 0 172198 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5097759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 1722.09 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 9576
/proc/meminfo: memFree=30250900/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=1782.09 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 124593 0 0 0 178198 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5097580 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 9588
/proc/meminfo: memFree=30251772/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=1842.08 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 124831 0 0 0 184197 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5097759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/204 9615
/proc/meminfo: memFree=30250116/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=1902.08 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 125045 0 0 0 190197 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5008827 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 1902.08 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/204 9621
/proc/meminfo: memFree=30250604/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=1962.08 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 125258 0 0 0 196197 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5097749 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/204 9625
/proc/meminfo: memFree=30250584/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=2022.08 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 125485 0 0 0 202197 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5097759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2022.08 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/204 9629
/proc/meminfo: memFree=30250012/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=2082.07 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 125691 0 0 0 208196 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5008692 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 9635
/proc/meminfo: memFree=30249964/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=2142.07 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 125897 0 0 0 214196 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5097749 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 9639
/proc/meminfo: memFree=30250384/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=2202.07 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 126130 0 0 0 220196 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5008752 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 9643
/proc/meminfo: memFree=30250880/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=2262.06 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 126342 0 0 0 226195 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5008674 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2262.06 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 9649
/proc/meminfo: memFree=30250288/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=2322.06 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 126554 0 0 0 232195 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5097749 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2322.06 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 9653
/proc/meminfo: memFree=30250876/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=2382.06 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 126794 0 0 0 238195 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5097695 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2382.06 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 9662
/proc/meminfo: memFree=30249464/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=2400.06 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 127018 0 0 0 239995 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5097563 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

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

[startup+2400.3 s]
# the end of solver process 9355 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.95 s, system=0.11299 s

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

[startup+2400.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/203 9662
/proc/meminfo: memFree=30249464/32770624 swapFree=66916388/67108860
[pid=9355] ppid=9352 vsize=165576 memory=142268 CPUtime=2400.06 cores=0,2,4,6
/proc/9355/stat : 9355 (cosoco) R 9352 9355 5268 0 -1 4202496 127018 0 0 0 239995 11 0 0 20 0 1 0 411156076 169549824 35567 33554432000 4194304 6210612 140732509038128 140732509035480 5097563 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26001408 140732509045771 140732509045873 140732509045873 140732509048782 0
/proc/9355/statm: 41394 35567 880 493 0 34699 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 165576 KiB
Current children cumulated memory: 142268 KiB

Child status: 1
Real time (s): 2400.3
CPU time (s): 2400.06
CPU user time (s): 2399.95
CPU system time (s): 0.11299
CPU usage (%): 99.9901
Max. virtual memory (cumulated for all children) (KiB): 165576
Max. memory (cumulated for all children) (KiB): 142268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.95
system time used= 0.11299
maximum resident set size= 142344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127095
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= 3134


# summary of solver processes directly reported to runsolver:
#   pid: 9355
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2399.95
#   total CPU system time (s): 0.11299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.12436 second user time and 15.6463 second system time

The end

Begin job on node134 at 2019-09-13 06:30:14
IDJOB=4390418
IDBENCH=133905
IDSOLVER=2831
FILE ID=node134/4390418-1568349055
RUNJOBID= node134-1568335411-5299
PBS_JOBID= 21701162
Free space on /tmp= 56116 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-4390418-1568349055/watcher-4390418-1568349055 -o /tmp/evaluation-result-4390418-1568349055/solver-4390418-1568349055 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568335411-5299 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4390418-1568349055.xml

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

MD5SUM BENCH= 1426235d943c6b8ba94de7087c35e664
RANDOM SEED=700164460

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
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:        30385812 kB
MemAvailable:   31788184 kB
Buffers:          157640 kB
Cached:          1509284 kB
SwapCached:        90772 kB
Active:           388752 kB
Inactive:        1374588 kB
Active(anon):      29848 kB
Inactive(anon):   106496 kB
Active(file):     358904 kB
Inactive(file):  1268092 kB
Unevictable:      110920 kB
Mlocked:          110920 kB
SwapTotal:      67108860 kB
SwapFree:       66916376 kB
Dirty:              3724 kB
Writeback:             4 kB
AnonPages:        118152 kB
Mapped:            44716 kB
Shmem:             30828 kB
Slab:             212668 kB
SReclaimable:     182420 kB
SUnreclaim:        30248 kB
KernelStack:        3552 kB
PageTables:         5584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     532520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 56112 MiB
End job on node134 at 2019-09-13 07:10:15