1.59/1.63	c best=?? lower=-51039 upper=0 
1.59/1.68	c
1.59/1.68	c This is cosoco 1.12 --  
1.59/1.68	c
1.59/1.68	c command line: cosoco -lc -model -restarts HOME/instance-4267087-1502607942.xml 
1.59/1.68	c enable optimization
1.59/1.68	c ========================================[ Problem Statistics ]===========================================
1.59/1.68	c |                                                                                                       
1.59/1.68	c |  Parse time        :         1.61 s 
1.59/1.68	c |
1.59/1.68	c |               Variables: 2969
1.59/1.68	c |            Domain Sizes: 2..107
1.59/1.68	c |
1.59/1.68	c |             Constraints: 1538
1.59/1.68	c |                   Arity: 2..54  -- Binary: 54  -- Ternary: 1432
1.59/1.68	c | 
1.59/1.68	c |                   Types: 
1.59/1.68	c |                          Intension: 1484
1.59/1.68	c |                          Sum: 54
1.59/1.68	c |                          
1.59/1.68	c =========================================================================================================
1.59/1.68	o -23591
1.59/1.68	c    1 calls to solver: best=-23591 lower=-23590 upper=0 
1.69/1.72	o -22815
1.69/1.76	o -6111
1.69/1.76	c    3 calls to solver: best=-6111 lower=-6110 upper=0 
1.79/1.81	o -4639
1.79/1.84	o -4495
1.79/1.84	c    5 calls to solver: best=-4495 lower=-4494 upper=0 
1.89/1.92	o -3367
2.29/2.39	o -3031
2.29/2.39	c    7 calls to solver: best=-3031 lower=-3030 upper=0 
2.39/2.49	o -1999
2.59/2.60	o -1983
2.59/2.60	c    9 calls to solver: best=-1983 lower=-1982 upper=0 
2.59/2.67	o -1871
2.79/2.82	o -1847
2.79/2.82	c   11 calls to solver: best=-1847 lower=-1846 upper=0 
3.39/3.44	o -1455
3.39/3.49	o -1447
3.39/3.49	c   13 calls to solver: best=-1447 lower=-1446 upper=0 
3.49/3.53	o -1439
3.49/3.58	o -1343
3.49/3.58	c   15 calls to solver: best=-1343 lower=-1342 upper=0 
3.59/3.65	o -1215
3.79/3.89	o -1087
3.79/3.89	c   17 calls to solver: best=-1087 lower=-1086 upper=0 
4.00/4.06	o -967
96.78/96.88	o -927
96.78/96.88	c   19 calls to solver: best=-927 lower=-926 upper=0 
115.09/115.17	o -919
116.58/116.61	o -879
116.58/116.61	c   21 calls to solver: best=-879 lower=-878 upper=0 
123.38/123.44	o -871
134.38/134.44	o -839
134.38/134.44	c   23 calls to solver: best=-839 lower=-838 upper=0 
142.68/142.74	o -831
217.58/217.67	o -591
217.58/217.67	c   25 calls to solver: best=-591 lower=-590 upper=0 
311.59/311.68	o -567
470.20/470.22	o -471
470.20/470.22	c   27 calls to solver: best=-471 lower=-470 upper=0 
2400.02/2399.90	
2400.02/2399.90	c *** INTERRUPTED ***
2400.02/2399.90	c restarts              : 76          
2400.02/2399.90	c conflicts             : 1373868      (572 /sec)
2400.02/2399.90	c decisions             : 21727038     (9053 /sec)
2400.02/2399.90	c propagations          : 1666496327  (694379 /sec)
2400.02/2399.90	c root propagations     : 7313        
2400.02/2399.90	c filter calls          : 2037898013     (849131 /sec)
2400.02/2399.90	c useless filter calls  : 1044739445     (51 %)
2400.02/2399.90	c Memory used           : 77.18 MB
2400.02/2399.90	c CPU time              : 2399.98 s
2400.02/2399.90	
2400.02/2399.90	c nb Solutions = 27
2400.02/2399.90	s SATISFIABLE
2400.02/2399.90	c Best value found: -471
2400.02/2399.90	
2400.02/2399.90	
2400.02/2399.90	v <instantiation type='solution' cost='-471'>
2400.02/2399.90	v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[3] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[4] c[50] c[51] c[52] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[3] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[4] s[50] s[51] s[52] s[5] s[6] s[7] s[8] s[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[50] x[51] x[52] x[53] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][3] y[0][40] y[0][41] y[0][42] y[0][43] y[0][44] y[0][45] y[0][46] y[0][47] y[0][48] y[0][49] y[0][4] y[0][50] y[0][51] y[0][52] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][37] y[10][38] y[10][39] y[10][3] y[10][40] y[10][41] y[10][42] y[10][43] y[10][44] y[10][45] y[10][46] y[10][47] y[10][48] y[10][49] y[10][4] y[10][50] y[10][51] y[10][52] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][37] y[11][38] y[11][39] y[11][3] y[11][40] y[11][41] y[11][42] y[11][43] y[11][44] y[11][45] y[11][46] y[11][47] y[11][48] y[11][49] y[11][4] y[11][50] y[11][51] y[11][52] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][37] y[12][38] y[12][39] y[12][3] y[12][40] y[12][41] y[12][42] y[12][43] y[12][44] y[12][45] y[12][46] y[12][47] y[12][48] y[12][49] y[12][4] y[12][50] y[12][51] y[12][52] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][37] y[13][38] y[13][39] y[13][3] y[13][40] y[13][41] y[13][42] y[13][43] y[13][44] y[13][45] y[13][46] y[13][47] y[13][48] y[13][49] y[13][4] y[13][50] y[13][51] y[13][52] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][37] y[14][38] y[14][39] y[14][3] y[14][40] y[14][41] y[14][42] y[14][43] y[14][44] y[14][45] y[14][46] y[14][47] y[14][48] y[14][49] y[14][4] y[14][50] y[14][51] y[14][52] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][37] y[15][38] y[15][39] y[15][3] y[15][40] y[15][41] y[15][42] y[15][43] y[15][44] y[15][45] y[15][46] y[15][47] y[15][48] y[15][49] y[15][4] y[15][50] y[15][51] y[15][52] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][37] y[16][38] y[16][39] y[16][3] y[16][40] y[16][41] y[16][42] y[16][43] y[16][44] y[16][45] y[16][46] y[16][47] y[16][48] y[16][49] y[16][4] y[16][50] y[16][51] y[16][52] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][37] y[17][38] y[17][39] y[17][3] y[17][40] y[17][41] y[17][42] y[17][43] y[17][44] y[17][45] y[17][46] y[17][47] y[17][48] y[17][49] y[17][4] y[17][50] y[17][51] y[17][52] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][37] y[18][38] y[18][39] y[18][3] y[18][40] y[18][41] y[18][42] y[18][43] y[18][44] y[18][45] y[18][46] y[18][47] y[18][48] y[18][49] y[18][4] y[18][50] y[18][51] y[18][52] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][37] y[19][38] y[19][39] y[19][3] y[19][40] y[19][41] y[19][42] y[19][43] y[19][44] y[19][45] y[19][46] y[19][47] y[19][48] y[19][49] y[19][4] y[19][50] y[19][51] y[19][52] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[1][3] y[1][40] y[1][41] y[1][42] y[1][43] y[1][44] y[1][45] y[1][46] y[1][47] y[1][48] y[1][49] y[1][4] y[1][50] y[1][51] y[1][52] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][37] y[20][38] y[20][39] y[20][3] y[20][40] y[20][41] y[20][42] y[20][43] y[20][44] y[20][45] y[20][46] y[20][47] y[20][48] y[20][49] y[20][4] y[20][50] y[20][51] y[20][52] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][37] y[21][38] y[21][39] y[21][3] y[21][40] y[21][41] y[21][42] y[21][43] y[21][44] y[21][45] y[21][46] y[21][47] y[21][48] y[21][49] y[21][4] y[21][50] y[21][51] y[21][52] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][37] y[22][38] y[22][39] y[22][3] y[22][40] y[22][41] y[22][42] y[22][43] y[22][44] y[22][45] y[22][46] y[22][47] y[22][48] y[22][49] y[22][4] y[22][50] y[22][51] y[22][52] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][37] y[23][38] y[23][39] y[23][3] y[23][40] y[23][41] y[23][42] y[23][43] y[23][44] y[23][45] y[23][46] y[23][47] y[23][48] y[23][49] y[23][4] y[23][50] y[23][51] y[23][52] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][37] y[24][38] y[24][39] y[24][3] y[24][40] y[24][41] y[24][42] y[24][43] y[24][44] y[24][45] y[24][46] y[24][47] y[24][48] y[24][49] y[24][4] y[24][50] y[24][51] y[24][52] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][37] y[25][38] y[25][39] y[25][3] y[25][40] y[25][41] y[25][42] y[25][43] y[25][44] y[25][45] y[25][46] y[25][47] y[25][48] y[25][49] y[25][4] y[25][50] y[25][51] y[25][52] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][37] y[26][38] y[26][39] y[26][3] y[26][40] y[26][41] y[26][42] y[26][43] y[26][44] y[26][45] y[26][46] y[26][47] y[26][48] y[26][49] y[26][4] y[26][50] y[26][51] y[26][52] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][37] y[27][38] y[27][39] y[27][3] y[27][40] y[27][41] y[27][42] y[27][43] y[27][44] y[27][45] y[27][46] y[27][47] y[27][48] y[27][49] y[27][4] y[27][50] y[27][51] y[27][52] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][37] y[28][38] y[28][39] y[28][3] y[28][40] y[28][41] y[28][42] y[28][43] y[28][44] y[28][45] y[28][46] y[28][47] y[28][48] y[28][49] y[28][4] y[28][50] y[28][51] y[28][52] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][37] y[29][38] y[29][39] y[29][3] y[29][40] y[29][41] y[29][42] y[29][43] y[29][44] y[29][45] y[29][46] y[29][47] y[29][48] y[29][49] y[29][4] y[29][50] y[29][51] y[29][52] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[2][39] y[2][3] y[2][40] y[2][41] y[2][42] y[2][43] y[2][44] y[2][45] y[2][46] y[2][47] y[2][48] y[2][49] y[2][4] y[2][50] y[2][51] y[2][52] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][37] y[30][38] y[30][39] y[30][3] y[30][40] y[30][41] y[30][42] y[30][43] y[30][44] y[30][45] y[30][46] y[30][47] y[30][48] y[30][49] y[30][4] y[30][50] y[30][51] y[30][52] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][37] y[31][38] y[31][39] y[31][3] y[31][40] y[31][41] y[31][42] y[31][43] y[31][44] y[31][45] y[31][46] y[31][47] y[31][48] y[31][49] y[31][4] y[31][50] y[31][51] y[31][52] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][37] y[32][38] y[32][39] y[32][3] y[32][40] y[32][41] y[32][42] y[32][43] y[32][44] y[32][45] y[32][46] y[32][47] y[32][48] y[32][49] y[32][4] y[32][50] y[32][51] y[32][52] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][37] y[33][38] y[33][39] y[33][3] y[33][40] y[33][41] y[33][42] y[33][43] y[33][44] y[33][45] y[33][46] y[33][47] y[33][48] y[33][49] y[33][4] y[33][50] y[33][51] y[33][52] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][37] y[34][38] y[34][39] y[34][3] y[34][40] y[34][41] y[34][42] y[34][43] y[34][44] y[34][45] y[34][46] y[34][47] y[34][48] y[34][49] y[34][4] y[34][50] y[34][51] y[34][52] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][37] y[35][38] y[35][39] y[35][3] y[35][40] y[35][41] y[35][42] y[35][43] y[35][44] y[35][45] y[35][46] y[35][47] y[35][48] y[35][49] y[35][4] y[35][50] y[35][51] y[35][52] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][37] y[36][38] y[36][39] y[36][3] y[36][40] y[36][41] y[36][42] y[36][43] y[36][44] y[36][45] y[36][46] y[36][47] y[36][48] y[36][49] y[36][4] y[36][50] y[36][51] y[36][52] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[37][0] y[37][10] y[37][11] y[37][12] y[37][13] y[37][14] y[37][15] y[37][16] y[37][17] y[37][18] y[37][19] y[37][1] y[37][20] y[37][21] y[37][22] y[37][23] y[37][24] y[37][25] y[37][26] y[37][27] y[37][28] y[37][29] y[37][2] y[37][30] y[37][31] y[37][32] y[37][33] y[37][34] y[37][35] y[37][36] y[37][37] y[37][38] y[37][39] y[37][3] y[37][40] y[37][41] y[37][42] y[37][43] y[37][44] y[37][45] y[37][46] y[37][47] y[37][48] y[37][49] y[37][4] y[37][50] y[37][51] y[37][52] y[37][5] y[37][6] y[37][7] y[37][8] y[37][9] y[38][0] y[38][10] y[38][11] y[38][12] y[38][13] y[38][14] y[38][15] y[38][16] y[38][17] y[38][18] y[38][19] y[38][1] y[38][20] y[38][21] y[38][22] y[38][23] y[38][24] y[38][25] y[38][26] y[38][27] y[38][28] y[38][29] y[38][2] y[38][30] y[38][31] y[38][32] y[38][33] y[38][34] y[38][35] y[38][36] y[38][37] y[38][38] y[38][39] y[38][3] y[38][40] y[38][41] y[38][42] y[38][43] y[38][44] y[38][45] y[38][46] y[38][47] y[38][48] y[38][49] y[38][4] y[38][50] y[38][51] y[38][52] y[38][5] y[38][6] y[38][7] y[38][8] y[38][9] y[39][0] y[39][10] y[39][11] y[39][12] y[39][13] y[39][14] y[39][15] y[39][16] y[39][17] y[39][18] y[39][19] y[39][1] y[39][20] y[39][21] y[39][22] y[39][23] y[39][24] y[39][25] y[39][26] y[39][27] y[39][28] y[39][29] y[39][2] y[39][30] y[39][31] y[39][32] y[39][33] y[39][34] y[39][35] y[39][36] y[39][37] y[39][38] y[39][39] y[39][3] y[39][40] y[39][41] y[39][42] y[39][43] y[39][44] y[39][45] y[39][46] y[39][47] y[39][48] y[39][49] y[39][4] y[39][50] y[39][51] y[39][52] y[39][5] y[39][6] y[39][7] y[39][8] y[39][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[3][38] y[3][39] y[3][3] y[3][40] y[3][41] y[3][42] y[3][43] y[3][44] y[3][45] y[3][46] y[3][47] y[3][48] y[3][49] y[3][4] y[3][50] y[3][51] y[3][52] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[40][0] y[40][10] y[40][11] y[40][12] y[40][13] y[40][14] y[40][15] y[40][16] y[40][17] y[40][18] y[40][19] y[40][1] y[40][20] y[40][21] y[40][22] y[40][23] y[40][24] y[40][25] y[40][26] y[40][27] y[40][28] y[40][29] y[40][2] y[40][30] y[40][31] y[40][32] y[40][33] y[40][34] y[40][35] y[40][36] y[40][37] y[40][38] y[40][39] y[40][3] y[40][40] y[40][41] y[40][42] y[40][43] y[40][44] y[40][45] y[40][46] y[40][47] y[40][48] y[40][49] y[40][4] y[40][50] y[40][51] y[40][52] y[40][5] y[40][6] y[40][7] y[40][8] y[40][9] y[41][0] y[41][10] y[41][11] y[41][12] y[41][13] y[41][14] y[41][15] y[41][16] y[41][17] y[41][18] y[41][19] y[41][1] y[41][20] y[41][21] y[41][22] y[41][23] y[41][24] y[41][25] y[41][26] y[41][27] y[41][28] y[41][29] y[41][2] y[41][30] y[41][31] y[41][32] y[41][33] y[41][34] y[41][35] y[41][36] y[41][37] y[41][38] y[41][39] y[41][3] y[41][40] y[41][41] y[41][42] y[41][43] y[41][44] y[41][45] y[41][46] y[41][47] y[41][48] y[41][49] y[41][4] y[41][50] y[41][51] y[41][52] y[41][5] y[41][6] y[41][7] y[41][8] y[41][9] y[42][0] y[42][10] y[42][11] y[42][12] y[42][13] y[42][14] y[42][15] y[42][16] y[42][17] y[42][18] y[42][19] y[42][1] y[42][20] y[42][21] y[42][22] y[42][23] y[42][24] y[42][25] y[42][26] y[42][27] y[42][28] y[42][29] y[42][2] y[42][30] y[42][31] y[42][32] y[42][33] y[42][34] y[42][35] y[42][36] y[42][37] y[42][38] y[42][39] y[42][3] y[42][40] y[42][41] y[42][42] y[42][43] y[42][44] y[42][45] y[42][46] y[42][47] y[42][48] y[42][49] y[42][4] y[42][50] y[42][51] y[42][52] y[42][5] y[42][6] y[42][7] y[42][8] y[42][9] y[43][0] y[43][10] y[43][11] y[43][12] y[43][13] y[43][14] y[43][15] y[43][16] y[43][17] y[43][18] y[43][19] y[43][1] y[43][20] y[43][21] y[43][22] y[43][23] y[43][24] y[43][25] y[43][26] y[43][27] y[43][28] y[43][29] y[43][2] y[43][30] y[43][31] y[43][32] y[43][33] y[43][34] y[43][35] y[43][36] y[43][37] y[43][38] y[43][39] y[43][3] y[43][40] y[43][41] y[43][42] y[43][43] y[43][44] y[43][45] y[43][46] y[43][47] y[43][48] y[43][49] y[43][4] y[43][50] y[43][51] y[43][52] y[43][5] y[43][6] y[43][7] y[43][8] y[43][9] y[44][0] y[44][10] y[44][11] y[44][12] y[44][13] y[44][14] y[44][15] y[44][16] y[44][17] y[44][18] y[44][19] y[44][1] y[44][20] y[44][21] y[44][22] y[44][23] y[44][24] y[44][25] y[44][26] y[44][27] y[44][28] y[44][29] y[44][2] y[44][30] y[44][31] y[44][32] y[44][33] y[44][34] y[44][35] y[44][36] y[44][37] y[44][38] y[44][39] y[44][3] y[44][40] y[44][41] y[44][42] y[44][43] y[44][44] y[44][45] y[44][46] y[44][47] y[44][48] y[44][49] y[44][4] y[44][50] y[44][51] y[44][52] y[44][5] y[44][6] y[44][7] y[44][8] y[44][9] y[45][0] y[45][10] y[45][11] y[45][12] y[45][13] y[45][14] y[45][15] y[45][16] y[45][17] y[45][18] y[45][19] y[45][1] y[45][20] y[45][21] y[45][22] y[45][23] y[45][24] y[45][25] y[45][26] y[45][27] y[45][28] y[45][29] y[45][2] y[45][30] y[45][31] y[45][32] y[45][33] y[45][34] y[45][35] y[45][36] y[45][37] y[45][38] y[45][39] y[45][3] y[45][40] y[45][41] y[45][42] y[45][43] y[45][44] y[45][45] y[45][46] y[45][47] y[45][48] y[45][49] y[45][4] y[45][50] y[45][51] y[45][52] y[45][5] y[45][6] y[45][7] y[45][8] y[45][9] y[46][0] y[46][10] y[46][11] y[46][12] y[46][13] y[46][14] y[46][15] y[46][16] y[46][17] y[46][18] y[46][19] y[46][1] y[46][20] y[46][21] y[46][22] y[46][23] y[46][24] y[46][25] y[46][26] y[46][27] y[46][28] y[46][29] y[46][2] y[46][30] y[46][31] y[46][32] y[46][33] y[46][34] y[46][35] y[46][36] y[46][37] y[46][38] y[46][39] y[46][3] y[46][40] y[46][41] y[46][42] y[46][43] y[46][44] y[46][45] y[46][46] y[46][47] y[46][48] y[46][49] y[46][4] y[46][50] y[46][51] y[46][52] y[46][5] y[46][6] y[46][7] y[46][8] y[46][9] y[47][0] y[47][10] y[47][11] y[47][12] y[47][13] y[47][14] y[47][15] y[47][16] y[47][17] y[47][18] y[47][19] y[47][1] y[47][20] y[47][21] y[47][22] y[47][23] y[47][24] y[47][25] y[47][26] y[47][27] y[47][28] y[47][29] y[47][2] y[47][30] y[47][31] y[47][32] y[47][33] y[47][34] y[47][35] y[47][36] y[47][37] y[47][38] y[47][39] y[47][3] y[47][40] y[47][41] y[47][42] y[47][43] y[47][44] y[47][45] y[47][46] y[47][47] y[47][48] y[47][49] y[47][4] y[47][50] y[47][51] y[47][52] y[47][5] y[47][6] y[47][7] y[47][8] y[47][9] y[48][0] y[48][10] y[48][11] y[48][12] y[48][13] y[48][14] y[48][15] y[48][16] y[48][17] y[48][18] y[48][19] y[48][1] y[48][20] y[48][21] y[48][22] y[48][23] y[48][24] y[48][25] y[48][26] y[48][27] y[48][28] y[48][29] y[48][2] y[48][30] y[48][31] y[48][32] y[48][33] y[48][34] y[48][35] y[48][36] y[48][37] y[48][38] y[48][39] y[48][3] y[48][40] y[48][41] y[48][42] y[48][43] y[48][44] y[48][45] y[48][46] y[48][47] y[48][48] y[48][49] y[48][4] y[48][50] y[48][51] y[48][52] y[48][5] y[48][6] y[48][7] y[48][8] y[48][9] y[49][0] y[49][10] y[49][11] y[49][12] y[49][13] y[49][14] y[49][15] y[49][16] y[49][17] y[49][18] y[49][19] y[49][1] y[49][20] y[49][21] y[49][22] y[49][23] y[49][24] y[49][25] y[49][26] y[49][27] y[49][28] y[49][29] y[49][2] y[49][30] y[49][31] y[49][32] y[49][33] y[49][34] y[49][35] y[49][36] y[49][37] y[49][38] y[49][39] y[49][3] y[49][40] y[49][41] y[49][42] y[49][43] y[49][44] y[49][45] y[49][46] y[49][47] y[49][48] y[49][49] y[49][4] y[49][50] y[49][51] y[49][52] y[49][5] y[49][6] y[49][7] y[49][8] y[49][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][37] y[4][38] y[4][39] y[4][3] y[4][40] y[4][41] y[4][42] y[4][43] y[4][44] y[4][45] y[4][46] y[4][47] y[4][48] y[4][49] y[4][4] y[4][50] y[4][51] y[4][52] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[50][0] y[50][10] y[50][11] y[50][12] y[50][13] y[50][14] y[50][15] y[50][16] y[50][17] y[50][18] y[50][19] y[50][1] y[50][20] y[50][21] y[50][22] y[50][23] y[50][24] y[50][25] y[50][26] y[50][27] y[50][28] y[50][29] y[50][2] y[50][30] y[50][31] y[50][32] y[50][33] y[50][34] y[50][35] y[50][36] y[50][37] y[50][38] y[50][39] y[50][3] y[50][40] y[50][41] y[50][42] y[50][43] y[50][44] y[50][45] y[50][46] y[50][47] y[50][48] y[50][49] y[50][4] y[50][50] y[50][51] y[50][52] y[50][5] y[50][6] y[50][7] y[50][8] y[50][9] y[51][0] y[51][10] y[51][11] y[51][12] y[51][13] y[51][14] y[51][15] y[51][16] y[51][17] y[51][18] y[51][19] y[51][1] y[51][20] y[51][21] y[51][22] y[51][23] y[51][24] y[51][25] y[51][26] y[51][27] y[51][28] y[51][29] y[51][2] y[51][30] y[51][31] y[51][32] y[51][33] y[51][34] y[51][35] y[51][36] y[51][37] y[51][38] y[51][39] y[51][3] y[51][40] y[51][41] y[51][42] y[51][43] y[51][44] y[51][45] y[51][46] y[51][47] y[51][48] y[51][49] y[51][4] y[51][50] y[51][51] y[51][52] y[51][5] y[51][6] y[51][7] y[51][8] y[51][9] y[52][0] y[52][10] y[52][11] y[52][12] y[52][13] y[52][14] y[52][15] y[52][16] y[52][17] y[52][18] y[52][19] y[52][1] y[52][20] y[52][21] y[52][22] y[52][23] y[52][24] y[52][25] y[52][26] y[52][27] y[52][28] y[52][29] y[52][2] y[52][30] y[52][31] y[52][32] y[52][33] y[52][34] y[52][35] y[52][36] y[52][37] y[52][38] y[52][39] y[52][3] y[52][40] y[52][41] y[52][42] y[52][43] y[52][44] y[52][45] y[52][46] y[52][47] y[52][48] y[52][49] y[52][4] y[52][50] y[52][51] y[52][52] y[52][5] y[52][6] y[52][7] y[52][8] y[52][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][37] y[5][38] y[5][39] y[5][3] y[5][40] y[5][41] y[5][42] y[5][43] y[5][44] y[5][45] y[5][46] y[5][47] y[5][48] y[5][49] y[5][4] y[5][50] y[5][51] y[5][52] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][37] y[6][38] y[6][39] y[6][3] y[6][40] y[6][41] y[6][42] y[6][43] y[6][44] y[6][45] y[6][46] y[6][47] y[6][48] y[6][49] y[6][4] y[6][50] y[6][51] y[6][52] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][37] y[7][38] y[7][39] y[7][3] y[7][40] y[7][41] y[7][42] y[7][43] y[7][44] y[7][45] y[7][46] y[7][47] y[7][48] y[7][49] y[7][4] y[7][50] y[7][51] y[7][52] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][37] y[8][38] y[8][39] y[8][3] y[8][40] y[8][41] y[8][42] y[8][43] y[8][44] y[8][45] y[8][46] y[8][47] y[8][48] y[8][49] y[8][4] y[8][50] y[8][51] y[8][52] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][37] y[9][38] y[9][39] y[9][3] y[9][40] y[9][41] y[9][42] y[9][43] y[9][44] y[9][45] y[9][46] y[9][47] y[9][48] y[9][49] y[9][4] y[9][50] y[9][51] y[9][52] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list>
2400.02/2399.90	v <values>3 -3 0 -5 2 3 0 3 2 3 2 0 1 0 1 6 -1 -2 -1 -4 -1 -8 1 1 -6 1 0 -1 -4 3 2 3 0 -2 -1 2 1 -2 1 4 -1 -6 -1 4 -5 1 -2 -1 0 -5 2 5 -4 9 9 0 25 4 9 0 9 4 9 4 0 1 0 1 36 1 4 1 16 1 64 1 1 36 1 0 1 16 9 4 9 0 4 1 4 1 4 1 16 1 36 1 16 25 1 4 1 0 25 4 25 16 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 * * * * * * * -1 * * * 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 * * * * * * * * 1 * * * 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 * * * * * * * * * 1 * * * -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 * * * * * * * * * * -1 * * * 1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 * 1 * * * * * * * * * * 1 * * * 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 1 -1 -1 * * -1 * * * * * * * * * * 1 * * * -1 -1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 * * * -1 * * * * * * * * * * -1 * * * 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 * * * * 1 * * * * * * * * * * 1 * * * 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 * * * * * -1 * * * * * * * * * * 1 * * * 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 * * * * * * -1 * * * * * * * * * * 1 * * * 1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 * -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 * * * * * * * -1 * * * * * * * * * * 1 * * * 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 * * * * * * * * -1 * * * * * * * * * * 1 * * * -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * 1 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * -1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * -1 1 1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 -1 -1 * * -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 1 * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * 1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * 1 -1 1 1 -1 -1 1 1 -1 -1 -1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * 1 1 1 1 -1 1 -1 1 1 -1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 * * * 1 1 -1 1 1 -1 -1 -1 1 * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * -1 1 1 1 1 1 1 -1 * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * -1 1 1 -1 1 1 1 * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * -1 1 -1 -1 -1 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * -1 -1 -1 1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * 1 -1 1 1 * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * 1 1 1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * -1 1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * * -1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 * 1 * * * -1 -1 1 -1 1 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 * * -1 * * * 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 * * * 1 * * * -1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 * * * * -1 * * * 1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 * * * * * 1 * * * 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 * * * * * * 1 * * * -1 -1 -1 1 1 </values>
2400.02/2399.90	v </instantiation>
2400.02/2399.90	

OK	471

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4267087-1502607942/watcher-4267087-1502607942 -o /tmp/evaluation-result-4267087-1502607942/solver-4267087-1502607942 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502602207-1367 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4267087-1502607942.xml 

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

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

solver pid=2644, runsolver pid=2641

[startup+0.100151 s]*
/proc/loadavg: 2.11 2.07 2.06 3/188 2645
/proc/meminfo: memFree=31689088/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=30708 memory=7316 CPUtime=0.1 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 2001 0 0 0 10 0 0 0 20 0 1 0 93882049 31444992 1829 33554432000 4194304 5748600 140737066553120 140737066549768 5095464 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 7677 1829 775 380 0 1095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30708 KiB
Current children cumulated memory: 7316 KiB

[startup+0.209505 s]*
/proc/loadavg: 2.11 2.07 2.06 3/188 2645
/proc/meminfo: memFree=31686484/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=33248 memory=9856 CPUtime=0.21 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 2636 0 0 0 21 0 0 0 20 0 1 0 93882049 34045952 2464 33554432000 4194304 5748600 140737066553120 140737066546984 140365557713893 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 8312 2464 775 380 0 1730 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 9856 KiB

[startup+0.309083 s]*
/proc/loadavg: 2.11 2.07 2.06 3/188 2645
/proc/meminfo: memFree=31684252/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=35552 memory=12024 CPUtime=0.3 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 3215 0 0 0 30 0 0 0 20 0 1 0 93882049 36405248 3006 33554432000 4194304 5748600 140737066553120 140737066546984 140365557761952 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 8888 3006 775 380 0 2306 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 35552 KiB
Current children cumulated memory: 12024 KiB

[startup+0.700259 s]
/proc/loadavg: 2.11 2.07 2.06 4/188 2645
/proc/meminfo: memFree=31679416/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=44536 memory=21144 CPUtime=0.69 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 5448 0 0 0 69 0 0 0 20 0 1 0 93882049 45604864 5286 33554432000 4194304 5748600 140737066553120 140737066546984 140365558174700 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 11134 5286 775 380 0 4552 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 44536 KiB
Current children cumulated memory: 21144 KiB

[startup+1.50029 s]
/proc/loadavg: 2.11 2.07 2.06 4/188 2645
/proc/meminfo: memFree=31667884/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=63160 memory=39632 CPUtime=1.48 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 10111 0 0 0 147 1 0 0 20 0 1 0 93882049 64675840 9908 33554432000 4194304 5748600 140737066553120 140737066546680 140365557761952 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 15790 9908 775 380 0 9208 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 63160 KiB
Current children cumulated memory: 39632 KiB

[startup+3.10936 s]
/proc/loadavg: 2.10 2.07 2.06 4/188 2645
/proc/meminfo: memFree=31641392/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=78100 memory=54736 CPUtime=3.1 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 17827 0 0 0 307 3 0 0 20 0 1 0 93882049 79974400 13684 33554432000 4194304 5748600 140737066553120 140737066550648 5134921 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19525 13684 826 380 0 12943 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 78100 KiB
Current children cumulated memory: 54736 KiB

[startup+6.30028 s]
/proc/loadavg: 2.10 2.07 2.06 4/188 2645
/proc/meminfo: memFree=31640756/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=78632 memory=55464 CPUtime=6.29 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 22364 0 0 0 626 3 0 0 20 0 1 0 93882049 80519168 13866 33554432000 4194304 5748600 140737066553120 140737066550648 4972774 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19658 13866 826 380 0 13076 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 78632 KiB
Current children cumulated memory: 55464 KiB

[startup+12.7003 s]
/proc/loadavg: 2.09 2.07 2.06 4/188 2645
/proc/meminfo: memFree=31638200/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=78632 memory=55464 CPUtime=12.69 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 25772 0 0 0 1266 3 0 0 20 0 1 0 93882049 80519168 13866 33554432000 4194304 5748600 140737066553120 140737066550648 5000352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19658 13866 826 380 0 13076 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 78632 KiB
Current children cumulated memory: 55464 KiB

[startup+25.5003 s]
/proc/loadavg: 2.14 2.08 2.06 4/188 2645
/proc/meminfo: memFree=31637340/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=78632 memory=55464 CPUtime=25.49 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 32497 0 0 0 2545 4 0 0 20 0 1 0 93882049 80519168 13866 33554432000 4194304 5748600 140737066553120 140737066550648 5144169 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19658 13866 826 380 0 13076 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 78632 KiB
Current children cumulated memory: 55464 KiB

[startup+51.1092 s]
/proc/loadavg: 2.09 2.08 2.06 4/188 2645
/proc/meminfo: memFree=31636032/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=78632 memory=55464 CPUtime=51.1 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 35863 0 0 0 5106 4 0 0 20 0 1 0 93882049 80519168 13866 33554432000 4194304 5748600 140737066553120 140737066550648 4906593 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19658 13866 826 380 0 13076 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 78632 KiB
Current children cumulated memory: 55464 KiB

[startup+102.3 s]
/proc/loadavg: 2.04 2.07 2.05 4/188 2646
/proc/meminfo: memFree=31634920/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=78764 memory=55588 CPUtime=102.28 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 40079 0 0 0 10224 4 0 0 20 0 1 0 93882049 80654336 13897 33554432000 4194304 5748600 140737066553120 140737066540392 4940997 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19691 13897 826 380 0 13109 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 55588 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.05 2.05 4/188 2647
/proc/meminfo: memFree=31635988/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=78764 memory=55644 CPUtime=162.28 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 40298 0 0 0 16224 4 0 0 20 0 1 0 93882049 80654336 13911 33554432000 4194304 5748600 140737066553120 140737066550648 5025858 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19691 13911 826 380 0 13109 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 78764 KiB
Current children cumulated memory: 55644 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.05 4/187 2649
/proc/meminfo: memFree=31635748/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=78896 memory=55676 CPUtime=222.28 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 40512 0 0 0 22224 4 0 0 20 0 1 0 93882049 80789504 13919 33554432000 4194304 5748600 140737066553120 140737066540392 4941434 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19724 13919 826 380 0 13142 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 78896 KiB
Current children cumulated memory: 55676 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/187 2650
/proc/meminfo: memFree=31635716/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=78896 memory=55676 CPUtime=282.29 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 40512 0 0 0 28225 4 0 0 20 0 1 0 93882049 80789504 13919 33554432000 4194304 5748600 140737066553120 140737066540392 5025692 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19724 13919 826 380 0 13142 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 78896 KiB
Current children cumulated memory: 55676 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/187 2651
/proc/meminfo: memFree=31636060/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=78896 memory=55796 CPUtime=342.29 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 40734 0 0 0 34225 4 0 0 20 0 1 0 93882049 80789504 13949 33554432000 4194304 5748600 140737066553120 140737066550648 5025659 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19724 13949 826 380 0 13142 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 78896 KiB
Current children cumulated memory: 55796 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/187 2653
/proc/meminfo: memFree=31635796/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=78896 memory=55796 CPUtime=402.29 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 40734 0 0 0 40225 4 0 0 20 0 1 0 93882049 80789504 13949 33554432000 4194304 5748600 140737066553120 140737066550648 5025697 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19724 13949 826 380 0 13142 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 78896 KiB
Current children cumulated memory: 55796 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/187 2654
/proc/meminfo: memFree=31635520/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=78896 memory=55796 CPUtime=462.3 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 40876 0 0 0 46226 4 0 0 20 0 1 0 93882049 80789504 13949 33554432000 4194304 5748600 140737066553120 140737066550648 5122359 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19724 13949 826 380 0 13142 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 78896 KiB
Current children cumulated memory: 55796 KiB


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

/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 1662.37 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 2720
/proc/meminfo: memFree=31633048/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=1722.37 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 42522 0 0 0 172233 4 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 5025632 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 1722.37 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 2721
/proc/meminfo: memFree=31633648/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=1782.38 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 42677 0 0 0 178234 4 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 4954393 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/188 2722
/proc/meminfo: memFree=31633640/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=1842.38 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 42677 0 0 0 184234 4 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 5025692 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 1842.38 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 4/188 2723
/proc/meminfo: memFree=31633624/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=1902.39 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 42832 0 0 0 190235 4 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 4954365 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

[startup+1962.3 s]
/proc/loadavg: 2.05 2.04 2.05 4/188 2724
/proc/meminfo: memFree=31633716/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=1962.39 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 42836 0 0 0 196235 4 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 5025659 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 4/187 2726
/proc/meminfo: memFree=31633292/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=2022.39 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 42994 0 0 0 202235 4 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 4910127 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/187 2727
/proc/meminfo: memFree=31633368/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=2082.4 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 42994 0 0 0 208236 4 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 4940541 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 2082.4 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

[startup+2142.3 s]
/proc/loadavg: 2.04 2.04 2.05 4/187 2728
/proc/meminfo: memFree=31633196/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=2142.4 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 43152 0 0 0 214236 4 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 4940723 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 2142.4 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.03 2.05 4/187 2730
/proc/meminfo: memFree=31632916/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=2202.4 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 43153 0 0 0 220236 4 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 5025687 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 2202.4 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/187 2731
/proc/meminfo: memFree=31632908/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=2262.41 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 43310 0 0 0 226237 4 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 4973040 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/188 2740
/proc/meminfo: memFree=31631084/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=2322.41 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 43311 0 0 0 232237 4 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 4947628 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 2322.41 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

[startup+2382.3 s]
/proc/loadavg: 2.18 2.06 2.06 3/188 2802
/proc/meminfo: memFree=31764400/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=2382.42 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 43469 0 0 0 238237 5 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 4906251 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.9 s]
/proc/loadavg: 2.21 2.07 2.06 3/188 2802
/proc/meminfo: memFree=31764400/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=2400.02 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 43469 0 0 0 239997 5 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 4906760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

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

[startup+2399.9 s]
# the end of solver process 2644 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.98 s, system=0.050003 s

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

[startup+2399.9 s]
/proc/loadavg: 2.21 2.07 2.06 3/188 2802
/proc/meminfo: memFree=31764400/32770624 swapFree=67108860/67108860
[pid=2644] ppid=2641 vsize=79032 memory=55876 CPUtime=2400.02 cores=1,3,5,7
/proc/2644/stat : 2644 (cosoco) R 2641 2644 1335 0 -1 4202496 43469 0 0 0 239997 5 0 0 20 0 1 0 93882049 80928768 13969 33554432000 4194304 5748600 140737066553120 140737066540392 4906760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 7849824 7854664 8097792 140737066554559 140737066554654 140737066554654 140737066557390 0
/proc/2644/statm: 19758 13969 826 380 0 13176 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 79032 KiB
Current children cumulated memory: 55876 KiB

Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.03
CPU user time (s): 2399.98
CPU system time (s): 0.050003
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 79032
Max. memory (cumulated for all children) (KiB): 55876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.050003
maximum resident set size= 55944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43520
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= 31
involuntary context switches= 633


# summary of solver processes directly reported to runsolver:
#   pid: 2644
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2399.98
#   total CPU system time (s): 0.050003

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.79824 second user time and 15.3138 second system time

The end

Begin job on node112 at 2017-08-13 08:51:24
IDJOB=4267087
IDBENCH=127052
IDSOLVER=2657
FILE ID=node112/4267087-1502607942
RUNJOBID= node112-1502602207-1367
PBS_JOBID= 20628299
Free space on /tmp= 61788 MiB

SOLVER NAME= cosoco-mini 1.12
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-054.xml
COMMAND LINE= cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4267087-1502607942/watcher-4267087-1502607942 -o /tmp/evaluation-result-4267087-1502607942/solver-4267087-1502607942 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502602207-1367 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4267087-1502607942.xml

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

MD5SUM BENCH= d63f0cb62453ec1939b86e2392ab6ad9
RANDOM SEED=183211766

node112.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.24
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.24
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.24
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.24
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:        31693384 kB
MemAvailable:   31859320 kB
Buffers:          107748 kB
Cached:           338936 kB
SwapCached:            0 kB
Active:           502704 kB
Inactive:         122040 kB
Active(anon):     129260 kB
Inactive(anon):    76720 kB
Active(file):     373444 kB
Inactive(file):    45320 kB
Unevictable:        6280 kB
Mlocked:            6280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1980 kB
Writeback:             0 kB
AnonPages:        183860 kB
Mapped:            44728 kB
Shmem:             25224 kB
Slab:             151324 kB
SReclaimable:     126012 kB
SUnreclaim:        25312 kB
KernelStack:        3584 kB
PageTables:         5452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     476108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61784 MiB
End job on node112 at 2017-08-13 09:31:24