1.29/1.37	c
1.29/1.37	c This is cosoco 2.00 --  
1.29/1.37	c
1.29/1.37	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389937-1568323762.xml 
1.29/1.37	c enable optimization
1.29/1.37	c ========================================[ Problem Statistics ]===========================================
1.29/1.37	c |                                                                                                       
1.29/1.37	c |  Parse time        :         0.08 s 
1.29/1.37	c |
1.29/1.37	c |               Variables: 2550
1.29/1.37	c |            Domain Sizes: 49..50
1.29/1.37	c |
1.29/1.37	c |             Constraints: 1201
1.29/1.37	c |                   Arity: 3..1199  -- Ternary: 1199
1.29/1.37	c | 
1.29/1.37	c |                   Types: 
1.29/1.37	c |                          All Different: 1
1.29/1.37	c |                          Extension: 1199  (nb tuples: 2450..2450) -- (shared: 1198)
1.29/1.37	c |                          Sum: 1
1.29/1.37	c |                          
1.29/1.37	c |               Objective: Minimize Sum
1.29/1.37	
1.29/1.37	c =========================================================================================================
1.29/1.37	o 31840
1.29/1.37	c    1 calls to solver(id=0): best=31840 lower=0 upper=31839 
11.28/11.34	o 31791
16.69/16.73	o 31789
16.69/16.73	c    3 calls to solver(id=0): best=31789 lower=0 upper=31788 
27.28/27.30	o 31788
65.19/65.23	o 31784
65.19/65.23	c    5 calls to solver(id=0): best=31784 lower=0 upper=31783 
73.59/73.67	o 31782
83.60/83.64	o 31776
83.60/83.64	c    7 calls to solver(id=0): best=31776 lower=0 upper=31775 
113.60/113.63	o 31768
128.18/128.23	o 31765
128.18/128.23	c    9 calls to solver(id=0): best=31765 lower=0 upper=31764 
144.48/144.59	o 31761
259.98/260.06	o 31741
259.98/260.06	c   11 calls to solver(id=0): best=31741 lower=0 upper=31740 
532.47/532.53	o 31735
683.17/683.21	o 31732
683.17/683.21	c   13 calls to solver(id=0): best=31732 lower=0 upper=31731 
749.46/749.54	o 31724
1174.84/1174.94	o 31719
1174.84/1174.94	c   15 calls to solver(id=0): best=31719 lower=0 upper=31718 
1445.04/1445.14	o 31710
2519.90/2520.00	
2519.90/2520.00	c *** INTERRUPTED ***
2519.90/2520.00	c call to solver        : 16
2519.90/2520.00	c
2519.90/2520.00	c restarts              : 426         
2519.90/2520.00	c conflicts             : 285420       (113 /sec)
2519.90/2520.00	c decisions             : 8722830      (3462 /sec)
2519.90/2520.00	c propagations          : 232657988   (92351 /sec)
2519.90/2520.00	c root propagations     : 1199        
2519.90/2520.00	c filter calls          : 53210162       (21121 /sec)
2519.90/2520.00	c useless filter calls  : 40945055       (76 %)
2519.90/2520.00	c Memory used           : 87.11 MB
2519.90/2520.00	c Best bound time (wc)  : 1445.14 s
2519.90/2520.00	c CPU time              : 2519.28 s
2519.90/2520.00	c real time             : 2519.99 s
2519.90/2520.00	
2519.90/2520.00	c nb Solutions = 16
2519.90/2520.00	s SATISFIABLE
2519.90/2520.00	c Best value found: 31710
2519.90/2520.00	
2519.90/2520.00	
2519.90/2520.00	v <instantiation type='solution' cost='31710'>
2519.90/2520.00	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>
2519.90/2520.00	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>
2519.90/2520.00	v </instantiation>
2519.90/2520.00	

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389937-1568323762/watcher-4389937-1568323762 -o /tmp/evaluation-result-4389937-1568323762/solver-4389937-1568323762 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568311987-15585 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389937-1568323762.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=17809, runsolver pid=17806
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.100118 s]*
/proc/loadavg: 2.00 2.02 2.05 3/200 17810
/proc/meminfo: memFree=25389840/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=73788 memory=50012 CPUtime=0.1 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 12717 0 0 0 8 2 0 0 20 0 1 0 408614939 75558912 12503 33554432000 4194304 6210612 140723310409376 140723310405912 5045712 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 18447 12503 825 493 0 11752 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 73788 KiB
Current children cumulated memory: 50012 KiB

[startup+0.209732 s]*
/proc/loadavg: 2.00 2.02 2.05 3/200 17810
/proc/meminfo: memFree=25378556/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=73788 memory=50276 CPUtime=0.21 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 12758 0 0 0 18 3 0 0 20 0 1 0 408614939 75558912 12569 33554432000 4194304 6210612 140723310409376 140723310405912 5038825 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 18447 12569 840 493 0 11752 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 73788 KiB
Current children cumulated memory: 50276 KiB

[startup+0.309733 s]*
/proc/loadavg: 2.00 2.02 2.05 3/200 17810
/proc/meminfo: memFree=25377184/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=73788 memory=50276 CPUtime=0.31 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 12758 0 0 0 28 3 0 0 20 0 1 0 408614939 75558912 12569 33554432000 4194304 6210612 140723310409376 140723310405912 5397063 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 18447 12569 840 493 0 11752 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 73788 KiB
Current children cumulated memory: 50276 KiB

[startup+0.700346 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 17810
/proc/meminfo: memFree=25374856/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=73788 memory=50276 CPUtime=0.69 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 12771 0 0 0 66 3 0 0 20 0 1 0 408614939 75558912 12569 33554432000 4194304 6210612 140723310409376 140723310407640 5038842 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 18447 12569 840 493 0 11752 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 73788 KiB
Current children cumulated memory: 50276 KiB

[startup+1.50032 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 17810
/proc/meminfo: memFree=25368380/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=82960 memory=59252 CPUtime=1.49 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 15034 0 0 0 141 8 0 0 20 0 1 0 408614939 84951040 14813 33554432000 4194304 6210612 140723310409376 140723310406776 5038622 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 20740 14813 868 493 0 14045 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 82960 KiB
Current children cumulated memory: 59252 KiB

[startup+3.10944 s]
/proc/loadavg: 2.24 2.07 2.06 3/200 17810
/proc/meminfo: memFree=25328300/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=84812 memory=61260 CPUtime=3.1 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 25440 0 0 0 296 14 0 0 20 0 1 0 408614939 86847488 15315 33554432000 4194304 6210612 140723310409376 140723310406776 5034952 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 21203 15315 869 493 0 14508 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 84812 KiB
Current children cumulated memory: 61260 KiB

[startup+7.84218 s]
/proc/loadavg: 2.24 2.07 2.06 3/200 17810
/proc/meminfo: memFree=25328300/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=86668 memory=63284 CPUtime=7.83 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 42854 0 0 0 753 30 0 0 20 0 1 0 408614939 88748032 15821 33554432000 4194304 6210612 140723310409376 140723310406584 5249712 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 21667 15821 869 493 0 14972 0
Current children cumulated CPU time: 7.83 s
Current children cumulated vsize: 86668 KiB
Current children cumulated memory: 63284 KiB

[startup+12.7094 s]
/proc/loadavg: 2.54 2.14 2.08 4/200 17811
/proc/meminfo: memFree=25719460/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=88260 memory=64876 CPUtime=12.7 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 51812 0 0 0 1219 51 0 0 20 0 1 0 408614939 90378240 16219 33554432000 4194304 6210612 140723310409376 140723310407512 5038661 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22065 16219 869 493 0 15370 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 88260 KiB
Current children cumulated memory: 64876 KiB

[startup+25.5003 s]
/proc/loadavg: 2.42 2.13 2.08 3/199 17816
/proc/meminfo: memFree=26106820/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=88788 memory=65420 CPUtime=25.48 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 77293 0 0 0 2496 52 0 0 20 0 1 0 408614939 90918912 16355 33554432000 4194304 6210612 140723310409376 140723310406584 5038576 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22197 16355 869 493 0 15502 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 88788 KiB
Current children cumulated memory: 65420 KiB

[startup+51.1002 s]
/proc/loadavg: 2.28 2.12 2.08 3/199 17816
/proc/meminfo: memFree=25805388/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=89060 memory=65704 CPUtime=51.09 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 91140 0 0 0 5056 53 0 0 20 0 1 0 408614939 91197440 16426 33554432000 4194304 6210612 140723310409376 140723310406776 5249664 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22265 16426 869 493 0 15570 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 89060 KiB
Current children cumulated memory: 65704 KiB

[startup+102.3 s]
/proc/loadavg: 2.12 2.10 2.07 3/201 17829
/proc/meminfo: memFree=25215756/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65844 CPUtime=102.29 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 105797 0 0 0 10175 54 0 0 20 0 1 0 408614939 91332608 16461 33554432000 4194304 6210612 140723310409376 140723310397256 5396596 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16461 869 493 0 15603 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65844 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.08 2.07 3/202 17835
/proc/meminfo: memFree=24518712/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65844 CPUtime=162.28 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 119326 0 0 0 16174 54 0 0 20 0 1 0 408614939 91332608 16461 33554432000 4194304 6210612 140723310409376 140723310407512 5249715 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16461 869 493 0 15603 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65844 KiB

[startup+222.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/201 17839
/proc/meminfo: memFree=23824252/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65844 CPUtime=222.28 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 131907 0 0 0 22173 55 0 0 20 0 1 0 408614939 91332608 16461 33554432000 4194304 6210612 140723310409376 140723310407512 5155436 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16461 869 493 0 15603 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65844 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 2.07 2.06 3/201 17843
/proc/meminfo: memFree=23128612/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65844 CPUtime=282.27 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 145404 0 0 0 28172 55 0 0 20 0 1 0 408614939 91332608 16461 33554432000 4194304 6210612 140723310409376 140723310397256 5155432 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16461 869 493 0 15603 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65844 KiB

[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/202 17849
/proc/meminfo: memFree=22432164/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65844 CPUtime=342.28 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 157959 0 0 0 34172 56 0 0 20 0 1 0 408614939 91332608 16461 33554432000 4194304 6210612 140723310409376 140723310397256 5038810 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16461 869 493 0 15603 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65844 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 17853
/proc/meminfo: memFree=21737988/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65844 CPUtime=402.28 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 170483 0 0 0 40171 57 0 0 20 0 1 0 408614939 91332608 16461 33554432000 4194304 6210612 140723310409376 140723310397256 5249724 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16461 869 493 0 15603 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65844 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 17857
/proc/meminfo: memFree=21042760/32770624 swapFree=66940644/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65844 CPUtime=462.28 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 182987 0 0 0 46170 58 0 0 20 0 1 0 408614939 91332608 16461 33554432000 4194304 6210612 140723310409376 140723310397256 5155864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16461 869 493 0 15603 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65844 KiB


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

/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 18055
/proc/meminfo: memFree=30316980/32770624 swapFree=66940652/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=1782.22 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 291384 0 0 0 178159 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5249733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

[startup+1842.3 s]
/proc/loadavg: 2.45 2.13 2.08 3/199 18059
/proc/meminfo: memFree=30316900/32770624 swapFree=66940652/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=1842.22 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 291478 0 0 0 184159 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5249712 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

[startup+1902.3 s]
/proc/loadavg: 2.16 2.11 2.08 3/200 18071
/proc/meminfo: memFree=30317024/32770624 swapFree=66940652/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=1902.22 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 291572 0 0 0 190159 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5155436 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

[startup+1962.3 s]
/proc/loadavg: 2.06 2.09 2.07 3/201 18102
/proc/meminfo: memFree=30315952/32770624 swapFree=66940660/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=1962.22 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 291746 0 0 0 196159 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5249727 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

[startup+2022.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/200 18106
/proc/meminfo: memFree=30316208/32770624 swapFree=66940660/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=2022.22 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 291870 0 0 0 202159 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5034864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/200 18110
/proc/meminfo: memFree=30316488/32770624 swapFree=66940660/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=2082.22 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 291995 0 0 0 208159 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5249727 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/201 18116
/proc/meminfo: memFree=30316772/32770624 swapFree=66940660/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=2142.21 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 292146 0 0 0 214158 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5157176 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 18120
/proc/meminfo: memFree=30316640/32770624 swapFree=66940660/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=2202.21 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 292246 0 0 0 220158 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5249907 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 18124
/proc/meminfo: memFree=30316644/32770624 swapFree=66940660/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=2262.21 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 292422 0 0 0 226158 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5249727 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 18130
/proc/meminfo: memFree=30316936/32770624 swapFree=66940660/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=2322.21 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 292524 0 0 0 232158 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5249729 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 18135
/proc/meminfo: memFree=30316660/32770624 swapFree=66940660/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=2382.21 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 292626 0 0 0 238158 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5249733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 18139
/proc/meminfo: memFree=30316684/32770624 swapFree=66940660/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=2442.21 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 292804 0 0 0 244158 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5249727 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 18154
/proc/meminfo: memFree=30316692/32770624 swapFree=66940664/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=2502.2 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 292898 0 0 0 250157 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5155436 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 18155
/proc/meminfo: memFree=30316584/32770624 swapFree=66940664/67108860
[pid=17809] ppid=17806 vsize=89192 memory=65856 CPUtime=2519.9 cores=0,2,4,6
/proc/17809/stat : 17809 (cosoco) R 17806 17809 15554 0 -1 4202496 292990 0 0 0 251927 63 0 0 20 0 1 0 408614939 91332608 16464 33554432000 4194304 6210612 140723310409376 140723310407512 5249733 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 27045888 140723310412811 140723310412913 140723310412913 140723310415822 0
/proc/17809/statm: 22298 16464 869 493 0 15603 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 89192 KiB
Current children cumulated memory: 65856 KiB

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

[startup+2520 s]
# the end of solver process 17809 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.28 s, system=0.638982 s

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

Child status: 1
Real time (s): 2520
CPU time (s): 2519.92
CPU user time (s): 2519.28
CPU system time (s): 0.638982
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 89192
Max. memory (cumulated for all children) (KiB): 65856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.28
system time used= 0.638982
maximum resident set size= 65924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293042
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= 33
involuntary context switches= 867


# summary of solver processes directly reported to runsolver:
#   pid: 17809
#   total CPU time (s): 2519.92
#   total CPU user time (s): 2519.28
#   total CPU system time (s): 0.638982

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.95476 second user time and 17.1197 second system time

The end

Begin job on node149 at 2019-09-12 23:28:45
IDJOB=4389937
IDBENCH=123065
IDSOLVER=2829
FILE ID=node149/4389937-1568323762
RUNJOBID= node149-1568311987-15585
PBS_JOBID= 21701127
Free space on /tmp= 56580 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-4389937-1568323762/watcher-4389937-1568323762 -o /tmp/evaluation-result-4389937-1568323762/solver-4389937-1568323762 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568311987-15585 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389937-1568323762.xml

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

MD5SUM BENCH= 4fcc0be526f5147180ee0aa4ecb06fa1
RANDOM SEED=804130554

node149.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.81
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.81
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.81
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.81
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:        25426796 kB
MemAvailable:   27078508 kB
Buffers:          121360 kB
Cached:          1817388 kB
SwapCached:        61432 kB
Active:          5136588 kB
Inactive:        1621392 kB
Active(anon):    4786596 kB
Inactive(anon):    72320 kB
Active(file):     349992 kB
Inactive(file):  1549072 kB
Unevictable:      111272 kB
Mlocked:          111272 kB
SwapTotal:      67108860 kB
SwapFree:       66940644 kB
Dirty:            888384 kB
Writeback:         78376 kB
AnonPages:       4870984 kB
Mapped:            45804 kB
Shmem:             31088 kB
Slab:             166176 kB
SReclaimable:     136968 kB
SUnreclaim:        29208 kB
KernelStack:        3568 kB
PageTables:        15100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5322264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 57064 MiB
End job on node149 at 2019-09-13 00:10:45