Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| The dodo solver 2018-04-29 | SAT (TO) | 5364 | 2520.13 | 2494.54 |
| Name | Rlfap_mini/Rlfap-opt_mini/ Rlfap-ext-graph-07-opt_c18.xml |
| MD5SUM | 329b1afce400cc34fffd8b13b36e29fe |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 4324 |
| Best CPU time to get the best result obtained on this benchmark | 2520.09 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2554 |
| Number of constraints | 2472 |
| Number of domains | 11 |
| Minimum domain size | 2 |
| Maximum domain size | 44 |
| Distribution of domain sizes | [{"size":2,"count":2154},{"size":6,"count":34},{"size":22,"count":16},{"size":24,"count":18},{"size":36,"count":98},{"size":42,"count":76},{"size":44,"count":158}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 24 |
| Distribution of variable degrees | [{"degree":2,"count":2157},{"degree":3,"count":7},{"degree":4,"count":10},{"degree":5,"count":31},{"degree":6,"count":34},{"degree":7,"count":44},{"degree":8,"count":53},{"degree":9,"count":42},{"degree":10,"count":16},{"degree":11,"count":21},{"degree":12,"count":6},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":1},{"degree":17,"count":5},{"degree":18,"count":18},{"degree":19,"count":17},{"degree":20,"count":28},{"degree":21,"count":35},{"degree":22,"count":12},{"degree":23,"count":7},{"degree":24,"count":4}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":1,"count":118},{"arity":2,"count":384},{"arity":3,"count":1970}] |
| Number of extensional constraints | 2354 |
| Number of intensional constraints | 118 |
| Distribution of constraint types | [{"type":"extension","count":2354},{"type":"intension","count":118}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.12/0.13 c version: 2018-04-11 0.12/0.13 c seed: 1811631 0.12/0.13 c timeout: 2520 0.12/0.13 c memlimit: -1 0.12/0.13 c nbcore: -1 28.89/21.49 o 18775 28.89/21.49 o 18774 29.16/21.51 o 18737 29.16/21.51 o 18736 29.16/21.53 o 18718 29.16/21.53 o 18717 29.16/21.55 o 18573 29.16/21.56 o 18572 29.16/21.57 o 18554 29.16/21.57 o 18553 29.16/21.58 o 18533 29.16/21.59 o 18532 29.16/21.59 o 18514 29.16/21.59 o 18513 29.47/21.61 o 18506 29.47/21.61 o 18505 29.47/21.65 o 18371 29.47/21.65 o 18370 29.47/21.66 o 18352 29.47/21.66 o 18351 29.47/21.67 o 18344 29.47/21.67 o 18343 29.47/21.68 o 18331 29.47/21.68 o 18330 29.47/21.69 o 18312 29.47/21.69 o 18311 29.77/21.70 o 18304 29.77/21.71 o 18303 29.77/21.74 o 18299 29.77/21.74 o 18298 30.03/21.83 o 18297 30.03/21.84 o 18295 30.03/21.84 o 18294 30.03/21.85 o 18290 30.03/21.85 o 18289 30.21/21.90 o 18288 30.21/21.92 o 18286 30.21/21.92 o 18285 30.21/21.93 o 18281 30.21/21.93 o 18280 30.21/21.97 o 16774 30.21/21.97 o 16773 30.21/21.98 o 16572 30.21/21.98 o 16571 30.21/22.00 o 16370 30.21/22.00 o 16369 30.34/22.01 o 16365 30.34/22.01 o 16364 30.34/22.02 o 16351 30.34/22.02 o 16350 30.34/22.03 o 16343 30.34/22.04 o 16342 30.34/22.05 o 16341 30.34/22.06 o 16334 30.34/22.06 o 16333 30.34/22.07 o 16330 30.34/22.07 o 16329 30.34/22.07 o 16325 30.34/22.08 o 16324 30.34/22.08 o 16321 30.34/22.08 o 16320 30.34/22.09 o 16316 30.34/22.09 o 16315 30.34/22.09 o 16311 30.34/22.10 o 16310 30.34/22.10 o 16306 30.34/22.10 o 16305 30.45/22.11 o 16302 30.45/22.11 o 16301 30.45/22.11 o 16297 30.45/22.12 o 16296 30.45/22.13 o 16294 30.45/22.13 o 16293 30.45/22.13 o 16289 30.45/22.14 o 16288 54.25/43.89 o 15278 529.78/516.55 o 13376 545.58/532.34 o 12495 588.03/574.75 o 10494 1396.30/1382.21 o 10475 1408.41/1394.37 o 8464 1531.76/1517.41 o 8364 2272.74/2251.23 o 8355 2275.50/2253.91 o 7355 2319.91/2297.66 o 5455 2332.30/2309.88 o 5364 2520.08/2494.50 s SATISFIABLE 2520.08/2494.51 v <instantiation> 2520.08/2494.51 v <list> 2520.08/2494.51 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] 2520.08/2494.51 v </list> 2520.08/2494.51 v <values> 2520.08/2494.51 v 72 310 666 428 778 540 58 296 16 254 156 394 414 652 30 268 736 498 778 540 680 442 30 268 792 554 792 554 30 268 142 380 750 512 666 428 792 554 16 254 156 394 58 296 170 408 666 428 16 254 240 478 16 254 666 428 722 484 498 736 240 478 736 498 16 254 778 540 764 526 792 554 764 526 16 254 128 366 792 554 792 554 114 352 484 722 680 442 722 484 128 366 708 470 30 268 680 442 16 254 58 296 16 254 792 554 44 282 764 526 240 478 792 554 750 512 680 442 442 680 778 540 114 352 72 310 652 414 100 338 722 484 722 484 72 310 708 470 16 254 652 414 72 310 708 470 240 478 44 282 44 282 778 540 30 268 128 366 708 470 694 456 16 254 708 470 100 338 170 408 380 142 694 456 792 554 128 366 708 470 240 478 156 394 652 414 44 282 708 470 792 554 240 478 16 254 792 554 72 310 750 512 792 554 694 456 100 338 792 554 764 526 694 456 114 352 142 380 240 478 792 554 764 526 44 282 778 540 652 414 722 484 16 254 86 324 16 254 128 366 16 254 16 254 128 366 170 408 708 470 44 282 240 478 58 296 652 414 554 792 680 442 792 554 750 512 16 254 100 338 764 526 240 478 142 380 100 338 652 414 16 254 240 478 666 428 750 512 114 352 156 394 680 442 792 554 722 484 792 554 16 254 16 254 680 442 750 512 792 554 100 338 778 540 722 484 86 324 736 498 16 254 128 366 764 526 30 268 128 366 666 428 128 366 778 540 694 456 58 296 58 296 128 366 680 442 16 254 652 414 694 456 792 554 694 456 778 540 170 408 16 254 114 352 792 554 792 554 764 526 736 498 708 470 58 296 30 268 778 540 86 324 16 254 240 478 16 254 254 16 680 442 170 408 114 352 708 470 30 268 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 0 0 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2520.08/2494.51 v </values> 2520.08/2494.51 v </instantiation>
OK 5364
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 (9082 MiB free)
memory of node 1: 16384 MiB (10246 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298188-1532748468/watcher-4298188-1532748468 -o /tmp/evaluation-result-4298188-1532748468/solver-4298188-1532748468 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532740019-20128 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298188-1532748468.xml --timelimit 2520
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=21227, runsolver pid=21224
[startup+0.10011 s]*
/proc/loadavg: 1.42 1.58 1.60 4/215 21242
/proc/meminfo: memFree=19776860/32770624 swapFree=67108796/67108860
[pid=21227] ppid=21224 vsize=10658972 memory=27436 CPUtime=0.12 cores=0,2,4,6
/proc/21227/stat : 21227 (java) S 21224 21227 25017 0 -1 1077944320 5236 0 0 0 11 1 0 0 20 0 15 0 92409963 10914787328 6859 33554432000 4194304 4196468 140723683868176 140723683850720 140337184001783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
/proc/21227/statm: 2664743 6859 2834 1 0 2627263 0
[pid=21227/tid=21229] ppid=21224 vsize=10658972 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/21227/task/21229/stat : 21229 (java) R 21224 21227 25017 0 -1 4202560 3107 0 0 0 8 1 0 0 20 0 15 0 92409964 10914787328 6859 33554432000 4194304 4196468 140723683868176 140337188229872 140337184013718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21230] ppid=21224 vsize=10658972 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21230/stat : 21230 (java) S 21224 21227 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409964 10914787328 6859 33554432000 4194304 4196468 140723683868176 140337120693008 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21231] ppid=21224 vsize=10658972 memory=140612399113856 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21231/stat : 21231 (java) S 21224 21227 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409964 10914787328 6859 33554432000 4194304 4196468 140723683868176 140337119640464 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21232] ppid=21224 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21232/stat : 21232 (java) S 21224 21227 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409964 10914787328 6859 33554432000 4194304 4196468 140723683868176 140337118587920 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21233] ppid=21224 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21233/stat : 21233 (java) S 21224 21227 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409964 10914787328 6859 33554432000 4194304 4196468 140723683868176 140336787483792 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21234] ppid=21224 vsize=10658972 memory=140612399113856 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21234/stat : 21234 (java) S 21224 21227 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409966 10914787328 6859 33554432000 4194304 4196468 140723683868176 140336219052016 140337184012930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21235] ppid=21224 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21235/stat : 21235 (java) S 21224 21227 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92409966 10914787328 6859 33554432000 4194304 4196468 140723683868176 140336217998240 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21236] ppid=21224 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21236/stat : 21236 (java) S 21224 21227 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92409966 10914787328 6859 33554432000 4194304 4196468 140723683868176 140336216945648 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21237] ppid=21224 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21237/stat : 21237 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10914787328 6859 33554432000 4194304 4196468 140723683868176 140336215894224 140337184020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21238] ppid=21224 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21238/stat : 21238 (java) R 21224 21227 25017 0 -1 4202560 444 0 0 0 0 0 0 0 20 0 15 0 92409969 10914787328 6859 33554432000 4194304 4196468 140723683868176 140336214842136 140337163655664 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21239] ppid=21224 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21239/stat : 21239 (java) R 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10914787328 6859 33554432000 4194304 4196468 140723683868176 140336213789296 140337184012930 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21240] ppid=21224 vsize=10658972 memory=140612399113856 CPUtime=0.02 cores=0,2,4,6
/proc/21227/task/21240/stat : 21240 (java) R 21224 21227 25017 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 92409969 10914787328 6859 33554432000 4194304 4196468 140723683868176 140336212736752 140337169292912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21241] ppid=21224 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21241/stat : 21241 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10914787328 6859 33554432000 4194304 4196468 140723683868176 140336211684448 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21242] ppid=21224 vsize=10658972 memory=140612399113856 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21242/stat : 21242 (java) R 21224 21227 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409969 10914787328 6859 33554432000 4194304 4196468 140723683868176 140336210630960 140337184012930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27436 KiB
[startup+0.210509 s]*
/proc/loadavg: 1.46 1.59 1.60 5/215 21242
/proc/meminfo: memFree=19763896/32770624 swapFree=67108796/67108860
[pid=21227] ppid=21224 vsize=10661056 memory=40188 CPUtime=0.33 cores=0,2,4,6
/proc/21227/stat : 21227 (java) S 21224 21227 25017 0 -1 1077944320 8190 0 0 0 31 2 0 0 20 0 15 0 92409963 10916921344 10047 33554432000 4194304 4196468 140723683868176 140723683850720 140337184001783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
/proc/21227/statm: 2665264 10047 2970 1 0 2627263 0
[pid=21227/tid=21229] ppid=21224 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/21227/task/21229/stat : 21229 (java) R 21224 21227 25017 0 -1 4202560 5107 0 0 0 18 2 0 0 20 0 15 0 92409964 10916921344 10047 33554432000 4194304 4196468 140723683868176 140337188239584 140337168082270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21230] ppid=21224 vsize=10661056 memory=345 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21230/stat : 21230 (java) S 21224 21227 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409964 10916921344 10047 33554432000 4194304 4196468 140723683868176 140337120693008 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21231] ppid=21224 vsize=10661056 memory=140612399685077 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21231/stat : 21231 (java) S 21224 21227 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409964 10916921344 10047 33554432000 4194304 4196468 140723683868176 140337119640464 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21232] ppid=21224 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21232/stat : 21232 (java) S 21224 21227 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409964 10916921344 10047 33554432000 4194304 4196468 140723683868176 140337118587920 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21233] ppid=21224 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21233/stat : 21233 (java) S 21224 21227 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409964 10916921344 10047 33554432000 4194304 4196468 140723683868176 140336787483792 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21234] ppid=21224 vsize=10661056 memory=140612399113856 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21234/stat : 21234 (java) S 21224 21227 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409966 10916921344 10047 33554432000 4194304 4196468 140723683868176 140336219052016 140337184012930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21235] ppid=21224 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21235/stat : 21235 (java) S 21224 21227 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92409966 10916921344 10047 33554432000 4194304 4196468 140723683868176 140336217998240 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21236] ppid=21224 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21236/stat : 21236 (java) S 21224 21227 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92409966 10916921344 10047 33554432000 4194304 4196468 140723683868176 140336216945648 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21237] ppid=21224 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21237/stat : 21237 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916921344 10047 33554432000 4194304 4196468 140723683868176 140336215894224 140337184020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21238] ppid=21224 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21227/task/21238/stat : 21238 (java) R 21224 21227 25017 0 -1 1077944384 778 0 0 0 2 0 0 0 20 0 15 0 92409969 10916921344 10047 33554432000 4194304 4196468 140723683868176 140336214841840 140337184012930 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21239] ppid=21224 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21227/task/21239/stat : 21239 (java) R 21224 21227 25017 0 -1 4202560 167 0 0 0 2 0 0 0 20 0 15 0 92409969 10916921344 10047 33554432000 4194304 4196468 140723683868176 140336213779216 140337176238910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21240] ppid=21224 vsize=10661056 memory=140612399113856 CPUtime=0.08 cores=0,2,4,6
/proc/21227/task/21240/stat : 21240 (java) R 21224 21227 25017 0 -1 4202560 792 0 0 0 8 0 0 0 20 0 15 0 92409969 10916921344 10047 33554432000 4194304 4196468 140723683868176 140336212736752 140337176238910 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21241] ppid=21224 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21241/stat : 21241 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916921344 10047 33554432000 4194304 4196468 140723683868176 140336211684448 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21242] ppid=21224 vsize=10661056 memory=140612399113856 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21242/stat : 21242 (java) S 21224 21227 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409969 10916921344 10047 33554432000 4194304 4196468 140723683868176 140336210630960 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40188 KiB
[startup+0.311089 s]*
/proc/loadavg: 1.46 1.59 1.60 5/215 21242
/proc/meminfo: memFree=19725736/32770624 swapFree=67108796/67108860
[pid=21227] ppid=21224 vsize=10661056 memory=83092 CPUtime=0.64 cores=0,2,4,6
/proc/21227/stat : 21227 (java) S 21224 21227 25017 0 -1 1077944320 9578 0 0 0 60 4 0 0 20 0 15 0 92409963 10916921344 20773 33554432000 4194304 4196468 140723683868176 140723683850720 140337184001783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
/proc/21227/statm: 2665264 20773 3040 1 0 2627263 0
[pid=21227/tid=21229] ppid=21224 vsize=10661056 memory=53476 CPUtime=0.3 cores=0,2,4,6
/proc/21227/task/21229/stat : 21229 (java) R 21224 21227 25017 0 -1 4202560 5137 0 0 0 27 3 0 0 20 0 15 0 92409964 10916921344 20773 33554432000 4194304 4196468 140723683868176 140337188239392 140337184023709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21230] ppid=21224 vsize=10661056 memory=35 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21230/stat : 21230 (java) S 21224 21227 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409964 10916921344 20773 33554432000 4194304 4196468 140723683868176 140337120693008 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21231] ppid=21224 vsize=10661056 memory=140612399171872 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21231/stat : 21231 (java) S 21224 21227 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409964 10916921344 20773 33554432000 4194304 4196468 140723683868176 140337119640464 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21232] ppid=21224 vsize=10661056 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21232/stat : 21232 (java) S 21224 21227 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409964 10916921344 20773 33554432000 4194304 4196468 140723683868176 140337118587920 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21233] ppid=21224 vsize=10661056 memory=35 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21233/stat : 21233 (java) S 21224 21227 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409964 10916921344 20773 33554432000 4194304 4196468 140723683868176 140336787483792 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21234] ppid=21224 vsize=10661056 memory=140612399178784 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21234/stat : 21234 (java) S 21224 21227 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92409966 10916921344 20773 33554432000 4194304 4196468 140723683868176 140336219052016 140337184012930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21235] ppid=21224 vsize=10661056 memory=35 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21235/stat : 21235 (java) S 21224 21227 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92409966 10916921344 20773 33554432000 4194304 4196468 140723683868176 140336217998240 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21236] ppid=21224 vsize=10661056 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21236/stat : 21236 (java) S 21224 21227 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92409966 10916921344 20773 33554432000 4194304 4196468 140723683868176 140336216945648 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21237] ppid=21224 vsize=10661056 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21237/stat : 21237 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916921344 20773 33554432000 4194304 4196468 140723683868176 140336215894224 140337184020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21238] ppid=21224 vsize=10661056 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/21227/task/21238/stat : 21238 (java) R 21224 21227 25017 0 -1 4202560 1200 0 0 0 10 0 0 0 20 0 15 0 92409969 10916921344 20773 33554432000 4194304 4196468 140723683868176 140336214827864 140337162020112 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21239] ppid=21224 vsize=10661056 memory=140612263333391 CPUtime=0.11 cores=0,2,4,6
/proc/21227/task/21239/stat : 21239 (java) R 21224 21227 25017 0 -1 4202560 1003 0 0 0 11 0 0 0 20 0 15 0 92409969 10916921344 20773 33554432000 4194304 4196468 140723683868176 140336213770312 140337167485199 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21240] ppid=21224 vsize=10661056 memory=140612399134906 CPUtime=0.11 cores=0,2,4,6
/proc/21227/task/21240/stat : 21240 (java) S 21224 21227 25017 0 -1 1077944384 870 0 0 0 11 0 0 0 20 0 15 0 92409969 10916921344 20773 33554432000 4194304 4196468 140723683868176 140336212736752 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21241] ppid=21224 vsize=10661056 memory=140612263337935 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21241/stat : 21241 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916921344 20773 33554432000 4194304 4196468 140723683868176 140336211684448 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21242] ppid=21224 vsize=10661056 memory=281224662468544 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21242/stat : 21242 (java) S 21224 21227 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409969 10916921344 20773 33554432000 4194304 4196468 140723683868176 140336210630960 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 83092 KiB
[startup+0.710099 s]
/proc/loadavg: 1.46 1.59 1.60 6/215 21242
/proc/meminfo: memFree=19691736/32770624 swapFree=67108796/67108860
[pid=21227] ppid=21224 vsize=10661132 memory=226184 CPUtime=1.94 cores=0,2,4,6
/proc/21227/stat : 21227 (java) S 21224 21227 25017 0 -1 1077944320 12244 0 0 0 183 11 0 0 20 0 15 0 92409963 10916999168 56034 33554432000 4194304 4196468 140723683868176 140723683850720 140337184001783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
/proc/21227/statm: 2665283 56034 3096 1 0 2627263 0
[pid=21227/tid=21229] ppid=21224 vsize=10661132 memory=2372 CPUtime=0.66 cores=0,2,4,6
/proc/21227/task/21229/stat : 21229 (java) S 21224 21227 25017 0 -1 1077944384 5559 0 0 0 62 4 0 0 20 0 15 0 92409964 10916999168 56546 33554432000 4194304 4196468 140723683868176 140337188237488 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21230] ppid=21224 vsize=10661132 memory=6872598998417432672 CPUtime=0.01 cores=0,2,4,6
/proc/21227/task/21230/stat : 21230 (java) R 21224 21227 25017 0 -1 4202560 30 0 0 0 0 1 0 0 20 0 15 0 92409964 10916999168 56546 33554432000 4194304 4196468 140723683868176 140337120693208 140337177104500 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21231] ppid=21224 vsize=10661132 memory=7024 CPUtime=0.01 cores=0,2,4,6
/proc/21227/task/21231/stat : 21231 (java) R 21224 21227 25017 0 -1 4202560 29 0 0 0 0 1 0 0 20 0 15 0 92409964 10916999168 56546 33554432000 4194304 4196468 140723683868176 140337119640464 140337176629991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21232] ppid=21224 vsize=10661132 memory=15044 CPUtime=0.01 cores=0,2,4,6
/proc/21227/task/21232/stat : 21232 (java) R 21224 21227 25017 0 -1 4202560 13 0 0 0 0 1 0 0 20 0 15 0 92409964 10916999168 56546 33554432000 4194304 4196468 140723683868176 140337118588040 140337176629991 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21233] ppid=21224 vsize=10661132 memory=20176 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21233/stat : 21233 (java) R 21224 21227 25017 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 15 0 92409964 10916999168 56546 33554432000 4194304 4196468 140723683868176 140336787483992 140337177098675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21234] ppid=21224 vsize=10661132 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21234/stat : 21234 (java) S 21224 21227 25017 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 92409966 10916999168 56546 33554432000 4194304 4196468 140723683868176 140336219050528 140337184011989 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21235] ppid=21224 vsize=10661132 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21235/stat : 21235 (java) S 21224 21227 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92409966 10916999168 56546 33554432000 4194304 4196468 140723683868176 140336217998240 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21236] ppid=21224 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21236/stat : 21236 (java) S 21224 21227 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92409966 10916999168 56546 33554432000 4194304 4196468 140723683868176 140336216945648 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21237] ppid=21224 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21237/stat : 21237 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916999168 56546 33554432000 4194304 4196468 140723683868176 140336215894224 140337184020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21238] ppid=21224 vsize=10661132 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/21227/task/21238/stat : 21238 (java) R 21224 21227 25017 0 -1 4202560 2221 0 0 0 46 0 0 0 20 0 15 0 92409969 10916999168 56546 33554432000 4194304 4196468 140723683868176 140336214830592 140337165546227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21239] ppid=21224 vsize=10661132 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/21227/task/21239/stat : 21239 (java) S 21224 21227 25017 0 -1 1077944384 1597 0 0 0 44 0 0 0 20 0 15 0 92409969 10916999168 56546 33554432000 4194304 4196468 140723683868176 140336213774288 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21240] ppid=21224 vsize=10661132 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/21227/task/21240/stat : 21240 (java) S 21224 21227 25017 0 -1 1077944384 1401 0 0 0 26 0 0 0 20 0 15 0 92409969 10916999168 56546 33554432000 4194304 4196468 140723683868176 140336212736752 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21241] ppid=21224 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21241/stat : 21241 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916999168 56546 33554432000 4194304 4196468 140723683868176 140336211684448 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21242] ppid=21224 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21242/stat : 21242 (java) S 21224 21227 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92409969 10916999168 56546 33554432000 4194304 4196468 140723683868176 140336210630960 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
Current children cumulated CPU time: 1.94 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 226184 KiB
[startup+1.50075 s]
/proc/loadavg: 1.46 1.59 1.60 3/215 21242
/proc/meminfo: memFree=19536464/32770624 swapFree=67108796/67108860
[pid=21227] ppid=21224 vsize=10661132 memory=424280 CPUtime=3.38 cores=0,2,4,6
/proc/21227/stat : 21227 (java) S 21224 21227 25017 0 -1 1077944320 13488 0 0 0 315 23 0 0 20 0 15 0 92409963 10916999168 106070 33554432000 4194304 4196468 140723683868176 140723683850720 140337184001783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
/proc/21227/statm: 2665283 106070 3131 1 0 2627263 0
[pid=21227/tid=21229] ppid=21224 vsize=10661132 memory=3546358444495951983 CPUtime=1.38 cores=0,2,4,6
/proc/21227/task/21229/stat : 21229 (java) R 21224 21227 25017 0 -1 4202560 5622 0 0 0 132 6 0 0 20 0 15 0 92409964 10916999168 106070 33554432000 4194304 4196468 140723683868176 140337188238080 140336801444454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21230] ppid=21224 vsize=10661132 memory=254212 CPUtime=0.08 cores=0,2,4,6
/proc/21227/task/21230/stat : 21230 (java) S 21224 21227 25017 0 -1 1077944384 138 0 0 0 4 4 0 0 20 0 15 0 92409964 10916999168 106070 33554432000 4194304 4196468 140723683868176 140337120693008 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21231] ppid=21224 vsize=10661132 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/21227/task/21231/stat : 21231 (java) S 21224 21227 25017 0 -1 1077944384 171 0 0 0 4 3 0 0 20 0 15 0 92409964 10916999168 106070 33554432000 4194304 4196468 140723683868176 140337119640464 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21232] ppid=21224 vsize=10661132 memory=7024 CPUtime=0.06 cores=0,2,4,6
/proc/21227/task/21232/stat : 21232 (java) S 21224 21227 25017 0 -1 1077944384 375 0 0 0 3 3 0 0 20 0 15 0 92409964 10916999168 106070 33554432000 4194304 4196468 140723683868176 140337118587920 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21233] ppid=21224 vsize=10661132 memory=15044 CPUtime=0.06 cores=0,2,4,6
/proc/21227/task/21233/stat : 21233 (java) S 21224 21227 25017 0 -1 1077944384 97 0 0 0 4 2 0 0 20 0 15 0 92409964 10916999168 106070 33554432000 4194304 4196468 140723683868176 140336787483792 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21234] ppid=21224 vsize=10661132 memory=20176 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21234/stat : 21234 (java) S 21224 21227 25017 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 92409966 10916999168 106070 33554432000 4194304 4196468 140723683868176 140336219052016 140337184012930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
################
# More data... #
################
/proc/21227/task/21229/stat : 21229 (java) R 21224 21227 25017 0 -1 4202560 847455 0 0 0 237479 91 0 0 20 0 15 0 92409964 10916999168 499473 33554432000 4194304 4196468 140723683868176 140337188241600 140336805529884 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21230] ppid=21224 vsize=10661132 memory=2007128 CPUtime=5.57 cores=0,2,4,6
/proc/21227/task/21230/stat : 21230 (java) S 21224 21227 25017 0 -1 1077944384 54350 0 0 0 502 55 0 0 20 0 15 0 92409964 10916999168 499473 33554432000 4194304 4196468 140723683868176 140337120693008 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21231] ppid=21224 vsize=10661132 memory=2001996 CPUtime=5.54 cores=0,2,4,6
/proc/21227/task/21231/stat : 21231 (java) S 21224 21227 25017 0 -1 1077944384 53487 0 0 0 498 56 0 0 20 0 15 0 92409964 10916999168 499473 33554432000 4194304 4196468 140723683868176 140337119640464 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21232] ppid=21224 vsize=10661132 memory=2000972 CPUtime=5.54 cores=0,2,4,6
/proc/21227/task/21232/stat : 21232 (java) S 21224 21227 25017 0 -1 1077944384 56347 0 0 0 498 56 0 0 20 0 15 0 92409964 10916999168 499473 33554432000 4194304 4196468 140723683868176 140337118587920 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21233] ppid=21224 vsize=10661132 memory=1998920 CPUtime=5.55 cores=0,2,4,6
/proc/21227/task/21233/stat : 21233 (java) S 21224 21227 25017 0 -1 1077944384 52488 0 0 0 501 54 0 0 20 0 15 0 92409964 10916999168 499473 33554432000 4194304 4196468 140723683868176 140336787483792 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21234] ppid=21224 vsize=10661132 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/21227/task/21234/stat : 21234 (java) S 21224 21227 25017 0 -1 1077944384 16566 0 0 0 40 18 0 0 20 0 15 0 92409966 10916999168 499473 33554432000 4194304 4196468 140723683868176 140336219052016 140337184012930 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21235] ppid=21224 vsize=10661132 memory=2640 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21235/stat : 21235 (java) S 21224 21227 25017 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 92409966 10916999168 499473 33554432000 4194304 4196468 140723683868176 140336217998304 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21236] ppid=21224 vsize=10661132 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21236/stat : 21236 (java) S 21224 21227 25017 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 92409966 10916999168 499473 33554432000 4194304 4196468 140723683868176 140336216945648 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21237] ppid=21224 vsize=10661132 memory=3708 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21237/stat : 21237 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916999168 499473 33554432000 4194304 4196468 140723683868176 140336215894224 140337184020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21238] ppid=21224 vsize=10661132 memory=26636 CPUtime=3.28 cores=0,2,4,6
/proc/21227/task/21238/stat : 21238 (java) S 21224 21227 25017 0 -1 1077944384 16080 0 0 0 326 2 0 0 20 0 15 0 92409969 10916999168 499473 33554432000 4194304 4196468 140723683868176 140336214841840 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21239] ppid=21224 vsize=10661132 memory=259 CPUtime=2.32 cores=0,2,4,6
/proc/21227/task/21239/stat : 21239 (java) S 21224 21227 25017 0 -1 1077944384 8872 0 0 0 231 1 0 0 20 0 15 0 92409969 10916999168 499473 33554432000 4194304 4196468 140723683868176 140336213789296 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21240] ppid=21224 vsize=10661132 memory=7720 CPUtime=0.67 cores=0,2,4,6
/proc/21227/task/21240/stat : 21240 (java) S 21224 21227 25017 0 -1 1077944384 6383 0 0 0 66 1 0 0 20 0 15 0 92409969 10916999168 499473 33554432000 4194304 4196468 140723683868176 140336212736752 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21241] ppid=21224 vsize=10661132 memory=3228 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21241/stat : 21241 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916999168 499473 33554432000 4194304 4196468 140723683868176 140336211684448 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21242] ppid=21224 vsize=10661132 memory=1999432 CPUtime=1.14 cores=0,2,4,6
/proc/21227/task/21242/stat : 21242 (java) S 21224 21227 25017 0 -1 1077944384 1984 0 0 0 57 57 0 0 20 0 15 0 92409969 10916999168 499473 33554432000 4194304 4196468 140723683868176 140336210630960 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
Current children cumulated CPU time: 2405.99 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1997892 KiB
[startup+2442.3 s]
/proc/loadavg: 1.58 1.72 1.75 3/215 21496
/proc/meminfo: memFree=16007660/32770624 swapFree=67108796/67108860
[pid=21227] ppid=21224 vsize=10661132 memory=1949672 CPUtime=2466.99 cores=0,2,4,6
/proc/21227/stat : 21227 (java) S 21224 21227 25017 0 -1 1077944320 1119304 0 0 0 246317 382 0 0 20 0 15 0 92409963 10916999168 487418 33554432000 4194304 4196468 140723683868176 140723683850720 140337184001783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
/proc/21227/statm: 2665283 487418 3195 1 0 2627263 0
[pid=21227/tid=21229] ppid=21224 vsize=10661132 memory=1957364 CPUtime=2435.29 cores=0,2,4,6
/proc/21227/task/21229/stat : 21229 (java) R 21224 21227 25017 0 -1 4202560 848747 0 0 0 243438 91 0 0 20 0 15 0 92409964 10916999168 487418 33554432000 4194304 4196468 140723683868176 140337188241488 140336805633501 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21230] ppid=21224 vsize=10661132 memory=1957364 CPUtime=5.91 cores=0,2,4,6
/proc/21227/task/21230/stat : 21230 (java) S 21224 21227 25017 0 -1 1077944384 55238 0 0 0 535 56 0 0 20 0 15 0 92409964 10916999168 487418 33554432000 4194304 4196468 140723683868176 140337120693008 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21231] ppid=21224 vsize=10661132 memory=1952748 CPUtime=5.88 cores=0,2,4,6
/proc/21227/task/21231/stat : 21231 (java) S 21224 21227 25017 0 -1 1077944384 54058 0 0 0 532 56 0 0 20 0 15 0 92409964 10916999168 487418 33554432000 4194304 4196468 140723683868176 140337119640464 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21232] ppid=21224 vsize=10661132 memory=1950184 CPUtime=5.87 cores=0,2,4,6
/proc/21227/task/21232/stat : 21232 (java) S 21224 21227 25017 0 -1 1077944384 56675 0 0 0 531 56 0 0 20 0 15 0 92409964 10916999168 487418 33554432000 4194304 4196468 140723683868176 140337118587920 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21233] ppid=21224 vsize=10661132 memory=0 CPUtime=5.88 cores=0,2,4,6
/proc/21227/task/21233/stat : 21233 (java) S 21224 21227 25017 0 -1 1077944384 52994 0 0 0 534 54 0 0 20 0 15 0 92409964 10916999168 487418 33554432000 4194304 4196468 140723683868176 140336787483792 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21234] ppid=21224 vsize=10661132 memory=1951724 CPUtime=0.62 cores=0,2,4,6
/proc/21227/task/21234/stat : 21234 (java) S 21224 21227 25017 0 -1 1077944384 16821 0 0 0 43 19 0 0 20 0 15 0 92409966 10916999168 487418 33554432000 4194304 4196468 140723683868176 140336219052016 140337184012930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21235] ppid=21224 vsize=10661132 memory=7524 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21235/stat : 21235 (java) S 21224 21227 25017 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 92409966 10916999168 487418 33554432000 4194304 4196468 140723683868176 140336217998304 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21236] ppid=21224 vsize=10661132 memory=1954288 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21236/stat : 21236 (java) S 21224 21227 25017 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 92409966 10916999168 487418 33554432000 4194304 4196468 140723683868176 140336216945648 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21237] ppid=21224 vsize=10661132 memory=1954288 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21237/stat : 21237 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916999168 487418 33554432000 4194304 4196468 140723683868176 140336215894224 140337184020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21238] ppid=21224 vsize=10661132 memory=1953260 CPUtime=3.28 cores=0,2,4,6
/proc/21227/task/21238/stat : 21238 (java) S 21224 21227 25017 0 -1 1077944384 16084 0 0 0 326 2 0 0 20 0 15 0 92409969 10916999168 487418 33554432000 4194304 4196468 140723683868176 140336214841840 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21239] ppid=21224 vsize=10661132 memory=3708 CPUtime=2.32 cores=0,2,4,6
/proc/21227/task/21239/stat : 21239 (java) S 21224 21227 25017 0 -1 1077944384 8875 0 0 0 231 1 0 0 20 0 15 0 92409969 10916999168 487418 33554432000 4194304 4196468 140723683868176 140336213789296 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21240] ppid=21224 vsize=10661132 memory=1950184 CPUtime=0.67 cores=0,2,4,6
/proc/21227/task/21240/stat : 21240 (java) S 21224 21227 25017 0 -1 1077944384 6386 0 0 0 66 1 0 0 20 0 15 0 92409969 10916999168 487418 33554432000 4194304 4196468 140723683868176 140336212736752 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21241] ppid=21224 vsize=10661132 memory=4032 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21241/stat : 21241 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916999168 487418 33554432000 4194304 4196468 140723683868176 140336211684448 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21242] ppid=21224 vsize=10661132 memory=1954288 CPUtime=1.17 cores=0,2,4,6
/proc/21227/task/21242/stat : 21242 (java) S 21224 21227 25017 0 -1 1077944384 2007 0 0 0 59 58 0 0 20 0 15 0 92409969 10916999168 487418 33554432000 4194304 4196468 140723683868176 140336210630960 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
Current children cumulated CPU time: 2466.99 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1949672 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2494.5 s]
/proc/loadavg: 1.63 1.70 1.74 3/215 21497
/proc/meminfo: memFree=16132496/32770624 swapFree=67108796/67108860
[pid=21227] ppid=21224 vsize=10661132 memory=1908116 CPUtime=2520.08 cores=0,2,4,6
/proc/21227/stat : 21227 (java) S 21224 21227 25017 0 -1 1077944320 1123062 0 0 0 251623 385 0 0 20 0 15 0 92409963 10916999168 477029 33554432000 4194304 4196468 140723683868176 140723683850720 140337184001783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
/proc/21227/statm: 2665283 477029 3195 1 0 2627263 0
[pid=21227/tid=21229] ppid=21224 vsize=10661132 memory=1909656 CPUtime=2487.12 cores=0,2,4,6
/proc/21227/task/21229/stat : 21229 (java) R 21224 21227 25017 0 -1 4202560 850010 0 0 0 248621 91 0 0 20 0 15 0 92409964 10916999168 477029 33554432000 4194304 4196468 140723683868176 140337188241600 140336805633869 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21230] ppid=21224 vsize=10661132 memory=1912736 CPUtime=6.21 cores=0,2,4,6
/proc/21227/task/21230/stat : 21230 (java) S 21224 21227 25017 0 -1 1077944384 56061 0 0 0 565 56 0 0 20 0 15 0 92409964 10916999168 477029 33554432000 4194304 4196468 140723683868176 140337120693008 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21231] ppid=21224 vsize=10661132 memory=1917352 CPUtime=6.17 cores=0,2,4,6
/proc/21227/task/21231/stat : 21231 (java) S 21224 21227 25017 0 -1 1077944384 54542 0 0 0 561 56 0 0 20 0 15 0 92409964 10916999168 477029 33554432000 4194304 4196468 140723683868176 140337119640464 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21232] ppid=21224 vsize=10661132 memory=1915812 CPUtime=6.17 cores=0,2,4,6
/proc/21227/task/21232/stat : 21232 (java) S 21224 21227 25017 0 -1 1077944384 56979 0 0 0 561 56 0 0 20 0 15 0 92409964 10916999168 477029 33554432000 4194304 4196468 140723683868176 140337118587920 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21233] ppid=21224 vsize=10661132 memory=1914272 CPUtime=6.18 cores=0,2,4,6
/proc/21227/task/21233/stat : 21233 (java) S 21224 21227 25017 0 -1 1077944384 53589 0 0 0 564 54 0 0 20 0 15 0 92409964 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336787483792 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21234] ppid=21224 vsize=10661132 memory=1933256 CPUtime=0.66 cores=0,2,4,6
/proc/21227/task/21234/stat : 21234 (java) S 21224 21227 25017 0 -1 1077944384 17066 0 0 0 46 20 0 0 20 0 15 0 92409966 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336219052016 140337184012930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21235] ppid=21224 vsize=10661132 memory=1925048 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21235/stat : 21235 (java) S 21224 21227 25017 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 92409966 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336217998304 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21236] ppid=21224 vsize=10661132 memory=1937872 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21236/stat : 21236 (java) S 21224 21227 25017 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 92409966 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336216945648 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21237] ppid=21224 vsize=10661132 memory=1921968 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21237/stat : 21237 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336215894224 140337184020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21238] ppid=21224 vsize=10661132 memory=1908116 CPUtime=3.28 cores=0,2,4,6
/proc/21227/task/21238/stat : 21238 (java) S 21224 21227 25017 0 -1 1077944384 16086 0 0 0 326 2 0 0 20 0 15 0 92409969 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336214841840 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21239] ppid=21224 vsize=10661132 memory=1909656 CPUtime=2.32 cores=0,2,4,6
/proc/21227/task/21239/stat : 21239 (java) S 21224 21227 25017 0 -1 1077944384 8878 0 0 0 231 1 0 0 20 0 15 0 92409969 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336213789296 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21240] ppid=21224 vsize=10661132 memory=1800 CPUtime=0.67 cores=0,2,4,6
/proc/21227/task/21240/stat : 21240 (java) S 21224 21227 25017 0 -1 1077944384 6389 0 0 0 66 1 0 0 20 0 15 0 92409969 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336212736752 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21241] ppid=21224 vsize=10661132 memory=2088 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21241/stat : 21241 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336211684448 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21242] ppid=21224 vsize=10661132 memory=1040 CPUtime=1.2 cores=0,2,4,6
/proc/21227/task/21242/stat : 21242 (java) S 21224 21227 25017 0 -1 1077944384 2043 0 0 0 60 60 0 0 20 0 15 0 92409969 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336210630960 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1908116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2494.54 s]
# the end of solver process 21227 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.27 s, system=3.86662 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2494.5 s]
/proc/loadavg: 1.63 1.70 1.74 3/215 21497
/proc/meminfo: memFree=16132496/32770624 swapFree=67108796/67108860
[pid=21227] ppid=21224 vsize=10661132 memory=1908116 CPUtime=2520.08 cores=0,2,4,6
/proc/21227/stat : 21227 (java) S 21224 21227 25017 0 -1 1077944320 1123062 0 0 0 251623 385 0 0 20 0 15 0 92409963 10916999168 477029 33554432000 4194304 4196468 140723683868176 140723683850720 140337184001783 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
/proc/21227/statm: 2665283 477029 3195 1 0 2627263 0
[pid=21227/tid=21229] ppid=21224 vsize=10661132 memory=1909656 CPUtime=2487.12 cores=0,2,4,6
/proc/21227/task/21229/stat : 21229 (java) R 21224 21227 25017 0 -1 4202560 850010 0 0 0 248621 91 0 0 20 0 15 0 92409964 10916999168 477029 33554432000 4194304 4196468 140723683868176 140337188241600 140336805633869 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21230] ppid=21224 vsize=10661132 memory=1912736 CPUtime=6.21 cores=0,2,4,6
/proc/21227/task/21230/stat : 21230 (java) S 21224 21227 25017 0 -1 1077944384 56061 0 0 0 565 56 0 0 20 0 15 0 92409964 10916999168 477029 33554432000 4194304 4196468 140723683868176 140337120693008 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21231] ppid=21224 vsize=10661132 memory=1917352 CPUtime=6.17 cores=0,2,4,6
/proc/21227/task/21231/stat : 21231 (java) S 21224 21227 25017 0 -1 1077944384 54542 0 0 0 561 56 0 0 20 0 15 0 92409964 10916999168 477029 33554432000 4194304 4196468 140723683868176 140337119640464 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21232] ppid=21224 vsize=10661132 memory=1915812 CPUtime=6.17 cores=0,2,4,6
/proc/21227/task/21232/stat : 21232 (java) S 21224 21227 25017 0 -1 1077944384 56979 0 0 0 561 56 0 0 20 0 15 0 92409964 10916999168 477029 33554432000 4194304 4196468 140723683868176 140337118587920 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21233] ppid=21224 vsize=10661132 memory=1914272 CPUtime=6.18 cores=0,2,4,6
/proc/21227/task/21233/stat : 21233 (java) S 21224 21227 25017 0 -1 1077944384 53589 0 0 0 564 54 0 0 20 0 15 0 92409964 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336787483792 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21234] ppid=21224 vsize=10661132 memory=1933256 CPUtime=0.66 cores=0,2,4,6
/proc/21227/task/21234/stat : 21234 (java) S 21224 21227 25017 0 -1 1077944384 17066 0 0 0 46 20 0 0 20 0 15 0 92409966 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336219052016 140337184012930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21235] ppid=21224 vsize=10661132 memory=1925048 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21235/stat : 21235 (java) S 21224 21227 25017 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 92409966 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336217998304 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21236] ppid=21224 vsize=10661132 memory=1937872 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21236/stat : 21236 (java) S 21224 21227 25017 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 92409966 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336216945648 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21237] ppid=21224 vsize=10661132 memory=1921968 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21237/stat : 21237 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336215894224 140337184020379 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21238] ppid=21224 vsize=10661132 memory=1908116 CPUtime=3.28 cores=0,2,4,6
/proc/21227/task/21238/stat : 21238 (java) S 21224 21227 25017 0 -1 1077944384 16086 0 0 0 326 2 0 0 20 0 15 0 92409969 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336214841840 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21239] ppid=21224 vsize=10661132 memory=1909656 CPUtime=2.32 cores=0,2,4,6
/proc/21227/task/21239/stat : 21239 (java) S 21224 21227 25017 0 -1 1077944384 8878 0 0 0 231 1 0 0 20 0 15 0 92409969 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336213789296 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21240] ppid=21224 vsize=10661132 memory=1800 CPUtime=0.67 cores=0,2,4,6
/proc/21227/task/21240/stat : 21240 (java) S 21224 21227 25017 0 -1 1077944384 6389 0 0 0 66 1 0 0 20 0 15 0 92409969 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336212736752 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21241] ppid=21224 vsize=10661132 memory=2088 CPUtime=0 cores=0,2,4,6
/proc/21227/task/21241/stat : 21241 (java) S 21224 21227 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92409969 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336211684448 140337184011989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
[pid=21227/tid=21242] ppid=21224 vsize=10661132 memory=1040 CPUtime=1.2 cores=0,2,4,6
/proc/21227/task/21242/stat : 21242 (java) S 21224 21227 25017 0 -1 1077944384 2043 0 0 0 60 60 0 0 20 0 15 0 92409969 10916999168 477029 33554432000 4194304 4196468 140723683868176 140336210630960 140337184012930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 18497536 140723683869816 140723683869961 140723683869961 140723683872719 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1908116 KiB
Child status: 143
Real time (s): 2494.54
CPU time (s): 2520.13
CPU user time (s): 2516.27
CPU system time (s): 3.86662
CPU usage (%): 101.026
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 3519272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.27
system time used= 3.86662
maximum resident set size= 3519408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1124520
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68845
involuntary context switches= 4245
# summary of solver processes directly reported to runsolver:
# pid: 21227
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.27
# total CPU system time (s): 3.86662
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9557 second user time and 22.7973 second system time
The end
Begin job on node138 at 2018-07-28 05:27:48 IDJOB=4298188 IDBENCH=141081 IDSOLVER=2768 FILE ID=node138/4298188-1532748468 RUNJOBID= node138-1532740019-20128 PBS_JOBID= 21022442 Free space on /tmp= 53768 MiB SOLVER NAME= The dodo solver 2018-04-29 BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-graph-07-opt_c18.xml COMMAND LINE= java -jar DIR/dodo_solver.jar BENCHNAME --timelimit TIMEOUT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298188-1532748468/watcher-4298188-1532748468 -o /tmp/evaluation-result-4298188-1532748468/solver-4298188-1532748468 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532740019-20128 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298188-1532748468.xml --timelimit 2520 TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 329b1afce400cc34fffd8b13b36e29fe RANDOM SEED=1739431325 node138.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.71 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.71 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.71 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.71 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: 19792572 kB MemAvailable: 29447240 kB Buffers: 201748 kB Cached: 9661060 kB SwapCached: 44 kB Active: 4978684 kB Inactive: 7415392 kB Active(anon): 2475896 kB Inactive(anon): 83516 kB Active(file): 2502788 kB Inactive(file): 7331876 kB Unevictable: 7280 kB Mlocked: 7280 kB SwapTotal: 67108860 kB SwapFree: 67108796 kB Dirty: 20572 kB Writeback: 0 kB AnonPages: 2612000 kB Mapped: 49312 kB Shmem: 25164 kB Slab: 276484 kB SReclaimable: 248464 kB SUnreclaim: 28020 kB KernelStack: 3824 kB PageTables: 10256 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3223632 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2490368 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 53764 MiB End job on node138 at 2018-07-28 06:09:23