0.41/0.48	c best=?? lower=0 upper=69864 
5.00/5.10	c
5.00/5.10	c This is cosoco 1.12 --  
5.00/5.10	c
5.00/5.10	c command line: HOME/cosoco -lc -model -restarts HOME/instance-4292967-1532301369.xml 
5.00/5.10	c enable optimization
5.00/5.10	c ========================================[ Problem Statistics ]===========================================
5.00/5.10	c |                                                                                                       
5.00/5.10	c |  Parse time        :         0.45 s 
5.00/5.10	c |
5.00/5.10	c |               Variables: 2140
5.00/5.10	c |            Domain Sizes: 1..41
5.00/5.10	c |
5.00/5.10	c |             Constraints: 5541
5.00/5.10	c |                   Arity: 1..452  -- Unary: 80  -- Binary: 1932  -- Ternary: 2080
5.00/5.10	c | 
5.00/5.10	c |                   Types: 
5.00/5.10	c |                          At least: 920
5.00/5.10	c |                          Exactly K variable: 408
5.00/5.10	c |                          Extension: 1248  (nb tuples: 0..41) -- (shared: 1198)
5.00/5.10	c |                          Intension: 684
5.00/5.10	c |                          MDD: 2080
5.00/5.10	c |                          Sum: 121
5.00/5.10	c |                          Unary: 80
5.00/5.10	c |                          
5.00/5.10	c |               Objective: Minimize Sum
5.00/5.10	
5.00/5.10	c =========================================================================================================
5.00/5.10	o 25329
5.00/5.10	c    1 calls to solver: best=25329 lower=0 upper=25328 
309.97/310.10	o 25277
1954.52/1954.65	o 24909
1954.52/1954.65	c    3 calls to solver: best=24909 lower=0 upper=24908 
2519.91/2520.00	
2519.91/2520.00	c *** INTERRUPTED ***
2519.91/2520.00	c restarts              : 93          
2519.91/2520.00	c conflicts             : 7467157      (2963 /sec)
2519.91/2520.00	c decisions             : 25367026     (10067 /sec)
2519.91/2520.00	c propagations          : 419041660   (166296 /sec)
2519.91/2520.00	c root propagations     : 7365        
2519.91/2520.00	c filter calls          : 1101068157     (436956 /sec)
2519.91/2520.00	c useless filter calls  : 845516128      (76 %)
2519.91/2520.00	c Memory used           : 109.66 MB
2519.91/2520.00	c CPU time              : 2519.86 s
2519.91/2520.00	
2519.91/2520.00	c nb Solutions = 3
2519.91/2520.00	s SATISFIABLE
2519.91/2520.00	c Best value found: 24909
2519.91/2520.00	
2519.91/2520.00	
2519.91/2520.00	v <instantiation type='solution' cost='24909'>
2519.91/2520.00	v <list>cc[0][0] cc[0][1] cc[0][2] cc[0][3] cc[0][4] cc[0][5] cc[10][0] cc[10][1] cc[10][2] cc[10][3] cc[10][4] cc[10][5] cc[11][0] cc[11][1] cc[11][2] cc[11][3] cc[11][4] cc[11][5] cc[12][0] cc[12][1] cc[12][2] cc[12][3] cc[12][4] cc[12][5] cc[13][0] cc[13][1] cc[13][2] cc[13][3] cc[13][4] cc[13][5] cc[14][0] cc[14][1] cc[14][2] cc[14][3] cc[14][4] cc[14][5] cc[15][0] cc[15][1] cc[15][2] cc[15][3] cc[15][4] cc[15][5] cc[16][0] cc[16][1] cc[16][2] cc[16][3] cc[16][4] cc[16][5] cc[17][0] cc[17][1] cc[17][2] cc[17][3] cc[17][4] cc[17][5] cc[18][0] cc[18][1] cc[18][2] cc[18][3] cc[18][4] cc[18][5] cc[19][0] cc[19][1] cc[19][2] cc[19][3] cc[19][4] cc[19][5] cc[1][0] cc[1][1] cc[1][2] cc[1][3] cc[1][4] cc[1][5] cc[20][0] cc[20][1] cc[20][2] cc[20][3] cc[20][4] cc[20][5] cc[21][0] cc[21][1] cc[21][2] cc[21][3] cc[21][4] cc[21][5] cc[22][0] cc[22][1] cc[22][2] cc[22][3] cc[22][4] cc[22][5] cc[23][0] cc[23][1] cc[23][2] cc[23][3] cc[23][4] cc[23][5] cc[24][0] cc[24][1] cc[24][2] cc[24][3] cc[24][4] cc[24][5] cc[25][0] cc[25][1] cc[25][2] cc[25][3] cc[25][4] cc[25][5] cc[26][0] cc[26][1] cc[26][2] cc[26][3] cc[26][4] cc[26][5] cc[27][0] cc[27][1] cc[27][2] cc[27][3] cc[27][4] cc[27][5] cc[2][0] cc[2][1] cc[2][2] cc[2][3] cc[2][4] cc[2][5] cc[3][0] cc[3][1] cc[3][2] cc[3][3] cc[3][4] cc[3][5] cc[4][0] cc[4][1] cc[4][2] cc[4][3] cc[4][4] cc[4][5] cc[5][0] cc[5][1] cc[5][2] cc[5][3] cc[5][4] cc[5][5] cc[6][0] cc[6][1] cc[6][2] cc[6][3] cc[6][4] cc[6][5] cc[7][0] cc[7][1] cc[7][2] cc[7][3] cc[7][4] cc[7][5] cc[8][0] cc[8][1] cc[8][2] cc[8][3] cc[8][4] cc[8][5] cc[9][0] cc[9][1] cc[9][2] cc[9][3] cc[9][4] cc[9][5] cf[0] cf[10] cf[11] cf[12] 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[7] cf[8] 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[197] cn[198] cn[199] cn[19] cn[1] cn[200] cn[201] cn[202] cn[203] cn[204] cn[205] cn[206] cn[207] cn[208] cn[209] 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[10][0] ds[10][1] ds[10][2] ds[10][3] ds[10][4] ds[10][5] ds[11][0] ds[11][1] ds[11][2] ds[11][3] ds[11][4] ds[11][5] ds[12][0] ds[12][1] ds[12][2] ds[12][3] ds[12][4] ds[12][5] ds[13][0] ds[13][1] ds[13][2] ds[13][3] ds[13][4] ds[13][5] ds[14][0] ds[14][1] ds[14][2] ds[14][3] ds[14][4] ds[14][5] ds[15][0] ds[15][1] ds[15][2] ds[15][3] ds[15][4] ds[15][5] ds[16][0] ds[16][1] ds[16][2] ds[16][3] ds[16][4] ds[16][5] ds[17][0] ds[17][1] ds[17][2] ds[17][3] ds[17][4] ds[17][5] ds[18][0] ds[18][1] ds[18][2] ds[18][3] ds[18][4] ds[18][5] ds[19][0] ds[19][1] ds[19][2] ds[19][3] ds[19][4] ds[19][5] ds[1][0] ds[1][1] ds[1][2] ds[1][3] ds[1][4] ds[1][5] ds[20][0] ds[20][1] ds[20][2] ds[20][3] ds[20][4] ds[20][5] ds[21][0] ds[21][1] ds[21][2] ds[21][3] ds[21][4] ds[21][5] ds[22][0] ds[22][1] ds[22][2] ds[22][3] ds[22][4] ds[22][5] ds[23][0] ds[23][1] ds[23][2] ds[23][3] ds[23][4] ds[23][5] ds[24][0] ds[24][1] ds[24][2] ds[24][3] ds[24][4] ds[24][5] ds[25][0] ds[25][1] ds[25][2] ds[25][3] ds[25][4] ds[25][5] ds[26][0] ds[26][1] ds[26][2] ds[26][3] ds[26][4] ds[26][5] ds[27][0] ds[27][1] ds[27][2] ds[27][3] ds[27][4] ds[27][5] ds[2][0] ds[2][1] ds[2][2] ds[2][3] ds[2][4] ds[2][5] ds[3][0] ds[3][1] ds[3][2] ds[3][3] ds[3][4] ds[3][5] ds[4][0] ds[4][1] ds[4][2] ds[4][3] ds[4][4] ds[4][5] ds[5][0] ds[5][1] ds[5][2] ds[5][3] ds[5][4] ds[5][5] ds[6][0] ds[6][1] ds[6][2] ds[6][3] ds[6][4] ds[6][5] ds[7][0] ds[7][1] ds[7][2] ds[7][3] ds[7][4] ds[7][5] ds[8][0] ds[8][1] ds[8][2] ds[8][3] ds[8][4] ds[8][5] ds[9][0] ds[9][1] ds[9][2] ds[9][3] ds[9][4] ds[9][5] ps[0][0] ps[0][1] ps[0][2] ps[0][3] ps[0][4] ps[0][5] ps[10][0] ps[10][1] ps[10][2] ps[10][3] ps[10][4] ps[10][5] ps[11][0] ps[11][1] ps[11][2] ps[11][3] ps[11][4] ps[11][5] ps[12][0] ps[12][1] ps[12][2] ps[12][3] ps[12][4] ps[12][5] ps[13][0] ps[13][1] ps[13][2] ps[13][3] ps[13][4] ps[13][5] ps[14][0] ps[14][1] ps[14][2] ps[14][3] ps[14][4] ps[14][5] ps[15][0] ps[15][1] ps[15][2] ps[15][3] ps[15][4] ps[15][5] ps[16][0] ps[16][1] ps[16][2] ps[16][3] ps[16][4] ps[16][5] ps[17][0] ps[17][1] ps[17][2] ps[17][3] ps[17][4] ps[17][5] ps[18][0] ps[18][1] ps[18][2] ps[18][3] ps[18][4] ps[18][5] ps[19][0] ps[19][1] ps[19][2] ps[19][3] ps[19][4] ps[19][5] ps[1][0] ps[1][1] ps[1][2] ps[1][3] ps[1][4] ps[1][5] ps[20][0] ps[20][1] ps[20][2] ps[20][3] ps[20][4] ps[20][5] ps[21][0] ps[21][1] ps[21][2] ps[21][3] ps[21][4] ps[21][5] ps[22][0] ps[22][1] ps[22][2] ps[22][3] ps[22][4] ps[22][5] ps[23][0] ps[23][1] ps[23][2] ps[23][3] ps[23][4] ps[23][5] ps[24][0] ps[24][1] ps[24][2] ps[24][3] ps[24][4] ps[24][5] ps[25][0] ps[25][1] ps[25][2] ps[25][3] ps[25][4] ps[25][5] ps[26][0] ps[26][1] ps[26][2] ps[26][3] ps[26][4] ps[26][5] ps[27][0] ps[27][1] ps[27][2] ps[27][3] ps[27][4] ps[27][5] ps[28][0] ps[28][1] ps[28][2] ps[28][3] ps[28][4] ps[28][5] ps[29][0] ps[29][1] ps[29][2] ps[29][3] ps[29][4] ps[29][5] ps[2][0] ps[2][1] ps[2][2] ps[2][3] ps[2][4] ps[2][5] ps[30][0] ps[30][1] ps[30][2] ps[30][3] ps[30][4] ps[30][5] ps[31][0] ps[31][1] ps[31][2] ps[31][3] ps[31][4] ps[31][5] ps[32][0] ps[32][1] ps[32][2] ps[32][3] ps[32][4] ps[32][5] ps[33][0] ps[33][1] ps[33][2] ps[33][3] ps[33][4] ps[33][5] ps[34][0] ps[34][1] ps[34][2] ps[34][3] ps[34][4] ps[34][5] ps[35][0] ps[35][1] ps[35][2] ps[35][3] ps[35][4] ps[35][5] ps[36][0] ps[36][1] ps[36][2] ps[36][3] ps[36][4] ps[36][5] ps[37][0] ps[37][1] ps[37][2] ps[37][3] ps[37][4] ps[37][5] ps[38][0] ps[38][1] ps[38][2] ps[38][3] ps[38][4] ps[38][5] ps[39][0] ps[39][1] ps[39][2] ps[39][3] ps[39][4] ps[39][5] ps[3][0] ps[3][1] ps[3][2] ps[3][3] ps[3][4] ps[3][5] ps[4][0] ps[4][1] ps[4][2] ps[4][3] ps[4][4] ps[4][5] ps[5][0] ps[5][1] ps[5][2] ps[5][3] ps[5][4] ps[5][5] ps[6][0] ps[6][1] ps[6][2] ps[6][3] ps[6][4] ps[6][5] ps[7][0] ps[7][1] ps[7][2] ps[7][3] ps[7][4] ps[7][5] ps[8][0] ps[8][1] ps[8][2] ps[8][3] ps[8][4] ps[8][5] ps[9][0] ps[9][1] ps[9][2] ps[9][3] ps[9][4] ps[9][5] 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[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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] </list>
2519.91/2520.00	v <values>17 6 500 600 100 0 4 100 200 200 0 0 4 100 300 300 100 0 2 300 400 500 200 0 300 100 500 300 0 0 4 0 400 100 0 0 7 0 500 0 1 0 6 1 400 0 0 0 13 1 300 1 0 0 5 200 100 200 100 0 300 400 400 400 300 0 19 4 400 500 100 0 300 400 400 600 200 0 7 0 500 600 0 0 4 200 200 500 200 0 11 100 300 500 0 0 12 7 100 500 1 0 12 6 300 400 0 0 0 200 200 400 200 0 100 200 300 400 100 0 6 100 400 300 100 0 1 300 100 300 1 0 7 0 100 100 2 0 6 100 300 400 100 0 10 400 500 300 100 0 14 2 400 300 0 0 12 3 500 200 200 0 2 0 100 200 1 0 0 2 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 2 0 0 0 0 1 1 1 1 2 1 1 1 1 0 1 0 3 3 3 2 3 3 3 0 0 0 0 0 3 3 2 3 2 0 0 0 2 2 0 0 0 1 0 0 0 0 0 0 0 0 3 3 1 1 1 1 1 2 2 2 2 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 1 0 3 3 0 0 0 3 2 0 0 0 0 0 0 0 0 2 2 0 3 2 3 0 0 0 3 0 0 0 0 0 0 2 0 2 1 1 0 0 0 0 0 2 0 0 0 0 0 3 1 1 1 1 2 0 1 0 0 1 1 0 0 0 0 2 1 1 3 3 3 3 3 0 0 3 2 3 3 0 0 1 1 0 0 2 2 0 0 0 0 0 2 0 2 2 0 0 0 0 0 0 0 0 0 1 1 1 0 2 0 1 1 0 0 2 2 2 2 0 2 24 9 1 1 0 5 9 4 3 4 1 19 11 4 2 3 0 20 7 2 1 2 1 27 4 4 2 5 1 24 12 6 1 6 2 13 14 5 0 6 2 13 15 5 1 7 3 9 19 6 2 7 1 5 12 4 4 5 1 14 3 1 1 1 0 34 24 9 2 1 1 3 4 1 2 1 0 32 13 5 1 1 1 19 10 4 4 1 1 20 15 4 4 1 2 14 20 10 2 2 2 4 19 11 2 3 2 3 7 4 2 3 0 24 6 4 1 2 0 27 12 4 1 3 1 19 7 1 2 4 3 23 13 5 3 5 3 11 13 4 1 2 2 18 16 2 2 2 2 16 20 7 1 3 2 7 20 8 0 3 2 7 8 5 2 3 2 20 0 18 0 0 0 10 0 16 0 0 0 12 14 2 2 0 0 10 9 1 0 7 0 11 0 0 0 18 0 10 6 0 8 3 0 11 6 0 0 9 2 11 15 0 1 0 0 12 13 2 3 0 0 10 17 0 0 0 0 11 0 0 9 8 0 11 15 0 2 1 0 10 18 0 0 0 0 10 6 0 0 5 5 12 15 0 0 0 1 12 14 2 0 0 0 12 15 0 1 0 0 12 11 1 1 1 3 11 0 18 0 0 0 10 16 0 0 0 0 12 9 0 0 4 4 11 16 0 2 0 0 10 16 1 0 0 0 11 0 9 4 3 0 12 10 0 7 0 0 11 17 0 0 0 0 11 13 0 2 0 0 13 10 0 0 5 0 13 8 0 0 2 5 13 1 2 3 11 0 11 0 13 2 0 1 12 17 0 0 0 0 11 11 1 0 5 0 11 0 13 1 0 3 11 14 0 0 4 0 10 0 11 0 0 5 12 11 0 1 0 3 13 0 16 1 0 0 11 14 2 0 0 1 11 0 10 0 1 5 12 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 0 3 0 5 0 0 0 2 0 0 0 0 0 0 5 1 0 0 5 0 1 0 0 0 0 0 0 1 5 0 1 0 1 5 1 0 1 1 5 0 3 3 0 0 5 2 5 2 0 5 5 0 5 5 4 1 5 5 0 5 5 0 0 2 5 5 3 1 5 5 5 3 5 5 5 0 1 1 5 0 5 5 0 3 5 5 5 3 0 0 5 5 5 0 5 5 5 0 0 5 5 2 0 2 5 0 5 1 0 5 5 3 1 5 5 0 1 5 5 0 5 5 0 5 5 5 5 5 0 0 5 5 5 0 5 5 5 4 5 5 5 2 5 5 5 3 5 5 0 3 5 5 1 0 1 5 5 5 1 0 3 3 2 5 5 5 5 5 5 5 4 5 5 0 0 1 5 5 5 5 5 5 5 5 5 3 3 5 5 3 2 5 1 0 1 5 5 1 1 5 3 3 2 3 0 5 0 3 5 5 4 5 0 0 0 1 0 5 0 0 5 5 0 5 5 5 3 1 5 3 1 0 1 0 5 0 4 1 1 5 3 3 5 3 0 5 0 3 5 0 4 5 0 5 0 1 0 0 0 0 5 5 0 0 5 5 3 1 0 3 5 0 1 5 5 0 4 1 1 0 3 3 5 3 0 0 0 3 2 0 4 5 0 5 0 1 0 4 0 0 3 5 0 0 5 5 3 1 0 3 5 0 5 5 1 0 4 1 1 0 3 3 2 3 0 0 0 3 2 0 5 0 0 0 0 1 0 4 0 0 3 0 0 0 3 5 3 1 0 5 1 0 5 0 1 0 5 1 5 0 5 5 2 3 2 0 0 3 3 0 5 0 0 2 5 5 5 4 0 1 3 2 0 0 3 5 5 5 0 5 1 0 5 0 1 5 5 5 5 5 5 5 5 5 5 0 5 5 5 5 5 0 5 5 5 5 5 5 5 5 5 2 5 0 3 5 5 5 5 5 1 5 5 5 5 5 5 1 1 0 0 3 0 5 0 0 0 2 0 0 4 0 0 0 5 1 0 0 0 0 1 0 0 0 0 0 2 1 0 0 1 0 1 5 1 0 1 5 5 5 5 5 5 5 5 0 5 5 5 5 5 0 5 5 5 5 0 5 5 5 5 2 5 5 3 5 5 2 5 0 1 5 5 5 5 5 5 5 5 0 0 5 0 5 5 5 0 5 5 0 0 0 1 5 0 5 0 5 5 0 5 2 5 5 3 4 1 1 0 0 1 5 5 0 1 5 5 5 1 2 0 5 2 5 0 5 0 5 5 0 0 5 1 5 0 5 0 3 5 0 5 5 5 5 5 4 2 5 0 0 5 5 1 2 1 5 5 1 1 2 0 5 2 0 0 0 0 5 0 0 0 5 5 0 0 5 0 3 5 5 2 5 5 5 5 4 2 5 0 0 5 0 1 4 1 0 5 1 1 1 0 3 2 0 5 0 0 2 0 0 0 0 5 0 0 1 0 3 0 5 1 0 0 0 0 4 1 5 0 0 1 0 1 4 1 0 1 1 1 1 0 3 2 0 5 0 0 2 0 0 0 0 0 0 1 1 5 3 0 0 1 0 0 0 0 4 3 1 0 5 1 0 1 4 1 0 1 1 5 5 5 3 5 0 0 1 5 3 0 5 5 5 0 5 5 1 5 5 0 0 2 5 0 5 5 5 5 2 5 5 5 5 5 5 5 1 3 1 5 5 5 3 5 0 0 1 5 3 0 5 5 5 5 5 5 1 5 5 0 0 2 5 0 5 5 5 5 5 5 5 5 5 5 5 5 1 5 5 5 0 3 3 3 5 5 0 5 5 0 5 5 0 5 5 2 1 5 5 0 5 1 0 0 0 0 5 5 4 0 0 1 0 5 5 5 5 1 5 5 0 5 3 3 3 5 2 5 5 0 5 5 4 5 5 3 1 5 5 2 5 5 0 0 5 5 5 5 5 5 0 4 0 5 0 5 5 4 1 1 0 5 3 3 3 0 5 0 2 0 0 3 5 0 0 5 1 0 0 2 0 5 2 5 5 5 0 5 5 5 1 4 3 4 0 1 0 4 1 1 5 5 5 5 3 0 5 0 2 5 0 3 5 0 0 5 5 0 0 5 0 1 5 5 0 0 0 5 5 0 5 5 5 4 0 1 4 5 5 1 5 5 5 5 4 0 5 0 2 5 0 3 0 0 0 0 5 0 0 5 0 1 5 0 0 0 0 3 5 0 5 5 5 4 0 2 5 5 5 1 5 0 3 5 4 0 0 0 2 5 0 3 0 0 0 0 1 0 0 0 0 1 5 0 0 0 0 3 1 0 5 1 0 4 0 1 5 1 1 1 5 0 3 5 5 0 0 0 5 0 0 3 0 0 0 4 1 0 0 0 0 1 0 5 5 0 0 3 1 0 0 1 0 4 5 1 0 1 1 5 0 1 3 5 5 5 2 5 5 0 5 5 0 5 5 4 1 5 5 0 5 2 0 5 5 0 5 3 1 5 0 4 3 5 5 5 0 1 </values>
2519.91/2520.01	v </instantiation>
2519.91/2520.01	

OK	24909

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292967-1532301369/watcher-4292967-1532301369 -o /tmp/evaluation-result-4292967-1532301369/solver-4292967-1532301369 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532296151-7763 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292967-1532301369.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=8463, runsolver pid=8460

[startup+0.100111 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8464
/proc/meminfo: memFree=21666240/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=36184 memory=12520 CPUtime=0.1 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 3325 0 0 0 10 0 0 0 20 0 1 0 47700111 37052416 3130 33554432000 4194304 6142532 140732585705872 140732585702504 139662584306661 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 9046 3130 841 476 0 2368 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36184 KiB
Current children cumulated memory: 12520 KiB

[startup+0.209645 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8464
/proc/meminfo: memFree=21649500/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=53216 memory=29736 CPUtime=0.2 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 7610 0 0 0 20 0 0 0 20 0 1 0 47700111 54493184 7434 33554432000 4194304 6142532 140732585705872 140732585702504 139662584744960 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 13304 7434 847 476 0 6626 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 29736 KiB

[startup+0.309563 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8464
/proc/meminfo: memFree=21630528/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=71996 memory=48536 CPUtime=0.31 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 12304 0 0 0 30 1 0 0 20 0 1 0 47700111 73723904 12134 33554432000 4194304 6142532 140732585705872 140732585702504 139662584306661 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 17999 12134 856 476 0 11321 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 71996 KiB
Current children cumulated memory: 48536 KiB

[startup+0.700298 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8464
/proc/meminfo: memFree=21608580/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=98736 memory=75288 CPUtime=0.69 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 19022 0 0 0 67 2 0 0 20 0 1 0 47700111 101105664 18822 33554432000 4194304 6142532 140732585705872 140732585702808 5347473 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 24684 18822 899 476 0 18006 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 98736 KiB
Current children cumulated memory: 75288 KiB

[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8464
/proc/meminfo: memFree=21599344/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=105816 memory=82416 CPUtime=1.49 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 20804 0 0 0 147 2 0 0 20 0 1 0 47700111 108355584 20604 33554432000 4194304 6142532 140732585705872 140732585702808 5215611 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 26454 20604 899 476 0 19776 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 105816 KiB
Current children cumulated memory: 82416 KiB

[startup+3.10952 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8464
/proc/meminfo: memFree=21594012/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=107568 memory=84348 CPUtime=3.1 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 34300 0 0 0 307 3 0 0 20 0 1 0 47700111 110149632 21087 33554432000 4194304 6142532 140732585705872 140732585702600 5347460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 26892 21087 899 476 0 20214 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 107568 KiB
Current children cumulated memory: 84348 KiB

[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8464
/proc/meminfo: memFree=21593176/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=108912 memory=85620 CPUtime=6.29 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 48280 0 0 0 625 4 0 0 20 0 1 0 47700111 111525888 21405 33554432000 4194304 6142532 140732585705872 140732585702584 5215649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 27228 21405 900 476 0 20550 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 108912 KiB
Current children cumulated memory: 85620 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8464
/proc/meminfo: memFree=21590168/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=110524 memory=87284 CPUtime=12.69 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 62575 0 0 0 1264 5 0 0 20 0 1 0 47700111 113176576 21821 33554432000 4194304 6142532 140732585705872 140732585702584 5215647 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 27631 21821 900 476 0 20953 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 110524 KiB
Current children cumulated memory: 87284 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8464
/proc/meminfo: memFree=21590680/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=110660 memory=87492 CPUtime=25.49 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 83076 0 0 0 2543 6 0 0 20 0 1 0 47700111 113315840 21873 33554432000 4194304 6142532 140732585705872 140732585702728 5347460 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 27665 21873 900 476 0 20987 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 110660 KiB
Current children cumulated memory: 87492 KiB

[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8464
/proc/meminfo: memFree=21590984/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=110796 memory=87592 CPUtime=51.08 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 89596 0 0 0 5102 6 0 0 20 0 1 0 47700111 113455104 21898 33554432000 4194304 6142532 140732585705872 140732585702728 5215649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 27699 21898 900 476 0 21021 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 110796 KiB
Current children cumulated memory: 87592 KiB

[startup+102.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 8465
/proc/meminfo: memFree=21590960/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=111200 memory=87896 CPUtime=102.26 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 90298 0 0 0 10220 6 0 0 20 0 1 0 47700111 113868800 21974 33554432000 4194304 6142532 140732585705872 140732585702648 5215649 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 27800 21974 900 476 0 21122 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 111200 KiB
Current children cumulated memory: 87896 KiB

[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 8466
/proc/meminfo: memFree=21590976/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=111332 memory=88096 CPUtime=162.26 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 90788 0 0 0 16220 6 0 0 20 0 1 0 47700111 114003968 22024 33554432000 4194304 6142532 140732585705872 140732585702648 5215647 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 27833 22024 900 476 0 21155 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 111332 KiB
Current children cumulated memory: 88096 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8467
/proc/meminfo: memFree=21589984/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=111332 memory=88112 CPUtime=222.26 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 91262 0 0 0 22220 6 0 0 20 0 1 0 47700111 114003968 22028 33554432000 4194304 6142532 140732585705872 140732585702648 5215594 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 27833 22028 900 476 0 21155 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 111332 KiB
Current children cumulated memory: 88112 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8476
/proc/meminfo: memFree=21589628/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=111332 memory=88112 CPUtime=282.26 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 91688 0 0 0 28220 6 0 0 20 0 1 0 47700111 114003968 22028 33554432000 4194304 6142532 140732585705872 140732585702648 5001200 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 27833 22028 900 476 0 21155 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 111332 KiB
Current children cumulated memory: 88112 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8477
/proc/meminfo: memFree=21588760/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=342.26 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 92392 0 0 0 34220 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585703400 5215632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8478
/proc/meminfo: memFree=21588956/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=402.26 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 92680 0 0 0 40220 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585703400 5336745 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8479
/proc/meminfo: memFree=21589204/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=462.25 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 92960 0 0 0 46219 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585703400 5329969 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB


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

/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8517
/proc/meminfo: memFree=21588144/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=1782.23 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 98618 0 0 0 178217 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585703400 5139736 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8518
/proc/meminfo: memFree=21588144/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=1842.22 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 98858 0 0 0 184216 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585703400 5215644 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8519
/proc/meminfo: memFree=21588268/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=1902.22 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 99074 0 0 0 190216 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585703400 5215647 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 8520
/proc/meminfo: memFree=21588268/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=1962.22 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 99382 0 0 0 196216 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585693144 5215647 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+2022.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 8521
/proc/meminfo: memFree=21588376/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=2022.22 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 99591 0 0 0 202216 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585693144 5215644 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 8530
/proc/meminfo: memFree=21587992/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=2082.22 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 99801 0 0 0 208216 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585693144 5335943 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 8531
/proc/meminfo: memFree=21588132/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=2142.22 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 100011 0 0 0 214216 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585693144 5124073 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 8532
/proc/meminfo: memFree=21588124/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=2202.22 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 100311 0 0 0 220216 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585693144 5001184 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 8533
/proc/meminfo: memFree=21588256/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=2262.21 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 100569 0 0 0 226215 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585693144 5138259 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 8534
/proc/meminfo: memFree=21587636/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=2322.21 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 100839 0 0 0 232215 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585693144 5335940 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 8600
/proc/meminfo: memFree=21632396/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=2382.21 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 101092 0 0 0 238215 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585693144 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 8601
/proc/meminfo: memFree=21631572/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=2442.21 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 101358 0 0 0 244215 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585693144 5215647 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 8602
/proc/meminfo: memFree=21631708/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=2502.21 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 101626 0 0 0 250215 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585693144 5138432 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 8603
/proc/meminfo: memFree=21631832/32770624 swapFree=67108860/67108860
[pid=8463] ppid=8460 vsize=112288 memory=89072 CPUtime=2519.91 cores=0,2,4,6
/proc/8463/stat : 8463 (cosoco) R 8460 8463 7732 0 -1 4202496 101840 0 0 0 251985 6 0 0 20 0 1 0 47700111 114982912 22268 33554432000 4194304 6142532 140732585705872 140732585693144 5138304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 32501760 140732585714822 140732585714952 140732585714952 140732585717710 0
/proc/8463/statm: 28072 22268 900 476 0 21394 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 112288 KiB
Current children cumulated memory: 89072 KiB

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

[startup+2520.01 s]
# the end of solver process 8463 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.86 s, system=0.068998 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.93
CPU user time (s): 2519.86
CPU system time (s): 0.068998
CPU usage (%): 99.9968
Max. virtual memory (cumulated for all children) (KiB): 112288
Max. memory (cumulated for all children) (KiB): 89072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.86
system time used= 0.068998
maximum resident set size= 89136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101893
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 3154


# summary of solver processes directly reported to runsolver:
#   pid: 8463
#   total CPU time (s): 2519.93
#   total CPU user time (s): 2519.86
#   total CPU system time (s): 0.068998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.63711 second user time and 16.1214 second system time

The end

Begin job on node137 at 2018-07-23 01:16:09
IDJOB=4292967
IDBENCH=141049
IDSOLVER=2752
FILE ID=node137/4292967-1532301369
RUNJOBID= node137-1532296151-7763
PBS_JOBID= 21018986
Free space on /tmp= 56892 MiB

SOLVER NAME= cosoco 1.12
BENCH NAME= XCSP18/NurseRostering/NurseRostering-10_c18.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292967-1532301369/watcher-4292967-1532301369 -o /tmp/evaluation-result-4292967-1532301369/solver-4292967-1532301369 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532296151-7763 --watchdog 2580  HOME/cosoco -lc -model -restarts HOME/instance-4292967-1532301369.xml

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

MD5SUM BENCH= 8e8c57bbf90dbce08cf7a3cf301ec8dd
RANDOM SEED=2134512097

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21674880 kB
MemAvailable:   31871192 kB
Buffers:          247644 kB
Cached:         10146432 kB
SwapCached:            0 kB
Active:          1808776 kB
Inactive:        8707736 kB
Active(anon):     125376 kB
Inactive(anon):    16944 kB
Active(file):    1683400 kB
Inactive(file):  8690792 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3088 kB
Writeback:             0 kB
AnonPages:        150480 kB
Mapped:            38588 kB
Shmem:             17036 kB
Slab:             277936 kB
SReclaimable:     250580 kB
SUnreclaim:        27356 kB
KernelStack:        3568 kB
PageTables:         5228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     409228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 56888 MiB
End job on node137 at 2018-07-23 01:58:10