14.58/14.63	c SAT : Variables: 127652 -- Clauses: 181454648
14.58/14.63	c best=?? lower=0 upper=1369 
40.78/40.82	c
40.78/40.82	c This is cosoco 1.0 --  
40.78/40.82	c
40.78/40.82	c enable optimization
40.78/40.82	c ========================================[ Problem Statistics ]===========================================
40.78/40.82	c |                                                                                                       
40.78/40.82	c |  Parse time        :        13.03 s 
40.78/40.82	c |
40.78/40.82	c |               Variables: 3082
40.78/40.82	c |            Domain Sizes: 2..3043
40.78/40.82	c |
40.78/40.82	c |             Constraints: 1900
40.78/40.82	c |                   Arity: 1..41  -- Unary: 157  -- Binary: 187  -- Ternary: 148
40.78/40.82	c | 
40.78/40.82	c |                   Types: 
40.78/40.82	c |                          : 144
40.78/40.82	c |                          Extension: 1373  (nb tuples: 1..724) -- (shared: 1512)
40.78/40.82	c |                          Intension: 187
40.78/40.82	c |                          Sum: 40
40.78/40.82	c |                          Unary: 156
40.78/40.82	c |                          
40.78/40.82	c =========================================================================================================
40.78/40.82	o 11
40.78/40.82	c    1 calls to solver: best=11 lower=12 upper=1369 
41.37/41.48	o 12
42.07/42.15	o 13
42.07/42.15	c    3 calls to solver: best=13 lower=14 upper=1369 
44.36/44.41	o 14
50.57/50.67	o 18
50.57/50.67	c    5 calls to solver: best=18 lower=19 upper=1369 
72.26/72.30	o 20
73.36/73.40	o 21
73.36/73.40	c    7 calls to solver: best=21 lower=22 upper=1369 
84.06/84.18	o 22
85.76/85.81	o 24
85.76/85.81	c    9 calls to solver: best=24 lower=25 upper=1369 
87.35/87.46	o 27
271.30/271.40	o 28
271.30/271.40	c   11 calls to solver: best=28 lower=29 upper=1369 
273.09/273.21	o 37
274.00/274.13	o 38
274.00/274.13	c   13 calls to solver: best=38 lower=39 upper=1369 
276.60/276.73	o 41
279.09/279.25	o 44
279.09/279.25	c   15 calls to solver: best=44 lower=45 upper=1369 
282.09/282.22	o 65
283.10/283.21	o 66
283.10/283.21	c   17 calls to solver: best=66 lower=67 upper=1369 
284.40/284.51	o 67
285.79/285.99	o 68
285.79/285.99	c   19 calls to solver: best=68 lower=69 upper=1369 
289.39/289.52	o 70
291.79/291.95	o 76
291.79/291.95	c   21 calls to solver: best=76 lower=77 upper=1369 
298.19/298.32	o 77
300.99/301.16	o 87
300.99/301.16	c   23 calls to solver: best=87 lower=88 upper=1369 
360.06/360.25	o 91
375.86/376.00	o 103
375.86/376.00	c   25 calls to solver: best=103 lower=104 upper=1369 
610.26/610.55	o 104
616.55/616.81	o 106
616.55/616.81	c   27 calls to solver: best=106 lower=107 upper=1369 
2400.01/2401.00	
2400.01/2401.00	c *** INTERRUPTED ***
2400.01/2401.00	s SATISFIABLE
2400.01/2401.00	c Best value found: 106
2400.01/2401.00	
2400.01/2401.00	
2400.01/2401.00	v <instantiation type='solution' cost='106'>
2400.01/2401.00	v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] z </list>
2400.01/2401.00	v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1

ERROR: no instantiation found

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-4239954-1500633462/watcher-4239954-1500633462 -o /tmp/evaluation-result-4239954-1500633462/solver-4239954-1500633462 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17719 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4239954-1500633462.xml 

pid=20989
running on 8 cores: 0,2,4,6,8,10,12,14

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.01 2.05 2/242 20992
/proc/meminfo: memFree=30901640/32770624 swapFree=6792/310084
[pid=20992] ppid=20989 vsize=27252 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 994 0 0 0 0 0 0 0 20 0 1 0 16760535 27906048 801 33554432000 4194304 5970956 140721084893648 140721084890296 140010221853669 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 6813 801 698 434 0 177 0

[startup+0.100116 s]
/proc/loadavg: 2.00 2.01 2.05 2/242 20992
/proc/meminfo: memFree=30901640/32770624 swapFree=6792/310084
[pid=20992] ppid=20989 vsize=51840 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 7240 0 0 0 8 0 0 0 20 0 1 0 16760535 53084160 7074 33554432000 4194304 5970956 140721084893648 140721084885984 140010231663185 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 12960 7074 792 434 0 6324 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 51840

[startup+0.200296 s]
/proc/loadavg: 2.00 2.01 2.05 2/242 20992
/proc/meminfo: memFree=30901640/32770624 swapFree=6792/310084
[pid=20992] ppid=20989 vsize=54144 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 7822 0 0 0 18 1 0 0 20 0 1 0 16760535 55443456 7653 33554432000 4194304 5970956 140721084893648 140721084887480 140010221901728 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 13536 7653 792 434 0 6900 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 54144

[startup+0.300218 s]
/proc/loadavg: 2.00 2.01 2.05 2/242 20992
/proc/meminfo: memFree=30901640/32770624 swapFree=6792/310084
[pid=20992] ppid=20989 vsize=63764 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 10265 0 0 0 28 1 0 0 20 0 1 0 16760535 65294336 10043 33554432000 4194304 5970956 140721084893648 140721084887480 140010221853669 0 0 4096 0 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 15974 10109 810 434 0 9338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 63764

[startup+0.700237 s]
/proc/loadavg: 2.00 2.01 2.05 2/242 20992
/proc/meminfo: memFree=30901640/32770624 swapFree=6792/310084
[pid=20992] ppid=20989 vsize=315928 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 40597 0 0 0 63 6 0 0 20 0 1 0 16760535 323510272 59308 33554432000 4194304 5970956 140721084893648 140721084890472 5279679 0 0 4096 8404994 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 78982 59308 839 434 0 72346 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 315928

[startup+1.50024 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 20993
/proc/meminfo: memFree=30477276/32770624 swapFree=6792/310416
[pid=20992] ppid=20989 vsize=737048 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 86179 0 0 0 133 16 0 0 20 0 1 0 16760535 754737152 153472 33554432000 4194304 5970956 140721084893648 140721084890472 140010221853669 0 0 4096 8404994 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 184262 153472 839 434 0 177626 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 737048

[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 20993
/proc/meminfo: memFree=29961612/32770624 swapFree=6792/310416
[pid=20992] ppid=20989 vsize=1794608 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 183908 0 0 0 274 35 0 0 20 0 1 0 16760535 1837678592 339563 33554432000 4194304 5970956 140721084893648 140721084890472 5279833 0 0 4096 8404994 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 448652 339563 839 434 0 442016 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1794608

[startup+6.30023 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 20993
/proc/meminfo: memFree=28432052/32770624 swapFree=6792/310464
[pid=20992] ppid=20989 vsize=3143228 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 356781 0 0 0 561 67 0 0 20 0 1 0 16760535 3218665472 709384 33554432000 4194304 5970956 140721084893648 140721084890472 5251805 0 0 4096 8404994 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 785807 709384 839 434 0 779171 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 3143228

[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/243 20993
/proc/meminfo: memFree=25434532/32770624 swapFree=6792/310472
[pid=20992] ppid=20989 vsize=7290332 CPUtime=12.68 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 694192 0 0 0 1129 139 0 0 20 0 1 0 16760535 7465299968 1431368 33554432000 4194304 5970956 140721084893648 140721084890472 5251849 0 0 4096 8404994 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1822583 1431368 839 434 0 1815947 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7290332

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/243 20993
/proc/meminfo: memFree=24272384/32770624 swapFree=6792/310480
[pid=20992] ppid=20989 vsize=7706320 CPUtime=25.48 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 815701 0 0 0 2387 161 0 0 20 0 1 0 16760535 7891271680 1654911 33554432000 4194304 5970956 140721084893648 140721084890472 4930544 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1926580 1654911 855 434 0 1919944 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7706320

[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/243 20993
/proc/meminfo: memFree=24240452/32770624 swapFree=6792/310500
[pid=20992] ppid=20989 vsize=7736304 CPUtime=51.07 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 884253 0 0 0 4942 165 0 0 20 0 1 0 16760535 7921975296 1662882 33554432000 4194304 5970956 140721084893648 140721084880952 4964366 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1934076 1662882 857 434 0 1927440 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 7736304

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/243 20994
/proc/meminfo: memFree=24233444/32770624 swapFree=6792/310548
[pid=20992] ppid=20989 vsize=7740840 CPUtime=102.26 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 912902 0 0 0 10059 167 0 0 20 0 1 0 16760535 7926620160 1664513 33554432000 4194304 5970956 140721084893648 140721084891208 5039204 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1935210 1664513 857 434 0 1928574 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 7740840

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/245 21004
/proc/meminfo: memFree=24228332/32770624 swapFree=6792/310568
[pid=20992] ppid=20989 vsize=7744116 CPUtime=162.23 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1001702 0 0 0 16052 171 0 0 20 0 1 0 16760535 7929974784 1665849 33554432000 4194304 5970956 140721084893648 140721084890984 5098928 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1936029 1665849 857 434 0 1929393 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 7744116

[startup+222.308 s]
/proc/loadavg: 2.00 2.00 2.04 3/245 21005
/proc/meminfo: memFree=24221112/32770624 swapFree=6792/310604
[pid=20992] ppid=20989 vsize=7747232 CPUtime=222.23 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1058521 0 0 0 22048 175 0 0 20 0 1 0 16760535 7933165568 1667656 33554432000 4194304 5970956 140721084893648 140721084890360 4930611 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1936808 1667656 857 434 0 1930172 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 7747232

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/245 21006
/proc/meminfo: memFree=24215344/32770624 swapFree=6792/310652
[pid=20992] ppid=20989 vsize=7752164 CPUtime=282.19 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1158761 0 0 0 28040 179 0 0 20 0 1 0 16760535 7938215936 1669382 33554432000 4194304 5970956 140721084893648 140721084891208 5337492 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938041 1669382 857 434 0 1931405 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 7752164

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/245 21007
/proc/meminfo: memFree=24211004/32770624 swapFree=6792/310712
[pid=20992] ppid=20989 vsize=7754156 CPUtime=342.17 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1246232 0 0 0 34033 184 0 0 20 0 1 0 16760535 7940255744 1670376 33554432000 4194304 5970956 140721084893648 140721084890984 4964366 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938539 1670376 857 434 0 1931903 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 7754156

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/245 21008
/proc/meminfo: memFree=24208228/32770624 swapFree=6792/310768
[pid=20992] ppid=20989 vsize=7754716 CPUtime=402.15 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1325958 0 0 0 40027 188 0 0 20 0 1 0 16760535 7940829184 1671025 33554432000 4194304 5970956 140721084893648 140721084880952 4930650 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938679 1671025 857 434 0 1932043 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 7754716

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/244 21009
/proc/meminfo: memFree=24206444/32770624 swapFree=6792/310812
[pid=20992] ppid=20989 vsize=7754716 CPUtime=462.13 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1349605 0 0 0 46024 189 0 0 20 0 1 0 16760535 7940829184 1671025 33554432000 4194304 5970956 140721084893648 140721084880952 4930580 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938679 1671025 857 434 0 1932043 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 7754716

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/243 21010
/proc/meminfo: memFree=24206980/32770624 swapFree=6792/310828
[pid=20992] ppid=20989 vsize=7754716 CPUtime=522.11 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1376165 0 0 0 52020 191 0 0 20 0 1 0 16760535 7940829184 1671025 33554432000 4194304 5970956 140721084893648 140721084880952 4930611 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938679 1671025 857 434 0 1932043 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 7754716

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/244 21012
/proc/meminfo: memFree=24204080/32770624 swapFree=6792/310880
[pid=20992] ppid=20989 vsize=7754716 CPUtime=582.06 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1440094 0 0 0 58013 193 0 0 20 0 1 0 16760535 7940829184 1671025 33554432000 4194304 5970956 140721084893648 140721084880952 4930611 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938679 1671025 857 434 0 1932043 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 7754716


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


[startup+1542.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/245 21135
/proc/meminfo: memFree=21327580/32770624 swapFree=6792/311712
[pid=20992] ppid=20989 vsize=7755100 CPUtime=1541.66 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1837994 0 0 0 153950 216 0 0 20 0 1 0 16760535 7941222400 1672150 33554432000 4194304 5970956 140721084893648 140721084890984 5337501 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672150 857 434 0 1932139 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 7755100

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/245 21136
/proc/meminfo: memFree=21328300/32770624 swapFree=6792/311748
[pid=20992] ppid=20989 vsize=7755100 CPUtime=1601.63 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1854669 0 0 0 159946 217 0 0 20 0 1 0 16760535 7941222400 1672150 33554432000 4194304 5970956 140721084893648 140721084890984 4930560 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672150 857 434 0 1932139 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 7755100

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 21137
/proc/meminfo: memFree=21328876/32770624 swapFree=6792/311792
[pid=20992] ppid=20989 vsize=7755100 CPUtime=1661.6 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1867444 0 0 0 165942 218 0 0 20 0 1 0 16760535 7941222400 1672150 33554432000 4194304 5970956 140721084893648 140721084890984 5038388 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672150 857 434 0 1932139 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 7755100

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/243 21138
/proc/meminfo: memFree=21328796/32770624 swapFree=6792/311816
[pid=20992] ppid=20989 vsize=7755100 CPUtime=1721.58 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1875106 0 0 0 171940 218 0 0 20 0 1 0 16760535 7941222400 1672150 33554432000 4194304 5970956 140721084893648 140721084890984 5038725 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672150 857 434 0 1932139 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 7755100

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/243 21139
/proc/meminfo: memFree=21328500/32770624 swapFree=6792/311852
[pid=20992] ppid=20989 vsize=7755100 CPUtime=1781.55 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1881534 0 0 0 177936 219 0 0 20 0 1 0 16760535 7941222400 1672150 33554432000 4194304 5970956 140721084893648 140721084890984 4930611 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672150 857 434 0 1932139 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 7755100

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 21140
/proc/meminfo: memFree=21328404/32770624 swapFree=6792/311892
[pid=20992] ppid=20989 vsize=7755100 CPUtime=1841.53 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1897529 0 0 0 183933 220 0 0 20 0 1 0 16760535 7941222400 1672156 33554432000 4194304 5970956 140721084893648 140721084890984 5038624 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672156 857 434 0 1932139 0
Current children cumulated CPU time (s) 1841.53
Current children cumulated vsize (KiB) 7755100

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 21141
/proc/meminfo: memFree=21328960/32770624 swapFree=6792/311924
[pid=20992] ppid=20989 vsize=7755100 CPUtime=1901.51 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1905677 0 0 0 189930 221 0 0 20 0 1 0 16760535 7941222400 1672156 33554432000 4194304 5970956 140721084893648 140721084890984 4930611 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672156 857 434 0 1932139 0
Current children cumulated CPU time (s) 1901.51
Current children cumulated vsize (KiB) 7755100

[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 21150
/proc/meminfo: memFree=21328808/32770624 swapFree=6792/311976
[pid=20992] ppid=20989 vsize=7755100 CPUtime=1961.48 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1918270 0 0 0 195926 222 0 0 20 0 1 0 16760535 7941222400 1672156 33554432000 4194304 5970956 140721084893648 140721084890984 5039637 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672156 857 434 0 1932139 0
Current children cumulated CPU time (s) 1961.48
Current children cumulated vsize (KiB) 7755100

[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 21151
/proc/meminfo: memFree=21328712/32770624 swapFree=6792/312016
[pid=20992] ppid=20989 vsize=7755100 CPUtime=2021.46 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1926712 0 0 0 201923 223 0 0 20 0 1 0 16760535 7941222400 1672156 33554432000 4194304 5970956 140721084893648 140721084890984 4964355 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672156 857 434 0 1932139 0
Current children cumulated CPU time (s) 2021.46
Current children cumulated vsize (KiB) 7755100

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 21152
/proc/meminfo: memFree=21329104/32770624 swapFree=6792/312044
[pid=20992] ppid=20989 vsize=7755100 CPUtime=2081.43 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1942047 0 0 0 207920 223 0 0 20 0 1 0 16760535 7941222400 1672158 33554432000 4194304 5970956 140721084893648 140721084890984 5337501 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672158 857 434 0 1932139 0
Current children cumulated CPU time (s) 2081.43
Current children cumulated vsize (KiB) 7755100

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 21153
/proc/meminfo: memFree=21328644/32770624 swapFree=6792/312068
[pid=20992] ppid=20989 vsize=7755100 CPUtime=2141.41 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1946613 0 0 0 213917 224 0 0 20 0 1 0 16760535 7941222400 1672158 33554432000 4194304 5970956 140721084893648 140721084890984 5337501 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672158 857 434 0 1932139 0
Current children cumulated CPU time (s) 2141.41
Current children cumulated vsize (KiB) 7755100

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 21154
/proc/meminfo: memFree=21328316/32770624 swapFree=6792/312096
[pid=20992] ppid=20989 vsize=7755100 CPUtime=2201.4 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1951028 0 0 0 219915 225 0 0 20 0 1 0 16760535 7941222400 1672158 33554432000 4194304 5970956 140721084893648 140721084890984 4930611 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672158 857 434 0 1932139 0
Current children cumulated CPU time (s) 2201.4
Current children cumulated vsize (KiB) 7755100

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 21155
/proc/meminfo: memFree=21328796/32770624 swapFree=6792/312140
[pid=20992] ppid=20989 vsize=7755100 CPUtime=2261.36 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1966145 0 0 0 225910 226 0 0 20 0 1 0 16760535 7941222400 1672158 33554432000 4194304 5970956 140721084893648 140721084890984 5069712 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672158 857 434 0 1932139 0
Current children cumulated CPU time (s) 2261.36
Current children cumulated vsize (KiB) 7755100

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 21156
/proc/meminfo: memFree=21329016/32770624 swapFree=6792/312172
[pid=20992] ppid=20989 vsize=7755100 CPUtime=2321.34 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1971008 0 0 0 231907 227 0 0 20 0 1 0 16760535 7941222400 1672158 33554432000 4194304 5970956 140721084893648 140721084890984 5272627 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672158 857 434 0 1932139 0
Current children cumulated CPU time (s) 2321.34
Current children cumulated vsize (KiB) 7755100

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 21157
/proc/meminfo: memFree=21329136/32770624 swapFree=6792/312208
[pid=20992] ppid=20989 vsize=7755100 CPUtime=2381.32 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1978428 0 0 0 237904 228 0 0 20 0 1 0 16760535 7941222400 1672158 33554432000 4194304 5970956 140721084893648 140721084890984 4930611 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938775 1672158 857 434 0 1932139 0
Current children cumulated CPU time (s) 2381.32
Current children cumulated vsize (KiB) 7755100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 21157
/proc/meminfo: memFree=21329104/32770624 swapFree=6792/312212
[pid=20992] ppid=20989 vsize=7755200 CPUtime=2400.01 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202496 1988202 0 0 0 239772 229 0 0 20 0 1 0 16760535 7941324800 1672161 33554432000 4194304 5970956 140721084893648 140721084890984 4934366 0 0 4096 8405026 0 0 0 17 8 0 0 0 0 0 8070896 8075904 30851072 140721084900540 140721084900675 140721084900675 140721084903374 0
/proc/20992/statm: 1938800 1672161 857 434 0 1932164 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 7755200

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

[startup+2401.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 21157
/proc/meminfo: memFree=21329104/32770624 swapFree=6792/312212
[pid=20992] ppid=20989 vsize=0 CPUtime=2400.1 cores=0,2,4,6,8,10,12,14
/proc/20992/stat : 20992 (cosoco) R 20989 20992 17688 0 -1 4202500 1988233 0 0 0 239772 238 0 0 20 0 1 0 16760535 0 0 33554432000 0 0 0 0 0 0 16384 4096 8405026 18446744073709551615 0 0 17 8 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/20992/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 2401.17
CPU time (s): 2400.18
CPU user time (s): 2397.72
CPU system time (s): 2.45805
CPU usage (%): 99.9589
Max. virtual memory (cumulated for all children) (KiB): 7755200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.72
system time used= 2.45805
maximum resident set size= 6688684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1988233
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= 118
involuntary context switches= 123060

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.6117 second user time and 11.4724 second system time

The end

Begin job on node112 at 2017-07-21 12:37:42
IDJOB=4239954
IDBENCH=115896
IDSOLVER=2621
FILE ID=node112/4239954-1500633462
RUNJOBID= node112-1500623784-17719
PBS_JOBID= 20623019
Free space on /tmp= 62020 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-37.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4239954-1500633462/watcher-4239954-1500633462 -o /tmp/evaluation-result-4239954-1500633462/solver-4239954-1500633462 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node112-1500623784-17719 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4239954-1500633462.xml

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

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=412586388

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.09
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.09
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.09
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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	: 5334.09
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 5334.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 5334.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 5334.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 5334.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        30901688 kB
MemAvailable:   31154272 kB
Buffers:          138304 kB
Cached:           394236 kB
SwapCached:            0 kB
Active:          1105484 kB
Inactive:         318852 kB
Active(anon):     894724 kB
Inactive(anon):     8768 kB
Active(file):     210760 kB
Inactive(file):   310084 kB
Unevictable:        6792 kB
Mlocked:            6800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2348 kB
Writeback:             0 kB
AnonPages:        898132 kB
Mapped:            34100 kB
Shmem:              8848 kB
Slab:             128108 kB
SReclaimable:      95148 kB
SUnreclaim:        32960 kB
KernelStack:        4272 kB
PageTables:         7168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1178152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    825344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62020 MiB
End job on node112 at 2017-07-21 13:17:43