0.89/0.95	c root propagations     : 0           
0.89/0.95	c restarts enabled, print stats at every restarts
0.89/0.95	c
0.89/0.95	c
0.89/0.95	c
0.89/0.95	c This is cosoco 1.0 --  
0.89/0.95	c
0.89/0.95	c ========================================[ Problem Statistics ]===========================================
0.89/0.95	c |                                                                                                       
0.89/0.95	c |  Parse time        :         0.93 s 
0.89/0.95	c |
0.89/0.95	c |               Variables: 1980
0.89/0.95	c |            Domain Sizes: 2..2
0.89/0.95	c |
0.89/0.95	c |             Constraints: 909
0.89/0.95	c |                   Arity: 3..36  -- Ternary: 810
0.89/0.95	c | 
0.89/0.95	c |                   Types: 
0.89/0.95	c |                          Intension: 810
0.89/0.95	c |                          Lex: 26
0.89/0.95	c |                          Sum: 73
0.89/0.95	c |                          
0.89/0.95	c =========================================================================================================
0.89/0.95	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.89/0.95	c remove useless variable s[0][0][0]
0.89/0.95	c remove useless variable s[0][0][1]
0.89/0.95	c remove useless variable s[0][0][2]
0.89/0.95	c remove useless variable s[0][0][3]
0.89/0.95	c remove useless variable s[0][0][4]
0.89/0.95	c remove useless variable s[0][0][5]
0.89/0.95	c remove useless variable s[0][0][6]
0.89/0.95	c remove useless variable s[0][0][7]
0.89/0.95	c remove useless variable s[0][0][8]
0.89/0.95	c remove useless variable s[0][0][9]
0.89/0.95	c remove useless variable s[0][0][10]
0.89/0.95	c remove useless variable s[0][0][11]
0.89/0.95	c remove useless variable s[0][0][12]
0.89/0.95	c remove useless variable s[0][0][13]
0.89/0.95	c remove useless variable s[0][0][14]
0.89/0.95	c remove useless variable s[0][0][15]
0.89/0.95	c remove useless variable s[0][0][16]
0.89/0.95	c remove useless variable s[0][0][17]
0.89/0.95	c remove useless variable s[1][0][0]
0.89/0.95	c remove useless variable s[1][0][1]
0.89/0.95	c remove useless variable s[1][0][2]
0.89/0.95	c remove useless variable s[1][0][3]
0.89/0.95	c remove useless variable s[1][0][4]
0.89/0.95	c remove useless variable s[1][0][5]
0.89/0.95	c remove useless variable s[1][0][6]
0.89/0.95	c remove useless variable s[1][0][7]
0.89/0.95	c remove useless variable s[1][0][8]
0.89/0.95	c remove useless variable s[1][0][9]
0.89/0.95	c remove useless variable s[1][0][10]
0.89/0.95	c remove useless variable s[1][0][11]
0.89/0.95	c remove useless variable s[1][0][12]
0.89/0.95	c remove useless variable s[1][0][13]
0.89/0.95	c remove useless variable s[1][0][14]
0.89/0.95	c remove useless variable s[1][0][15]
0.89/0.95	c remove useless variable s[1][0][16]
0.89/0.95	c remove useless variable s[1][0][17]
0.89/0.95	c remove useless variable s[1][1][0]
0.89/0.95	c remove useless variable s[1][1][1]
0.89/0.95	c remove useless variable s[1][1][2]
0.89/0.95	c remove useless variable s[1][1][3]
0.89/0.95	c remove useless variable s[1][1][4]
0.89/0.95	c remove useless variable s[1][1][5]
0.89/0.95	c remove useless variable s[1][1][6]
0.89/0.95	c remove useless variable s[1][1][7]
0.89/0.95	c remove useless variable s[1][1][8]
0.89/0.95	c remove useless variable s[1][1][9]
0.89/0.95	c remove useless variable s[1][1][10]
0.89/0.95	c remove useless variable s[1][1][11]
0.89/0.95	c remove useless variable s[1][1][12]
0.89/0.95	c remove useless variable s[1][1][13]
0.89/0.95	c remove useless variable s[1][1][14]
0.89/0.95	c remove useless variable s[1][1][15]
0.89/0.95	c remove useless variable s[1][1][16]
0.89/0.95	c remove useless variable s[1][1][17]
0.89/0.95	c remove useless variable s[2][0][0]
0.89/0.95	c remove useless variable s[2][0][1]
0.89/0.95	c remove useless variable s[2][0][2]
0.89/0.95	c remove useless variable s[2][0][3]
0.89/0.95	c remove useless variable s[2][0][4]
0.89/0.95	c remove useless variable s[2][0][5]
0.89/0.95	c remove useless variable s[2][0][6]
0.89/0.95	c remove useless variable s[2][0][7]
0.89/0.95	c remove useless variable s[2][0][8]
0.89/0.95	c remove useless variable s[2][0][9]
0.89/0.95	c remove useless variable s[2][0][10]
0.89/0.95	c remove useless variable s[2][0][11]
0.89/0.95	c remove useless variable s[2][0][12]
0.89/0.95	c remove useless variable s[2][0][13]
0.89/0.95	c remove useless variable s[2][0][14]
0.89/0.95	c remove useless variable s[2][0][15]
0.89/0.95	c remove useless variable s[2][0][16]
0.89/0.95	c remove useless variable s[2][0][17]
0.89/0.95	c remove useless variable s[2][1][0]
0.89/0.95	c remove useless variable s[2][1][1]
0.89/0.95	c remove useless variable s[2][1][2]
0.89/0.95	c remove useless variable s[2][1][3]
0.89/0.95	c remove useless variable s[2][1][4]
0.89/0.95	c remove useless variable s[2][1][5]
0.89/0.95	c remove useless variable s[2][1][6]
0.89/0.95	c remove useless variable s[2][1][7]
0.89/0.95	c remove useless variable s[2][1][8]
0.89/0.95	c remove useless variable s[2][1][9]
0.89/0.95	c remove useless variable s[2][1][10]
0.89/0.95	c remove useless variable s[2][1][11]
0.89/0.95	c remove useless variable s[2][1][12]
0.89/0.95	c remove useless variable s[2][1][13]
0.89/0.95	c remove useless variable s[2][1][14]
0.89/0.95	c remove useless variable s[2][1][15]
0.89/0.95	c remove useless variable s[2][1][16]
0.89/0.95	c remove useless variable s[2][1][17]
0.89/0.95	c remove useless variable s[2][2][0]
0.89/0.95	c remove useless variable s[2][2][1]
0.89/0.95	c remove useless variable s[2][2][2]
0.89/0.95	c remove useless variable s[2][2][3]
0.89/0.95	c remove useless variable s[2][2][4]
0.89/0.95	c remove useless variable s[2][2][5]
0.89/0.95	c remove useless variable s[2][2][6]
0.89/0.95	c remove useless variable s[2][2][7]
0.89/0.95	c remove useless variable s[2][2][8]
0.89/0.95	c remove useless variable s[2][2][9]
0.89/0.95	c remove useless variable s[2][2][10]
0.89/0.95	c remove useless variable s[2][2][11]
0.89/0.95	c remove useless variable s[2][2][12]
0.89/0.95	c remove useless variable s[2][2][13]
0.89/0.95	c remove useless variable s[2][2][14]
0.89/0.95	c remove useless variable s[2][2][15]
0.89/0.95	c remove useless variable s[2][2][16]
0.89/0.95	c remove useless variable s[2][2][17]
0.89/0.95	c remove useless variable s[3][0][0]
0.89/0.95	c remove useless variable s[3][0][1]
0.89/0.95	c remove useless variable s[3][0][2]
0.89/0.95	c remove useless variable s[3][0][3]
0.89/0.95	c remove useless variable s[3][0][4]
0.89/0.95	c remove useless variable s[3][0][5]
0.89/0.95	c remove useless variable s[3][0][6]
0.89/0.95	c remove useless variable s[3][0][7]
0.89/0.95	c remove useless variable s[3][0][8]
0.89/0.95	c remove useless variable s[3][0][9]
0.89/0.95	c remove useless variable s[3][0][10]
0.89/0.95	c remove useless variable s[3][0][11]
0.89/0.95	c remove useless variable s[3][0][12]
0.89/0.95	c remove useless variable s[3][0][13]
0.89/0.95	c remove useless variable s[3][0][14]
0.89/0.95	c remove useless variable s[3][0][15]
0.89/0.95	c remove useless variable s[3][0][16]
0.89/0.95	c remove useless variable s[3][0][17]
0.89/0.95	c remove useless variable s[3][1][0]
0.89/0.95	c remove useless variable s[3][1][1]
0.89/0.95	c remove useless variable s[3][1][2]
0.89/0.95	c remove useless variable s[3][1][3]
0.89/0.95	c remove useless variable s[3][1][4]
0.89/0.95	c remove useless variable s[3][1][5]
0.89/0.95	c remove useless variable s[3][1][6]
0.89/0.95	c remove useless variable s[3][1][7]
0.89/0.95	c remove useless variable s[3][1][8]
0.89/0.95	c remove useless variable s[3][1][9]
0.89/0.95	c remove useless variable s[3][1][10]
0.89/0.95	c remove useless variable s[3][1][11]
0.89/0.95	c remove useless variable s[3][1][12]
0.89/0.95	c remove useless variable s[3][1][13]
0.89/0.95	c remove useless variable s[3][1][14]
0.89/0.95	c remove useless variable s[3][1][15]
0.89/0.95	c remove useless variable s[3][1][16]
0.89/0.95	c remove useless variable s[3][1][17]
0.89/0.95	c remove useless variable s[3][2][0]
0.89/0.95	c remove useless variable s[3][2][1]
0.89/0.95	c remove useless variable s[3][2][2]
0.89/0.95	c remove useless variable s[3][2][3]
0.89/0.95	c remove useless variable s[3][2][4]
0.89/0.95	c remove useless variable s[3][2][5]
0.89/0.95	c remove useless variable s[3][2][6]
0.89/0.95	c remove useless variable s[3][2][7]
0.89/0.95	c remove useless variable s[3][2][8]
0.89/0.95	c remove useless variable s[3][2][9]
0.89/0.95	c remove useless variable s[3][2][10]
0.89/0.95	c remove useless variable s[3][2][11]
0.89/0.95	c remove useless variable s[3][2][12]
0.89/0.95	c remove useless variable s[3][2][13]
0.89/0.95	c remove useless variable s[3][2][14]
0.89/0.95	c remove useless variable s[3][2][15]
0.89/0.95	c remove useless variable s[3][2][16]
0.89/0.95	c remove useless variable s[3][2][17]
0.89/0.95	c remove useless variable s[3][3][0]
0.89/0.95	c remove useless variable s[3][3][1]
0.89/0.95	c remove useless variable s[3][3][2]
0.89/0.95	c remove useless variable s[3][3][3]
0.89/0.95	c remove useless variable s[3][3][4]
0.89/0.95	c remove useless variable s[3][3][5]
0.89/0.95	c remove useless variable s[3][3][6]
0.89/0.95	c remove useless variable s[3][3][7]
0.89/0.95	c remove useless variable s[3][3][8]
0.89/0.95	c remove useless variable s[3][3][9]
0.89/0.95	c remove useless variable s[3][3][10]
0.89/0.95	c remove useless variable s[3][3][11]
0.89/0.95	c remove useless variable s[3][3][12]
0.89/0.95	c remove useless variable s[3][3][13]
0.89/0.95	c remove useless variable s[3][3][14]
0.89/0.95	c remove useless variable s[3][3][15]
0.89/0.95	c remove useless variable s[3][3][16]
0.89/0.95	c remove useless variable s[3][3][17]
0.89/0.95	c remove useless variable s[4][0][0]
0.89/0.95	c remove useless variable s[4][0][1]
0.89/0.95	c remove useless variable s[4][0][2]
0.89/0.95	c remove useless variable s[4][0][3]
0.89/0.95	c remove useless variable s[4][0][4]
0.89/0.95	c remove useless variable s[4][0][5]
0.89/0.95	c remove useless variable s[4][0][6]
0.89/0.95	c remove useless variable s[4][0][7]
0.89/0.95	c remove useless variable s[4][0][8]
0.89/0.95	c remove useless variable s[4][0][9]
0.89/0.95	c remove useless variable s[4][0][10]
0.89/0.95	c remove useless variable s[4][0][11]
0.89/0.95	c remove useless variable s[4][0][12]
0.89/0.95	c remove useless variable s[4][0][13]
0.89/0.95	c remove useless variable s[4][0][14]
0.89/0.95	c remove useless variable s[4][0][15]
0.89/0.95	c remove useless variable s[4][0][16]
0.89/0.95	c remove useless variable s[4][0][17]
0.89/0.95	c remove useless variable s[4][1][0]
0.89/0.95	c remove useless variable s[4][1][1]
0.89/0.95	c remove useless variable s[4][1][2]
0.89/0.95	c remove useless variable s[4][1][3]
0.89/0.95	c remove useless variable s[4][1][4]
0.89/0.95	c remove useless variable s[4][1][5]
0.89/0.95	c remove useless variable s[4][1][6]
0.89/0.95	c remove useless variable s[4][1][7]
0.89/0.95	c remove useless variable s[4][1][8]
0.89/0.95	c remove useless variable s[4][1][9]
0.89/0.95	c remove useless variable s[4][1][10]
0.89/0.95	c remove useless variable s[4][1][11]
0.89/0.95	c remove useless variable s[4][1][12]
0.89/0.95	c remove useless variable s[4][1][13]
0.89/0.95	c remove useless variable s[4][1][14]
0.89/0.95	c remove useless variable s[4][1][15]
0.89/0.95	c remove useless variable s[4][1][16]
0.89/0.95	c remove useless variable s[4][1][17]
0.89/0.95	c remove useless variable s[4][2][0]
0.89/0.95	c remove useless variable s[4][2][1]
0.89/0.95	c remove useless variable s[4][2][2]
0.89/0.95	c remove useless variable s[4][2][3]
0.89/0.95	c remove useless variable s[4][2][4]
0.89/0.95	c remove useless variable s[4][2][5]
0.89/0.95	c remove useless variable s[4][2][6]
0.89/0.95	c remove useless variable s[4][2][7]
0.89/0.95	c remove useless variable s[4][2][8]
0.89/0.95	c remove useless variable s[4][2][9]
0.89/0.95	c remove useless variable s[4][2][10]
0.89/0.95	c remove useless variable s[4][2][11]
0.89/0.95	c remove useless variable s[4][2][12]
0.89/0.95	c remove useless variable s[4][2][13]
0.89/0.95	c remove useless variable s[4][2][14]
0.89/0.95	c remove useless variable s[4][2][15]
0.89/0.95	c remove useless variable s[4][2][16]
0.89/0.95	c remove useless variable s[4][2][17]
0.89/0.95	c remove useless variable s[4][3][0]
0.89/0.95	c remove useless variable s[4][3][1]
0.89/0.95	c remove useless variable s[4][3][2]
0.89/0.95	c remove useless variable s[4][3][3]
0.89/0.95	c remove useless variable s[4][3][4]
0.89/0.95	c remove useless variable s[4][3][5]
0.89/0.95	c remove useless variable s[4][3][6]
0.89/0.95	c remove useless variable s[4][3][7]
0.89/0.95	c remove useless variable s[4][3][8]
0.89/0.95	c remove useless variable s[4][3][9]
0.89/0.95	c remove useless variable s[4][3][10]
0.89/0.95	c remove useless variable s[4][3][11]
0.89/0.95	c remove useless variable s[4][3][12]
0.89/0.95	c remove useless variable s[4][3][13]
0.89/0.95	c remove useless variable s[4][3][14]
0.89/0.95	c remove useless variable s[4][3][15]
0.89/0.95	c remove useless variable s[4][3][16]
0.89/0.95	c remove useless variable s[4][3][17]
0.89/0.95	c remove useless variable s[4][4][0]
0.89/0.95	c remove useless variable s[4][4][1]
0.89/0.95	c remove useless variable s[4][4][2]
0.89/0.95	c remove useless variable s[4][4][3]
0.89/0.95	c remove useless variable s[4][4][4]
0.89/0.95	c remove useless variable s[4][4][5]
0.89/0.95	c remove useless variable s[4][4][6]
0.89/0.95	c remove useless variable s[4][4][7]
0.89/0.95	c remove useless variable s[4][4][8]
0.89/0.95	c remove useless variable s[4][4][9]
0.89/0.95	c remove useless variable s[4][4][10]
0.89/0.95	c remove useless variable s[4][4][11]
0.89/0.95	c remove useless variable s[4][4][12]
0.89/0.95	c remove useless variable s[4][4][13]
0.89/0.95	c remove useless variable s[4][4][14]
0.89/0.95	c remove useless variable s[4][4][15]
0.89/0.95	c remove useless variable s[4][4][16]
0.89/0.95	c remove useless variable s[4][4][17]
0.89/0.95	c remove useless variable s[5][0][0]
0.89/0.95	c remove useless variable s[5][0][1]
0.89/0.95	c remove useless variable s[5][0][2]
0.89/0.95	c remove useless variable s[5][0][3]
0.89/0.95	c remove useless variable s[5][0][4]
0.89/0.95	c remove useless variable s[5][0][5]
0.89/0.95	c remove useless variable s[5][0][6]
0.89/0.95	c remove useless variable s[5][0][7]
0.89/0.95	c remove useless variable s[5][0][8]
0.89/0.95	c remove useless variable s[5][0][9]
0.89/0.95	c remove useless variable s[5][0][10]
0.89/0.95	c remove useless variable s[5][0][11]
0.89/0.95	c remove useless variable s[5][0][12]
0.89/0.95	c remove useless variable s[5][0][13]
0.89/0.95	c remove useless variable s[5][0][14]
0.89/0.95	c remove useless variable s[5][0][15]
0.89/0.95	c remove useless variable s[5][0][16]
0.89/0.95	c remove useless variable s[5][0][17]
0.89/0.95	c remove useless variable s[5][1][0]
0.89/0.95	c remove useless variable s[5][1][1]
0.89/0.95	c remove useless variable s[5][1][2]
0.89/0.95	c remove useless variable s[5][1][3]
0.89/0.95	c remove useless variable s[5][1][4]
0.89/0.95	c remove useless variable s[5][1][5]
0.89/0.95	c remove useless variable s[5][1][6]
0.89/0.95	c remove useless variable s[5][1][7]
0.89/0.95	c remove useless variable s[5][1][8]
0.89/0.95	c remove useless variable s[5][1][9]
0.89/0.95	c remove useless variable s[5][1][10]
0.89/0.95	c remove useless variable s[5][1][11]
0.89/0.95	c remove useless variable s[5][1][12]
0.89/0.95	c remove useless variable s[5][1][13]
0.89/0.95	c remove useless variable s[5][1][14]
0.89/0.95	c remove useless variable s[5][1][15]
0.89/0.95	c remove useless variable s[5][1][16]
0.89/0.95	c remove useless variable s[5][1][17]
0.89/0.95	c remove useless variable s[5][2][0]
0.89/0.95	c remove useless variable s[5][2][1]
0.89/0.95	c remove useless variable s[5][2][2]
0.89/0.95	c remove useless variable s[5][2][3]
0.89/0.95	c remove useless variable s[5][2][4]
0.89/0.95	c remove useless variable s[5][2][5]
0.89/0.95	c remove useless variable s[5][2][6]
0.89/0.95	c remove useless variable s[5][2][7]
0.89/0.95	c remove useless variable s[5][2][8]
0.89/0.95	c remove useless variable s[5][2][9]
0.89/0.95	c remove useless variable s[5][2][10]
0.89/0.95	c remove useless variable s[5][2][11]
0.89/0.95	c remove useless variable s[5][2][12]
0.89/0.95	c remove useless variable s[5][2][13]
0.89/0.95	c remove useless variable s[5][2][14]
0.89/0.95	c remove useless variable s[5][2][15]
0.89/0.95	c remove useless variable s[5][2][16]
0.89/0.95	c remove useless variable s[5][2][17]
0.89/0.95	c remove useless variable s[5][3][0]
0.89/0.95	c remove useless variable s[5][3][1]
0.89/0.95	c remove useless variable s[5][3][2]
0.89/0.95	c remove useless variable s[5][3][3]
0.89/0.95	c remove useless variable s[5][3][4]
0.89/0.95	c remove useless variable s[5][3][5]
0.89/0.95	c remove useless variable s[5][3][6]
0.89/0.95	c remove useless variable s[5][3][7]
0.89/0.95	c remove useless variable s[5][3][8]
0.89/0.95	c remove useless variable s[5][3][9]
0.89/0.95	c remove useless variable s[5][3][10]
0.89/0.95	c remove useless variable s[5][3][11]
0.89/0.95	c remove useless variable s[5][3][12]
0.89/0.95	c remove useless variable s[5][3][13]
0.89/0.95	c remove useless variable s[5][3][14]
0.89/0.95	c remove useless variable s[5][3][15]
0.89/0.95	c remove useless variable s[5][3][16]
0.89/0.95	c remove useless variable s[5][3][17]
0.89/0.95	c remove useless variable s[5][4][0]
0.89/0.95	c remove useless variable s[5][4][1]
0.89/0.95	c remove useless variable s[5][4][2]
0.89/0.95	c remove useless variable s[5][4][3]
0.89/0.95	c remove useless variable s[5][4][4]
0.89/0.95	c remove useless variable s[5][4][5]
0.89/0.95	c remove useless variable s[5][4][6]
0.89/0.95	c remove useless variable s[5][4][7]
0.89/0.95	c remove useless variable s[5][4][8]
0.89/0.95	c remove useless variable s[5][4][9]
0.89/0.95	c remove useless variable s[5][4][10]
0.89/0.95	c remove useless variable s[5][4][11]
0.89/0.95	c remove useless variable s[5][4][12]
0.89/0.95	c remove useless variable s[5][4][13]
0.89/0.95	c remove useless variable s[5][4][14]
0.89/0.95	c remove useless variable s[5][4][15]
0.89/0.95	c remove useless variable s[5][4][16]
0.89/0.95	c remove useless variable s[5][4][17]
0.89/0.95	c remove useless variable s[5][5][0]
0.89/0.95	c remove useless variable s[5][5][1]
0.89/0.95	c remove useless variable s[5][5][2]
0.89/0.95	c remove useless variable s[5][5][3]
0.89/0.95	c remove useless variable s[5][5][4]
0.89/0.95	c remove useless variable s[5][5][5]
0.89/0.95	c remove useless variable s[5][5][6]
0.89/0.95	c remove useless variable s[5][5][7]
0.89/0.95	c remove useless variable s[5][5][8]
0.89/0.95	c remove useless variable s[5][5][9]
0.89/0.95	c remove useless variable s[5][5][10]
0.89/0.95	c remove useless variable s[5][5][11]
0.89/0.95	c remove useless variable s[5][5][12]
0.89/0.95	c remove useless variable s[5][5][13]
0.89/0.95	c remove useless variable s[5][5][14]
0.89/0.95	c remove useless variable s[5][5][15]
0.89/0.95	c remove useless variable s[5][5][16]
0.89/0.95	c remove useless variable s[5][5][17]
0.89/0.95	c remove useless variable s[6][0][0]
0.89/0.95	c remove useless variable s[6][0][1]
0.89/0.95	c remove useless variable s[6][0][2]
0.89/0.95	c remove useless variable s[6][0][3]
0.89/0.95	c remove useless variable s[6][0][4]
0.89/0.95	c remove useless variable s[6][0][5]
0.89/0.95	c remove useless variable s[6][0][6]
0.89/0.95	c remove useless variable s[6][0][7]
0.89/0.95	c remove useless variable s[6][0][8]
0.89/0.95	c remove useless variable s[6][0][9]
0.89/0.95	c remove useless variable s[6][0][10]
0.89/0.95	c remove useless variable s[6][0][11]
0.89/0.95	c remove useless variable s[6][0][12]
0.89/0.95	c remove useless variable s[6][0][13]
0.89/0.95	c remove useless variable s[6][0][14]
0.89/0.95	c remove useless variable s[6][0][15]
0.89/0.95	c remove useless variable s[6][0][16]
0.89/0.95	c remove useless variable s[6][0][17]
0.89/0.95	c remove useless variable s[6][1][0]
0.89/0.95	c remove useless variable s[6][1][1]
0.89/0.95	c remove useless variable s[6][1][2]
0.89/0.95	c remove useless variable s[6][1][3]
0.89/0.95	c remove useless variable s[6][1][4]
0.89/0.95	c remove useless variable s[6][1][5]
0.89/0.95	c remove useless variable s[6][1][6]
0.89/0.95	c remove useless variable s[6][1][7]
0.89/0.95	c remove useless variable s[6][1][8]
0.89/0.95	c remove useless variable s[6][1][9]
0.89/0.95	c remove useless variable s[6][1][10]
0.89/0.95	c remove useless variable s[6][1][11]
0.89/0.95	c remove useless variable s[6][1][12]
0.89/0.95	c remove useless variable s[6][1][13]
0.89/0.95	c remove useless variable s[6][1][14]
0.89/0.95	c remove useless variable s[6][1][15]
0.89/0.95	c remove useless variable s[6][1][16]
0.89/0.95	c remove useless variable s[6][1][17]
0.89/0.95	c remove useless variable s[6][2][0]
0.89/0.95	c remove useless variable s[6][2][1]
0.89/0.95	c remove useless variable s[6][2][2]
0.89/0.95	c remove useless variable s[6][2][3]
0.89/0.95	c remove useless variable s[6][2][4]
0.89/0.95	c remove useless variable s[6][2][5]
0.89/0.95	c remove useless variable s[6][2][6]
0.89/0.95	c remove useless variable s[6][2][7]
0.89/0.95	c remove useless variable s[6][2][8]
0.89/0.95	c remove useless variable s[6][2][9]
0.89/0.95	c remove useless variable s[6][2][10]
0.89/0.95	c remove useless variable s[6][2][11]
0.89/0.95	c remove useless variable s[6][2][12]
0.89/0.95	c remove useless variable s[6][2][13]
0.89/0.95	c remove useless variable s[6][2][14]
0.89/0.95	c remove useless variable s[6][2][15]
0.89/0.95	c remove useless variable s[6][2][16]
0.89/0.95	c remove useless variable s[6][2][17]
0.89/0.95	c remove useless variable s[6][3][0]
0.89/0.95	c remove useless variable s[6][3][1]
0.89/0.95	c remove useless variable s[6][3][2]
0.89/0.95	c remove useless variable s[6][3][3]
0.89/0.95	c remove useless variable s[6][3][4]
0.89/0.95	c remove useless variable s[6][3][5]
0.89/0.95	c remove useless variable s[6][3][6]
0.89/0.95	c remove useless variable s[6][3][7]
0.89/0.95	c remove useless variable s[6][3][8]
0.89/0.95	c remove useless variable s[6][3][9]
0.89/0.95	c remove useless variable s[6][3][10]
0.89/0.95	c remove useless variable s[6][3][11]
0.89/0.95	c remove useless variable s[6][3][12]
0.89/0.95	c remove useless variable s[6][3][13]
0.89/0.95	c remove useless variable s[6][3][14]
0.89/0.95	c remove useless variable s[6][3][15]
0.89/0.95	c remove useless variable s[6][3][16]
0.89/0.95	c remove useless variable s[6][3][17]
0.89/0.95	c remove useless variable s[6][4][0]
0.89/0.95	c remove useless variable s[6][4][1]
0.89/0.95	c remove useless variable s[6][4][2]
0.89/0.95	c remove useless variable s[6][4][3]
0.89/0.95	c remove useless variable s[6][4][4]
0.89/0.95	c remove useless variable s[6][4][5]
0.89/0.95	c remove useless variable s[6][4][6]
0.89/0.95	c remove useless variable s[6][4][7]
0.89/0.95	c remove useless variable s[6][4][8]
0.89/0.95	c remove useless variable s[6][4][9]
0.89/0.95	c remove useless variable s[6][4][10]
0.89/0.95	c remove useless variable s[6][4][11]
0.89/0.95	c remove useless variable s[6][4][12]
0.89/0.95	c remove useless variable s[6][4][13]
0.89/0.95	c remove useless variable s[6][4][14]
0.89/0.95	c remove useless variable s[6][4][15]
0.89/0.95	c remove useless variable s[6][4][16]
0.89/0.95	c remove useless variable s[6][4][17]
0.89/0.95	c remove useless variable s[6][5][0]
0.89/0.95	c remove useless variable s[6][5][1]
0.89/0.95	c remove useless variable s[6][5][2]
0.89/0.95	c remove useless variable s[6][5][3]
0.89/0.95	c remove useless variable s[6][5][4]
0.89/0.95	c remove useless variable s[6][5][5]
0.89/0.95	c remove useless variable s[6][5][6]
0.89/0.95	c remove useless variable s[6][5][7]
0.89/0.95	c remove useless variable s[6][5][8]
0.89/0.95	c remove useless variable s[6][5][9]
0.89/0.95	c remove useless variable s[6][5][10]
0.89/0.95	c remove useless variable s[6][5][11]
0.89/0.95	c remove useless variable s[6][5][12]
0.89/0.95	c remove useless variable s[6][5][13]
0.89/0.95	c remove useless variable s[6][5][14]
0.89/0.95	c remove useless variable s[6][5][15]
0.89/0.95	c remove useless variable s[6][5][16]
0.89/0.95	c remove useless variable s[6][5][17]
0.89/0.95	c remove useless variable s[6][6][0]
0.89/0.95	c remove useless variable s[6][6][1]
0.89/0.95	c remove useless variable s[6][6][2]
0.89/0.95	c remove useless variable s[6][6][3]
0.89/0.95	c remove useless variable s[6][6][4]
0.89/0.95	c remove useless variable s[6][6][5]
0.89/0.95	c remove useless variable s[6][6][6]
0.89/0.95	c remove useless variable s[6][6][7]
0.89/0.95	c remove useless variable s[6][6][8]
0.89/0.95	c remove useless variable s[6][6][9]
0.89/0.95	c remove useless variable s[6][6][10]
0.89/0.95	c remove useless variable s[6][6][11]
0.89/0.95	c remove useless variable s[6][6][12]
0.89/0.95	c remove useless variable s[6][6][13]
0.89/0.95	c remove useless variable s[6][6][14]
0.89/0.95	c remove useless variable s[6][6][15]
0.89/0.95	c remove useless variable s[6][6][16]
0.89/0.95	c remove useless variable s[6][6][17]
0.89/0.95	c remove useless variable s[7][0][0]
0.89/0.95	c remove useless variable s[7][0][1]
0.89/0.95	c remove useless variable s[7][0][2]
0.89/0.95	c remove useless variable s[7][0][3]
0.89/0.95	c remove useless variable s[7][0][4]
0.89/0.95	c remove useless variable s[7][0][5]
0.89/0.95	c remove useless variable s[7][0][6]
0.89/0.95	c remove useless variable s[7][0][7]
0.89/0.95	c remove useless variable s[7][0][8]
0.89/0.95	c remove useless variable s[7][0][9]
0.89/0.95	c remove useless variable s[7][0][10]
0.89/0.95	c remove useless variable s[7][0][11]
0.89/0.95	c remove useless variable s[7][0][12]
0.89/0.95	c remove useless variable s[7][0][13]
0.89/0.95	c remove useless variable s[7][0][14]
0.89/0.95	c remove useless variable s[7][0][15]
0.89/0.95	c remove useless variable s[7][0][16]
0.89/0.95	c remove useless variable s[7][0][17]
0.89/0.95	c remove useless variable s[7][1][0]
0.89/0.95	c remove useless variable s[7][1][1]
0.89/0.95	c remove useless variable s[7][1][2]
0.89/0.95	c remove useless variable s[7][1][3]
0.89/0.95	c remove useless variable s[7][1][4]
0.89/0.95	c remove useless variable s[7][1][5]
0.89/0.95	c remove useless variable s[7][1][6]
0.89/0.95	c remove useless variable s[7][1][7]
0.89/0.95	c remove useless variable s[7][1][8]
0.89/0.95	c remove useless variable s[7][1][9]
0.89/0.95	c remove useless variable s[7][1][10]
0.89/0.95	c remove useless variable s[7][1][11]
0.89/0.95	c remove useless variable s[7][1][12]
0.89/0.95	c remove useless variable s[7][1][13]
0.89/0.95	c remove useless variable s[7][1][14]
0.89/0.95	c remove useless variable s[7][1][15]
0.89/0.95	c remove useless variable s[7][1][16]
0.89/0.95	c remove useless variable s[7][1][17]
0.89/0.95	c remove useless variable s[7][2][0]
0.89/0.95	c remove useless variable s[7][2][1]
0.89/0.95	c remove useless variable s[7][2][2]
0.89/0.95	c remove useless variable s[7][2][3]
0.89/0.95	c remove useless variable s[7][2][4]
0.89/0.95	c remove useless variable s[7][2][5]
0.89/0.95	c remove useless variable s[7][2][6]
0.89/0.95	c remove useless variable s[7][2][7]
0.89/0.95	c remove useless variable s[7][2][8]
0.89/0.95	c remove useless variable s[7][2][9]
0.89/0.95	c remove useless variable s[7][2][10]
0.89/0.95	c remove useless variable s[7][2][11]
0.89/0.95	c remove useless variable s[7][2][12]
0.89/0.95	c remove useless variable s[7][2][13]
0.89/0.95	c remove useless variable s[7][2][14]
0.89/0.95	c remove useless variable s[7][2][15]
0.89/0.95	c remove useless variable s[7][2][16]
0.89/0.95	c remove useless variable s[7][2][17]
0.89/0.95	c remove useless variable s[7][3][0]
0.89/0.95	c remove useless variable s[7][3][1]
0.89/0.95	c remove useless variable s[7][3][2]
0.89/0.95	c remove useless variable s[7][3][3]
0.89/0.95	c remove useless variable s[7][3][4]
0.89/0.95	c remove useless variable s[7][3][5]
0.89/0.95	c remove useless variable s[7][3][6]
0.89/0.95	c remove useless variable s[7][3][7]
0.89/0.95	c remove useless variable s[7][3][8]
0.89/0.95	c remove useless variable s[7][3][9]
0.89/0.95	c remove useless variable s[7][3][10]
0.89/0.95	c remove useless variable s[7][3][11]
0.89/0.95	c remove useless variable s[7][3][12]
0.89/0.95	c remove useless variable s[7][3][13]
0.89/0.95	c remove useless variable s[7][3][14]
0.89/0.95	c remove useless variable s[7][3][15]
0.89/0.95	c remove useless variable s[7][3][16]
0.89/0.95	c remove useless variable s[7][3][17]
0.89/0.95	c remove useless variable s[7][4][0]
0.89/0.95	c remove useless variable s[7][4][1]
0.89/0.95	c remove useless variable s[7][4][2]
0.89/0.95	c remove useless variable s[7][4][3]
0.89/0.95	c remove useless variable s[7][4][4]
0.89/0.95	c remove useless variable s[7][4][5]
0.89/0.95	c remove useless variable s[7][4][6]
0.89/0.95	c remove useless variable s[7][4][7]
0.89/0.95	c remove useless variable s[7][4][8]
0.89/0.95	c remove useless variable s[7][4][9]
0.89/0.95	c remove useless variable s[7][4][10]
0.89/0.95	c remove useless variable s[7][4][11]
0.89/0.95	c remove useless variable s[7][4][12]
0.89/0.95	c remove useless variable s[7][4][13]
0.89/0.95	c remove useless variable s[7][4][14]
0.89/0.95	c remove useless variable s[7][4][15]
0.89/0.95	c remove useless variable s[7][4][16]
0.89/0.95	c remove useless variable s[7][4][17]
0.89/0.95	c remove useless variable s[7][5][0]
0.89/0.95	c remove useless variable s[7][5][1]
0.89/0.95	c remove useless variable s[7][5][2]
0.89/0.95	c remove useless variable s[7][5][3]
0.89/0.95	c remove useless variable s[7][5][4]
0.89/0.95	c remove useless variable s[7][5][5]
0.89/0.95	c remove useless variable s[7][5][6]
0.89/0.95	c remove useless variable s[7][5][7]
0.89/0.95	c remove useless variable s[7][5][8]
0.89/0.95	c remove useless variable s[7][5][9]
0.89/0.95	c remove useless variable s[7][5][10]
0.89/0.95	c remove useless variable s[7][5][11]
0.89/0.95	c remove useless variable s[7][5][12]
0.89/0.95	c remove useless variable s[7][5][13]
0.89/0.95	c remove useless variable s[7][5][14]
0.89/0.95	c remove useless variable s[7][5][15]
0.89/0.95	c remove useless variable s[7][5][16]
0.89/0.95	c remove useless variable s[7][5][17]
0.89/0.95	c remove useless variable s[7][6][0]
0.89/0.95	c remove useless variable s[7][6][1]
0.89/0.95	c remove useless variable s[7][6][2]
0.89/0.95	c remove useless variable s[7][6][3]
0.89/0.95	c remove useless variable s[7][6][4]
0.89/0.95	c remove useless variable s[7][6][5]
0.89/0.95	c remove useless variable s[7][6][6]
0.89/0.95	c remove useless variable s[7][6][7]
0.89/0.95	c remove useless variable s[7][6][8]
0.89/0.95	c remove useless variable s[7][6][9]
0.89/0.95	c remove useless variable s[7][6][10]
0.89/0.95	c remove useless variable s[7][6][11]
0.89/0.95	c remove useless variable s[7][6][12]
0.89/0.95	c remove useless variable s[7][6][13]
0.89/0.95	c remove useless variable s[7][6][14]
0.89/0.95	c remove useless variable s[7][6][15]
0.89/0.95	c remove useless variable s[7][6][16]
0.89/0.95	c remove useless variable s[7][6][17]
0.89/0.95	c remove useless variable s[7][7][0]
0.89/0.95	c remove useless variable s[7][7][1]
0.89/0.95	c remove useless variable s[7][7][2]
0.89/0.95	c remove useless variable s[7][7][3]
0.89/0.95	c remove useless variable s[7][7][4]
0.89/0.95	c remove useless variable s[7][7][5]
0.89/0.95	c remove useless variable s[7][7][6]
0.89/0.95	c remove useless variable s[7][7][7]
0.89/0.95	c remove useless variable s[7][7][8]
0.89/0.95	c remove useless variable s[7][7][9]
0.89/0.95	c remove useless variable s[7][7][10]
0.89/0.95	c remove useless variable s[7][7][11]
0.89/0.95	c remove useless variable s[7][7][12]
0.89/0.95	c remove useless variable s[7][7][13]
0.89/0.95	c remove useless variable s[7][7][14]
0.89/0.95	c remove useless variable s[7][7][15]
0.89/0.95	c remove useless variable s[7][7][16]
0.89/0.95	c remove useless variable s[7][7][17]
0.89/0.95	c remove useless variable s[8][0][0]
0.89/0.95	c remove useless variable s[8][0][1]
0.89/0.95	c remove useless variable s[8][0][2]
0.89/0.95	c remove useless variable s[8][0][3]
0.89/0.95	c remove useless variable s[8][0][4]
0.89/0.95	c remove useless variable s[8][0][5]
0.89/0.95	c remove useless variable s[8][0][6]
0.89/0.95	c remove useless variable s[8][0][7]
0.89/0.95	c remove useless variable s[8][0][8]
0.89/0.95	c remove useless variable s[8][0][9]
0.89/0.95	c remove useless variable s[8][0][10]
0.89/0.95	c remove useless variable s[8][0][11]
0.89/0.95	c remove useless variable s[8][0][12]
0.89/0.95	c remove useless variable s[8][0][13]
0.89/0.95	c remove useless variable s[8][0][14]
0.89/0.95	c remove useless variable s[8][0][15]
0.89/0.95	c remove useless variable s[8][0][16]
0.89/0.95	c remove useless variable s[8][0][17]
0.89/0.95	c remove useless variable s[8][1][0]
0.89/0.95	c remove useless variable s[8][1][1]
0.89/0.95	c remove useless variable s[8][1][2]
0.89/0.95	c remove useless variable s[8][1][3]
0.89/0.95	c remove useless variable s[8][1][4]
0.89/0.95	c remove useless variable s[8][1][5]
0.89/0.95	c remove useless variable s[8][1][6]
0.89/0.95	c remove useless variable s[8][1][7]
0.89/0.95	c remove useless variable s[8][1][8]
0.89/0.95	c remove useless variable s[8][1][9]
0.89/0.95	c remove useless variable s[8][1][10]
0.89/0.95	c remove useless variable s[8][1][11]
0.89/0.95	c remove useless variable s[8][1][12]
0.89/0.95	c remove useless variable s[8][1][13]
0.89/0.95	c remove useless variable s[8][1][14]
0.89/0.95	c remove useless variable s[8][1][15]
0.89/0.95	c remove useless variable s[8][1][16]
0.89/0.95	c remove useless variable s[8][1][17]
0.89/0.95	c remove useless variable s[8][2][0]
0.89/0.95	c remove useless variable s[8][2][1]
0.89/0.95	c remove useless variable s[8][2][2]
0.89/0.95	c remove useless variable s[8][2][3]
0.89/0.95	c remove useless variable s[8][2][4]
0.89/0.95	c remove useless variable s[8][2][5]
0.89/0.95	c remove useless variable s[8][2][6]
0.89/0.95	c remove useless variable s[8][2][7]
0.89/0.95	c remove useless variable s[8][2][8]
0.89/0.95	c remove useless variable s[8][2][9]
0.89/0.95	c remove useless variable s[8][2][10]
0.89/0.95	c remove useless variable s[8][2][11]
0.89/0.95	c remove useless variable s[8][2][12]
0.89/0.95	c remove useless variable s[8][2][13]
0.89/0.95	c remove useless variable s[8][2][14]
0.89/0.95	c remove useless variable s[8][2][15]
0.89/0.95	c remove useless variable s[8][2][16]
0.89/0.95	c remove useless variable s[8][2][17]
0.89/0.95	c remove useless variable s[8][3][0]
0.89/0.95	c remove useless variable s[8][3][1]
0.89/0.95	c remove useless variable s[8][3][2]
0.89/0.95	c remove useless variable s[8][3][3]
0.89/0.95	c remove useless variable s[8][3][4]
0.89/0.95	c remove useless variable s[8][3][5]
0.89/0.95	c remove useless variable s[8][3][6]
0.89/0.95	c remove useless variable s[8][3][7]
0.89/0.95	c remove useless variable s[8][3][8]
0.89/0.95	c remove useless variable s[8][3][9]
0.89/0.95	c remove useless variable s[8][3][10]
0.89/0.95	c remove useless variable s[8][3][11]
0.89/0.95	c remove useless variable s[8][3][12]
0.89/0.95	c remove useless variable s[8][3][13]
0.89/0.95	c remove useless variable s[8][3][14]
0.89/0.95	c remove useless variable s[8][3][15]
0.89/0.95	c remove useless variable s[8][3][16]
0.89/0.95	c remove useless variable s[8][3][17]
0.89/0.95	c remove useless variable s[8][4][0]
0.89/0.95	c remove useless variable s[8][4][1]
0.89/0.95	c remove useless variable s[8][4][2]
0.89/0.95	c remove useless variable s[8][4][3]
0.89/0.95	c remove useless variable s[8][4][4]
0.89/0.95	c remove useless variable s[8][4][5]
0.89/0.95	c remove useless variable s[8][4][6]
0.89/0.95	c remove useless variable s[8][4][7]
0.89/0.95	c remove useless variable s[8][4][8]
0.89/0.95	c remove useless variable s[8][4][9]
0.89/0.95	c remove useless variable s[8][4][10]
0.89/0.95	c remove useless variable s[8][4][11]
0.89/0.95	c remove useless variable s[8][4][12]
0.89/0.95	c remove useless variable s[8][4][13]
0.89/0.95	c remove useless variable s[8][4][14]
0.89/0.95	c remove useless variable s[8][4][15]
0.89/0.95	c remove useless variable s[8][4][16]
0.89/0.95	c remove useless variable s[8][4][17]
0.89/0.95	c remove useless variable s[8][5][0]
0.89/0.95	c remove useless variable s[8][5][1]
0.89/0.95	c remove useless variable s[8][5][2]
0.89/0.95	c remove useless variable s[8][5][3]
0.89/0.95	c remove useless variable s[8][5][4]
0.89/0.95	c remove useless variable s[8][5][5]
0.89/0.95	c remove useless variable s[8][5][6]
0.89/0.95	c remove useless variable s[8][5][7]
0.89/0.95	c remove useless variable s[8][5][8]
0.89/0.95	c remove useless variable s[8][5][9]
0.89/0.95	c remove useless variable s[8][5][10]
0.89/0.95	c remove useless variable s[8][5][11]
0.89/0.95	c remove useless variable s[8][5][12]
0.89/0.95	c remove useless variable s[8][5][13]
0.89/0.95	c remove useless variable s[8][5][14]
0.89/0.95	c remove useless variable s[8][5][15]
0.89/0.95	c remove useless variable s[8][5][16]
0.89/0.95	c remove useless variable s[8][5][17]
0.89/0.95	c remove useless variable s[8][6][0]
0.89/0.95	c remove useless variable s[8][6][1]
0.89/0.95	c remove useless variable s[8][6][2]
0.89/0.95	c remove useless variable s[8][6][3]
0.89/0.95	c remove useless variable s[8][6][4]
0.89/0.95	c remove useless variable s[8][6][5]
0.89/0.95	c remove useless variable s[8][6][6]
0.89/0.95	c remove useless variable s[8][6][7]
0.89/0.95	c remove useless variable s[8][6][8]
0.89/0.95	c remove useless variable s[8][6][9]
0.89/0.95	c remove useless variable s[8][6][10]
0.89/0.95	c remove useless variable s[8][6][11]
0.89/0.95	c remove useless variable s[8][6][12]
0.89/0.95	c remove useless variable s[8][6][13]
0.89/0.95	c remove useless variable s[8][6][14]
0.89/0.95	c remove useless variable s[8][6][15]
0.89/0.95	c remove useless variable s[8][6][16]
0.89/0.95	c remove useless variable s[8][6][17]
0.89/0.95	c remove useless variable s[8][7][0]
0.89/0.95	c remove useless variable s[8][7][1]
0.89/0.95	c remove useless variable s[8][7][2]
0.89/0.95	c remove useless variable s[8][7][3]
0.89/0.95	c remove useless variable s[8][7][4]
0.89/0.95	c remove useless variable s[8][7][5]
0.89/0.95	c remove useless variable s[8][7][6]
0.89/0.95	c remove useless variable s[8][7][7]
0.89/0.95	c remove useless variable s[8][7][8]
0.89/0.95	c remove useless variable s[8][7][9]
0.89/0.95	c remove useless variable s[8][7][10]
0.89/0.95	c remove useless variable s[8][7][11]
0.89/0.95	c remove useless variable s[8][7][12]
0.89/0.95	c remove useless variable s[8][7][13]
0.89/0.95	c remove useless variable s[8][7][14]
0.89/0.95	c remove useless variable s[8][7][15]
0.89/0.95	c remove useless variable s[8][7][16]
0.89/0.95	c remove useless variable s[8][7][17]
0.89/0.95	c remove useless variable s[8][8][0]
0.89/0.95	c remove useless variable s[8][8][1]
0.89/0.95	c remove useless variable s[8][8][2]
0.89/0.95	c remove useless variable s[8][8][3]
0.89/0.95	c remove useless variable s[8][8][4]
0.89/0.95	c remove useless variable s[8][8][5]
0.89/0.95	c remove useless variable s[8][8][6]
0.89/0.95	c remove useless variable s[8][8][7]
0.89/0.95	c remove useless variable s[8][8][8]
0.89/0.95	c remove useless variable s[8][8][9]
0.89/0.95	c remove useless variable s[8][8][10]
0.89/0.95	c remove useless variable s[8][8][11]
0.89/0.95	c remove useless variable s[8][8][12]
0.89/0.95	c remove useless variable s[8][8][13]
0.89/0.95	c remove useless variable s[8][8][14]
0.89/0.95	c remove useless variable s[8][8][15]
0.89/0.95	c remove useless variable s[8][8][16]
0.89/0.95	c remove useless variable s[8][8][17]
0.89/0.95	c remove useless variable s[9][0][0]
0.89/0.95	c remove useless variable s[9][0][1]
0.89/0.95	c remove useless variable s[9][0][2]
0.89/0.95	c remove useless variable s[9][0][3]
0.89/0.95	c remove useless variable s[9][0][4]
0.89/0.95	c remove useless variable s[9][0][5]
0.89/0.95	c remove useless variable s[9][0][6]
0.89/0.95	c remove useless variable s[9][0][7]
0.89/0.95	c remove useless variable s[9][0][8]
0.89/0.95	c remove useless variable s[9][0][9]
0.89/0.95	c remove useless variable s[9][0][10]
0.89/0.95	c remove useless variable s[9][0][11]
0.89/0.95	c remove useless variable s[9][0][12]
0.89/0.95	c remove useless variable s[9][0][13]
0.89/0.95	c remove useless variable s[9][0][14]
0.89/0.95	c remove useless variable s[9][0][15]
0.89/0.95	c remove useless variable s[9][0][16]
0.89/0.95	c remove useless variable s[9][0][17]
0.89/0.95	c remove useless variable s[9][1][0]
0.89/0.95	c remove useless variable s[9][1][1]
0.89/0.95	c remove useless variable s[9][1][2]
0.89/0.95	c remove useless variable s[9][1][3]
0.89/0.95	c remove useless variable s[9][1][4]
0.89/0.95	c remove useless variable s[9][1][5]
0.89/0.95	c remove useless variable s[9][1][6]
0.89/0.95	c remove useless variable s[9][1][7]
0.89/0.95	c remove useless variable s[9][1][8]
0.89/0.95	c remove useless variable s[9][1][9]
0.89/0.95	c remove useless variable s[9][1][10]
0.89/0.95	c remove useless variable s[9][1][11]
0.89/0.95	c remove useless variable s[9][1][12]
0.89/0.95	c remove useless variable s[9][1][13]
0.89/0.95	c remove useless variable s[9][1][14]
0.89/0.95	c remove useless variable s[9][1][15]
0.89/0.95	c remove useless variable s[9][1][16]
0.89/0.95	c remove useless variable s[9][1][17]
0.89/0.95	c remove useless variable s[9][2][0]
0.89/0.95	c remove useless variable s[9][2][1]
0.89/0.95	c remove useless variable s[9][2][2]
0.89/0.95	c remove useless variable s[9][2][3]
0.89/0.95	c remove useless variable s[9][2][4]
0.89/0.95	c remove useless variable s[9][2][5]
0.89/0.95	c remove useless variable s[9][2][6]
0.89/0.95	c remove useless variable s[9][2][7]
0.89/0.95	c remove useless variable s[9][2][8]
0.89/0.95	c remove useless variable s[9][2][9]
0.89/0.95	c remove useless variable s[9][2][10]
0.89/0.95	c remove useless variable s[9][2][11]
0.89/0.95	c remove useless variable s[9][2][12]
0.89/0.95	c remove useless variable s[9][2][13]
0.89/0.95	c remove useless variable s[9][2][14]
0.89/0.95	c remove useless variable s[9][2][15]
0.89/0.95	c remove useless variable s[9][2][16]
0.89/0.95	c remove useless variable s[9][2][17]
0.89/0.95	c remove useless variable s[9][3][0]
0.89/0.95	c remove useless variable s[9][3][1]
0.89/0.95	c remove useless variable s[9][3][2]
0.89/0.95	c remove useless variable s[9][3][3]
0.89/0.95	c remove useless variable s[9][3][4]
0.89/0.95	c remove useless variable s[9][3][5]
0.89/0.95	c remove useless variable s[9][3][6]
0.89/0.95	c remove useless variable s[9][3][7]
0.89/0.95	c remove useless variable s[9][3][8]
0.89/0.95	c remove useless variable s[9][3][9]
0.89/0.95	c remove useless variable s[9][3][10]
0.89/0.95	c remove useless variable s[9][3][11]
0.89/0.95	c remove useless variable s[9][3][12]
0.89/0.95	c remove useless variable s[9][3][13]
0.89/0.95	c remove useless variable s[9][3][14]
0.89/0.95	c remove useless variable s[9][3][15]
0.89/0.95	c remove useless variable s[9][3][16]
0.89/0.95	c remove useless variable s[9][3][17]
0.89/0.95	c remove useless variable s[9][4][0]
0.89/0.95	c remove useless variable s[9][4][1]
0.89/0.95	c remove useless variable s[9][4][2]
0.89/0.95	c remove useless variable s[9][4][3]
0.89/0.95	c remove useless variable s[9][4][4]
0.89/0.95	c remove useless variable s[9][4][5]
0.89/0.95	c remove useless variable s[9][4][6]
0.89/0.95	c remove useless variable s[9][4][7]
0.89/0.95	c remove useless variable s[9][4][8]
0.89/0.95	c remove useless variable s[9][4][9]
0.89/0.95	c remove useless variable s[9][4][10]
0.89/0.95	c remove useless variable s[9][4][11]
0.89/0.95	c remove useless variable s[9][4][12]
0.89/0.95	c remove useless variable s[9][4][13]
0.89/0.95	c remove useless variable s[9][4][14]
0.89/0.95	c remove useless variable s[9][4][15]
0.89/0.95	c remove useless variable s[9][4][16]
0.89/0.95	c remove useless variable s[9][4][17]
0.89/0.95	c remove useless variable s[9][5][0]
0.89/0.95	c remove useless variable s[9][5][1]
0.89/0.95	c remove useless variable s[9][5][2]
0.89/0.95	c remove useless variable s[9][5][3]
0.89/0.95	c remove useless variable s[9][5][4]
0.89/0.95	c remove useless variable s[9][5][5]
0.89/0.95	c remove useless variable s[9][5][6]
0.89/0.95	c remove useless variable s[9][5][7]
0.89/0.95	c remove useless variable s[9][5][8]
0.89/0.95	c remove useless variable s[9][5][9]
0.89/0.95	c remove useless variable s[9][5][10]
0.89/0.95	c remove useless variable s[9][5][11]
0.89/0.95	c remove useless variable s[9][5][12]
0.89/0.95	c remove useless variable s[9][5][13]
0.89/0.95	c remove useless variable s[9][5][14]
0.89/0.95	c remove useless variable s[9][5][15]
0.89/0.95	c remove useless variable s[9][5][16]
0.89/0.95	c remove useless variable s[9][5][17]
0.89/0.95	c remove useless variable s[9][6][0]
0.89/0.95	c remove useless variable s[9][6][1]
0.89/0.95	c remove useless variable s[9][6][2]
0.89/0.95	c remove useless variable s[9][6][3]
0.89/0.95	c remove useless variable s[9][6][4]
0.89/0.95	c remove useless variable s[9][6][5]
0.89/0.95	c remove useless variable s[9][6][6]
0.89/0.95	c remove useless variable s[9][6][7]
0.89/0.95	c remove useless variable s[9][6][8]
0.89/0.95	c remove useless variable s[9][6][9]
0.89/0.95	c remove useless variable s[9][6][10]
0.89/0.95	c remove useless variable s[9][6][11]
0.89/0.95	c remove useless variable s[9][6][12]
0.89/0.95	c remove useless variable s[9][6][13]
0.89/0.95	c remove useless variable s[9][6][14]
0.89/0.95	c remove useless variable s[9][6][15]
0.89/0.95	c remove useless variable s[9][6][16]
0.89/0.95	c remove useless variable s[9][6][17]
0.89/0.95	c remove useless variable s[9][7][0]
0.89/0.95	c remove useless variable s[9][7][1]
0.89/0.95	c remove useless variable s[9][7][2]
0.89/0.95	c remove useless variable s[9][7][3]
0.89/0.95	c remove useless variable s[9][7][4]
0.89/0.95	c remove useless variable s[9][7][5]
0.89/0.95	c remove useless variable s[9][7][6]
0.89/0.95	c remove useless variable s[9][7][7]
0.89/0.95	c remove useless variable s[9][7][8]
0.89/0.95	c remove useless variable s[9][7][9]
0.89/0.95	c remove useless variable s[9][7][10]
0.89/0.95	c remove useless variable s[9][7][11]
0.89/0.95	c remove useless variable s[9][7][12]
0.89/0.95	c remove useless variable s[9][7][13]
0.89/0.95	c remove useless variable s[9][7][14]
0.89/0.95	c remove useless variable s[9][7][15]
0.89/0.95	c remove useless variable s[9][7][16]
0.89/0.95	c remove useless variable s[9][7][17]
0.89/0.95	c remove useless variable s[9][8][0]
0.89/0.95	c remove useless variable s[9][8][1]
0.89/0.95	c remove useless variable s[9][8][2]
0.89/0.95	c remove useless variable s[9][8][3]
0.89/0.95	c remove useless variable s[9][8][4]
0.89/0.95	c remove useless variable s[9][8][5]
0.89/0.95	c remove useless variable s[9][8][6]
0.89/0.95	c remove useless variable s[9][8][7]
0.89/0.95	c remove useless variable s[9][8][8]
0.89/0.95	c remove useless variable s[9][8][9]
0.89/0.95	c remove useless variable s[9][8][10]
0.89/0.95	c remove useless variable s[9][8][11]
0.89/0.95	c remove useless variable s[9][8][12]
0.89/0.95	c remove useless variable s[9][8][13]
0.89/0.95	c remove useless variable s[9][8][14]
0.89/0.95	c remove useless variable s[9][8][15]
0.89/0.95	c remove useless variable s[9][8][16]
0.89/0.95	c remove useless variable s[9][8][17]
0.89/0.95	c remove useless variable s[9][9][0]
0.89/0.95	c remove useless variable s[9][9][1]
0.89/0.95	c remove useless variable s[9][9][2]
0.89/0.95	c remove useless variable s[9][9][3]
0.89/0.95	c remove useless variable s[9][9][4]
0.89/0.95	c remove useless variable s[9][9][5]
0.89/0.95	c remove useless variable s[9][9][6]
0.89/0.95	c remove useless variable s[9][9][7]
0.89/0.95	c remove useless variable s[9][9][8]
0.89/0.95	c remove useless variable s[9][9][9]
0.89/0.95	c remove useless variable s[9][9][10]
0.89/0.95	c remove useless variable s[9][9][11]
0.89/0.95	c remove useless variable s[9][9][12]
0.89/0.95	c remove useless variable s[9][9][13]
0.89/0.95	c remove useless variable s[9][9][14]
0.89/0.95	c remove useless variable s[9][9][15]
0.89/0.95	c remove useless variable s[9][9][16]
0.89/0.95	c remove useless variable s[9][9][17]
0.89/0.97	c 101            969            23754          7732           0              0              33   118   89  
0.89/0.98	c 211            1423           45075          16754          0              0              18   108   85  
0.99/1.02	c 332            2315           87739          32055          0              0              10   78   64   
0.99/1.03	c 465            2780           109875         40206          0              0              31   52   44   
0.99/1.05	c 611            3305           128336         47941          0              0              37   70   62   
0.99/1.07	c 771            3915           152043         56765          0              0              38   52   43   
0.99/1.10	c 947            4626           193854         75293          0              0              32   103   79  
1.10/1.12	c 1140           5429           227094         87261          0              0              16   45   30   
1.10/1.15	c 1352           6244           260475         97753          0              0              16   35   27   
1.10/1.17	c 1585           6993           300487         111441         0              0              16   32   24   
1.20/1.22	c 1841           7786           356587         134463         0              0              14   34   27   
1.20/1.26	c 2122           8739           414568         155617         0              0              15   34   26   
1.20/1.29	c 2431           9810           458018         170231         0              0              15   34   27   
1.29/1.35	c 2770           11354          535027         205960         0              0              11   102   78  
1.39/1.40	c 3142           12714          609509         241238         0              0              14   101   87  
1.39/1.44	c 3551           14067          661079         260922         0              0              15   35   28   
1.49/1.51	c 4000           15808          754914         297826         0              0              43   98   85   
1.49/1.55	c 4493           17299          813475         318626         0              0              16   34   27   
1.59/1.63	c 5035           19471          915112         358254         0              0              30   111   71  
1.69/1.72	c 5631           22607          1026949        404966         0              0              30   108   69  
1.69/1.78	c 6286           24813          1111737        432169         0              0              17   34   28   
1.79/1.88	c 7006           27653          1237516        492436         0              0              31   57   53   
1.89/1.96	c 7798           30304          1347496        530740         0              0              15   74   30   
1.99/2.09	c 8669           35473          1507898        595283         0              0              32   120   82  
2.20/2.21	c 9627           38751          1664223        644496         0              0              16   35   28   
2.30/2.32	c 10680          42142          1821920        695948         0              0              15   34   26   
2.49/2.50	c 11838          47908          2053676        790143         0              0              23   125   91  
2.59/2.63	c 13111          52529          2222362        876891         0              0              25   52   46   
2.69/2.77	c 14511          57253          2418780        947730         0              0              20   41   35   
2.99/3.05	c 16051          65096          2785677        1111250        6              0              1   122   91   
3.30/3.35	c 17745          75676          3171023        1272368        6              0              11   118   88  
3.59/3.64	c 19608          82255          3561363        1440574        6              0              14   72   50   
3.79/3.87	c 21657          89681          3865975        1555535        6              0              27   65   48   
4.09/4.18	c 23910          98470          4263362        1706675        6              0              17   43   31   
4.50/4.51	c 26388          107602         4683510        1873917        6              0              16   70   42   
4.89/4.96	c 29113          119547         5279272        2093786        6              0              19   60   42   
5.39/5.41	c 32110          131796         5877233        2332922        6              0              15   114   85  
5.99/6.08	c 35406          147611         6699107        2641081        6              0              16   46   35   
6.59/6.64	c 39031          162076         7465119        2964297        6              0              17   121   96  
7.19/7.27	c 43018          180160         8279836        3302398        6              0              16   100   69  
8.19/8.21	c 47403          201435         9454344        3781117        6              0              16   50   32   
9.09/9.15	c 52226          221916         10633845       4235749        10             0              1   49   34    
9.99/10.06	c 57531          255502         11799363       4715266        10             0              17   164   106 
11.29/11.39	c 63366          280713         13464964       5430035        10             0              19   50   34   
12.59/12.63	c 69784          324822         15011212       6051928        10             0              17   161   85  
13.79/13.85	c 76843          369657         16590642       6721491        10             0              17   181   106 
15.49/15.52	c 84607          402715         18617984       7443770        10             0              19   47   34   
16.89/16.97	c 93147          445256         20569826       8278226        10             0              17   151   102 
18.58/18.61	c 102541         498772         22724023       9211025        11             0              1   150   114  
20.28/20.36	c 112874         560084         24977766       10143525       11             0              32   147   101 
22.48/22.56	c 124240         601865         27653964       11285901       11             0              17   54   34   
24.88/24.93	c 136742         679733         30823696       12640890       11             0              16   146   110 
27.18/27.21	c 150494         732859         33900334       14000341       11             0              16   135   78  
29.98/30.00	c 165621         818900         37872974       15529112       11             0              12   116   99  
32.68/32.75	c 182260         904879         41661095       16905648       11             0              12   101   89  
35.57/35.67	c 200562         994112         45699761       18312321       11             0              12   98   83   
38.57/38.68	c 220694         1081149        49805656       19700104       11             0              12   77   64   
42.27/42.30	c 242839         1188578        55069630       21704207       11             0              32   116   82  
46.37/46.46	c 267198         1311691        61036928       23863609       11             0              39   108   90  
51.67/51.70	c 293992         1435913        68325263       26740429       11             0              25   92   63   
57.27/57.35	c 323465         1564975        76220824       29768213       56             0              1   70   60    
62.16/62.27	c 355885         1706729        82792896       32049893       56             0              25   64   51   
67.96/68.00	c 391547         1864149        90586520       34739311       56             0              25   60   49   
74.56/74.62	c 430775         2038583        100190499      38527327       56             0              28   97   73   
79.16/79.26	c 473925         2186210        106595501      40834447       56             0              24   50   39   
87.96/88.01	c 521390         2387268        119634179      46222046       56             0              17   113   75  
97.25/97.32	c 573601         2655223        132589009      50996681       56             0              20   95   54   
106.66/106.74	c 631033         2927026        145336248      55408495       56             0              16   104   43  
120.55/120.62	c 694208         3304654        164655777      62323305       56             0              20   144   67  
135.54/135.62	c 763700         3745397        185135769      69691555       56             0              19   105   65  
153.14/153.24	c 840141         4228553        209134148      78512533       56             0              21   127   61  
173.23/173.33	c 924226         4802742        236192897      88224594       56             0              16   128   73  
188.93/189.02	c 1016719        5225000        257884103      96345603       56             0              22   110   61  
209.42/209.57	c 1118461        5762232        287485996      107647669      56             0              20   160   77  
227.52/227.66	c 1230377        6262387        311283800      116166024      56             0              22   73   48   
245.01/245.12	c 1353484        6806388        334403612      123872182      56             0              21   52   43   
261.61/261.78	c 1488901        7344114        356339715      131711361      56             0              21   52   42   
283.50/283.67	c 1637859        7977006        385368156      141832993      56             0              21   52   42   
304.50/304.62	c 1801712        8619617        413440150      151439704      56             0              21   52   44   
362.19/362.31	c 1981950        10480326       493545957      180872488      56             0              22   155   132 
393.18/393.32	c 2180211        11332071       534991598      196597266      56             0              26   51   44   
450.07/450.26	c 2398298        13687836       605743278      222615749      56             0              19   156   119 
502.66/502.89	c 2638193        15795295       671520577      246697761      56             0              21   149   91  
562.94/563.19	c 2902077        17423087       752850202      275826306      56             0              20   96   66   
632.72/632.91	c 3192349        19426148       846437906      308777722      56             0              22   184   73  
705.30/705.51	c 3511648        21745963       942170418      344139271      56             0              23   232   78  
791.37/791.68	c 3862876        26215594       1041433801     383218923      56             0              24   241   79  
911.54/911.87	c 4249226        34688216       1160862614     432454458      56             0              19   266   91  
1052.61/1052.99	c 4674211        45871895       1291669784     489243746      57             0              1   272   99   
1112.39/1112.73	c 5141694        47536579       1373911594     523651185      57             0              15   81   52   
1227.47/1227.89	c 5655925        50603112       1529687613     579943170      57             0              14   88   71   
1329.44/1329.83	c 6221579        53409612       1667248791     630759661      57             0              17   88   63   
1447.32/1447.78	c 6843798        56617503       1827296399     688826638      57             0              26   88   65   
1536.99/1537.49	c 7528238        59558963       1949301825     729659344      57             0              29   73   57   
1693.35/1693.86	c 8281122        67687504       2130116983     800617983      57             0              26   264   72  
1815.51/1816.06	c 9109294        71434356       2297278437     858916687      57             0              28   86   60   
1956.98/1957.59	c 10020283       75745931       2481191416     920833560      57             0              27   64   51   

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

pid=6950
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.23 2.10 1.94 3/187 6953
/proc/meminfo: memFree=30824660/32770624 swapFree=6132/919412
[pid=6953] ppid=6950 vsize=27252 CPUtime=0 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 1001 0 0 0 0 0 0 0 20 0 1 0 16086533 27906048 841 33554432000 4194304 5970956 140724175340016 140724175335240 139970976535532 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 6813 841 704 434 0 177 0

[startup+0.10011 s]
/proc/loadavg: 2.23 2.10 1.94 3/187 6953
/proc/meminfo: memFree=30824660/32770624 swapFree=6132/919412
[pid=6953] ppid=6950 vsize=29468 CPUtime=0.09 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 1673 0 0 0 9 0 0 0 20 0 1 0 16086533 30175232 1450 33554432000 4194304 5970956 140724175340016 140724175333848 4884624 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 7367 1450 790 434 0 731 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29468

[startup+0.200207 s]
/proc/loadavg: 2.23 2.10 1.94 3/187 6953
/proc/meminfo: memFree=30824660/32770624 swapFree=6132/919412
[pid=6953] ppid=6950 vsize=31056 CPUtime=0.19 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 2060 0 0 0 19 0 0 0 20 0 1 0 16086533 31801344 1879 33554432000 4194304 5970956 140724175340016 140724175333448 139970985714480 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 7764 1879 790 434 0 1128 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31056

[startup+0.300203 s]
/proc/loadavg: 2.23 2.10 1.94 3/187 6953
/proc/meminfo: memFree=30824660/32770624 swapFree=6132/919412
[pid=6953] ppid=6950 vsize=32664 CPUtime=0.29 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 2450 0 0 0 29 0 0 0 20 0 1 0 16086533 33447936 2277 33554432000 4194304 5970956 140724175340016 140724175333448 139970985420018 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 8166 2277 790 434 0 1530 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32664

[startup+0.700177 s]
/proc/loadavg: 2.23 2.10 1.94 3/187 6953
/proc/meminfo: memFree=30824660/32770624 swapFree=6132/919412
[pid=6953] ppid=6950 vsize=38948 CPUtime=0.68 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 4011 0 0 0 68 0 0 0 20 0 1 0 16086533 39882752 3819 33554432000 4194304 5970956 140724175340016 140724175333544 139970976818556 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 9737 3819 790 434 0 3101 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 38948

[startup+1.50017 s]
/proc/loadavg: 2.23 2.10 1.94 3/188 6954
/proc/meminfo: memFree=30807868/32770624 swapFree=6132/919396
[pid=6953] ppid=6950 vsize=43796 CPUtime=1.49 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 5281 0 0 0 148 1 0 0 20 0 1 0 16086533 44847104 5064 33554432000 4194304 5970956 140724175340016 140724175337352 4964366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 10949 5064 826 434 0 4313 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43796

[startup+3.10017 s]
/proc/loadavg: 2.21 2.10 1.94 3/188 6954
/proc/meminfo: memFree=30807000/32770624 swapFree=6132/919400
[pid=6953] ppid=6950 vsize=43928 CPUtime=3.09 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 6431 0 0 0 308 1 0 0 20 0 1 0 16086533 44982272 5132 33554432000 4194304 5970956 140724175340016 140724175337352 5070512 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 10982 5132 826 434 0 4346 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 43928

[startup+6.30017 s]
/proc/loadavg: 2.21 2.10 1.94 3/188 6954
/proc/meminfo: memFree=30806888/32770624 swapFree=6132/919396
[pid=6953] ppid=6950 vsize=43928 CPUtime=6.29 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 7580 0 0 0 628 1 0 0 20 0 1 0 16086533 44982272 5137 33554432000 4194304 5970956 140724175340016 140724175337352 4964366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 10982 5137 826 434 0 4346 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43928

[startup+12.7002 s]
/proc/loadavg: 2.18 2.10 1.95 3/188 6954
/proc/meminfo: memFree=30806392/32770624 swapFree=6132/919412
[pid=6953] ppid=6950 vsize=44060 CPUtime=12.69 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 8764 0 0 0 1268 1 0 0 20 0 1 0 16086533 45117440 5139 33554432000 4194304 5970956 140724175340016 140724175337352 5337492 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11015 5139 826 434 0 4379 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44060

[startup+25.5002 s]
/proc/loadavg: 2.15 2.09 1.95 3/188 6954
/proc/meminfo: memFree=30806080/32770624 swapFree=6132/919428
[pid=6953] ppid=6950 vsize=44060 CPUtime=25.48 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 11186 0 0 0 2547 1 0 0 20 0 1 0 16086533 45117440 5201 33554432000 4194304 5970956 140724175340016 140724175337352 5327993 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11015 5201 826 434 0 4379 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44060

[startup+51.1002 s]
/proc/loadavg: 2.04 2.07 1.94 3/188 7015
/proc/meminfo: memFree=29297948/32770624 swapFree=6132/919608
[pid=6953] ppid=6950 vsize=44060 CPUtime=51.07 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 11421 0 0 0 5106 1 0 0 20 0 1 0 16086533 45117440 5201 33554432000 4194304 5970956 140724175340016 140724175337352 4908985 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11015 5201 826 434 0 4379 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 44060

[startup+102.3 s]
/proc/loadavg: 1.98 2.04 1.94 3/188 7076
/proc/meminfo: memFree=30862152/32770624 swapFree=6132/919680
[pid=6953] ppid=6950 vsize=44060 CPUtime=102.26 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 11650 0 0 0 10225 1 0 0 20 0 1 0 16086533 45117440 5201 33554432000 4194304 5970956 140724175340016 140724175337352 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11015 5201 826 434 0 4379 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 44060

[startup+162.3 s]
/proc/loadavg: 1.99 2.04 1.95 3/188 7077
/proc/meminfo: memFree=30861944/32770624 swapFree=6132/919732
[pid=6953] ppid=6950 vsize=44060 CPUtime=162.24 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 11879 0 0 0 16223 1 0 0 20 0 1 0 16086533 45117440 5201 33554432000 4194304 5970956 140724175340016 140724175337352 5038188 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11015 5201 826 434 0 4379 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 44060

[startup+222.306 s]
/proc/loadavg: 2.00 2.03 1.95 3/187 7078
/proc/meminfo: memFree=30861836/32770624 swapFree=6132/919788
[pid=6953] ppid=6950 vsize=44192 CPUtime=222.23 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 12115 0 0 0 22222 1 0 0 20 0 1 0 16086533 45252608 5201 33554432000 4194304 5970956 140724175340016 140724175337352 4908922 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11048 5201 826 434 0 4412 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 44192

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 1.95 3/187 7079
/proc/meminfo: memFree=30861960/32770624 swapFree=6132/919836
[pid=6953] ppid=6950 vsize=44192 CPUtime=282.2 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 12334 0 0 0 28219 1 0 0 20 0 1 0 16086533 45252608 5207 33554432000 4194304 5970956 140724175340016 140724175337352 4964768 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11048 5207 826 434 0 4412 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 44192

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.95 3/187 7080
/proc/meminfo: memFree=30862044/32770624 swapFree=6132/919880
[pid=6953] ppid=6950 vsize=44192 CPUtime=342.2 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 12570 0 0 0 34218 2 0 0 20 0 1 0 16086533 45252608 5207 33554432000 4194304 5970956 140724175340016 140724175337352 4964366 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11048 5207 826 434 0 4412 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 44192

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/187 7081
/proc/meminfo: memFree=30862084/32770624 swapFree=6132/919924
[pid=6953] ppid=6950 vsize=44192 CPUtime=402.18 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 12805 0 0 0 40216 2 0 0 20 0 1 0 16086533 45252608 5208 33554432000 4194304 5970956 140724175340016 140724175337352 5337513 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11048 5208 826 434 0 4412 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 44192

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/187 7082
/proc/meminfo: memFree=30861340/32770624 swapFree=6132/919956
[pid=6953] ppid=6950 vsize=44192 CPUtime=462.16 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 13040 0 0 0 46214 2 0 0 20 0 1 0 16086533 45252608 5209 33554432000 4194304 5970956 140724175340016 140724175337352 4908916 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11048 5209 826 434 0 4412 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 44192

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/187 7090
/proc/meminfo: memFree=30860728/32770624 swapFree=6132/919988
[pid=6953] ppid=6950 vsize=44192 CPUtime=522.15 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 13275 0 0 0 52213 2 0 0 20 0 1 0 16086533 45252608 5209 33554432000 4194304 5970956 140724175340016 140724175337352 5327993 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11048 5209 826 434 0 4412 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 44192

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/187 7091
/proc/meminfo: memFree=30861348/32770624 swapFree=6132/920028
[pid=6953] ppid=6950 vsize=44192 CPUtime=582.13 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 13511 0 0 0 58211 2 0 0 20 0 1 0 16086533 45252608 5209 33554432000 4194304 5970956 140724175340016 140724175337352 5038183 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11048 5209 826 434 0 4412 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 44192


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


[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 1.98 3/187 7140
/proc/meminfo: memFree=30857856/32770624 swapFree=6132/920604
[pid=6953] ppid=6950 vsize=44456 CPUtime=1541.89 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 18186 0 0 0 154186 3 0 0 20 0 1 0 16086533 45522944 5280 33554432000 4194304 5970956 140724175340016 140724175337352 5136560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5280 826 434 0 4478 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 44456

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/187 7141
/proc/meminfo: memFree=30857764/32770624 swapFree=6132/920636
[pid=6953] ppid=6950 vsize=44456 CPUtime=1601.87 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 18491 0 0 0 160184 3 0 0 20 0 1 0 16086533 45522944 5286 33554432000 4194304 5970956 140724175340016 140724175337352 5337501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5286 826 434 0 4478 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 44456

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/187 7142
/proc/meminfo: memFree=30857680/32770624 swapFree=6132/920664
[pid=6953] ppid=6950 vsize=44456 CPUtime=1661.86 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 18793 0 0 0 166183 3 0 0 20 0 1 0 16086533 45522944 5286 33554432000 4194304 5970956 140724175340016 140724175337352 5136789 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5286 826 434 0 4478 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 44456

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 7150
/proc/meminfo: memFree=30857096/32770624 swapFree=6132/920712
[pid=6953] ppid=6950 vsize=44456 CPUtime=1721.84 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 19107 0 0 0 172181 3 0 0 20 0 1 0 16086533 45522944 5286 33554432000 4194304 5970956 140724175340016 140724175337352 5327985 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5286 826 434 0 4478 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 44456

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 7151
/proc/meminfo: memFree=30857484/32770624 swapFree=6132/920744
[pid=6953] ppid=6950 vsize=44456 CPUtime=1781.82 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 19400 0 0 0 178179 3 0 0 20 0 1 0 16086533 45522944 5287 33554432000 4194304 5970956 140724175340016 140724175337352 4908607 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5287 826 434 0 4478 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 44456

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 7152
/proc/meminfo: memFree=30857628/32770624 swapFree=6132/920788
[pid=6953] ppid=6950 vsize=44456 CPUtime=1841.81 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 19702 0 0 0 184178 3 0 0 20 0 1 0 16086533 45522944 5287 33554432000 4194304 5970956 140724175340016 140724175337352 5337492 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5287 826 434 0 4478 0
Current children cumulated CPU time (s) 1841.81
Current children cumulated vsize (KiB) 44456

[startup+1902.3 s]
/proc/loadavg: 2.10 2.04 1.99 3/187 7153
/proc/meminfo: memFree=30857408/32770624 swapFree=6132/920820
[pid=6953] ppid=6950 vsize=44456 CPUtime=1901.79 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 19937 0 0 0 190176 3 0 0 20 0 1 0 16086533 45522944 5287 33554432000 4194304 5970956 140724175340016 140724175337352 5038188 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5287 826 434 0 4478 0
Current children cumulated CPU time (s) 1901.79
Current children cumulated vsize (KiB) 44456

[startup+1962.3 s]
/proc/loadavg: 2.04 2.04 1.99 3/187 7154
/proc/meminfo: memFree=30857432/32770624 swapFree=6132/920844
[pid=6953] ppid=6950 vsize=44456 CPUtime=1961.78 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 20244 0 0 0 196175 3 0 0 20 0 1 0 16086533 45522944 5287 33554432000 4194304 5970956 140724175340016 140724175337352 5052093 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5287 826 434 0 4478 0
Current children cumulated CPU time (s) 1961.78
Current children cumulated vsize (KiB) 44456

[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/187 7155
/proc/meminfo: memFree=30857700/32770624 swapFree=6132/920876
[pid=6953] ppid=6950 vsize=44456 CPUtime=2021.76 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 20551 0 0 0 202173 3 0 0 20 0 1 0 16086533 45522944 5287 33554432000 4194304 5970956 140724175340016 140724175337352 5136608 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5287 826 434 0 4478 0
Current children cumulated CPU time (s) 2021.76
Current children cumulated vsize (KiB) 44456

[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/187 7156
/proc/meminfo: memFree=30857352/32770624 swapFree=6132/920912
[pid=6953] ppid=6950 vsize=44456 CPUtime=2081.75 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 20843 0 0 0 208172 3 0 0 20 0 1 0 16086533 45522944 5291 33554432000 4194304 5970956 140724175340016 140724175337352 5337501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5291 826 434 0 4478 0
Current children cumulated CPU time (s) 2081.75
Current children cumulated vsize (KiB) 44456

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/187 7157
/proc/meminfo: memFree=30857368/32770624 swapFree=6132/920940
[pid=6953] ppid=6950 vsize=44456 CPUtime=2141.73 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 21138 0 0 0 214170 3 0 0 20 0 1 0 16086533 45522944 5292 33554432000 4194304 5970956 140724175340016 140724175337352 5337501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5292 826 434 0 4478 0
Current children cumulated CPU time (s) 2141.73
Current children cumulated vsize (KiB) 44456

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 7158
/proc/meminfo: memFree=30857384/32770624 swapFree=6132/920968
[pid=6953] ppid=6950 vsize=44456 CPUtime=2201.72 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 21432 0 0 0 220169 3 0 0 20 0 1 0 16086533 45522944 5293 33554432000 4194304 5970956 140724175340016 140724175337352 4967821 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5293 826 434 0 4478 0
Current children cumulated CPU time (s) 2201.72
Current children cumulated vsize (KiB) 44456

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 7159
/proc/meminfo: memFree=30857904/32770624 swapFree=6132/921000
[pid=6953] ppid=6950 vsize=44456 CPUtime=2261.71 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 21731 0 0 0 226167 4 0 0 20 0 1 0 16086533 45522944 5293 33554432000 4194304 5970956 140724175340016 140724175337352 5136560 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5293 826 434 0 4478 0
Current children cumulated CPU time (s) 2261.71
Current children cumulated vsize (KiB) 44456

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 7167
/proc/meminfo: memFree=30857168/32770624 swapFree=6132/921036
[pid=6953] ppid=6950 vsize=44456 CPUtime=2321.69 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 22024 0 0 0 232165 4 0 0 20 0 1 0 16086533 45522944 5293 33554432000 4194304 5970956 140724175340016 140724175337352 5337501 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5293 826 434 0 4478 0
Current children cumulated CPU time (s) 2321.69
Current children cumulated vsize (KiB) 44456

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 7168
/proc/meminfo: memFree=30857560/32770624 swapFree=6132/921068
[pid=6953] ppid=6950 vsize=44456 CPUtime=2381.67 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 22327 0 0 0 238163 4 0 0 20 0 1 0 16086533 45522944 5294 33554432000 4194304 5970956 140724175340016 140724175337352 5311662 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5294 826 434 0 4478 0
Current children cumulated CPU time (s) 2381.67
Current children cumulated vsize (KiB) 44456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.7 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 7169
/proc/meminfo: memFree=30857204/32770624 swapFree=6132/921096
[pid=6953] ppid=6950 vsize=44456 CPUtime=2400.07 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 22606 0 0 0 240003 4 0 0 20 0 1 0 16086533 45522944 5294 33554432000 4194304 5970956 140724175340016 140724175337352 5337513 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5294 826 434 0 4478 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 44456

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

[startup+2400.7 s]
/proc/loadavg: 2.00 2.01 1.99 3/187 7169
/proc/meminfo: memFree=30857204/32770624 swapFree=6132/921096
[pid=6953] ppid=6950 vsize=44456 CPUtime=2400.07 cores=0,2,4,6
/proc/6953/stat : 6953 (cosoco) R 6950 6953 5492 0 -1 4202496 22606 0 0 0 240003 4 0 0 20 0 1 0 16086533 45522944 5294 33554432000 4194304 5970956 140724175340016 140724175337352 5337513 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8070896 8075904 35610624 140724175344833 140724175344963 140724175344963 140724175347662 0
/proc/6953/statm: 11114 5294 826 434 0 4478 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 44456

Child status: 1
Real time (s): 2400.7
CPU time (s): 2400.08
CPU user time (s): 2400.04
CPU system time (s): 0.041989
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 44456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.04
system time used= 0.041989
maximum resident set size= 21220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22633
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= 13
involuntary context switches= 122902

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.62273 second user time and 8.18059 second system time

The end

Begin job on node140 at 2017-07-21 10:41:44
IDJOB=4240726
IDBENCH=123769
IDSOLVER=2620
FILE ID=node140/4240726-1500626504
RUNJOBID= node140-1500623777-5523
PBS_JOBID= 20622993
Free space on /tmp= 61860 MiB

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

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

MD5SUM BENCH= e9f6f40743648773adf3c8e081ae5e9b
RANDOM SEED=828763819

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30825064 kB
MemAvailable:   31947064 kB
Buffers:          158232 kB
Cached:          1241980 kB
SwapCached:            0 kB
Active:           593952 kB
Inactive:         928316 kB
Active(anon):     125136 kB
Inactive(anon):     8904 kB
Active(file):     468816 kB
Inactive(file):   919412 kB
Unevictable:        6132 kB
Mlocked:            6140 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3160 kB
Writeback:             0 kB
AnonPages:        132320 kB
Mapped:            34656 kB
Shmem:              8852 kB
Slab:             124128 kB
SReclaimable:      99216 kB
SUnreclaim:        24912 kB
KernelStack:        3488 kB
PageTables:         5440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     387344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61860 MiB
End job on node140 at 2017-07-21 11:21:44