0.51/0.60	c best=?? lower=0 upper=81781 
479.36/479.44	c
479.36/479.44	c This is cosoco 1.12 --  
479.36/479.44	c
479.36/479.44	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4292987-1532302777.xml 
479.36/479.44	c enable optimization
479.36/479.44	c ========================================[ Problem Statistics ]===========================================
479.36/479.44	c |                                                                                                       
479.36/479.44	c |  Parse time        :         0.57 s 
479.36/479.44	c |
479.36/479.44	c |               Variables: 2678
479.36/479.44	c |            Domain Sizes: 1..51
479.36/479.44	c |
479.36/479.44	c |             Constraints: 6909
479.36/479.44	c |                   Arity: 1..532  -- Unary: 100  -- Binary: 2382  -- Ternary: 2340
479.36/479.44	c | 
479.36/479.44	c |                   Types: 
479.36/479.44	c |                          At least: 1140
479.36/479.44	c |                          Exactly K variable: 546
479.36/479.44	c |                          Extension: 1546  (nb tuples: 0..51) -- (shared: 1485)
479.36/479.44	c |                          Intension: 836
479.36/479.44	c |                          MDD: 2590
479.36/479.44	c |                          Sum: 151
479.36/479.44	c |                          Unary: 100
479.36/479.44	c |                          
479.36/479.44	c |               Objective: Minimize Sum
479.36/479.44	
479.36/479.44	c =========================================================================================================
479.36/479.44	o 37778
479.36/479.44	c    1 calls to solver: best=37778 lower=0 upper=37777 
2519.77/2520.00	
2519.77/2520.00	c *** INTERRUPTED ***
2519.77/2520.00	c restarts              : 94          
2519.77/2520.00	c conflicts             : 7590999      (3013 /sec)
2519.77/2520.00	c decisions             : 19535189     (7753 /sec)
2519.77/2520.00	c propagations          : 383679489   (152273 /sec)
2519.77/2520.00	c root propagations     : 11355       
2519.77/2520.00	c filter calls          : 1038283628     (412068 /sec)
2519.77/2520.00	c useless filter calls  : 801156761      (77 %)
2519.77/2520.00	c Memory used           : 148.70 MB
2519.77/2520.00	c CPU time              : 2519.69 s
2519.77/2520.00	
2519.77/2520.00	c nb Solutions = 1
2519.77/2520.00	s SATISFIABLE
2519.77/2520.00	c Best value found: 37778
2519.77/2520.00	
2519.77/2520.00	
2519.77/2520.00	v <instantiation type='solution' cost='37778'>
2519.77/2520.00	v <list>cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[0][5] cc[0][6] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[10][5] cc[10][6] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[11][5] cc[11][6] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[12][5] cc[12][6] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[13][5] cc[13][6] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[14][5] cc[14][6] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[15][5] cc[15][6] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[16][5] cc[16][6] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[17][5] cc[17][6] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[18][5] cc[18][6] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[19][5] cc[19][6] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[1][5] cc[1][6] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[20][5] cc[20][6] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[21][5] cc[21][6] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[22][5] cc[22][6] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[23][5] cc[23][6] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[24][5] cc[24][6] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[25][5] cc[25][6] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[26][5] cc[26][6] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] cc[27][5] cc[27][6] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[2][5] cc[2][6] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[3][5] cc[3][6] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[4][5] cc[4][6] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[5][5] cc[5][6] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[6][5] cc[6][6] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[7][5] cc[7][6] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[8][5] cc[8][6] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[9][5] cc[9][6] cf[0] cf[100] cf[101] cf[102] cf[103] cf[104] cf[105] cf[106] cf[107] cf[108] cf[109] cf[10] cf[110] cf[111] cf[112] cf[113] cf[114] cf[115] cf[116] cf[117] cf[118] cf[119] cf[11] cf[120] cf[121] cf[122] cf[123] cf[124] cf[125] cf[126] cf[127] cf[128] cf[129] cf[12] cf[130] cf[131] cf[132] cf[133] cf[134] cf[135] cf[136] cf[137] cf[138] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[19] cf[1] cf[20] cf[21] cf[22] cf[23] cf[24] cf[25] cf[26] cf[27] cf[28] cf[29] cf[2] cf[30] cf[31] cf[32] cf[33] cf[34] cf[35] cf[36] cf[37] cf[38] cf[39] cf[3] cf[40] cf[41] cf[42] cf[43] cf[44] cf[45] cf[46] cf[47] cf[48] cf[49] cf[4] cf[50] cf[51] cf[52] cf[53] cf[54] cf[55] cf[56] cf[57] cf[58] cf[59] cf[5] cf[60] cf[61] cf[62] cf[63] cf[64] cf[65] cf[66] cf[67] cf[68] cf[69] cf[6] cf[70] cf[71] cf[72] cf[73] cf[74] cf[75] cf[76] cf[77] cf[78] cf[79] cf[7] cf[80] cf[81] cf[82] cf[83] cf[84] cf[85] cf[86] cf[87] cf[88] cf[89] cf[8] cf[90] cf[91] cf[92] cf[93] cf[94] cf[95] cf[96] cf[97] cf[98] cf[99] cf[9] cn[0] cn[100] cn[101] cn[102] cn[103] cn[104] cn[105] cn[106] cn[107] cn[108] cn[109] cn[10] cn[110] cn[111] cn[112] cn[113] cn[114] cn[115] cn[116] cn[117] cn[118] cn[119] cn[11] cn[120] cn[121] cn[122] cn[123] cn[124] cn[125] cn[126] cn[127] cn[128] cn[129] cn[12] cn[130] cn[131] cn[132] cn[133] cn[134] cn[135] cn[136] cn[137] cn[138] cn[139] cn[13] cn[140] cn[141] cn[142] cn[143] cn[144] cn[145] cn[146] cn[147] cn[148] cn[149] cn[14] cn[150] cn[151] cn[152] cn[153] cn[154] cn[155] cn[156] cn[157] cn[158] cn[159] cn[15] cn[160] cn[161] cn[162] cn[163] cn[164] cn[165] cn[166] cn[167] cn[168] cn[169] cn[16] cn[170] cn[171] cn[172] cn[173] cn[174] cn[175] cn[176] cn[177] cn[178] cn[179] cn[17] cn[180] cn[181] cn[182] cn[183] cn[184] cn[185] cn[186] cn[187] cn[188] cn[189] cn[18] cn[190] cn[191] cn[192] cn[193] cn[194] cn[195] cn[196] cn[19] cn[1] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[2] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[3] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[4] cn[50] cn[51] cn[52] cn[53] cn[54] cn[55] cn[56] cn[57] cn[58] cn[59] cn[5] cn[60] cn[61] cn[62] cn[63] cn[64] cn[65] cn[66] cn[67] cn[68] cn[69] cn[6] cn[70] cn[71] cn[72] cn[73] cn[74] cn[75] cn[76] cn[77] cn[78] cn[79] cn[7] cn[80] cn[81] cn[82] cn[83] cn[84] cn[85] cn[86] cn[87] cn[88] cn[89] cn[8] cn[90] cn[91] cn[92] cn[93] cn[94] cn[95] cn[96] cn[97] cn[98] cn[99] cn[9] ds[0][0] ds[0][1] ds[0][2] ds[0][3] ds[0][4] ds[0][5] ds[0][6] ds[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[10][5] ds[10][6] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[11][5] ds[11][6] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[12][5] ds[12][6] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[13][5] ds[13][6] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[14][5] ds[14][6] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[15][5] ds[15][6] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[16][5] ds[16][6] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[17][5] ds[17][6] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[18][5] ds[18][6] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[19][5] ds[19][6] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[1][5] ds[1][6] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[20][5] ds[20][6] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[21][5] ds[21][6] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[22][5] ds[22][6] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[23][5] ds[23][6] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[24][5] ds[24][6] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[25][5] ds[25][6] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[26][5] ds[26][6] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] ds[27][5] ds[27][6] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[2][5] ds[2][6] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[3][5] ds[3][6] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[4][5] ds[4][6] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[5][5] ds[5][6] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[6][5] ds[6][6] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[7][5] ds[7][6] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[8][5] ds[8][6] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[9][5] ds[9][6] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[0][5] ps[0][6] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[10][5] ps[10][6] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[11][5] ps[11][6] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[12][5] ps[12][6] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[13][5] ps[13][6] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[14][5] ps[14][6] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[15][5] ps[15][6] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[16][5] ps[16][6] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[17][5] ps[17][6] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[18][5] ps[18][6] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[19][5] ps[19][6] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[1][5] ps[1][6] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[20][5] ps[20][6] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[21][5] ps[21][6] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[22][5] ps[22][6] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[23][5] ps[23][6] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[24][5] ps[24][6] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[25][5] ps[25][6] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[26][5] ps[26][6] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[27][5] ps[27][6] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[28][5] ps[28][6] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[29][5] ps[29][6] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[2][5] ps[2][6] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[30][5] ps[30][6] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[31][5] ps[31][6] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[32][5] ps[32][6] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[33][5] ps[33][6] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[34][5] ps[34][6] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ps[35][5] ps[35][6] ps[36][0] ps[36][1] ps[36][2] ps[36][3] ps[36][4] ps[36][5] ps[36][6] ps[37][0] ps[37][1] ps[37][2] ps[37][3] ps[37][4] ps[37][5] ps[37][6] ps[38][0] ps[38][1] ps[38][2] ps[38][3] ps[38][4] ps[38][5] ps[38][6] ps[39][0] ps[39][1] ps[39][2] ps[39][3] ps[39][4] ps[39][5] ps[39][6] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[3][5] ps[3][6] ps[40][0] ps[40][1] ps[40][2] ps[40][3] ps[40][4] ps[40][5] ps[40][6] ps[41][0] ps[41][1] ps[41][2] ps[41][3] ps[41][4] ps[41][5] ps[41][6] ps[42][0] ps[42][1] ps[42][2] ps[42][3] ps[42][4] ps[42][5] ps[42][6] ps[43][0] ps[43][1] ps[43][2] ps[43][3] ps[43][4] ps[43][5] ps[43][6] ps[44][0] ps[44][1] ps[44][2] ps[44][3] ps[44][4] ps[44][5] ps[44][6] ps[45][0] ps[45][1] ps[45][2] ps[45][3] ps[45][4] ps[45][5] ps[45][6] ps[46][0] ps[46][1] ps[46][2] ps[46][3] ps[46][4] ps[46][5] ps[46][6] ps[47][0] ps[47][1] ps[47][2] ps[47][3] ps[47][4] ps[47][5] ps[47][6] ps[48][0] ps[48][1] ps[48][2] ps[48][3] ps[48][4] ps[48][5] ps[48][6] ps[49][0] ps[49][1] ps[49][2] ps[49][3] ps[49][4] ps[49][5] ps[49][6] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[4][5] ps[4][6] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[5][5] ps[5][6] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[6][5] ps[6][6] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[7][5] ps[7][6] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[8][5] ps[8][6] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[9][5] ps[9][6] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[10][0] wk[10][1] wk[10][2] wk[10][3] wk[11][0] wk[11][1] wk[11][2] wk[11][3] wk[12][0] wk[12][1] wk[12][2] wk[12][3] wk[13][0] wk[13][1] wk[13][2] wk[13][3] wk[14][0] wk[14][1] wk[14][2] wk[14][3] wk[15][0] wk[15][1] wk[15][2] wk[15][3] wk[16][0] wk[16][1] wk[16][2] wk[16][3] wk[17][0] wk[17][1] wk[17][2] wk[17][3] wk[18][0] wk[18][1] wk[18][2] wk[18][3] wk[19][0] wk[19][1] wk[19][2] wk[19][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[20][0] wk[20][1] wk[20][2] wk[20][3] wk[21][0] wk[21][1] wk[21][2] wk[21][3] wk[22][0] wk[22][1] wk[22][2] wk[22][3] wk[23][0] wk[23][1] wk[23][2] wk[23][3] wk[24][0] wk[24][1] wk[24][2] wk[24][3] wk[25][0] wk[25][1] wk[25][2] wk[25][3] wk[26][0] wk[26][1] wk[26][2] wk[26][3] wk[27][0] wk[27][1] wk[27][2] wk[27][3] wk[28][0] wk[28][1] wk[28][2] wk[28][3] wk[29][0] wk[29][1] wk[29][2] wk[29][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[30][0] wk[30][1] wk[30][2] wk[30][3] wk[31][0] wk[31][1] wk[31][2] wk[31][3] wk[32][0] wk[32][1] wk[32][2] wk[32][3] wk[33][0] wk[33][1] wk[33][2] wk[33][3] wk[34][0] wk[34][1] wk[34][2] wk[34][3] wk[35][0] wk[35][1] wk[35][2] wk[35][3] wk[36][0] wk[36][1] wk[36][2] wk[36][3] wk[37][0] wk[37][1] wk[37][2] wk[37][3] wk[38][0] wk[38][1] wk[38][2] wk[38][3] wk[39][0] wk[39][1] wk[39][2] wk[39][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[40][0] wk[40][1] wk[40][2] wk[40][3] wk[41][0] wk[41][1] wk[41][2] wk[41][3] wk[42][0] wk[42][1] wk[42][2] wk[42][3] wk[43][0] wk[43][1] wk[43][2] wk[43][3] wk[44][0] wk[44][1] wk[44][2] wk[44][3] wk[45][0] wk[45][1] wk[45][2] wk[45][3] wk[46][0] wk[46][1] wk[46][2] wk[46][3] wk[47][0] wk[47][1] wk[47][2] wk[47][3] wk[48][0] wk[48][1] wk[48][2] wk[48][3] wk[49][0] wk[49][1] wk[49][2] wk[49][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] x[0][0] 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][1] 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][2] 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[0][39] x[0][3] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[10][0] 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][1] 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][2] 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[10][39] x[10][3] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[11][0] 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][1] 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][2] 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[11][39] x[11][3] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[12][0] 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][1] 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][2] 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[12][39] x[12][3] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[13][0] 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][1] 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][2] 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[13][39] x[13][3] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[14][0] 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][1] 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][2] 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[14][39] x[14][3] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] 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][1] 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][2] 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[15][39] x[15][3] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] 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][1] 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][2] 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[16][39] x[16][3] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] 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][1] 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][2] 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[17][39] x[17][3] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] 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][1] 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][2] 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[18][39] x[18][3] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] 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][1] 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][2] 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[19][39] x[19][3] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[1][0] 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][1] 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][2] 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[1][39] x[1][3] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[20][0] 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][1] 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][2] 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[20][39] x[20][3] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] 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][1] 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][2] 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[21][39] x[21][3] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] 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][1] 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][2] 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[22][39] x[22][3] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] 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][1] 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][2] 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[23][39] x[23][3] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] 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][1] 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][2] 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[24][39] x[24][3] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] 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][1] 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][2] 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[25][39] x[25][3] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] 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][1] 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][2] 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[26][39] x[26][3] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] 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][1] 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][2] 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[27][39] x[27][3] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[2][0] 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][1] 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][2] 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[2][39] x[2][3] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] 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][1] 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][2] 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[3][39] x[3][3] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] 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][1] 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][2] 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[4][39] x[4][3] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] 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][1] 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][2] 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[5][39] x[5][3] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] 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][1] 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][2] 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[6][39] x[6][3] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] 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][1] 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][2] 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[7][39] x[7][3] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[8][0] 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][1] 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][2] 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[8][39] x[8][3] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[9][0] 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][1] 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][2] 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[9][39] x[9][3] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list>
2519.77/2520.01	v <values>14 7 400 0 300 400 0 12 9 900 100 600 300 0 3 5 500 3 600 300 0 0 0 900 300 500 200 0 2 0 700 300 400 400 0 14 7 600 100 400 200 0 16 6 300 100 500 300 0 16 6 500 0 300 300 0 12 2 200 2 200 0 0 6 2 600 0 3 300 0 3 200 600 200 400 300 0 12 8 500 4 400 500 0 1 0 900 200 600 200 0 8 6 500 1 500 400 0 9 8 200 1 800 200 0 13 9 600 1 0 100 0 11 9 500 2 300 0 0 9 9 500 0 400 0 0 1 3 600 200 300 400 0 0 100 700 0 300 200 0 15 7 500 2 0 0 0 9 7 600 3 100 300 0 2 4 400 4 0 300 0 5 100 1000 100 400 500 0 5 0 800 200 600 200 0 15 9 800 100 500 300 0 15 8 800 100 600 200 0 22 7 800 100 600 300 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 1 1 1 0 0 1 1 1 0 0 0 0 3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 0 3 3 3 3 3 3 2 2 2 2 0 2 2 2 1 0 0 0 1 1 0 0 2 2 2 0 2 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 0 3 3 1 1 1 0 0 0 0 1 3 1 1 1 1 2 2 2 2 1 1 3 0 0 2 2 2 2 2 3 3 3 0 0 3 0 0 0 3 3 3 3 0 1 1 1 1 0 2 2 2 2 1 2 0 3 3 3 1 3 2 2 2 0 1 0 0 3 3 2 2 2 2 2 0 0 0 0 0 0 1 1 1 1 1 0 1 1 2 2 2 2 0 2 2 2 0 2 3 3 3 3 3 3 3 3 3 0 3 0 0 0 0 2 1 1 0 0 0 19 10 4 3 2 0 12 19 11 0 2 0 1 17 10 8 3 5 1 0 23 6 3 1 2 1 1 36 8 3 1 2 2 0 34 19 10 3 2 1 1 14 22 9 3 2 2 0 12 23 9 3 2 3 0 10 18 5 5 4 4 2 12 13 5 2 4 7 2 17 8 2 1 1 0 0 38 19 11 3 7 2 0 8 7 3 0 1 0 1 38 13 9 4 4 0 0 20 15 11 6 5 0 1 12 18 11 4 4 3 2 8 18 13 3 4 2 3 7 13 14 1 4 1 4 13 8 5 2 1 1 0 33 5 1 0 3 2 0 39 19 11 4 5 5 2 4 15 10 3 6 4 1 11 8 7 3 6 5 0 21 9 2 1 2 1 0 35 11 2 1 2 0 1 33 21 11 1 2 0 0 15 22 11 1 1 0 0 15 28 11 0 2 0 0 9 9 0 0 3 3 1 12 16 0 0 0 0 0 12 18 0 0 0 0 0 10 16 2 0 0 0 0 10 10 3 0 0 1 2 12 0 18 0 0 0 0 10 16 0 0 0 0 1 11 7 1 3 1 1 3 12 0 17 0 0 0 0 11 3 0 4 0 8 2 11 14 0 1 0 1 0 12 13 1 0 0 2 2 10 0 16 0 0 0 0 12 0 14 0 0 1 1 12 17 0 0 0 0 0 11 16 0 0 2 0 0 10 0 11 2 0 3 2 10 0 18 0 0 0 0 10 13 0 3 0 0 0 12 0 15 3 0 0 0 10 4 0 10 0 2 0 12 0 12 0 1 4 1 10 9 2 0 3 1 1 12 5 1 0 11 0 0 11 11 0 0 1 6 0 10 15 2 0 0 0 0 11 17 0 0 0 0 0 11 16 0 0 0 0 0 12 0 0 17 0 0 0 11 0 13 5 0 0 0 10 17 0 0 1 0 0 10 15 0 0 2 0 0 11 7 4 4 1 0 1 11 12 0 3 3 0 0 10 0 0 0 17 0 0 11 16 0 0 1 0 0 11 0 0 0 18 0 0 10 11 4 1 0 1 1 10 15 0 2 0 0 0 11 14 1 0 1 0 0 12 0 12 0 2 4 0 10 16 0 0 0 0 0 12 0 0 0 13 2 1 12 16 0 0 0 0 0 12 5 8 0 0 5 0 10 0 17 0 0 0 0 11 17 0 0 0 1 0 10 8 0 5 4 0 1 10 0 11 0 3 1 1 12 0 15 0 0 2 1 10 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 6 0 0 6 1 0 2 1 4 0 0 6 6 0 0 2 1 2 1 6 1 1 3 4 0 0 0 2 1 0 6 6 0 6 0 3 0 0 6 6 0 3 0 1 6 0 6 1 1 6 6 6 0 0 1 6 6 6 0 0 0 6 1 6 0 1 1 6 1 0 6 6 0 0 0 6 0 6 1 0 0 1 0 6 0 3 5 0 6 1 0 3 6 6 1 0 0 1 1 6 6 6 6 1 1 6 6 1 0 0 0 6 1 6 6 1 6 6 2 2 6 6 0 4 0 0 6 6 6 3 0 1 2 3 3 3 6 6 0 6 6 3 6 6 1 0 0 6 1 6 0 6 6 6 6 0 6 1 2 6 6 6 6 6 6 6 6 6 6 6 6 6 1 6 0 0 6 6 6 6 6 1 6 3 6 3 6 6 0 6 6 5 0 4 6 6 6 6 6 0 0 0 6 6 6 0 6 1 2 6 6 6 6 6 6 6 1 6 6 6 6 6 3 6 0 0 6 6 6 6 6 1 6 3 6 6 6 6 0 6 6 4 0 4 6 6 6 6 6 0 0 0 6 6 6 0 0 1 6 0 0 1 6 0 0 1 1 6 1 2 1 6 3 0 0 0 6 2 2 0 0 6 6 3 6 6 1 0 0 1 0 6 0 4 1 6 0 1 5 0 0 0 0 6 6 0 0 1 6 0 0 1 6 0 0 1 1 0 1 2 1 0 6 0 6 0 0 2 2 0 0 6 6 3 6 6 1 0 0 3 0 6 0 4 1 6 0 1 4 0 0 0 0 0 6 6 0 6 6 0 0 1 1 0 0 1 1 0 1 2 1 0 6 0 6 6 0 2 2 6 0 0 0 3 0 3 1 0 0 4 6 6 0 4 1 0 0 1 4 3 6 0 0 0 1 6 6 6 5 0 0 1 1 0 3 1 6 0 2 4 4 0 0 0 0 6 0 2 2 6 0 2 2 6 0 3 4 0 6 4 6 3 0 6 1 0 0 5 6 6 6 6 0 0 1 6 6 6 4 0 4 1 1 6 3 1 6 0 2 4 4 0 3 0 0 0 0 2 6 0 0 5 3 6 6 3 6 0 6 4 6 4 6 6 1 0 5 4 6 6 6 6 6 0 1 6 6 6 6 6 6 6 1 6 6 6 6 0 6 6 6 6 3 6 0 0 0 6 6 0 6 6 6 6 6 6 6 2 6 6 0 6 6 6 6 0 6 6 6 0 6 0 0 6 1 0 3 1 4 0 0 6 6 0 0 2 1 2 1 6 1 1 3 4 0 0 0 2 1 0 6 6 0 3 0 3 0 0 6 1 0 3 0 1 1 0 3 3 1 6 0 6 6 5 1 6 6 1 6 6 6 6 1 0 6 6 6 6 6 6 6 6 3 6 0 0 6 6 6 0 6 6 6 6 6 6 6 6 6 6 0 6 6 6 6 0 6 6 6 3 0 0 0 6 1 0 2 1 2 6 1 6 6 0 6 1 1 6 1 2 1 3 3 6 0 0 6 6 6 0 6 0 0 3 0 6 6 6 0 6 0 6 6 1 6 6 2 6 1 3 0 0 0 6 6 0 2 1 2 6 5 1 6 0 6 1 1 0 1 2 1 3 6 6 6 0 0 2 1 0 0 2 0 3 0 3 0 6 0 1 0 3 6 1 1 6 2 6 1 5 0 0 0 0 6 0 5 1 4 6 4 1 1 0 0 1 1 0 1 2 4 3 6 0 6 6 0 2 1 6 0 2 0 3 0 3 0 0 0 1 0 3 6 1 1 0 2 6 1 6 0 0 1 0 6 0 5 1 4 0 5 1 1 0 0 6 1 0 1 6 4 5 0 0 1 6 6 2 1 6 0 2 3 3 0 3 0 0 0 1 0 3 0 1 1 0 2 1 1 6 6 0 1 1 1 0 5 6 5 0 6 1 5 6 0 6 1 6 1 6 5 4 0 0 1 6 6 2 1 0 0 6 3 3 0 3 0 0 1 1 6 3 0 1 1 0 6 1 1 6 6 6 6 6 1 6 6 6 6 2 6 1 6 6 0 4 6 6 6 6 6 6 6 0 6 6 6 2 1 0 0 6 6 6 0 3 0 6 6 1 6 6 0 6 1 0 6 6 6 6 6 6 6 6 1 6 6 6 6 4 6 6 6 6 0 4 6 6 6 6 6 6 6 3 6 6 6 6 6 0 6 6 6 6 6 3 0 6 6 3 6 6 0 6 6 0 6 6 6 4 0 0 0 0 1 5 4 1 4 6 0 1 1 0 0 5 1 2 1 2 1 6 3 4 0 0 0 2 1 0 6 0 0 3 0 3 0 0 6 1 0 3 0 0 1 4 2 3 1 4 0 6 0 0 1 6 6 1 4 6 0 1 1 6 6 5 1 6 1 2 1 6 3 4 0 0 0 6 1 0 3 0 0 3 0 6 2 2 0 4 0 3 0 0 1 6 3 3 1 4 0 6 6 1 1 6 6 1 4 6 6 1 4 6 6 4 6 6 1 2 3 6 3 4 0 0 6 6 2 0 3 0 2 3 0 6 6 6 0 6 0 3 6 6 1 6 3 6 1 6 6 0 6 4 6 0 1 6 6 6 6 6 6 0 6 6 6 0 6 6 6 0 6 6 6 6 6 2 6 6 6 0 6 3 0 6 6 6 0 6 0 6 6 6 1 6 3 6 6 6 6 0 0 5 6 0 0 6 6 6 6 6 6 0 0 6 1 0 6 6 6 0 6 6 6 6 0 2 6 6 6 3 6 3 6 6 6 6 0 6 6 6 6 0 6 6 6 1 6 0 0 0 0 6 1 0 0 1 6 0 0 1 1 0 0 6 1 0 6 0 1 0 6 6 6 0 0 2 1 6 0 6 0 6 6 3 1 0 3 1 6 6 0 0 6 0 6 1 1 0 0 0 0 6 1 0 0 1 6 0 0 1 1 0 0 6 1 0 6 0 1 0 6 6 6 0 0 2 1 6 0 6 0 6 6 3 0 0 6 1 6 6 0 1 6 0 0 1 1 0 0 0 0 0 1 0 0 6 0 0 0 1 1 0 0 1 1 0 1 0 1 0 6 0 6 6 0 6 1 0 0 0 0 6 0 3 0 0 6 1 0 3 6 0 6 0 0 1 1 </values>
2519.77/2520.01	v </instantiation>
2519.77/2520.01	

OK	37778

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10693 MiB free)
  memory of node 1: 16384 MiB (12093 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292987-1532302777/watcher-4292987-1532302777 -o /tmp/evaluation-result-4292987-1532302777/solver-4292987-1532302777 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532297735-5126 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292987-1532302777.xml 

running on 4 cores: 0,2,4,6

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

solver pid=5561, runsolver pid=5558

[startup+0.100164 s]*
/proc/loadavg: 2.00 2.00 2.01 6/204 5562
/proc/meminfo: memFree=23316792/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=38024 memory=14248 CPUtime=0.09 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 3783 0 0 0 9 0 0 0 20 0 1 0 47840905 38936576 3562 33554432000 4194304 6142532 140731793910672 140731793907304 140493302369086 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 9506 3562 841 476 0 2828 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 38024 KiB
Current children cumulated memory: 14248 KiB

[startup+0.210174 s]*
/proc/loadavg: 2.00 2.00 2.01 6/204 5562
/proc/meminfo: memFree=23294716/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=47040 memory=23392 CPUtime=0.21 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 6060 0 0 0 20 1 0 0 20 0 1 0 47840905 48168960 5848 33554432000 4194304 6142532 140731793910672 140731793907304 140493311706272 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 11760 5848 841 476 0 5082 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 47040 KiB
Current children cumulated memory: 23392 KiB

[startup+0.310048 s]*
/proc/loadavg: 2.00 2.00 2.01 5/204 5562
/proc/meminfo: memFree=23260980/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=71348 memory=47856 CPUtime=0.3 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 12137 0 0 0 29 1 0 0 20 0 1 0 47840905 73060352 11964 33554432000 4194304 6142532 140731793910672 140731793907304 140493302373349 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 17837 11964 850 476 0 11159 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 71348 KiB
Current children cumulated memory: 47856 KiB

[startup+0.700409 s]
/proc/loadavg: 2.00 2.00 2.01 5/204 5562
/proc/meminfo: memFree=23184440/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=127880 memory=104632 CPUtime=0.69 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 26318 0 0 0 66 3 0 0 20 0 1 0 47840905 130949120 26158 33554432000 4194304 6142532 140731793910672 140731793907688 140493302373349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 31970 26158 899 476 0 25292 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 127880 KiB
Current children cumulated memory: 104632 KiB

[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5597
/proc/meminfo: memFree=23228200/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=139440 memory=116156 CPUtime=1.49 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 29211 0 0 0 146 3 0 0 20 0 1 0 47840905 142786560 29039 33554432000 4194304 6142532 140731793910672 140731793907688 5326325 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 34860 29039 899 476 0 28182 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 139440 KiB
Current children cumulated memory: 116156 KiB

[startup+3.10954 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5597
/proc/meminfo: memFree=23194448/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=142300 memory=119036 CPUtime=3.09 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 46376 0 0 0 305 4 0 0 20 0 1 0 47840905 145715200 29759 33554432000 4194304 6142532 140731793910672 140731793907416 5138259 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 35575 29759 899 476 0 28897 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 142300 KiB
Current children cumulated memory: 119036 KiB

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5597
/proc/meminfo: memFree=23190396/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=144916 memory=121572 CPUtime=6.29 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 60998 0 0 0 623 6 0 0 20 0 1 0 47840905 148393984 30393 33554432000 4194304 6142532 140731793910672 140731793907448 5329969 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 36229 30393 899 476 0 29551 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 144916 KiB
Current children cumulated memory: 121572 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5597
/proc/meminfo: memFree=23189404/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=145856 memory=122624 CPUtime=12.69 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 75138 0 0 0 1262 7 0 0 20 0 1 0 47840905 149356544 30656 33554432000 4194304 6142532 140731793910672 140731793907400 5329969 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 36464 30656 899 476 0 29786 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 145856 KiB
Current children cumulated memory: 122624 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5604
/proc/meminfo: memFree=23186700/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=145856 memory=122624 CPUtime=25.48 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 82045 0 0 0 2541 7 0 0 20 0 1 0 47840905 149356544 30656 33554432000 4194304 6142532 140731793910672 140731793907400 5124150 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 36464 30656 899 476 0 29786 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 145856 KiB
Current children cumulated memory: 122624 KiB

[startup+51.1093 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5604
/proc/meminfo: memFree=23187124/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=145856 memory=122624 CPUtime=51.08 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 84114 0 0 0 5101 7 0 0 20 0 1 0 47840905 149356544 30656 33554432000 4194304 6142532 140731793910672 140731793907400 5347455 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 36464 30656 899 476 0 29786 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 145856 KiB
Current children cumulated memory: 122624 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/191 5605
/proc/meminfo: memFree=23186616/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=147244 memory=123720 CPUtime=102.26 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 84817 0 0 0 10219 7 0 0 20 0 1 0 47840905 150777856 30930 33554432000 4194304 6142532 140731793910672 140731793907416 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 36811 30930 899 476 0 30133 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 147244 KiB
Current children cumulated memory: 123720 KiB

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.02 3/191 5606
/proc/meminfo: memFree=23186724/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=147244 memory=123920 CPUtime=162.26 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 84913 0 0 0 16219 7 0 0 20 0 1 0 47840905 150777856 30980 33554432000 4194304 6142532 140731793910672 140731793907416 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 36811 30980 899 476 0 30133 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 147244 KiB
Current children cumulated memory: 123920 KiB

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.02 3/190 5607
/proc/meminfo: memFree=23186672/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=147516 memory=124248 CPUtime=222.25 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 85514 0 0 0 22218 7 0 0 20 0 1 0 47840905 151056384 31062 33554432000 4194304 6142532 140731793910672 140731793907416 140493302421248 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 36879 31062 899 476 0 30201 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 147516 KiB
Current children cumulated memory: 124248 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.02 3/190 5608
/proc/meminfo: memFree=23186604/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=147648 memory=124424 CPUtime=282.25 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 85810 0 0 0 28218 7 0 0 20 0 1 0 47840905 151191552 31106 33554432000 4194304 6142532 140731793910672 140731793907496 5001184 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 36912 31106 899 476 0 30234 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 147648 KiB
Current children cumulated memory: 124424 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 5609
/proc/meminfo: memFree=23185176/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=149008 memory=125768 CPUtime=342.25 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 86495 0 0 0 34218 7 0 0 20 0 1 0 47840905 152584192 31442 33554432000 4194304 6142532 140731793910672 140731793907496 5336617 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 37252 31442 899 476 0 30574 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 149008 KiB
Current children cumulated memory: 125768 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 5610
/proc/meminfo: memFree=23185112/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=149008 memory=125812 CPUtime=402.25 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 86983 0 0 0 40218 7 0 0 20 0 1 0 47840905 152584192 31453 33554432000 4194304 6142532 140731793910672 140731793907496 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 37252 31453 899 476 0 30574 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 149008 KiB
Current children cumulated memory: 125812 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 5611
/proc/meminfo: memFree=23183840/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=150232 memory=127044 CPUtime=462.26 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 87785 0 0 0 46218 8 0 0 20 0 1 0 47840905 153837568 31761 33554432000 4194304 6142532 140731793910672 140731793907496 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 37558 31761 899 476 0 30880 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 150232 KiB
Current children cumulated memory: 127044 KiB


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

/proc/5561/statm: 37897 32079 900 476 0 31219 0
Current children cumulated CPU time: 1722.11 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 128316 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5678
/proc/meminfo: memFree=23182280/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=151588 memory=128316 CPUtime=1782.1 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 91773 0 0 0 178201 9 0 0 20 0 1 0 47840905 155226112 32079 33554432000 4194304 6142532 140731793910672 140731793907528 5347440 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 37897 32079 900 476 0 31219 0
Current children cumulated CPU time: 1782.1 s
Current children cumulated vsize: 151588 KiB
Current children cumulated memory: 128316 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5686
/proc/meminfo: memFree=23181260/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=152128 memory=128908 CPUtime=1842.1 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 92176 0 0 0 184201 9 0 0 20 0 1 0 47840905 155779072 32227 33554432000 4194304 6142532 140731793910672 140731793907528 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 38032 32227 900 476 0 31354 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 152128 KiB
Current children cumulated memory: 128908 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5687
/proc/meminfo: memFree=23181492/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=152128 memory=128928 CPUtime=1902.09 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 92496 0 0 0 190200 9 0 0 20 0 1 0 47840905 155779072 32232 33554432000 4194304 6142532 140731793910672 140731793907528 5215649 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 38032 32232 900 476 0 31354 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 152128 KiB
Current children cumulated memory: 128928 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 5689
/proc/meminfo: memFree=23182528/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=152128 memory=128928 CPUtime=1962.08 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 92556 0 0 0 196199 9 0 0 20 0 1 0 47840905 155779072 32232 33554432000 4194304 6142532 140731793910672 140731793907528 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 38032 32232 900 476 0 31354 0
Current children cumulated CPU time: 1962.08 s
Current children cumulated vsize: 152128 KiB
Current children cumulated memory: 128928 KiB

[startup+2022.3 s]
/proc/loadavg: 2.34 2.09 2.07 3/191 5691
/proc/meminfo: memFree=23181216/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=152128 memory=128928 CPUtime=2022.07 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 92634 0 0 0 202198 9 0 0 20 0 1 0 47840905 155779072 32232 33554432000 4194304 6142532 140731793910672 140731793907528 5347440 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 38032 32232 900 476 0 31354 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 152128 KiB
Current children cumulated memory: 128928 KiB

[startup+2082.3 s]
/proc/loadavg: 2.27 2.13 2.09 3/191 5692
/proc/meminfo: memFree=23181284/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=152128 memory=128928 CPUtime=2082.07 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 92695 0 0 0 208198 9 0 0 20 0 1 0 47840905 155779072 32232 33554432000 4194304 6142532 140731793910672 140731793907528 5215632 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 38032 32232 900 476 0 31354 0
Current children cumulated CPU time: 2082.07 s
Current children cumulated vsize: 152128 KiB
Current children cumulated memory: 128928 KiB

[startup+2142.3 s]
/proc/loadavg: 2.06 2.09 2.07 3/191 5693
/proc/meminfo: memFree=23181020/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=152128 memory=128928 CPUtime=2142.07 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 92778 0 0 0 214198 9 0 0 20 0 1 0 47840905 155779072 32232 33554432000 4194304 6142532 140731793910672 140731793907528 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 38032 32232 900 476 0 31354 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 152128 KiB
Current children cumulated memory: 128928 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/191 5694
/proc/meminfo: memFree=23180904/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=152128 memory=128928 CPUtime=2202.07 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 92916 0 0 0 220198 9 0 0 20 0 1 0 47840905 155779072 32232 33554432000 4194304 6142532 140731793910672 140731793907528 5140155 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 38032 32232 900 476 0 31354 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 152128 KiB
Current children cumulated memory: 128928 KiB

[startup+2262.3 s]
/proc/loadavg: 2.06 2.08 2.07 3/190 5695
/proc/meminfo: memFree=23181204/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=152128 memory=128928 CPUtime=2262.07 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 92995 0 0 0 226198 9 0 0 20 0 1 0 47840905 155779072 32232 33554432000 4194304 6142532 140731793910672 140731793907528 5215632 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 38032 32232 900 476 0 31354 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 152128 KiB
Current children cumulated memory: 128928 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.06 2.06 3/190 5696
/proc/meminfo: memFree=23181004/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=152128 memory=128928 CPUtime=2322.07 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 93065 0 0 0 232198 9 0 0 20 0 1 0 47840905 155779072 32232 33554432000 4194304 6142532 140731793910672 140731793907528 5140537 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 38032 32232 900 476 0 31354 0
Current children cumulated CPU time: 2322.07 s
Current children cumulated vsize: 152128 KiB
Current children cumulated memory: 128928 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/190 5697
/proc/meminfo: memFree=23180760/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=152128 memory=128928 CPUtime=2382.07 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 93272 0 0 0 238198 9 0 0 20 0 1 0 47840905 155779072 32232 33554432000 4194304 6142532 140731793910672 140731793907528 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 38032 32232 900 476 0 31354 0
Current children cumulated CPU time: 2382.07 s
Current children cumulated vsize: 152128 KiB
Current children cumulated memory: 128928 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/192 5707
/proc/meminfo: memFree=23180780/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=152260 memory=128976 CPUtime=2442.06 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 93580 0 0 0 244197 9 0 0 20 0 1 0 47840905 155914240 32244 33554432000 4194304 6142532 140731793910672 140731793907528 5329969 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 38065 32244 900 476 0 31387 0
Current children cumulated CPU time: 2442.06 s
Current children cumulated vsize: 152260 KiB
Current children cumulated memory: 128976 KiB

[startup+2502.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/192 5708
/proc/meminfo: memFree=23180956/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=152260 memory=129028 CPUtime=2502.06 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 93903 0 0 0 250197 9 0 0 20 0 1 0 47840905 155914240 32257 33554432000 4194304 6142532 140731793910672 140731793907528 5215649 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 38065 32257 900 476 0 31387 0
Current children cumulated CPU time: 2502.06 s
Current children cumulated vsize: 152260 KiB
Current children cumulated memory: 129028 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.03 2.04 2.05 3/192 5708
/proc/meminfo: memFree=23180956/32770624 swapFree=67108860/67108860
[pid=5561] ppid=5558 vsize=152260 memory=129028 CPUtime=2519.77 cores=0,2,4,6
/proc/5561/stat : 5561 (cosoco) R 5558 5561 5095 0 -1 4202496 93959 0 0 0 251968 9 0 0 20 0 1 0 47840905 155914240 32257 33554432000 4194304 6142532 140731793910672 140731793907528 5335940 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8243016 8247936 14614528 140731793917062 140731793917192 140731793917192 140731793919950 0
/proc/5561/statm: 38065 32257 900 476 0 31387 0
Current children cumulated CPU time: 2519.77 s
Current children cumulated vsize: 152260 KiB
Current children cumulated memory: 129028 KiB

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

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

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

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.79
CPU user time (s): 2519.69
CPU system time (s): 0.097992
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 152260
Max. memory (cumulated for all children) (KiB): 129028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.69
system time used= 0.097992
maximum resident set size= 129092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94005
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= 57
involuntary context switches= 3531


# summary of solver processes directly reported to runsolver:
#   pid: 5561
#   total CPU time (s): 2519.79
#   total CPU user time (s): 2519.69
#   total CPU system time (s): 0.097992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.44864 second user time and 16.845 second system time

The end

Begin job on node135 at 2018-07-23 01:39:37
IDJOB=4292987
IDBENCH=141054
IDSOLVER=2752
FILE ID=node135/4292987-1532302777
RUNJOBID= node135-1532297735-5126
PBS_JOBID= 21018994
Free space on /tmp= 52932 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/NurseRostering/NurseRostering-11_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292987-1532302777/watcher-4292987-1532302777 -o /tmp/evaluation-result-4292987-1532302777/solver-4292987-1532302777 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532297735-5126 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4292987-1532302777.xml

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

MD5SUM BENCH= 05c4130aaeb0756e89b7f80c2b4d0b20
RANDOM SEED=1224407196

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.50
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.50
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.50
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.50
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:        23335896 kB
MemAvailable:   31915096 kB
Buffers:          178836 kB
Cached:          8588388 kB
SwapCached:            0 kB
Active:          1442500 kB
Inactive:        7402692 kB
Active(anon):      27336 kB
Inactive(anon):    69912 kB
Active(file):    1415164 kB
Inactive(file):  7332780 kB
Unevictable:        7188 kB
Mlocked:            7188 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2840 kB
Writeback:             4 kB
AnonPages:         84692 kB
Mapped:            46148 kB
Shmem:             17056 kB
Slab:             287908 kB
SReclaimable:     259716 kB
SUnreclaim:        28192 kB
KernelStack:        3552 kB
PageTables:         5212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1267700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       93568 kB
DirectMap2M:    33452032 kB

Free space on /tmp at the end= 52928 MiB
End job on node135 at 2018-07-23 02:21:38