1.29/1.31	c
1.29/1.31	c This is cosoco 2.00 --  
1.29/1.31	c
1.29/1.31	c command line: cosoco -lc -model -restarts -stick HOME/instance-4394692-1568330780.xml 
1.29/1.31	c enable optimization
1.29/1.31	c ========================================[ Problem Statistics ]===========================================
1.29/1.31	c |                                                                                                       
1.29/1.31	c |  Parse time        :         0.09 s 
1.29/1.31	c |
1.29/1.31	c |               Variables: 2550
1.29/1.31	c |            Domain Sizes: 49..50
1.29/1.31	c |
1.29/1.31	c |             Constraints: 1201
1.29/1.31	c |                   Arity: 3..1199  -- Ternary: 1199
1.29/1.31	c | 
1.29/1.31	c |                   Types: 
1.29/1.31	c |                          All Different: 1
1.29/1.31	c |                          Extension: 1199  (nb tuples: 2450..2450) -- (shared: 1198)
1.29/1.31	c |                          Sum: 1
1.29/1.31	c |                          
1.29/1.31	c |               Objective: Minimize Sum
1.29/1.31	
1.29/1.31	c =========================================================================================================
1.29/1.31	o 31840
1.29/1.31	c    1 calls to solver(id=0): best=31840 lower=0 upper=31839 
10.69/10.73	o 31791
15.89/15.99	o 31789
15.89/15.99	c    3 calls to solver(id=0): best=31789 lower=0 upper=31788 
26.49/26.54	o 31788
64.29/64.32	o 31784
64.29/64.32	c    5 calls to solver(id=0): best=31784 lower=0 upper=31783 
72.68/72.73	o 31782
82.59/82.69	o 31776
82.59/82.69	c    7 calls to solver(id=0): best=31776 lower=0 upper=31775 
112.49/112.54	o 31768
126.88/126.92	o 31765
126.88/126.92	c    9 calls to solver(id=0): best=31765 lower=0 upper=31764 
141.87/142.00	o 31761
237.66/237.71	o 31741
237.66/237.72	c   11 calls to solver(id=0): best=31741 lower=0 upper=31740 
460.64/460.77	o 31735
585.44/585.57	o 31732
585.44/585.57	c   13 calls to solver(id=0): best=31732 lower=0 upper=31731 
642.23/642.37	o 31724
1031.31/1031.43	o 31719
1031.31/1031.43	c   15 calls to solver(id=0): best=31719 lower=0 upper=31718 
1302.20/1302.35	o 31710
2400.05/2400.20	
2400.05/2400.20	c *** INTERRUPTED ***
2400.05/2400.20	c call to solver        : 16
2400.05/2400.20	c
2400.05/2400.20	c restarts              : 426         
2400.05/2400.20	c conflicts             : 288185       (120 /sec)
2400.05/2400.20	c decisions             : 8804264      (3668 /sec)
2400.05/2400.20	c propagations          : 234791451   (97831 /sec)
2400.05/2400.20	c root propagations     : 1199        
2400.05/2400.20	c filter calls          : 53627960       (22345 /sec)
2400.05/2400.20	c useless filter calls  : 41252496       (76 %)
2400.05/2400.20	c Memory used           : 87.11 MB
2400.05/2400.20	c Best bound time (wc)  : 1302.35 s
2400.05/2400.20	c CPU time              : 2399.97 s
2400.05/2400.20	c real time             : 2400.2 s
2400.05/2400.20	
2400.05/2400.20	c nb Solutions = 16
2400.05/2400.20	s SATISFIABLE
2400.05/2400.20	c Best value found: 31710
2400.05/2400.20	
2400.05/2400.20	
2400.05/2400.20	v <instantiation type='solution' cost='31710'>
2400.05/2400.20	v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][1] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[0][26] d[0][27] d[0][28] d[0][29] d[0][2] d[0][30] d[0][31] d[0][32] d[0][33] d[0][34] d[0][35] d[0][36] d[0][37] d[0][38] d[0][39] d[0][3] d[0][40] d[0][41] d[0][42] d[0][43] d[0][44] d[0][45] d[0][46] d[0][47] d[0][48] d[0][49] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][1] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[10][26] d[10][27] d[10][28] d[10][29] d[10][2] d[10][30] d[10][31] d[10][32] d[10][33] d[10][34] d[10][35] d[10][36] d[10][37] d[10][38] d[10][39] d[10][3] d[10][40] d[10][41] d[10][42] d[10][43] d[10][44] d[10][45] d[10][46] d[10][47] d[10][48] d[10][49] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][1] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[11][26] d[11][27] d[11][28] d[11][29] d[11][2] d[11][30] d[11][31] d[11][32] d[11][33] d[11][34] d[11][35] d[11][36] d[11][37] d[11][38] d[11][39] d[11][3] d[11][40] d[11][41] d[11][42] d[11][43] d[11][44] d[11][45] d[11][46] d[11][47] d[11][48] d[11][49] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][1] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[12][26] d[12][27] d[12][28] d[12][29] d[12][2] d[12][30] d[12][31] d[12][32] d[12][33] d[12][34] d[12][35] d[12][36] d[12][37] d[12][38] d[12][39] d[12][3] d[12][40] d[12][41] d[12][42] d[12][43] d[12][44] d[12][45] d[12][46] d[12][47] d[12][48] d[12][49] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][1] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[13][26] d[13][27] d[13][28] d[13][29] d[13][2] d[13][30] d[13][31] d[13][32] d[13][33] d[13][34] d[13][35] d[13][36] d[13][37] d[13][38] d[13][39] d[13][3] d[13][40] d[13][41] d[13][42] d[13][43] d[13][44] d[13][45] d[13][46] d[13][47] d[13][48] d[13][49] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][1] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[14][26] d[14][27] d[14][28] d[14][29] d[14][2] d[14][30] d[14][31] d[14][32] d[14][33] d[14][34] d[14][35] d[14][36] d[14][37] d[14][38] d[14][39] d[14][3] d[14][40] d[14][41] d[14][42] d[14][43] d[14][44] d[14][45] d[14][46] d[14][47] d[14][48] d[14][49] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][1] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[15][26] d[15][27] d[15][28] d[15][29] d[15][2] d[15][30] d[15][31] d[15][32] d[15][33] d[15][34] d[15][35] d[15][36] d[15][37] d[15][38] d[15][39] d[15][3] d[15][40] d[15][41] d[15][42] d[15][43] d[15][44] d[15][45] d[15][46] d[15][47] d[15][48] d[15][49] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[16][26] d[16][27] d[16][28] d[16][29] d[16][2] d[16][30] d[16][31] d[16][32] d[16][33] d[16][34] d[16][35] d[16][36] d[16][37] d[16][38] d[16][39] d[16][3] d[16][40] d[16][41] d[16][42] d[16][43] d[16][44] d[16][45] d[16][46] d[16][47] d[16][48] d[16][49] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[17][26] d[17][27] d[17][28] d[17][29] d[17][2] d[17][30] d[17][31] d[17][32] d[17][33] d[17][34] d[17][35] d[17][36] d[17][37] d[17][38] d[17][39] d[17][3] d[17][40] d[17][41] d[17][42] d[17][43] d[17][44] d[17][45] d[17][46] d[17][47] d[17][48] d[17][49] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[18][26] d[18][27] d[18][28] d[18][29] d[18][2] d[18][30] d[18][31] d[18][32] d[18][33] d[18][34] d[18][35] d[18][36] d[18][37] d[18][38] d[18][39] d[18][3] d[18][40] d[18][41] d[18][42] d[18][43] d[18][44] d[18][45] d[18][46] d[18][47] d[18][48] d[18][49] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][1] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[19][26] d[19][27] d[19][28] d[19][29] d[19][2] d[19][30] d[19][31] d[19][32] d[19][33] d[19][34] d[19][35] d[19][36] d[19][37] d[19][38] d[19][39] d[19][3] d[19][40] d[19][41] d[19][42] d[19][43] d[19][44] d[19][45] d[19][46] d[19][47] d[19][48] d[19][49] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][1] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[1][26] d[1][27] d[1][28] d[1][29] d[1][2] d[1][30] d[1][31] d[1][32] d[1][33] d[1][34] d[1][35] d[1][36] d[1][37] d[1][38] d[1][39] d[1][3] d[1][40] d[1][41] d[1][42] d[1][43] d[1][44] d[1][45] d[1][46] d[1][47] d[1][48] d[1][49] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[20][0] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][1] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[20][26] d[20][27] d[20][28] d[20][29] d[20][2] d[20][30] d[20][31] d[20][32] d[20][33] d[20][34] d[20][35] d[20][36] d[20][37] d[20][38] d[20][39] d[20][3] d[20][40] d[20][41] d[20][42] d[20][43] d[20][44] d[20][45] d[20][46] d[20][47] d[20][48] d[20][49] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[21][0] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][1] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[21][26] d[21][27] d[21][28] d[21][29] d[21][2] d[21][30] d[21][31] d[21][32] d[21][33] d[21][34] d[21][35] d[21][36] d[21][37] d[21][38] d[21][39] d[21][3] d[21][40] d[21][41] d[21][42] d[21][43] d[21][44] d[21][45] d[21][46] d[21][47] d[21][48] d[21][49] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[22][0] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][1] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[22][26] d[22][27] d[22][28] d[22][29] d[22][2] d[22][30] d[22][31] d[22][32] d[22][33] d[22][34] d[22][35] d[22][36] d[22][37] d[22][38] d[22][39] d[22][3] d[22][40] d[22][41] d[22][42] d[22][43] d[22][44] d[22][45] d[22][46] d[22][47] d[22][48] d[22][49] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[23][0] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][1] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[23][26] d[23][27] d[23][28] d[23][29] d[23][2] d[23][30] d[23][31] d[23][32] d[23][33] d[23][34] d[23][35] d[23][36] d[23][37] d[23][38] d[23][39] d[23][3] d[23][40] d[23][41] d[23][42] d[23][43] d[23][44] d[23][45] d[23][46] d[23][47] d[23][48] d[23][49] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[24][0] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][1] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[24][26] d[24][27] d[24][28] d[24][29] d[24][2] d[24][30] d[24][31] d[24][32] d[24][33] d[24][34] d[24][35] d[24][36] d[24][37] d[24][38] d[24][39] d[24][3] d[24][40] d[24][41] d[24][42] d[24][43] d[24][44] d[24][45] d[24][46] d[24][47] d[24][48] d[24][49] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[25][0] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][1] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] d[25][26] d[25][27] d[25][28] d[25][29] d[25][2] d[25][30] d[25][31] d[25][32] d[25][33] d[25][34] d[25][35] d[25][36] d[25][37] d[25][38] d[25][39] d[25][3] d[25][40] d[25][41] d[25][42] d[25][43] d[25][44] d[25][45] d[25][46] d[25][47] d[25][48] d[25][49] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[26][0] d[26][10] d[26][11] d[26][12] d[26][13] d[26][14] d[26][15] d[26][16] d[26][17] d[26][18] d[26][19] d[26][1] d[26][20] d[26][21] d[26][22] d[26][23] d[26][24] d[26][25] d[26][26] d[26][27] d[26][28] d[26][29] d[26][2] d[26][30] d[26][31] d[26][32] d[26][33] d[26][34] d[26][35] d[26][36] d[26][37] d[26][38] d[26][39] d[26][3] d[26][40] d[26][41] d[26][42] d[26][43] d[26][44] d[26][45] d[26][46] d[26][47] d[26][48] d[26][49] d[26][4] d[26][5] d[26][6] d[26][7] d[26][8] d[26][9] d[27][0] d[27][10] d[27][11] d[27][12] d[27][13] d[27][14] d[27][15] d[27][16] d[27][17] d[27][18] d[27][19] d[27][1] d[27][20] d[27][21] d[27][22] d[27][23] d[27][24] d[27][25] d[27][26] d[27][27] d[27][28] d[27][29] d[27][2] d[27][30] d[27][31] d[27][32] d[27][33] d[27][34] d[27][35] d[27][36] d[27][37] d[27][38] d[27][39] d[27][3] d[27][40] d[27][41] d[27][42] d[27][43] d[27][44] d[27][45] d[27][46] d[27][47] d[27][48] d[27][49] d[27][4] d[27][5] d[27][6] d[27][7] d[27][8] d[27][9] d[28][0] d[28][10] d[28][11] d[28][12] d[28][13] d[28][14] d[28][15] d[28][16] d[28][17] d[28][18] d[28][19] d[28][1] d[28][20] d[28][21] d[28][22] d[28][23] d[28][24] d[28][25] d[28][26] d[28][27] d[28][28] d[28][29] d[28][2] d[28][30] d[28][31] d[28][32] d[28][33] d[28][34] d[28][35] d[28][36] d[28][37] d[28][38] d[28][39] d[28][3] d[28][40] d[28][41] d[28][42] d[28][43] d[28][44] d[28][45] d[28][46] d[28][47] d[28][48] d[28][49] d[28][4] d[28][5] d[28][6] d[28][7] d[28][8] d[28][9] d[29][0] d[29][10] d[29][11] d[29][12] d[29][13] d[29][14] d[29][15] d[29][16] d[29][17] d[29][18] d[29][19] d[29][1] d[29][20] d[29][21] d[29][22] d[29][23] d[29][24] d[29][25] d[29][26] d[29][27] d[29][28] d[29][29] d[29][2] d[29][30] d[29][31] d[29][32] d[29][33] d[29][34] d[29][35] d[29][36] d[29][37] d[29][38] d[29][39] d[29][3] d[29][40] d[29][41] d[29][42] d[29][43] d[29][44] d[29][45] d[29][46] d[29][47] d[29][48] d[29][49] d[29][4] d[29][5] d[29][6] d[29][7] d[29][8] d[29][9] d[2][0] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][1] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[2][26] d[2][27] d[2][28] d[2][29] d[2][2] d[2][30] d[2][31] d[2][32] d[2][33] d[2][34] d[2][35] d[2][36] d[2][37] d[2][38] d[2][39] d[2][3] d[2][40] d[2][41] d[2][42] d[2][43] d[2][44] d[2][45] d[2][46] d[2][47] d[2][48] d[2][49] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[30][0] d[30][10] d[30][11] d[30][12] d[30][13] d[30][14] d[30][15] d[30][16] d[30][17] d[30][18] d[30][19] d[30][1] d[30][20] d[30][21] d[30][22] d[30][23] d[30][24] d[30][25] d[30][26] d[30][27] d[30][28] d[30][29] d[30][2] d[30][30] d[30][31] d[30][32] d[30][33] d[30][34] d[30][35] d[30][36] d[30][37] d[30][38] d[30][39] d[30][3] d[30][40] d[30][41] d[30][42] d[30][43] d[30][44] d[30][45] d[30][46] d[30][47] d[30][48] d[30][49] d[30][4] d[30][5] d[30][6] d[30][7] d[30][8] d[30][9] d[31][0] d[31][10] d[31][11] d[31][12] d[31][13] d[31][14] d[31][15] d[31][16] d[31][17] d[31][18] d[31][19] d[31][1] d[31][20] d[31][21] d[31][22] d[31][23] d[31][24] d[31][25] d[31][26] d[31][27] d[31][28] d[31][29] d[31][2] d[31][30] d[31][31] d[31][32] d[31][33] d[31][34] d[31][35] d[31][36] d[31][37] d[31][38] d[31][39] d[31][3] d[31][40] d[31][41] d[31][42] d[31][43] d[31][44] d[31][45] d[31][46] d[31][47] d[31][48] d[31][49] d[31][4] d[31][5] d[31][6] d[31][7] d[31][8] d[31][9] d[32][0] d[32][10] d[32][11] d[32][12] d[32][13] d[32][14] d[32][15] d[32][16] d[32][17] d[32][18] d[32][19] d[32][1] d[32][20] d[32][21] d[32][22] d[32][23] d[32][24] d[32][25] d[32][26] d[32][27] d[32][28] d[32][29] d[32][2] d[32][30] d[32][31] d[32][32] d[32][33] d[32][34] d[32][35] d[32][36] d[32][37] d[32][38] d[32][39] d[32][3] d[32][40] d[32][41] d[32][42] d[32][43] d[32][44] d[32][45] d[32][46] d[32][47] d[32][48] d[32][49] d[32][4] d[32][5] d[32][6] d[32][7] d[32][8] d[32][9] d[33][0] d[33][10] d[33][11] d[33][12] d[33][13] d[33][14] d[33][15] d[33][16] d[33][17] d[33][18] d[33][19] d[33][1] d[33][20] d[33][21] d[33][22] d[33][23] d[33][24] d[33][25] d[33][26] d[33][27] d[33][28] d[33][29] d[33][2] d[33][30] d[33][31] d[33][32] d[33][33] d[33][34] d[33][35] d[33][36] d[33][37] d[33][38] d[33][39] d[33][3] d[33][40] d[33][41] d[33][42] d[33][43] d[33][44] d[33][45] d[33][46] d[33][47] d[33][48] d[33][49] d[33][4] d[33][5] d[33][6] d[33][7] d[33][8] d[33][9] d[34][0] d[34][10] d[34][11] d[34][12] d[34][13] d[34][14] d[34][15] d[34][16] d[34][17] d[34][18] d[34][19] d[34][1] d[34][20] d[34][21] d[34][22] d[34][23] d[34][24] d[34][25] d[34][26] d[34][27] d[34][28] d[34][29] d[34][2] d[34][30] d[34][31] d[34][32] d[34][33] d[34][34] d[34][35] d[34][36] d[34][37] d[34][38] d[34][39] d[34][3] d[34][40] d[34][41] d[34][42] d[34][43] d[34][44] d[34][45] d[34][46] d[34][47] d[34][48] d[34][49] d[34][4] d[34][5] d[34][6] d[34][7] d[34][8] d[34][9] d[35][0] d[35][10] d[35][11] d[35][12] d[35][13] d[35][14] d[35][15] d[35][16] d[35][17] d[35][18] d[35][19] d[35][1] d[35][20] d[35][21] d[35][22] d[35][23] d[35][24] d[35][25] d[35][26] d[35][27] d[35][28] d[35][29] d[35][2] d[35][30] d[35][31] d[35][32] d[35][33] d[35][34] d[35][35] d[35][36] d[35][37] d[35][38] d[35][39] d[35][3] d[35][40] d[35][41] d[35][42] d[35][43] d[35][44] d[35][45] d[35][46] d[35][47] d[35][48] d[35][49] d[35][4] d[35][5] d[35][6] d[35][7] d[35][8] d[35][9] d[36][0] d[36][10] d[36][11] d[36][12] d[36][13] d[36][14] d[36][15] d[36][16] d[36][17] d[36][18] d[36][19] d[36][1] d[36][20] d[36][21] d[36][22] d[36][23] d[36][24] d[36][25] d[36][26] d[36][27] d[36][28] d[36][29] d[36][2] d[36][30] d[36][31] d[36][32] d[36][33] d[36][34] d[36][35] d[36][36] d[36][37] d[36][38] d[36][39] d[36][3] d[36][40] d[36][41] d[36][42] d[36][43] d[36][44] d[36][45] d[36][46] d[36][47] d[36][48] d[36][49] d[36][4] d[36][5] d[36][6] d[36][7] d[36][8] d[36][9] d[37][0] d[37][10] d[37][11] d[37][12] d[37][13] d[37][14] d[37][15] d[37][16] d[37][17] d[37][18] d[37][19] d[37][1] d[37][20] d[37][21] d[37][22] d[37][23] d[37][24] d[37][25] d[37][26] d[37][27] d[37][28] d[37][29] d[37][2] d[37][30] d[37][31] d[37][32] d[37][33] d[37][34] d[37][35] d[37][36] d[37][37] d[37][38] d[37][39] d[37][3] d[37][40] d[37][41] d[37][42] d[37][43] d[37][44] d[37][45] d[37][46] d[37][47] d[37][48] d[37][49] d[37][4] d[37][5] d[37][6] d[37][7] d[37][8] d[37][9] d[38][0] d[38][10] d[38][11] d[38][12] d[38][13] d[38][14] d[38][15] d[38][16] d[38][17] d[38][18] d[38][19] d[38][1] d[38][20] d[38][21] d[38][22] d[38][23] d[38][24] d[38][25] d[38][26] d[38][27] d[38][28] d[38][29] d[38][2] d[38][30] d[38][31] d[38][32] d[38][33] d[38][34] d[38][35] d[38][36] d[38][37] d[38][38] d[38][39] d[38][3] d[38][40] d[38][41] d[38][42] d[38][43] d[38][44] d[38][45] d[38][46] d[38][47] d[38][48] d[38][49] d[38][4] d[38][5] d[38][6] d[38][7] d[38][8] d[38][9] d[39][0] d[39][10] d[39][11] d[39][12] d[39][13] d[39][14] d[39][15] d[39][16] d[39][17] d[39][18] d[39][19] d[39][1] d[39][20] d[39][21] d[39][22] d[39][23] d[39][24] d[39][25] d[39][26] d[39][27] d[39][28] d[39][29] d[39][2] d[39][30] d[39][31] d[39][32] d[39][33] d[39][34] d[39][35] d[39][36] d[39][37] d[39][38] d[39][39] d[39][3] d[39][40] d[39][41] d[39][42] d[39][43] d[39][44] d[39][45] d[39][46] d[39][47] d[39][48] d[39][49] d[39][4] d[39][5] d[39][6] d[39][7] d[39][8] d[39][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][1] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[3][26] d[3][27] d[3][28] d[3][29] d[3][2] d[3][30] d[3][31] d[3][32] d[3][33] d[3][34] d[3][35] d[3][36] d[3][37] d[3][38] d[3][39] d[3][3] d[3][40] d[3][41] d[3][42] d[3][43] d[3][44] d[3][45] d[3][46] d[3][47] d[3][48] d[3][49] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[40][0] d[40][10] d[40][11] d[40][12] d[40][13] d[40][14] d[40][15] d[40][16] d[40][17] d[40][18] d[40][19] d[40][1] d[40][20] d[40][21] d[40][22] d[40][23] d[40][24] d[40][25] d[40][26] d[40][27] d[40][28] d[40][29] d[40][2] d[40][30] d[40][31] d[40][32] d[40][33] d[40][34] d[40][35] d[40][36] d[40][37] d[40][38] d[40][39] d[40][3] d[40][40] d[40][41] d[40][42] d[40][43] d[40][44] d[40][45] d[40][46] d[40][47] d[40][48] d[40][49] d[40][4] d[40][5] d[40][6] d[40][7] d[40][8] d[40][9] d[41][0] d[41][10] d[41][11] d[41][12] d[41][13] d[41][14] d[41][15] d[41][16] d[41][17] d[41][18] d[41][19] d[41][1] d[41][20] d[41][21] d[41][22] d[41][23] d[41][24] d[41][25] d[41][26] d[41][27] d[41][28] d[41][29] d[41][2] d[41][30] d[41][31] d[41][32] d[41][33] d[41][34] d[41][35] d[41][36] d[41][37] d[41][38] d[41][39] d[41][3] d[41][40] d[41][41] d[41][42] d[41][43] d[41][44] d[41][45] d[41][46] d[41][47] d[41][48] d[41][49] d[41][4] d[41][5] d[41][6] d[41][7] d[41][8] d[41][9] d[42][0] d[42][10] d[42][11] d[42][12] d[42][13] d[42][14] d[42][15] d[42][16] d[42][17] d[42][18] d[42][19] d[42][1] d[42][20] d[42][21] d[42][22] d[42][23] d[42][24] d[42][25] d[42][26] d[42][27] d[42][28] d[42][29] d[42][2] d[42][30] d[42][31] d[42][32] d[42][33] d[42][34] d[42][35] d[42][36] d[42][37] d[42][38] d[42][39] d[42][3] d[42][40] d[42][41] d[42][42] d[42][43] d[42][44] d[42][45] d[42][46] d[42][47] d[42][48] d[42][49] d[42][4] d[42][5] d[42][6] d[42][7] d[42][8] d[42][9] d[43][0] d[43][10] d[43][11] d[43][12] d[43][13] d[43][14] d[43][15] d[43][16] d[43][17] d[43][18] d[43][19] d[43][1] d[43][20] d[43][21] d[43][22] d[43][23] d[43][24] d[43][25] d[43][26] d[43][27] d[43][28] d[43][29] d[43][2] d[43][30] d[43][31] d[43][32] d[43][33] d[43][34] d[43][35] d[43][36] d[43][37] d[43][38] d[43][39] d[43][3] d[43][40] d[43][41] d[43][42] d[43][43] d[43][44] d[43][45] d[43][46] d[43][47] d[43][48] d[43][49] d[43][4] d[43][5] d[43][6] d[43][7] d[43][8] d[43][9] d[44][0] d[44][10] d[44][11] d[44][12] d[44][13] d[44][14] d[44][15] d[44][16] d[44][17] d[44][18] d[44][19] d[44][1] d[44][20] d[44][21] d[44][22] d[44][23] d[44][24] d[44][25] d[44][26] d[44][27] d[44][28] d[44][29] d[44][2] d[44][30] d[44][31] d[44][32] d[44][33] d[44][34] d[44][35] d[44][36] d[44][37] d[44][38] d[44][39] d[44][3] d[44][40] d[44][41] d[44][42] d[44][43] d[44][44] d[44][45] d[44][46] d[44][47] d[44][48] d[44][49] d[44][4] d[44][5] d[44][6] d[44][7] d[44][8] d[44][9] d[45][0] d[45][10] d[45][11] d[45][12] d[45][13] d[45][14] d[45][15] d[45][16] d[45][17] d[45][18] d[45][19] d[45][1] d[45][20] d[45][21] d[45][22] d[45][23] d[45][24] d[45][25] d[45][26] d[45][27] d[45][28] d[45][29] d[45][2] d[45][30] d[45][31] d[45][32] d[45][33] d[45][34] d[45][35] d[45][36] d[45][37] d[45][38] d[45][39] d[45][3] d[45][40] d[45][41] d[45][42] d[45][43] d[45][44] d[45][45] d[45][46] d[45][47] d[45][48] d[45][49] d[45][4] d[45][5] d[45][6] d[45][7] d[45][8] d[45][9] d[46][0] d[46][10] d[46][11] d[46][12] d[46][13] d[46][14] d[46][15] d[46][16] d[46][17] d[46][18] d[46][19] d[46][1] d[46][20] d[46][21] d[46][22] d[46][23] d[46][24] d[46][25] d[46][26] d[46][27] d[46][28] d[46][29] d[46][2] d[46][30] d[46][31] d[46][32] d[46][33] d[46][34] d[46][35] d[46][36] d[46][37] d[46][38] d[46][39] d[46][3] d[46][40] d[46][41] d[46][42] d[46][43] d[46][44] d[46][45] d[46][46] d[46][47] d[46][48] d[46][49] d[46][4] d[46][5] d[46][6] d[46][7] d[46][8] d[46][9] d[47][0] d[47][10] d[47][11] d[47][12] d[47][13] d[47][14] d[47][15] d[47][16] d[47][17] d[47][18] d[47][19] d[47][1] d[47][20] d[47][21] d[47][22] d[47][23] d[47][24] d[47][25] d[47][26] d[47][27] d[47][28] d[47][29] d[47][2] d[47][30] d[47][31] d[47][32] d[47][33] d[47][34] d[47][35] d[47][36] d[47][37] d[47][38] d[47][39] d[47][3] d[47][40] d[47][41] d[47][42] d[47][43] d[47][44] d[47][45] d[47][46] d[47][47] d[47][48] d[47][49] d[47][4] d[47][5] d[47][6] d[47][7] d[47][8] d[47][9] d[48][0] d[48][10] d[48][11] d[48][12] d[48][13] d[48][14] d[48][15] d[48][16] d[48][17] d[48][18] d[48][19] d[48][1] d[48][20] d[48][21] d[48][22] d[48][23] d[48][24] d[48][25] d[48][26] d[48][27] d[48][28] d[48][29] d[48][2] d[48][30] d[48][31] d[48][32] d[48][33] d[48][34] d[48][35] d[48][36] d[48][37] d[48][38] d[48][39] d[48][3] d[48][40] d[48][41] d[48][42] d[48][43] d[48][44] d[48][45] d[48][46] d[48][47] d[48][48] d[48][49] d[48][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][9] d[49][0] d[49][10] d[49][11] d[49][12] d[49][13] d[49][14] d[49][15] d[49][16] d[49][17] d[49][18] d[49][19] d[49][1] d[49][20] d[49][21] d[49][22] d[49][23] d[49][24] d[49][25] d[49][26] d[49][27] d[49][28] d[49][29] d[49][2] d[49][30] d[49][31] d[49][32] d[49][33] d[49][34] d[49][35] d[49][36] d[49][37] d[49][38] d[49][39] d[49][3] d[49][40] d[49][41] d[49][42] d[49][43] d[49][44] d[49][45] d[49][46] d[49][47] d[49][48] d[49][49] d[49][4] d[49][5] d[49][6] d[49][7] d[49][8] d[49][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][1] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[4][26] d[4][27] d[4][28] d[4][29] d[4][2] d[4][30] d[4][31] d[4][32] d[4][33] d[4][34] d[4][35] d[4][36] d[4][37] d[4][38] d[4][39] d[4][3] d[4][40] d[4][41] d[4][42] d[4][43] d[4][44] d[4][45] d[4][46] d[4][47] d[4][48] d[4][49] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][1] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[5][26] d[5][27] d[5][28] d[5][29] d[5][2] d[5][30] d[5][31] d[5][32] d[5][33] d[5][34] d[5][35] d[5][36] d[5][37] d[5][38] d[5][39] d[5][3] d[5][40] d[5][41] d[5][42] d[5][43] d[5][44] d[5][45] d[5][46] d[5][47] d[5][48] d[5][49] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][1] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[6][26] d[6][27] d[6][28] d[6][29] d[6][2] d[6][30] d[6][31] d[6][32] d[6][33] d[6][34] d[6][35] d[6][36] d[6][37] d[6][38] d[6][39] d[6][3] d[6][40] d[6][41] d[6][42] d[6][43] d[6][44] d[6][45] d[6][46] d[6][47] d[6][48] d[6][49] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][1] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[7][26] d[7][27] d[7][28] d[7][29] d[7][2] d[7][30] d[7][31] d[7][32] d[7][33] d[7][34] d[7][35] d[7][36] d[7][37] d[7][38] d[7][39] d[7][3] d[7][40] d[7][41] d[7][42] d[7][43] d[7][44] d[7][45] d[7][46] d[7][47] d[7][48] d[7][49] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][1] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[8][26] d[8][27] d[8][28] d[8][29] d[8][2] d[8][30] d[8][31] d[8][32] d[8][33] d[8][34] d[8][35] d[8][36] d[8][37] d[8][38] d[8][39] d[8][3] d[8][40] d[8][41] d[8][42] d[8][43] d[8][44] d[8][45] d[8][46] d[8][47] d[8][48] d[8][49] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][1] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[9][26] d[9][27] d[9][28] d[9][29] d[9][2] d[9][30] d[9][31] d[9][32] d[9][33] d[9][34] d[9][35] d[9][36] d[9][37] d[9][38] d[9][39] d[9][3] d[9][40] d[9][41] d[9][42] d[9][43] d[9][44] d[9][45] d[9][46] d[9][47] d[9][48] d[9][49] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[3] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[4] x[5] x[6] x[7] x[8] x[9] </list>
2400.05/2400.20	v <values>* 25 45 28 14 19 23 36 25 16 34 34 27 11 15 35 21 24 26 33 28 29 29 16 10 11 15 33 20 14 42 28 42 32 30 30 * 28 27 23 28 41 36 33 7 12 16 27 33 35 * * 10 23 28 30 29 27 47 22 40 * 34 21 31 25 12 14 7 31 19 19 * 33 29 44 17 27 23 42 14 20 41 * 29 25 29 29 34 11 38 24 * 33 * * * * * * * * * 20 27 28 20 18 37 20 9 * 44 37 28 22 18 15 5 35 35 19 * 26 24 23 38 36 34 34 36 26 15 * 19 * 31 37 39 31 35 31 21 18 * * * * * * * * * * 20 31 45 25 * 23 38 * 28 17 27 14 27 23 22 20 36 22 * 9 44 41 28 38 31 30 21 31 44 * 37 42 20 35 6 29 21 35 44 24 * * * * * * * * * * * 18 19 18 11 26 17 * 31 22 33 14 7 33 24 33 30 17 * 31 35 36 14 19 21 27 8 35 11 * * 21 42 27 32 24 42 39 23 44 * * * * * * * * * * * * 19 15 30 20 29 * 35 28 29 23 28 40 46 2 16 44 * 21 43 37 8 25 * 10 28 9 18 * 33 41 28 21 13 45 39 13 42 49 * * * * * * * * * * * * * 6 38 28 19 * 31 19 33 34 * 34 29 38 44 16 * 32 36 25 18 35 22 34 32 28 15 * 27 20 22 4 35 38 35 19 31 20 * * * * * * * * * * * * * * 20 26 31 * 20 19 23 30 13 39 19 40 19 35 * 18 23 21 11 6 11 9 15 16 22 * 16 33 30 48 40 13 11 32 28 25 * * * * * * * * * * * * * * * 30 11 * 23 24 27 38 35 35 8 36 25 38 * 25 35 31 16 34 49 22 28 29 26 * 20 49 18 34 15 11 19 41 38 21 * * * * * * * * * * * * * * * * 16 * 6 31 17 24 29 26 29 17 30 23 * 14 35 29 26 39 7 36 30 13 27 * 32 29 37 33 14 30 29 24 22 28 * * * * * * * * * * * * * * * * * * 26 28 22 32 30 19 13 16 22 7 * 33 5 18 26 17 22 11 17 * 10 * 25 18 11 32 21 28 41 6 34 24 * * * * * * * 21 14 28 45 17 19 19 25 28 13 * 42 27 34 22 20 27 42 29 22 10 48 19 37 2 33 38 37 23 28 33 35 8 47 33 17 44 * 7 31 11 25 28 25 12 34 41 35 11 * * * * * * * * * * * * * 26 26 22 32 17 35 14 42 13 * 10 30 23 * 14 28 17 16 48 17 * 43 45 46 23 29 34 41 40 15 29 * * * * * * * * * * * * * * * * * * * * 30 25 16 21 47 21 24 7 * 34 25 38 19 41 28 19 28 23 22 * 2 23 19 24 24 31 33 24 * 14 * * * * * * * * * * * * * * * * * * * * * 36 26 36 36 38 28 27 * 46 29 29 8 24 19 8 27 7 15 * 24 * 35 35 27 20 20 25 25 28 * * * * * * * * * * * * * * * * * * * * * * 33 28 14 30 35 37 * 28 8 17 15 21 17 5 27 36 20 * 29 26 23 44 44 14 26 32 22 26 * * * * * * * * * * * * * * * * * * * * * * * 35 38 28 15 17 * 27 26 32 30 11 16 24 28 32 10 * 14 15 26 * 47 23 17 36 24 25 * * * * * * * * * * * * * * * * * * * * * * * * 22 19 27 16 * 24 * 42 14 24 35 37 41 26 28 * 38 34 21 26 35 12 25 31 17 22 * * * * * * * * * * * * * * * * * * * * * * * * * 31 24 35 * 31 30 34 21 35 13 11 27 14 41 * 33 28 31 25 33 45 16 29 17 33 * * * * * * * * * * * * * * * * * * * * * * * * * * 28 36 * 27 35 34 29 35 22 40 36 44 6 * 10 38 11 25 27 43 41 3 30 39 * * * * * * * * * * * * * * * * * * * * * * * * * * * 48 * 33 43 34 47 11 23 32 18 34 11 * 40 27 5 34 30 33 22 37 * 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 35 38 26 23 32 21 43 42 33 34 * 18 39 19 5 4 18 25 28 * 6 * * * * * * * 37 27 27 3 24 26 8 38 * 30 * 12 24 30 8 22 30 18 21 37 11 * 33 44 26 17 24 31 20 24 40 27 25 22 28 24 47 17 41 18 21 28 4 25 18 30 12 40 35 * * * * * * * * * * * * * * * * * * * * * * * * 32 16 23 41 39 36 30 34 37 * 14 37 5 35 31 47 24 9 22 23 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 21 34 27 14 20 13 8 29 * 8 21 24 23 40 28 33 13 29 43 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 29 40 29 14 22 * 44 * 18 28 15 22 32 35 27 38 36 23 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 7 12 11 31 37 10 * 29 26 27 34 31 44 7 44 14 26 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 15 21 41 9 30 * 33 38 28 28 29 18 14 14 26 28 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 18 21 40 25 * 14 27 15 23 25 35 26 37 35 31 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 44 15 * 23 37 15 32 20 34 11 43 9 39 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 17 30 * 18 24 5 * 27 24 27 38 44 29 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 27 * 32 39 24 29 38 14 10 28 15 13 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 34 24 24 36 30 44 36 12 * 24 * * * * * * * 12 21 33 20 26 8 17 21 19 32 * 35 25 33 42 36 19 31 22 42 29 * 41 33 24 25 41 21 10 26 33 22 * 20 20 13 16 25 33 39 * 26 34 15 7 35 21 34 22 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 24 25 22 46 27 30 32 27 46 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 20 17 43 6 39 47 29 19 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 35 34 45 28 24 38 30 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 24 26 7 20 31 33 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 35 11 39 13 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 32 29 25 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 11 25 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 25 35 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 35 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 27 16 12 32 27 29 9 21 18 29 * 30 28 4 31 26 * 25 27 48 9 * 21 32 46 8 6 9 26 25 36 19 * 15 32 27 13 6 26 38 5 26 35 * 22 19 27 21 14 * 31 15 14 10 26 24 16 5 27 28 * 26 36 42 32 36 48 19 21 29 27 * 37 29 17 46 20 14 * 29 34 45 * 30 27 28 38 22 14 17 18 31 28 * * 41 24 29 11 * 33 28 29 30 26 27 27 13 34 16 * 29 * 26 29 31 16 39 49 21 12 * 15 10 25 34 22 23 19 23 17 27 * 18 20 33 27 15 29 16 34 31 13 * * * 17 22 32 * 35 34 29 29 14 24 25 35 30 30 * 22 40 14 26 35 * 22 9 24 27 * 30 26 14 16 21 42 20 31 35 25 * 7 29 14 15 37 25 33 24 12 32 * * * * 7 25 * 26 33 31 28 38 12 29 26 27 25 * 18 44 35 30 32 16 16 17 46 14 * 26 26 24 20 30 42 22 23 22 33 * 21 22 35 30 13 36 24 36 18 8 * * * * * 24 * 14 25 22 34 34 24 22 27 30 21 * 36 9 24 47 22 20 35 26 47 38 * 13 37 16 36 35 27 16 29 30 36 * 25 26 22 28 * 45 23 31 26 31 * * * * * * 15 0 16 28 47 24 49 10 7 5 21 32 48 3 34 14 22 31 23 4 9 8 45 12 44 18 13 17 46 40 39 33 6 11 27 30 20 29 42 35 36 43 1 41 2 19 26 38 37 25 </values>
2400.05/2400.20	v </instantiation>
2400.05/2400.20	

OK	31710

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 (8468 MiB free)
  memory of node 1: 16384 MiB (14939 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394692-1568330780/watcher-4394692-1568330780 -o /tmp/evaluation-result-4394692-1568330780/solver-4394692-1568330780 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568323911-7048 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4394692-1568330780.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9184, runsolver pid=9181
Current StackSize limit: 8192 KiB


[startup+0.100777 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 9185
/proc/meminfo: memFree=23931112/32770624 swapFree=67018196/67108860
[pid=9184] ppid=9181 vsize=73788 memory=50272 CPUtime=0.1 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 12754 0 0 0 8 2 0 0 20 0 1 0 409350672 75558912 12568 33554432000 4194304 6210612 140731100023808 140731100020056 140143282403503 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 18447 12568 840 493 0 11752 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 73788 KiB
Current children cumulated memory: 50272 KiB

[startup+0.209887 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 9185
/proc/meminfo: memFree=23924060/32770624 swapFree=67018196/67108860
[pid=9184] ppid=9181 vsize=73788 memory=50272 CPUtime=0.21 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 12757 0 0 0 19 2 0 0 20 0 1 0 409350672 75558912 12568 33554432000 4194304 6210612 140731100023808 140731100020056 5249729 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 18447 12568 840 493 0 11752 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 73788 KiB
Current children cumulated memory: 50272 KiB

[startup+0.309751 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 9185
/proc/meminfo: memFree=23924060/32770624 swapFree=67018196/67108860
[pid=9184] ppid=9181 vsize=73788 memory=50272 CPUtime=0.31 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 12757 0 0 0 29 2 0 0 20 0 1 0 409350672 75558912 12568 33554432000 4194304 6210612 140731100023808 140731100020056 5249733 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 18447 12568 840 493 0 11752 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 73788 KiB
Current children cumulated memory: 50272 KiB

[startup+0.700373 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9185
/proc/meminfo: memFree=23924060/32770624 swapFree=67018196/67108860
[pid=9184] ppid=9181 vsize=73920 memory=50272 CPUtime=0.7 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 12784 0 0 0 68 2 0 0 20 0 1 0 409350672 75694080 12568 33554432000 4194304 6210612 140731100023808 140731100020056 5038670 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 18480 12568 840 493 0 11785 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 73920 KiB
Current children cumulated memory: 50272 KiB

[startup+1.50036 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9185
/proc/meminfo: memFree=23922432/32770624 swapFree=67018196/67108860
[pid=9184] ppid=9181 vsize=82960 memory=59248 CPUtime=1.49 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 15033 0 0 0 147 2 0 0 20 0 1 0 409350672 84951040 14812 33554432000 4194304 6210612 140731100023808 140731100011688 5038670 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 20740 14812 868 493 0 14045 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 82960 KiB
Current children cumulated memory: 59248 KiB

[startup+3.10958 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9186
/proc/meminfo: memFree=23912256/32770624 swapFree=67018196/67108860
[pid=9184] ppid=9181 vsize=84812 memory=61404 CPUtime=3.1 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 26517 0 0 0 307 3 0 0 20 0 1 0 409350672 86847488 15351 33554432000 4194304 6210612 140731100023808 140731100011688 5038631 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 21203 15351 869 493 0 14508 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 84812 KiB
Current children cumulated memory: 61404 KiB

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9186
/proc/meminfo: memFree=23911332/32770624 swapFree=67018196/67108860
[pid=9184] ppid=9181 vsize=86668 memory=63192 CPUtime=6.29 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 38473 0 0 0 626 3 0 0 20 0 1 0 409350672 88748032 15798 33554432000 4194304 6210612 140731100023808 140731100021016 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 21667 15798 869 493 0 14972 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 86668 KiB
Current children cumulated memory: 63192 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9186
/proc/meminfo: memFree=23908740/32770624 swapFree=67018196/67108860
[pid=9184] ppid=9181 vsize=88260 memory=64872 CPUtime=12.69 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 51827 0 0 0 1266 3 0 0 20 0 1 0 409350672 90378240 16218 33554432000 4194304 6210612 140731100023808 140731100021016 5038670 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22065 16218 869 493 0 15370 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 88260 KiB
Current children cumulated memory: 64872 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9186
/proc/meminfo: memFree=23907924/32770624 swapFree=67018196/67108860
[pid=9184] ppid=9181 vsize=88788 memory=65416 CPUtime=25.49 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 77514 0 0 0 2545 4 0 0 20 0 1 0 409350672 90918912 16354 33554432000 4194304 6210612 140731100023808 140731100021016 5249905 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22197 16354 869 493 0 15502 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 88788 KiB
Current children cumulated memory: 65416 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9188
/proc/meminfo: memFree=23905588/32770624 swapFree=67018196/67108860
[pid=9184] ppid=9181 vsize=89060 memory=65700 CPUtime=51.1 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 91235 0 0 0 5105 5 0 0 20 0 1 0 409350672 91197440 16425 33554432000 4194304 6210612 140731100023808 140731100021208 5249898 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22265 16425 869 493 0 15570 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 89060 KiB
Current children cumulated memory: 65700 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9192
/proc/meminfo: memFree=23904016/32770624 swapFree=67018196/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65840 CPUtime=102.29 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 105898 0 0 0 10223 6 0 0 20 0 1 0 409350672 91332608 16460 33554432000 4194304 6210612 140731100023808 140731100011688 5249727 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16460 869 493 0 15603 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65840 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9197
/proc/meminfo: memFree=23896756/32770624 swapFree=67018196/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=162.25 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 118533 0 0 0 16219 6 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5249727 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9203
/proc/meminfo: memFree=23898040/32770624 swapFree=67018196/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=222.26 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 119161 0 0 0 22219 7 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5249727 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9215
/proc/meminfo: memFree=23897116/32770624 swapFree=67018200/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=282.26 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 119812 0 0 0 28219 7 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100011688 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9219
/proc/meminfo: memFree=23896584/32770624 swapFree=67018200/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=342.25 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 120434 0 0 0 34218 7 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100011688 5155432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9225
/proc/meminfo: memFree=23896420/32770624 swapFree=67018200/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=402.25 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 121063 0 0 0 40218 7 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100011688 5155432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9229
/proc/meminfo: memFree=23895756/32770624 swapFree=67018200/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=462.24 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 121711 0 0 0 46217 7 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5157608 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB


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

/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 1602.19 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/200 9339
/proc/meminfo: memFree=23891948/32770624 swapFree=67018232/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=1662.18 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 133511 0 0 0 166210 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5155856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 1662.18 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 9343
/proc/meminfo: memFree=23892104/32770624 swapFree=67018232/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=1722.18 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 133941 0 0 0 172210 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5249724 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 9349
/proc/meminfo: memFree=23892704/32770624 swapFree=67018240/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=1782.18 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 134549 0 0 0 178210 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5249727 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9355
/proc/meminfo: memFree=23892060/32770624 swapFree=67018240/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=1842.18 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 135022 0 0 0 184210 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5249729 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9359
/proc/meminfo: memFree=23891496/32770624 swapFree=67018240/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=1902.17 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 135495 0 0 0 190209 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5249727 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9364
/proc/meminfo: memFree=23892656/32770624 swapFree=67018252/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=1962.17 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 136111 0 0 0 196209 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5249890 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9497
/proc/meminfo: memFree=24738060/32770624 swapFree=67018252/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=2022.17 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 136551 0 0 0 202209 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5249727 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9509
/proc/meminfo: memFree=24738060/32770624 swapFree=67018260/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=2082.16 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 136991 0 0 0 208208 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5155432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9538
/proc/meminfo: memFree=24736928/32770624 swapFree=67018284/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=2142.16 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 137607 0 0 0 214208 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5034958 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 2142.16 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9544
/proc/meminfo: memFree=24736892/32770624 swapFree=67018284/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=2202.16 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 138069 0 0 0 220208 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5249729 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9548
/proc/meminfo: memFree=24737332/32770624 swapFree=67018284/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=2262.15 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 138531 0 0 0 226207 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5157738 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 9552
/proc/meminfo: memFree=24737620/32770624 swapFree=67018284/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=2322.15 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 139135 0 0 0 232207 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5249738 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9558
/proc/meminfo: memFree=24737360/32770624 swapFree=67018284/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=2382.15 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 139582 0 0 0 238207 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5249907 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9558
/proc/meminfo: memFree=24737516/32770624 swapFree=67018284/67108860
[pid=9184] ppid=9181 vsize=89192 memory=65852 CPUtime=2400.05 cores=0,2,4,6
/proc/9184/stat : 9184 (cosoco) R 9181 9184 7017 0 -1 4202496 140019 0 0 0 239997 8 0 0 20 0 1 0 409350672 91332608 16463 33554432000 4194304 6210612 140731100023808 140731100021944 5155768 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 17088512 140731100029963 140731100030065 140731100030065 140731100032974 0
/proc/9184/statm: 22298 16463 869 493 0 15603 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65852 KiB

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

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

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

Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.06
CPU user time (s): 2399.97
CPU system time (s): 0.088995
CPU usage (%): 99.9941
Max. virtual memory (cumulated for all children) (KiB): 89192
Max. memory (cumulated for all children) (KiB): 65852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.97
system time used= 0.088995
maximum resident set size= 65920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140083
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= 34
involuntary context switches= 675


# summary of solver processes directly reported to runsolver:
#   pid: 9184
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2399.97
#   total CPU system time (s): 0.088995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.87216 second user time and 16.2922 second system time

The end

Begin job on node150 at 2019-09-13 01:25:41
IDJOB=4394692
IDBENCH=123065
IDSOLVER=2830
FILE ID=node150/4394692-1568330780
RUNJOBID= node150-1568323911-7048
PBS_JOBID= 21701149
Free space on /tmp= 55028 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-lipa50a.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394692-1568330780/watcher-4394692-1568330780 -o /tmp/evaluation-result-4394692-1568330780/solver-4394692-1568330780 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568323911-7048 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4394692-1568330780.xml

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

MD5SUM BENCH= 4fcc0be526f5147180ee0aa4ecb06fa1
RANDOM SEED=1275904649

node150.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.79
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.79
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.79
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.79
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:        23970252 kB
MemAvailable:   31003620 kB
Buffers:          159460 kB
Cached:          7022404 kB
SwapCached:        10496 kB
Active:          1986956 kB
Inactive:        6075136 kB
Active(anon):     847644 kB
Inactive(anon):    54744 kB
Active(file):    1139312 kB
Inactive(file):  6020392 kB
Unevictable:      109524 kB
Mlocked:          109524 kB
SwapTotal:      67108860 kB
SwapFree:       67018196 kB
Dirty:              2828 kB
Writeback:            48 kB
AnonPages:        979852 kB
Mapped:            37816 kB
Shmem:             13544 kB
Slab:             332748 kB
SReclaimable:     302124 kB
SUnreclaim:        30624 kB
KernelStack:        3504 kB
PageTables:         7148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1371264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    710656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 55024 MiB
End job on node150 at 2019-09-13 02:05:41