1.63/1.72	c best=?? lower=-51039 upper=0 
1.63/1.77	c
1.63/1.77	c This is cosoco 1.12 --  
1.63/1.77	c
1.63/1.77	c command line: cosoco -lc -model -restarts HOME/instance-4267677-1502533234.xml 
1.63/1.77	c enable optimization
1.63/1.77	c ========================================[ Problem Statistics ]===========================================
1.63/1.77	c |                                                                                                       
1.63/1.77	c |  Parse time        :         1.64 s 
1.63/1.77	c |
1.63/1.77	c |               Variables: 2969
1.63/1.77	c |            Domain Sizes: 2..107
1.63/1.77	c |
1.63/1.77	c |             Constraints: 1538
1.63/1.77	c |                   Arity: 2..54  -- Binary: 54  -- Ternary: 1432
1.63/1.77	c | 
1.63/1.77	c |                   Types: 
1.63/1.77	c |                          Intension: 1484
1.63/1.77	c |                          Sum: 54
1.63/1.77	c |                          
1.63/1.77	c =========================================================================================================
1.63/1.77	o -23591
1.63/1.77	c    1 calls to solver: best=-23591 lower=-23590 upper=0 
1.73/1.81	o -22815
1.73/1.85	o -6111
1.73/1.85	c    3 calls to solver: best=-6111 lower=-6110 upper=0 
1.73/1.89	o -4639
1.83/1.94	o -4495
1.83/1.94	c    5 calls to solver: best=-4495 lower=-4494 upper=0 
1.93/2.01	o -3367
2.33/2.49	o -3031
2.33/2.49	c    7 calls to solver: best=-3031 lower=-3030 upper=0 
2.52/2.60	o -1999
2.63/2.71	o -1983
2.63/2.71	c    9 calls to solver: best=-1983 lower=-1982 upper=0 
2.63/2.78	o -1871
2.83/2.94	o -1847
2.83/2.94	c   11 calls to solver: best=-1847 lower=-1846 upper=0 
3.43/3.56	o -1455
3.53/3.61	o -1447
3.53/3.61	c   13 calls to solver: best=-1447 lower=-1446 upper=0 
3.53/3.65	o -1439
3.63/3.70	o -1343
3.63/3.70	c   15 calls to solver: best=-1343 lower=-1342 upper=0 
3.63/3.77	o -1215
3.93/4.01	o -1087
3.93/4.01	c   17 calls to solver: best=-1087 lower=-1086 upper=0 
4.03/4.19	o -967
100.04/100.17	o -927
100.04/100.17	c   19 calls to solver: best=-927 lower=-926 upper=0 
119.84/119.94	o -919
121.43/121.52	o -879
121.43/121.52	c   21 calls to solver: best=-879 lower=-878 upper=0 
128.74/128.83	o -871
140.43/140.51	o -839
140.43/140.51	c   23 calls to solver: best=-839 lower=-838 upper=0 
149.02/149.16	o -831
224.91/225.08	o -591
224.91/225.08	c   25 calls to solver: best=-591 lower=-590 upper=0 
319.91/320.01	o -567
480.51/480.63	o -471
480.51/480.63	c   27 calls to solver: best=-471 lower=-470 upper=0 
2519.98/2520.00	
2519.98/2520.00	c *** INTERRUPTED ***
2519.98/2520.00	c restarts              : 76          
2519.98/2520.00	c conflicts             : 1404146      (557 /sec)
2519.98/2520.00	c decisions             : 22887278     (9082 /sec)
2519.98/2520.00	c propagations          : 1709311059  (678315 /sec)
2519.98/2520.00	c root propagations     : 7313        
2519.98/2520.00	c filter calls          : 2120158678     (841354 /sec)
2519.98/2520.00	c useless filter calls  : 1098308110     (51 %)
2519.98/2520.00	c Memory used           : 77.38 MB
2519.98/2520.00	c CPU time              : 2519.94 s
2519.98/2520.00	
2519.98/2520.00	c nb Solutions = 27
2519.98/2520.00	s SATISFIABLE
2519.98/2520.00	c Best value found: -471
2519.98/2520.00	
2519.98/2520.00	
2519.98/2520.00	v <instantiation type='solution' cost='-471'>
2519.98/2520.00	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>
2519.98/2520.00	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>
2519.98/2520.00	v </instantiation>
2519.98/2520.00	

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-4267677-1502533234/watcher-4267677-1502533234 -o /tmp/evaluation-result-4267677-1502533234/solver-4267677-1502533234 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1543 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267677-1502533234.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.92 2.00 2.04 3/185 8854
/proc/meminfo: memFree=30633832/32770624 swapFree=0/483060
[pid=8854] ppid=8851 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/8854/stat : 8854 (runsolver) D 8851 8854 1478 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 95234614 24240128 106 18446744073709551615 4194304 4338465 140721907394576 140721907392216 139963203588823 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 30953472 140721907396802 140721907397193 140721907397193 140721907400650 0
/proc/8854/statm: 5918 106 53 36 0 2156 0

[startup+0.100203 s]
/proc/loadavg: 1.92 2.00 2.04 3/185 8854
/proc/meminfo: memFree=30633832/32770624 swapFree=0/483060
[pid=8854] ppid=8851 vsize=29364 CPUtime=0.03 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 1560 0 0 0 3 0 0 0 20 0 1 0 95234614 30068736 1373 18446744073709551615 4194304 5972588 140730157152112 140730157148760 5674551 0 0 1 0 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 7341 1373 712 435 0 704 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29364

[startup+0.200305 s]
/proc/loadavg: 1.92 2.00 2.04 3/185 8854
/proc/meminfo: memFree=30633832/32770624 swapFree=0/483060
[pid=8854] ppid=8851 vsize=31580 CPUtime=0.13 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 2178 0 0 0 13 0 0 0 20 0 1 0 95234614 32337920 2003 18446744073709551615 4194304 5972588 140730157152112 140730157148760 140201470683719 0 0 1 0 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 7895 2003 788 435 0 1258 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 31580

[startup+0.300293 s]
/proc/loadavg: 1.92 2.00 2.04 3/185 8854
/proc/meminfo: memFree=30633832/32770624 swapFree=0/483060
[pid=8854] ppid=8851 vsize=33868 CPUtime=0.23 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 2751 0 0 0 23 0 0 0 20 0 1 0 95234614 34680832 2576 18446744073709551615 4194304 5972588 140730157152112 140730157148760 5211531 0 0 1 0 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 8467 2576 788 435 0 1830 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 33868

[startup+0.700286 s]
/proc/loadavg: 1.92 2.00 2.04 3/185 8854
/proc/meminfo: memFree=30633832/32770624 swapFree=0/483060
[pid=8854] ppid=8851 vsize=43064 CPUtime=0.63 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 5050 0 0 0 62 1 0 0 20 0 1 0 95234614 44097536 4875 18446744073709551615 4194304 5972588 140730157152112 140730157145912 140201460922272 0 0 1 0 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 10766 4875 788 435 0 4129 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 43064

[startup+1.50028 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 8855
/proc/meminfo: memFree=30608744/32770624 swapFree=0/483060
[pid=8854] ppid=8851 vsize=61492 CPUtime=1.43 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 9637 0 0 0 141 2 0 0 20 0 1 0 95234614 62967808 9447 18446744073709551615 4194304 5972588 140730157152112 140730157145912 140201460869950 0 0 1 0 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 15373 9447 788 435 0 8736 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 61492

[startup+3.1003 s]
/proc/loadavg: 1.92 2.00 2.04 3/186 8855
/proc/meminfo: memFree=30584316/32770624 swapFree=0/483056
[pid=8854] ppid=8851 vsize=78284 CPUtime=3.03 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 17869 0 0 0 300 3 0 0 20 0 1 0 95234614 80162816 13722 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5139319 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19571 13722 845 435 0 12934 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 78284

[startup+6.30029 s]
/proc/loadavg: 1.85 1.98 2.03 3/186 8855
/proc/meminfo: memFree=30581612/32770624 swapFree=0/483056
[pid=8854] ppid=8851 vsize=78820 CPUtime=6.23 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 22390 0 0 0 620 3 0 0 20 0 1 0 95234614 80711680 13887 18446744073709551615 4194304 5972588 140730157152112 140730157149560 5039193 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19705 13887 845 435 0 13068 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 78820

[startup+12.7003 s]
/proc/loadavg: 1.86 1.98 2.03 3/186 8855
/proc/meminfo: memFree=30581240/32770624 swapFree=0/483056
[pid=8854] ppid=8851 vsize=78820 CPUtime=12.63 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 25794 0 0 0 1260 3 0 0 20 0 1 0 95234614 80711680 13887 18446744073709551615 4194304 5972588 140730157152112 140730157149560 5338173 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19705 13887 845 435 0 13068 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 78820

[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 2.03 3/186 8856
/proc/meminfo: memFree=30581364/32770624 swapFree=0/483048
[pid=8854] ppid=8851 vsize=78820 CPUtime=25.43 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 32491 0 0 0 2539 4 0 0 20 0 1 0 95234614 80711680 13887 18446744073709551615 4194304 5972588 140730157152112 140730157149560 5338181 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19705 13887 845 435 0 13068 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 78820

[startup+51.1003 s]
/proc/loadavg: 1.93 1.99 2.03 3/186 8856
/proc/meminfo: memFree=30581452/32770624 swapFree=0/483048
[pid=8854] ppid=8851 vsize=78820 CPUtime=51.03 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 35847 0 0 0 5099 4 0 0 20 0 1 0 95234614 80711680 13887 18446744073709551615 4194304 5972588 140730157152112 140730157149560 5139327 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19705 13887 845 435 0 13068 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 78820

[startup+102.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/186 8858
/proc/meminfo: memFree=30581788/32770624 swapFree=0/483068
[pid=8854] ppid=8851 vsize=78960 CPUtime=102.24 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 40341 0 0 0 10220 4 0 0 20 0 1 0 95234614 80855040 13918 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5046424 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19740 13918 845 435 0 13103 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 78960

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/186 8860
/proc/meminfo: memFree=30580876/32770624 swapFree=0/483080
[pid=8854] ppid=8851 vsize=78960 CPUtime=162.21 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 44795 0 0 0 16217 4 0 0 20 0 1 0 95234614 80855040 13933 18446744073709551615 4194304 5972588 140730157152112 140730157149560 4965975 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19740 13933 845 435 0 13103 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 78960

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/189 8876
/proc/meminfo: memFree=30576760/32770624 swapFree=0/483096
[pid=8854] ppid=8851 vsize=78960 CPUtime=222.22 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 45258 0 0 0 22218 4 0 0 20 0 1 0 95234614 80855040 13940 18446744073709551615 4194304 5972588 140730157152112 140730157149560 5320633 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19740 13940 845 435 0 13103 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 78960

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 8879
/proc/meminfo: memFree=30576792/32770624 swapFree=0/483104
[pid=8854] ppid=8851 vsize=79092 CPUtime=282.21 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 45909 0 0 0 28217 4 0 0 20 0 1 0 95234614 80990208 13953 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5099648 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19773 13953 845 435 0 13136 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 79092

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 8881
/proc/meminfo: memFree=30580528/32770624 swapFree=0/483120
[pid=8854] ppid=8851 vsize=79092 CPUtime=342.21 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 46537 0 0 0 34217 4 0 0 20 0 1 0 95234614 80990208 13970 18446744073709551615 4194304 5972588 140730157152112 140730157149560 4965382 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19773 13970 845 435 0 13136 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 79092

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 8883
/proc/meminfo: memFree=30581032/32770624 swapFree=0/483132
[pid=8854] ppid=8851 vsize=79092 CPUtime=402.21 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 47028 0 0 0 40217 4 0 0 20 0 1 0 95234614 80990208 13970 18446744073709551615 4194304 5972588 140730157152112 140730157149560 5338173 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19773 13970 845 435 0 13136 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 79092

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 8886
/proc/meminfo: memFree=30580980/32770624 swapFree=0/483140
[pid=8854] ppid=8851 vsize=79092 CPUtime=462.21 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 47510 0 0 0 46217 4 0 0 20 0 1 0 95234614 80990208 13970 18446744073709551615 4194304 5972588 140730157152112 140730157149560 5071456 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19773 13970 845 435 0 13136 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 79092

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 8888
/proc/meminfo: memFree=30580960/32770624 swapFree=0/483156
[pid=8854] ppid=8851 vsize=79228 CPUtime=522.22 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 48168 0 0 0 52218 4 0 0 20 0 1 0 95234614 81129472 13974 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5053069 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13974 845 435 0 13170 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 79228

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/186 8890
/proc/meminfo: memFree=30580908/32770624 swapFree=0/483168
[pid=8854] ppid=8851 vsize=79228 CPUtime=582.22 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 48658 0 0 0 58218 4 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5039214 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 79228


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


[startup+1602.3 s]
/proc/loadavg: 2.07 2.07 2.05 3/187 9020
/proc/meminfo: memFree=31082120/32770624 swapFree=0/483396
[pid=8854] ppid=8851 vsize=79228 CPUtime=1602.25 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 52330 0 0 0 160220 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 4966114 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 79228

[startup+1662.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/187 9022
/proc/meminfo: memFree=31081748/32770624 swapFree=0/483408
[pid=8854] ppid=8851 vsize=79228 CPUtime=1662.25 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 52546 0 0 0 166220 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5041538 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 79228

[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/185 9025
/proc/meminfo: memFree=31081908/32770624 swapFree=0/483416
[pid=8854] ppid=8851 vsize=79228 CPUtime=1722.25 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 52761 0 0 0 172220 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5338173 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 79228

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/185 9027
/proc/meminfo: memFree=31081536/32770624 swapFree=0/483424
[pid=8854] ppid=8851 vsize=79228 CPUtime=1782.26 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 52978 0 0 0 178221 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5328717 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 79228

[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 9029
/proc/meminfo: memFree=31081636/32770624 swapFree=0/483440
[pid=8854] ppid=8851 vsize=79228 CPUtime=1842.26 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 53194 0 0 0 184221 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5328506 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 1842.26
Current children cumulated vsize (KiB) 79228

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 9032
/proc/meminfo: memFree=31081632/32770624 swapFree=0/483452
[pid=8854] ppid=8851 vsize=79228 CPUtime=1902.26 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 53410 0 0 0 190221 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5053097 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 1902.26
Current children cumulated vsize (KiB) 79228

[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 9034
/proc/meminfo: memFree=31081512/32770624 swapFree=0/483456
[pid=8854] ppid=8851 vsize=79228 CPUtime=1962.26 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 53626 0 0 0 196221 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 4965669 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 1962.26
Current children cumulated vsize (KiB) 79228

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 9050
/proc/meminfo: memFree=31078336/32770624 swapFree=0/483484
[pid=8854] ppid=8851 vsize=79228 CPUtime=2022.26 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 53842 0 0 0 202221 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5338173 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 2022.26
Current children cumulated vsize (KiB) 79228

[startup+2082.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/190 9053
/proc/meminfo: memFree=31077816/32770624 swapFree=0/483496
[pid=8854] ppid=8851 vsize=79228 CPUtime=2082.27 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 54058 0 0 0 208222 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5071764 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 2082.27
Current children cumulated vsize (KiB) 79228

[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 9055
/proc/meminfo: memFree=31081896/32770624 swapFree=0/483504
[pid=8854] ppid=8851 vsize=79228 CPUtime=2142.27 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 54274 0 0 0 214222 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5139324 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 2142.27
Current children cumulated vsize (KiB) 79228

[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 9058
/proc/meminfo: memFree=31081416/32770624 swapFree=0/483516
[pid=8854] ppid=8851 vsize=79228 CPUtime=2202.28 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 54490 0 0 0 220223 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5041546 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 2202.28
Current children cumulated vsize (KiB) 79228

[startup+2262.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/186 9060
/proc/meminfo: memFree=31081672/32770624 swapFree=0/483528
[pid=8854] ppid=8851 vsize=79228 CPUtime=2262.27 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 54706 0 0 0 226222 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5071501 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 2262.27
Current children cumulated vsize (KiB) 79228

[startup+2322.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/186 9062
/proc/meminfo: memFree=31081556/32770624 swapFree=0/483532
[pid=8854] ppid=8851 vsize=79228 CPUtime=2322.27 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 54922 0 0 0 232222 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5139327 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 2322.27
Current children cumulated vsize (KiB) 79228

[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/186 9065
/proc/meminfo: memFree=31081680/32770624 swapFree=0/483544
[pid=8854] ppid=8851 vsize=79228 CPUtime=2382.28 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 55138 0 0 0 238223 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5139319 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 2382.28
Current children cumulated vsize (KiB) 79228

[startup+2442.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/186 9067
/proc/meminfo: memFree=31081680/32770624 swapFree=0/483552
[pid=8854] ppid=8851 vsize=79228 CPUtime=2442.28 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 55354 0 0 0 244223 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 4909594 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 2442.28
Current children cumulated vsize (KiB) 79228

[startup+2502.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 9069
/proc/meminfo: memFree=31082316/32770624 swapFree=0/483572
[pid=8854] ppid=8851 vsize=79228 CPUtime=2502.28 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 55570 0 0 0 250223 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 4966031 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 2502.28
Current children cumulated vsize (KiB) 79228



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 9070
/proc/meminfo: memFree=31082788/32770624 swapFree=0/483580
[pid=8854] ppid=8851 vsize=79228 CPUtime=2519.98 cores=0,2,4,6
/proc/8854/stat : 8854 (cosoco) R 8851 8854 1478 0 -1 4202496 55786 0 0 0 251993 5 0 0 20 0 1 0 95234614 81129472 13989 18446744073709551615 4194304 5972588 140730157152112 140730157139304 5320524 0 0 1 8405026 0 0 0 17 2 0 0 5 0 0 8070896 8075904 9351168 140730157158894 140730157158989 140730157158989 140730157162446 0
/proc/8854/statm: 19807 13989 845 435 0 13170 0
Current children cumulated CPU time (s) 2519.98
Current children cumulated vsize (KiB) 79228

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 8854 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520
CPU time (s): 2519.99
CPU user time (s): 2519.94
CPU system time (s): 0.050001
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 79228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.94
system time used= 0.050001
maximum resident set size= 56028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55838
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= 3157

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.70126 second user time and 8.91437 second system time

The end

Begin job on node135 at 2017-08-12 12:06:39
IDJOB=4267677
IDBENCH=127052
IDSOLVER=2658
FILE ID=node135/4267677-1502533234
RUNJOBID= node135-1502500348-1543
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 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-4267677-1502533234/watcher-4267677-1502533234 -o /tmp/evaluation-result-4267677-1502533234/solver-4267677-1502533234 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502500348-1543 --watchdog 2580  cosoco -lc -model -restarts HOME/instance-4267677-1502533234.xml

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

MD5SUM BENCH= d63f0cb62453ec1939b86e2392ab6ad9
RANDOM SEED=230335859

node135.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.21
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.21
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.21
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.21
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:        30634636 kB
MemAvailable:   31468628 kB
Buffers:          303484 kB
Cached:           821132 kB
SwapCached:            0 kB
Active:          1178228 kB
Inactive:         516200 kB
Active(anon):     570096 kB
Inactive(anon):    33140 kB
Active(file):     608132 kB
Inactive(file):   483060 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2276 kB
Writeback:             4 kB
AnonPages:        569332 kB
Mapped:            53968 kB
Shmem:             33464 kB
Slab:             144544 kB
SReclaimable:     117272 kB
SUnreclaim:        27272 kB
KernelStack:        3312 kB
PageTables:         6300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     836860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    514048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 62028 MiB
End job on node135 at 2017-08-12 12:48:40