1.57/1.71	c best=?? lower=-51039 upper=0 
1.57/1.76	c
1.57/1.76	c This is cosoco 1.1 --  
1.57/1.76	c
1.57/1.76	c command line: cosoco -lc -model -restarts HOME/instance-4259906-1502027560.xml 
1.57/1.76	c enable optimization
1.57/1.76	c ========================================[ Problem Statistics ]===========================================
1.57/1.76	c |                                                                                                       
1.57/1.76	c |  Parse time        :         1.58 s 
1.57/1.76	c |
1.57/1.76	c |               Variables: 2969
1.57/1.76	c |            Domain Sizes: 2..107
1.57/1.76	c |
1.57/1.76	c |             Constraints: 1538
1.57/1.76	c |                   Arity: 2..54  -- Binary: 54  -- Ternary: 1432
1.57/1.76	c | 
1.57/1.76	c |                   Types: 
1.57/1.76	c |                          Intension: 1484
1.57/1.76	c |                          Sum: 54
1.57/1.76	c |                          
1.57/1.76	c =========================================================================================================
1.57/1.76	o -23591
1.57/1.76	c    1 calls to solver: best=-23591 lower=-23590 upper=0 
1.68/1.81	o -22815
1.68/1.86	o -6111
1.68/1.86	c    3 calls to solver: best=-6111 lower=-6110 upper=0 
1.77/1.90	o -4639
1.77/1.94	o -4495
1.77/1.94	c    5 calls to solver: best=-4495 lower=-4494 upper=0 
1.87/2.02	o -3367
2.37/2.54	o -3031
2.37/2.54	c    7 calls to solver: best=-3031 lower=-3030 upper=0 
2.47/2.66	o -1999
2.57/2.77	o -1983
2.57/2.77	c    9 calls to solver: best=-1983 lower=-1982 upper=0 
2.67/2.85	o -1871
2.87/3.02	o -1847
2.87/3.02	c   11 calls to solver: best=-1847 lower=-1846 upper=0 
3.47/3.69	o -1455
3.57/3.74	o -1447
3.57/3.74	c   13 calls to solver: best=-1447 lower=-1446 upper=0 
3.57/3.79	o -1439
3.67/3.84	o -1343
3.67/3.84	c   15 calls to solver: best=-1343 lower=-1342 upper=0 
3.77/3.91	o -1215
3.98/4.18	o -1087
3.98/4.18	c   17 calls to solver: best=-1087 lower=-1086 upper=0 
4.17/4.37	o -967
93.35/93.52	o -927
93.35/93.52	c   19 calls to solver: best=-927 lower=-926 upper=0 
111.64/111.86	o -919
113.15/113.30	o -879
113.15/113.30	c   21 calls to solver: best=-879 lower=-878 upper=0 
119.94/120.16	o -871
130.94/131.19	o -839
130.94/131.19	c   23 calls to solver: best=-839 lower=-838 upper=0 
139.34/139.52	o -831
214.63/214.82	o -591
214.63/214.82	c   25 calls to solver: best=-591 lower=-590 upper=0 
309.03/309.26	o -567
468.51/468.79	o -471
468.51/468.79	c   27 calls to solver: best=-471 lower=-470 upper=0 
2400.06/2400.40	
2400.06/2400.40	c *** INTERRUPTED ***
2400.06/2400.40	c restarts              : 76          
2400.06/2400.40	c conflicts             : 1369687      (571 /sec)
2400.06/2400.40	c decisions             : 21574000     (8989 /sec)
2400.06/2400.40	c propagations          : 1659674622  (691525 /sec)
2400.06/2400.40	c root propagations     : 7313        
2400.06/2400.40	c filter calls          : 2025580162     (843984 /sec)
2400.06/2400.40	c useless filter calls  : 1036954719     (51 %)
2400.06/2400.40	c Memory used           : 77.18 MB
2400.06/2400.40	c CPU time              : 2400.02 s
2400.06/2400.40	
2400.06/2400.40	c nb Solutions = 27
2400.06/2400.40	s SATISFIABLE
2400.06/2400.40	c Best value found: -471
2400.06/2400.40	
2400.06/2400.40	
2400.06/2400.40	v <instantiation type='solution' cost='-471'>
2400.06/2400.40	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.06/2400.40	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.06/2400.40	v </instantiation>
2400.06/2400.40	

OK	471

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259906-1502027560/watcher-4259906-1502027560 -o /tmp/evaluation-result-4259906-1502027560/solver-4259906-1502027560 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22616 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259906-1502027560.xml 

pid=24754
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.05 3/180 24757
/proc/meminfo: memFree=31703440/32770624 swapFree=0/343220
[pid=24757] ppid=24754 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24757/stat : 24757 (runsolver) D 24754 24757 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4951792 24240128 106 18446744073709551615 4194304 4338465 140727730641792 140727730639432 139995611677399 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 21929984 140727730643138 140727730643530 140727730643530 140727730646986 0
/proc/24757/statm: 5918 106 53 36 0 2156 0

[startup+0.10015 s]
/proc/loadavg: 2.00 2.02 2.05 3/180 24757
/proc/meminfo: memFree=31703440/32770624 swapFree=0/343220
[pid=24757] ppid=24754 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/24757/stat : 24757 (runsolver) D 24754 24757 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 4951792 24240128 106 18446744073709551615 4194304 4338465 140727730641792 140727730639432 139995611677399 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 21929984 140727730643138 140727730643530 140727730643530 140727730646986 0
/proc/24757/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.201019 s]
/proc/loadavg: 2.00 2.02 2.05 3/180 24757
/proc/meminfo: memFree=31703440/32770624 swapFree=0/343220
[pid=24757] ppid=24754 vsize=30184 CPUtime=0.08 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 1873 0 0 0 8 0 0 0 20 0 1 0 4951792 30908416 1697 18446744073709551615 4194304 5747388 140724101747072 140724101740936 140676369699709 0 0 1 0 0 0 0 17 6 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 7546 1697 773 380 0 964 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30184

[startup+0.301017 s]
/proc/loadavg: 2.00 2.02 2.05 3/180 24757
/proc/meminfo: memFree=31703440/32770624 swapFree=0/343220
[pid=24757] ppid=24754 vsize=32604 CPUtime=0.17 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 2470 0 0 0 17 0 0 0 20 0 1 0 4951792 33386496 2301 18446744073709551615 4194304 5747388 140724101747072 140724101740936 140676379331072 0 0 1 0 0 0 0 17 6 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 8151 2301 773 380 0 1569 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 32604

[startup+0.700176 s]
/proc/loadavg: 2.00 2.02 2.05 3/180 24757
/proc/meminfo: memFree=31703440/32770624 swapFree=0/343220
[pid=24757] ppid=24754 vsize=42096 CPUtime=0.58 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 4851 0 0 0 57 1 0 0 20 0 1 0 4951792 43106304 4675 18446744073709551615 4194304 5747388 140724101747072 140724101740936 140676370632915 0 0 1 0 0 0 0 17 0 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 10524 4675 773 380 0 3942 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 42096

[startup+1.50017 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 24758
/proc/meminfo: memFree=31678740/32770624 swapFree=0/343520
[pid=24757] ppid=24754 vsize=61184 CPUtime=1.37 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 9616 0 0 0 136 1 0 0 20 0 1 0 4951792 62652416 9446 18446744073709551615 4194304 5747388 140724101747072 140724101740936 5065811 0 0 1 0 0 0 0 17 0 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 15296 9446 773 380 0 8714 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 61184

[startup+3.10018 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 24758
/proc/meminfo: memFree=31654188/32770624 swapFree=0/343520
[pid=24757] ppid=24754 vsize=78100 CPUtime=2.97 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 17827 0 0 0 295 2 0 0 20 0 1 0 4951792 79974400 13685 18446744073709551615 4194304 5747388 140724101747072 140724101734344 5133696 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19525 13685 828 380 0 12943 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 78100

[startup+6.30018 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 24758
/proc/meminfo: memFree=31649524/32770624 swapFree=0/343220
[pid=24757] ppid=24754 vsize=78632 CPUtime=6.17 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 22359 0 0 0 614 3 0 0 20 0 1 0 4951792 80519168 13869 18446744073709551615 4194304 5747388 140724101747072 140724101744600 4995232 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19658 13869 828 380 0 13076 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 78632

[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 24758
/proc/meminfo: memFree=31649524/32770624 swapFree=0/343228
[pid=24757] ppid=24754 vsize=78632 CPUtime=12.56 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 25057 0 0 0 1253 3 0 0 20 0 1 0 4951792 80519168 13869 18446744073709551615 4194304 5747388 140724101747072 140724101744600 5121272 0 0 1 8405026 0 0 0 17 0 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19658 13869 828 380 0 13076 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 78632

[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 24759
/proc/meminfo: memFree=31649332/32770624 swapFree=0/343244
[pid=24757] ppid=24754 vsize=78632 CPUtime=25.35 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 29862 0 0 0 2532 3 0 0 20 0 1 0 4951792 80519168 13869 18446744073709551615 4194304 5747388 140724101747072 140724101744600 4972509 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19658 13869 828 380 0 13076 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 78632

[startup+51.1003 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 24759
/proc/meminfo: memFree=31650656/32770624 swapFree=0/343256
[pid=24757] ppid=24754 vsize=78632 CPUtime=50.95 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 29989 0 0 0 5092 3 0 0 20 0 1 0 4951792 80519168 13873 18446744073709551615 4194304 5747388 140724101747072 140724101744600 4972509 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19658 13873 828 380 0 13076 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 78632

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/185 24776
/proc/meminfo: memFree=31646248/32770624 swapFree=0/343324
[pid=24757] ppid=24754 vsize=78764 CPUtime=102.15 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 30155 0 0 0 10212 3 0 0 20 0 1 0 4951792 80654336 13873 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4941174 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19691 13873 828 380 0 13109 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 78764

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/185 24778
/proc/meminfo: memFree=31646384/32770624 swapFree=0/343392
[pid=24757] ppid=24754 vsize=78764 CPUtime=162.13 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 30347 0 0 0 16210 3 0 0 20 0 1 0 4951792 80654336 13914 18446744073709551615 4194304 5747388 140724101747072 140724101744600 5025407 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19691 13914 828 380 0 13109 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 78764

[startup+222.306 s]
/proc/loadavg: 2.09 2.03 2.05 3/182 24780
/proc/meminfo: memFree=31649904/32770624 swapFree=0/343424
[pid=24757] ppid=24754 vsize=78896 CPUtime=222.14 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 30540 0 0 0 22211 3 0 0 20 0 1 0 4951792 80789504 13922 18446744073709551615 4194304 5747388 140724101747072 140724101734344 5025392 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19724 13922 828 380 0 13142 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 78896

[startup+282.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/182 25220
/proc/meminfo: memFree=31650856/32770624 swapFree=0/343672
[pid=24757] ppid=24754 vsize=78896 CPUtime=282.12 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 30695 0 0 0 28209 3 0 0 20 0 1 0 4951792 80789504 13936 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4905955 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19724 13936 828 380 0 13142 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 78896

[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 25222
/proc/meminfo: memFree=31650840/32770624 swapFree=0/343760
[pid=24757] ppid=24754 vsize=78896 CPUtime=342.12 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 30899 0 0 0 34209 3 0 0 20 0 1 0 4951792 80789504 13952 18446744073709551615 4194304 5747388 140724101747072 140724101744600 4905927 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19724 13952 828 380 0 13142 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 78896

[startup+402.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 25224
/proc/meminfo: memFree=31650740/32770624 swapFree=0/343808
[pid=24757] ppid=24754 vsize=78896 CPUtime=402.11 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 31063 0 0 0 40208 3 0 0 20 0 1 0 4951792 80789504 13952 18446744073709551615 4194304 5747388 140724101747072 140724101744600 5025404 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19724 13952 828 380 0 13142 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 78896

[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 25226
/proc/meminfo: memFree=31650556/32770624 swapFree=0/343860
[pid=24757] ppid=24754 vsize=78896 CPUtime=462.11 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 31226 0 0 0 46208 3 0 0 20 0 1 0 4951792 80789504 13952 18446744073709551615 4194304 5747388 140724101747072 140724101744600 4940147 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19724 13952 828 380 0 13142 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 78896

[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 25350
/proc/meminfo: memFree=31650208/32770624 swapFree=0/343948
[pid=24757] ppid=24754 vsize=79032 CPUtime=522.1 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 31463 0 0 0 52207 3 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 5121146 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 79032

[startup+582.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/181 25352
/proc/meminfo: memFree=31649812/32770624 swapFree=0/344032
[pid=24757] ppid=24754 vsize=79032 CPUtime=582.1 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 31637 0 0 0 58207 3 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4942478 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 79032


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


[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 25437
/proc/meminfo: memFree=31646656/32770624 swapFree=0/344720
[pid=24757] ppid=24754 vsize=79032 CPUtime=1482.02 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 34241 0 0 0 148199 3 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4940624 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 79032

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 25440
/proc/meminfo: memFree=31646408/32770624 swapFree=0/344748
[pid=24757] ppid=24754 vsize=79032 CPUtime=1542.03 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 34416 0 0 0 154199 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4940608 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 79032

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 25441
/proc/meminfo: memFree=31647256/32770624 swapFree=0/344796
[pid=24757] ppid=24754 vsize=79032 CPUtime=1602.02 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 34590 0 0 0 160198 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 5025409 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 79032

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25443
/proc/meminfo: memFree=31647144/32770624 swapFree=0/344824
[pid=24757] ppid=24754 vsize=79032 CPUtime=1662.02 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 34764 0 0 0 166198 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 5121272 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 79032

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 25445
/proc/meminfo: memFree=31647568/32770624 swapFree=0/344860
[pid=24757] ppid=24754 vsize=79032 CPUtime=1722.01 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 34940 0 0 0 172197 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4972775 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 79032

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 25447
/proc/meminfo: memFree=31646920/32770624 swapFree=0/344888
[pid=24757] ppid=24754 vsize=79032 CPUtime=1782.01 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 35115 0 0 0 178197 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4941162 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 79032

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25449
/proc/meminfo: memFree=31647256/32770624 swapFree=0/344924
[pid=24757] ppid=24754 vsize=79032 CPUtime=1842 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 35290 0 0 0 184196 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 5000080 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 1842
Current children cumulated vsize (KiB) 79032

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 25466
/proc/meminfo: memFree=31642720/32770624 swapFree=0/344988
[pid=24757] ppid=24754 vsize=79032 CPUtime=1902 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 35465 0 0 0 190196 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4995226 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 79032

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 25468
/proc/meminfo: memFree=31643168/32770624 swapFree=0/345020
[pid=24757] ppid=24754 vsize=79032 CPUtime=1961.99 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 35641 0 0 0 196195 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 5142941 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 1961.99
Current children cumulated vsize (KiB) 79032

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 25470
/proc/meminfo: memFree=31646300/32770624 swapFree=0/345064
[pid=24757] ppid=24754 vsize=79032 CPUtime=2021.99 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 35817 0 0 0 202195 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4906006 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 2021.99
Current children cumulated vsize (KiB) 79032

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 25472
/proc/meminfo: memFree=31646768/32770624 swapFree=0/345092
[pid=24757] ppid=24754 vsize=79032 CPUtime=2081.99 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 35992 0 0 0 208195 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 5142941 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 2081.99
Current children cumulated vsize (KiB) 79032

[startup+2142.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 25474
/proc/meminfo: memFree=31646644/32770624 swapFree=0/345128
[pid=24757] ppid=24754 vsize=79032 CPUtime=2141.98 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 36169 0 0 0 214194 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4941599 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 79032

[startup+2202.31 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 25476
/proc/meminfo: memFree=31647388/32770624 swapFree=0/345168
[pid=24757] ppid=24754 vsize=79032 CPUtime=2201.98 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 36346 0 0 0 220194 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4909876 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 79032

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 25478
/proc/meminfo: memFree=31647420/32770624 swapFree=0/345196
[pid=24757] ppid=24754 vsize=79032 CPUtime=2261.97 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 36523 0 0 0 226193 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 5025392 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 2261.97
Current children cumulated vsize (KiB) 79032

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25480
/proc/meminfo: memFree=31647528/32770624 swapFree=0/345228
[pid=24757] ppid=24754 vsize=79032 CPUtime=2321.96 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 36700 0 0 0 232192 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4873643 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 2321.96
Current children cumulated vsize (KiB) 79032

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25482
/proc/meminfo: memFree=31646904/32770624 swapFree=0/345256
[pid=24757] ppid=24754 vsize=79032 CPUtime=2381.96 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 36877 0 0 0 238192 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4906286 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 2381.96
Current children cumulated vsize (KiB) 79032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 25483
/proc/meminfo: memFree=31646888/32770624 swapFree=0/345276
[pid=24757] ppid=24754 vsize=79032 CPUtime=2400.06 cores=0,2,4,6
/proc/24757/stat : 24757 (cosoco) R 24754 24757 21827 0 -1 4202496 37053 0 0 0 240002 4 0 0 20 0 1 0 4951792 80928768 13972 18446744073709551615 4194304 5747388 140724101747072 140724101734344 4905989 0 0 1 8405026 0 0 0 17 2 0 0 11 0 0 7845728 7850568 30679040 140724101755375 140724101755470 140724101755470 140724101758926 0
/proc/24757/statm: 19758 13972 828 380 0 13176 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 79032

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24757 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2400.4
CPU time (s): 2400.06
CPU user time (s): 2400.02
CPU system time (s): 0.040996
CPU usage (%): 99.9859
Max. virtual memory (cumulated for all children) (KiB): 79032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.040996
maximum resident set size= 55956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37104
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= 35
involuntary context switches= 3013

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7336 second user time and 8.49565 second system time

The end

Begin job on node126 at 2017-08-06 15:38:42
IDJOB=4259906
IDBENCH=127052
IDSOLVER=2647
FILE ID=node126/4259906-1502027560
RUNJOBID= node126-1502014384-22616
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco-mini 1.1
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-4259906-1502027560/watcher-4259906-1502027560 -o /tmp/evaluation-result-4259906-1502027560/solver-4259906-1502027560 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502014384-22616 --watchdog 2560  cosoco -lc -model -restarts HOME/instance-4259906-1502027560.xml

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

MD5SUM BENCH= d63f0cb62453ec1939b86e2392ab6ad9
RANDOM SEED=527098380

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31704076 kB
MemAvailable:   32023980 kB
Buffers:          122400 kB
Cached:           478932 kB
SwapCached:            0 kB
Active:           309348 kB
Inactive:         351744 kB
Active(anon):      60576 kB
Inactive(anon):     8524 kB
Active(file):     248772 kB
Inactive(file):   343220 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1868 kB
Writeback:             0 kB
AnonPages:         59924 kB
Mapped:            30976 kB
Shmem:              8868 kB
Slab:             111848 kB
SReclaimable:      87492 kB
SUnreclaim:        24356 kB
KernelStack:        3200 kB
PageTables:         4444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     302416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 62028 MiB
End job on node126 at 2017-08-06 16:18:43