Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| MiniCPFever 2018-04-29 | SAT (TO) | 4324 | 2520.09 | 2475.33 |
| 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.13/0.13 c version: 2018-04-11 0.13/0.13 c seed: 1811631 0.13/0.13 c timeout: -1 0.13/0.13 c memlimit: -1 0.13/0.13 c nbcore: -1 26.71/21.29 o 7616 26.71/21.29 objective:7616 26.89/21.30 o 7598 26.89/21.30 objective:7598 26.89/21.32 o 7597 26.89/21.32 objective:7597 26.89/21.32 o 7579 26.89/21.32 objective:7579 75.37/68.72 o 7570 75.37/68.72 objective:7570 134.64/126.99 o 7561 134.64/126.99 objective:7561 134.86/127.18 o 6561 134.86/127.19 objective:6561 136.77/129.06 o 6553 136.77/129.06 objective:6553 136.96/129.26 o 5785 136.96/129.26 objective:5785 136.96/129.27 o 5007 136.96/129.27 objective:5007 137.18/129.46 o 4916 137.18/129.46 objective:4916 137.98/130.20 o 4904 137.98/130.20 objective:4904 137.98/130.20 o 4895 137.98/130.20 objective:4895 138.29/130.58 o 4885 138.29/130.58 objective:4885 138.29/130.58 o 4875 138.29/130.58 objective:4875 138.50/130.77 o 4874 138.50/130.77 objective:4874 140.20/132.41 o 4680 140.20/132.41 objective:4680 140.20/132.41 o 4672 140.20/132.41 objective:4672 140.60/132.81 o 4472 140.60/132.81 objective:4472 140.60/132.81 o 4462 140.60/132.81 objective:4462 140.60/132.81 o 4461 140.60/132.81 objective:4461 140.78/132.99 o 4452 140.78/132.99 objective:4452 141.81/133.93 o 4362 141.81/133.93 objective:4362 141.81/133.93 o 4352 141.81/133.93 objective:4352 141.81/133.93 o 4342 141.81/133.93 objective:4342 160.40/152.44 o 4337 160.40/152.44 objective:4337 181.04/173.03 o 4324 181.04/173.03 objective:4324 2520.05/2475.30 s SATISFIABLE 2520.05/2475.31 v <instantiation> 2520.05/2475.31 v <list> 2520.05/2475.31 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.05/2475.31 v </list> 2520.05/2475.31 v <values> 2520.05/2475.31 v 72 310 666 428 778 540 58 296 16 254 156 394 16 254 30 268 736 498 694 456 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 652 414 44 282 764 526 240 478 792 554 750 512 680 442 526 764 778 540 114 352 72 310 652 414 100 338 722 484 722 484 72 310 708 470 16 254 652 414 666 428 708 470 240 478 44 282 44 282 778 540 58 296 128 366 708 470 694 456 16 254 708 470 100 338 170 408 170 408 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 694 456 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 100 338 16 254 240 478 666 428 750 512 114 352 156 394 680 442 792 554 722 484 792 554 16 254 16 254 114 352 750 512 792 554 100 338 778 540 722 484 86 324 736 498 16 254 128 366 708 470 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 30 268 58 296 778 540 86 324 16 254 240 478 16 254 128 366 694 456 170 408 114 352 708 470 680 442 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2520.05/2475.31 v </values> 2520.05/2475.31 v </instantiation>
OK 4324
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 (10690 MiB free)
memory of node 1: 16384 MiB (12268 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298184-1532749216/watcher-4298184-1532749216 -o /tmp/evaluation-result-4298184-1532749216/solver-4298184-1532749216 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532739282-23278 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298184-1532749216.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=24654, runsolver pid=24651
[startup+0.101458 s]*
/proc/loadavg: 1.75 1.46 1.37 5/216 24669
/proc/meminfo: memFree=23493844/32770624 swapFree=67108860/67108860
[pid=24654] ppid=24651 vsize=10658972 memory=27228 CPUtime=0.13 cores=0,2,4,6
/proc/24654/stat : 24654 (java) S 24651 24654 23247 0 -1 1077944320 5283 0 0 0 12 1 0 0 20 0 15 0 92484766 10914787328 6807 33554432000 4194304 4196468 140728148552416 140728148534960 139927295450871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
/proc/24654/statm: 2664743 6807 2858 1 0 2627263 0
[pid=24654/tid=24656] ppid=24651 vsize=10658972 memory=-8269626465541067649 CPUtime=0.09 cores=0,2,4,6
/proc/24654/task/24656/stat : 24656 (java) R 24651 24654 23247 0 -1 4202560 3107 0 0 0 9 0 0 0 20 0 15 0 92484767 10914787328 6807 33554432000 4194304 4196468 140728148552416 139927299678224 139927279494501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24657] ppid=24651 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24657/stat : 24657 (java) S 24651 24654 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484767 10914787328 6807 33554432000 4194304 4196468 140728148552416 139927221524880 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24658] ppid=24651 vsize=10658972 memory=139749461280384 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24658/stat : 24658 (java) S 24651 24654 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484767 10914787328 6807 33554432000 4194304 4196468 140728148552416 139927220472080 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24659] ppid=24651 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24659/stat : 24659 (java) S 24651 24654 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484767 10914787328 6807 33554432000 4194304 4196468 140728148552416 139927219419792 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24660] ppid=24651 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24660/stat : 24660 (java) S 24651 24654 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484767 10914787328 6807 33554432000 4194304 4196468 140728148552416 139927218366992 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24661] ppid=24651 vsize=10658972 memory=139749461280384 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24661/stat : 24661 (java) S 24651 24654 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484769 10914787328 6807 33554432000 4194304 4196468 140728148552416 139926532205168 139927295462018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24662] ppid=24651 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24662/stat : 24662 (java) S 24651 24654 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92484769 10914787328 6807 33554432000 4194304 4196468 140728148552416 139926531151136 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24663] ppid=24651 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24663/stat : 24663 (java) S 24651 24654 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92484769 10914787328 6807 33554432000 4194304 4196468 140728148552416 139926530098800 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24664] ppid=24651 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24664/stat : 24664 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914787328 6807 33554432000 4194304 4196468 140728148552416 139926529047120 139927295469467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24665] ppid=24651 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24665/stat : 24665 (java) S 24651 24654 23247 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 92484772 10914787328 6807 33554432000 4194304 4196468 140728148552416 139926527993968 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24666] ppid=24651 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24666/stat : 24666 (java) S 24651 24654 23247 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 92484772 10914787328 6807 33554432000 4194304 4196468 140728148552416 139926526941168 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24667] ppid=24651 vsize=10658972 memory=139749461280384 CPUtime=0.02 cores=0,2,4,6
/proc/24654/task/24667/stat : 24667 (java) R 24651 24654 23247 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 15 0 92484772 10914787328 6807 33554432000 4194304 4196468 140728148552416 139926525888880 139927274074464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24668] ppid=24651 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24668/stat : 24668 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914787328 6807 33554432000 4194304 4196468 140728148552416 139926524836320 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24669] ppid=24651 vsize=10658972 memory=139749461280384 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24669/stat : 24669 (java) S 24651 24654 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484772 10914787328 6807 33554432000 4194304 4196468 140728148552416 139926523784112 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27228 KiB
[startup+0.210634 s]*
/proc/loadavg: 1.75 1.46 1.37 6/216 24669
/proc/meminfo: memFree=23482184/32770624 swapFree=67108860/67108860
[pid=24654] ppid=24651 vsize=10658972 memory=40716 CPUtime=0.34 cores=0,2,4,6
/proc/24654/stat : 24654 (java) S 24651 24654 23247 0 -1 1077944320 8189 0 0 0 33 1 0 0 20 0 15 0 92484766 10914787328 10179 33554432000 4194304 4196468 140728148552416 140728148534960 139927295450871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
/proc/24654/statm: 2664743 10179 2997 1 0 2627263 0
[pid=24654/tid=24656] ppid=24651 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/24654/task/24656/stat : 24656 (java) R 24651 24654 23247 0 -1 4202560 5080 0 0 0 19 1 0 0 20 0 15 0 92484767 10914787328 10179 33554432000 4194304 4196468 140728148552416 139927299689056 139927295472797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24657] ppid=24651 vsize=10658972 memory=342 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24657/stat : 24657 (java) S 24651 24654 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484767 10914787328 10179 33554432000 4194304 4196468 140728148552416 139927221524880 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24658] ppid=24651 vsize=10658972 memory=288370125612992128 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24658/stat : 24658 (java) S 24651 24654 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484767 10914787328 10179 33554432000 4194304 4196468 140728148552416 139927220472080 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24659] ppid=24651 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24659/stat : 24659 (java) S 24651 24654 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484767 10914787328 10179 33554432000 4194304 4196468 140728148552416 139927219419792 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24660] ppid=24651 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24660/stat : 24660 (java) S 24651 24654 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484767 10914787328 10179 33554432000 4194304 4196468 140728148552416 139927218366992 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24661] ppid=24651 vsize=10658972 memory=139749461280384 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24661/stat : 24661 (java) S 24651 24654 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484769 10914787328 10179 33554432000 4194304 4196468 140728148552416 139926532205168 139927295462018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24662] ppid=24651 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24662/stat : 24662 (java) S 24651 24654 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92484769 10914787328 10179 33554432000 4194304 4196468 140728148552416 139926531151136 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24663] ppid=24651 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24663/stat : 24663 (java) S 24651 24654 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92484769 10914787328 10179 33554432000 4194304 4196468 140728148552416 139926530098800 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24664] ppid=24651 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24664/stat : 24664 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914787328 10179 33554432000 4194304 4196468 140728148552416 139926529047120 139927295469467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24665] ppid=24651 vsize=10658972 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24654/task/24665/stat : 24665 (java) R 24651 24654 23247 0 -1 4202560 402 0 0 0 2 0 0 0 20 0 15 0 92484772 10914787328 10179 33554432000 4194304 4196468 140728148552416 139926527985920 139927287687998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24666] ppid=24651 vsize=10658972 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24654/task/24666/stat : 24666 (java) R 24651 24654 23247 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 15 0 92484772 10914787328 10179 33554432000 4194304 4196468 140728148552416 139926526941168 139927295462018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24667] ppid=24651 vsize=10658972 memory=139749461280384 CPUtime=0.08 cores=0,2,4,6
/proc/24654/task/24667/stat : 24667 (java) R 24651 24654 23247 0 -1 4202560 860 0 0 0 8 0 0 0 20 0 15 0 92484772 10914787328 10179 33554432000 4194304 4196468 140728148552416 139926525885248 139927279531358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24668] ppid=24651 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24668/stat : 24668 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914787328 10179 33554432000 4194304 4196468 140728148552416 139926524836320 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24669] ppid=24651 vsize=10658972 memory=139749461280384 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24669/stat : 24669 (java) S 24651 24654 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484772 10914787328 10179 33554432000 4194304 4196468 140728148552416 139926523784112 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40716 KiB
[startup+0.311131 s]*
/proc/loadavg: 1.75 1.46 1.37 7/216 24669
/proc/meminfo: memFree=23444208/32770624 swapFree=67108860/67108860
[pid=24654] ppid=24651 vsize=10658972 memory=78972 CPUtime=0.64 cores=0,2,4,6
/proc/24654/stat : 24654 (java) S 24651 24654 23247 0 -1 1077944320 9591 0 0 0 62 2 0 0 20 0 15 0 92484766 10914787328 19743 33554432000 4194304 4196468 140728148552416 140728148534960 139927295450871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
/proc/24654/statm: 2664743 19743 3044 1 0 2627263 0
[pid=24654/tid=24656] ppid=24651 vsize=10658972 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/24654/task/24656/stat : 24656 (java) R 24651 24654 23247 0 -1 4202560 5109 0 0 0 27 2 0 0 20 0 15 0 92484767 10914787328 19743 33554432000 4194304 4196468 140728148552416 139927299682256 139926899190316 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24657] ppid=24651 vsize=10658972 memory=288230600413020183 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24657/stat : 24657 (java) S 24651 24654 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484767 10914787328 19743 33554432000 4194304 4196468 140728148552416 139927221524880 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24658] ppid=24651 vsize=10658972 memory=288370125612992128 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24658/stat : 24658 (java) S 24651 24654 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484767 10914787328 19743 33554432000 4194304 4196468 140728148552416 139927220472080 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24659] ppid=24651 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24659/stat : 24659 (java) S 24651 24654 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484767 10914787328 19743 33554432000 4194304 4196468 140728148552416 139927219419792 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24660] ppid=24651 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24660/stat : 24660 (java) S 24651 24654 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484767 10914787328 19743 33554432000 4194304 4196468 140728148552416 139927218366992 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24661] ppid=24651 vsize=10658972 memory=139749461280384 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24661/stat : 24661 (java) S 24651 24654 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92484769 10914787328 19743 33554432000 4194304 4196468 140728148552416 139926532205168 139927295462018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24662] ppid=24651 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24662/stat : 24662 (java) S 24651 24654 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92484769 10914787328 19743 33554432000 4194304 4196468 140728148552416 139926531151136 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24663] ppid=24651 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24663/stat : 24663 (java) S 24651 24654 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92484769 10914787328 19743 33554432000 4194304 4196468 140728148552416 139926530098800 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24664] ppid=24651 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24664/stat : 24664 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914787328 19743 33554432000 4194304 4196468 140728148552416 139926529047120 139927295469467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24665] ppid=24651 vsize=10658972 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/24654/task/24665/stat : 24665 (java) R 24651 24654 23247 0 -1 4202560 870 0 0 0 11 0 0 0 20 0 15 0 92484772 10914787328 19743 33554432000 4194304 4196468 140728148552416 139926527979992 139927279007260 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24666] ppid=24651 vsize=10658972 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/24654/task/24666/stat : 24666 (java) R 24651 24654 23247 0 -1 4202560 1310 0 0 0 11 0 0 0 20 0 15 0 92484772 10914787328 19743 33554432000 4194304 4196468 140728148552416 139926526922184 139927276151168 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24667] ppid=24651 vsize=10658972 memory=139749461280384 CPUtime=0.11 cores=0,2,4,6
/proc/24654/task/24667/stat : 24667 (java) S 24651 24654 23247 0 -1 1077944384 937 0 0 0 11 0 0 0 20 0 15 0 92484772 10914787328 19743 33554432000 4194304 4196468 140728148552416 139926525888880 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24668] ppid=24651 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24668/stat : 24668 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914787328 19743 33554432000 4194304 4196468 140728148552416 139926524836320 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24669] ppid=24651 vsize=10658972 memory=139749461280384 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24669/stat : 24669 (java) S 24651 24654 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484772 10914787328 19743 33554432000 4194304 4196468 140728148552416 139926523784112 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 78972 KiB
[startup+0.700709 s]
/proc/loadavg: 1.75 1.46 1.37 9/216 24669
/proc/meminfo: memFree=23359816/32770624 swapFree=67108860/67108860
[pid=24654] ppid=24651 vsize=10659048 memory=221832 CPUtime=1.87 cores=0,2,4,6
/proc/24654/stat : 24654 (java) S 24651 24654 23247 0 -1 1077944320 12174 0 0 0 178 9 0 0 20 0 15 0 92484766 10914865152 55458 33554432000 4194304 4196468 140728148552416 140728148534960 139927295450871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
/proc/24654/statm: 2664762 55458 3092 1 0 2627263 0
[pid=24654/tid=24656] ppid=24651 vsize=10659048 memory=1728 CPUtime=0.64 cores=0,2,4,6
/proc/24654/task/24656/stat : 24656 (java) S 24651 24654 23247 0 -1 1077944384 5493 0 0 0 60 4 0 0 20 0 15 0 92484767 10914865152 55970 33554432000 4194304 4196468 140728148552416 139927299687616 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24657] ppid=24651 vsize=10659048 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24657/stat : 24657 (java) R 24651 24654 23247 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 92484767 10914865152 55970 33554432000 4194304 4196468 140728148552416 139927221524880 139927288550571 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24658] ppid=24651 vsize=10659048 memory=796 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24658/stat : 24658 (java) R 24651 24654 23247 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 92484767 10914865152 55970 33554432000 4194304 4196468 140728148552416 139927220472280 139927288553875 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24659] ppid=24651 vsize=10659048 memory=5408 CPUtime=0.02 cores=0,2,4,6
/proc/24654/task/24659/stat : 24659 (java) R 24651 24654 23247 0 -1 4202560 31 0 0 0 1 1 0 0 20 0 15 0 92484767 10914865152 55970 33554432000 4194304 4196468 140728148552416 139927219419792 139927288553588 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24660] ppid=24651 vsize=10659048 memory=1008 CPUtime=0.02 cores=0,2,4,6
/proc/24654/task/24660/stat : 24660 (java) R 24651 24654 23247 0 -1 4202560 33 0 0 0 1 1 0 0 20 0 15 0 92484767 10914865152 55970 33554432000 4194304 4196468 140728148552416 139927218364624 139927288553944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24661] ppid=24651 vsize=10659048 memory=9992 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24661/stat : 24661 (java) S 24651 24654 23247 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 92484769 10914865152 55970 33554432000 4194304 4196468 140728148552416 139926532203680 139927295461077 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24662] ppid=24651 vsize=10659048 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24662/stat : 24662 (java) S 24651 24654 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92484769 10914865152 55970 33554432000 4194304 4196468 140728148552416 139926531151136 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24663] ppid=24651 vsize=10659048 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24663/stat : 24663 (java) S 24651 24654 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92484769 10914865152 55970 33554432000 4194304 4196468 140728148552416 139926530098800 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24664] ppid=24651 vsize=10659048 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24664/stat : 24664 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914865152 55970 33554432000 4194304 4196468 140728148552416 139926529047120 139927295469467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24665] ppid=24651 vsize=10659048 memory=7017547551848162880 CPUtime=0.42 cores=0,2,4,6
/proc/24654/task/24665/stat : 24665 (java) S 24651 24654 23247 0 -1 1077944384 1849 0 0 0 42 0 0 0 20 0 15 0 92484772 10914865152 55970 33554432000 4194304 4196468 140728148552416 139926527978960 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24666] ppid=24651 vsize=10659048 memory=7811323491934034026 CPUtime=0.43 cores=0,2,4,6
/proc/24654/task/24666/stat : 24666 (java) S 24651 24654 23247 0 -1 1077944384 1925 0 0 0 43 0 0 0 20 0 15 0 92484772 10914865152 55970 33554432000 4194304 4196468 140728148552416 139926526920720 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24667] ppid=24651 vsize=10659048 memory=5787213827163908199 CPUtime=0.27 cores=0,2,4,6
/proc/24654/task/24667/stat : 24667 (java) S 24651 24654 23247 0 -1 1077944384 1441 0 0 0 27 0 0 0 20 0 15 0 92484772 10914865152 55970 33554432000 4194304 4196468 140728148552416 139926525888880 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24668] ppid=24651 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24668/stat : 24668 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914865152 55970 33554432000 4194304 4196468 140728148552416 139926524836320 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24669] ppid=24651 vsize=10659048 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24669/stat : 24669 (java) S 24651 24654 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92484772 10914865152 55970 33554432000 4194304 4196468 140728148552416 139926523784112 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 221832 KiB
[startup+1.50075 s]
/proc/loadavg: 1.75 1.46 1.37 5/216 24669
/proc/meminfo: memFree=23188492/32770624 swapFree=67108860/67108860
[pid=24654] ppid=24651 vsize=10659048 memory=423908 CPUtime=3.3 cores=0,2,4,6
/proc/24654/stat : 24654 (java) S 24651 24654 23247 0 -1 1077944320 13442 0 0 0 307 23 0 0 20 0 15 0 92484766 10914865152 105977 33554432000 4194304 4196468 140728148552416 140728148534960 139927295450871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
/proc/24654/statm: 2664762 105977 3129 1 0 2627263 0
[pid=24654/tid=24656] ppid=24651 vsize=10659048 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/24654/task/24656/stat : 24656 (java) R 24651 24654 23247 0 -1 4202560 5561 0 0 0 130 6 0 0 20 0 15 0 92484767 10914865152 105977 33554432000 4194304 4196468 140728148552416 139927299687200 139926900414419 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24657] ppid=24651 vsize=10659048 memory=-6951259422114956437 CPUtime=0.07 cores=0,2,4,6
/proc/24654/task/24657/stat : 24657 (java) S 24651 24654 23247 0 -1 1077944384 297 0 0 0 4 3 0 0 20 0 15 0 92484767 10914865152 105977 33554432000 4194304 4196468 140728148552416 139927221524880 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24658] ppid=24651 vsize=10659048 memory=-6509546260019855295 CPUtime=0.07 cores=0,2,4,6
/proc/24654/task/24658/stat : 24658 (java) S 24651 24654 23247 0 -1 1077944384 114 0 0 0 4 3 0 0 20 0 15 0 92484767 10914865152 105977 33554432000 4194304 4196468 140728148552416 139927220472080 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24659] ppid=24651 vsize=10659048 memory=-7390251449858225344 CPUtime=0.09 cores=0,2,4,6
/proc/24654/task/24659/stat : 24659 (java) S 24651 24654 23247 0 -1 1077944384 194 0 0 0 5 4 0 0 20 0 15 0 92484767 10914865152 105977 33554432000 4194304 4196468 140728148552416 139927219419792 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24660] ppid=24651 vsize=10659048 memory=4134692831991786133 CPUtime=0.08 cores=0,2,4,6
/proc/24654/task/24660/stat : 24660 (java) S 24651 24654 23247 0 -1 1077944384 196 0 0 0 5 3 0 0 20 0 15 0 92484767 10914865152 105977 33554432000 4194304 4196468 140728148552416 139927218366992 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24661] ppid=24651 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24661/stat : 24661 (java) S 24651 24654 23247 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 92484769 10914865152 105977 33554432000 4194304 4196468 140728148552416 139926532205168 139927295462018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
################
# More data... #
################
/proc/24654/task/24656/stat : 24656 (java) R 24651 24654 23247 0 -1 4202560 67017 0 0 0 236737 47 0 0 20 0 15 0 92484767 10914865152 132899 33554432000 4194304 4196468 140728148552416 139927299690832 139926904914386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24657] ppid=24651 vsize=10659048 memory=542372 CPUtime=12.03 cores=0,2,4,6
/proc/24654/task/24657/stat : 24657 (java) S 24651 24654 23247 0 -1 1077944384 20434 0 0 0 1177 26 0 0 20 0 15 0 92484767 10914865152 132899 33554432000 4194304 4196468 140728148552416 139927221524880 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24658] ppid=24651 vsize=10659048 memory=535188 CPUtime=12.06 cores=0,2,4,6
/proc/24654/task/24658/stat : 24658 (java) S 24651 24654 23247 0 -1 1077944384 18719 0 0 0 1180 26 0 0 20 0 15 0 92484767 10914865152 132899 33554432000 4194304 4196468 140728148552416 139927220472080 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24659] ppid=24651 vsize=10659048 memory=279494661617134 CPUtime=12.02 cores=0,2,4,6
/proc/24654/task/24659/stat : 24659 (java) S 24651 24654 23247 0 -1 1077944384 20500 0 0 0 1175 27 0 0 20 0 15 0 92484767 10914865152 132899 33554432000 4194304 4196468 140728148552416 139927219419792 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24660] ppid=24651 vsize=10659048 memory=531596 CPUtime=11.99 cores=0,2,4,6
/proc/24654/task/24660/stat : 24660 (java) S 24651 24654 23247 0 -1 1077944384 19094 0 0 0 1175 24 0 0 20 0 15 0 92484767 10914865152 132899 33554432000 4194304 4196468 140728148552416 139927218366992 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24661] ppid=24651 vsize=10659048 memory=532624 CPUtime=1.61 cores=0,2,4,6
/proc/24654/task/24661/stat : 24661 (java) S 24651 24654 23247 0 -1 1077944384 17904 0 0 0 130 31 0 0 20 0 15 0 92484769 10914865152 132899 33554432000 4194304 4196468 140728148552416 139926532205168 139927295462018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24662] ppid=24651 vsize=10659048 memory=543912 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24662/stat : 24662 (java) S 24651 24654 23247 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 92484769 10914865152 132899 33554432000 4194304 4196468 140728148552416 139926531151200 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24663] ppid=24651 vsize=10659048 memory=532620 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24663/stat : 24663 (java) S 24651 24654 23247 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 92484769 10914865152 132899 33554432000 4194304 4196468 140728148552416 139926530098800 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24664] ppid=24651 vsize=10659048 memory=2675429082625 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24664/stat : 24664 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914865152 132899 33554432000 4194304 4196468 140728148552416 139926529047120 139927295469467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24665] ppid=24651 vsize=10659048 memory=1428 CPUtime=2.78 cores=0,2,4,6
/proc/24654/task/24665/stat : 24665 (java) S 24651 24654 23247 0 -1 1077944384 15868 0 0 0 276 2 0 0 20 0 15 0 92484772 10914865152 132899 33554432000 4194304 4196468 140728148552416 139926527993968 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24666] ppid=24651 vsize=10659048 memory=531596 CPUtime=2.6 cores=0,2,4,6
/proc/24654/task/24666/stat : 24666 (java) S 24651 24654 23247 0 -1 1077944384 16703 0 0 0 258 2 0 0 20 0 15 0 92484772 10914865152 132899 33554432000 4194304 4196468 140728148552416 139926526941168 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24667] ppid=24651 vsize=10659048 memory=531596 CPUtime=0.71 cores=0,2,4,6
/proc/24654/task/24667/stat : 24667 (java) S 24651 24654 23247 0 -1 1077944384 7688 0 0 0 69 2 0 0 20 0 15 0 92484772 10914865152 132899 33554432000 4194304 4196468 140728148552416 139926525888880 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24668] ppid=24651 vsize=10659048 memory=535188 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24668/stat : 24668 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914865152 132899 33554432000 4194304 4196468 140728148552416 139926524836320 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24669] ppid=24651 vsize=10659048 memory=535188 CPUtime=1.34 cores=0,2,4,6
/proc/24654/task/24669/stat : 24669 (java) S 24651 24654 23247 0 -1 1077944384 1896 0 0 0 70 64 0 0 20 0 15 0 92484772 10914865152 132899 33554432000 4194304 4196468 140728148552416 139926523784112 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
Current children cumulated CPU time: 2425.08 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 531596 KiB
[startup+2442.3 s]
/proc/loadavg: 1.47 1.34 1.40 3/216 24787
/proc/meminfo: memFree=22780912/32770624 swapFree=67108860/67108860
[pid=24654] ppid=24651 vsize=10659048 memory=501836 CPUtime=2486.33 cores=0,2,4,6
/proc/24654/stat : 24654 (java) S 24651 24654 23247 0 -1 1077944320 209365 0 0 0 248394 239 0 0 20 0 15 0 92484766 10914865152 125459 33554432000 4194304 4196468 140728148552416 140728148534960 139927295450871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
/proc/24654/statm: 2664762 125459 3188 1 0 2627263 0
[pid=24654/tid=24656] ppid=24651 vsize=10659048 memory=502864 CPUtime=2427.33 cores=0,2,4,6
/proc/24654/task/24656/stat : 24656 (java) R 24651 24654 23247 0 -1 4202560 68293 0 0 0 242685 48 0 0 20 0 15 0 92484767 10914865152 125459 33554432000 4194304 4196468 140728148552416 139927299690832 139926904914381 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24657] ppid=24651 vsize=10659048 memory=506968 CPUtime=12.45 cores=0,2,4,6
/proc/24654/task/24657/stat : 24657 (java) S 24651 24654 23247 0 -1 1077944384 20465 0 0 0 1218 27 0 0 20 0 15 0 92484767 10914865152 125459 33554432000 4194304 4196468 140728148552416 139927221524880 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24658] ppid=24651 vsize=10659048 memory=507484 CPUtime=12.47 cores=0,2,4,6
/proc/24654/task/24658/stat : 24658 (java) S 24651 24654 23247 0 -1 1077944384 18842 0 0 0 1221 26 0 0 20 0 15 0 92484767 10914865152 125459 33554432000 4194304 4196468 140728148552416 139927220472080 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24659] ppid=24651 vsize=10659048 memory=523384 CPUtime=12.44 cores=0,2,4,6
/proc/24654/task/24659/stat : 24659 (java) S 24651 24654 23247 0 -1 1077944384 20989 0 0 0 1216 28 0 0 20 0 15 0 92484767 10914865152 125459 33554432000 4194304 4196468 140728148552416 139927219419792 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24660] ppid=24651 vsize=10659048 memory=518764 CPUtime=12.41 cores=0,2,4,6
/proc/24654/task/24660/stat : 24660 (java) S 24651 24654 23247 0 -1 1077944384 19106 0 0 0 1216 25 0 0 20 0 15 0 92484767 10914865152 125459 33554432000 4194304 4196468 140728148552416 139927218366992 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24661] ppid=24651 vsize=10659048 memory=515688 CPUtime=1.67 cores=0,2,4,6
/proc/24654/task/24661/stat : 24661 (java) S 24651 24654 23247 0 -1 1077944384 18100 0 0 0 135 32 0 0 20 0 15 0 92484769 10914865152 125459 33554432000 4194304 4196468 140728148552416 139926532205168 139927295462018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24662] ppid=24651 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24662/stat : 24662 (java) S 24651 24654 23247 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 92484769 10914865152 125459 33554432000 4194304 4196468 140728148552416 139926531151200 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24663] ppid=24651 vsize=10659048 memory=513124 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24663/stat : 24663 (java) S 24651 24654 23247 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 92484769 10914865152 125459 33554432000 4194304 4196468 140728148552416 139926530098800 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24664] ppid=24651 vsize=10659048 memory=507992 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24664/stat : 24664 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914865152 125459 33554432000 4194304 4196468 140728148552416 139926529047120 139927295469467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24665] ppid=24651 vsize=10659048 memory=504400 CPUtime=2.78 cores=0,2,4,6
/proc/24654/task/24665/stat : 24665 (java) S 24651 24654 23247 0 -1 1077944384 15870 0 0 0 276 2 0 0 20 0 15 0 92484772 10914865152 125459 33554432000 4194304 4196468 140728148552416 139926527993968 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24666] ppid=24651 vsize=10659048 memory=502864 CPUtime=2.6 cores=0,2,4,6
/proc/24654/task/24666/stat : 24666 (java) S 24651 24654 23247 0 -1 1077944384 16706 0 0 0 258 2 0 0 20 0 15 0 92484772 10914865152 125459 33554432000 4194304 4196468 140728148552416 139926526941168 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24667] ppid=24651 vsize=10659048 memory=510516 CPUtime=0.71 cores=0,2,4,6
/proc/24654/task/24667/stat : 24667 (java) S 24651 24654 23247 0 -1 1077944384 7690 0 0 0 69 2 0 0 20 0 15 0 92484772 10914865152 125459 33554432000 4194304 4196468 140728148552416 139926525888880 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24668] ppid=24651 vsize=10659048 memory=504400 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24668/stat : 24668 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914865152 125459 33554432000 4194304 4196468 140728148552416 139926524836320 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24669] ppid=24651 vsize=10659048 memory=501836 CPUtime=1.37 cores=0,2,4,6
/proc/24654/task/24669/stat : 24669 (java) S 24651 24654 23247 0 -1 1077944384 1913 0 0 0 71 66 0 0 20 0 15 0 92484772 10914865152 125459 33554432000 4194304 4196468 140728148552416 139926523784112 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
Current children cumulated CPU time: 2486.33 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 501836 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2475.3 s]
/proc/loadavg: 1.66 1.40 1.42 3/216 24867
/proc/meminfo: memFree=21229628/32770624 swapFree=67108860/67108860
[pid=24654] ppid=24651 vsize=10659048 memory=514756 CPUtime=2520.05 cores=0,2,4,6
/proc/24654/stat : 24654 (java) S 24651 24654 23247 0 -1 1077944320 212325 0 0 0 251762 243 0 0 20 0 15 0 92484766 10914865152 128689 33554432000 4194304 4196468 140728148552416 140728148534960 139927295450871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
/proc/24654/statm: 2664762 128689 3188 1 0 2627263 0
[pid=24654/tid=24656] ppid=24651 vsize=10659048 memory=515876 CPUtime=2460.05 cores=0,2,4,6
/proc/24654/task/24656/stat : 24656 (java) R 24651 24654 23247 0 -1 4202560 70429 0 0 0 245956 49 0 0 20 0 15 0 92484767 10914865152 128689 33554432000 4194304 4196468 140728148552416 139927299690832 139926904913845 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24657] ppid=24651 vsize=10659048 memory=514544 CPUtime=12.69 cores=0,2,4,6
/proc/24654/task/24657/stat : 24657 (java) S 24651 24654 23247 0 -1 1077944384 20714 0 0 0 1241 28 0 0 20 0 15 0 92484767 10914865152 128689 33554432000 4194304 4196468 140728148552416 139927221524880 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24658] ppid=24651 vsize=10659048 memory=636 CPUtime=12.71 cores=0,2,4,6
/proc/24654/task/24658/stat : 24658 (java) S 24651 24654 23247 0 -1 1077944384 19009 0 0 0 1244 27 0 0 20 0 15 0 92484767 10914865152 128689 33554432000 4194304 4196468 140728148552416 139927220472080 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24659] ppid=24651 vsize=10659048 memory=515876 CPUtime=12.68 cores=0,2,4,6
/proc/24654/task/24659/stat : 24659 (java) S 24651 24654 23247 0 -1 1077944384 21166 0 0 0 1239 29 0 0 20 0 15 0 92484767 10914865152 128689 33554432000 4194304 4196468 140728148552416 139927219419792 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24660] ppid=24651 vsize=10659048 memory=516072 CPUtime=12.65 cores=0,2,4,6
/proc/24654/task/24660/stat : 24660 (java) S 24651 24654 23247 0 -1 1077944384 19309 0 0 0 1239 26 0 0 20 0 15 0 92484767 10914865152 128689 33554432000 4194304 4196468 140728148552416 139927218366992 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24661] ppid=24651 vsize=10659048 memory=502000 CPUtime=1.71 cores=0,2,4,6
/proc/24654/task/24661/stat : 24661 (java) S 24651 24654 23247 0 -1 1077944384 18124 0 0 0 139 32 0 0 20 0 15 0 92484769 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926532205168 139927295462018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24662] ppid=24651 vsize=10659048 memory=515688 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24662/stat : 24662 (java) S 24651 24654 23247 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 92484769 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926531151200 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24663] ppid=24651 vsize=10659048 memory=518132 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24663/stat : 24663 (java) S 24651 24654 23247 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 92484769 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926530098800 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24664] ppid=24651 vsize=10659048 memory=517620 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24664/stat : 24664 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926529047120 139927295469467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24665] ppid=24651 vsize=10659048 memory=516080 CPUtime=2.78 cores=0,2,4,6
/proc/24654/task/24665/stat : 24665 (java) S 24651 24654 23247 0 -1 1077944384 15870 0 0 0 276 2 0 0 20 0 15 0 92484772 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926527993968 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24666] ppid=24651 vsize=10659048 memory=514544 CPUtime=2.6 cores=0,2,4,6
/proc/24654/task/24666/stat : 24666 (java) S 24651 24654 23247 0 -1 1077944384 16706 0 0 0 258 2 0 0 20 0 15 0 92484772 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926526941168 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24667] ppid=24651 vsize=10659048 memory=796 CPUtime=0.71 cores=0,2,4,6
/proc/24654/task/24667/stat : 24667 (java) S 24651 24654 23247 0 -1 1077944384 7690 0 0 0 69 2 0 0 20 0 15 0 92484772 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926525888880 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24668] ppid=24651 vsize=10659048 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24668/stat : 24668 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926524836320 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24669] ppid=24651 vsize=10659048 memory=515876 CPUtime=1.39 cores=0,2,4,6
/proc/24654/task/24669/stat : 24669 (java) S 24651 24654 23247 0 -1 1077944384 1917 0 0 0 72 67 0 0 20 0 15 0 92484772 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926523784112 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 514756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2475.33 s]
# the end of solver process 24654 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.65 s, system=2.44153 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2475.3 s]
/proc/loadavg: 1.66 1.40 1.42 3/216 24867
/proc/meminfo: memFree=21229628/32770624 swapFree=67108860/67108860
[pid=24654] ppid=24651 vsize=10659048 memory=514756 CPUtime=2520.05 cores=0,2,4,6
/proc/24654/stat : 24654 (java) S 24651 24654 23247 0 -1 1077944320 212325 0 0 0 251762 243 0 0 20 0 15 0 92484766 10914865152 128689 33554432000 4194304 4196468 140728148552416 140728148534960 139927295450871 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
/proc/24654/statm: 2664762 128689 3188 1 0 2627263 0
[pid=24654/tid=24656] ppid=24651 vsize=10659048 memory=515876 CPUtime=2460.05 cores=0,2,4,6
/proc/24654/task/24656/stat : 24656 (java) R 24651 24654 23247 0 -1 4202560 70429 0 0 0 245956 49 0 0 20 0 15 0 92484767 10914865152 128689 33554432000 4194304 4196468 140728148552416 139927299690832 139926904913845 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24657] ppid=24651 vsize=10659048 memory=514544 CPUtime=12.69 cores=0,2,4,6
/proc/24654/task/24657/stat : 24657 (java) S 24651 24654 23247 0 -1 1077944384 20714 0 0 0 1241 28 0 0 20 0 15 0 92484767 10914865152 128689 33554432000 4194304 4196468 140728148552416 139927221524880 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24658] ppid=24651 vsize=10659048 memory=636 CPUtime=12.71 cores=0,2,4,6
/proc/24654/task/24658/stat : 24658 (java) S 24651 24654 23247 0 -1 1077944384 19009 0 0 0 1244 27 0 0 20 0 15 0 92484767 10914865152 128689 33554432000 4194304 4196468 140728148552416 139927220472080 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24659] ppid=24651 vsize=10659048 memory=515876 CPUtime=12.68 cores=0,2,4,6
/proc/24654/task/24659/stat : 24659 (java) S 24651 24654 23247 0 -1 1077944384 21166 0 0 0 1239 29 0 0 20 0 15 0 92484767 10914865152 128689 33554432000 4194304 4196468 140728148552416 139927219419792 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24660] ppid=24651 vsize=10659048 memory=516072 CPUtime=12.65 cores=0,2,4,6
/proc/24654/task/24660/stat : 24660 (java) S 24651 24654 23247 0 -1 1077944384 19309 0 0 0 1239 26 0 0 20 0 15 0 92484767 10914865152 128689 33554432000 4194304 4196468 140728148552416 139927218366992 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24661] ppid=24651 vsize=10659048 memory=502000 CPUtime=1.71 cores=0,2,4,6
/proc/24654/task/24661/stat : 24661 (java) S 24651 24654 23247 0 -1 1077944384 18124 0 0 0 139 32 0 0 20 0 15 0 92484769 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926532205168 139927295462018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24662] ppid=24651 vsize=10659048 memory=515688 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24662/stat : 24662 (java) S 24651 24654 23247 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 92484769 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926531151200 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24663] ppid=24651 vsize=10659048 memory=518132 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24663/stat : 24663 (java) S 24651 24654 23247 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 92484769 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926530098800 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24664] ppid=24651 vsize=10659048 memory=517620 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24664/stat : 24664 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926529047120 139927295469467 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24665] ppid=24651 vsize=10659048 memory=516080 CPUtime=2.78 cores=0,2,4,6
/proc/24654/task/24665/stat : 24665 (java) S 24651 24654 23247 0 -1 1077944384 15870 0 0 0 276 2 0 0 20 0 15 0 92484772 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926527993968 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24666] ppid=24651 vsize=10659048 memory=514544 CPUtime=2.6 cores=0,2,4,6
/proc/24654/task/24666/stat : 24666 (java) S 24651 24654 23247 0 -1 1077944384 16706 0 0 0 258 2 0 0 20 0 15 0 92484772 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926526941168 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24667] ppid=24651 vsize=10659048 memory=796 CPUtime=0.71 cores=0,2,4,6
/proc/24654/task/24667/stat : 24667 (java) S 24651 24654 23247 0 -1 1077944384 7690 0 0 0 69 2 0 0 20 0 15 0 92484772 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926525888880 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24668] ppid=24651 vsize=10659048 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/24654/task/24668/stat : 24668 (java) S 24651 24654 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92484772 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926524836320 139927295461077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
[pid=24654/tid=24669] ppid=24651 vsize=10659048 memory=515876 CPUtime=1.39 cores=0,2,4,6
/proc/24654/task/24669/stat : 24669 (java) S 24651 24654 23247 0 -1 1077944384 1917 0 0 0 72 67 0 0 20 0 15 0 92484772 10914865152 128689 33554432000 4194304 4196468 140728148552416 139926523784112 139927295462018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32518144 140728148559021 140728148559113 140728148559113 140728148561871 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 514756 KiB
Child status: 143
Real time (s): 2475.33
CPU time (s): 2520.09
CPU user time (s): 2517.65
CPU system time (s): 2.44153
CPU usage (%): 101.809
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 2796156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.65
system time used= 2.44153
maximum resident set size= 2797392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212654
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 89863
involuntary context switches= 3568
# summary of solver processes directly reported to runsolver:
# pid: 24654
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.65
# total CPU system time (s): 2.44153
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9668 second user time and 22.8938 second system time
The end
Begin job on node139 at 2018-07-28 05:40:16 IDJOB=4298184 IDBENCH=141081 IDSOLVER=2763 FILE ID=node139/4298184-1532749216 RUNJOBID= node139-1532739282-23278 PBS_JOBID= 21022439 Free space on /tmp= 38696 MiB SOLVER NAME= MiniCPFever 2018-04-29 BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-graph-07-opt_c18.xml COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298184-1532749216/watcher-4298184-1532749216 -o /tmp/evaluation-result-4298184-1532749216/solver-4298184-1532749216 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532739282-23278 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298184-1532749216.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 329b1afce400cc34fffd8b13b36e29fe RANDOM SEED=1216372654 node139.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.80 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.80 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.80 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.80 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: 23509904 kB MemAvailable: 31529768 kB Buffers: 230084 kB Cached: 7918264 kB SwapCached: 0 kB Active: 3486956 kB Inactive: 5116176 kB Active(anon): 408656 kB Inactive(anon): 73584 kB Active(file): 3078300 kB Inactive(file): 5042592 kB Unevictable: 7312 kB Mlocked: 7312 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 20600 kB Writeback: 208 kB AnonPages: 501728 kB Mapped: 54564 kB Shmem: 25228 kB Slab: 354760 kB SReclaimable: 327432 kB SUnreclaim: 27328 kB KernelStack: 3824 kB PageTables: 5768 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1566840 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 399360 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 38696 MiB End job on node139 at 2018-07-28 06:21:31