0.00/0.09	c best=?? lower=0 upper=54880 
1.39/1.48	c
1.39/1.48	c This is cosoco 1.12 --  
1.39/1.48	c
1.39/1.48	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4293867-1532371890.xml 
1.39/1.48	c enable optimization
1.39/1.48	c ========================================[ Problem Statistics ]===========================================
1.39/1.48	c |                                                                                                       
1.39/1.48	c |  Parse time        :         0.08 s 
1.39/1.48	c |
1.39/1.48	c |               Variables: 2450
1.39/1.48	c |            Domain Sizes: 8..49
1.39/1.48	c |
1.39/1.48	c |             Constraints: 1178
1.39/1.48	c |                   Arity: 3..1176  -- Ternary: 1176
1.39/1.48	c | 
1.39/1.48	c |                   Types: 
1.39/1.48	c |                          All Different: 1
1.39/1.48	c |                          Extension: 1176  (nb tuples: 2352..2352) -- (shared: 1175)
1.39/1.48	c |                          Sum: 1
1.39/1.48	c |                          
1.39/1.48	c |               Objective: Minimize Sum
1.39/1.48	
1.39/1.48	c =========================================================================================================
1.39/1.48	o 14900
1.39/1.48	c    1 calls to solver: best=14900 lower=0 upper=14899 
2.19/2.27	o 14502
3.00/3.05	o 14328
3.00/3.05	c    3 calls to solver: best=14328 lower=0 upper=14327 
3.79/3.84	o 14323
9.69/9.73	o 14322
9.69/9.73	c    5 calls to solver: best=14322 lower=0 upper=14321 
11.49/11.58	o 14315
21.00/21.05	o 14273
21.00/21.05	c    7 calls to solver: best=14273 lower=0 upper=14272 
23.10/23.13	o 14219
25.39/25.49	o 14130
25.39/25.49	c    9 calls to solver: best=14130 lower=0 upper=14129 
27.89/27.92	o 14104
54.39/54.41	o 14102
54.39/54.41	c   11 calls to solver: best=14102 lower=0 upper=14101 
61.10/61.19	o 14089
67.59/67.65	o 14079
67.59/67.65	c   13 calls to solver: best=14079 lower=0 upper=14078 
249.86/249.93	o 14055
319.46/319.57	o 14017
319.46/319.57	c   15 calls to solver: best=14017 lower=0 upper=14016 
682.46/682.58	o 14011
763.35/763.48	o 13783
763.35/763.48	c   17 calls to solver: best=13783 lower=0 upper=13782 
2519.95/2520.01	
2519.95/2520.01	c *** INTERRUPTED ***
2519.95/2520.01	c restarts              : 71          
2519.95/2520.01	c conflicts             : 916917       (364 /sec)
2519.95/2520.01	c decisions             : 7107099      (2820 /sec)
2519.95/2520.01	c propagations          : 523293855   (207666 /sec)
2519.95/2520.01	c root propagations     : 101893      
2519.95/2520.01	c filter calls          : 553624347      (219702 /sec)
2519.95/2520.01	c useless filter calls  : 483382070      (87 %)
2519.95/2520.01	c Memory used           : 79.58 MB
2519.95/2520.01	c CPU time              : 2519.88 s
2519.95/2520.01	
2519.95/2520.01	c nb Solutions = 17
2519.95/2520.01	s SATISFIABLE
2519.95/2520.01	c Best value found: 13783
2519.95/2520.01	
2519.95/2520.01	
2519.95/2520.01	v <instantiation type='solution' cost='13783'>
2519.95/2520.01	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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][4] d[48][5] d[48][6] d[48][7] d[48][8] d[48][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][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][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][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][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][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][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[4] x[5] x[6] x[7] x[8] x[9] </list>
2519.95/2520.01	v <values>* 2 5 5 2 6 2 5 2 5 5 2 2 0 0 0 1 10 1 5 5 0 4 2 5 2 2 2 0 6 5 1 1 0 2 2 5 5 1 2 0 2 0 5 0 0 0 5 0 * * 5 5 1 10 4 0 2 0 2 * 2 0 5 0 0 2 0 2 0 2 * 2 0 10 0 0 0 2 0 0 5 * 0 5 2 4 0 2 0 2 4 * * * * * * * * * 2 0 5 5 5 5 3 0 * 2 0 0 0 0 1 2 0 2 0 * 0 0 1 0 2 1 0 0 0 10 * 6 0 0 0 2 0 4 5 1 * * * * * * * * * * 0 0 1 0 3 5 5 * 0 5 0 0 0 10 5 1 0 0 * 5 0 0 1 2 1 0 0 2 2 * 0 4 6 1 10 1 0 0 1 * * * * * * * * * * * 1 5 0 0 2 10 * 0 2 5 0 5 3 2 1 1 5 * 2 2 2 2 0 2 0 2 0 1 * 2 10 1 10 10 10 2 0 1 * * * * * * * * * * * * 10 0 0 2 4 * 0 5 0 2 5 6 2 1 1 2 * 5 0 0 0 2 5 5 0 0 5 * 5 1 0 2 5 2 0 0 5 * * * * * * * * * * * * * 5 3 6 0 * 0 1 0 10 5 0 0 0 10 10 * 2 1 1 2 2 0 2 0 2 5 * 1 2 0 10 2 0 4 0 0 * * * * * * * * * * * * * * 0 5 0 * 5 5 0 5 10 1 2 1 3 10 * 1 10 0 5 1 0 5 2 1 5 * 0 10 0 5 0 1 2 5 5 * * * * * * * * * * * * * * * 0 10 * 0 5 0 2 2 2 0 1 3 10 * 5 0 1 0 1 0 10 0 5 5 * 2 1 0 0 5 1 5 0 1 * * * * * * * * * * * * * * * * 0 * 2 10 0 0 3 0 5 5 2 2 * 10 0 2 5 1 0 4 6 3 5 * 0 5 0 5 0 2 0 2 5 * * * * * * * * * * * * * * * * * * 2 0 2 5 5 2 5 2 1 0 * 2 2 5 2 2 0 2 0 0 5 * 4 2 1 2 10 3 1 5 2 * * * * * * * 6 1 0 1 0 1 1 5 0 0 * 5 0 6 0 0 0 0 1 1 1 6 0 5 0 5 0 2 5 5 1 2 0 4 0 5 0 5 5 0 5 5 1 10 0 2 2 2 * * * * * * * * * * * * * 10 1 5 10 0 2 10 2 1 * 1 0 10 0 2 2 4 1 0 3 * 0 10 0 5 0 0 0 1 2 * * * * * * * * * * * * * * * * * * * * 5 5 4 5 5 0 4 0 * 0 1 2 0 1 2 2 5 2 0 * 0 5 2 0 2 3 2 0 10 * * * * * * * * * * * * * * * * * * * * * 10 1 2 5 3 2 0 * 6 2 0 0 0 4 0 5 1 5 * 0 0 0 2 1 2 0 6 0 * * * * * * * * * * * * * * * * * * * * * * 2 1 5 0 1 1 * 5 0 0 0 2 5 5 6 0 1 * 0 5 3 0 6 5 5 1 2 * * * * * * * * * * * * * * * * * * * * * * * 2 2 2 3 5 * 1 0 0 0 2 1 2 0 2 3 * 5 0 0 1 0 1 5 10 2 * * * * * * * * * * * * * * * * * * * * * * * * 0 0 10 5 * 10 2 1 5 0 0 5 5 3 10 * 5 5 5 5 0 5 0 10 1 * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 * 2 2 1 0 4 0 5 0 3 5 * 1 0 1 2 0 0 0 3 5 * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 * 0 1 0 2 10 2 1 0 1 0 * 0 10 2 0 0 0 5 3 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 * 2 5 3 1 3 3 0 5 5 4 * 2 2 2 10 1 0 1 10 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 10 5 5 2 1 3 1 0 1 * 5 10 1 1 5 0 5 0 5 * * * * * * * 5 2 5 1 10 5 0 5 5 0 * 0 10 3 5 0 10 0 6 0 0 * 2 4 2 5 2 2 1 2 0 0 5 10 0 5 2 10 2 1 5 0 4 2 0 3 0 5 * * * * * * * * * * * * * * * * * * * * * * * * 10 5 3 5 5 2 0 0 5 * 0 0 1 3 1 2 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 0 5 0 1 0 2 * 0 0 1 5 0 4 0 2 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 2 4 10 0 0 * 10 5 2 1 1 6 1 1 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 0 2 1 3 * 6 0 2 2 3 1 0 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 5 0 3 10 * 2 5 0 10 5 5 10 0 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 5 5 0 * 0 5 0 5 5 3 10 1 4 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 0 5 * 5 0 0 0 5 1 10 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 0 * 10 2 0 1 5 0 2 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * 4 0 0 0 10 10 0 2 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 0 2 3 0 2 1 5 1 * * * * * * * 10 10 0 1 2 1 0 10 6 2 * 1 0 4 0 1 2 5 3 2 0 * 0 0 5 2 1 0 2 2 2 0 * 0 5 2 0 2 0 0 4 0 2 0 2 5 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 2 6 5 0 5 1 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 1 0 0 5 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 5 5 5 5 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 4 4 0 5 5 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 5 0 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 2 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 5 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 0 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 10 2 0 0 0 5 0 0 10 0 * 10 0 5 1 3 5 2 5 5 2 * 5 2 3 5 1 5 1 0 2 2 * 1 2 3 2 2 2 5 0 0 * 2 5 5 5 0 * 2 1 0 5 2 10 5 5 0 5 * 0 5 10 5 3 2 0 10 0 0 * 1 3 10 0 1 5 4 5 5 2 * 6 5 0 3 0 0 0 2 3 * * 0 0 1 2 * 0 2 2 2 3 2 1 0 0 10 * 0 1 0 2 10 2 0 0 0 1 * 0 1 10 2 0 5 2 2 1 3 * 1 10 0 1 2 0 5 4 1 * * * 0 5 0 * 0 0 0 2 0 0 0 1 2 5 * 2 5 3 10 5 2 5 5 6 5 * 2 4 10 1 0 2 1 3 5 4 * 1 5 2 1 2 2 2 2 1 * * * * 0 5 * 10 3 1 0 0 0 2 0 5 1 * 4 0 2 5 5 0 2 2 5 10 * 5 10 0 5 5 0 5 0 5 1 * 3 2 5 0 4 0 2 0 0 * * * * * 0 * 5 0 4 2 4 5 2 5 5 2 * 4 5 2 5 0 2 0 10 10 2 * 2 0 2 6 2 1 3 5 2 5 * 1 0 3 10 3 5 0 0 0 * * * * * * 13 19 45 46 23 17 33 1 24 37 25 18 22 7 20 15 47 40 38 2 9 5 41 44 36 32 0 11 21 10 31 16 28 27 6 30 12 8 35 3 39 34 43 26 29 48 4 42 14 </values>
2519.95/2520.01	v </instantiation>
2519.95/2520.01	

OK	13783

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293867-1532371890/watcher-4293867-1532371890 -o /tmp/evaluation-result-4293867-1532371890/solver-4293867-1532371890 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532369368-20796 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4293867-1532371890.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=21042, runsolver pid=21039

[startup+0.100094 s]*
/proc/loadavg: 2.00 2.05 2.05 3/191 21043
/proc/meminfo: memFree=27314352/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=65196 memory=41500 CPUtime=0.1 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 10593 0 0 0 9 1 0 0 20 0 1 0 54752170 66760704 10375 33554432000 4194304 6142532 140726045318496 140726045315128 5017816 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 16299 10375 803 476 0 9621 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 65196 KiB
Current children cumulated memory: 41500 KiB

[startup+0.209745 s]*
/proc/loadavg: 2.00 2.05 2.05 3/191 21043
/proc/meminfo: memFree=27314352/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=65460 memory=42028 CPUtime=0.21 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 10682 0 0 0 20 1 0 0 20 0 1 0 54752170 67031040 10507 33554432000 4194304 6142532 140726045318496 140726045315128 140640506731493 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 16365 10507 850 476 0 9687 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 65460 KiB
Current children cumulated memory: 42028 KiB

[startup+0.309655 s]*
/proc/loadavg: 2.00 2.05 2.05 3/191 21043
/proc/meminfo: memFree=27311624/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=68500 memory=44932 CPUtime=0.31 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 11437 0 0 0 30 1 0 0 20 0 1 0 54752170 70144000 11233 33554432000 4194304 6142532 140726045318496 140726045315128 140640506731493 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 17125 11233 850 476 0 10447 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 68500 KiB
Current children cumulated memory: 44932 KiB

[startup+0.700324 s]
/proc/loadavg: 2.00 2.05 2.05 3/191 21043
/proc/meminfo: memFree=27297984/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=78832 memory=55228 CPUtime=0.69 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 14020 0 0 0 68 1 0 0 20 0 1 0 54752170 80723968 13807 33554432000 4194304 6142532 140726045318496 140726045315128 5017892 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 19708 13807 850 476 0 13030 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 78832 KiB
Current children cumulated memory: 55228 KiB

[startup+1.50025 s]
/proc/loadavg: 2.00 2.05 2.05 3/191 21043
/proc/meminfo: memFree=27260660/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=78972 memory=55484 CPUtime=1.49 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 14057 0 0 0 148 1 0 0 20 0 1 0 54752170 80867328 13871 33554432000 4194304 6142532 140726045318496 140726045315128 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 19743 13871 850 476 0 13065 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 78972 KiB
Current children cumulated memory: 55484 KiB

[startup+3.10951 s]
/proc/loadavg: 2.00 2.05 2.05 3/191 21043
/proc/meminfo: memFree=27260048/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=79236 memory=55796 CPUtime=3.1 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 25278 0 0 0 308 2 0 0 20 0 1 0 54752170 81137664 13949 33554432000 4194304 6142532 140726045318496 140726045316024 5017751 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 19809 13949 852 476 0 13131 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 79236 KiB
Current children cumulated memory: 55796 KiB

[startup+6.30028 s]
/proc/loadavg: 2.00 2.05 2.05 3/191 21043
/proc/meminfo: memFree=27258280/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=80424 memory=57040 CPUtime=6.29 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 36440 0 0 0 626 3 0 0 20 0 1 0 54752170 82354176 14260 33554432000 4194304 6142532 140726045318496 140726045316024 5138256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20106 14260 852 476 0 13428 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 80424 KiB
Current children cumulated memory: 57040 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.05 2.05 3/191 21043
/proc/meminfo: memFree=27255684/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81220 memory=57788 CPUtime=12.69 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 48210 0 0 0 1266 3 0 0 20 0 1 0 54752170 83169280 14447 33554432000 4194304 6142532 140726045318496 140726045305768 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20305 14447 852 476 0 13627 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 81220 KiB
Current children cumulated memory: 57788 KiB

[startup+25.5002 s]
/proc/loadavg: 2.00 2.04 2.05 3/191 21043
/proc/meminfo: memFree=27254196/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81352 memory=57876 CPUtime=25.49 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 71404 0 0 0 2545 4 0 0 20 0 1 0 54752170 83304448 14469 33554432000 4194304 6142532 140726045318496 140726045305768 5017782 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20338 14469 852 476 0 13660 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 81352 KiB
Current children cumulated memory: 57876 KiB

[startup+51.1096 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 21043
/proc/meminfo: memFree=27250716/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81352 memory=57972 CPUtime=51.1 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 82873 0 0 0 5105 5 0 0 20 0 1 0 54752170 83304448 14493 33554432000 4194304 6142532 140726045318496 140726045316024 5017816 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20338 14493 852 476 0 13660 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 81352 KiB
Current children cumulated memory: 57972 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 21044
/proc/meminfo: memFree=27248192/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58028 CPUtime=102.28 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 94737 0 0 0 10223 5 0 0 20 0 1 0 54752170 83439616 14507 33554432000 4194304 6142532 140726045318496 140726045305768 5013907 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14507 852 476 0 13693 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58028 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 21045
/proc/meminfo: memFree=27247496/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58076 CPUtime=162.27 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 106049 0 0 0 16221 6 0 0 20 0 1 0 54752170 83439616 14519 33554432000 4194304 6142532 140726045318496 140726045305768 5018118 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14519 852 476 0 13693 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58076 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/190 21047
/proc/meminfo: memFree=27247924/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58092 CPUtime=222.26 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 106362 0 0 0 22220 6 0 0 20 0 1 0 54752170 83439616 14523 33554432000 4194304 6142532 140726045318496 140726045305768 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14523 852 476 0 13693 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58092 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 21050
/proc/meminfo: memFree=27249668/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58092 CPUtime=282.26 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 106682 0 0 0 28220 6 0 0 20 0 1 0 54752170 83439616 14523 33554432000 4194304 6142532 140726045318496 140726045316024 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14523 852 476 0 13693 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58092 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 21051
/proc/meminfo: memFree=27249156/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58096 CPUtime=342.26 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 106993 0 0 0 34220 6 0 0 20 0 1 0 54752170 83439616 14524 33554432000 4194304 6142532 140726045318496 140726045305768 5017958 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14524 852 476 0 13693 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58096 KiB

[startup+402.3 s]
/proc/loadavg: 2.44 2.12 2.08 3/192 21053
/proc/meminfo: memFree=27249200/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58096 CPUtime=402.26 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 107270 0 0 0 40220 6 0 0 20 0 1 0 54752170 83439616 14524 33554432000 4194304 6142532 140726045318496 140726045305768 5017816 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14524 852 476 0 13693 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58096 KiB

[startup+462.3 s]
/proc/loadavg: 2.26 2.14 2.09 3/192 21054
/proc/meminfo: memFree=27249508/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58096 CPUtime=462.26 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 107580 0 0 0 46220 6 0 0 20 0 1 0 54752170 83439616 14524 33554432000 4194304 6142532 140726045318496 140726045305768 5139736 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14524 852 476 0 13693 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58096 KiB


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

/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/192 21125
/proc/meminfo: memFree=27248388/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=1782.25 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 112607 0 0 0 178218 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5016509 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/191 21126
/proc/meminfo: memFree=27248140/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=1842.25 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 112896 0 0 0 184218 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 21127
/proc/meminfo: memFree=27248396/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=1902.25 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 113030 0 0 0 190218 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5347469 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 21128
/proc/meminfo: memFree=27248700/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=1962.25 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 113306 0 0 0 196218 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5215810 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 21130
/proc/meminfo: memFree=27248676/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=2022.24 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 113602 0 0 0 202217 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21132
/proc/meminfo: memFree=27249024/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=2082.24 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 113826 0 0 0 208217 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5016431 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21133
/proc/meminfo: memFree=27248732/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=2142.24 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 114041 0 0 0 214217 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5329969 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21135
/proc/meminfo: memFree=27248608/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=2202.24 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 114256 0 0 0 220217 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5140172 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 2202.24 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21136
/proc/meminfo: memFree=27249092/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=2262.24 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 114462 0 0 0 226217 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 21144
/proc/meminfo: memFree=27247992/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=2322.24 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 114637 0 0 0 232217 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 21145
/proc/meminfo: memFree=27248356/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=2382.24 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 114709 0 0 0 238217 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5140128 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 21146
/proc/meminfo: memFree=27248168/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=2442.24 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 114871 0 0 0 244217 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5017799 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

[startup+2502.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/190 21147
/proc/meminfo: memFree=27247956/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=2502.24 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 115059 0 0 0 250217 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 2502.24 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.08 2.04 2.05 4/188 21155
/proc/meminfo: memFree=27401972/32770624 swapFree=67108860/67108860
[pid=21042] ppid=21039 vsize=81484 memory=58116 CPUtime=2519.95 cores=0,2,4,6
/proc/21042/stat : 21042 (cosoco) R 21039 21042 20765 0 -1 4202496 115186 0 0 0 251988 7 0 0 20 0 1 0 54752170 83439616 14529 33554432000 4194304 6142532 140726045318496 140726045305768 5017816 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 37670912 140726045320326 140726045320456 140726045320456 140726045323214 0
/proc/21042/statm: 20371 14529 852 476 0 13693 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 81484 KiB
Current children cumulated memory: 58116 KiB

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

[startup+2520.01 s]
# the end of solver process 21042 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.88 s, system=0.076999 s

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.96
CPU user time (s): 2519.88
CPU system time (s): 0.076999
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 81484
Max. memory (cumulated for all children) (KiB): 58116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.88
system time used= 0.076999
maximum resident set size= 58184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115238
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= 32
involuntary context switches= 814


# summary of solver processes directly reported to runsolver:
#   pid: 21042
#   total CPU time (s): 2519.96
#   total CPU user time (s): 2519.88
#   total CPU system time (s): 0.076999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8463 second user time and 14.9502 second system time

The end

Begin job on node134 at 2018-07-23 20:51:30
IDJOB=4293867
IDBENCH=141251
IDSOLVER=2752
FILE ID=node134/4293867-1532371890
RUNJOBID= node134-1532369368-20796
PBS_JOBID= 21021570
Free space on /tmp= 55992 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko49_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293867-1532371890/watcher-4293867-1532371890 -o /tmp/evaluation-result-4293867-1532371890/solver-4293867-1532371890 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532369368-20796 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4293867-1532371890.xml

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

MD5SUM BENCH= 69d2b1c9cf4919b13dd8bc483772d8bf
RANDOM SEED=885274898

node134.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.68
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.68
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.68
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.68
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:        27419108 kB
MemAvailable:   31939096 kB
Buffers:          196552 kB
Cached:          4587420 kB
SwapCached:            0 kB
Active:          1468396 kB
Inactive:        3409376 kB
Active(anon):      43468 kB
Inactive(anon):    70300 kB
Active(file):    1424928 kB
Inactive(file):  3339076 kB
Unevictable:        7396 kB
Mlocked:            7396 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5208 kB
Writeback:             0 kB
AnonPages:        144844 kB
Mapped:            38868 kB
Shmem:             17056 kB
Slab:             171512 kB
SReclaimable:     143640 kB
SUnreclaim:        27872 kB
KernelStack:        3392 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     383308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55988 MiB
End job on node134 at 2018-07-23 21:33:30