0.89/0.98	c SAT : Variables: 3960 -- Clauses: 3960
0.89/0.99	c root propagations     : 0           
0.89/0.99	c restarts enabled, print stats at every restarts
0.89/0.99	c
0.89/0.99	c
0.89/0.99	c
0.89/0.99	c This is cosoco 1.0 --  
0.89/0.99	c
0.89/0.99	c ========================================[ Problem Statistics ]===========================================
0.89/0.99	c |                                                                                                       
0.89/0.99	c |  Parse time        :         0.97 s 
0.89/0.99	c |
0.89/0.99	c |               Variables: 1980
0.89/0.99	c |            Domain Sizes: 2..2
0.89/0.99	c |
0.89/0.99	c |             Constraints: 909
0.89/0.99	c |                   Arity: 3..36  -- Ternary: 810
0.89/0.99	c | 
0.89/0.99	c |                   Types: 
0.89/0.99	c |                          Intension: 810
0.89/0.99	c |                          Lex: 26
0.89/0.99	c |                          Sum: 73
0.89/0.99	c |                          
0.89/0.99	c =========================================================================================================
0.89/0.99	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.89/0.99	c remove useless variable s[0][0][0]
0.89/0.99	c remove useless variable s[0][0][1]
0.89/0.99	c remove useless variable s[0][0][2]
0.89/0.99	c remove useless variable s[0][0][3]
0.89/0.99	c remove useless variable s[0][0][4]
0.89/0.99	c remove useless variable s[0][0][5]
0.89/0.99	c remove useless variable s[0][0][6]
0.89/0.99	c remove useless variable s[0][0][7]
0.89/0.99	c remove useless variable s[0][0][8]
0.89/0.99	c remove useless variable s[0][0][9]
0.89/0.99	c remove useless variable s[0][0][10]
0.89/0.99	c remove useless variable s[0][0][11]
0.89/0.99	c remove useless variable s[0][0][12]
0.89/0.99	c remove useless variable s[0][0][13]
0.89/0.99	c remove useless variable s[0][0][14]
0.89/0.99	c remove useless variable s[0][0][15]
0.89/0.99	c remove useless variable s[0][0][16]
0.89/0.99	c remove useless variable s[0][0][17]
0.89/0.99	c remove useless variable s[1][0][0]
0.89/0.99	c remove useless variable s[1][0][1]
0.89/0.99	c remove useless variable s[1][0][2]
0.89/0.99	c remove useless variable s[1][0][3]
0.89/0.99	c remove useless variable s[1][0][4]
0.89/0.99	c remove useless variable s[1][0][5]
0.89/0.99	c remove useless variable s[1][0][6]
0.89/0.99	c remove useless variable s[1][0][7]
0.89/0.99	c remove useless variable s[1][0][8]
0.89/0.99	c remove useless variable s[1][0][9]
0.89/0.99	c remove useless variable s[1][0][10]
0.89/0.99	c remove useless variable s[1][0][11]
0.89/0.99	c remove useless variable s[1][0][12]
0.89/0.99	c remove useless variable s[1][0][13]
0.89/0.99	c remove useless variable s[1][0][14]
0.89/0.99	c remove useless variable s[1][0][15]
0.89/0.99	c remove useless variable s[1][0][16]
0.89/0.99	c remove useless variable s[1][0][17]
0.89/0.99	c remove useless variable s[1][1][0]
0.89/0.99	c remove useless variable s[1][1][1]
0.89/0.99	c remove useless variable s[1][1][2]
0.89/0.99	c remove useless variable s[1][1][3]
0.89/0.99	c remove useless variable s[1][1][4]
0.89/0.99	c remove useless variable s[1][1][5]
0.89/0.99	c remove useless variable s[1][1][6]
0.89/0.99	c remove useless variable s[1][1][7]
0.89/0.99	c remove useless variable s[1][1][8]
0.89/0.99	c remove useless variable s[1][1][9]
0.89/0.99	c remove useless variable s[1][1][10]
0.89/0.99	c remove useless variable s[1][1][11]
0.89/0.99	c remove useless variable s[1][1][12]
0.89/0.99	c remove useless variable s[1][1][13]
0.89/0.99	c remove useless variable s[1][1][14]
0.89/0.99	c remove useless variable s[1][1][15]
0.89/0.99	c remove useless variable s[1][1][16]
0.89/0.99	c remove useless variable s[1][1][17]
0.89/0.99	c remove useless variable s[2][0][0]
0.89/0.99	c remove useless variable s[2][0][1]
0.89/0.99	c remove useless variable s[2][0][2]
0.89/0.99	c remove useless variable s[2][0][3]
0.89/0.99	c remove useless variable s[2][0][4]
0.89/0.99	c remove useless variable s[2][0][5]
0.89/0.99	c remove useless variable s[2][0][6]
0.89/0.99	c remove useless variable s[2][0][7]
0.89/0.99	c remove useless variable s[2][0][8]
0.89/0.99	c remove useless variable s[2][0][9]
0.89/0.99	c remove useless variable s[2][0][10]
0.89/0.99	c remove useless variable s[2][0][11]
0.89/0.99	c remove useless variable s[2][0][12]
0.89/0.99	c remove useless variable s[2][0][13]
0.89/0.99	c remove useless variable s[2][0][14]
0.89/0.99	c remove useless variable s[2][0][15]
0.89/0.99	c remove useless variable s[2][0][16]
0.89/0.99	c remove useless variable s[2][0][17]
0.89/0.99	c remove useless variable s[2][1][0]
0.89/0.99	c remove useless variable s[2][1][1]
0.89/0.99	c remove useless variable s[2][1][2]
0.89/0.99	c remove useless variable s[2][1][3]
0.89/0.99	c remove useless variable s[2][1][4]
0.89/0.99	c remove useless variable s[2][1][5]
0.89/0.99	c remove useless variable s[2][1][6]
0.89/0.99	c remove useless variable s[2][1][7]
0.89/0.99	c remove useless variable s[2][1][8]
0.89/0.99	c remove useless variable s[2][1][9]
0.89/0.99	c remove useless variable s[2][1][10]
0.89/0.99	c remove useless variable s[2][1][11]
0.89/0.99	c remove useless variable s[2][1][12]
0.89/0.99	c remove useless variable s[2][1][13]
0.89/0.99	c remove useless variable s[2][1][14]
0.89/0.99	c remove useless variable s[2][1][15]
0.89/0.99	c remove useless variable s[2][1][16]
0.89/0.99	c remove useless variable s[2][1][17]
0.89/0.99	c remove useless variable s[2][2][0]
0.89/0.99	c remove useless variable s[2][2][1]
0.89/0.99	c remove useless variable s[2][2][2]
0.89/0.99	c remove useless variable s[2][2][3]
0.89/0.99	c remove useless variable s[2][2][4]
0.89/0.99	c remove useless variable s[2][2][5]
0.89/0.99	c remove useless variable s[2][2][6]
0.89/0.99	c remove useless variable s[2][2][7]
0.89/0.99	c remove useless variable s[2][2][8]
0.89/0.99	c remove useless variable s[2][2][9]
0.89/0.99	c remove useless variable s[2][2][10]
0.89/0.99	c remove useless variable s[2][2][11]
0.89/0.99	c remove useless variable s[2][2][12]
0.89/0.99	c remove useless variable s[2][2][13]
0.89/0.99	c remove useless variable s[2][2][14]
0.89/0.99	c remove useless variable s[2][2][15]
0.89/0.99	c remove useless variable s[2][2][16]
0.89/0.99	c remove useless variable s[2][2][17]
0.89/0.99	c remove useless variable s[3][0][0]
0.89/0.99	c remove useless variable s[3][0][1]
0.89/0.99	c remove useless variable s[3][0][2]
0.89/0.99	c remove useless variable s[3][0][3]
0.89/0.99	c remove useless variable s[3][0][4]
0.89/0.99	c remove useless variable s[3][0][5]
0.89/0.99	c remove useless variable s[3][0][6]
0.89/0.99	c remove useless variable s[3][0][7]
0.89/0.99	c remove useless variable s[3][0][8]
0.89/0.99	c remove useless variable s[3][0][9]
0.89/0.99	c remove useless variable s[3][0][10]
0.89/0.99	c remove useless variable s[3][0][11]
0.89/0.99	c remove useless variable s[3][0][12]
0.89/0.99	c remove useless variable s[3][0][13]
0.89/0.99	c remove useless variable s[3][0][14]
0.89/0.99	c remove useless variable s[3][0][15]
0.89/0.99	c remove useless variable s[3][0][16]
0.89/0.99	c remove useless variable s[3][0][17]
0.89/0.99	c remove useless variable s[3][1][0]
0.89/0.99	c remove useless variable s[3][1][1]
0.89/0.99	c remove useless variable s[3][1][2]
0.89/0.99	c remove useless variable s[3][1][3]
0.89/0.99	c remove useless variable s[3][1][4]
0.89/0.99	c remove useless variable s[3][1][5]
0.89/0.99	c remove useless variable s[3][1][6]
0.89/0.99	c remove useless variable s[3][1][7]
0.89/0.99	c remove useless variable s[3][1][8]
0.89/0.99	c remove useless variable s[3][1][9]
0.89/0.99	c remove useless variable s[3][1][10]
0.89/0.99	c remove useless variable s[3][1][11]
0.89/0.99	c remove useless variable s[3][1][12]
0.89/0.99	c remove useless variable s[3][1][13]
0.89/0.99	c remove useless variable s[3][1][14]
0.89/0.99	c remove useless variable s[3][1][15]
0.89/0.99	c remove useless variable s[3][1][16]
0.89/0.99	c remove useless variable s[3][1][17]
0.89/0.99	c remove useless variable s[3][2][0]
0.89/0.99	c remove useless variable s[3][2][1]
0.89/0.99	c remove useless variable s[3][2][2]
0.89/0.99	c remove useless variable s[3][2][3]
0.89/0.99	c remove useless variable s[3][2][4]
0.89/0.99	c remove useless variable s[3][2][5]
0.89/0.99	c remove useless variable s[3][2][6]
0.89/0.99	c remove useless variable s[3][2][7]
0.89/0.99	c remove useless variable s[3][2][8]
0.89/0.99	c remove useless variable s[3][2][9]
0.89/0.99	c remove useless variable s[3][2][10]
0.89/0.99	c remove useless variable s[3][2][11]
0.89/0.99	c remove useless variable s[3][2][12]
0.89/0.99	c remove useless variable s[3][2][13]
0.89/0.99	c remove useless variable s[3][2][14]
0.89/0.99	c remove useless variable s[3][2][15]
0.89/0.99	c remove useless variable s[3][2][16]
0.89/0.99	c remove useless variable s[3][2][17]
0.89/0.99	c remove useless variable s[3][3][0]
0.89/0.99	c remove useless variable s[3][3][1]
0.89/0.99	c remove useless variable s[3][3][2]
0.89/0.99	c remove useless variable s[3][3][3]
0.89/0.99	c remove useless variable s[3][3][4]
0.89/0.99	c remove useless variable s[3][3][5]
0.89/0.99	c remove useless variable s[3][3][6]
0.89/0.99	c remove useless variable s[3][3][7]
0.89/0.99	c remove useless variable s[3][3][8]
0.89/0.99	c remove useless variable s[3][3][9]
0.89/0.99	c remove useless variable s[3][3][10]
0.89/0.99	c remove useless variable s[3][3][11]
0.89/0.99	c remove useless variable s[3][3][12]
0.89/0.99	c remove useless variable s[3][3][13]
0.89/0.99	c remove useless variable s[3][3][14]
0.89/0.99	c remove useless variable s[3][3][15]
0.89/0.99	c remove useless variable s[3][3][16]
0.89/0.99	c remove useless variable s[3][3][17]
0.89/0.99	c remove useless variable s[4][0][0]
0.89/0.99	c remove useless variable s[4][0][1]
0.89/0.99	c remove useless variable s[4][0][2]
0.89/0.99	c remove useless variable s[4][0][3]
0.89/0.99	c remove useless variable s[4][0][4]
0.89/0.99	c remove useless variable s[4][0][5]
0.89/0.99	c remove useless variable s[4][0][6]
0.89/0.99	c remove useless variable s[4][0][7]
0.89/0.99	c remove useless variable s[4][0][8]
0.89/0.99	c remove useless variable s[4][0][9]
0.89/0.99	c remove useless variable s[4][0][10]
0.89/0.99	c remove useless variable s[4][0][11]
0.89/0.99	c remove useless variable s[4][0][12]
0.89/0.99	c remove useless variable s[4][0][13]
0.89/0.99	c remove useless variable s[4][0][14]
0.89/0.99	c remove useless variable s[4][0][15]
0.89/0.99	c remove useless variable s[4][0][16]
0.89/0.99	c remove useless variable s[4][0][17]
0.89/0.99	c remove useless variable s[4][1][0]
0.89/0.99	c remove useless variable s[4][1][1]
0.89/0.99	c remove useless variable s[4][1][2]
0.89/0.99	c remove useless variable s[4][1][3]
0.89/0.99	c remove useless variable s[4][1][4]
0.89/0.99	c remove useless variable s[4][1][5]
0.89/0.99	c remove useless variable s[4][1][6]
0.89/0.99	c remove useless variable s[4][1][7]
0.89/0.99	c remove useless variable s[4][1][8]
0.89/0.99	c remove useless variable s[4][1][9]
0.89/0.99	c remove useless variable s[4][1][10]
0.89/0.99	c remove useless variable s[4][1][11]
0.89/0.99	c remove useless variable s[4][1][12]
0.89/0.99	c remove useless variable s[4][1][13]
0.89/0.99	c remove useless variable s[4][1][14]
0.89/0.99	c remove useless variable s[4][1][15]
0.89/0.99	c remove useless variable s[4][1][16]
0.89/0.99	c remove useless variable s[4][1][17]
0.89/0.99	c remove useless variable s[4][2][0]
0.89/0.99	c remove useless variable s[4][2][1]
0.89/0.99	c remove useless variable s[4][2][2]
0.89/0.99	c remove useless variable s[4][2][3]
0.89/0.99	c remove useless variable s[4][2][4]
0.89/0.99	c remove useless variable s[4][2][5]
0.89/0.99	c remove useless variable s[4][2][6]
0.89/0.99	c remove useless variable s[4][2][7]
0.89/0.99	c remove useless variable s[4][2][8]
0.89/0.99	c remove useless variable s[4][2][9]
0.89/0.99	c remove useless variable s[4][2][10]
0.89/0.99	c remove useless variable s[4][2][11]
0.89/0.99	c remove useless variable s[4][2][12]
0.89/0.99	c remove useless variable s[4][2][13]
0.89/0.99	c remove useless variable s[4][2][14]
0.89/0.99	c remove useless variable s[4][2][15]
0.89/0.99	c remove useless variable s[4][2][16]
0.89/0.99	c remove useless variable s[4][2][17]
0.89/0.99	c remove useless variable s[4][3][0]
0.89/0.99	c remove useless variable s[4][3][1]
0.89/0.99	c remove useless variable s[4][3][2]
0.89/0.99	c remove useless variable s[4][3][3]
0.89/0.99	c remove useless variable s[4][3][4]
0.89/0.99	c remove useless variable s[4][3][5]
0.89/0.99	c remove useless variable s[4][3][6]
0.89/0.99	c remove useless variable s[4][3][7]
0.89/0.99	c remove useless variable s[4][3][8]
0.89/0.99	c remove useless variable s[4][3][9]
0.89/0.99	c remove useless variable s[4][3][10]
0.89/0.99	c remove useless variable s[4][3][11]
0.89/0.99	c remove useless variable s[4][3][12]
0.89/0.99	c remove useless variable s[4][3][13]
0.89/0.99	c remove useless variable s[4][3][14]
0.89/0.99	c remove useless variable s[4][3][15]
0.89/0.99	c remove useless variable s[4][3][16]
0.89/0.99	c remove useless variable s[4][3][17]
0.89/0.99	c remove useless variable s[4][4][0]
0.89/0.99	c remove useless variable s[4][4][1]
0.89/0.99	c remove useless variable s[4][4][2]
0.89/0.99	c remove useless variable s[4][4][3]
0.89/0.99	c remove useless variable s[4][4][4]
0.89/0.99	c remove useless variable s[4][4][5]
0.89/0.99	c remove useless variable s[4][4][6]
0.89/0.99	c remove useless variable s[4][4][7]
0.89/0.99	c remove useless variable s[4][4][8]
0.89/0.99	c remove useless variable s[4][4][9]
0.89/0.99	c remove useless variable s[4][4][10]
0.89/0.99	c remove useless variable s[4][4][11]
0.89/0.99	c remove useless variable s[4][4][12]
0.89/0.99	c remove useless variable s[4][4][13]
0.89/0.99	c remove useless variable s[4][4][14]
0.89/0.99	c remove useless variable s[4][4][15]
0.89/0.99	c remove useless variable s[4][4][16]
0.89/0.99	c remove useless variable s[4][4][17]
0.89/0.99	c remove useless variable s[5][0][0]
0.89/0.99	c remove useless variable s[5][0][1]
0.89/0.99	c remove useless variable s[5][0][2]
0.89/0.99	c remove useless variable s[5][0][3]
0.89/0.99	c remove useless variable s[5][0][4]
0.89/0.99	c remove useless variable s[5][0][5]
0.89/0.99	c remove useless variable s[5][0][6]
0.89/0.99	c remove useless variable s[5][0][7]
0.89/0.99	c remove useless variable s[5][0][8]
0.89/0.99	c remove useless variable s[5][0][9]
0.89/0.99	c remove useless variable s[5][0][10]
0.89/0.99	c remove useless variable s[5][0][11]
0.89/0.99	c remove useless variable s[5][0][12]
0.89/0.99	c remove useless variable s[5][0][13]
0.89/0.99	c remove useless variable s[5][0][14]
0.89/0.99	c remove useless variable s[5][0][15]
0.89/0.99	c remove useless variable s[5][0][16]
0.89/0.99	c remove useless variable s[5][0][17]
0.89/0.99	c remove useless variable s[5][1][0]
0.89/0.99	c remove useless variable s[5][1][1]
0.89/0.99	c remove useless variable s[5][1][2]
0.89/0.99	c remove useless variable s[5][1][3]
0.89/0.99	c remove useless variable s[5][1][4]
0.89/0.99	c remove useless variable s[5][1][5]
0.89/0.99	c remove useless variable s[5][1][6]
0.89/0.99	c remove useless variable s[5][1][7]
0.89/0.99	c remove useless variable s[5][1][8]
0.89/0.99	c remove useless variable s[5][1][9]
0.89/0.99	c remove useless variable s[5][1][10]
0.89/0.99	c remove useless variable s[5][1][11]
0.89/0.99	c remove useless variable s[5][1][12]
0.89/0.99	c remove useless variable s[5][1][13]
0.89/0.99	c remove useless variable s[5][1][14]
0.89/0.99	c remove useless variable s[5][1][15]
0.89/0.99	c remove useless variable s[5][1][16]
0.89/0.99	c remove useless variable s[5][1][17]
0.89/0.99	c remove useless variable s[5][2][0]
0.89/0.99	c remove useless variable s[5][2][1]
0.89/0.99	c remove useless variable s[5][2][2]
0.89/0.99	c remove useless variable s[5][2][3]
0.89/0.99	c remove useless variable s[5][2][4]
0.89/0.99	c remove useless variable s[5][2][5]
0.89/0.99	c remove useless variable s[5][2][6]
0.89/0.99	c remove useless variable s[5][2][7]
0.89/0.99	c remove useless variable s[5][2][8]
0.89/0.99	c remove useless variable s[5][2][9]
0.89/0.99	c remove useless variable s[5][2][10]
0.89/0.99	c remove useless variable s[5][2][11]
0.89/0.99	c remove useless variable s[5][2][12]
0.89/0.99	c remove useless variable s[5][2][13]
0.89/0.99	c remove useless variable s[5][2][14]
0.89/0.99	c remove useless variable s[5][2][15]
0.89/0.99	c remove useless variable s[5][2][16]
0.89/0.99	c remove useless variable s[5][2][17]
0.89/0.99	c remove useless variable s[5][3][0]
0.89/0.99	c remove useless variable s[5][3][1]
0.89/0.99	c remove useless variable s[5][3][2]
0.89/0.99	c remove useless variable s[5][3][3]
0.89/0.99	c remove useless variable s[5][3][4]
0.89/0.99	c remove useless variable s[5][3][5]
0.89/0.99	c remove useless variable s[5][3][6]
0.89/0.99	c remove useless variable s[5][3][7]
0.89/0.99	c remove useless variable s[5][3][8]
0.89/0.99	c remove useless variable s[5][3][9]
0.89/0.99	c remove useless variable s[5][3][10]
0.89/0.99	c remove useless variable s[5][3][11]
0.89/0.99	c remove useless variable s[5][3][12]
0.89/0.99	c remove useless variable s[5][3][13]
0.89/0.99	c remove useless variable s[5][3][14]
0.89/0.99	c remove useless variable s[5][3][15]
0.89/0.99	c remove useless variable s[5][3][16]
0.89/0.99	c remove useless variable s[5][3][17]
0.89/0.99	c remove useless variable s[5][4][0]
0.89/0.99	c remove useless variable s[5][4][1]
0.89/0.99	c remove useless variable s[5][4][2]
0.89/0.99	c remove useless variable s[5][4][3]
0.89/0.99	c remove useless variable s[5][4][4]
0.89/0.99	c remove useless variable s[5][4][5]
0.89/0.99	c remove useless variable s[5][4][6]
0.89/0.99	c remove useless variable s[5][4][7]
0.89/0.99	c remove useless variable s[5][4][8]
0.89/0.99	c remove useless variable s[5][4][9]
0.89/0.99	c remove useless variable s[5][4][10]
0.89/0.99	c remove useless variable s[5][4][11]
0.89/0.99	c remove useless variable s[5][4][12]
0.89/0.99	c remove useless variable s[5][4][13]
0.89/0.99	c remove useless variable s[5][4][14]
0.89/0.99	c remove useless variable s[5][4][15]
0.89/0.99	c remove useless variable s[5][4][16]
0.89/0.99	c remove useless variable s[5][4][17]
0.89/0.99	c remove useless variable s[5][5][0]
0.89/0.99	c remove useless variable s[5][5][1]
0.89/0.99	c remove useless variable s[5][5][2]
0.89/0.99	c remove useless variable s[5][5][3]
0.89/0.99	c remove useless variable s[5][5][4]
0.89/0.99	c remove useless variable s[5][5][5]
0.89/0.99	c remove useless variable s[5][5][6]
0.89/0.99	c remove useless variable s[5][5][7]
0.89/0.99	c remove useless variable s[5][5][8]
0.89/0.99	c remove useless variable s[5][5][9]
0.89/0.99	c remove useless variable s[5][5][10]
0.89/0.99	c remove useless variable s[5][5][11]
0.89/0.99	c remove useless variable s[5][5][12]
0.89/0.99	c remove useless variable s[5][5][13]
0.89/0.99	c remove useless variable s[5][5][14]
0.89/0.99	c remove useless variable s[5][5][15]
0.89/0.99	c remove useless variable s[5][5][16]
0.89/0.99	c remove useless variable s[5][5][17]
0.89/0.99	c remove useless variable s[6][0][0]
0.89/0.99	c remove useless variable s[6][0][1]
0.89/0.99	c remove useless variable s[6][0][2]
0.89/0.99	c remove useless variable s[6][0][3]
0.89/0.99	c remove useless variable s[6][0][4]
0.89/0.99	c remove useless variable s[6][0][5]
0.89/0.99	c remove useless variable s[6][0][6]
0.89/0.99	c remove useless variable s[6][0][7]
0.89/0.99	c remove useless variable s[6][0][8]
0.89/0.99	c remove useless variable s[6][0][9]
0.89/0.99	c remove useless variable s[6][0][10]
0.89/0.99	c remove useless variable s[6][0][11]
0.89/0.99	c remove useless variable s[6][0][12]
0.89/0.99	c remove useless variable s[6][0][13]
0.89/0.99	c remove useless variable s[6][0][14]
0.89/0.99	c remove useless variable s[6][0][15]
0.89/0.99	c remove useless variable s[6][0][16]
0.89/0.99	c remove useless variable s[6][0][17]
0.89/0.99	c remove useless variable s[6][1][0]
0.89/0.99	c remove useless variable s[6][1][1]
0.89/0.99	c remove useless variable s[6][1][2]
0.89/0.99	c remove useless variable s[6][1][3]
0.89/0.99	c remove useless variable s[6][1][4]
0.89/0.99	c remove useless variable s[6][1][5]
0.89/0.99	c remove useless variable s[6][1][6]
0.89/0.99	c remove useless variable s[6][1][7]
0.89/0.99	c remove useless variable s[6][1][8]
0.89/0.99	c remove useless variable s[6][1][9]
0.89/0.99	c remove useless variable s[6][1][10]
0.89/0.99	c remove useless variable s[6][1][11]
0.89/0.99	c remove useless variable s[6][1][12]
0.89/0.99	c remove useless variable s[6][1][13]
0.89/0.99	c remove useless variable s[6][1][14]
0.89/0.99	c remove useless variable s[6][1][15]
0.89/0.99	c remove useless variable s[6][1][16]
0.89/0.99	c remove useless variable s[6][1][17]
0.89/0.99	c remove useless variable s[6][2][0]
0.89/0.99	c remove useless variable s[6][2][1]
0.89/0.99	c remove useless variable s[6][2][2]
0.89/0.99	c remove useless variable s[6][2][3]
0.89/0.99	c remove useless variable s[6][2][4]
0.89/0.99	c remove useless variable s[6][2][5]
0.89/0.99	c remove useless variable s[6][2][6]
0.89/0.99	c remove useless variable s[6][2][7]
0.89/0.99	c remove useless variable s[6][2][8]
0.89/0.99	c remove useless variable s[6][2][9]
0.89/0.99	c remove useless variable s[6][2][10]
0.89/0.99	c remove useless variable s[6][2][11]
0.89/0.99	c remove useless variable s[6][2][12]
0.89/0.99	c remove useless variable s[6][2][13]
0.89/0.99	c remove useless variable s[6][2][14]
0.89/0.99	c remove useless variable s[6][2][15]
0.89/0.99	c remove useless variable s[6][2][16]
0.89/0.99	c remove useless variable s[6][2][17]
0.89/0.99	c remove useless variable s[6][3][0]
0.89/0.99	c remove useless variable s[6][3][1]
0.89/0.99	c remove useless variable s[6][3][2]
0.89/0.99	c remove useless variable s[6][3][3]
0.89/0.99	c remove useless variable s[6][3][4]
0.89/0.99	c remove useless variable s[6][3][5]
0.89/0.99	c remove useless variable s[6][3][6]
0.89/0.99	c remove useless variable s[6][3][7]
0.89/0.99	c remove useless variable s[6][3][8]
0.89/0.99	c remove useless variable s[6][3][9]
0.89/0.99	c remove useless variable s[6][3][10]
0.89/0.99	c remove useless variable s[6][3][11]
0.89/0.99	c remove useless variable s[6][3][12]
0.89/0.99	c remove useless variable s[6][3][13]
0.89/0.99	c remove useless variable s[6][3][14]
0.89/0.99	c remove useless variable s[6][3][15]
0.89/0.99	c remove useless variable s[6][3][16]
0.89/0.99	c remove useless variable s[6][3][17]
0.89/0.99	c remove useless variable s[6][4][0]
0.89/0.99	c remove useless variable s[6][4][1]
0.89/0.99	c remove useless variable s[6][4][2]
0.89/0.99	c remove useless variable s[6][4][3]
0.89/0.99	c remove useless variable s[6][4][4]
0.89/0.99	c remove useless variable s[6][4][5]
0.89/0.99	c remove useless variable s[6][4][6]
0.89/0.99	c remove useless variable s[6][4][7]
0.89/0.99	c remove useless variable s[6][4][8]
0.89/0.99	c remove useless variable s[6][4][9]
0.89/0.99	c remove useless variable s[6][4][10]
0.89/0.99	c remove useless variable s[6][4][11]
0.89/0.99	c remove useless variable s[6][4][12]
0.89/0.99	c remove useless variable s[6][4][13]
0.89/0.99	c remove useless variable s[6][4][14]
0.89/0.99	c remove useless variable s[6][4][15]
0.89/0.99	c remove useless variable s[6][4][16]
0.89/0.99	c remove useless variable s[6][4][17]
0.89/0.99	c remove useless variable s[6][5][0]
0.89/0.99	c remove useless variable s[6][5][1]
0.89/0.99	c remove useless variable s[6][5][2]
0.89/0.99	c remove useless variable s[6][5][3]
0.89/0.99	c remove useless variable s[6][5][4]
0.89/0.99	c remove useless variable s[6][5][5]
0.89/0.99	c remove useless variable s[6][5][6]
0.89/0.99	c remove useless variable s[6][5][7]
0.89/0.99	c remove useless variable s[6][5][8]
0.89/0.99	c remove useless variable s[6][5][9]
0.89/0.99	c remove useless variable s[6][5][10]
0.89/0.99	c remove useless variable s[6][5][11]
0.89/0.99	c remove useless variable s[6][5][12]
0.89/0.99	c remove useless variable s[6][5][13]
0.89/0.99	c remove useless variable s[6][5][14]
0.89/0.99	c remove useless variable s[6][5][15]
0.89/0.99	c remove useless variable s[6][5][16]
0.89/0.99	c remove useless variable s[6][5][17]
0.89/0.99	c remove useless variable s[6][6][0]
0.89/0.99	c remove useless variable s[6][6][1]
0.89/0.99	c remove useless variable s[6][6][2]
0.89/0.99	c remove useless variable s[6][6][3]
0.89/0.99	c remove useless variable s[6][6][4]
0.89/0.99	c remove useless variable s[6][6][5]
0.89/0.99	c remove useless variable s[6][6][6]
0.89/0.99	c remove useless variable s[6][6][7]
0.89/0.99	c remove useless variable s[6][6][8]
0.89/0.99	c remove useless variable s[6][6][9]
0.89/0.99	c remove useless variable s[6][6][10]
0.89/0.99	c remove useless variable s[6][6][11]
0.89/0.99	c remove useless variable s[6][6][12]
0.89/0.99	c remove useless variable s[6][6][13]
0.89/0.99	c remove useless variable s[6][6][14]
0.89/0.99	c remove useless variable s[6][6][15]
0.89/0.99	c remove useless variable s[6][6][16]
0.89/0.99	c remove useless variable s[6][6][17]
0.89/0.99	c remove useless variable s[7][0][0]
0.89/0.99	c remove useless variable s[7][0][1]
0.89/0.99	c remove useless variable s[7][0][2]
0.89/0.99	c remove useless variable s[7][0][3]
0.89/0.99	c remove useless variable s[7][0][4]
0.89/0.99	c remove useless variable s[7][0][5]
0.89/0.99	c remove useless variable s[7][0][6]
0.89/0.99	c remove useless variable s[7][0][7]
0.89/0.99	c remove useless variable s[7][0][8]
0.89/0.99	c remove useless variable s[7][0][9]
0.89/0.99	c remove useless variable s[7][0][10]
0.89/0.99	c remove useless variable s[7][0][11]
0.89/0.99	c remove useless variable s[7][0][12]
0.89/0.99	c remove useless variable s[7][0][13]
0.89/0.99	c remove useless variable s[7][0][14]
0.89/0.99	c remove useless variable s[7][0][15]
0.89/0.99	c remove useless variable s[7][0][16]
0.89/0.99	c remove useless variable s[7][0][17]
0.89/0.99	c remove useless variable s[7][1][0]
0.89/0.99	c remove useless variable s[7][1][1]
0.89/0.99	c remove useless variable s[7][1][2]
0.89/0.99	c remove useless variable s[7][1][3]
0.89/0.99	c remove useless variable s[7][1][4]
0.89/0.99	c remove useless variable s[7][1][5]
0.89/0.99	c remove useless variable s[7][1][6]
0.89/0.99	c remove useless variable s[7][1][7]
0.89/0.99	c remove useless variable s[7][1][8]
0.89/0.99	c remove useless variable s[7][1][9]
0.89/0.99	c remove useless variable s[7][1][10]
0.89/0.99	c remove useless variable s[7][1][11]
0.89/0.99	c remove useless variable s[7][1][12]
0.89/0.99	c remove useless variable s[7][1][13]
0.89/0.99	c remove useless variable s[7][1][14]
0.89/0.99	c remove useless variable s[7][1][15]
0.89/0.99	c remove useless variable s[7][1][16]
0.89/0.99	c remove useless variable s[7][1][17]
0.89/0.99	c remove useless variable s[7][2][0]
0.89/0.99	c remove useless variable s[7][2][1]
0.89/0.99	c remove useless variable s[7][2][2]
0.89/0.99	c remove useless variable s[7][2][3]
0.89/0.99	c remove useless variable s[7][2][4]
0.89/0.99	c remove useless variable s[7][2][5]
0.89/0.99	c remove useless variable s[7][2][6]
0.89/0.99	c remove useless variable s[7][2][7]
0.89/0.99	c remove useless variable s[7][2][8]
0.89/0.99	c remove useless variable s[7][2][9]
0.89/0.99	c remove useless variable s[7][2][10]
0.89/0.99	c remove useless variable s[7][2][11]
0.89/0.99	c remove useless variable s[7][2][12]
0.89/0.99	c remove useless variable s[7][2][13]
0.89/0.99	c remove useless variable s[7][2][14]
0.89/0.99	c remove useless variable s[7][2][15]
0.89/0.99	c remove useless variable s[7][2][16]
0.89/0.99	c remove useless variable s[7][2][17]
0.89/0.99	c remove useless variable s[7][3][0]
0.89/0.99	c remove useless variable s[7][3][1]
0.89/0.99	c remove useless variable s[7][3][2]
0.89/0.99	c remove useless variable s[7][3][3]
0.89/0.99	c remove useless variable s[7][3][4]
0.89/0.99	c remove useless variable s[7][3][5]
0.89/0.99	c remove useless variable s[7][3][6]
0.89/0.99	c remove useless variable s[7][3][7]
0.89/0.99	c remove useless variable s[7][3][8]
0.89/0.99	c remove useless variable s[7][3][9]
0.89/0.99	c remove useless variable s[7][3][10]
0.89/0.99	c remove useless variable s[7][3][11]
0.89/0.99	c remove useless variable s[7][3][12]
0.89/0.99	c remove useless variable s[7][3][13]
0.89/0.99	c remove useless variable s[7][3][14]
0.89/0.99	c remove useless variable s[7][3][15]
0.89/0.99	c remove useless variable s[7][3][16]
0.89/0.99	c remove useless variable s[7][3][17]
0.89/0.99	c remove useless variable s[7][4][0]
0.89/0.99	c remove useless variable s[7][4][1]
0.89/0.99	c remove useless variable s[7][4][2]
0.89/0.99	c remove useless variable s[7][4][3]
0.89/0.99	c remove useless variable s[7][4][4]
0.89/0.99	c remove useless variable s[7][4][5]
0.89/0.99	c remove useless variable s[7][4][6]
0.89/0.99	c remove useless variable s[7][4][7]
0.89/0.99	c remove useless variable s[7][4][8]
0.89/0.99	c remove useless variable s[7][4][9]
0.89/0.99	c remove useless variable s[7][4][10]
0.89/0.99	c remove useless variable s[7][4][11]
0.89/0.99	c remove useless variable s[7][4][12]
0.89/0.99	c remove useless variable s[7][4][13]
0.89/0.99	c remove useless variable s[7][4][14]
0.89/0.99	c remove useless variable s[7][4][15]
0.89/0.99	c remove useless variable s[7][4][16]
0.89/0.99	c remove useless variable s[7][4][17]
0.89/0.99	c remove useless variable s[7][5][0]
0.89/0.99	c remove useless variable s[7][5][1]
0.89/0.99	c remove useless variable s[7][5][2]
0.89/0.99	c remove useless variable s[7][5][3]
0.89/0.99	c remove useless variable s[7][5][4]
0.89/0.99	c remove useless variable s[7][5][5]
0.89/0.99	c remove useless variable s[7][5][6]
0.89/0.99	c remove useless variable s[7][5][7]
0.89/0.99	c remove useless variable s[7][5][8]
0.89/0.99	c remove useless variable s[7][5][9]
0.89/0.99	c remove useless variable s[7][5][10]
0.89/0.99	c remove useless variable s[7][5][11]
0.89/0.99	c remove useless variable s[7][5][12]
0.89/0.99	c remove useless variable s[7][5][13]
0.89/0.99	c remove useless variable s[7][5][14]
0.89/0.99	c remove useless variable s[7][5][15]
0.89/0.99	c remove useless variable s[7][5][16]
0.89/0.99	c remove useless variable s[7][5][17]
0.89/0.99	c remove useless variable s[7][6][0]
0.89/0.99	c remove useless variable s[7][6][1]
0.89/0.99	c remove useless variable s[7][6][2]
0.89/0.99	c remove useless variable s[7][6][3]
0.89/0.99	c remove useless variable s[7][6][4]
0.89/0.99	c remove useless variable s[7][6][5]
0.89/0.99	c remove useless variable s[7][6][6]
0.89/0.99	c remove useless variable s[7][6][7]
0.89/0.99	c remove useless variable s[7][6][8]
0.89/0.99	c remove useless variable s[7][6][9]
0.89/0.99	c remove useless variable s[7][6][10]
0.89/0.99	c remove useless variable s[7][6][11]
0.89/0.99	c remove useless variable s[7][6][12]
0.89/0.99	c remove useless variable s[7][6][13]
0.89/0.99	c remove useless variable s[7][6][14]
0.89/0.99	c remove useless variable s[7][6][15]
0.89/0.99	c remove useless variable s[7][6][16]
0.89/0.99	c remove useless variable s[7][6][17]
0.89/0.99	c remove useless variable s[7][7][0]
0.89/0.99	c remove useless variable s[7][7][1]
0.89/0.99	c remove useless variable s[7][7][2]
0.89/0.99	c remove useless variable s[7][7][3]
0.89/0.99	c remove useless variable s[7][7][4]
0.89/0.99	c remove useless variable s[7][7][5]
0.89/0.99	c remove useless variable s[7][7][6]
0.89/0.99	c remove useless variable s[7][7][7]
0.89/0.99	c remove useless variable s[7][7][8]
0.89/0.99	c remove useless variable s[7][7][9]
0.89/0.99	c remove useless variable s[7][7][10]
0.89/0.99	c remove useless variable s[7][7][11]
0.89/0.99	c remove useless variable s[7][7][12]
0.89/0.99	c remove useless variable s[7][7][13]
0.89/0.99	c remove useless variable s[7][7][14]
0.89/0.99	c remove useless variable s[7][7][15]
0.89/0.99	c remove useless variable s[7][7][16]
0.89/0.99	c remove useless variable s[7][7][17]
0.89/0.99	c remove useless variable s[8][0][0]
0.89/0.99	c remove useless variable s[8][0][1]
0.89/0.99	c remove useless variable s[8][0][2]
0.89/0.99	c remove useless variable s[8][0][3]
0.89/0.99	c remove useless variable s[8][0][4]
0.89/0.99	c remove useless variable s[8][0][5]
0.89/0.99	c remove useless variable s[8][0][6]
0.89/0.99	c remove useless variable s[8][0][7]
0.89/0.99	c remove useless variable s[8][0][8]
0.89/0.99	c remove useless variable s[8][0][9]
0.89/0.99	c remove useless variable s[8][0][10]
0.89/0.99	c remove useless variable s[8][0][11]
0.89/0.99	c remove useless variable s[8][0][12]
0.89/0.99	c remove useless variable s[8][0][13]
0.89/0.99	c remove useless variable s[8][0][14]
0.89/0.99	c remove useless variable s[8][0][15]
0.89/0.99	c remove useless variable s[8][0][16]
0.89/0.99	c remove useless variable s[8][0][17]
0.89/0.99	c remove useless variable s[8][1][0]
0.89/0.99	c remove useless variable s[8][1][1]
0.89/0.99	c remove useless variable s[8][1][2]
0.89/0.99	c remove useless variable s[8][1][3]
0.89/0.99	c remove useless variable s[8][1][4]
0.89/0.99	c remove useless variable s[8][1][5]
0.89/0.99	c remove useless variable s[8][1][6]
0.89/0.99	c remove useless variable s[8][1][7]
0.89/0.99	c remove useless variable s[8][1][8]
0.89/0.99	c remove useless variable s[8][1][9]
0.89/0.99	c remove useless variable s[8][1][10]
0.89/0.99	c remove useless variable s[8][1][11]
0.89/0.99	c remove useless variable s[8][1][12]
0.89/0.99	c remove useless variable s[8][1][13]
0.89/0.99	c remove useless variable s[8][1][14]
0.89/0.99	c remove useless variable s[8][1][15]
0.89/0.99	c remove useless variable s[8][1][16]
0.89/0.99	c remove useless variable s[8][1][17]
0.89/0.99	c remove useless variable s[8][2][0]
0.89/0.99	c remove useless variable s[8][2][1]
0.89/0.99	c remove useless variable s[8][2][2]
0.89/0.99	c remove useless variable s[8][2][3]
0.89/0.99	c remove useless variable s[8][2][4]
0.89/0.99	c remove useless variable s[8][2][5]
0.89/0.99	c remove useless variable s[8][2][6]
0.89/0.99	c remove useless variable s[8][2][7]
0.89/0.99	c remove useless variable s[8][2][8]
0.89/0.99	c remove useless variable s[8][2][9]
0.89/0.99	c remove useless variable s[8][2][10]
0.89/0.99	c remove useless variable s[8][2][11]
0.89/0.99	c remove useless variable s[8][2][12]
0.89/0.99	c remove useless variable s[8][2][13]
0.89/0.99	c remove useless variable s[8][2][14]
0.89/0.99	c remove useless variable s[8][2][15]
0.89/0.99	c remove useless variable s[8][2][16]
0.89/0.99	c remove useless variable s[8][2][17]
0.89/0.99	c remove useless variable s[8][3][0]
0.89/0.99	c remove useless variable s[8][3][1]
0.89/0.99	c remove useless variable s[8][3][2]
0.89/0.99	c remove useless variable s[8][3][3]
0.89/0.99	c remove useless variable s[8][3][4]
0.89/0.99	c remove useless variable s[8][3][5]
0.89/0.99	c remove useless variable s[8][3][6]
0.89/0.99	c remove useless variable s[8][3][7]
0.89/0.99	c remove useless variable s[8][3][8]
0.89/0.99	c remove useless variable s[8][3][9]
0.89/0.99	c remove useless variable s[8][3][10]
0.89/0.99	c remove useless variable s[8][3][11]
0.89/0.99	c remove useless variable s[8][3][12]
0.89/0.99	c remove useless variable s[8][3][13]
0.89/0.99	c remove useless variable s[8][3][14]
0.89/0.99	c remove useless variable s[8][3][15]
0.89/0.99	c remove useless variable s[8][3][16]
0.89/0.99	c remove useless variable s[8][3][17]
0.89/0.99	c remove useless variable s[8][4][0]
0.89/0.99	c remove useless variable s[8][4][1]
0.89/0.99	c remove useless variable s[8][4][2]
0.89/0.99	c remove useless variable s[8][4][3]
0.89/0.99	c remove useless variable s[8][4][4]
0.89/0.99	c remove useless variable s[8][4][5]
0.89/0.99	c remove useless variable s[8][4][6]
0.89/0.99	c remove useless variable s[8][4][7]
0.89/0.99	c remove useless variable s[8][4][8]
0.89/0.99	c remove useless variable s[8][4][9]
0.89/0.99	c remove useless variable s[8][4][10]
0.89/0.99	c remove useless variable s[8][4][11]
0.89/0.99	c remove useless variable s[8][4][12]
0.89/0.99	c remove useless variable s[8][4][13]
0.89/0.99	c remove useless variable s[8][4][14]
0.89/0.99	c remove useless variable s[8][4][15]
0.89/0.99	c remove useless variable s[8][4][16]
0.89/0.99	c remove useless variable s[8][4][17]
0.89/0.99	c remove useless variable s[8][5][0]
0.89/0.99	c remove useless variable s[8][5][1]
0.89/0.99	c remove useless variable s[8][5][2]
0.89/0.99	c remove useless variable s[8][5][3]
0.89/0.99	c remove useless variable s[8][5][4]
0.89/0.99	c remove useless variable s[8][5][5]
0.89/0.99	c remove useless variable s[8][5][6]
0.89/0.99	c remove useless variable s[8][5][7]
0.89/0.99	c remove useless variable s[8][5][8]
0.89/0.99	c remove useless variable s[8][5][9]
0.89/0.99	c remove useless variable s[8][5][10]
0.89/0.99	c remove useless variable s[8][5][11]
0.89/0.99	c remove useless variable s[8][5][12]
0.89/0.99	c remove useless variable s[8][5][13]
0.89/0.99	c remove useless variable s[8][5][14]
0.89/0.99	c remove useless variable s[8][5][15]
0.89/0.99	c remove useless variable s[8][5][16]
0.89/0.99	c remove useless variable s[8][5][17]
0.89/0.99	c remove useless variable s[8][6][0]
0.89/0.99	c remove useless variable s[8][6][1]
0.89/0.99	c remove useless variable s[8][6][2]
0.89/0.99	c remove useless variable s[8][6][3]
0.89/0.99	c remove useless variable s[8][6][4]
0.89/0.99	c remove useless variable s[8][6][5]
0.89/0.99	c remove useless variable s[8][6][6]
0.89/0.99	c remove useless variable s[8][6][7]
0.89/0.99	c remove useless variable s[8][6][8]
0.89/0.99	c remove useless variable s[8][6][9]
0.89/0.99	c remove useless variable s[8][6][10]
0.89/0.99	c remove useless variable s[8][6][11]
0.89/0.99	c remove useless variable s[8][6][12]
0.89/0.99	c remove useless variable s[8][6][13]
0.89/0.99	c remove useless variable s[8][6][14]
0.89/0.99	c remove useless variable s[8][6][15]
0.89/0.99	c remove useless variable s[8][6][16]
0.89/0.99	c remove useless variable s[8][6][17]
0.89/0.99	c remove useless variable s[8][7][0]
0.89/0.99	c remove useless variable s[8][7][1]
0.89/0.99	c remove useless variable s[8][7][2]
0.89/0.99	c remove useless variable s[8][7][3]
0.89/0.99	c remove useless variable s[8][7][4]
0.89/0.99	c remove useless variable s[8][7][5]
0.89/0.99	c remove useless variable s[8][7][6]
0.89/0.99	c remove useless variable s[8][7][7]
0.89/0.99	c remove useless variable s[8][7][8]
0.89/0.99	c remove useless variable s[8][7][9]
0.89/0.99	c remove useless variable s[8][7][10]
0.89/0.99	c remove useless variable s[8][7][11]
0.89/0.99	c remove useless variable s[8][7][12]
0.89/0.99	c remove useless variable s[8][7][13]
0.89/0.99	c remove useless variable s[8][7][14]
0.89/0.99	c remove useless variable s[8][7][15]
0.89/0.99	c remove useless variable s[8][7][16]
0.89/0.99	c remove useless variable s[8][7][17]
0.89/0.99	c remove useless variable s[8][8][0]
0.89/0.99	c remove useless variable s[8][8][1]
0.89/0.99	c remove useless variable s[8][8][2]
0.89/0.99	c remove useless variable s[8][8][3]
0.89/0.99	c remove useless variable s[8][8][4]
0.89/0.99	c remove useless variable s[8][8][5]
0.89/0.99	c remove useless variable s[8][8][6]
0.89/0.99	c remove useless variable s[8][8][7]
0.89/0.99	c remove useless variable s[8][8][8]
0.89/0.99	c remove useless variable s[8][8][9]
0.89/0.99	c remove useless variable s[8][8][10]
0.89/0.99	c remove useless variable s[8][8][11]
0.89/0.99	c remove useless variable s[8][8][12]
0.89/0.99	c remove useless variable s[8][8][13]
0.89/0.99	c remove useless variable s[8][8][14]
0.89/0.99	c remove useless variable s[8][8][15]
0.89/0.99	c remove useless variable s[8][8][16]
0.89/0.99	c remove useless variable s[8][8][17]
0.89/0.99	c remove useless variable s[9][0][0]
0.89/0.99	c remove useless variable s[9][0][1]
0.89/0.99	c remove useless variable s[9][0][2]
0.89/0.99	c remove useless variable s[9][0][3]
0.89/0.99	c remove useless variable s[9][0][4]
0.89/0.99	c remove useless variable s[9][0][5]
0.89/0.99	c remove useless variable s[9][0][6]
0.89/0.99	c remove useless variable s[9][0][7]
0.89/0.99	c remove useless variable s[9][0][8]
0.89/0.99	c remove useless variable s[9][0][9]
0.89/0.99	c remove useless variable s[9][0][10]
0.89/0.99	c remove useless variable s[9][0][11]
0.89/0.99	c remove useless variable s[9][0][12]
0.89/0.99	c remove useless variable s[9][0][13]
0.89/0.99	c remove useless variable s[9][0][14]
0.89/0.99	c remove useless variable s[9][0][15]
0.89/0.99	c remove useless variable s[9][0][16]
0.89/0.99	c remove useless variable s[9][0][17]
0.89/0.99	c remove useless variable s[9][1][0]
0.89/0.99	c remove useless variable s[9][1][1]
0.89/0.99	c remove useless variable s[9][1][2]
0.89/0.99	c remove useless variable s[9][1][3]
0.89/0.99	c remove useless variable s[9][1][4]
0.89/0.99	c remove useless variable s[9][1][5]
0.89/0.99	c remove useless variable s[9][1][6]
0.89/0.99	c remove useless variable s[9][1][7]
0.89/0.99	c remove useless variable s[9][1][8]
0.89/0.99	c remove useless variable s[9][1][9]
0.89/0.99	c remove useless variable s[9][1][10]
0.89/0.99	c remove useless variable s[9][1][11]
0.89/0.99	c remove useless variable s[9][1][12]
0.89/0.99	c remove useless variable s[9][1][13]
0.89/0.99	c remove useless variable s[9][1][14]
0.89/0.99	c remove useless variable s[9][1][15]
0.89/0.99	c remove useless variable s[9][1][16]
0.89/0.99	c remove useless variable s[9][1][17]
0.89/0.99	c remove useless variable s[9][2][0]
0.89/0.99	c remove useless variable s[9][2][1]
0.89/0.99	c remove useless variable s[9][2][2]
0.89/0.99	c remove useless variable s[9][2][3]
0.89/0.99	c remove useless variable s[9][2][4]
0.89/0.99	c remove useless variable s[9][2][5]
0.89/0.99	c remove useless variable s[9][2][6]
0.89/0.99	c remove useless variable s[9][2][7]
0.89/0.99	c remove useless variable s[9][2][8]
0.89/0.99	c remove useless variable s[9][2][9]
0.89/0.99	c remove useless variable s[9][2][10]
0.89/0.99	c remove useless variable s[9][2][11]
0.89/0.99	c remove useless variable s[9][2][12]
0.89/0.99	c remove useless variable s[9][2][13]
0.89/0.99	c remove useless variable s[9][2][14]
0.89/0.99	c remove useless variable s[9][2][15]
0.89/0.99	c remove useless variable s[9][2][16]
0.89/0.99	c remove useless variable s[9][2][17]
0.89/0.99	c remove useless variable s[9][3][0]
0.89/0.99	c remove useless variable s[9][3][1]
0.89/0.99	c remove useless variable s[9][3][2]
0.89/0.99	c remove useless variable s[9][3][3]
0.89/0.99	c remove useless variable s[9][3][4]
0.89/0.99	c remove useless variable s[9][3][5]
0.89/0.99	c remove useless variable s[9][3][6]
0.89/0.99	c remove useless variable s[9][3][7]
0.89/0.99	c remove useless variable s[9][3][8]
0.89/0.99	c remove useless variable s[9][3][9]
0.89/0.99	c remove useless variable s[9][3][10]
0.89/0.99	c remove useless variable s[9][3][11]
0.89/0.99	c remove useless variable s[9][3][12]
0.89/0.99	c remove useless variable s[9][3][13]
0.89/0.99	c remove useless variable s[9][3][14]
0.89/0.99	c remove useless variable s[9][3][15]
0.89/0.99	c remove useless variable s[9][3][16]
0.89/0.99	c remove useless variable s[9][3][17]
0.89/0.99	c remove useless variable s[9][4][0]
0.89/0.99	c remove useless variable s[9][4][1]
0.89/0.99	c remove useless variable s[9][4][2]
0.89/0.99	c remove useless variable s[9][4][3]
0.89/0.99	c remove useless variable s[9][4][4]
0.89/0.99	c remove useless variable s[9][4][5]
0.89/0.99	c remove useless variable s[9][4][6]
0.89/0.99	c remove useless variable s[9][4][7]
0.89/0.99	c remove useless variable s[9][4][8]
0.89/0.99	c remove useless variable s[9][4][9]
0.89/0.99	c remove useless variable s[9][4][10]
0.89/0.99	c remove useless variable s[9][4][11]
0.89/0.99	c remove useless variable s[9][4][12]
0.89/0.99	c remove useless variable s[9][4][13]
0.89/0.99	c remove useless variable s[9][4][14]
0.89/0.99	c remove useless variable s[9][4][15]
0.89/0.99	c remove useless variable s[9][4][16]
0.89/0.99	c remove useless variable s[9][4][17]
0.89/0.99	c remove useless variable s[9][5][0]
0.89/0.99	c remove useless variable s[9][5][1]
0.89/0.99	c remove useless variable s[9][5][2]
0.89/0.99	c remove useless variable s[9][5][3]
0.89/0.99	c remove useless variable s[9][5][4]
0.89/0.99	c remove useless variable s[9][5][5]
0.89/0.99	c remove useless variable s[9][5][6]
0.89/0.99	c remove useless variable s[9][5][7]
0.89/0.99	c remove useless variable s[9][5][8]
0.89/0.99	c remove useless variable s[9][5][9]
0.89/0.99	c remove useless variable s[9][5][10]
0.89/0.99	c remove useless variable s[9][5][11]
0.89/0.99	c remove useless variable s[9][5][12]
0.89/0.99	c remove useless variable s[9][5][13]
0.89/0.99	c remove useless variable s[9][5][14]
0.89/0.99	c remove useless variable s[9][5][15]
0.89/0.99	c remove useless variable s[9][5][16]
0.89/0.99	c remove useless variable s[9][5][17]
0.89/0.99	c remove useless variable s[9][6][0]
0.89/0.99	c remove useless variable s[9][6][1]
0.89/0.99	c remove useless variable s[9][6][2]
0.89/0.99	c remove useless variable s[9][6][3]
0.89/0.99	c remove useless variable s[9][6][4]
0.89/0.99	c remove useless variable s[9][6][5]
0.89/0.99	c remove useless variable s[9][6][6]
0.89/0.99	c remove useless variable s[9][6][7]
0.89/0.99	c remove useless variable s[9][6][8]
0.89/0.99	c remove useless variable s[9][6][9]
0.89/0.99	c remove useless variable s[9][6][10]
0.89/0.99	c remove useless variable s[9][6][11]
0.89/0.99	c remove useless variable s[9][6][12]
0.89/0.99	c remove useless variable s[9][6][13]
0.89/0.99	c remove useless variable s[9][6][14]
0.89/0.99	c remove useless variable s[9][6][15]
0.89/0.99	c remove useless variable s[9][6][16]
0.89/0.99	c remove useless variable s[9][6][17]
0.89/0.99	c remove useless variable s[9][7][0]
0.89/0.99	c remove useless variable s[9][7][1]
0.89/0.99	c remove useless variable s[9][7][2]
0.89/0.99	c remove useless variable s[9][7][3]
0.89/0.99	c remove useless variable s[9][7][4]
0.89/0.99	c remove useless variable s[9][7][5]
0.89/0.99	c remove useless variable s[9][7][6]
0.89/0.99	c remove useless variable s[9][7][7]
0.89/0.99	c remove useless variable s[9][7][8]
0.89/0.99	c remove useless variable s[9][7][9]
0.89/0.99	c remove useless variable s[9][7][10]
0.89/0.99	c remove useless variable s[9][7][11]
0.89/0.99	c remove useless variable s[9][7][12]
0.89/0.99	c remove useless variable s[9][7][13]
0.89/0.99	c remove useless variable s[9][7][14]
0.89/0.99	c remove useless variable s[9][7][15]
0.89/0.99	c remove useless variable s[9][7][16]
0.89/0.99	c remove useless variable s[9][7][17]
0.89/0.99	c remove useless variable s[9][8][0]
0.89/0.99	c remove useless variable s[9][8][1]
0.89/0.99	c remove useless variable s[9][8][2]
0.89/0.99	c remove useless variable s[9][8][3]
0.89/0.99	c remove useless variable s[9][8][4]
0.89/0.99	c remove useless variable s[9][8][5]
0.89/0.99	c remove useless variable s[9][8][6]
0.89/0.99	c remove useless variable s[9][8][7]
0.89/0.99	c remove useless variable s[9][8][8]
0.89/0.99	c remove useless variable s[9][8][9]
0.89/0.99	c remove useless variable s[9][8][10]
0.89/0.99	c remove useless variable s[9][8][11]
0.89/0.99	c remove useless variable s[9][8][12]
0.89/0.99	c remove useless variable s[9][8][13]
0.89/0.99	c remove useless variable s[9][8][14]
0.89/0.99	c remove useless variable s[9][8][15]
0.89/0.99	c remove useless variable s[9][8][16]
0.89/0.99	c remove useless variable s[9][8][17]
0.89/0.99	c remove useless variable s[9][9][0]
0.89/0.99	c remove useless variable s[9][9][1]
0.89/0.99	c remove useless variable s[9][9][2]
0.89/0.99	c remove useless variable s[9][9][3]
0.89/0.99	c remove useless variable s[9][9][4]
0.89/0.99	c remove useless variable s[9][9][5]
0.89/0.99	c remove useless variable s[9][9][6]
0.89/0.99	c remove useless variable s[9][9][7]
0.89/0.99	c remove useless variable s[9][9][8]
0.89/0.99	c remove useless variable s[9][9][9]
0.89/0.99	c remove useless variable s[9][9][10]
0.89/0.99	c remove useless variable s[9][9][11]
0.89/0.99	c remove useless variable s[9][9][12]
0.89/0.99	c remove useless variable s[9][9][13]
0.89/0.99	c remove useless variable s[9][9][14]
0.89/0.99	c remove useless variable s[9][9][15]
0.89/0.99	c remove useless variable s[9][9][16]
0.89/0.99	c remove useless variable s[9][9][17]
0.89/0.99	c 10             104            3747           897            0              7              33   76   49   
0.89/0.99	c 20             179            6004           1701           0              12             18   36   23   
0.89/1.00	c 30             272            8504           2488           0              18             7   78   52    
0.99/1.00	c 40             359            10848          3090           0              22             34   55   42   
0.99/1.00	c 50             482            13967          3949           0              29             31   93   62   
0.99/1.00	c 60             550            16899          5088           0              33             2   47   37    
0.99/1.01	c 70             685            20511          6059           0              39             2   120   67   
0.99/1.01	c 80             789            23726          7160           0              43             2   52   39    
0.99/1.01	c 90             861            25599          7771           0              48             4   51   38    
0.99/1.01	c 100            932            27393          8372           0              53             5   50   38    
0.99/1.01	c 101            942            27621          8474           0              54             10   10   5    
0.99/1.01	c 110            1009           29291          9006           10             57             1   48   36    
0.99/1.02	c 120            1075           31734          10228          10             62             40   50   41   
0.99/1.02	c 130            1144           33593          10756          10             65             42   49   41   
0.99/1.02	c 140            1226           35776          11415          10             67             43   49   42   
0.99/1.02	c 150            1296           37597          11957          10             70             41   48   40   
0.99/1.02	c 160            1366           39415          12494          10             73             40   47   40   
0.99/1.03	c 170            1457           41915          13306          10             75             42   47   40   
0.99/1.03	c 180            1524           43653          13834          10             79             40   46   39   
0.99/1.03	c 190            1593           45517          14371          10             82             40   47   39   
0.99/1.03	c 200            1660           47293          14900          10             86             40   46   39   
0.99/1.03	c 210            1735           49345          15498          10             87             40   46   39   
0.99/1.03	c 211            1774           50143          15730          10             88             39   39   19   
0.99/1.04	c 220            1896           53887          16982          10             92             86   103   87  
0.99/1.04	c 230            1971           55862          17616          10             95             41   46   39   
0.99/1.04	c 240            2043           57700          18253          10             100            39   46   38   
0.99/1.04	c 250            2122           60320          19082          10             104            44   48   42   
0.99/1.05	c 260            2256           64256          20372          10             105            100   119   101
0.99/1.05	c 270            2370           68553          21936          10             106            89   95   84   
0.99/1.05	c 280            2456           70654          22648          10             116            43   77   48   
0.99/1.05	c 290            2519           72404          23332          10             118            37   46   37   
0.99/1.06	c 300            2586           73791          23842          10             121            39   47   38   
0.99/1.06	c 310            2648           75250          24379          10             126            37   45   37   
0.99/1.06	c 320            2713           76598          24882          10             128            38   47   38   
0.99/1.06	c 330            2770           80336          26370          10             131            28   45   30   
0.99/1.06	c 332            2809           81264          26669          10             133            37   38   25   
0.99/1.06	c 340            2887           83276          27354          10             136            40   48   39   
0.99/1.07	c 350            2953           85710          28366          10             139            38   45   37   
0.99/1.07	c 360            3021           87089          28875          10             142            40   48   39   
0.99/1.07	c 370            3127           91897          30945          10             147            30   50   38   
0.99/1.08	c 380            3211           96036          32645          10             153            31   52   39   
0.99/1.08	c 390            3285           99646          34170          10             156            40   48   39   
0.99/1.08	c 400            3404           104399         35889          10             162            45   96   60   
0.99/1.09	c 410            3466           107562         37267          10             169            31   45   33   
0.99/1.09	c 420            3530           108870         37767          10             171            40   47   39   
0.99/1.09	c 430            3597           113231         39848          10             178            20   45   30   
0.99/1.09	c 440            3651           115923         41135          10             183            21   36   25   
0.99/1.10	c 450            3717           120543         43336          10             192            21   40   28   
1.09/1.10	c 460            3848           128120         46489          10             196            31   81   35   
1.09/1.11	c 465            3883           129786         47176          10             201            10   31   18   
1.09/1.11	c 470            3916           131447         47855          10             206            11   29   17   
1.09/1.11	c 480            3962           132617         48295          10             208            27   32   26   
1.09/1.11	c 490            4016           134063         48801          10             212            29   33   28   
1.09/1.11	c 500            4071           136620         49776          10             216            31   34   30   
1.09/1.11	c 510            4120           140172         51395          10             222            13   34   24   
1.09/1.12	c 520            4225           145157         53475          10             230            13   84   35   
1.09/1.12	c 530            4269           146790         54204          10             240            13   35   20   
1.09/1.12	c 540            4350           149403         55259          10             250            29   72   39   
1.09/1.13	c 550            4394           153767         57394          10             260            14   35   23   
1.09/1.13	c 560            4436           155088         57867          10             267            15   31   20   
1.09/1.13	c 570            4490           156949         58435          10             273            17   32   24   
1.09/1.13	c 580            4541           158339         58968          10             275            28   31   27   
1.09/1.13	c 590            4636           161450         60141          10             283            13   85   51   
1.09/1.14	c 600            4733           164394         61245          10             293            14   88   56   
1.09/1.14	c 610            4849           167647         62240          10             298            58   88   75   
1.09/1.14	c 611            4907           168832         62558          10             299            58   58   29   
1.09/1.14	c 620            5017           171890         63463          10             302            32   74   41   
1.09/1.14	c 630            5070           173239         63963          10             306            29   33   28   
1.09/1.15	c 640            5163           175728         64690          10             315            12   84   61   
1.09/1.15	c 650            5266           178510         65516          10             321            13   87   67   
1.09/1.15	c 660            5371           181428         66376          10             325            14   87   66   
1.09/1.15	c 670            5469           184439         67275          10             331            14   81   54   
1.09/1.16	c 680            5555           186751         67955          10             339            13   74   47   
1.09/1.16	c 690            5676           190076         68936          10             349            13   112   42  
1.09/1.16	c 700            5769           192834         69779          10             358            14   82   40   
1.09/1.17	c 710            5872           195836         70697          10             366            14   87   53   
1.09/1.17	c 720            5954           198184         71443          10             376            14   73   42   
1.09/1.17	c 730            6111           202049         72566          10             386            15   148   46  
1.09/1.17	c 740            6168           203759         73097          10             395            17   46   27   
1.09/1.17	c 750            6259           206216         73820          10             405            20   82   41   
1.09/1.18	c 760            6343           208479         74490          10             413            20   75   41   
1.09/1.18	c 770            6401           210154         75011          10             422            22   46   28   
1.09/1.18	c 771            6424           210613         75196          10             423            23   23   11   
1.09/1.18	c 780            6502           213044         75986          10             432            22   70   37   
1.09/1.18	c 790            6594           215906         76902          10             442            22   83   43   
1.09/1.19	c 800            6681           218492         77719          10             451            23   75   41   
1.09/1.19	c 810            6775           221310         78611          10             458            23   85   52   
1.09/1.19	c 820            6851           223314         79329          10             462            23   48   36   
1.09/1.19	c 830            6915           224573         79805          10             464            41   48   40   
1.09/1.19	c 840            6990           226548         80491          10             471            43   58   43   
1.09/1.20	c 850            7060           227914         80998          10             475            41   48   40   
1.09/1.20	c 860            7133           229363         81510          10             481            27   48   36   
1.09/1.20	c 870            7195           230968         82035          10             487            21   46   30   
1.09/1.20	c 880            7272           232619         82587          10             492            22   48   33   
1.19/1.20	c 890            7361           235893         83724          10             500            21   77   42   
1.19/1.21	c 900            7465           238880         84694          10             509            22   80   41   
1.19/1.21	c 910            7555           242217         85847          10             518            22   75   43   
1.19/1.21	c 920            7628           244206         86456          10             526            23   59   35   
1.19/1.21	c 930            7730           247692         87694          10             536            24   79   41   
1.19/1.22	c 940            7817           250334         88527          10             543            25   74   50   
1.19/1.22	c 947            7897           252628         89268          10             549            25   74   42   
1.19/1.22	c 950            7928           253366         89542          10             552            26   29   20   
1.19/1.22	c 960            7995           255341         90149          10             558            25   46   33   
1.19/1.22	c 970            8066           256967         90657          10             561            42   49   40   
1.19/1.22	c 980            8134           258271         91147          10             565            41   47   40   
1.19/1.23	c 990            8221           260882         91961          10             574            21   74   49   
1.19/1.23	c 1000           8304           263140         92626          10             582            22   71   48   
1.19/1.23	c 1010           8386           265338         93290          10             588            22   73   49   
1.19/1.23	c 1020           8560           269570         94676          10             597            23   161   75  
1.19/1.24	c 1030           8651           272292         95546          10             604            26   73   54   
1.19/1.24	c 1040           8739           274644         96278          10             612            26   76   51   
1.19/1.24	c 1050           8824           277000         97144          10             621            25   73   40   
1.19/1.24	c 1060           8889           278681         97686          10             629            26   48   34   
1.19/1.24	c 1070           8960           280133         98200          10             634            29   49   36   
1.19/1.25	c 1080           9049           282473         98870          10             639            57   71   61   
1.19/1.25	c 1090           9128           284613         99530          10             647            22   68   40   
1.19/1.25	c 1100           9206           286663         100138         10             657            23   69   41   
1.19/1.25	c 1110           9299           289122         100872         10             667            22   84   44   
1.19/1.26	c 1120           9382           291353         101531         10             675            22   72   41   
1.19/1.26	c 1130           9433           292922         102039         10             685            23   42   28   
1.19/1.26	c 1140           9512           295162         102738         10             695            24   70   45   
1.19/1.26	c 1141           9534           295616         102920         10             696            22   22   11   
1.19/1.26	c 1150           9628           298373         103743         10             705            24   86   58   
1.19/1.26	c 1160           9708           300615         104442         10             711            22   71   45   
1.19/1.27	c 1170           9791           302860         105097         10             720            22   70   45   
1.19/1.27	c 1180           9876           305186         105754         10             729            22   74   41   
1.19/1.27	c 1190           9937           307476         106538         10             739            22   48   29   
1.19/1.27	c 1200           10023          309455         107185         10             747            23   76   36   
1.19/1.27	c 1210           10116          311947         107925         10             757            22   84   44   
1.19/1.28	c 1220           10182          314390         109054         10             764            31   51   41   
1.19/1.28	c 1230           10262          316465         109666         10             774            23   71   31   
1.19/1.28	c 1240           10355          318939         110402         10             784            22   84   44   
1.19/1.28	c 1250           10422          320736         111007         10             792            22   49   31   
1.19/1.28	c 1260           10485          321961         111465         10             796            41   49   40   
1.19/1.29	c 1270           10555          323296         111953         10             801            42   48   40   
1.19/1.29	c 1280           10635          325355         112596         10             811            21   70   35   
1.19/1.29	c 1290           10698          327132         113142         10             819            22   50   30   
1.19/1.29	c 1300           10915          332588         114943         10             825            57   188   117 
1.19/1.30	c 1310           10985          334433         115548         10             831            25   47   34   
1.29/1.30	c 1320           11048          335782         116028         10             833            39   47   39   
1.29/1.30	c 1330           11113          337342         116530         10             842            25   46   32   
1.29/1.30	c 1340           11184          338937         117070         10             847            28   49   35   
1.29/1.30	c 1350           11244          340398         117581         10             854            24   47   31   
1.29/1.30	c 1352           11278          340995         117843         10             856            30   33   21   
1.29/1.30	c 1360           11358          342751         118428         10             863            28   73   40   
1.29/1.31	c 1370           11451          345065         119211         10             872            29   75   47   
1.29/1.31	c 1380           11513          346286         119676         10             879            29   50   36   
1.29/1.31	c 1390           11570          347546         120118         10             889            24   48   32   
1.29/1.31	c 1400           11628          348846         120594         10             899            25   45   30   
1.29/1.31	c 1410           11708          350592         121164         10             909            26   49   33   
1.29/1.31	c 1420           11800          353450         121985         10             917            57   82   65   
1.29/1.32	c 1430           11899          356253         122804         10             926            58   88   67   
1.29/1.32	c 1440           12087          359844         123924         10             935            58   178   89  
1.29/1.32	c 1450           12191          362920         124898         10             938            58   88   75   
1.29/1.33	c 1460           12289          365635         125681         10             948            58   89   66   
1.29/1.33	c 1470           12391          368552         126585         10             954            58   86   73   
1.29/1.33	c 1480           12577          371907         127638         10             964            58   176   82  
1.29/1.33	c 1490           12693          374923         128573         10             971            25   98   57   
1.29/1.34	c 1500           12789          377426         129411         10             979            24   87   52   
1.29/1.34	c 1510           12903          380344         130341         10             988            25   97   49   
1.29/1.34	c 1520           12982          382296         131029         10             995            24   70   42   
1.29/1.34	c 1530           13099          385396         132010         10             1002           24   99   66   
1.29/1.35	c 1540           13187          387997         132819         10             1009           58   75   62   
1.29/1.35	c 1550           13246          390115         133613         10             1017           23   48   31   
1.29/1.35	c 1560           13350          393236         134663         10             1024           22   79   39   
1.29/1.35	c 1570           13418          394616         135166         10             1027           41   50   41   
1.29/1.35	c 1580           13477          396054         135671         10             1037           25   46   31   
1.29/1.36	c 1585           13515          396867         136005         10             1042           26   34   25   
1.29/1.36	c 1590           13566          397830         136359         10             1047           25   47   26   
1.29/1.36	c 1600           13678          400778         137292         10             1056           25   79   43   
1.29/1.36	c 1610           13745          402602         137918         10             1062           22   48   32   
1.29/1.36	c 1620           13818          403991         138438         10             1066           40   47   39   
1.29/1.37	c 1630           13904          406920         139361         10             1072           21   72   48   
1.29/1.37	c 1640           14041          410370         140314         10             1079           58   101   82  
1.29/1.37	c 1650           14236          414706         141771         10             1083           58   178   130 
1.29/1.37	c 1660           14294          416480         142352         10             1093           25   46   30   
1.29/1.38	c 1670           14343          417968         142857         10             1103           25   40   29   
1.29/1.38	c 1680           14400          419672         143445         10             1109           25   44   30   
1.29/1.38	c 1690           14464          420931         143919         10             1111           41   49   40   
1.29/1.38	c 1700           14514          422484         144448         10             1121           24   41   29   
1.29/1.38	c 1710           14606          424991         145267         10             1126           45   69   52   
1.29/1.38	c 1720           14670          426560         145743         10             1130           42   50   41   
1.29/1.39	c 1730           14749          428487         146349         10             1137           29   45   35   
1.29/1.39	c 1740           14853          430771         147055         10             1141           29   46   36   
1.29/1.39	c 1750           14975          434441         148261         10             1146           43   99   68   
1.29/1.40	c 1760           15123          439232         149739         10             1149           71   99   71   
1.38/1.40	c 1770           15204          441773         150767         10             1159           33   72   46   
1.38/1.40	c 1780           15286          443968         151437         10             1165           23   70   52   
1.38/1.40	c 1790           15391          446897         152452         10             1174           22   93   44   
1.38/1.41	c 1800           15478          449150         153187         10             1183           22   72   37   
1.38/1.41	c 1810           15559          451467         153920         10             1189           22   70   48   
1.38/1.41	c 1820           15681          454781         154986         10             1196           24   85   45   
1.38/1.41	c 1830           15802          457768         155866         10             1204           22   100   75  
1.38/1.41	c 1840           15853          459189         156343         10             1214           23   42   28   
1.38/1.42	c 1841           15876          459683         156551         10             1215           23   23   11   
1.38/1.42	c 1850           15954          461784         157169         10             1224           21   70   46   
1.38/1.42	c 1860           16146          465754         158391         10             1233           66   182   101 
1.38/1.42	c 1870           16245          468801         159352         10             1240           22   73   44   
1.38/1.43	c 1880           16313          471298         160516         10             1245           31   47   39   
1.38/1.43	c 1890           16395          473098         161127         10             1254           23   71   39   
1.38/1.43	c 1900           16478          475039         161768         10             1262           22   72   37   
1.38/1.43	c 1910           16538          476603         162337         10             1272           22   47   29   
1.38/1.43	c 1920           16587          477796         162769         10             1282           24   40   28   
1.38/1.44	c 1930           16680          480717         163682         10             1290           22   72   39   
1.38/1.44	c 1940           16735          482280         164195         10             1299           22   46   28   
1.38/1.44	c 1950           16817          484200         164852         10             1307           24   71   38   
1.38/1.44	c 1960           16868          485513         165314         10             1317           22   42   28   
1.38/1.44	c 1970           16948          487575         166000         10             1326           23   71   34   
1.38/1.44	c 1980           17047          490194         166837         10             1335           22   77   37   
1.38/1.45	c 1990           17127          491970         167426         10             1344           24   71   34   
1.38/1.45	c 2000           17208          493818         168079         10             1352           24   72   36   
1.38/1.45	c 2010           17292          495759         168748         10             1360           24   73   36   
1.38/1.45	c 2020           17375          497658         169413         10             1368           24   72   36   
1.38/1.45	c 2030           17455          499446         170001         10             1377           24   71   34   
1.38/1.46	c 2040           17537          501629         170765         10             1386           22   71   35   
1.38/1.46	c 2050           17594          503134         171278         10             1395           22   48   28   
1.38/1.46	c 2060           17675          505145         171943         10             1404           22   71   33   
1.38/1.46	c 2070           17755          507290         172618         10             1413           22   71   32   
1.38/1.46	c 2080           17840          509714         173368         10             1421           22   69   41   
1.38/1.47	c 2090           17919          511683         173960         10             1429           22   70   38   
1.38/1.47	c 2100           18003          514110         174713         10             1438           22   70   35   
1.38/1.47	c 2110           18102          516859         175590         10             1445           22   76   44   
1.38/1.47	c 2120           18180          518986         176245         10             1451           22   69   44   
1.38/1.47	c 2122           18204          519535         176457         10             1453           22   23   15   
1.38/1.47	c 2130           18276          521515         177108         10             1461           21   65   32   
1.38/1.48	c 2140           18428          524812         178099         10             1471           22   120   57  
1.38/1.48	c 2150           18636          529504         179691         10             1479           22   178   64  
1.38/1.48	c 2160           18723          531726         180372         10             1485           36   71   52   
1.38/1.49	c 2170           18773          532948         180823         10             1495           24   41   28   
1.38/1.49	c 2180           18829          534282         181305         10             1505           23   47   29   
1.38/1.49	c 2190           19017          538119         182538         10             1513           23   115   59  
1.38/1.49	c 2200           19106          540497         183293         10             1523           22   75   37   
1.38/1.49	c 2210           19169          541908         183790         10             1532           24   50   31   
1.48/1.50	c 2220           19279          544999         184792         10             1540           23   79   49   
1.48/1.50	c 2230           19331          546394         185278         10             1548           22   40   28   
1.48/1.50	c 2240           19380          547754         185732         10             1558           22   40   28   
1.48/1.50	c 2250           19467          550032         186537         10             1566           23   69   37   
1.48/1.51	c 2260           19584          552585         187420         10             1576           24   105   43  
1.48/1.51	c 2270           19670          554864         188230         10             1583           24   73   42   
1.48/1.51	c 2280           19742          556317         188742         10             1590           29   50   36   
1.48/1.51	c 2290           19794          557665         189234         10             1600           24   43   30   
1.48/1.51	c 2300           19887          559939         190001         10             1608           25   72   40   
1.48/1.51	c 2310           19963          561629         190549         10             1617           24   50   32   
1.48/1.52	c 2320           20031          563392         191151         10             1624           22   48   33   
1.48/1.52	c 2330           20111          565360         191868         10             1632           25   71   42   
1.48/1.52	c 2340           20183          566855         192379         10             1639           27   50   37   
1.48/1.52	c 2350           20245          568550         192899         10             1648           22   49   30   
1.48/1.52	c 2360           20337          570658         193527         10             1657           22   71   33   
1.48/1.53	c 2370           20430          573313         194397         10             1664           22   81   45   
1.48/1.53	c 2380           20511          575352         195015         10             1673           22   72   33   
1.48/1.53	c 2390           20591          577570         195734         10             1682           22   70   38   
1.48/1.53	c 2400           20671          580033         196556         10             1691           22   71   33   
1.48/1.53	c 2410           20791          582761         197435         10             1701           22   111   48  
1.48/1.54	c 2420           20911          585543         198316         10             1711           22   111   50  
1.48/1.54	c 2430           21033          588357         199226         10             1720           22   113   54  
1.48/1.54	c 2431           21055          588814         199409         10             1721           22   22   11   
1.48/1.54	c 2440           21115          590376         199932         10             1727           21   48   31   
1.48/1.54	c 2450           21198          592519         200621         10             1735           22   72   39   
1.48/1.55	c 2460           21279          594768         201330         10             1743           22   72   40   
1.48/1.55	c 2470           21410          597406         202149         10             1752           22   113   46  
1.48/1.55	c 2480           21502          599613         202800         10             1761           22   71   34   
1.48/1.55	c 2490           21582          601581         203394         10             1771           22   71   35   
1.48/1.56	c 2500           21668          604175         204284         10             1779           22   71   37   
1.48/1.56	c 2510           21749          606098         204877         10             1787           22   72   41   
1.48/1.56	c 2520           21881          608946         205819         10             1797           22   113   47  
1.48/1.56	c 2530           22009          612004         206877         10             1805           22   113   50  
1.48/1.56	c 2540           22061          613421         207344         10             1815           22   43   29   
1.48/1.57	c 2550           22158          616292         208307         10             1824           22   80   39   
1.48/1.57	c 2560           22209          617794         208806         10             1834           22   42   28   
1.48/1.57	c 2570           22270          619485         209379         10             1841           22   48   31   
1.48/1.57	c 2580           22318          620876         209868         10             1847           22   39   27   
1.48/1.57	c 2590           22379          622434         210367         10             1856           21   49   29   
1.48/1.58	c 2600           22469          624970         211244         10             1865           22   66   34   
1.48/1.58	c 2610           22553          626765         211833         10             1875           24   72   42   
1.48/1.58	c 2620           22636          628964         212578         10             1883           28   72   45   
1.48/1.58	c 2630           22721          630998         213261         10             1891           27   73   46   
1.48/1.58	c 2640           22805          632776         213850         10             1899           28   72   46   
1.48/1.58	c 2650           22874          634132         214343         10             1902           42   50   41   
1.48/1.59	c 2660           22965          636077         214953         10             1911           21   70   35   
1.48/1.59	c 2670           23024          637607         215448         10             1920           23   50   33   
1.48/1.59	c 2680           23115          639901         216141         10             1927           35   70   52   
1.48/1.59	c 2690           23186          641826         216744         10             1933           22   48   30   
1.48/1.59	c 2700           23251          644367         217959         10             1935           42   49   41   
1.58/1.60	c 2710           23331          646488         218612         10             1940           22   71   48   
1.58/1.60	c 2720           23382          647890         219080         10             1950           22   42   28   
1.58/1.60	c 2730           23503          650517         219853         10             1960           22   112   64  
1.58/1.60	c 2740           23587          652741         220518         10             1968           22   72   45   
1.58/1.61	c 2750           23715          655461         221328         10             1978           22   116   50  
1.58/1.61	c 2760           23916          660772         223336         10             1986           22   180   103 
1.58/1.61	c 2770           24015          663582         224160         10             1990           58   75   63   
1.58/1.61	c 2771           24037          664268         224455         10             1991           22   22   11   
1.58/1.62	c 2780           24165          667260         225321         10             1997           71   114   90  
1.58/1.62	c 2790           24290          670357         226308         10             2005           58   109   85  
1.58/1.62	c 2800           24512          675188         227849         10             2012           58   200   115 
1.58/1.63	c 2810           24632          678143         228734         10             2015           58   100   68  
1.58/1.63	c 2820           24730          682136         230207         10             2023           22   74   43   
1.58/1.63	c 2830           24844          684768         230955         10             2031           58   99   65   
1.58/1.64	c 2840           25054          688406         232079         10             2040           58   199   99  
1.58/1.64	c 2850           25114          690063         232620         10             2048           23   47   29   
1.58/1.64	c 2860           25170          691357         233074         10             2056           25   47   30   
1.58/1.64	c 2870           25229          692650         233538         10             2065           25   46   30   
1.58/1.64	c 2880           25313          694642         234183         10             2074           26   72   33   
1.58/1.64	c 2890           25395          696712         234841         10             2076           32   47   40   
1.58/1.65	c 2900           25473          698563         235463         10             2078           40   45   39   
1.58/1.65	c 2910           25535          699965         235965         10             2085           25   46   30   
1.58/1.65	c 2920           25625          702516         236902         10             2094           26   75   40   
1.58/1.65	c 2930           25724          705656         237913         10             2099           31   75   56   
1.58/1.65	c 2940           25804          707553         238520         10             2109           26   71   33   
1.58/1.66	c 2950           25855          708797         238975         10             2119           26   42   30   
1.58/1.66	c 2960           25937          710845         239637         10             2128           23   70   33   
1.58/1.66	c 2970           26022          712954         240362         10             2137           26   72   39   
1.58/1.66	c 2980           26103          714774         240941         10             2147           26   72   39   
1.58/1.66	c 2990           26185          716639         241549         10             2155           26   73   39   
1.58/1.67	c 3000           26275          719259         242464         10             2163           26   72   41   
1.58/1.67	c 3010           26368          722108         243532         10             2171           25   71   40   
1.58/1.67	c 3020           26450          724101         244229         10             2179           25   71   38   
1.58/1.67	c 3030           26544          726827         245043         10             2183           57   70   60   
1.58/1.68	c 3040           26643          730016         246030         10             2187           57   70   61   
1.58/1.68	c 3050           26725          732150         246730         10             2195           25   72   37   
1.58/1.68	c 3060           26782          733413         247190         10             2205           26   48   30   
1.58/1.68	c 3070           26847          734996         247792         10             2212           24   46   31   
1.58/1.68	c 3080           26899          736240         248278         10             2219           27   41   30   
1.58/1.69	c 3090           26985          738536         249030         10             2228           23   72   39   
1.58/1.69	c 3100           27042          739849         249508         10             2237           24   48   30   
1.58/1.69	c 3110           27128          742080         250285         10             2244           24   73   40   
1.58/1.69	c 3120           27215          744791         251229         10             2252           25   71   42   
1.58/1.69	c 3130           27265          745996         251684         10             2262           26   41   29   
1.58/1.69	c 3140           27346          748079         252379         10             2271           28   70   36   
1.69/1.70	c 3142           27372          748552         252590         10             2273           24   25   16   
1.69/1.70	c 3150           27418          749625         252993         10             2281           21   39   25   
1.69/1.70	c 3160           27640          754025         254342         10             2291           22   207   128 
1.69/1.70	c 3170           27704          756423         255439         10             2296           31   50   40   
1.69/1.70	c 3180           27761          757868         255910         10             2306           22   48   29   
1.69/1.71	c 3190           27841          760076         256568         10             2313           23   68   47   
1.69/1.71	c 3200           27918          762131         257216         10             2320           22   68   40   
1.69/1.71	c 3210           27995          764292         257873         10             2327           22   68   40   
1.69/1.71	c 3220           28127          766979         258649         10             2337           22   123   52  
1.69/1.72	c 3230           28205          769137         259299         10             2347           22   69   40   
1.69/1.72	c 3240           28265          770815         259816         10             2357           22   47   29   
1.69/1.72	c 3250           28347          772760         260461         10             2366           23   70   36   
1.69/1.72	c 3260           28424          774763         261071         10             2376           22   68   40   
1.69/1.72	c 3270           28502          776896         261734         10             2384           22   67   40   
1.69/1.72	c 3280           28564          778713         262278         10             2394           22   48   29   
1.69/1.73	c 3290           28653          781480         263174         10             2401           23   72   39   
1.69/1.73	c 3300           28784          784480         264143         10             2405           22   117   67  
1.69/1.73	c 3310           28865          786520         264783         10             2415           22   72   30   
1.69/1.73	c 3320           28973          788933         265499         10             2425           22   99   50   
1.69/1.74	c 3330           29053          791374         266297         10             2435           22   71   30   
1.69/1.74	c 3340           29130          793527         266949         10             2442           22   68   40   
1.69/1.74	c 3350           29335          796888         267948         10             2451           22   194   72  
1.69/1.74	c 3360           29423          799248         268667         10             2457           23   71   49   
1.69/1.75	c 3370           29504          801578         269365         10             2466           22   69   40   
1.69/1.75	c 3380           29582          803814         270053         10             2476           22   69   44   
1.69/1.75	c 3390           29659          806006         270753         10             2483           22   68   40   
1.69/1.75	c 3400           29737          808117         271417         10             2491           22   67   40   
1.69/1.75	c 3410           29814          810199         272068         10             2498           22   68   40   
1.69/1.76	c 3420           29932          812517         272744         10             2506           22   106   44  
1.69/1.76	c 3430           29995          814814         273572         10             2514           22   49   30   
1.69/1.76	c 3440           30072          817041         274271         10             2524           22   68   40   
1.69/1.76	c 3450           30149          819333         274976         10             2534           22   68   40   
1.69/1.77	c 3460           30226          821458         275671         10             2541           22   68   40   
1.69/1.77	c 3470           30317          823952         276449         10             2549           22   78   37   
1.69/1.77	c 3480           30409          826515         277313         10             2557           24   78   38   
1.69/1.77	c 3490           30491          828447         277949         10             2564           24   71   43   
1.69/1.77	c 3500           30569          830387         278655         10             2573           24   65   35   
1.69/1.78	c 3510           30672          833172         279604         10             2581           26   80   44   
1.69/1.78	c 3520           30757          835133         280279         10             2590           24   71   40   
1.69/1.78	c 3530           30886          837743         281201         10             2598           24   120   59  
1.69/1.78	c 3540           30990          840572         282148         10             2606           24   78   43   
1.69/1.79	c 3550           31066          842219         282687         10             2616           24   49   32   
1.69/1.79	c 3551           31088          842674         282869         10             2617           22   22   11   
1.69/1.79	c 3560           31161          844775         283592         10             2625           21   56   31   
1.69/1.79	c 3570           31226          846706         284216         10             2632           24   50   30   
1.69/1.79	c 3580           31407          850831         285527         10             2639           69   121   83  
1.79/1.80	c 3590           31496          852941         286262         10             2648           24   79   41   
1.79/1.80	c 3600           31556          854378         286757         10             2657           24   48   31   
1.79/1.80	c 3610           31619          855860         287246         10             2667           24   48   30   
1.79/1.80	c 3620           31678          857513         287764         10             2676           22   46   29   
1.79/1.80	c 3630           31752          859578         288382         10             2682           24   49   32   
1.79/1.81	c 3640           31924          863299         289595         10             2690           47   121   70  
1.79/1.81	c 3650           31986          864931         290142         10             2695           25   48   32   
1.79/1.81	c 3660           32094          867657         290893         10             2702           22   69   33   
1.79/1.81	c 3670           32163          869463         291508         10             2709           22   49   32   
1.79/1.82	c 3680           32250          871940         292263         10             2719           24   67   39   
1.79/1.82	c 3690           32336          874057         292957         10             2726           24   73   44   
1.79/1.82	c 3700           32441          878073         294367         10             2729           26   72   58   
1.79/1.82	c 3710           32524          879964         295002         10             2738           25   70   42   
1.79/1.82	c 3720           32587          881277         295488         10             2746           25   50   34   
1.79/1.83	c 3730           32669          883357         296224         10             2754           24   70   38   
1.79/1.83	c 3740           32752          885384         296899         10             2763           25   70   39   
1.79/1.83	c 3750           32834          887369         297560         10             2772           24   72   36   
1.79/1.83	c 3760           32912          889140         298149         10             2782           24   69   32   
1.79/1.84	c 3770           32992          891186         298783         10             2792           22   70   34   
1.79/1.84	c 3780           33089          893914         299630         10             2800           22   75   42   
1.79/1.84	c 3790           33141          895386         300116         10             2810           22   43   28   
1.79/1.84	c 3800           33305          900411         301862         10             2813           69   122   81  
1.79/1.85	c 3810           33362          902126         302460         10             2822           22   48   29   
1.79/1.85	c 3820           33484          905832         303742         10             2827           36   80   58   
1.79/1.85	c 3830           33596          909443         304858         10             2831           25   71   55   
1.79/1.86	c 3840           33756          913703         306198         10             2838           24   122   48  
1.79/1.86	c 3850           33856          916724         307192         10             2844           22   70   43   
1.79/1.86	c 3860           33962          920157         308316         10             2851           22   69   42   
1.79/1.86	c 3870           34024          921807         308983         10             2859           19   49   30   
1.79/1.87	c 3880           34085          924694         310498         10             2869           19   50   33   
1.79/1.87	c 3890           34167          926924         311210         10             2877           23   71   40   
1.79/1.87	c 3900           34278          930727         312381         10             2882           64   69   61   
1.79/1.87	c 3910           34355          933371         313292         10             2889           22   68   40   
1.79/1.88	c 3920           34439          935891         314154         10             2898           22   70   37   
1.79/1.88	c 3930           34516          937887         314763         10             2907           22   68   33   
1.79/1.88	c 3940           34648          940400         315523         10             2914           22   121   57  
1.79/1.88	c 3950           34746          943491         316473         10             2921           22   70   42   
1.79/1.89	c 3960           34838          946280         317321         10             2928           22   71   42   
1.79/1.89	c 3970           34917          948419         317979         10             2936           22   68   36   
1.79/1.89	c 3980           34999          950597         318663         10             2945           22   69   36   
1.79/1.89	c 3990           35075          952618         319281         10             2955           22   67   30   
1.79/1.90	c 4000           35152          954766         319936         10             2965           22   68   30   
1.89/1.90	c 4001           35174          955220         320119         10             2966           22   22   11   
1.89/1.90	c 4010           35257          957648         320870         10             2972           21   70   39   
1.89/1.90	c 4020           35334          959993         321641         10             2982           22   68   34   
1.89/1.90	c 4030           35464          962539         322444         10             2992           22   121   47  
1.89/1.91	c 4040           35555          965392         323377         10             3002           22   70   36   
1.89/1.91	c 4050           35645          968372         324411         10             3010           22   71   39   
1.89/1.91	c 4060           35725          970819         325187         10             3019           22   70   36   
1.89/1.91	c 4070           35807          973429         326064         10             3027           22   71   38   
1.89/1.92	c 4080           35935          976616         327137         10             3037           22   119   52  
1.89/1.92	c 4090           36064          978992         327852         10             3047           22   120   40  
1.89/1.92	c 4100           36142          981807         328852         10             3057           22   69   40   
1.89/1.92	c 4110           36222          983958         329536         10             3065           22   70   35   
1.89/1.93	c 4120           36299          986640         330462         10             3075           22   68   40   
1.89/1.93	c 4130           36433          989437         331284         10             3085           22   120   49  
1.89/1.93	c 4140           36514          991736         332015         10             3092           22   69   48   
1.89/1.93	c 4150           36642          993875         332711         10             3102           24   119   38  
1.89/1.94	c 4160           36787          997053         333803         10             3111           24   119   42  
1.89/1.94	c 4170           36918          999287         334539         10             3121           24   122   45  
1.89/1.94	c 4180           36969          1000613        335007         10             3131           24   42   28   
1.89/1.94	c 4190           37060          1003315        335957         10             3141           23   69   39   
1.89/1.95	c 4200           37140          1005278        336598         10             3150           22   69   35   
1.89/1.95	c 4210           37237          1008195        337531         10             3159           22   70   39   
1.89/1.95	c 4220           37328          1011209        338516         10             3163           29   71   53   
1.89/1.95	c 4230           37410          1013956        339577         10             3170           31   68   51   
1.89/1.96	c 4240           37497          1016621        340508         10             3173           57   68   59   
1.89/1.96	c 4250           37629          1019266        341304         10             3182           22   121   74  
1.89/1.96	c 4260           37763          1022191        342202         10             3190           22   120   70  
1.89/1.96	c 4270           37866          1025098        343088         10             3193           57   70   61   
1.89/1.97	c 4280           37961          1027634        343836         10             3196           57   70   60   
1.89/1.97	c 4290           38041          1029820        344512         10             3202           22   68   47   
1.89/1.97	c 4300           38103          1031295        345078         10             3209           24   49   31   
1.89/1.97	c 4310           38184          1033286        345778         10             3217           24   70   38   
1.89/1.97	c 4320           38261          1035080        346368         10             3227           24   68   31   
1.89/1.98	c 4330           38323          1036506        346907         10             3234           24   49   31   
1.89/1.98	c 4340           38402          1038337        347573         10             3243           24   70   39   
1.89/1.98	c 4350           38482          1040210        348192         10             3252           24   69   40   
1.89/1.98	c 4360           38533          1041473        348653         10             3259           24   42   30   
1.89/1.98	c 4370           38597          1042896        349186         10             3263           24   47   31   
1.89/1.98	c 4380           38677          1044724        349785         10             3271           23   71   36   
1.89/1.99	c 4390           38729          1046077        350277         10             3279           24   43   28   
1.89/1.99	c 4400           38809          1048299        351016         10             3287           22   69   38   
1.89/1.99	c 4410           38889          1050282        351645         10             3295           22   69   37   
1.89/1.99	c 4420           38972          1052662        352439         10             3303           22   70   35   
1.89/2.00	c 4430           39116          1055855        353463         10             3310           22   122   41  
1.99/2.00	c 4440           39205          1058388        354146         10             3313           39   70   48   
1.99/2.00	c 4450           39282          1060238        354788         10             3320           24   68   41   
1.99/2.00	c 4460           39348          1061798        355380         10             3327           24   49   33   
1.99/2.00	c 4470           39429          1063766        356114         10             3336           27   68   33   
1.99/2.01	c 4480           39507          1066109        356957         10             3346           28   69   37   
1.99/2.01	c 4490           39558          1067263        357400         10             3356           26   42   30   
1.99/2.01	c 4493           39589          1067819        357660         10             3358           26   27   19   
1.99/2.01	c 4500           39625          1068589        358035         10             3359           22   28   22   
1.99/2.01	c 4510           39674          1069832        358637         10             3364           22   28   23   
1.99/2.01	c 4520           39724          1071026        359073         10             3374           24   41   29   
1.99/2.01	c 4530           39777          1072334        359525         10             3385           25   43   30   
1.99/2.02	c 4540           39835          1074932        361045         10             3393           19   45   25   
1.99/2.02	c 4550           39913          1077205        361757         10             3401           22   67   40   
1.99/2.02	c 4560           39978          1078979        362364         10             3408           22   49   32   
1.99/2.02	c 4570           40057          1080909        363052         10             3416           26   70   41   
1.99/2.02	c 4580           40139          1083230        363897         10             3424           24   69   40   
1.99/2.03	c 4590           40191          1084494        364352         10             3434           24   43   30   
1.99/2.03	c 4600           40241          1085903        364821         10             3444           22   41   28   
1.99/2.03	c 4610           40302          1087558        365377         10             3451           23   48   30   
1.99/2.03	c 4620           40379          1089549        365982         10             3461           23   68   31   
1.99/2.03	c 4630           40445          1091344        366598         10             3468           22   49   32   
1.99/2.03	c 4640           40494          1092613        367059         10             3474           25   40   29   
1.99/2.03	c 4650           40555          1093874        367542         10             3481           27   46   34   
1.99/2.04	c 4660           40628          1095355        368057         10             3489           25   49   34   
1.99/2.04	c 4670           40679          1096939        368565         10             3496           21   39   26   
1.99/2.04	c 4680           40730          1098522        369073         10             3503           22   39   27   
1.99/2.04	c 4690           40783          1100101        369606         10             3510           26   40   30   
1.99/2.04	c 4700           40833          1101329        370054         10             3516           23   41   28   
1.99/2.04	c 4710           40884          1102914        370562         10             3524           22   38   27   
1.99/2.05	c 4720           40935          1104247        371033         10             3534           23   42   29   
1.99/2.05	c 4730           40992          1105823        371543         10             3542           22   48   30   
1.99/2.05	c 4740           41094          1108957        372574         10             3551           22   70   40   
1.99/2.05	c 4750           41152          1110667        373339         10             3558           19   44   24   
1.99/2.05	c 4760           41232          1112738        373957         10             3566           23   69   40   
1.99/2.06	c 4770           41368          1115695        374897         10             3575           22   121   56  
1.99/2.06	c 4780           41453          1117892        375532         10             3582           22   73   43   
1.99/2.06	c 4790           41523          1120208        376421         10             3589           19   49   24   
1.99/2.06	c 4800           41613          1122809        377330         10             3598           20   70   38   
1.99/2.07	c 4810           41681          1125213        378221         10             3605           19   47   25   
1.99/2.07	c 4820           41730          1127055        379010         10             3610           19   26   20   
1.99/2.07	c 4830           41773          1128246        379544         10             3613           20   24   20   
1.99/2.07	c 4840           41863          1130788        380303         10             3622           21   69   33   
1.99/2.07	c 4850           41945          1133039        380989         10             3630           22   68   39   
1.99/2.07	c 4860           42026          1135018        381555         10             3639           22   50   32   
1.99/2.08	c 4870           42111          1138254        382791         10             3643           56   70   60   
1.99/2.08	c 4880           42165          1139877        383300         10             3651           22   42   28   
1.99/2.08	c 4890           42214          1141750        384095         10             3656           20   26   22   
1.99/2.08	c 4900           42261          1143060        384661         10             3660           22   27   21   
1.99/2.08	c 4910           42304          1144250        385196         10             3664           20   24   20   
1.99/2.09	c 4920           42358          1145759        385677         10             3674           21   45   28   
1.99/2.09	c 4930           42420          1147618        386458         10             3680           22   48   34   
1.99/2.09	c 4940           42471          1149206        386979         10             3686           23   42   29   
1.99/2.09	c 4950           42610          1151776        387729         10             3693           25   120   40  
1.99/2.09	c 4960           42665          1153291        388213         10             3703           22   46   28   
1.99/2.09	c 4970           42719          1154758        388681         10             3713           22   45   28   
1.99/2.10	c 4980           42774          1156157        389152         10             3723           22   46   28   
2.09/2.10	c 4990           42828          1157584        389622         10             3733           22   45   28   
2.09/2.10	c 5035           43090          1165757        392285         10             3748           22   123   74  
2.20/2.27	c 5631           50335          1382811        479687         10             3763           22   195   156 
2.30/2.37	c 6286           53508          1501618        522504         10             3770           24   48   40   
2.39/2.46	c 7006           56641          1610911        556585         10             3779           28   49   40   
2.59/2.64	c 7798           62970          1844554        652232         10             3791           56   156   126 
2.89/2.90	c 8669           68544          2181139        780839         10             3802           38   97   83   
3.09/3.13	c 9627           75235          2472695        892893         10             3808           62   200   97  
3.30/3.38	c 10680          86292          2766563        1012586        10             3828           39   194   114 
3.59/3.68	c 11838          96313          3158262        1168319        10             3841           28   214   127 
3.89/3.92	c 13111          103984         3464112        1288934        10             3864           31   200   110 
4.19/4.21	c 14511          110960         3816691        1443230        10             3873           28   68   45   
4.50/4.57	c 16051          119244         4281989        1615779        10             3883           33   88   80   
4.99/5.06	c 17745          143212         4840424        1828319        10             3902           26   193   120 
5.60/5.63	c 19608          155401         5553788        2106969        10             3907           43   81   64   
5.99/6.03	c 21657          168742         6073598        2340558        10             3930           13   188   117 
6.39/6.44	c 23910          178770         6589634        2574762        10             3947           13   131   70  
7.09/7.10	c 26388          203836         7402837        2868674        10             3955           30   132   87  
7.59/7.62	c 29113          217876         8088817        3173648        10             3978           13   127   78  
8.59/8.61	c 32110          241596         9313991        3604286        10             3986           38   70   58   
9.59/9.64	c 35406          280380         10579896       4081590        10             4003           33   113   78  
10.19/10.28	c 39031          297526         11395204       4362999        11             4009           1   71   63    
10.79/10.80	c 43018          313020         12046656       4606491        11             4025           32   59   53   
12.29/12.35	c 47403          375813         13955539       5321643        11             4043           25   128   95  
13.29/13.36	c 52226          399591         15291239       5865321        11             4056           36   124   71  
13.89/13.96	c 57531          417728         16035580       6158144        11             4062           40   58   49   
14.69/14.76	c 63366          441425         17033628       6513095        11             4072           36   53   46   
16.09/16.18	c 69784          481975         18976318       7309614        11             4090           30   123   99  
16.99/17.10	c 76843          511081         20137236       7664258        11             4094           18   39   34   
18.29/18.35	c 84607          545669         21821305       8304896        11             4110           18   129   79  
20.48/20.53	c 93147          610440         24821132       9458457        11             4130           18   138   105 
21.88/21.96	c 102541         644712         26676680       10248793       11             4140           19   40   32   
23.09/23.15	c 112874         678108         28292394       10930392       11             4154           18   39   32   
26.08/26.17	c 124240         752691         32406383       12508946       11             4161           24   92   70   
29.58/29.70	c 136742         843156         37168862       14228402       11             4183           18   82   60   
33.28/33.31	c 150494         937982         41939924       15907597       11             4203           21   82   62   
35.29/35.31	c 165621         990144         44712784       17049677       11             4213           20   45   34   
39.48/39.52	c 182260         1099878        50207812       18961022       11             4227           35   80   66   
44.08/44.14	c 200562         1215209        56647706       21385893       11             4251           18   84   58   
46.18/46.25	c 220694         1275957        59520458       22577334       11             4265           23   59   45   
49.48/49.58	c 242839         1352985        63909979       24446839       11             4283           25   58   43   
53.68/53.78	c 267198         1445850        69472509       26707480       11             4295           23   58   40   
60.98/61.02	c 293992         1640425        79297468       30380173       11             4314           19   90   65   
66.08/66.12	c 323465         1749261        86085545       33323287       11             4328           21   60   41   
71.98/72.07	c 355885         1912180        94027001       36373086       11             4349           18   109   45  
79.18/79.28	c 391547         2093015        103710825      40182696       11             4369           19   89   46   
89.08/89.18	c 430775         2361862        116880548      44932068       11             4394           18   85   63   
98.77/98.81	c 473925         2614805        129755325      50006011       11             4411           16   116   63  
109.67/109.79	c 521390         2908816        144783804      55323279       11             4424           23   91   56   
119.88/119.96	c 573601         3151218        158563291      60439517       11             4442           18   113   51  
136.07/136.16	c 631033         3594265        180925045      68027244       11             4468           26   104   80  
144.18/144.29	c 694208         3853363        191594325      71680260       11             4481           24   58   45   
159.67/159.74	c 763700         4299469        212456851      78960377       11             4503           21   104   69  
181.17/181.21	c 840141         4923340        240814186      88724265       11             4524           22   94   71   
201.37/201.41	c 924226         5470932        267239046      98031762       11             4543           14   84   68   
214.06/214.15	c 1016719        5845586        284123067      104244835      11             4556           25   70   54   
227.86/227.90	c 1118461        6258843        302245390      110830643      11             4575           27   70   55   
247.66/247.70	c 1230377        6771954        328216911      120385292      11             4599           19   70   58   
266.26/266.35	c 1353484        7289780        352881094      130178829      11             4620           23   70   59   
283.46/283.59	c 1488901        7808668        375469430      138765823      11             4638           20   70   57   
309.06/309.16	c 1637859        8519998        409837195      151513256      11             4658           30   88   61   
343.35/343.40	c 1801712        9388124        456826103      169511132      11             4683           18   87   66   
378.15/378.27	c 1981950        10233919       502284171      187331737      11             4698           24   73   51   
425.94/426.00	c 2180211        11372507       570675302      211626835      11             4713           37   94   81   
467.24/467.35	c 2398298        12233449       626249518      233219461      11             4728           30   62   49   
515.14/515.25	c 2638193        13277332       689118553      257263459      11             4737           23   64   43   
570.84/570.94	c 2902077        14836981       766829935      288031992      11             4763           20   106   75  
627.42/627.58	c 3192349        16183051       842414574      321732650      11             4778           34   86   68   
691.22/691.34	c 3511648        17845484       926652517      354818171      11             4800           13   104   64  
763.91/764.00	c 3862876        19717703       1023775950     391445627      11             4824           15   93   62   
817.81/817.92	c 4249226        21330783       1099112348     415895786      11             4840           31   95   58   
889.60/889.79	c 4674211        23654162       1195932341     449441833      11             4859           21   92   68   
969.10/969.29	c 5141694        25942210       1303129553     487561904      11             4874           25   109   57  
1086.39/1086.55	c 5655925        30291330       1459250608     538421647      11             4889           19   92   69   
1173.18/1173.30	c 6221579        32785766       1576202980     582377690      11             4910           20   88   53   
1296.57/1296.79	c 6843798        36178068       1739116298     640702409      11             4922           23   100   56  
1475.95/1476.16	c 7528238        43888074       1959483845     716525375      11             4937           37   109   71  
1660.14/1660.35	c 8281122        51218904       2188590728     793458133      11             4948           36   159   70  
1866.83/1867.02	c 9109294        63705087       2410753144     878358817      11             4974           25   128   76  
2108.41/2108.62	c 10020283       77478417       2672486674     976962227      11             4990           39   145   74  
2292.09/2292.40	c 11022370       86262492       2888700468     1058579852     11             5008           23   183   63  

One s line expected

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-4240727-1500626241/watcher-4240727-1500626241 -o /tmp/evaluation-result-4240727-1500626241/solver-4240727-1500626241 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4413 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240727-1500626241.xml 

pid=6218
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.06 2.06 1.90 3/186 6221
/proc/meminfo: memFree=28817360/32770624 swapFree=6240/1301440
[pid=6221] ppid=6218 vsize=27124 CPUtime=0 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 997 0 0 0 0 0 0 0 20 0 1 0 15900355 27774976 832 33554432000 4194304 5970956 140724929163584 140724929160184 140711195610085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 6781 832 703 434 0 145 0

[startup+0.100172 s]
/proc/loadavg: 2.06 2.06 1.90 3/186 6221
/proc/meminfo: memFree=28817360/32770624 swapFree=6240/1301440
[pid=6221] ppid=6218 vsize=29208 CPUtime=0.09 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 1588 0 0 0 9 0 0 0 20 0 1 0 15900355 29908992 1385 33554432000 4194304 5970956 140724929163584 140724929157416 140711195610085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 7302 1385 790 434 0 666 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29208

[startup+0.200352 s]
/proc/loadavg: 2.06 2.06 1.90 3/186 6221
/proc/meminfo: memFree=28817360/32770624 swapFree=6240/1301440
[pid=6221] ppid=6218 vsize=30536 CPUtime=0.19 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 1921 0 0 0 19 0 0 0 20 0 1 0 15900355 31268864 1711 33554432000 4194304 5970956 140724929163584 140724929157416 140711195610085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 7634 1711 790 434 0 998 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 30536

[startup+0.30032 s]
/proc/loadavg: 2.06 2.06 1.90 3/186 6221
/proc/meminfo: memFree=28817360/32770624 swapFree=6240/1301440
[pid=6221] ppid=6218 vsize=32124 CPUtime=0.29 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 2309 0 0 0 29 0 0 0 20 0 1 0 15900355 32894976 2146 33554432000 4194304 5970956 140724929163584 140724929157016 140711195658144 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 8031 2146 790 434 0 1395 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32124

[startup+0.70028 s]
/proc/loadavg: 2.06 2.06 1.90 3/186 6221
/proc/meminfo: memFree=28817360/32770624 swapFree=6240/1301440
[pid=6221] ppid=6218 vsize=38288 CPUtime=0.69 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 3861 0 0 0 69 0 0 0 20 0 1 0 15900355 39206912 3655 33554432000 4194304 5970956 140724929163584 140724929157112 140711195610085 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 9572 3655 790 434 0 2936 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 38288

[startup+1.50028 s]
/proc/loadavg: 2.06 2.06 1.90 3/187 6222
/proc/meminfo: memFree=28726820/32770624 swapFree=6240/1301464
[pid=6221] ppid=6218 vsize=49516 CPUtime=1.48 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 5679 0 0 0 148 0 0 0 20 0 1 0 15900355 50704384 5460 33554432000 4194304 5970956 140724929163584 140724929160920 5272605 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12379 5460 833 434 0 5743 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 49516

[startup+3.10027 s]
/proc/loadavg: 2.06 2.06 1.90 3/187 6222
/proc/meminfo: memFree=28652296/32770624 swapFree=6240/1301464
[pid=6221] ppid=6218 vsize=49780 CPUtime=3.09 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 7373 0 0 0 308 1 0 0 20 0 1 0 15900355 50974720 5663 33554432000 4194304 5970956 140724929163584 140724929160920 5311648 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12445 5663 833 434 0 5809 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49780

[startup+6.30028 s]
/proc/loadavg: 2.05 2.05 1.90 3/187 6222
/proc/meminfo: memFree=28432148/32770624 swapFree=6240/1301464
[pid=6221] ppid=6218 vsize=49912 CPUtime=6.29 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 9012 0 0 0 628 1 0 0 20 0 1 0 15900355 51109888 5716 33554432000 4194304 5970956 140724929163584 140724929160920 5136560 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12478 5716 833 434 0 5842 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49912

[startup+12.7003 s]
/proc/loadavg: 2.21 2.09 1.91 3/187 6284
/proc/meminfo: memFree=30415592/32770624 swapFree=6240/1301688
[pid=6221] ppid=6218 vsize=49912 CPUtime=12.69 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 10637 0 0 0 1268 1 0 0 20 0 1 0 15900355 51109888 5741 33554432000 4194304 5970956 140724929163584 140724929160920 5069728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12478 5741 833 434 0 5842 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 49912

[startup+25.5003 s]
/proc/loadavg: 2.16 2.08 1.91 3/187 6284
/proc/meminfo: memFree=17425940/32770624 swapFree=6240/1301712
[pid=6221] ppid=6218 vsize=49912 CPUtime=25.48 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 12852 0 0 0 2547 1 0 0 20 0 1 0 15900355 51109888 5748 33554432000 4194304 5970956 140724929163584 140724929160920 5038721 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12478 5748 833 434 0 5842 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 49912

[startup+51.1003 s]
/proc/loadavg: 2.17 2.09 1.92 3/187 6345
/proc/meminfo: memFree=30670280/32770624 swapFree=6240/1301780
[pid=6221] ppid=6218 vsize=49912 CPUtime=51.08 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 13460 0 0 0 5107 1 0 0 20 0 1 0 15900355 51109888 5752 33554432000 4194304 5970956 140724929163584 140724929160920 5052095 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12478 5752 833 434 0 5842 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 49912

[startup+102.3 s]
/proc/loadavg: 2.07 2.08 1.92 3/187 6346
/proc/meminfo: memFree=30670040/32770624 swapFree=6240/1301852
[pid=6221] ppid=6218 vsize=49912 CPUtime=102.28 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 14067 0 0 0 10227 1 0 0 20 0 1 0 15900355 51109888 5755 33554432000 4194304 5970956 140724929163584 140724929160920 4964389 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12478 5755 833 434 0 5842 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 49912

[startup+162.3 s]
/proc/loadavg: 2.03 2.06 1.93 3/187 6354
/proc/meminfo: memFree=30668872/32770624 swapFree=6240/1301916
[pid=6221] ppid=6218 vsize=49912 CPUtime=162.27 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 14684 0 0 0 16226 1 0 0 20 0 1 0 15900355 51109888 5759 33554432000 4194304 5970956 140724929163584 140724929160920 5052118 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12478 5759 833 434 0 5842 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 49912

[startup+222.306 s]
/proc/loadavg: 2.01 2.05 1.93 3/187 6355
/proc/meminfo: memFree=30669032/32770624 swapFree=6240/1301976
[pid=6221] ppid=6218 vsize=49912 CPUtime=222.27 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 15295 0 0 0 22226 1 0 0 20 0 1 0 15900355 51109888 5762 33554432000 4194304 5970956 140724929163584 140724929160920 5038183 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12478 5762 833 434 0 5842 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 49912

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 1.94 3/187 6356
/proc/meminfo: memFree=30668600/32770624 swapFree=6240/1302012
[pid=6221] ppid=6218 vsize=50044 CPUtime=282.26 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 15924 0 0 0 28225 1 0 0 20 0 1 0 15900355 51245056 5776 33554432000 4194304 5970956 140724929163584 140724929160920 4967825 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12511 5776 833 434 0 5875 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 50044

[startup+342.3 s]
/proc/loadavg: 2.08 2.05 1.95 3/187 6357
/proc/meminfo: memFree=30669096/32770624 swapFree=6240/1302048
[pid=6221] ppid=6218 vsize=50044 CPUtime=342.25 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 16549 0 0 0 34224 1 0 0 20 0 1 0 15900355 51245056 5777 33554432000 4194304 5970956 140724929163584 140724929160920 5052095 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12511 5777 833 434 0 5875 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 50044

[startup+402.3 s]
/proc/loadavg: 2.03 2.04 1.95 3/187 6358
/proc/meminfo: memFree=30669096/32770624 swapFree=6240/1302084
[pid=6221] ppid=6218 vsize=50044 CPUtime=402.25 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 17157 0 0 0 40224 1 0 0 20 0 1 0 15900355 51245056 5779 33554432000 4194304 5970956 140724929163584 140724929160920 5069728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12511 5779 833 434 0 5875 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 50044

[startup+462.3 s]
/proc/loadavg: 2.01 2.04 1.95 3/187 6359
/proc/meminfo: memFree=30668716/32770624 swapFree=6240/1302112
[pid=6221] ppid=6218 vsize=50044 CPUtime=462.24 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 17769 0 0 0 46223 1 0 0 20 0 1 0 15900355 51245056 5780 33554432000 4194304 5970956 140724929163584 140724929160920 5337501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12511 5780 833 434 0 5875 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 50044

[startup+522.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/187 6360
/proc/meminfo: memFree=30668732/32770624 swapFree=6240/1302148
[pid=6221] ppid=6218 vsize=50044 CPUtime=522.24 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 18404 0 0 0 52223 1 0 0 20 0 1 0 15900355 51245056 5781 33554432000 4194304 5970956 140724929163584 140724929160920 5337509 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12511 5781 833 434 0 5875 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 50044

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/187 6361
/proc/meminfo: memFree=30668988/32770624 swapFree=6240/1302192
[pid=6221] ppid=6218 vsize=50180 CPUtime=582.23 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 19064 0 0 0 58222 1 0 0 20 0 1 0 15900355 51384320 5791 33554432000 4194304 5970956 140724929163584 140724929160920 5136801 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5791 833 434 0 5909 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 50180


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


[startup+1542.31 s]
/proc/loadavg: 2.02 2.02 1.97 3/188 6417
/proc/meminfo: memFree=30665864/32770624 swapFree=6240/1302784
[pid=6221] ppid=6218 vsize=50180 CPUtime=1542.15 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 28642 0 0 0 154214 1 0 0 20 0 1 0 15900355 51384320 5811 33554432000 4194304 5970956 140724929163584 140724929160920 5136570 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5811 833 434 0 5909 0
Current children cumulated CPU time (s) 1542.15
Current children cumulated vsize (KiB) 50180

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/188 6418
/proc/meminfo: memFree=30665864/32770624 swapFree=6240/1302816
[pid=6221] ppid=6218 vsize=50180 CPUtime=1602.14 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 29022 0 0 0 160213 1 0 0 20 0 1 0 15900355 51384320 5811 33554432000 4194304 5970956 140724929163584 140724929160920 5337497 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5811 833 434 0 5909 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 50180

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 6419
/proc/meminfo: memFree=30665732/32770624 swapFree=6240/1302840
[pid=6221] ppid=6218 vsize=50180 CPUtime=1662.14 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 29624 0 0 0 166213 1 0 0 20 0 1 0 15900355 51384320 5811 33554432000 4194304 5970956 140724929163584 140724929160920 4964389 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5811 833 434 0 5909 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 50180

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6420
/proc/meminfo: memFree=30665932/32770624 swapFree=6240/1302868
[pid=6221] ppid=6218 vsize=50180 CPUtime=1722.14 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 30283 0 0 0 172212 2 0 0 20 0 1 0 15900355 51384320 5811 33554432000 4194304 5970956 140724929163584 140724929160920 5337501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5811 833 434 0 5909 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 50180

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6421
/proc/meminfo: memFree=30666072/32770624 swapFree=6240/1302892
[pid=6221] ppid=6218 vsize=50180 CPUtime=1782.14 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 30908 0 0 0 178212 2 0 0 20 0 1 0 15900355 51384320 5811 33554432000 4194304 5970956 140724929163584 140724929160920 5337501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5811 833 434 0 5909 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 50180

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6422
/proc/meminfo: memFree=30665132/32770624 swapFree=6240/1302932
[pid=6221] ppid=6218 vsize=50180 CPUtime=1842.13 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 31532 0 0 0 184211 2 0 0 20 0 1 0 15900355 51384320 5811 33554432000 4194304 5970956 140724929163584 140724929160920 5038696 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5811 833 434 0 5909 0
Current children cumulated CPU time (s) 1842.13
Current children cumulated vsize (KiB) 50180

[startup+1902.3 s]
/proc/loadavg: 2.03 2.03 1.97 3/187 6423
/proc/meminfo: memFree=30665380/32770624 swapFree=6240/1302964
[pid=6221] ppid=6218 vsize=50180 CPUtime=1902.13 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 32174 0 0 0 190211 2 0 0 20 0 1 0 15900355 51384320 5812 33554432000 4194304 5970956 140724929163584 140724929160920 5038701 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5812 833 434 0 5909 0
Current children cumulated CPU time (s) 1902.13
Current children cumulated vsize (KiB) 50180

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/187 6431
/proc/meminfo: memFree=30664752/32770624 swapFree=6240/1302992
[pid=6221] ppid=6218 vsize=50180 CPUtime=1962.12 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 32781 0 0 0 196210 2 0 0 20 0 1 0 15900355 51384320 5812 33554432000 4194304 5970956 140724929163584 140724929160920 4964389 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5812 833 434 0 5909 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 50180

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6432
/proc/meminfo: memFree=30665472/32770624 swapFree=6240/1303028
[pid=6221] ppid=6218 vsize=50180 CPUtime=2022.12 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 33387 0 0 0 202210 2 0 0 20 0 1 0 15900355 51384320 5812 33554432000 4194304 5970956 140724929163584 140724929160920 4964944 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5812 833 434 0 5909 0
Current children cumulated CPU time (s) 2022.12
Current children cumulated vsize (KiB) 50180

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6433
/proc/meminfo: memFree=30665380/32770624 swapFree=6240/1303060
[pid=6221] ppid=6218 vsize=50180 CPUtime=2082.12 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 33977 0 0 0 208210 2 0 0 20 0 1 0 15900355 51384320 5812 33554432000 4194304 5970956 140724929163584 140724929160920 5136625 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5812 833 434 0 5909 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 50180

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6434
/proc/meminfo: memFree=30665504/32770624 swapFree=6240/1303100
[pid=6221] ppid=6218 vsize=50180 CPUtime=2142.1 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 34620 0 0 0 214208 2 0 0 20 0 1 0 15900355 51384320 5813 33554432000 4194304 5970956 140724929163584 140724929160920 5136634 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5813 833 434 0 5909 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 50180

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6435
/proc/meminfo: memFree=30665380/32770624 swapFree=6240/1303124
[pid=6221] ppid=6218 vsize=50180 CPUtime=2202.1 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 35204 0 0 0 220208 2 0 0 20 0 1 0 15900355 51384320 5813 33554432000 4194304 5970956 140724929163584 140724929160920 5337501 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5813 833 434 0 5909 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 50180

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6436
/proc/meminfo: memFree=30665160/32770624 swapFree=6240/1303152
[pid=6221] ppid=6218 vsize=50180 CPUtime=2262.09 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 35619 0 0 0 226207 2 0 0 20 0 1 0 15900355 51384320 5813 33554432000 4194304 5970956 140724929163584 140724929160920 5038512 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5813 833 434 0 5909 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 50180

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 6437
/proc/meminfo: memFree=30664944/32770624 swapFree=6240/1303184
[pid=6221] ppid=6218 vsize=50180 CPUtime=2322.09 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 36256 0 0 0 232207 2 0 0 20 0 1 0 15900355 51384320 5814 33554432000 4194304 5970956 140724929163584 140724929160920 5098954 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5814 833 434 0 5909 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 50180

[startup+2382.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/187 6438
/proc/meminfo: memFree=30664448/32770624 swapFree=6240/1303216
[pid=6221] ppid=6218 vsize=50180 CPUtime=2382.08 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 36801 0 0 0 238206 2 0 0 20 0 1 0 15900355 51384320 5814 33554432000 4194304 5970956 140724929163584 140724929160920 4961411 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5814 833 434 0 5909 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 50180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.31 s]
/proc/loadavg: 2.03 2.02 1.98 3/187 6438
/proc/meminfo: memFree=30664572/32770624 swapFree=6240/1303224
[pid=6221] ppid=6218 vsize=50180 CPUtime=2400.09 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 37317 0 0 0 240007 2 0 0 20 0 1 0 15900355 51384320 5814 33554432000 4194304 5970956 140724929163584 140724929160920 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5814 833 434 0 5909 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 50180

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

[startup+2400.31 s]
/proc/loadavg: 2.03 2.02 1.98 3/187 6438
/proc/meminfo: memFree=30664572/32770624 swapFree=6240/1303224
[pid=6221] ppid=6218 vsize=50180 CPUtime=2400.09 cores=0,2,4,6
/proc/6221/stat : 6221 (cosoco) R 6218 6221 4382 0 -1 4202496 37317 0 0 0 240007 2 0 0 20 0 1 0 15900355 51384320 5814 33554432000 4194304 5970956 140724929163584 140724929160920 5136608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 27955200 140724929168572 140724929168707 140724929168707 140724929171406 0
/proc/6221/statm: 12545 5814 833 434 0 5909 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 50180

Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.1
CPU user time (s): 2400.07
CPU system time (s): 0.027997
CPU usage (%): 99.9914
Max. virtual memory (cumulated for all children) (KiB): 50180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.027997
maximum resident set size= 23300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37344
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= 14
involuntary context switches= 123022

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68088 second user time and 9.04006 second system time

The end

Begin job on node130 at 2017-07-21 10:37:21
IDJOB=4240727
IDBENCH=123769
IDSOLVER=2621
FILE ID=node130/4240727-1500626241
RUNJOBID= node130-1500623778-4413
PBS_JOBID= 20623003
Free space on /tmp= 61960 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Bibd/Bibd-sc-stab2/Bibd-sc-10-05-04.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240727-1500626241/watcher-4240727-1500626241 -o /tmp/evaluation-result-4240727-1500626241/solver-4240727-1500626241 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500623778-4413 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240727-1500626241.xml

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

MD5SUM BENCH= e9f6f40743648773adf3c8e081ae5e9b
RANDOM SEED=985890178

node130.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.18
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.18
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		: 1867.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.18
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		: 2133.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.18
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:        28819220 kB
MemAvailable:   30145296 kB
Buffers:          158000 kB
Cached:          1445876 kB
SwapCached:            0 kB
Active:          2213832 kB
Inactive:        1310500 kB
Active(anon):    1922704 kB
Inactive(anon):     8800 kB
Active(file):     291128 kB
Inactive(file):  1301700 kB
Unevictable:        6240 kB
Mlocked:            6240 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2464 kB
Writeback:             0 kB
AnonPages:       1925288 kB
Mapped:            33956 kB
Shmem:              8852 kB
Slab:             123668 kB
SReclaimable:      98164 kB
SUnreclaim:        25504 kB
KernelStack:        3360 kB
PageTables:         8672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2195784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 61960 MiB
End job on node130 at 2017-07-21 11:17:21