1.79/1.85	c best=?? lower=-53955 upper=0 
1.89/1.91	c
1.89/1.91	c This is cosoco 1.12 --  
1.89/1.91	c
1.89/1.91	c command line: cosoco -lc -model -restarts HOME/instance-4267088-1502607861.xml 
1.89/1.91	c enable optimization
1.89/1.91	c ========================================[ Problem Statistics ]===========================================
1.89/1.91	c |                                                                                                       
1.89/1.91	c |  Parse time        :         1.83 s 
1.89/1.91	c |
1.89/1.91	c |               Variables: 3079
1.89/1.91	c |            Domain Sizes: 2..109
1.89/1.91	c |
1.89/1.91	c |             Constraints: 1594
1.89/1.91	c |                   Arity: 2..55  -- Binary: 55  -- Ternary: 1486
1.89/1.91	c | 
1.89/1.91	c |                   Types: 
1.89/1.91	c |                          Intension: 1539
1.89/1.91	c |                          Sum: 55
1.89/1.91	c |                          
1.89/1.91	c =========================================================================================================
1.89/1.91	o -7087
1.89/1.91	c    1 calls to solver: best=-7087 lower=-7086 upper=0 
1.89/1.96	o -2227
2.00/2.01	o -1895
2.00/2.01	c    3 calls to solver: best=-1895 lower=-1894 upper=0 
2.00/2.08	o -1623
2.68/2.70	o -1451
2.68/2.70	c    5 calls to solver: best=-1451 lower=-1450 upper=0 
10.48/10.58	o -1399
12.09/12.19	o -1395
12.09/12.19	c    7 calls to solver: best=-1395 lower=-1394 upper=0 
14.47/14.59	o -1355
36.55/36.66	o -1351
36.55/36.66	c    9 calls to solver: best=-1351 lower=-1350 upper=0 
37.06/37.13	o -1299
37.25/37.39	o -1263
37.25/37.39	c   11 calls to solver: best=-1263 lower=-1262 upper=0 
44.75/44.86	o -1243
44.85/44.96	o -1107
44.85/44.96	c   13 calls to solver: best=-1107 lower=-1106 upper=0 
45.06/45.14	o -983
334.85/334.90	o -923
334.85/334.90	c   15 calls to solver: best=-923 lower=-922 upper=0 
491.15/491.29	o -883
666.55/666.61	o -727
666.55/666.61	c   17 calls to solver: best=-727 lower=-726 upper=0 
784.25/784.32	o -683
2400.07/2400.10	
2400.07/2400.10	c *** INTERRUPTED ***
2400.07/2400.10	c restarts              : 63          
2400.07/2400.10	c conflicts             : 412413       (172 /sec)
2400.07/2400.10	c decisions             : 3014449      (1256 /sec)
2400.07/2400.10	c propagations          : 1028272831  (428440 /sec)
2400.07/2400.10	c root propagations     : 7587        
2400.07/2400.10	c filter calls          : 1955628892     (814832 /sec)
2400.07/2400.10	c useless filter calls  : 1266497583     (64 %)
2400.07/2400.10	c Memory used           : 80.21 MB
2400.07/2400.10	c CPU time              : 2400.04 s
2400.07/2400.10	
2400.07/2400.10	c nb Solutions = 18
2400.07/2400.10	s SATISFIABLE
2400.07/2400.10	c Best value found: -683
2400.07/2400.10	
2400.07/2400.10	
2400.07/2400.10	v <instantiation type='solution' cost='-683'>
2400.07/2400.10	v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[4] c[50] c[51] c[52] c[53] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[4] s[50] s[51] s[52] s[53] s[5] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[50] x[51] x[52] x[53] x[54] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][3] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][4] y[0][50] y[0][51] y[0][52] y[0][53] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][3] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][4] y[10][50] y[10][51] y[10][52] y[10][53] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][3] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][4] y[11][50] y[11][51] y[11][52] y[11][53] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][3] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][4] y[12][50] y[12][51] y[12][52] y[12][53] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][3] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][4] y[13][50] y[13][51] y[13][52] y[13][53] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][3] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][4] y[14][50] y[14][51] y[14][52] y[14][53] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][3] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][4] y[15][50] y[15][51] y[15][52] y[15][53] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][3] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][4] y[16][50] y[16][51] y[16][52] y[16][53] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][3] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][4] y[17][50] y[17][51] y[17][52] y[17][53] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][3] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][4] y[18][50] y[18][51] y[18][52] y[18][53] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][3] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][4] y[19][50] y[19][51] y[19][52] y[19][53] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][3] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][4] y[1][50] y[1][51] y[1][52] y[1][53] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][3] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][4] y[20][50] y[20][51] y[20][52] y[20][53] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][3] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][4] y[21][50] y[21][51] y[21][52] y[21][53] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][3] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][4] y[22][50] y[22][51] y[22][52] y[22][53] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][3] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][4] y[23][50] y[23][51] y[23][52] y[23][53] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][3] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][4] y[24][50] y[24][51] y[24][52] y[24][53] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][3] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][4] y[25][50] y[25][51] y[25][52] y[25][53] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][3] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][4] y[26][50] y[26][51] y[26][52] y[26][53] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][3] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][4] y[27][50] y[27][51] y[27][52] y[27][53] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][3] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][4] y[28][50] y[28][51] y[28][52] y[28][53] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][3] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][4] y[29][50] y[29][51] y[29][52] y[29][53] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][3] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][4] y[2][50] y[2][51] y[2][52] y[2][53] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][3] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][4] y[30][50] y[30][51] y[30][52] y[30][53] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][3] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][4] y[31][50] y[31][51] y[31][52] y[31][53] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][3] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][4] y[32][50] y[32][51] y[32][52] y[32][53] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][3] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][4] y[33][50] y[33][51] y[33][52] y[33][53] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][3] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][4] y[34][50] y[34][51] y[34][52] y[34][53] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][3] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][4] y[35][50] y[35][51] y[35][52] y[35][53] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][3] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][4] y[36][50] y[36][51] y[36][52] y[36][53] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[37][0] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][1] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][2] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][3] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][4] y[37][50] y[37][51] y[37][52] y[37][53] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[38][0] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][1] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][2] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][3] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][4] y[38][50] y[38][51] y[38][52] y[38][53] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[39][0] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][1] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][2] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][3] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][4] y[39][50] y[39][51] y[39][52] y[39][53] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][3] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][4] y[3][50] y[3][51] y[3][52] y[3][53] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[40][0] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][1] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][2] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][3] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][4] y[40][50] y[40][51] y[40][52] y[40][53] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[41][0] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][1] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][2] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][3] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][4] y[41][50] y[41][51] y[41][52] y[41][53] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[42][0] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][1] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][2] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][3] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][4] y[42][50] y[42][51] y[42][52] y[42][53] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[43][0] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][1] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][2] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][3] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][4] y[43][50] y[43][51] y[43][52] y[43][53] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][1] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][2] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][3] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][4] y[44][50] y[44][51] y[44][52] y[44][53] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[45][0] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][1] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][2] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][3] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][4] y[45][50] y[45][51] y[45][52] y[45][53] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[46][0] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][1] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][2] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][3] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][4] y[46][50] y[46][51] y[46][52] y[46][53] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[47][0] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][1] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][2] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][3] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][4] y[47][50] y[47][51] y[47][52] y[47][53] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[48][0] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][1] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][2] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][3] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][4] y[48][50] y[48][51] y[48][52] y[48][53] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[49][0] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][1] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][2] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][3] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][4] y[49][50] y[49][51] y[49][52] y[49][53] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][3] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][4] y[4][50] y[4][51] y[4][52] y[4][53] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[50][0] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][1] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][2] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][3] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][4] y[50][50] y[50][51] y[50][52] y[50][53] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[51][0] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][1] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][2] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][3] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][4] y[51][50] y[51][51] y[51][52] y[51][53] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[52][0] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][1] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][2] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][3] y[52][40] y[52][41] y[52][42] y[52][43] y[52][44] y[52][45] y[52][46] y[52][47] y[52][48] y[52][49] y[52][4] y[52][50] y[52][51] y[52][52] y[52][53] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[53][0] y[53][10] y[53][11] y[53][12] y[53][13] y[53][14] y[53][15] y[53][16] y[53][17] y[53][18] y[53][19] y[53][1] y[53][20] y[53][21] y[53][22] y[53][23] y[53][24] y[53][25] y[53][26] y[53][27] y[53][28] y[53][29] y[53][2] y[53][30] y[53][31] y[53][32] y[53][33] y[53][34] y[53][35] y[53][36] y[53][37] y[53][38] y[53][39] y[53][3] y[53][40] y[53][41] y[53][42] y[53][43] y[53][44] y[53][45] y[53][46] y[53][47] y[53][48] y[53][49] y[53][4] y[53][50] y[53][51] y[53][52] y[53][53] y[53][5] y[53][6] y[53][7] y[53][8] y[53][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][3] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][4] y[5][50] y[5][51] y[5][52] y[5][53] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][3] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][4] y[6][50] y[6][51] y[6][52] y[6][53] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][3] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][4] y[7][50] y[7][51] y[7][52] y[7][53] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][3] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][4] y[8][50] y[8][51] y[8][52] y[8][53] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][3] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][4] y[9][50] y[9][51] y[9][52] y[9][53] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list>
2400.07/2400.11	v <values>0 0 1 -4 3 -2 5 2 3 2 -11 5 6 -3 2 -1 2 1 0 -1 -2 1 -2 0 1 -2 5 6 -3 0 -7 2 -3 -3 0 3 2 -1 2 -3 -2 3 -2 -1 -8 2 -3 2 -1 -7 -4 -7 -2 -3 0 0 1 16 9 4 25 4 9 4 121 25 36 9 4 1 4 1 0 1 4 1 4 0 1 4 25 36 9 0 49 4 9 9 0 9 4 1 4 9 4 9 4 1 64 4 9 4 1 49 16 49 4 9 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 -1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 1 1 -1 * * * * * * 1 * * * * 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 * * * * * * * -1 * * * * 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 * * * * * * * * -1 * * * * -1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 1 1 * * * * * * * * * 1 * * * * -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 * * * * * * * * * * 1 * * * * -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 * -1 * * * * * * * * * * 1 * * * * 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 * * -1 * * * * * * * * * * -1 * * * * -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 * * * 1 * * * * * * * * * * 1 * * * * -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 * * * * -1 * * * * * * * * * * 1 * * * * 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 * * * * * -1 * * * * * * * * * * -1 * * * * -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 * -1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 * * * * * * 1 * * * * * * * * * * 1 * * * * 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 * * * * * * * -1 * * * * * * * * * * -1 * * * * 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 * * * * * * * * * 1 * * * * * * * * * * -1 * * * * -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * 1 -1 -1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 1 -1 -1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 * * 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * -1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * -1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * -1 1 1 1 1 -1 1 1 1 1 1 1 1 -1 -1 1 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 * * * 1 -1 1 1 -1 -1 1 1 1 1 * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * -1 -1 1 -1 -1 1 -1 -1 -1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * 1 1 1 -1 1 1 1 1 * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * -1 1 1 1 -1 1 -1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * -1 1 -1 -1 1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * -1 -1 1 1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * 1 1 -1 -1 * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * -1 -1 1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * 1 1 * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * -1 * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * 1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 * * * * 1 1 -1 -1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 * -1 * * * * -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 * * 1 * * * * 1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 * * * -1 * * * * -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 * * * * 1 * * * * -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 * * * * * 1 * * * * -1 -1 -1 -1 -1 </values>
2400.07/2400.11	v </instantiation>
2400.07/2400.11	

OK	683

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267088-1502607861/watcher-4267088-1502607861 -o /tmp/evaluation-result-4267088-1502607861/solver-4267088-1502607861 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502602184-31004 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267088-1502607861.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=31844, runsolver pid=31841

[startup+0.100109 s]*
/proc/loadavg: 2.00 2.01 2.04 3/188 31845
/proc/meminfo: memFree=31727884/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=30692 memory=7296 CPUtime=0.1 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 1990 0 0 0 10 0 0 0 20 0 1 0 93874325 31428608 1824 33554432000 4194304 5748600 140730079685296 140730079681944 140151466506144 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 7673 1824 775 380 0 1091 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30692 KiB
Current children cumulated memory: 7296 KiB

[startup+0.209402 s]*
/proc/loadavg: 2.00 2.01 2.04 3/188 31845
/proc/meminfo: memFree=31725900/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=33012 memory=9488 CPUtime=0.21 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 2590 0 0 0 21 0 0 0 20 0 1 0 93874325 33804288 2372 33554432000 4194304 5748600 140730079685296 140730079681944 140151466506144 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 8253 2372 775 380 0 1671 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33012 KiB
Current children cumulated memory: 9488 KiB

[startup+0.308853 s]*
/proc/loadavg: 2.00 2.01 2.04 3/188 31845
/proc/meminfo: memFree=31723668/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=35204 memory=11808 CPUtime=0.31 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 3138 0 0 0 31 0 0 0 20 0 1 0 93874325 36048896 2952 33554432000 4194304 5748600 140730079685296 140730079681944 5080321 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 8801 2952 775 380 0 2219 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35204 KiB
Current children cumulated memory: 11808 KiB

[startup+0.700236 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31845
/proc/meminfo: memFree=31719204/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=43588 memory=20192 CPUtime=0.69 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 5240 0 0 0 69 0 0 0 20 0 1 0 93874325 44634112 5048 33554432000 4194304 5748600 140730079685296 140730079678760 140151476097847 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 10897 5048 775 380 0 4315 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43588 KiB
Current children cumulated memory: 20192 KiB

[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31845
/proc/meminfo: memFree=31708416/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=61308 memory=37780 CPUtime=1.48 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 9644 0 0 0 147 1 0 0 20 0 1 0 93874325 62779392 9445 33554432000 4194304 5748600 140730079685296 140730079679160 5095520 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 15327 9445 775 380 0 8745 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 61308 KiB
Current children cumulated memory: 37780 KiB

[startup+3.10909 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 31845
/proc/meminfo: memFree=31677068/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=80124 memory=56888 CPUtime=3.09 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 18354 0 0 0 307 2 0 0 20 0 1 0 93874325 82046976 14222 33554432000 4194304 5748600 140730079685296 140730079682008 5025697 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20031 14222 826 380 0 13449 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 80124 KiB
Current children cumulated memory: 56888 KiB

[startup+6.30023 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 31845
/proc/meminfo: memFree=31676796/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=80124 memory=56968 CPUtime=6.28 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 21163 0 0 0 626 2 0 0 20 0 1 0 93874325 82046976 14242 33554432000 4194304 5748600 140730079685296 140730079672568 4973040 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20031 14242 826 380 0 13449 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 80124 KiB
Current children cumulated memory: 56968 KiB

[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.05 3/188 31845
/proc/meminfo: memFree=31676632/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=81328 memory=58008 CPUtime=12.67 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 25056 0 0 0 1264 3 0 0 20 0 1 0 93874325 83279872 14502 33554432000 4194304 5748600 140730079685296 140730079672568 4942873 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20332 14502 826 380 0 13750 0
Current children cumulated CPU time: 12.67 s
Current children cumulated vsize: 81328 KiB
Current children cumulated memory: 58008 KiB

[startup+25.5002 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 31845
/proc/meminfo: memFree=31675184/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=81464 memory=58384 CPUtime=25.46 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 29753 0 0 0 2543 3 0 0 20 0 1 0 93874325 83419136 14596 33554432000 4194304 5748600 140730079685296 140730079682824 5025701 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20366 14596 826 380 0 13784 0
Current children cumulated CPU time: 25.46 s
Current children cumulated vsize: 81464 KiB
Current children cumulated memory: 58384 KiB

[startup+51.1092 s]
/proc/loadavg: 2.04 2.03 2.05 3/188 31845
/proc/meminfo: memFree=31675916/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=81596 memory=58496 CPUtime=51.06 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 30618 0 0 0 5103 3 0 0 20 0 1 0 93874325 83554304 14624 33554432000 4194304 5748600 140730079685296 140730079682824 4973057 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20399 14624 826 380 0 13817 0
Current children cumulated CPU time: 51.06 s
Current children cumulated vsize: 81596 KiB
Current children cumulated memory: 58496 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 31907
/proc/meminfo: memFree=31614512/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=81596 memory=58496 CPUtime=102.25 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 30848 0 0 0 10222 3 0 0 20 0 1 0 93874325 83554304 14624 33554432000 4194304 5748600 140730079685296 140730079682824 4973040 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20399 14624 826 380 0 13817 0
Current children cumulated CPU time: 102.25 s
Current children cumulated vsize: 81596 KiB
Current children cumulated memory: 58496 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 31908
/proc/meminfo: memFree=31613416/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=81596 memory=58496 CPUtime=162.25 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 31077 0 0 0 16222 3 0 0 20 0 1 0 93874325 83554304 14624 33554432000 4194304 5748600 140730079685296 140730079682824 5025858 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20399 14624 826 380 0 13817 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 81596 KiB
Current children cumulated memory: 58496 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31909
/proc/meminfo: memFree=31613344/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=81596 memory=58496 CPUtime=222.25 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 31309 0 0 0 22222 3 0 0 20 0 1 0 93874325 83554304 14624 33554432000 4194304 5748600 140730079685296 140730079682824 4942779 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20399 14624 826 380 0 13817 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 81596 KiB
Current children cumulated memory: 58496 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31910
/proc/meminfo: memFree=31612980/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=81596 memory=58496 CPUtime=282.25 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 31541 0 0 0 28222 3 0 0 20 0 1 0 93874325 83554304 14624 33554432000 4194304 5748600 140730079685296 140730079682824 5122362 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20399 14624 826 380 0 13817 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 81596 KiB
Current children cumulated memory: 58496 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31912
/proc/meminfo: memFree=31612940/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=81864 memory=58608 CPUtime=342.25 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 31973 0 0 0 34222 3 0 0 20 0 1 0 93874325 83828736 14652 33554432000 4194304 5748600 140730079685296 140730079672568 5025680 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20466 14652 826 380 0 13884 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 81864 KiB
Current children cumulated memory: 58608 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31913
/proc/meminfo: memFree=31613276/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=81864 memory=58680 CPUtime=402.25 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 32228 0 0 0 40222 3 0 0 20 0 1 0 93874325 83828736 14670 33554432000 4194304 5748600 140730079685296 140730079672568 4973060 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20466 14670 826 380 0 13884 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 81864 KiB
Current children cumulated memory: 58680 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31914
/proc/meminfo: memFree=31613316/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=81864 memory=58680 CPUtime=462.25 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 32491 0 0 0 46222 3 0 0 20 0 1 0 93874325 83828736 14670 33554432000 4194304 5748600 140730079685296 140730079672568 5025649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20466 14670 826 380 0 13884 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 81864 KiB
Current children cumulated memory: 58680 KiB


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

/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 1662.26 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31974
/proc/meminfo: memFree=31613200/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=1722.26 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 38999 0 0 0 172222 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 4973121 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31975
/proc/meminfo: memFree=31613176/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=1782.26 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 39287 0 0 0 178222 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 4942896 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31984
/proc/meminfo: memFree=31612416/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=1842.26 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 39575 0 0 0 184222 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 5122371 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 1842.26 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31985
/proc/meminfo: memFree=31612648/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=1902.26 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 39863 0 0 0 190222 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 5025692 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 1902.26 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31986
/proc/meminfo: memFree=31612572/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=1962.26 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 40151 0 0 0 196222 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 5025642 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 1962.26 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 31987
/proc/meminfo: memFree=31612572/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=2022.26 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 40439 0 0 0 202222 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 4940631 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 2022.26 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 31988
/proc/meminfo: memFree=31612820/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=2082.26 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 40727 0 0 0 208222 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 4973063 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 2082.26 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 31990
/proc/meminfo: memFree=31612788/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=2142.26 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 41015 0 0 0 214222 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 4906609 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 2142.26 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31991
/proc/meminfo: memFree=31612912/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=2202.26 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 41303 0 0 0 220222 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 4906312 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31992
/proc/meminfo: memFree=31612896/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=2262.26 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 41591 0 0 0 226222 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 4941450 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31994
/proc/meminfo: memFree=31612528/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=2322.26 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 41879 0 0 0 232222 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 4940463 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31995
/proc/meminfo: memFree=31612660/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=2382.26 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 42172 0 0 0 238222 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 4906836 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32002
/proc/meminfo: memFree=31611960/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=2400.07 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 42473 0 0 0 240003 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 5025695 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

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

[startup+2400.11 s]
# the end of solver process 31844 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2400.04 s, system=0.045999 s

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

[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32002
/proc/meminfo: memFree=31611960/32770624 swapFree=67108860/67108860
[pid=31844] ppid=31841 vsize=82132 memory=58968 CPUtime=2400.07 cores=0,2,4,6
/proc/31844/stat : 31844 (cosoco) R 31841 31844 30973 0 -1 4202496 42473 0 0 0 240003 4 0 0 20 0 1 0 93874325 84103168 14742 33554432000 4194304 5748600 140730079685296 140730079682824 5025695 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 7849824 7854664 33288192 140730079691967 140730079692062 140730079692062 140730079694798 0
/proc/31844/statm: 20533 14742 826 380 0 13951 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 82132 KiB
Current children cumulated memory: 58968 KiB

Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.08
CPU user time (s): 2400.04
CPU system time (s): 0.045999
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 82132
Max. memory (cumulated for all children) (KiB): 58968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.045999
maximum resident set size= 59036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42523
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= 36
involuntary context switches= 844


# summary of solver processes directly reported to runsolver:
#   pid: 31844
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2400.04
#   total CPU system time (s): 0.045999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.66568 second user time and 15.6555 second system time

The end

Begin job on node103 at 2017-08-13 08:50:03
IDJOB=4267088
IDBENCH=127009
IDSOLVER=2657
FILE ID=node103/4267088-1502607861
RUNJOBID= node103-1502602184-31004
PBS_JOBID= 20628296
Free space on /tmp= 61792 MiB

SOLVER NAME= cosoco-mini 1.12
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-055.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267088-1502607861/watcher-4267088-1502607861 -o /tmp/evaluation-result-4267088-1502607861/solver-4267088-1502607861 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502602184-31004 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4267088-1502607861.xml

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

MD5SUM BENCH= 02db274482b93fdda962f2b7dd8f24e7
RANDOM SEED=1286414024

node103.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.56
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.56
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.56
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.56
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:        31732200 kB
MemAvailable:   31995084 kB
Buffers:           84952 kB
Cached:           472704 kB
SwapCached:            0 kB
Active:           488664 kB
Inactive:         125228 kB
Active(anon):       5260 kB
Inactive(anon):    78896 kB
Active(file):     483404 kB
Inactive(file):    46332 kB
Unevictable:        6412 kB
Mlocked:            6412 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2204 kB
Writeback:             0 kB
AnonPages:         62704 kB
Mapped:            44536 kB
Shmem:             25228 kB
Slab:             123328 kB
SReclaimable:      97964 kB
SUnreclaim:        25364 kB
KernelStack:        3312 kB
PageTables:         4760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     352136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61788 MiB
End job on node103 at 2017-08-13 09:30:03