0.29/0.35	c best=?? lower=0 upper=1369 
9.39/9.48	c
9.39/9.48	c This is cosoco 1.0 --  
9.39/9.48	c
9.39/9.48	c enable optimization
9.39/9.48	c ========================================[ Problem Statistics ]===========================================
9.39/9.48	c |                                                                                                       
9.39/9.48	c |  Parse time        :         0.33 s 
9.39/9.48	c |
9.39/9.48	c |               Variables: 3082
9.39/9.48	c |            Domain Sizes: 2..3043
9.39/9.48	c |
9.39/9.48	c |             Constraints: 1900
9.39/9.48	c |                   Arity: 1..41  -- Unary: 157  -- Binary: 187  -- Ternary: 148
9.39/9.48	c | 
9.39/9.48	c |                   Types: 
9.39/9.48	c |                          : 144
9.39/9.48	c |                          Extension: 1373  (nb tuples: 1..724) -- (shared: 1512)
9.39/9.48	c |                          Intension: 187
9.39/9.48	c |                          Sum: 40
9.39/9.48	c |                          Unary: 156
9.39/9.48	c |                          
9.39/9.48	c =========================================================================================================
9.39/9.48	o 30
9.39/9.48	c    1 calls to solver: best=30 lower=31 upper=1369 
10.19/10.24	o 32
10.89/10.92	o 52
10.89/10.92	c    3 calls to solver: best=52 lower=53 upper=1369 
11.79/11.86	o 60
16.08/16.10	o 94
16.08/16.10	c    5 calls to solver: best=94 lower=95 upper=1369 
39.48/39.53	o 95
46.67/46.75	o 126
46.67/46.75	c    7 calls to solver: best=126 lower=127 upper=1369 
63.27/63.36	o 128
315.48/315.62	o 129
315.48/315.62	c    9 calls to solver: best=129 lower=130 upper=1369 
788.73/789.04	o 131
797.02/797.30	o 134
797.02/797.30	c   11 calls to solver: best=134 lower=135 upper=1369 
806.32/806.62	o 135
831.02/831.31	o 136
831.02/831.31	c   13 calls to solver: best=136 lower=137 upper=1369 
835.61/835.92	o 137
935.70/936.06	o 138
935.70/936.06	c   15 calls to solver: best=138 lower=139 upper=1369 
973.48/973.85	o 139
2400.00/2400.70	
2400.00/2400.70	c *** INTERRUPTED ***
2400.00/2400.70	s SATISFIABLE
2400.00/2400.70	c Best value found: 139
2400.00/2400.70	
2400.00/2400.70	
2400.00/2400.70	v <instantiation type='solution' cost='139'>
2400.00/2400.70	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] z </list>
2400.00/2400.70	v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 0 1 2 1 0 0 0 0 0 0 2 1 0 1 1 1 1 0 0 0 0 0 0 1 1 2 2 1 0 0 0 0 0 1 2 2 1 0 0 0 1 2 1 0 0 0 1 0 2 0 1 0 0 2 1 0 0 0 0 1 0 0 0 2 2 2 1 0 0 0 0 0 1 2 2 1 1 0 0 2 2 2 1 1 2 1 2 0 2 0 0 0 0 1 1 0 0 1 0 0 1 1 2 2 2 2 1 1 2 1 1 2 2 2 1 0 0 0 1 2 2 2 1 1 2 2 2 0 0 2 0 0 0 0 0 0 0 0 1 0 2 2 2 2 2 2 2 2 2 1 1 2 2 1 0 0 0 1 2 1 1 1 0 1 2 2 2 0 0 0 1 1 1 0 0 0 1 1 2 2 2 2 2 2 2 2 2 1 0 1 1 2 1

ERROR: no instantiation found

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-4239953-1500633707/watcher-4239953-1500633707 -o /tmp/evaluation-result-4239953-1500633707/solver-4239953-1500633707 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500623777-5523 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4239953-1500633707.xml 

pid=8119
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: 1.93 2.00 2.04 3/186 8122
/proc/meminfo: memFree=30225352/32770624 swapFree=6112/934712
[pid=8122] ppid=8119 vsize=27120 CPUtime=0 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 972 0 0 0 0 0 0 0 20 0 1 0 16806906 27770880 801 33554432000 4194304 5970956 140725996366592 140725996363240 140497166408677 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 6780 801 698 434 0 144 0

[startup+0.100115 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 8122
/proc/meminfo: memFree=30225352/32770624 swapFree=6112/934712
[pid=8122] ppid=8119 vsize=33892 CPUtime=0.09 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 2696 0 0 0 9 0 0 0 20 0 1 0 16806906 34705408 2520 33554432000 4194304 5970956 140725996366592 140725996363192 5418843 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 8473 2520 721 434 0 1837 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33892

[startup+0.200299 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 8122
/proc/meminfo: memFree=30225352/32770624 swapFree=6112/934712
[pid=8122] ppid=8119 vsize=53112 CPUtime=0.19 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 7578 0 0 0 18 1 0 0 20 0 1 0 16806906 54386688 7397 33554432000 4194304 5970956 140725996366592 140725996358696 140497166456736 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 13278 7397 792 434 0 6642 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 53112

[startup+0.300268 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 8122
/proc/meminfo: memFree=30225352/32770624 swapFree=6112/934712
[pid=8122] ppid=8119 vsize=56244 CPUtime=0.29 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 8381 0 0 0 28 1 0 0 20 0 1 0 16806906 57593856 8164 33554432000 4194304 5970956 140725996366592 140725996360184 140497166401138 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 14061 8164 806 434 0 7425 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 56244

[startup+0.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/186 8122
/proc/meminfo: memFree=30225352/32770624 swapFree=6112/934712
[pid=8122] ppid=8119 vsize=77184 CPUtime=0.68 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 13630 0 0 0 67 1 0 0 20 0 1 0 16806906 79036416 13409 33554432000 4194304 5970956 140725996366592 140725996363416 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 19296 13409 848 434 0 12660 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 77184

[startup+1.5002 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 8123
/proc/meminfo: memFree=30174476/32770624 swapFree=6112/934728
[pid=8122] ppid=8119 vsize=77976 CPUtime=1.48 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 13825 0 0 0 147 1 0 0 20 0 1 0 16806906 79847424 13607 33554432000 4194304 5970956 140725996366592 140725996363464 5327383 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 19494 13607 848 434 0 12858 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 77976

[startup+3.1002 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 8123
/proc/meminfo: memFree=30170764/32770624 swapFree=6112/934728
[pid=8122] ppid=8119 vsize=96752 CPUtime=3.09 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 27627 0 0 0 307 2 0 0 20 0 1 0 16806906 99074048 18358 33554432000 4194304 5970956 140725996366592 140725996363416 4930664 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 24188 18358 848 434 0 17552 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 96752

[startup+6.30021 s]
/proc/loadavg: 1.86 1.99 2.03 3/187 8123
/proc/meminfo: memFree=30143940/32770624 swapFree=6112/934736
[pid=8122] ppid=8119 vsize=111380 CPUtime=6.29 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 45448 0 0 0 625 4 0 0 20 0 1 0 16806906 114053120 22021 33554432000 4194304 5970956 140725996366592 140725996363304 5337509 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 27845 22021 848 434 0 21209 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 111380

[startup+12.7002 s]
/proc/loadavg: 1.87 1.99 2.03 3/187 8123
/proc/meminfo: memFree=30126952/32770624 swapFree=6112/934744
[pid=8122] ppid=8119 vsize=124064 CPUtime=12.69 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 67133 0 0 0 1264 5 0 0 20 0 1 0 16806906 127041536 25108 33554432000 4194304 5970956 140725996366592 140725996364152 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 31016 25108 850 434 0 24380 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 124064

[startup+25.5003 s]
/proc/loadavg: 1.90 1.99 2.03 3/187 8123
/proc/meminfo: memFree=30121996/32770624 swapFree=6112/934752
[pid=8122] ppid=8119 vsize=129384 CPUtime=25.48 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 106411 0 0 0 2541 7 0 0 20 0 1 0 16806906 132489216 26437 33554432000 4194304 5970956 140725996366592 140725996363416 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 32346 26437 850 434 0 25710 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 129384

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 8123
/proc/meminfo: memFree=30119036/32770624 swapFree=6112/934776
[pid=8122] ppid=8119 vsize=133768 CPUtime=51.07 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 129902 0 0 0 5098 9 0 0 20 0 1 0 16806906 136978432 27531 33554432000 4194304 5970956 140725996366592 140725996353896 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 33442 27531 850 434 0 26806 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 133768

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 8124
/proc/meminfo: memFree=30117256/32770624 swapFree=6112/934816
[pid=8122] ppid=8119 vsize=135408 CPUtime=102.26 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 151956 0 0 0 10216 10 0 0 20 0 1 0 16806906 138657792 27906 33554432000 4194304 5970956 140725996366592 140725996363320 4934327 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 33852 27906 850 434 0 27216 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 135408

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 8126
/proc/meminfo: memFree=30115768/32770624 swapFree=6112/934848
[pid=8122] ppid=8119 vsize=135820 CPUtime=162.24 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 172215 0 0 0 16213 11 0 0 20 0 1 0 16806906 139079680 28009 33554432000 4194304 5970956 140725996366592 140725996363448 4934320 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 33955 28009 850 434 0 27319 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 135820

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 8127
/proc/meminfo: memFree=30115404/32770624 swapFree=6112/934884
[pid=8122] ppid=8119 vsize=135960 CPUtime=222.23 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 191007 0 0 0 22210 13 0 0 20 0 1 0 16806906 139223040 28070 33554432000 4194304 5970956 140725996366592 140725996363304 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 33990 28070 850 434 0 27354 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 135960

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 8128
/proc/meminfo: memFree=30114452/32770624 swapFree=6112/934928
[pid=8122] ppid=8119 vsize=136640 CPUtime=282.21 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 210092 0 0 0 28207 14 0 0 20 0 1 0 16806906 139919360 28235 33554432000 4194304 5970956 140725996366592 140725996363416 5038781 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 34160 28235 850 434 0 27524 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 136640

[startup+342.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/187 8129
/proc/meminfo: memFree=30111356/32770624 swapFree=6112/934968
[pid=8122] ppid=8119 vsize=138272 CPUtime=342.15 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 225863 0 0 0 34201 14 0 0 20 0 1 0 16806906 141590528 28696 33554432000 4194304 5970956 140725996366592 140725996353896 5038188 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 34568 28696 850 434 0 27932 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 138272

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/187 8130
/proc/meminfo: memFree=30111408/32770624 swapFree=6112/935000
[pid=8122] ppid=8119 vsize=138272 CPUtime=402.14 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 226339 0 0 0 40199 15 0 0 20 0 1 0 16806906 141590528 28727 33554432000 4194304 5970956 140725996366592 140725996353896 5093228 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 34568 28727 850 434 0 27932 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 138272

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 8131
/proc/meminfo: memFree=30111148/32770624 swapFree=6112/935032
[pid=8122] ppid=8119 vsize=138408 CPUtime=462.12 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 226865 0 0 0 46197 15 0 0 20 0 1 0 16806906 141729792 28733 33554432000 4194304 5970956 140725996366592 140725996363304 5069938 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 34602 28733 850 434 0 27966 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 138408

[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 8139
/proc/meminfo: memFree=30110540/32770624 swapFree=6112/935064
[pid=8122] ppid=8119 vsize=138408 CPUtime=522.1 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 227382 0 0 0 52195 15 0 0 20 0 1 0 16806906 141729792 28764 33554432000 4194304 5970956 140725996366592 140725996363304 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 34602 28764 850 434 0 27966 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 138408

[startup+582.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/187 8140
/proc/meminfo: memFree=30111064/32770624 swapFree=6112/935100
[pid=8122] ppid=8119 vsize=138408 CPUtime=582.09 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 227881 0 0 0 58194 15 0 0 20 0 1 0 16806906 141729792 28764 33554432000 4194304 5970956 140725996366592 140725996363304 4934354 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 34602 28764 850 434 0 27966 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 138408


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8247
/proc/meminfo: memFree=30747836/32770624 swapFree=6112/935796
[pid=8122] ppid=8119 vsize=140040 CPUtime=1541.83 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 235197 0 0 0 154167 16 0 0 20 0 1 0 16806906 143400960 29174 33554432000 4194304 5970956 140725996366592 140725996364152 5038728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29174 850 434 0 28374 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 140040

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8248
/proc/meminfo: memFree=30747588/32770624 swapFree=6112/935828
[pid=8122] ppid=8119 vsize=140040 CPUtime=1601.81 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 235668 0 0 0 160165 16 0 0 20 0 1 0 16806906 143400960 29174 33554432000 4194304 5970956 140725996366592 140725996364152 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29174 850 434 0 28374 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 140040

[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 8249
/proc/meminfo: memFree=30748092/32770624 swapFree=6112/935860
[pid=8122] ppid=8119 vsize=140040 CPUtime=1661.8 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 235910 0 0 0 166164 16 0 0 20 0 1 0 16806906 143400960 29177 33554432000 4194304 5970956 140725996366592 140725996364152 4934460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29177 850 434 0 28374 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 140040

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 8258
/proc/meminfo: memFree=30747072/32770624 swapFree=6112/935888
[pid=8122] ppid=8119 vsize=140040 CPUtime=1721.78 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 236380 0 0 0 172162 16 0 0 20 0 1 0 16806906 143400960 29177 33554432000 4194304 5970956 140725996366592 140725996364152 4930654 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29177 850 434 0 28374 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 140040

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 8259
/proc/meminfo: memFree=30747652/32770624 swapFree=6112/935932
[pid=8122] ppid=8119 vsize=140040 CPUtime=1781.76 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 236636 0 0 0 178160 16 0 0 20 0 1 0 16806906 143400960 29177 33554432000 4194304 5970956 140725996366592 140725996364152 5052132 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29177 850 434 0 28374 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 140040

[startup+1842.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/188 8260
/proc/meminfo: memFree=30747536/32770624 swapFree=6112/935964
[pid=8122] ppid=8119 vsize=140040 CPUtime=1841.75 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 236888 0 0 0 184159 16 0 0 20 0 1 0 16806906 143400960 29177 33554432000 4194304 5970956 140725996366592 140725996364152 5098928 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29177 850 434 0 28374 0
Current children cumulated CPU time (s) 1841.75
Current children cumulated vsize (KiB) 140040

[startup+1902.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 8261
/proc/meminfo: memFree=30747272/32770624 swapFree=6112/936000
[pid=8122] ppid=8119 vsize=140040 CPUtime=1901.73 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 237351 0 0 0 190157 16 0 0 20 0 1 0 16806906 143400960 29177 33554432000 4194304 5970956 140725996366592 140725996364152 4934354 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29177 850 434 0 28374 0
Current children cumulated CPU time (s) 1901.73
Current children cumulated vsize (KiB) 140040

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 8262
/proc/meminfo: memFree=30747384/32770624 swapFree=6112/936028
[pid=8122] ppid=8119 vsize=140040 CPUtime=1961.71 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 237606 0 0 0 196155 16 0 0 20 0 1 0 16806906 143400960 29177 33554432000 4194304 5970956 140725996366592 140725996364152 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29177 850 434 0 28374 0
Current children cumulated CPU time (s) 1961.71
Current children cumulated vsize (KiB) 140040

[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 8263
/proc/meminfo: memFree=30748036/32770624 swapFree=6112/936060
[pid=8122] ppid=8119 vsize=140040 CPUtime=2021.71 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 237857 0 0 0 202154 17 0 0 20 0 1 0 16806906 143400960 29177 33554432000 4194304 5970956 140725996366592 140725996364152 5322040 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29177 850 434 0 28374 0
Current children cumulated CPU time (s) 2021.71
Current children cumulated vsize (KiB) 140040

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8264
/proc/meminfo: memFree=30748152/32770624 swapFree=6112/936100
[pid=8122] ppid=8119 vsize=140040 CPUtime=2081.69 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 238332 0 0 0 208152 17 0 0 20 0 1 0 16806906 143400960 29177 33554432000 4194304 5970956 140725996366592 140725996364152 4930560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29177 850 434 0 28374 0
Current children cumulated CPU time (s) 2081.69
Current children cumulated vsize (KiB) 140040

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8265
/proc/meminfo: memFree=30747904/32770624 swapFree=6112/936112
[pid=8122] ppid=8119 vsize=140040 CPUtime=2141.67 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 238577 0 0 0 214150 17 0 0 20 0 1 0 16806906 143400960 29177 33554432000 4194304 5970956 140725996366592 140725996364152 4923017 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29177 850 434 0 28374 0
Current children cumulated CPU time (s) 2141.67
Current children cumulated vsize (KiB) 140040

[startup+2202.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 8266
/proc/meminfo: memFree=30748004/32770624 swapFree=6112/936144
[pid=8122] ppid=8119 vsize=140040 CPUtime=2201.66 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 238822 0 0 0 220149 17 0 0 20 0 1 0 16806906 143400960 29177 33554432000 4194304 5970956 140725996366592 140725996364152 4908963 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29177 850 434 0 28374 0
Current children cumulated CPU time (s) 2201.66
Current children cumulated vsize (KiB) 140040

[startup+2262.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 8267
/proc/meminfo: memFree=30747932/32770624 swapFree=6112/936176
[pid=8122] ppid=8119 vsize=140040 CPUtime=2261.64 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 239080 0 0 0 226147 17 0 0 20 0 1 0 16806906 143400960 29177 33554432000 4194304 5970956 140725996366592 140725996364152 4930611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29177 850 434 0 28374 0
Current children cumulated CPU time (s) 2261.64
Current children cumulated vsize (KiB) 140040

[startup+2322.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 8275
/proc/meminfo: memFree=30747272/32770624 swapFree=6112/936204
[pid=8122] ppid=8119 vsize=140040 CPUtime=2321.62 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 239525 0 0 0 232145 17 0 0 20 0 1 0 16806906 143400960 29177 33554432000 4194304 5970956 140725996366592 140725996364152 5327374 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35010 29177 850 434 0 28374 0
Current children cumulated CPU time (s) 2321.62
Current children cumulated vsize (KiB) 140040

[startup+2382.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/187 8276
/proc/meminfo: memFree=30747520/32770624 swapFree=6112/936244
[pid=8122] ppid=8119 vsize=140176 CPUtime=2381.61 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 239858 0 0 0 238144 17 0 0 20 0 1 0 16806906 143540224 29206 33554432000 4194304 5970956 140725996366592 140725996363304 5038217 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35044 29206 850 434 0 28408 0
Current children cumulated CPU time (s) 2381.61
Current children cumulated vsize (KiB) 140176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.7 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 8277
/proc/meminfo: memFree=30747388/32770624 swapFree=6112/936264
[pid=8122] ppid=8119 vsize=140176 CPUtime=2400 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 240094 0 0 0 239983 17 0 0 20 0 1 0 16806906 143540224 29209 33554432000 4194304 5970956 140725996366592 140725996363304 4934460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35044 29209 850 434 0 28408 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 140176

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 8122 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2400.7 s]
/proc/loadavg: 2.05 2.04 2.05 3/187 8277
/proc/meminfo: memFree=30747388/32770624 swapFree=6112/936264
[pid=8122] ppid=8119 vsize=140176 CPUtime=2400 cores=0,2,4,6
/proc/8122/stat : 8122 (cosoco) R 8119 8122 5492 0 -1 4202496 240094 0 0 0 239983 17 0 0 20 0 1 0 16806906 143540224 29209 33554432000 4194304 5970956 140725996366592 140725996363304 4934460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 37023744 140725996373185 140725996373315 140725996373315 140725996376014 0
/proc/8122/statm: 35044 29209 850 434 0 28408 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 140176

Child status: 1
Real time (s): 2400.7
CPU time (s): 2400.01
CPU user time (s): 2399.84
CPU system time (s): 0.175952
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 140176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.84
system time used= 0.175952
maximum resident set size= 116880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240134
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= 64
involuntary context switches= 122573

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.75588 second user time and 8.63547 second system time

The end

Begin job on node140 at 2017-07-21 12:41:47
IDJOB=4239953
IDBENCH=115896
IDSOLVER=2620
FILE ID=node140/4239953-1500633707
RUNJOBID= node140-1500623777-5523
PBS_JOBID= 20622993
Free space on /tmp= 61860 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-37.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239953-1500633707/watcher-4239953-1500633707 -o /tmp/evaluation-result-4239953-1500633707/solver-4239953-1500633707 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500623777-5523 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4239953-1500633707.xml

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

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=689427325

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.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:        30225380 kB
MemAvailable:   31367236 kB
Buffers:          162536 kB
Cached:          1256768 kB
SwapCached:            0 kB
Active:          1174792 kB
Inactive:         943636 kB
Active(anon):     701700 kB
Inactive(anon):     8924 kB
Active(file):     473092 kB
Inactive(file):   934712 kB
Unevictable:        6112 kB
Mlocked:            6120 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2284 kB
Writeback:             0 kB
AnonPages:        705204 kB
Mapped:            34660 kB
Shmem:              8852 kB
Slab:             125084 kB
SReclaimable:      99776 kB
SUnreclaim:        25308 kB
KernelStack:        3312 kB
PageTables:         6408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     963928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    649216 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= 61860 MiB
End job on node140 at 2017-07-21 13:21:48