1.63/1.73	c best=?? lower=-53955 upper=0 
1.63/1.78	c
1.63/1.78	c This is cosoco 1.1 --  
1.63/1.78	c
1.63/1.78	c command line: cosoco -lc -model -restarts HOME/instance-4259907-1502026835.xml 
1.63/1.78	c enable optimization
1.63/1.78	c ========================================[ Problem Statistics ]===========================================
1.63/1.78	c |                                                                                                       
1.63/1.78	c |  Parse time        :         1.65 s 
1.63/1.78	c |
1.63/1.78	c |               Variables: 3079
1.63/1.78	c |            Domain Sizes: 2..109
1.63/1.78	c |
1.63/1.78	c |             Constraints: 1594
1.63/1.78	c |                   Arity: 2..55  -- Binary: 55  -- Ternary: 1486
1.63/1.78	c | 
1.63/1.78	c |                   Types: 
1.63/1.78	c |                          Intension: 1539
1.63/1.78	c |                          Sum: 55
1.63/1.78	c |                          
1.63/1.78	c =========================================================================================================
1.63/1.78	o -7087
1.63/1.78	c    1 calls to solver: best=-7087 lower=-7086 upper=0 
1.73/1.83	o -2227
1.73/1.88	o -1895
1.73/1.88	c    3 calls to solver: best=-1895 lower=-1894 upper=0 
1.83/1.95	o -1623
2.43/2.58	o -1451
2.43/2.58	c    5 calls to solver: best=-1451 lower=-1450 upper=0 
10.73/10.87	o -1399
12.43/12.54	o -1395
12.43/12.54	c    7 calls to solver: best=-1395 lower=-1394 upper=0 
14.93/15.07	o -1355
38.22/38.34	o -1351
38.22/38.34	c    9 calls to solver: best=-1351 lower=-1350 upper=0 
38.73/38.83	o -1299
38.93/39.09	o -1263
38.93/39.09	c   11 calls to solver: best=-1263 lower=-1262 upper=0 
46.62/46.71	o -1243
46.72/46.81	o -1107
46.72/46.81	c   13 calls to solver: best=-1107 lower=-1106 upper=0 
46.82/46.99	o -983
336.52/336.62	o -923
336.52/336.62	c   15 calls to solver: best=-923 lower=-922 upper=0 
492.72/492.90	o -883
667.92/668.01	o -727
667.92/668.01	c   17 calls to solver: best=-727 lower=-726 upper=0 
785.43/785.53	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             : 412465       (172 /sec)
2400.07/2400.10	c decisions             : 3014873      (1256 /sec)
2400.07/2400.10	c propagations          : 1028353585  (428472 /sec)
2400.07/2400.10	c root propagations     : 7587        
2400.07/2400.10	c filter calls          : 1955692706     (814856 /sec)
2400.07/2400.10	c useless filter calls  : 1266524515     (64 %)
2400.07/2400.10	c Memory used           : 80.21 MB
2400.07/2400.10	c CPU time              : 2400.05 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.10	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.10	v </instantiation>
2400.07/2400.10	

OK	683

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259907-1502026835/watcher-4259907-1502026835 -o /tmp/evaluation-result-4259907-1502026835/solver-4259907-1502026835 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502013980-30674 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259907-1502026835.xml 

pid=32456
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 4/185 32459
/proc/meminfo: memFree=31515564/32770624 swapFree=0/401352
[pid=32459] ppid=32456 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/32459/stat : 32459 (runsolver) D 32456 32459 25139 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 50189544 24240128 106 18446744073709551615 4194304 4338465 140734413018944 140734413016584 139657103332055 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 24244224 140734413021377 140734413021769 140734413021769 140734413025226 0
/proc/32459/statm: 5918 106 53 36 0 2156 0

[startup+0.100846 s]
/proc/loadavg: 2.01 2.02 2.05 4/185 32459
/proc/meminfo: memFree=31515564/32770624 swapFree=0/401352
[pid=32459] ppid=32456 vsize=29276 CPUtime=0.04 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 1636 0 0 0 4 0 0 0 20 0 1 0 50189544 29978624 1428 18446744073709551615 4194304 5747388 140729236640160 140729236632528 140129330097699 0 0 1 0 0 0 0 17 6 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 7319 1428 723 380 0 737 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29276

[startup+0.200843 s]
/proc/loadavg: 2.01 2.02 2.05 4/185 32459
/proc/meminfo: memFree=31515564/32770624 swapFree=0/401352
[pid=32459] ppid=32456 vsize=31724 CPUtime=0.14 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 2256 0 0 0 14 0 0 0 20 0 1 0 50189544 32485376 2080 18446744073709551615 4194304 5747388 140729236640160 140729236634024 140129313984106 0 0 1 0 0 0 0 17 6 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 7931 2080 773 380 0 1349 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 31724

[startup+0.300845 s]
/proc/loadavg: 2.01 2.02 2.05 4/185 32459
/proc/meminfo: memFree=31515564/32770624 swapFree=0/401352
[pid=32459] ppid=32456 vsize=34172 CPUtime=0.24 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 2868 0 0 0 24 0 0 0 20 0 1 0 50189544 34992128 2693 18446744073709551615 4194304 5747388 140729236640160 140729236634024 140129323801169 0 0 1 0 0 0 0 17 6 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 8543 2693 773 380 0 1961 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 34172

[startup+0.700175 s]
/proc/loadavg: 2.01 2.02 2.05 4/185 32459
/proc/meminfo: memFree=31515564/32770624 swapFree=0/401352
[pid=32459] ppid=32456 vsize=43976 CPUtime=0.63 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 5313 0 0 0 63 0 0 0 20 0 1 0 50189544 45031424 5111 18446744073709551615 4194304 5747388 140729236640160 140729236634024 140129314735474 0 0 1 0 0 0 0 17 0 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 10994 5111 773 380 0 4412 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 43976

[startup+1.50017 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 32460
/proc/meminfo: memFree=31490268/32770624 swapFree=0/401340
[pid=32459] ppid=32456 vsize=63496 CPUtime=1.43 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 10201 0 0 0 142 1 0 0 20 0 1 0 50189544 65019904 10024 18446744073709551615 4194304 5747388 140729236640160 140729236634024 140129323633033 0 0 1 0 0 0 0 17 0 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 15874 10024 773 380 0 9292 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 63496

[startup+3.10018 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 32460
/proc/meminfo: memFree=31465096/32770624 swapFree=0/401340
[pid=32459] ppid=32456 vsize=80124 CPUtime=3.03 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 18314 0 0 0 301 2 0 0 20 0 1 0 50189544 82046976 14245 18446744073709551615 4194304 5747388 140729236640160 140729236636872 5121146 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20031 14245 828 380 0 13449 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 80124

[startup+6.30018 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 32460
/proc/meminfo: memFree=31462372/32770624 swapFree=0/401348
[pid=32459] ppid=32456 vsize=80124 CPUtime=6.23 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 21496 0 0 0 621 2 0 0 20 0 1 0 50189544 82046976 14245 18446744073709551615 4194304 5747388 140729236640160 140729236627432 5142941 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20031 14245 828 380 0 13449 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 80124

[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 32460
/proc/meminfo: memFree=31460636/32770624 swapFree=0/401356
[pid=32459] ppid=32456 vsize=81328 CPUtime=12.63 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 26360 0 0 0 1261 2 0 0 20 0 1 0 50189544 83279872 14512 18446744073709551615 4194304 5747388 140729236640160 140729236627432 4940195 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20332 14512 828 380 0 13750 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 81328

[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 2.04 3/185 32460
/proc/meminfo: memFree=31460388/32770624 swapFree=0/401372
[pid=32459] ppid=32456 vsize=81464 CPUtime=25.43 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 34166 0 0 0 2541 2 0 0 20 0 1 0 50189544 83419136 14599 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4909393 0 0 1 8405026 0 0 0 17 0 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20366 14599 828 380 0 13784 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 81464

[startup+51.1003 s]
/proc/loadavg: 1.90 1.99 2.03 3/185 32461
/proc/meminfo: memFree=31458704/32770624 swapFree=0/401388
[pid=32459] ppid=32456 vsize=81596 CPUtime=51.01 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 39062 0 0 0 5098 3 0 0 20 0 1 0 50189544 83554304 14627 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4940457 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20399 14627 828 380 0 13817 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 81596

[startup+102.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/185 32464
/proc/meminfo: memFree=31459044/32770624 swapFree=0/401416
[pid=32459] ppid=32456 vsize=81596 CPUtime=102.21 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 39298 0 0 0 10218 3 0 0 20 0 1 0 50189544 83554304 14627 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4972859 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20399 14627 828 380 0 13817 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 81596

[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/185 32466
/proc/meminfo: memFree=31458604/32770624 swapFree=0/401440
[pid=32459] ppid=32456 vsize=81596 CPUtime=162.21 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 39520 0 0 0 16218 3 0 0 20 0 1 0 50189544 83554304 14627 18446744073709551615 4194304 5747388 140729236640160 140729236637688 5000080 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20399 14627 828 380 0 13817 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 81596

[startup+222.306 s]
/proc/loadavg: 1.99 1.99 2.03 3/189 32484
/proc/meminfo: memFree=31454000/32770624 swapFree=0/401488
[pid=32459] ppid=32456 vsize=81596 CPUtime=222.22 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 39745 0 0 0 22219 3 0 0 20 0 1 0 50189544 83554304 14627 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4941174 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20399 14627 828 380 0 13817 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 81596

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 32486
/proc/meminfo: memFree=31454124/32770624 swapFree=0/401520
[pid=32459] ppid=32456 vsize=81596 CPUtime=282.21 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 39970 0 0 0 28218 3 0 0 20 0 1 0 50189544 83554304 14627 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4906069 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20399 14627 828 380 0 13817 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 81596

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 32488
/proc/meminfo: memFree=31456792/32770624 swapFree=0/401540
[pid=32459] ppid=32456 vsize=81864 CPUtime=342.21 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 40391 0 0 0 34218 3 0 0 20 0 1 0 50189544 83828736 14673 18446744073709551615 4194304 5747388 140729236640160 140729236627432 4903029 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20466 14673 828 380 0 13884 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 81864

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 32490
/proc/meminfo: memFree=31457044/32770624 swapFree=0/401568
[pid=32459] ppid=32456 vsize=81864 CPUtime=402.22 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 40637 0 0 0 40219 3 0 0 20 0 1 0 50189544 83828736 14673 18446744073709551615 4194304 5747388 140729236640160 140729236627432 4941174 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20466 14673 828 380 0 13884 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 81864

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 32493
/proc/meminfo: memFree=31456664/32770624 swapFree=0/401580
[pid=32459] ppid=32456 vsize=81864 CPUtime=462.22 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 40891 0 0 0 46219 3 0 0 20 0 1 0 50189544 83828736 14673 18446744073709551615 4194304 5747388 140729236640160 140729236627432 4902794 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20466 14673 828 380 0 13884 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 81864

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 32495
/proc/meminfo: memFree=31457188/32770624 swapFree=0/401600
[pid=32459] ppid=32456 vsize=81996 CPUtime=522.22 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 41326 0 0 0 52219 3 0 0 20 0 1 0 50189544 83963904 14700 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4940709 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20499 14700 828 380 0 13917 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 81996

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 32497
/proc/meminfo: memFree=31457072/32770624 swapFree=0/401616
[pid=32459] ppid=32456 vsize=81996 CPUtime=582.22 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 41587 0 0 0 58219 3 0 0 20 0 1 0 50189544 83963904 14708 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4942505 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20499 14708 828 380 0 13917 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 81996


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


[startup+1542.31 s]
/proc/loadavg: 2.08 2.05 2.05 3/187 32564
/proc/meminfo: memFree=31455344/32770624 swapFree=0/401924
[pid=32459] ppid=32456 vsize=82132 CPUtime=1542.25 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 46365 0 0 0 154222 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4941103 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 82132

[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/187 32566
/proc/meminfo: memFree=31455468/32770624 swapFree=0/401948
[pid=32459] ppid=32456 vsize=82132 CPUtime=1602.25 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 46644 0 0 0 160222 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4972814 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 82132

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 32568
/proc/meminfo: memFree=31455348/32770624 swapFree=0/401976
[pid=32459] ppid=32456 vsize=82132 CPUtime=1662.25 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 46923 0 0 0 166222 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 5000090 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 82132

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 32571
/proc/meminfo: memFree=31455116/32770624 swapFree=0/402000
[pid=32459] ppid=32456 vsize=82132 CPUtime=1722.25 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 47202 0 0 0 172222 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 5025344 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 82132

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 32573
/proc/meminfo: memFree=31454652/32770624 swapFree=0/402028
[pid=32459] ppid=32456 vsize=82132 CPUtime=1782.25 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 47481 0 0 0 178222 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4941621 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 82132

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 32575
/proc/meminfo: memFree=31454428/32770624 swapFree=0/402048
[pid=32459] ppid=32456 vsize=82132 CPUtime=1842.26 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 47760 0 0 0 184223 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 5000064 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 1842.26
Current children cumulated vsize (KiB) 82132

[startup+1902.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/184 32578
/proc/meminfo: memFree=31454692/32770624 swapFree=0/402072
[pid=32459] ppid=32456 vsize=82132 CPUtime=1902.26 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 48039 0 0 0 190223 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 5025570 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 1902.26
Current children cumulated vsize (KiB) 82132

[startup+1962.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/185 32581
/proc/meminfo: memFree=31454808/32770624 swapFree=0/402100
[pid=32459] ppid=32456 vsize=82132 CPUtime=1962.26 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 48318 0 0 0 196223 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4941174 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 1962.26
Current children cumulated vsize (KiB) 82132

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 32598
/proc/meminfo: memFree=31451640/32770624 swapFree=0/402132
[pid=32459] ppid=32456 vsize=82132 CPUtime=2022.26 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 48597 0 0 0 202223 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4873657 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 2022.26
Current children cumulated vsize (KiB) 82132

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 32626
/proc/meminfo: memFree=31451288/32770624 swapFree=0/402172
[pid=32459] ppid=32456 vsize=82132 CPUtime=2082.27 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 48876 0 0 0 208224 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4954098 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 2082.27
Current children cumulated vsize (KiB) 82132

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 32628
/proc/meminfo: memFree=31451040/32770624 swapFree=0/402196
[pid=32459] ppid=32456 vsize=82132 CPUtime=2142.26 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 49155 0 0 0 214223 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 5025354 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 2142.26
Current children cumulated vsize (KiB) 82132

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 32630
/proc/meminfo: memFree=31454468/32770624 swapFree=0/402220
[pid=32459] ppid=32456 vsize=82132 CPUtime=2202.27 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 49434 0 0 0 220224 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4940381 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 2202.27
Current children cumulated vsize (KiB) 82132

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 32632
/proc/meminfo: memFree=31454796/32770624 swapFree=0/402240
[pid=32459] ppid=32456 vsize=82132 CPUtime=2262.27 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 49713 0 0 0 226224 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4954098 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 2262.27
Current children cumulated vsize (KiB) 82132

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 32634
/proc/meminfo: memFree=31455488/32770624 swapFree=0/402256
[pid=32459] ppid=32456 vsize=82132 CPUtime=2322.27 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 49992 0 0 0 232224 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4940608 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 2322.27
Current children cumulated vsize (KiB) 82132

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 32636
/proc/meminfo: memFree=31455284/32770624 swapFree=0/402268
[pid=32459] ppid=32456 vsize=82132 CPUtime=2382.27 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 50276 0 0 0 238224 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4940167 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 2382.27
Current children cumulated vsize (KiB) 82132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 6/197 32665
/proc/meminfo: memFree=31445284/32770624 swapFree=0/402272
[pid=32459] ppid=32456 vsize=82132 CPUtime=2400.07 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 50568 0 0 0 240004 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4940496 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 82132

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 32459 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.05 6/197 32665
/proc/meminfo: memFree=31445284/32770624 swapFree=0/402272
[pid=32459] ppid=32456 vsize=82132 CPUtime=2400.07 cores=0,2,4,6
/proc/32459/stat : 32459 (cosoco) R 32456 32459 25139 0 -1 4202496 50568 0 0 0 240004 3 0 0 20 0 1 0 50189544 84103168 14745 18446744073709551615 4194304 5747388 140729236640160 140729236637688 4940496 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 7845728 7850568 29044736 140729236644334 140729236644429 140729236644429 140729236647886 0
/proc/32459/statm: 20533 14745 828 380 0 13951 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 82132

Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.09
CPU user time (s): 2400.05
CPU system time (s): 0.039
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 82132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.05
system time used= 0.039
maximum resident set size= 59048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50619
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= 33
involuntary context switches= 672

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.26479 second user time and 8.21436 second system time

The end

Begin job on node134 at 2017-08-06 15:26:37
IDJOB=4259907
IDBENCH=127009
IDSOLVER=2647
FILE ID=node134/4259907-1502026835
RUNJOBID= node134-1502013980-30674
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-mini 1.1
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-4259907-1502026835/watcher-4259907-1502026835 -o /tmp/evaluation-result-4259907-1502026835/solver-4259907-1502026835 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502013980-30674 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4259907-1502026835.xml

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

MD5SUM BENCH= 02db274482b93fdda962f2b7dd8f24e7
RANDOM SEED=1604740810

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.43
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.43
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.43
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.43
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:        31516228 kB
MemAvailable:   31990612 kB
Buffers:          174200 kB
Cached:           591524 kB
SwapCached:            0 kB
Active:           409268 kB
Inactive:         424384 kB
Active(anon):      69808 kB
Inactive(anon):    23032 kB
Active(file):     339460 kB
Inactive(file):   401352 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              4416 kB
Writeback:             0 kB
AnonPages:         73128 kB
Mapped:            40164 kB
Shmem:             25276 kB
Slab:             124300 kB
SReclaimable:      98816 kB
SUnreclaim:        25484 kB
KernelStack:        3552 kB
PageTables:         4824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node134 at 2017-08-06 16:06:37