0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.41/0.47	c
0.41/0.47	c This is cosoco 2.00 --  
0.41/0.47	c
0.41/0.47	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408864-1569794526.xml 
0.41/0.47	c enable optimization
0.41/0.47	c ========================================[ Problem Statistics ]===========================================
0.41/0.47	c |                                                                                                       
0.41/0.47	c |  Parse time        :         0.28 s 
0.41/0.47	c |
0.41/0.47	c |               Variables: 2480
0.41/0.47	c |            Domain Sizes: 2..41
0.41/0.47	c |
0.41/0.47	c |             Constraints: 2442
0.41/0.47	c |                   Arity: 2..40  -- Binary: 820  -- Ternary: 1580
0.41/0.47	c | 
0.41/0.47	c |                   Types: 
0.41/0.47	c |                          (X = Y): 20
0.41/0.47	c |                          All Different: 1
0.41/0.47	c |                          Extension: 1600  (nb tuples: 10..40) -- (shared: 799)
0.41/0.47	c |                          Max constant: 1
0.41/0.47	c |                          Sum: 820
0.41/0.47	c |                          
0.41/0.47	c |               Objective: Minimize Max constant
0.41/0.47	
0.41/0.47	c =========================================================================================================
0.41/0.47	o 20
0.41/0.47	c    1 calls to solver(id=*d): best=0 lower=20 upper=0 
3.00/3.05	o 19
3.19/3.26	o 18
3.19/3.26	c    3 calls to solver(id=*d): best=0 lower=18 upper=0 
19.59/19.67	o 17
2400.01/2400.00	
2400.01/2400.00	c *** INTERRUPTED ***
2400.01/2400.00	c call to solver        : 4
2400.01/2400.00	c
2400.01/2400.00	c restarts              : 127         
2400.01/2400.00	c conflicts             : 5531380      (2305 /sec)
2400.01/2400.00	c decisions             : 48554085     (20231 /sec)
2400.01/2400.00	c propagations          : 1645345923  (685570 /sec)
2400.01/2400.00	c root propagations     : 800         
2400.01/2400.00	c filter calls          : 3020689045     (1258637 /sec)
2400.01/2400.00	c useless filter calls  : 1816713195     (60 %)
2400.01/2400.00	c Memory used           : 85.14 MB
2400.01/2400.00	c Best bound time (wc)  : 19.6686 s
2400.01/2400.00	c CPU time              : 2399.97 s
2400.01/2400.00	c real time             : 2400 s
2400.01/2400.00	
2400.01/2400.00	c nb Solutions = 4
2400.01/2400.00	s SATISFIABLE
2400.01/2400.00	c Best value found: 17
2400.01/2400.00	
2400.01/2400.00	
2400.01/2400.00	v <instantiation type='solution' cost='17'>
2400.01/2400.00	v <list>np[0][0] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][1] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[0][2] np[0][30] np[0][31] np[0][32] np[0][33] np[0][34] np[0][35] np[0][36] np[0][37] np[0][38] np[0][39] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[10][0] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][1] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[10][2] np[10][30] np[10][31] np[10][32] np[10][33] np[10][34] np[10][35] np[10][36] np[10][37] np[10][38] np[10][39] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[11][0] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][1] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[11][2] np[11][30] np[11][31] np[11][32] np[11][33] np[11][34] np[11][35] np[11][36] np[11][37] np[11][38] np[11][39] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[12][0] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][1] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[12][2] np[12][30] np[12][31] np[12][32] np[12][33] np[12][34] np[12][35] np[12][36] np[12][37] np[12][38] np[12][39] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[13][0] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][1] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[13][2] np[13][30] np[13][31] np[13][32] np[13][33] np[13][34] np[13][35] np[13][36] np[13][37] np[13][38] np[13][39] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[14][0] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][1] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] np[14][2] np[14][30] np[14][31] np[14][32] np[14][33] np[14][34] np[14][35] np[14][36] np[14][37] np[14][38] np[14][39] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[15][0] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][1] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] np[15][2] np[15][30] np[15][31] np[15][32] np[15][33] np[15][34] np[15][35] np[15][36] np[15][37] np[15][38] np[15][39] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[16][0] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][1] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] np[16][2] np[16][30] np[16][31] np[16][32] np[16][33] np[16][34] np[16][35] np[16][36] np[16][37] np[16][38] np[16][39] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[17][0] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][1] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] np[17][2] np[17][30] np[17][31] np[17][32] np[17][33] np[17][34] np[17][35] np[17][36] np[17][37] np[17][38] np[17][39] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[18][0] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][1] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] np[18][2] np[18][30] np[18][31] np[18][32] np[18][33] np[18][34] np[18][35] np[18][36] np[18][37] np[18][38] np[18][39] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[19][0] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][1] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] np[19][2] np[19][30] np[19][31] np[19][32] np[19][33] np[19][34] np[19][35] np[19][36] np[19][37] np[19][38] np[19][39] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[1][0] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][1] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[1][2] np[1][30] np[1][31] np[1][32] np[1][33] np[1][34] np[1][35] np[1][36] np[1][37] np[1][38] np[1][39] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[2][0] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][1] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[2][2] np[2][30] np[2][31] np[2][32] np[2][33] np[2][34] np[2][35] np[2][36] np[2][37] np[2][38] np[2][39] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[3][0] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][1] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[3][2] np[3][30] np[3][31] np[3][32] np[3][33] np[3][34] np[3][35] np[3][36] np[3][37] np[3][38] np[3][39] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[4][0] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][1] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[4][2] np[4][30] np[4][31] np[4][32] np[4][33] np[4][34] np[4][35] np[4][36] np[4][37] np[4][38] np[4][39] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[5][0] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][1] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[5][2] np[5][30] np[5][31] np[5][32] np[5][33] np[5][34] np[5][35] np[5][36] np[5][37] np[5][38] np[5][39] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[6][0] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][1] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[6][2] np[6][30] np[6][31] np[6][32] np[6][33] np[6][34] np[6][35] np[6][36] np[6][37] np[6][38] np[6][39] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[7][0] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][1] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[7][2] np[7][30] np[7][31] np[7][32] np[7][33] np[7][34] np[7][35] np[7][36] np[7][37] np[7][38] np[7][39] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[8][0] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][1] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[8][2] np[8][30] np[8][31] np[8][32] np[8][33] np[8][34] np[8][35] np[8][36] np[8][37] np[8][38] np[8][39] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[9][0] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][1] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[9][2] np[9][30] np[9][31] np[9][32] np[9][33] np[9][34] np[9][35] np[9][36] np[9][37] np[9][38] np[9][39] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] o[0][0] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][1] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[0][2] o[0][30] o[0][31] o[0][32] o[0][33] o[0][34] o[0][35] o[0][36] o[0][37] o[0][38] o[0][39] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[10][0] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][1] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[10][2] o[10][30] o[10][31] o[10][32] o[10][33] o[10][34] o[10][35] o[10][36] o[10][37] o[10][38] o[10][39] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[11][0] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][1] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[11][2] o[11][30] o[11][31] o[11][32] o[11][33] o[11][34] o[11][35] o[11][36] o[11][37] o[11][38] o[11][39] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[12][0] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][1] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[12][2] o[12][30] o[12][31] o[12][32] o[12][33] o[12][34] o[12][35] o[12][36] o[12][37] o[12][38] o[12][39] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[13][0] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][1] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[13][2] o[13][30] o[13][31] o[13][32] o[13][33] o[13][34] o[13][35] o[13][36] o[13][37] o[13][38] o[13][39] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[14][0] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][1] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[14][2] o[14][30] o[14][31] o[14][32] o[14][33] o[14][34] o[14][35] o[14][36] o[14][37] o[14][38] o[14][39] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[15][0] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][1] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[15][2] o[15][30] o[15][31] o[15][32] o[15][33] o[15][34] o[15][35] o[15][36] o[15][37] o[15][38] o[15][39] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[16][0] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][1] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[16][2] o[16][30] o[16][31] o[16][32] o[16][33] o[16][34] o[16][35] o[16][36] o[16][37] o[16][38] o[16][39] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[17][0] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][1] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[17][2] o[17][30] o[17][31] o[17][32] o[17][33] o[17][34] o[17][35] o[17][36] o[17][37] o[17][38] o[17][39] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[18][0] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][1] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[18][2] o[18][30] o[18][31] o[18][32] o[18][33] o[18][34] o[18][35] o[18][36] o[18][37] o[18][38] o[18][39] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[19][0] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][1] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[19][2] o[19][30] o[19][31] o[19][32] o[19][33] o[19][34] o[19][35] o[19][36] o[19][37] o[19][38] o[19][39] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[1][0] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][1] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[1][2] o[1][30] o[1][31] o[1][32] o[1][33] o[1][34] o[1][35] o[1][36] o[1][37] o[1][38] o[1][39] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[2][0] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][1] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[2][2] o[2][30] o[2][31] o[2][32] o[2][33] o[2][34] o[2][35] o[2][36] o[2][37] o[2][38] o[2][39] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[3][0] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][1] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[3][2] o[3][30] o[3][31] o[3][32] o[3][33] o[3][34] o[3][35] o[3][36] o[3][37] o[3][38] o[3][39] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[4][0] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][1] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[4][2] o[4][30] o[4][31] o[4][32] o[4][33] o[4][34] o[4][35] o[4][36] o[4][37] o[4][38] o[4][39] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[5][0] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][1] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[5][2] o[5][30] o[5][31] o[5][32] o[5][33] o[5][34] o[5][35] o[5][36] o[5][37] o[5][38] o[5][39] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[6][0] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][1] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[6][2] o[6][30] o[6][31] o[6][32] o[6][33] o[6][34] o[6][35] o[6][36] o[6][37] o[6][38] o[6][39] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[7][0] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][1] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[7][2] o[7][30] o[7][31] o[7][32] o[7][33] o[7][34] o[7][35] o[7][36] o[7][37] o[7][38] o[7][39] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[8][0] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][1] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[8][2] o[8][30] o[8][31] o[8][32] o[8][33] o[8][34] o[8][35] o[8][36] o[8][37] o[8][38] o[8][39] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[9][0] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][1] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[9][2] o[9][30] o[9][31] o[9][32] o[9][33] o[9][34] o[9][35] o[9][36] o[9][37] o[9][38] o[9][39] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] p[0] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[3] p[4] p[5] p[6] p[7] p[8] p[9] r[0][0] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][1] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] r[0][2] r[0][30] r[0][31] r[0][32] r[0][33] r[0][34] r[0][35] r[0][36] r[0][37] r[0][38] r[0][39] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[10][0] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][1] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] r[10][2] r[10][30] r[10][31] r[10][32] r[10][33] r[10][34] r[10][35] r[10][36] r[10][37] r[10][38] r[10][39] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][1] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] r[11][2] r[11][30] r[11][31] r[11][32] r[11][33] r[11][34] r[11][35] r[11][36] r[11][37] r[11][38] r[11][39] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][1] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] r[12][2] r[12][30] r[12][31] r[12][32] r[12][33] r[12][34] r[12][35] r[12][36] r[12][37] r[12][38] r[12][39] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][1] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] r[13][2] r[13][30] r[13][31] r[13][32] r[13][33] r[13][34] r[13][35] r[13][36] r[13][37] r[13][38] r[13][39] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][1] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] r[14][2] r[14][30] r[14][31] r[14][32] r[14][33] r[14][34] r[14][35] r[14][36] r[14][37] r[14][38] r[14][39] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][1] r[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] r[15][2] r[15][30] r[15][31] r[15][32] r[15][33] r[15][34] r[15][35] r[15][36] r[15][37] r[15][38] r[15][39] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][1] r[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] r[16][2] r[16][30] r[16][31] r[16][32] r[16][33] r[16][34] r[16][35] r[16][36] r[16][37] r[16][38] r[16][39] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][1] r[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] r[17][2] r[17][30] r[17][31] r[17][32] r[17][33] r[17][34] r[17][35] r[17][36] r[17][37] r[17][38] r[17][39] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][1] r[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] r[18][2] r[18][30] r[18][31] r[18][32] r[18][33] r[18][34] r[18][35] r[18][36] r[18][37] r[18][38] r[18][39] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][1] r[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] r[19][2] r[19][30] r[19][31] r[19][32] r[19][33] r[19][34] r[19][35] r[19][36] r[19][37] r[19][38] r[19][39] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[1][0] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][1] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] r[1][2] r[1][30] r[1][31] r[1][32] r[1][33] r[1][34] r[1][35] r[1][36] r[1][37] r[1][38] r[1][39] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][1] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] r[2][2] r[2][30] r[2][31] r[2][32] r[2][33] r[2][34] r[2][35] r[2][36] r[2][37] r[2][38] r[2][39] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][1] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] r[3][2] r[3][30] r[3][31] r[3][32] r[3][33] r[3][34] r[3][35] r[3][36] r[3][37] r[3][38] r[3][39] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][1] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] r[4][2] r[4][30] r[4][31] r[4][32] r[4][33] r[4][34] r[4][35] r[4][36] r[4][37] r[4][38] r[4][39] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][1] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] r[5][2] r[5][30] r[5][31] r[5][32] r[5][33] r[5][34] r[5][35] r[5][36] r[5][37] r[5][38] r[5][39] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][1] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] r[6][2] r[6][30] r[6][31] r[6][32] r[6][33] r[6][34] r[6][35] r[6][36] r[6][37] r[6][38] r[6][39] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][1] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] r[7][2] r[7][30] r[7][31] r[7][32] r[7][33] r[7][34] r[7][35] r[7][36] r[7][37] r[7][38] r[7][39] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][1] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] r[8][2] r[8][30] r[8][31] r[8][32] r[8][33] r[8][34] r[8][35] r[8][36] r[8][37] r[8][38] r[8][39] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][1] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] r[9][2] r[9][30] r[9][31] r[9][32] r[9][33] r[9][34] r[9][35] r[9][36] r[9][37] r[9][38] r[9][39] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] so[0] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[1] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] so[2] so[30] so[31] so[32] so[33] so[34] so[35] so[36] so[37] so[38] so[39] so[3] so[4] so[5] so[6] so[7] so[8] so[9] </list>
2400.01/2400.01	v <values>0 1 1 1 1 1 1 1 1 1 1 0 1 2 3 3 3 4 4 5 6 6 0 6 6 6 7 7 8 8 8 8 8 0 0 0 0 0 1 1 1 2 3 4 4 4 5 5 6 6 6 1 7 7 7 7 7 7 7 7 7 7 1 7 7 7 7 7 7 7 7 7 8 1 1 2 2 2 2 2 0 3 3 4 4 4 5 5 5 5 5 0 6 6 6 6 6 6 7 7 7 7 0 8 8 8 8 8 8 8 8 8 8 1 2 2 2 2 2 2 0 1 1 2 2 2 2 2 3 3 3 0 4 4 4 4 4 4 4 4 4 4 0 5 5 6 6 6 6 7 7 7 8 0 0 1 1 1 1 1 0 3 3 3 3 3 3 3 3 3 3 1 4 4 4 4 4 4 5 5 5 5 1 6 6 6 6 6 6 7 8 8 8 2 3 3 3 3 3 3 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 2 0 3 3 4 5 5 5 6 7 7 8 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 3 1 3 3 3 3 3 3 4 4 4 5 1 5 5 5 5 6 6 7 8 8 8 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 2 2 3 4 5 5 5 6 7 8 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 3 1 3 3 3 3 4 4 5 5 5 6 1 6 6 6 6 7 7 7 7 8 8 1 1 1 1 1 2 2 0 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 3 3 3 4 4 0 4 4 5 6 7 7 7 7 8 8 0 0 0 0 0 1 1 0 2 2 2 2 2 2 2 2 2 3 1 3 3 3 3 4 4 4 4 5 5 1 5 6 6 6 6 7 7 7 8 8 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 2 0 2 2 3 4 5 5 5 5 6 6 0 6 7 7 7 7 8 8 8 8 8 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 3 3 0 3 4 5 5 5 6 6 7 7 7 0 7 7 7 7 7 8 8 8 8 8 0 0 0 1 1 1 1 0 1 1 1 2 3 3 3 3 4 4 0 4 4 5 6 7 7 7 7 7 7 1 7 8 8 8 8 8 8 8 8 8 1 1 1 1 1 1 1 1 4 4 4 4 5 5 5 5 6 6 1 6 7 7 7 7 7 7 8 8 8 2 8 8 8 8 8 8 8 8 8 8 2 2 2 3 3 3 4 0 3 3 3 4 5 5 6 6 6 6 0 6 6 6 7 7 7 7 7 7 7 1 7 8 8 8 8 8 8 8 8 8 1 1 1 1 1 1 2 1 6 6 6 6 6 6 7 7 7 7 1 7 7 7 7 7 7 7 8 8 8 2 8 8 8 8 8 8 8 8 8 8 2 2 3 4 5 5 6 0 4 5 5 6 6 6 7 7 7 7 0 7 7 7 8 8 8 8 8 8 8 0 8 8 8 8 8 8 8 8 8 8 0 1 1 1 2 2 3 1 4 5 5 5 5 6 7 8 8 8 1 8 8 8 8 8 8 8 8 8 8 1 8 8 8 8 8 8 8 8 8 8 1 1 2 3 4 4 4 0 4 5 6 7 7 8 8 8 8 8 0 8 8 8 8 8 8 8 8 8 8 0 8 8 8 8 8 8 8 8 8 8 1 2 2 2 3 3 3 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 24 25 7 9 23 2 8 5 28 1 35 33 10 38 0 21 37 36 31 20 18 14 3 11 39 32 34 15 19 12 13 16 30 29 27 26 22 6 17 4 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 4 17 17 17 17 17 17 16 17 17 17 8 17 17 17 17 16 17 17 17 15 15 10 15 14 12 12 12 12 9 9 7 4 12 13 14 15 15 17 17 </values>
2400.01/2400.01	v </instantiation>
2400.01/2400.01	

OK	17

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14649 MiB free)
  memory of node 1: 16384 MiB (15692 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408864-1569794526/watcher-4408864-1569794526 -o /tmp/evaluation-result-4408864-1569794526/solver-4408864-1569794526 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6073 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408864-1569794526.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=7842, runsolver pid=7839

[startup+0.100155 s]*
/proc/loadavg: 2.00 2.00 1.98 3/200 7843
/proc/meminfo: memFree=31055692/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=41920 memory=18168 CPUtime=0.1 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 4761 0 0 0 10 0 0 0 20 0 1 0 555717339 42926080 4542 33554432000 4194304 6211132 140733758370224 140733758366760 140616231126944 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 10480 4542 836 493 0 3785 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41920 KiB
Current children cumulated memory: 18168 KiB

[startup+0.209709 s]*
/proc/loadavg: 2.00 2.00 1.98 3/200 7843
/proc/meminfo: memFree=31048996/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=48732 memory=25032 CPUtime=0.21 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 6449 0 0 0 21 0 0 0 20 0 1 0 555717339 49901568 6258 33554432000 4194304 6211132 140733758370224 140733758366760 140616231078885 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 12183 6258 836 493 0 5488 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 48732 KiB
Current children cumulated memory: 25032 KiB

[startup+0.309571 s]*
/proc/loadavg: 2.00 2.00 1.98 3/200 7843
/proc/meminfo: memFree=31035472/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=61436 memory=37960 CPUtime=0.31 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 9711 0 0 0 30 1 0 0 20 0 1 0 555717339 62910464 9490 33554432000 4194304 6211132 140733758370224 140733758368488 5409471 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 15359 9490 868 493 0 8664 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 61436 KiB
Current children cumulated memory: 37960 KiB

[startup+0.700336 s]
/proc/loadavg: 2.00 2.00 1.98 3/200 7843
/proc/meminfo: memFree=31017244/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=80240 memory=56968 CPUtime=0.69 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 14408 0 0 0 67 2 0 0 20 0 1 0 555717339 82165760 14242 33554432000 4194304 6211132 140733758370224 140733758368488 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 20060 14242 911 493 0 13365 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 80240 KiB
Current children cumulated memory: 56968 KiB

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 1.98 3/200 7843
/proc/meminfo: memFree=31016872/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=80372 memory=56968 CPUtime=1.49 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 14455 0 0 0 147 2 0 0 20 0 1 0 555717339 82300928 14242 33554432000 4194304 6211132 140733758370224 140733758367624 5008971 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 20093 14242 911 493 0 13398 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 80372 KiB
Current children cumulated memory: 56968 KiB

[startup+3.10943 s]
/proc/loadavg: 1.84 1.97 1.97 3/200 7843
/proc/meminfo: memFree=31016708/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=85284 memory=61904 CPUtime=3.1 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 24431 0 0 0 308 2 0 0 20 0 1 0 555717339 87330816 15476 33554432000 4194304 6211132 140733758370224 140733758367624 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21321 15476 911 493 0 14626 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 85284 KiB
Current children cumulated memory: 61904 KiB

[startup+6.30028 s]
/proc/loadavg: 1.84 1.97 1.97 3/200 7843
/proc/meminfo: memFree=31010684/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=86636 memory=63296 CPUtime=6.29 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 32676 0 0 0 626 3 0 0 20 0 1 0 555717339 88715264 15824 33554432000 4194304 6211132 140733758370224 140733758358104 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21659 15824 911 493 0 14964 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 86636 KiB
Current children cumulated memory: 63296 KiB

[startup+12.7003 s]
/proc/loadavg: 1.86 1.97 1.97 3/200 7843
/proc/meminfo: memFree=31010548/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=86636 memory=63296 CPUtime=12.69 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 43994 0 0 0 1266 3 0 0 20 0 1 0 555717339 88715264 15824 33554432000 4194304 6211132 140733758370224 140733758358104 5396788 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21659 15824 911 493 0 14964 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 86636 KiB
Current children cumulated memory: 63296 KiB

[startup+25.5003 s]
/proc/loadavg: 1.89 1.97 1.97 3/201 7846
/proc/meminfo: memFree=31009136/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63748 CPUtime=25.49 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 57195 0 0 0 2545 4 0 0 20 0 1 0 555717339 89268224 15937 33554432000 4194304 6211132 140733758370224 140733758368360 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15937 911 493 0 15099 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63748 KiB

[startup+51.1091 s]
/proc/loadavg: 1.93 1.97 1.97 3/200 7846
/proc/meminfo: memFree=31009284/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63748 CPUtime=51.09 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 63978 0 0 0 5105 4 0 0 20 0 1 0 555717339 89268224 15937 33554432000 4194304 6211132 140733758370224 140733758368360 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15937 911 493 0 15099 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63748 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 1.98 1.97 3/200 7850
/proc/meminfo: memFree=31008756/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63748 CPUtime=102.29 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 70696 0 0 0 10224 5 0 0 20 0 1 0 555717339 89268224 15937 33554432000 4194304 6211132 140733758370224 140733758368360 5397407 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15937 911 493 0 15099 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63748 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/200 7856
/proc/meminfo: memFree=31008836/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=162.27 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 77342 0 0 0 16222 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/200 7860
/proc/meminfo: memFree=31009188/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=222.27 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 77676 0 0 0 22222 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5408896 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/199 7864
/proc/meminfo: memFree=31008408/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=282.27 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 77976 0 0 0 28222 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/199 7870
/proc/meminfo: memFree=31008472/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=342.27 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 78264 0 0 0 34222 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5149003 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/199 7875
/proc/meminfo: memFree=31009204/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=402.27 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 78553 0 0 0 40222 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5078762 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/199 7879
/proc/meminfo: memFree=31008776/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=462.27 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 78841 0 0 0 46222 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5035286 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB


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

/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 1602.29 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8115
/proc/meminfo: memFree=31392288/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=1662.29 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 84324 0 0 0 166224 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5380302 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 1662.29 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8126
/proc/meminfo: memFree=31392148/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=1722.29 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 84542 0 0 0 172224 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8132
/proc/meminfo: memFree=31392284/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=1782.3 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 84756 0 0 0 178225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5409493 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8136
/proc/meminfo: memFree=31392308/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=1842.3 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 84975 0 0 0 184225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5250319 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8140
/proc/meminfo: memFree=31392112/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=1902.3 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 85189 0 0 0 190225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5397295 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8146
/proc/meminfo: memFree=31391724/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=1962.3 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 85403 0 0 0 196225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5035283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8150
/proc/meminfo: memFree=31392916/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2022.3 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 85696 0 0 0 202225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5186344 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8154
/proc/meminfo: memFree=31391852/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2082.3 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 85946 0 0 0 208225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5390208 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8160
/proc/meminfo: memFree=31391988/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2142.3 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 86233 0 0 0 214225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8164
/proc/meminfo: memFree=31392680/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2202.3 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 86449 0 0 0 220225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8168
/proc/meminfo: memFree=31391604/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2262.3 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 86665 0 0 0 226225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8181
/proc/meminfo: memFree=31391508/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2322.3 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 86896 0 0 0 232225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5409508 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/199 8185
/proc/meminfo: memFree=31392520/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2382.3 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 87112 0 0 0 238225 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5396768 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400 s]*
/proc/loadavg: 2.00 2.01 2.00 3/199 8186
/proc/meminfo: memFree=31392500/32770624 swapFree=66999984/67108860
[pid=7842] ppid=7839 vsize=87176 memory=63860 CPUtime=2400.01 cores=1,3,5,7
/proc/7842/stat : 7842 (cosoco) R 7839 7842 6041 0 -1 4202496 87328 0 0 0 239996 5 0 0 20 0 1 0 555717339 89268224 15965 33554432000 4194304 6211132 140733758370224 140733758368360 5035232 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9539584 140733758374923 140733758375025 140733758375025 140733758377934 0
/proc/7842/statm: 21794 15965 911 493 0 15099 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 87176 KiB
Current children cumulated memory: 63860 KiB

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

[startup+2400.01 s]
# the end of solver process 7842 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.97 s, system=0.056 s

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

Child status: 1
Real time (s): 2400.01
CPU time (s): 2400.03
CPU user time (s): 2399.97
CPU system time (s): 0.056
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 87176
Max. memory (cumulated for all children) (KiB): 63860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.056
maximum resident set size= 63924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87386
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= 41
involuntary context switches= 609


# summary of solver processes directly reported to runsolver:
#   pid: 7842
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2399.97
#   total CPU system time (s): 0.056

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.80231 second user time and 15.0589 second system time

The end

Begin job on node123 at 2019-09-30 00:01:26
IDJOB=4408864
IDBENCH=126802
IDSOLVER=2875
FILE ID=node123/4408864-1569794526
RUNJOBID= node123-1569787353-6073
PBS_JOBID= 21705830
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-Miller-19.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408864-1569794526/watcher-4408864-1569794526 -o /tmp/evaluation-result-4408864-1569794526/solver-4408864-1569794526 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569787353-6073 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408864-1569794526.xml

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

MD5SUM BENCH= f95358b1c1572ff37ec09cd547c08821
RANDOM SEED=1665895201

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31070708 kB
MemAvailable:   31357116 kB
Buffers:          185032 kB
Cached:           423204 kB
SwapCached:         6544 kB
Active:           803984 kB
Inactive:         311456 kB
Active(anon):     516680 kB
Inactive(anon):    71784 kB
Active(file):     287304 kB
Inactive(file):   239672 kB
Unevictable:      107612 kB
Mlocked:          107612 kB
SwapTotal:      67108860 kB
SwapFree:       66999984 kB
Dirty:              2832 kB
Writeback:             4 kB
AnonPages:        613172 kB
Mapped:            28284 kB
Shmem:             72640 kB
Slab:             180880 kB
SReclaimable:     150536 kB
SUnreclaim:        30344 kB
KernelStack:        3552 kB
PageTables:         6452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1065140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    555008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62024 MiB
End job on node123 at 2019-09-30 00:41:26