0.79/0.56 c Concrete v3.12.2.1568380929293 running
37.31/25.59 Exception in thread "main" java.lang.AssertionError: assertion failed: at least x[798] [0] occurrences of 798 [798] in (x[0] {2, 3, 4, 5, [789...], 797}, x[1] {1, 2, 3, 4, [790...], 797}, x[2] [0, 401], x[3] [0, 268], x[4] [0, 201], x[5] [0, 161], x[6] [0, 135], x[7] [0, 116], x[8] [0, 101], x[9] [0, 90], x[10] [0, 81], x[11] [0, 74], x[12] [0, 68], x[13] [0, 63], x[14] [0, 59], x[15] [0, 55], x[16] [0, 51], x[17] [0, 49], x[18] [0, 46], x[19] [0, 44], x[20] [0, 41], x[21] [0, 39], x[22] [0, 38], x[23] [0, 36], x[24] [0, 34], x[25] [0, 33], x[26] [0, 31], x[27] [0, 30], x[28] [0, 29], x[29] [0, 28], x[30] [0, 27], x[31] [0, 26], x[32] [0, 25], x[33] [0, 24], x[34] [0, 24], x[35] [0, 23], x[36] [0, 22], x[37] [0, 22], x[38] [0, 21], x[39] [0, 21], x[40] [0, 20], x[41] [0, 19], x[42] [0, 19], x[43] [0, 19], x[44] [0, 18], x[45] [0, 18], x[46] [0, 17], x[47] [0, 17], x[48] [0, 17], x[49] [0, 16], x[50] [0, 16], x[51] [0, 15], x[52] [0, 15], x[53] [0, 15], x[54] [0, 15], x[55] [0, 14], x[56] [0, 14], x[57] [0, 14], x[58] [0, 14], x[59] [0, 13], x[60] [0, 13], x[61] [0, 13], x[62] [0, 13], x[63] [0, 12], x[64] [0, 12], x[65] [0, 12], x[66] [0, 12], x[67] [0, 12], x[68] [0, 11], x[69] [0, 11], x[70] [0, 11], x[71] [0, 11], x[72] [0, 11], x[73] [0, 11], x[74] [0, 10], x[75] [0, 10], x[76] [0, 10], x[77] [0, 10], x[78] [0, 10], x[79] [0, 10], x[80] [0, 10], x[81] [0, 9], x[82] [0, 9], x[83] [0, 9], x[84] [0, 9], x[85] [0, 9], x[86] [0, 9], x[87] [0, 9], x[88] [0, 9], x[89] [0, 9], x[90] [0, 8], x[91] [0, 8], x[92] [0, 8], x[93] [0, 8], x[94] [0, 8], x[95] [0, 8], x[96] [0, 8], x[97] [0, 8], x[98] [0, 8], x[99] [0, 8], x[100] [0, 8], x[101] [0, 7], x[102] [0, 7], x[103] [0, 7], x[104] [0, 7], x[105] [0, 7], x[106] [0, 7], x[107] [0, 7], x[108] [0, 7], x[109] [0, 7], x[110] [0, 7], x[111] [0, 7], x[112] [0, 7], x[113] [0, 7], x[114] [0, 7], x[115] [0, 7], x[116] [0, 6], x[117] [0, 6], x[118] [0, 6], x[119] [0, 6], x[120] [0, 6], x[121] [0, 6], x[122] [0, 6], x[123] [0, 6], x[124] [0, 6], x[125] [0, 6], x[126] [0, 6], x[127] [0, 6], x[128] [0, 6], x[129] [0, 6], x[130] [0, 6], x[131] [0, 6], x[132] [0, 6], x[133] [0, 6], x[134] [0, 6], x[135] [0, 5], x[136] [0, 5], x[137] [0, 5], x[138] [0, 5], x[139] [0, 5], x[140] [0, 5], x[141] [0, 5], x[142] [0, 5], x[143] [0, 5], x[144] [0, 5], x[145] [0, 5], x[146] [0, 5], x[147] [0, 5], x[148] [0, 5], x[149] [0, 5], x[150] [0, 5], x[151] [0, 5], x[152] [0, 5], x[153] [0, 5], x[154] [0, 5], x[155] [0, 5], x[156] [0, 5], x[157] [0, 5], x[158] [0, 5], x[159] [0, 5], x[160] [0, 5], x[161] [0, 4], x[162] [0, 4], x[163] [0, 4], x[164] [0, 4], x[165] [0, 4], x[166] [0, 4], x[167] [0, 4], x[168] [0, 4], x[169] [0, 4], x[170] [0, 4], x[171] [0, 4], x[172] [0, 4], x[173] [0, 4], x[174] [0, 4], x[175] [0, 4], x[176] [0, 4], x[177] [0, 4], x[178] [0, 4], x[179] [0, 4], x[180] [0, 4], x[181] [0, 4], x[182] [0, 4], x[183] [0, 4], x[184] [0, 4], x[185] [0, 4], x[186] [0, 4], x[187] [0, 4], x[188] [0, 4], x[189] [0, 4], x[190] [0, 4], x[191] [0, 4], x[192] [0, 4], x[193] [0, 4], x[194] [0, 4], x[195] [0, 4], x[196] [0, 4], x[197] [0, 4], x[198] [0, 4], x[199] [0, 4], x[200] [0, 4], x[201] [0, 3], x[202] [0, 3], x[203] [0, 3], x[204] [0, 3], x[205] [0, 3], x[206] [0, 3], x[207] [0, 3], x[208] [0, 3], x[209] [0, 3], x[210] [0, 3], x[211] [0, 3], x[212] [0, 3], x[213] [0, 3], x[214] [0, 3], x[215] [0, 3], x[216] [0, 3], x[217] [0, 3], x[218] [0, 3], x[219] [0, 3], x[220] [0, 3], x[221] [0, 3], x[222] [0, 3], x[223] [0, 3], x[224] [0, 3], x[225] [0, 3], x[226] [0, 3], x[227] [0, 3], x[228] [0, 3], x[229] [0, 3], x[230] [0, 3], x[231] [0, 3], x[232] [0, 3], x[233] [0, 3], x[234] [0, 3], x[235] [0, 3], x[236] [0, 3], x[237] [0, 3], x[238] [0, 3], x[239] [0, 3], x[240] [0, 3], x[241] [0, 3], x[242] [0, 3], x[243] [0, 3], x[244] [0, 3], x[245] [0, 3], x[246] [0, 3], x[247] [0, 3], x[248] [0, 3], x[249] [0, 3], x[250] [0, 3], x[251] [0, 3], x[252] [0, 3], x[253] [0, 3], x[254] [0, 3], x[255] [0, 3], x[256] [0, 3], x[257] [0, 3], x[258] [0, 3], x[259] [0, 3], x[260] [0, 3], x[261] [0, 3], x[262] [0, 3], x[263] [0, 3], x[264] [0, 3], x[265] [0, 3], x[266] [0, 3], x[267] [0, 3], x[268] [0, 2], x[269] [0, 2], x[270] [0, 2], x[271] [0, 2], x[272] [0, 2], x[273] [0, 2], x[274] [0, 2], x[275] [0, 2], x[276] [0, 2], x[277] [0, 2], x[278] [0, 2], x[279] [0, 2], x[280] [0, 2], x[281] [0, 2], x[282] [0, 2], x[283] [0, 2], x[284] [0, 2], x[285] [0, 2], x[286] [0, 2], x[287] [0, 2], x[288] [0, 2], x[289] [0, 2], x[290] [0, 2], x[291] [0, 2], x[292] [0, 2], x[293] [0, 2], x[294] [0, 2], x[295] [0, 2], x[296] [0, 2], x[297] [0, 2], x[298] [0, 2], x[299] [0, 2], x[300] [0, 2], x[301] [0, 2], x[302] [0, 2], x[303] [0, 2], x[304] [0, 2], x[305] [0, 2], x[306] [0, 2], x[307] [0, 2], x[308] [0, 2], x[309] [0, 2], x[310] [0, 2], x[311] [0, 2], x[312] [0, 2], x[313] [0, 2], x[314] [0, 2], x[315] [0, 2], x[316] [0, 2], x[317] [0, 2], x[318] [0, 2], x[319] [0, 2], x[320] [0, 2], x[321] [0, 2], x[322] [0, 2], x[323] [0, 2], x[324] [0, 2], x[325] [0, 2], x[326] [0, 2], x[327] [0, 2], x[328] [0, 2], x[329] [0, 2], x[330] [0, 2], x[331] [0, 2], x[332] [0, 2], x[333] [0, 2], x[334] [0, 2], x[335] [0, 2], x[336] [0, 2], x[337] [0, 2], x[338] [0, 2], x[339] [0, 2], x[340] [0, 2], x[341] [0, 2], x[342] [0, 2], x[343] [0, 2], x[344] [0, 2], x[345] [0, 2], x[346] [0, 2], x[347] [0, 2], x[348] [0, 2], x[349] [0, 2], x[350] [0, 2], x[351] [0, 2], x[352] [0, 2], x[353] [0, 2], x[354] [0, 2], x[355] [0, 2], x[356] [0, 2], x[357] [0, 2], x[358] [0, 2], x[359] [0, 2], x[360] [0, 2], x[361] [0, 2], x[362] [0, 2], x[363] [0, 2], x[364] [0, 2], x[365] [0, 2], x[366] [0, 2], x[367] [0, 2], x[368] [0, 2], x[369] [0, 2], x[370] [0, 2], x[371] [0, 2], x[372] [0, 2], x[373] [0, 2], x[374] [0, 2], x[375] [0, 2], x[376] [0, 2], x[377] [0, 2], x[378] [0, 2], x[379] [0, 2], x[380] [0, 2], x[381] [0, 2], x[382] [0, 2], x[383] [0, 2], x[384] [0, 2], x[385] [0, 2], x[386] [0, 2], x[387] [0, 2], x[388] [0, 2], x[389] [0, 2], x[390] [0, 2], x[391] [0, 2], x[392] [0, 2], x[393] [0, 2], x[394] [0, 2], x[395] [0, 2], x[396] [0, 2], x[397] [0, 2], x[398] [0, 2], x[399] [0, 2], x[400] [0, 2], x[401] [0, 1], x[402] [0, 1], x[403] [0, 1], x[404] [0, 1], x[405] [0, 1], x[406] [0, 1], x[407] [0, 1], x[408] [0, 1], x[409] [0, 1], x[410] [0, 1], x[411] [0, 1], x[412] [0, 1], x[413] [0, 1], x[414] [0, 1], x[415] [0, 1], x[416] [0, 1], x[417] [0, 1], x[418] [0, 1], x[419] [0, 1], x[420] [0, 1], x[421] [0, 1], x[422] [0, 1], x[423] [0, 1], x[424] [0, 1], x[425] [0, 1], x[426] [0, 1], x[427] [0, 1], x[428] [0, 1], x[429] [0, 1], x[430] [0, 1], x[431] [0, 1], x[432] [0, 1], x[433] [0, 1], x[434] [0, 1], x[435] [0, 1], x[436] [0, 1], x[437] [0, 1], x[438] [0, 1], x[439] [0, 1], x[440] [0, 1], x[441] [0, 1], x[442] [0, 1], x[443] [0, 1], x[444] [0, 1], x[445] [0, 1], x[446] [0, 1], x[447] [0, 1], x[448] [0, 1], x[449] [0, 1], x[450] [0, 1], x[451] [0, 1], x[452] [0, 1], x[453] [0, 1], x[454] [0, 1], x[455] [0, 1], x[456] [0, 1], x[457] [0, 1], x[458] [0, 1], x[459] [0, 1], x[460] [0, 1], x[461] [0, 1], x[462] [0, 1], x[463] [0, 1], x[464] [0, 1], x[465] [0, 1], x[466] [0, 1], x[467] [0, 1], x[468] [0, 1], x[469] [0, 1], x[470] [0, 1], x[471] [0, 1], x[472] [0, 1], x[473] [0, 1], x[474] [0, 1], x[475] [0, 1], x[476] [0, 1], x[477] [0, 1], x[478] [0, 1], x[479] [0, 1], x[480] [0, 1], x[481] [0, 1], x[482] [0, 1], x[483] [0, 1], x[484] [0, 1], x[485] [0, 1], x[486] [0, 1], x[487] [0, 1], x[488] [0, 1], x[489] [0, 1], x[490] [0, 1], x[491] [0, 1], x[492] [0, 1], x[493] [0, 1], x[494] [0, 1], x[495] [0, 1], x[496] [0, 1], x[497] [0, 1], x[498] [0, 1], x[499] [0, 1], x[500] [0, 1], x[501] [0, 1], x[502] [0, 1], x[503] [0, 1], x[504] [0, 1], x[505] [0, 1], x[506] [0, 1], x[507] [0, 1], x[508] [0, 1], x[509] [0, 1], x[510] [0, 1], x[511] [0, 1], x[512] [0, 1], x[513] [0, 1], x[514] [0, 1], x[515] [0, 1], x[516] [0, 1], x[517] [0, 1], x[518] [0, 1], x[519] [0, 1], x[520] [0, 1], x[521] [0, 1], x[522] [0, 1], x[523] [0, 1], x[524] [0, 1], x[525] [0, 1], x[526] [0, 1], x[527] [0, 1], x[528] [0, 1], x[529] [0, 1], x[530] [0, 1], x[531] [0, 1], x[532] [0, 1], x[533] [0, 1], x[534] [0, 1], x[535] [0, 1], x[536] [0, 1], x[537] [0, 1], x[538] [0, 1], x[539] [0, 1], x[540] [0, 1], x[541] [0, 1], x[542] [0, 1], x[543] [0, 1], x[544] [0, 1], x[545] [0, 1], x[546] [0, 1], x[547] [0, 1], x[548] [0, 1], x[549] [0, 1], x[550] [0, 1], x[551] [0, 1], x[552] [0, 1], x[553] [0, 1], x[554] [0, 1], x[555] [0, 1], x[556] [0, 1], x[557] [0, 1], x[558] [0, 1], x[559] [0, 1], x[560] [0, 1], x[561] [0, 1], x[562] [0, 1], x[563] [0, 1], x[564] [0, 1], x[565] [0, 1], x[566] [0, 1], x[567] [0, 1], x[568] [0, 1], x[569] [0, 1], x[570] [0, 1], x[571] [0, 1], x[572] [0, 1], x[573] [0, 1], x[574] [0, 1], x[575] [0, 1], x[576] [0, 1], x[577] [0, 1], x[578] [0, 1], x[579] [0, 1], x[580] [0, 1], x[581] [0, 1], x[582] [1], x[583] [0, 1], x[584] [0, 1], x[585] [0, 1], x[586] [0, 1], x[587] [0, 1], x[588] [0, 1], x[589] [0, 1], x[590] [0, 1], x[591] [0, 1], x[592] [0, 1], x[593] [0, 1], x[594] [0, 1], x[595] [0, 1], x[596] [0, 1], x[597] [0, 1], x[598] [0, 1], x[599] [0, 1], x[600] [0, 1], x[601] [0, 1], x[602] [0, 1], x[603] [0, 1], x[604] [0, 1], x[605] [0, 1], x[606] [0, 1], x[607] [0, 1], x[608] [0, 1], x[609] [0, 1], x[610] [0, 1], x[611] [0, 1], x[612] [0, 1], x[613] [0, 1], x[614] [0, 1], x[615] [0, 1], x[616] [0, 1], x[617] [0, 1], x[618] [0, 1], x[619] [0, 1], x[620] [0, 1], x[621] [0, 1], x[622] [0, 1], x[623] [0, 1], x[624] [0, 1], x[625] [0, 1], x[626] [0, 1], x[627] [0, 1], x[628] [0, 1], x[629] [0, 1], x[630] [0, 1], x[631] [0, 1], x[632] [0, 1], x[633] [0, 1], x[634] [0, 1], x[635] [0, 1], x[636] [0], x[637] [0, 1], x[638] [0, 1], x[639] [0, 1], x[640] [0, 1], x[641] [0, 1], x[642] [0, 1], x[643] [0, 1], x[644] [0, 1], x[645] [0, 1], x[646] [0, 1], x[647] [0, 1], x[648] [0, 1], x[649] [0, 1], x[650] [0, 1], x[651] [0, 1], x[652] [0, 1], x[653] [0, 1], x[654] [0, 1], x[655] [0, 1], x[656] [0, 1], x[657] [0, 1], x[658] [0, 1], x[659] [0], x[660] [0, 1], x[661] [0, 1], x[662] [0, 1], x[663] [0, 1], x[664] [0, 1], x[665] [0, 1], x[666] [0, 1], x[667] [0, 1], x[668] [0, 1], x[669] [0, 1], x[670] [0, 1], x[671] [0, 1], x[672] [0, 1], x[673] [0, 1], x[674] [0, 1], x[675] [0, 1], x[676] [0, 1], x[677] [0, 1], x[678] [0, 1], x[679] [0, 1], x[680] [0, 1], x[681] [0, 1], x[682] [0, 1], x[683] [0, 1], x[684] [0, 1], x[685] [0, 1], x[686] [0, 1], x[687] [0, 1], x[688] [0, 1], x[689] [0, 1], x[690] [0, 1], x[691] [0, 1], x[692] [0, 1], x[693] [0, 1], x[694] [0, 1], x[695] [0, 1], x[696] [0, 1], x[697] [0, 1], x[698] [0, 1], x[699] [0, 1], x[700] [0, 1], x[701] [0, 1], x[702] [0, 1], x[703] [0, 1], x[704] [0, 1], x[705] [0, 1], x[706] [0, 1], x[707] [0, 1], x[708] [0, 1], x[709] [0, 1], x[710] [0, 1], x[711] [0, 1], x[712] [0, 1], x[713] [0, 1], x[714] [0, 1], x[715] [0, 1], x[716] [0, 1], x[717] [0, 1], x[718] [0, 1], x[719] [0, 1], x[720] [0, 1], x[721] [0, 1], x[722] [0, 1], x[723] [0, 1], x[724] [0, 1], x[725] [0, 1], x[726] [0, 1], x[727] [0, 1], x[728] [0, 1], x[729] [0, 1], x[730] [0, 1], x[731] [0, 1], x[732] [0, 1], x[733] [0, 1], x[734] [0, 1], x[735] [0, 1], x[736] [0, 1], x[737] [0, 1], x[738] [0, 1], x[739] [0, 1], x[740] [0, 1], x[741] [0, 1], x[742] [0, 1], x[743] [0, 1], x[744] [0, 1], x[745] [0, 1], x[746] [0, 1], x[747] [0, 1], x[748] [0, 1], x[749] [0, 1], x[750] [0, 1], x[751] [0, 1], x[752] [0, 1], x[753] [0, 1], x[754] [0, 1], x[755] [0, 1], x[756] [0, 1], x[757] [0, 1], x[758] [0, 1], x[759] [0, 1], x[760] [0, 1], x[761] [0, 1], x[762] [0, 1], x[763] [0, 1], x[764] [0, 1], x[765] [0, 1], x[766] [0, 1], x[767] [0, 1], x[768] [0, 1], x[769] [0, 1], x[770] [0, 1], x[771] [0, 1], x[772] [0, 1], x[773] [0, 1], x[774] [0, 1], x[775] [0, 1], x[776] [0, 1], x[777] [0, 1], x[778] [0, 1], x[779] [0, 1], x[780] [0, 1], x[781] [0, 1], x[782] [0, 1], x[783] [0, 1], x[784] [0, 1], x[785] [0, 1], x[786] [0, 1], x[787] [0, 1], x[788] [0, 1], x[789] [0, 1], x[790] [0, 1], x[791] [0, 1], x[792] [0, 1], x[793] [0, 1], x[794] [0, 1], x[795] [0, 1], x[796] [0, 1], x[797] [0, 1], x[798] [0], x[799] [0]), Map(798 -> SmallBitVector{0}) is incorrect, mod = LargeBitVector{0, 800}
37.31/25.59 at scala.Predef$.assert(Predef.scala:282)
37.31/25.59 at concrete.constraint.semantic.AtLeast.recomputeState(AtLeast.scala:61)
37.31/25.59 at concrete.constraint.semantic.AtLeast.revise(AtLeast.scala:34)
37.31/25.59 at concrete.constraint.Constraint.revise(Constraint.scala:295)
37.31/25.59 at concrete.filter.ACC.reduce(ACC.scala:153)
37.31/25.59 at concrete.filter.ACC.reduceAfter(ACC.scala:90)
37.31/25.59 at concrete.MAC.$anonfun$mac$1(MAC.scala:166)
37.31/25.59 at concrete.ProblemState.andThen(ProblemState.scala:234)
37.31/25.59 at concrete.MAC.mac(MAC.scala:166)
37.31/25.59 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
37.31/25.59 at scala.util.Try$.apply(Try.scala:212)
37.31/25.59 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
37.31/25.59 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
37.31/25.59 at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
37.31/25.59 at concrete.MAC.oneRun(MAC.scala:265)
37.31/25.59 at concrete.MAC.nextSolution(MAC.scala:284)
37.31/25.59 at concrete.MAC.$anonfun$nextSolution$7(MAC.scala:350)
37.31/25.59 at concrete.ProblemState.map(ProblemState.scala:238)
37.31/25.59 at concrete.ProblemState.map(ProblemState.scala:212)
37.31/25.59 at concrete.MAC.nextSolution(MAC.scala:348)
37.31/25.59 at concrete.Solver.hasNext(Solver.scala:160)
37.31/25.59 at scala.collection.Iterator.nextOption(Iterator.scala:104)
37.31/25.59 at scala.collection.Iterator.nextOption$(Iterator.scala:104)
37.31/25.59 at concrete.Solver.nextOption(Solver.scala:67)
37.31/25.59 at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:78)
37.31/25.59 at scala.util.Success.map(Try.scala:264)
37.31/25.59 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
37.31/25.59 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
37.31/25.59 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
37.31/25.59 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
37.31/25.59 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
37.31/25.59 at scala.Function0.apply$mcV$sp(Function0.scala:39)
37.31/25.59 at scala.Function0.apply$mcV$sp$(Function0.scala:39)
37.31/25.59 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
37.31/25.59 at scala.App.$anonfun$main$1(App.scala:75)
37.31/25.59 at scala.App.$anonfun$main$1$adapted(App.scala:75)
37.31/25.59 at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
37.31/25.59 at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
37.31/25.59 at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
37.31/25.59 at scala.App.main(App.scala:75)
37.31/25.59 at scala.App.main$(App.scala:73)
37.31/25.59 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
37.31/25.59 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
37.31/25.59 s UNKNOWN
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 (15115 MiB free)
memory of node 1: 16384 MiB (14902 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395852-1568396151/watcher-4395852-1568396151 -o /tmp/evaluation-result-4395852-1568396151/solver-4395852-1568396151 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568393449-28712 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=582263495 HOME/instance-4395852-1568396151.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=29718, runsolver pid=29715
[startup+0.101947 s]*
/proc/loadavg: 1.41 1.69 1.65 3/220 29775
/proc/meminfo: memFree=30728660/32770624 swapFree=67000324/67108860
[pid=29718] ppid=29715 vsize=9972712 memory=18596 CPUtime=0.1 cores=0,2,4,6
/proc/29718/stat : 29718 (java) S 29715 29718 26068 0 -1 1077944320 4377 13047 0 0 2 0 5 3 20 0 6 0 415529149 10212057088 4649 33554432000 4194304 4196468 140733361870128 140733361852672 139859751706359 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
/proc/29718/statm: 2493178 4649 1935 1 0 2481616 0
[pid=29718/tid=29771] ppid=29715 vsize=9972712 memory=4279135704014094991 CPUtime=0.09 cores=0,2,4,6
/proc/29718/task/29771/stat : 29771 (java) R 29715 29718 26068 0 -1 4202560 2176 13047 0 0 1 0 5 3 20 0 6 0 415529159 10212057088 4649 33554432000 4194304 4196468 140733361870128 139859723543120 139859737018361 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29772] ppid=29715 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29772/stat : 29772 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 6 0 415529159 10212057088 4649 33554432000 4194304 4196468 140733361870128 139859755948432 139859751716565 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29773] ppid=29715 vsize=9972712 memory=139729604552320 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29773/stat : 29773 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 6 0 415529159 10212057088 4649 33554432000 4194304 4196468 140733361870128 139859644221712 139859751716565 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29774] ppid=29715 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29774/stat : 29774 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 6 0 415529159 10212057088 4649 33554432000 4194304 4196468 140733361870128 139859643169424 139859751716565 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29775] ppid=29715 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29775/stat : 29775 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 6 0 415529159 10212057088 4649 33554432000 4194304 4196468 140733361870128 139859642116624 139859751716565 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.210135 s]*
/proc/loadavg: 1.41 1.69 1.65 5/229 29784
/proc/meminfo: memFree=30709584/32770624 swapFree=67000324/67108860
[pid=29718] ppid=29715 vsize=10819664 memory=42280 CPUtime=0.26 cores=0,2,4,6
/proc/29718/stat : 29718 (java) S 29715 29718 26068 0 -1 1077944320 6898 13047 0 0 17 1 5 3 20 0 15 0 415529149 11079335936 10570 33554432000 4194304 4196468 140733361870128 140733361852672 139859751706359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
/proc/29718/statm: 2704916 10570 3161 1 0 2667149 0
[pid=29718/tid=29771] ppid=29715 vsize=10819664 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/29718/task/29771/stat : 29771 (java) R 29715 29718 26068 0 -1 4202560 3367 13047 0 0 11 0 5 3 20 0 15 0 415529159 11079335936 10570 33554432000 4194304 4196468 140733361870128 139859723513968 139859735786846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29772] ppid=29715 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29772/stat : 29772 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529159 11079335936 10570 33554432000 4194304 4196468 140733361870128 139859755948432 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29773] ppid=29715 vsize=10819664 memory=139729604552320 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29773/stat : 29773 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529159 11079335936 10570 33554432000 4194304 4196468 140733361870128 139859644221712 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29774] ppid=29715 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29774/stat : 29774 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529159 11079335936 10570 33554432000 4194304 4196468 140733361870128 139859643169424 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29775] ppid=29715 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29775/stat : 29775 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 15 0 415529159 11079335936 10570 33554432000 4194304 4196468 140733361870128 139859642116624 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29776] ppid=29715 vsize=10819664 memory=139729604552320 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29776/stat : 29776 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 15 0 415529161 11079335936 10570 33554432000 4194304 4196468 140733361870128 139859210467952 139859751717506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29777] ppid=29715 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29777/stat : 29777 (java) S 29715 29718 26068 0 -1 1077944384 33 13047 0 0 0 0 5 3 20 0 15 0 415529161 11079335936 10570 33554432000 4194304 4196468 140733361870128 139859209413920 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29778] ppid=29715 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29778/stat : 29778 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529161 11079335936 10570 33554432000 4194304 4196468 140733361870128 139859100427888 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29779] ppid=29715 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29779/stat : 29779 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 15 0 415529164 11079335936 10570 33554432000 4194304 4196468 140733361870128 139858496449104 139859751724955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29780] ppid=29715 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29718/task/29780/stat : 29780 (java) S 29715 29718 26068 0 -1 1077944384 474 13047 0 0 1 0 5 3 20 0 15 0 415529164 11079335936 10570 33554432000 4194304 4196468 140733361870128 139859175856240 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29781] ppid=29715 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/29718/task/29781/stat : 29781 (java) S 29715 29718 26068 0 -1 1077944384 190 13047 0 0 1 0 5 3 20 0 15 0 415529164 11079335936 10570 33554432000 4194304 4196468 140733361870128 139859174803440 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29782] ppid=29715 vsize=10819664 memory=139729604552320 CPUtime=0.11 cores=0,2,4,6
/proc/29718/task/29782/stat : 29782 (java) S 29715 29718 26068 0 -1 1077944384 611 13047 0 0 3 0 5 3 20 0 15 0 415529164 11079335936 10570 33554432000 4194304 4196468 140733361870128 139859173751152 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29783] ppid=29715 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29783/stat : 29783 (java) S 29715 29718 26068 0 -1 1077944384 3 13047 0 0 0 0 5 3 20 0 15 0 415529164 11079335936 10570 33554432000 4194304 4196468 140733361870128 139858026686944 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29784] ppid=29715 vsize=10819664 memory=139729604552320 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29784/stat : 29784 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529165 11079335936 10570 33554432000 4194304 4196468 140733361870128 139859172699056 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 42280 KiB
[startup+0.311121 s]*
/proc/loadavg: 1.41 1.69 1.65 4/229 29784
/proc/meminfo: memFree=30697684/32770624 swapFree=67000324/67108860
[pid=29718] ppid=29715 vsize=10820148 memory=53352 CPUtime=0.4 cores=0,2,4,6
/proc/29718/stat : 29718 (java) S 29715 29718 26068 0 -1 1077944320 10581 13047 0 0 29 3 5 3 20 0 15 0 415529149 11079831552 13338 33554432000 4194304 4196468 140733361870128 140733361852672 139859751706359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
/proc/29718/statm: 2705037 13338 3293 1 0 2667149 0
[pid=29718/tid=29771] ppid=29715 vsize=10820148 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/29718/task/29771/stat : 29771 (java) R 29715 29718 26068 0 -1 4202560 7028 13047 0 0 19 2 5 3 20 0 15 0 415529159 11079831552 13338 33554432000 4194304 4196468 140733361870128 139859723512464 139859734893189 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29772] ppid=29715 vsize=10820148 memory=7228928657774891088 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29772/stat : 29772 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529159 11079831552 13338 33554432000 4194304 4196468 140733361870128 139859755948432 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29773] ppid=29715 vsize=10820148 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29773/stat : 29773 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529159 11079831552 13338 33554432000 4194304 4196468 140733361870128 139859644221712 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29774] ppid=29715 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29774/stat : 29774 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529159 11079831552 13338 33554432000 4194304 4196468 140733361870128 139859643169424 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29775] ppid=29715 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29775/stat : 29775 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 15 0 415529159 11079831552 13338 33554432000 4194304 4196468 140733361870128 139859642116624 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29776] ppid=29715 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29776/stat : 29776 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 15 0 415529161 11079831552 13338 33554432000 4194304 4196468 140733361870128 139859210467952 139859751717506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29777] ppid=29715 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29777/stat : 29777 (java) S 29715 29718 26068 0 -1 1077944384 33 13047 0 0 0 0 5 3 20 0 15 0 415529161 11079831552 13338 33554432000 4194304 4196468 140733361870128 139859209413920 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29778] ppid=29715 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29778/stat : 29778 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529161 11079831552 13338 33554432000 4194304 4196468 140733361870128 139859100427888 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29779] ppid=29715 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29779/stat : 29779 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 15 0 415529164 11079831552 13338 33554432000 4194304 4196468 140733361870128 139858496449104 139859751724955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29780] ppid=29715 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/29718/task/29780/stat : 29780 (java) S 29715 29718 26068 0 -1 1077944384 486 13047 0 0 2 0 5 3 20 0 15 0 415529164 11079831552 13338 33554432000 4194304 4196468 140733361870128 139859175856240 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29781] ppid=29715 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/29718/task/29781/stat : 29781 (java) S 29715 29718 26068 0 -1 1077944384 190 13047 0 0 2 0 5 3 20 0 15 0 415529164 11079831552 13338 33554432000 4194304 4196468 140733361870128 139859174803440 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29782] ppid=29715 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/29718/task/29782/stat : 29782 (java) S 29715 29718 26068 0 -1 1077944384 621 13047 0 0 5 0 5 3 20 0 15 0 415529164 11079831552 13338 33554432000 4194304 4196468 140733361870128 139859173751152 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29783] ppid=29715 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29783/stat : 29783 (java) S 29715 29718 26068 0 -1 1077944384 3 13047 0 0 0 0 5 3 20 0 15 0 415529164 11079831552 13338 33554432000 4194304 4196468 140733361870128 139858026686944 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29784] ppid=29715 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29784/stat : 29784 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529165 11079831552 13338 33554432000 4194304 4196468 140733361870128 139859172699056 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 53352 KiB
[startup+0.700691 s]
/proc/loadavg: 1.41 1.69 1.65 3/229 29784
/proc/meminfo: memFree=30683388/32770624 swapFree=67000324/67108860
[pid=29718] ppid=29715 vsize=10824360 memory=85824 CPUtime=1.14 cores=0,2,4,6
/proc/29718/stat : 29718 (java) S 29715 29718 26068 0 -1 1077944320 14615 13047 0 0 101 5 5 3 20 0 15 0 415529149 11084144640 21456 33554432000 4194304 4196468 140733361870128 140733361852672 139859751706359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
/proc/29718/statm: 2706090 21456 3511 1 0 2668173 0
[pid=29718/tid=29771] ppid=29715 vsize=10824360 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/29718/task/29771/stat : 29771 (java) R 29715 29718 26068 0 -1 4202560 9889 13047 0 0 55 4 5 3 20 0 15 0 415529159 11084144640 21456 33554432000 4194304 4196468 140733361870128 139859723535904 139859751728285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29772] ppid=29715 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29772/stat : 29772 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529159 11084144640 21456 33554432000 4194304 4196468 140733361870128 139859755948432 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29773] ppid=29715 vsize=10824360 memory=3616 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29773/stat : 29773 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529159 11084144640 21456 33554432000 4194304 4196468 140733361870128 139859644221712 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29774] ppid=29715 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29774/stat : 29774 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529159 11084144640 21456 33554432000 4194304 4196468 140733361870128 139859643169424 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29775] ppid=29715 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29775/stat : 29775 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 15 0 415529159 11084144640 21456 33554432000 4194304 4196468 140733361870128 139859642116624 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29776] ppid=29715 vsize=10824360 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29776/stat : 29776 (java) S 29715 29718 26068 0 -1 1077944384 5 13047 0 0 0 0 5 3 20 0 15 0 415529161 11084144640 21456 33554432000 4194304 4196468 140733361870128 139859210467952 139859751717506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29777] ppid=29715 vsize=10824360 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29777/stat : 29777 (java) S 29715 29718 26068 0 -1 1077944384 33 13047 0 0 0 0 5 3 20 0 15 0 415529161 11084144640 21456 33554432000 4194304 4196468 140733361870128 139859209413920 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29778] ppid=29715 vsize=10824360 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29778/stat : 29778 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529161 11084144640 21456 33554432000 4194304 4196468 140733361870128 139859100427888 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29779] ppid=29715 vsize=10824360 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29779/stat : 29779 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 15 0 415529164 11084144640 21456 33554432000 4194304 4196468 140733361870128 139858496449104 139859751724955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29780] ppid=29715 vsize=10824360 memory=13252 CPUtime=0.23 cores=0,2,4,6
/proc/29718/task/29780/stat : 29780 (java) R 29715 29718 26068 0 -1 4202560 1001 13047 0 0 15 0 5 3 20 0 15 0 415529164 11084144640 21456 33554432000 4194304 4196468 140733361870128 139859175856240 139859731222913 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29781] ppid=29715 vsize=10824360 memory=15460 CPUtime=0.2 cores=0,2,4,6
/proc/29718/task/29781/stat : 29781 (java) S 29715 29718 26068 0 -1 1077944384 607 13047 0 0 12 0 5 3 20 0 15 0 415529164 11084144640 21456 33554432000 4194304 4196468 140733361870128 139859174803440 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29782] ppid=29715 vsize=10824360 memory=17668 CPUtime=0.25 cores=0,2,4,6
/proc/29718/task/29782/stat : 29782 (java) S 29715 29718 26068 0 -1 1077944384 859 13047 0 0 17 0 5 3 20 0 15 0 415529164 11084144640 21456 33554432000 4194304 4196468 140733361870128 139859173751152 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29783] ppid=29715 vsize=10824360 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29783/stat : 29783 (java) S 29715 29718 26068 0 -1 1077944384 3 13047 0 0 0 0 5 3 20 0 15 0 415529164 11084144640 21456 33554432000 4194304 4196468 140733361870128 139858026686944 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29784] ppid=29715 vsize=10824360 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29784/stat : 29784 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529165 11084144640 21456 33554432000 4194304 4196468 140733361870128 139859172699056 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85824 KiB
[startup+1.50073 s]
/proc/loadavg: 1.41 1.69 1.65 3/229 29784
/proc/meminfo: memFree=30639824/32770624 swapFree=67000324/67108860
[pid=29718] ppid=29715 vsize=10834676 memory=175548 CPUtime=2.52 cores=0,2,4,6
/proc/29718/stat : 29718 (java) S 29715 29718 26068 0 -1 1077944320 23281 13047 0 0 233 11 5 3 20 0 15 0 415529149 11094708224 43887 33554432000 4194304 4196468 140733361870128 140733361852672 139859751706359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
/proc/29718/statm: 2708669 43887 3577 1 0 2670733 0
[pid=29718/tid=29771] ppid=29715 vsize=10834676 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/29718/task/29771/stat : 29771 (java) R 29715 29718 26068 0 -1 4202560 15519 13047 0 0 129 6 5 3 20 0 15 0 415529159 11094708224 43887 33554432000 4194304 4196468 140733361870128 139859723510576 139859751718294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29772] ppid=29715 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29718/task/29772/stat : 29772 (java) S 29715 29718 26068 0 -1 1077944384 90 13047 0 0 1 0 5 3 20 0 15 0 415529159 11094708224 43887 33554432000 4194304 4196468 140733361870128 139859755948432 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29773] ppid=29715 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29718/task/29773/stat : 29773 (java) S 29715 29718 26068 0 -1 1077944384 342 13047 0 0 1 0 5 3 20 0 15 0 415529159 11094708224 43887 33554432000 4194304 4196468 140733361870128 139859644221712 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29774] ppid=29715 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29718/task/29774/stat : 29774 (java) S 29715 29718 26068 0 -1 1077944384 26 13047 0 0 1 0 5 3 20 0 15 0 415529159 11094708224 43887 33554432000 4194304 4196468 140733361870128 139859643169424 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29775] ppid=29715 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29718/task/29775/stat : 29775 (java) S 29715 29718 26068 0 -1 1077944384 56 13047 0 0 1 0 5 3 20 0 15 0 415529159 11094708224 43887 33554432000 4194304 4196468 140733361870128 139859642116624 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29776] ppid=29715 vsize=10834676 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/29718/task/29776/stat : 29776 (java) S 29715 29718 26068 0 -1 1077944384 1242 13047 0 0 1 0 5 3 20 0 15 0 415529161 11094708224 43887 33554432000 4194304 4196468 140733361870128 139859210467952 139859751717506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29777] ppid=29715 vsize=10834676 memory=279458892294400 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29777/stat : 29777 (java) S 29715 29718 26068 0 -1 1077944384 33 13047 0 0 0 0 5 3 20 0 15 0 415529161 11094708224 43887 33554432000 4194304 4196468 140733361870128 139859209413984 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29778] ppid=29715 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29778/stat : 29778 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 15 0 415529161 11094708224 43887 33554432000 4194304 4196468 140733361870128 139859100427888 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29779] ppid=29715 vsize=10834676 memory=3436 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29779/stat : 29779 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 15 0 415529164 11094708224 43887 33554432000 4194304 4196468 140733361870128 139858496449104 139859751724955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29780] ppid=29715 vsize=10834676 memory=7548 CPUtime=0.37 cores=0,2,4,6
/proc/29718/task/29780/stat : 29780 (java) S 29715 29718 26068 0 -1 1077944384 1268 13047 0 0 29 0 5 3 20 0 15 0 415529164 11094708224 43887 33554432000 4194304 4196468 140733361870128 139859175856240 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29781] ppid=29715 vsize=10834676 memory=2832 CPUtime=0.34 cores=0,2,4,6
/proc/29718/task/29781/stat : 29781 (java) S 29715 29718 26068 0 -1 1077944384 920 13047 0 0 26 0 5 3 20 0 15 0 415529164 11094708224 43887 33554432000 4194304 4196468 140733361870128 139859174803440 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29782] ppid=29715 vsize=10834676 memory=1224 CPUtime=0.48 cores=0,2,4,6
/proc/29718/task/29782/stat : 29782 (java) S 29715 29718 26068 0 -1 1077944384 1568 13047 0 0 40 0 5 3 20 0 15 0 415529164 11094708224 43887 33554432000 4194304 4196468 140733361870128 139859173751152 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29783] ppid=29715 vsize=10834676 memory=5908 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29783/stat : 29783 (java) S 29715 29718 26068 0 -1 1077944384 3 13047 0 0 0 0 5 3 20 0 15 0 415529164 11094708224 43887 33554432000 4194304 4196468 140733361870128 139858026686944 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29784] ppid=29715 vsize=10834676 memory=772 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29784/stat : 29784 (java) S 29715 29718 26068 0 -1 1077944384 1 13047 0 0 0 0 5 3 20 0 15 0 415529165 11094708224 43887 33554432000 4194304 4196468 140733361870128 139859172699056 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
Current children cumulated CPU time: 2.52 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 10842888 KiB
Current children cumulated memory: 328880 KiB
[startup+6.30085 s]
/proc/loadavg: 1.53 1.71 1.65 5/229 29784
/proc/meminfo: memFree=30015104/32770624 swapFree=67000324/67108860
[pid=29718] ppid=29715 vsize=10842888 memory=737948 CPUtime=12.34 cores=0,2,4,6
/proc/29718/stat : 29718 (java) S 29715 29718 26068 0 -1 1077944320 38813 13047 0 0 1170 56 5 3 20 0 15 0 415529149 11103117312 184487 33554432000 4194304 4196468 140733361870128 140733361852672 139859751706359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
/proc/29718/statm: 2710722 184487 3618 1 0 2672781 0
[pid=29718/tid=29771] ppid=29715 vsize=10842888 memory=1056 CPUtime=5.88 cores=0,2,4,6
/proc/29718/task/29771/stat : 29771 (java) R 29715 29718 26068 0 -1 4202560 21438 13047 0 0 567 13 5 3 20 0 15 0 415529159 11103117312 184487 33554432000 4194304 4196468 140733361870128 139859723539064 139859330317359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29772] ppid=29715 vsize=10842888 memory=8 CPUtime=0.41 cores=0,2,4,6
/proc/29718/task/29772/stat : 29772 (java) S 29715 29718 26068 0 -1 1077944384 559 13047 0 0 25 8 5 3 20 0 15 0 415529159 11103117312 184487 33554432000 4194304 4196468 140733361870128 139859755948432 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29773] ppid=29715 vsize=10842888 memory=8 CPUtime=0.4 cores=0,2,4,6
/proc/29718/task/29773/stat : 29773 (java) S 29715 29718 26068 0 -1 1077944384 777 13047 0 0 24 8 5 3 20 0 15 0 415529159 11103117312 184487 33554432000 4194304 4196468 140733361870128 139859644221712 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29774] ppid=29715 vsize=10842888 memory=8 CPUtime=0.41 cores=0,2,4,6
/proc/29718/task/29774/stat : 29774 (java) S 29715 29718 26068 0 -1 1077944384 503 13047 0 0 25 8 5 3 20 0 15 0 415529159 11103117312 184487 33554432000 4194304 4196468 140733361870128 139859643169424 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29775] ppid=29715 vsize=10842888 memory=8 CPUtime=0.42 cores=0,2,4,6
/proc/29718/task/29775/stat : 29775 (java) S 29715 29718 26068 0 -1 1077944384 423 13047 0 0 25 9 5 3 20 0 15 0 415529159 11103117312 184487 33554432000 4194304 4196468 140733361870128 139859642116624 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29776] ppid=29715 vsize=10842888 memory=8 CPUtime=0.1 cores=0,2,4,6
/proc/29718/task/29776/stat : 29776 (java) S 29715 29718 26068 0 -1 1077944384 2215 13047 0 0 2 0 5 3 20 0 15 0 415529161 11103117312 184487 33554432000 4194304 4196468 140733361870128 139859210467952 139859751717506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29777] ppid=29715 vsize=10842888 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29777/stat : 29777 (java) S 29715 29718 26068 0 -1 1077944384 38 13047 0 0 0 0 5 3 20 0 15 0 415529161 11103117312 184487 33554432000 4194304 4196468 140733361870128 139859209413984 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29778] ppid=29715 vsize=10842888 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29778/stat : 29778 (java) S 29715 29718 26068 0 -1 1077944384 4 13047 0 0 0 0 5 3 20 0 15 0 415529161 11103117312 184487 33554432000 4194304 4196468 140733361870128 139859100427904 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29779] ppid=29715 vsize=10842888 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29779/stat : 29779 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 15 0 415529164 11103117312 184487 33554432000 4194304 4196468 140733361870128 139858496449104 139859751724955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29780] ppid=29715 vsize=10842888 memory=56 CPUtime=1.92 cores=0,2,4,6
/proc/29718/task/29780/stat : 29780 (java) S 29715 29718 26068 0 -1 1077944384 3060 13047 0 0 183 1 5 3 20 0 15 0 415529164 11103117312 184487 33554432000 4194304 4196468 140733361870128 139859175856240 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29781] ppid=29715 vsize=10842888 memory=-8312670058677691234 CPUtime=1.96 cores=0,2,4,6
/proc/29718/task/29781/stat : 29781 (java) S 29715 29718 26068 0 -1 1077944384 2907 13047 0 0 187 1 5 3 20 0 15 0 415529164 11103117312 184487 33554432000 4194304 4196468 140733361870128 139859174803440 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29782] ppid=29715 vsize=10842888 memory=-6667966544890519924 CPUtime=1.37 cores=0,2,4,6
/proc/29718/task/29782/stat : 29782 (java) S 29715 29718 26068 0 -1 1077944384 4664 13047 0 0 126 3 5 3 20 0 15 0 415529164 11103117312 184487 33554432000 4194304 4196468 140733361870128 139859173751152 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29783] ppid=29715 vsize=10842888 memory=279458892670912 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29783/stat : 29783 (java) S 29715 29718 26068 0 -1 1077944384 3 13047 0 0 0 0 5 3 20 0 15 0 415529164 11103117312 184487 33554432000 4194304 4196468 140733361870128 139858026686944 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29784] ppid=29715 vsize=10842888 memory=-6654736624941163865 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29784/stat : 29784 (java) S 29715 29718 26068 0 -1 1077944384 11 13047 0 0 0 0 5 3 20 0 15 0 415529165 11103117312 184487 33554432000 4194304 4196468 140733361870128 139859172699056 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
Current children cumulated CPU time: 12.34 s
Current children cumulated vsize: 10842888 KiB
Current children cumulated memory: 737948 KiB
[startup+12.7008 s]
/proc/loadavg: 1.73 1.75 1.67 3/229 29784
/proc/meminfo: memFree=29358904/32770624 swapFree=67000324/67108860
[pid=29718] ppid=29715 vsize=10844936 memory=1511364 CPUtime=20.67 cores=0,2,4,6
/proc/29718/stat : 29718 (java) S 29715 29718 26068 0 -1 1077944320 45338 13047 0 0 1979 80 5 3 20 0 15 0 415529149 11105214464 377841 33554432000 4194304 4196468 140733361870128 140733361852672 139859751706359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
/proc/29718/statm: 2711234 377841 3622 1 0 2673293 0
[pid=29718/tid=29771] ppid=29715 vsize=10844936 memory=1384892 CPUtime=11.89 cores=0,2,4,6
/proc/29718/task/29771/stat : 29771 (java) R 29715 29718 26068 0 -1 4202560 24811 13047 0 0 1161 20 5 3 20 0 15 0 415529159 11105214464 377841 33554432000 4194304 4196468 140733361870128 139859723542336 139859333162530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29772] ppid=29715 vsize=10844936 memory=1393108 CPUtime=0.76 cores=0,2,4,6
/proc/29718/task/29772/stat : 29772 (java) S 29715 29718 26068 0 -1 1077944384 721 13047 0 0 56 12 5 3 20 0 15 0 415529159 11105214464 377841 33554432000 4194304 4196468 140733361870128 139859755948432 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29773] ppid=29715 vsize=10844936 memory=279458892359200 CPUtime=0.75 cores=0,2,4,6
/proc/29718/task/29773/stat : 29773 (java) S 29715 29718 26068 0 -1 1077944384 933 13047 0 0 55 12 5 3 20 0 15 0 415529159 11105214464 377841 33554432000 4194304 4196468 140733361870128 139859644221712 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29774] ppid=29715 vsize=10844936 memory=3616 CPUtime=0.77 cores=0,2,4,6
/proc/29718/task/29774/stat : 29774 (java) S 29715 29718 26068 0 -1 1077944384 636 13047 0 0 56 13 5 3 20 0 15 0 415529159 11105214464 377841 33554432000 4194304 4196468 140733361870128 139859643169424 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29775] ppid=29715 vsize=10844936 memory=279458892681728 CPUtime=0.76 cores=0,2,4,6
/proc/29718/task/29775/stat : 29775 (java) S 29715 29718 26068 0 -1 1077944384 567 13047 0 0 55 13 5 3 20 0 15 0 415529159 11105214464 377841 33554432000 4194304 4196468 140733361870128 139859642116624 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29776] ppid=29715 vsize=10844936 memory=7306920333668738665 CPUtime=0.13 cores=0,2,4,6
/proc/29718/task/29776/stat : 29776 (java) S 29715 29718 26068 0 -1 1077944384 4251 13047 0 0 5 0 5 3 20 0 15 0 415529161 11105214464 377841 33554432000 4194304 4196468 140733361870128 139859210467952 139859751717506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29777] ppid=29715 vsize=10844936 memory=279458893288480 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29777/stat : 29777 (java) S 29715 29718 26068 0 -1 1077944384 38 13047 0 0 0 0 5 3 20 0 15 0 415529161 11105214464 377841 33554432000 4194304 4196468 140733361870128 139859209413984 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29778] ppid=29715 vsize=10844936 memory=-7595718147998060693 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29778/stat : 29778 (java) S 29715 29718 26068 0 -1 1077944384 4 13047 0 0 0 0 5 3 20 0 15 0 415529161 11105214464 377841 33554432000 4194304 4196468 140733361870128 139859100427904 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29779] ppid=29715 vsize=10844936 memory=1279616 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29779/stat : 29779 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 15 0 415529164 11105214464 377841 33554432000 4194304 4196468 140733361870128 139858496449104 139859751724955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29780] ppid=29715 vsize=10844936 memory=279458892579728 CPUtime=2.32 cores=0,2,4,6
/proc/29718/task/29780/stat : 29780 (java) S 29715 29718 26068 0 -1 1077944384 3348 13047 0 0 223 1 5 3 20 0 15 0 415529164 11105214464 377841 33554432000 4194304 4196468 140733361870128 139859175856240 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29781] ppid=29715 vsize=10844936 memory=1384892 CPUtime=2.32 cores=0,2,4,6
/proc/29718/task/29781/stat : 29781 (java) S 29715 29718 26068 0 -1 1077944384 2989 13047 0 0 223 1 5 3 20 0 15 0 415529164 11105214464 377841 33554432000 4194304 4196468 140733361870128 139859174803440 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29782] ppid=29715 vsize=10844936 memory=0 CPUtime=1.49 cores=0,2,4,6
/proc/29718/task/29782/stat : 29782 (java) S 29715 29718 26068 0 -1 1077944384 4815 13047 0 0 138 3 5 3 20 0 15 0 415529164 11105214464 377841 33554432000 4194304 4196468 140733361870128 139859173751152 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29783] ppid=29715 vsize=10844936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29783/stat : 29783 (java) S 29715 29718 26068 0 -1 1077944384 3 13047 0 0 0 0 5 3 20 0 15 0 415529164 11105214464 377841 33554432000 4194304 4196468 140733361870128 139858026686944 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29784] ppid=29715 vsize=10844936 memory=6075463926090388816 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29784/stat : 29784 (java) S 29715 29718 26068 0 -1 1077944384 11 13047 0 0 0 0 5 3 20 0 15 0 415529165 11105214464 377841 33554432000 4194304 4196468 140733361870128 139859172699056 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
Current children cumulated CPU time: 20.67 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 1511364 KiB
[startup+25.5009 s]
/proc/loadavg: 1.79 1.76 1.67 5/229 29786
/proc/meminfo: memFree=28468004/32770624 swapFree=67000324/67108860
[pid=29718] ppid=29715 vsize=10846984 memory=2277764 CPUtime=37.31 cores=0,2,4,6
/proc/29718/stat : 29718 (java) S 29715 29718 26068 0 -1 1077944320 75829 13047 0 0 3627 96 5 3 20 0 15 0 415529149 11107311616 569441 33554432000 4194304 4196468 140733361870128 140733361852672 139859751706359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
/proc/29718/statm: 2711746 569441 3626 1 0 2673805 0
[pid=29718/tid=29771] ppid=29715 vsize=10846984 memory=56 CPUtime=24.66 cores=0,2,4,6
/proc/29718/task/29771/stat : 29771 (java) R 29715 29718 26068 0 -1 4202560 35319 13047 0 0 2429 29 5 3 20 0 15 0 415529159 11107311616 569441 33554432000 4194304 4196468 140733361870128 139859723537560 139859325509105 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29772] ppid=29715 vsize=10846984 memory=279458893031968 CPUtime=0.8 cores=0,2,4,6
/proc/29718/task/29772/stat : 29772 (java) S 29715 29718 26068 0 -1 1077944384 1792 13047 0 0 58 14 5 3 20 0 15 0 415529159 11107311616 569441 33554432000 4194304 4196468 140733361870128 139859755948432 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29773] ppid=29715 vsize=10846984 memory=2282912 CPUtime=0.77 cores=0,2,4,6
/proc/29718/task/29773/stat : 29773 (java) S 29715 29718 26068 0 -1 1077944384 1024 13047 0 0 56 13 5 3 20 0 15 0 415529159 11107311616 569441 33554432000 4194304 4196468 140733361870128 139859644221712 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29774] ppid=29715 vsize=10846984 memory=8 CPUtime=0.8 cores=0,2,4,6
/proc/29718/task/29774/stat : 29774 (java) S 29715 29718 26068 0 -1 1077944384 746 13047 0 0 58 14 5 3 20 0 15 0 415529159 11107311616 569441 33554432000 4194304 4196468 140733361870128 139859643169424 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29775] ppid=29715 vsize=10846984 memory=8 CPUtime=0.79 cores=0,2,4,6
/proc/29718/task/29775/stat : 29775 (java) S 29715 29718 26068 0 -1 1077944384 769 13047 0 0 57 14 5 3 20 0 15 0 415529159 11107311616 569441 33554432000 4194304 4196468 140733361870128 139859642116624 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29776] ppid=29715 vsize=10846984 memory=3616 CPUtime=0.14 cores=0,2,4,6
/proc/29718/task/29776/stat : 29776 (java) S 29715 29718 26068 0 -1 1077944384 5945 13047 0 0 5 1 5 3 20 0 15 0 415529161 11107311616 569441 33554432000 4194304 4196468 140733361870128 139859210467952 139859751717506 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29777] ppid=29715 vsize=10846984 memory=4513 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29777/stat : 29777 (java) S 29715 29718 26068 0 -1 1077944384 43 13047 0 0 0 0 5 3 20 0 15 0 415529161 11107311616 569441 33554432000 4194304 4196468 140733361870128 139859209413984 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29778] ppid=29715 vsize=10846984 memory=4417 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29778/stat : 29778 (java) S 29715 29718 26068 0 -1 1077944384 11 13047 0 0 0 0 5 3 20 0 15 0 415529161 11107311616 569441 33554432000 4194304 4196468 140733361870128 139859100427904 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29779] ppid=29715 vsize=10846984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29779/stat : 29779 (java) S 29715 29718 26068 0 -1 1077944384 2 13047 0 0 0 0 5 3 20 0 15 0 415529164 11107311616 569441 33554432000 4194304 4196468 140733361870128 139858496449104 139859751724955 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29780] ppid=29715 vsize=10846984 memory=4420 CPUtime=3.97 cores=0,2,4,6
/proc/29718/task/29780/stat : 29780 (java) S 29715 29718 26068 0 -1 1077944384 7042 13047 0 0 387 2 5 3 20 0 15 0 415529164 11107311616 569441 33554432000 4194304 4196468 140733361870128 139859175856240 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29781] ppid=29715 vsize=10846984 memory=6628 CPUtime=4.09 cores=0,2,4,6
/proc/29718/task/29781/stat : 29781 (java) S 29715 29718 26068 0 -1 1077944384 11407 13047 0 0 399 2 5 3 20 0 15 0 415529164 11107311616 569441 33554432000 4194304 4196468 140733361870128 139859174803440 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29782] ppid=29715 vsize=10846984 memory=6724 CPUtime=1.82 cores=0,2,4,6
/proc/29718/task/29782/stat : 29782 (java) S 29715 29718 26068 0 -1 1077944384 9467 13047 0 0 171 3 5 3 20 0 15 0 415529164 11107311616 569441 33554432000 4194304 4196468 140733361870128 139859173751152 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29783] ppid=29715 vsize=10846984 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29783/stat : 29783 (java) S 29715 29718 26068 0 -1 1077944384 3 13047 0 0 0 0 5 3 20 0 15 0 415529164 11107311616 569441 33554432000 4194304 4196468 140733361870128 139858026686944 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29784] ppid=29715 vsize=10846984 memory=11 CPUtime=0.09 cores=0,2,4,6
/proc/29718/task/29784/stat : 29784 (java) S 29715 29718 26068 0 -1 1077944384 50 13047 0 0 1 0 5 3 20 0 15 0 415529165 11107311616 569441 33554432000 4194304 4196468 140733361870128 139859172699056 139859751717506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
Current children cumulated CPU time: 37.31 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 2277764 KiB
[startup+25.6198 s]
# the end of solver process 29718 was just reported to runsolver
# cumulated CPU time of all completed processes: user=36.5406 s, system=1.0131 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6009 s]
/proc/loadavg: 1.79 1.76 1.67 5/229 29786
/proc/meminfo: memFree=28468004/32770624 swapFree=67000324/67108860
[pid=29718] ppid=29715 vsize=10912520 memory=2275812 CPUtime=37.52 cores=0,2,4,6
/proc/29718/stat : 29718 (java) S 29715 29718 26068 0 -1 1077944320 75947 13047 0 0 3648 96 5 3 20 0 13 0 415529149 11174420480 568953 33554432000 4194304 4196468 140733361870128 140733361852672 139859751706359 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
/proc/29718/statm: 2728130 568953 3628 1 0 2690189 0
[pid=29718/tid=29771] ppid=29715 vsize=10912520 memory=1366 CPUtime=24.75 cores=0,2,4,6
/proc/29718/task/29771/stat : 29771 (java) S 29715 29718 26068 0 -1 1077944384 35357 13047 0 0 2438 29 5 3 20 0 13 0 415529159 11174420480 568953 33554432000 4194304 4196468 140733361870128 139859723549840 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29772] ppid=29715 vsize=10912520 memory=28646 CPUtime=0.8 cores=0,2,4,6
/proc/29718/task/29772/stat : 29772 (java) S 29715 29718 26068 0 -1 1077944384 1792 13047 0 0 58 14 5 3 20 0 13 0 415529159 11174420480 568953 33554432000 4194304 4196468 140733361870128 139859755948432 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29773] ppid=29715 vsize=10912520 memory=0 CPUtime=0.77 cores=0,2,4,6
/proc/29718/task/29773/stat : 29773 (java) S 29715 29718 26068 0 -1 1077944384 1024 13047 0 0 56 13 5 3 20 0 13 0 415529159 11174420480 568953 33554432000 4194304 4196468 140733361870128 139859644221712 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29774] ppid=29715 vsize=10912520 memory=1 CPUtime=0.8 cores=0,2,4,6
/proc/29718/task/29774/stat : 29774 (java) S 29715 29718 26068 0 -1 1077944384 746 13047 0 0 58 14 5 3 20 0 13 0 415529159 11174420480 568953 33554432000 4194304 4196468 140733361870128 139859643169424 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29775] ppid=29715 vsize=10912520 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/29718/task/29775/stat : 29775 (java) S 29715 29718 26068 0 -1 1077944384 769 13047 0 0 57 14 5 3 20 0 13 0 415529159 11174420480 568953 33554432000 4194304 4196468 140733361870128 139859642116624 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29776] ppid=29715 vsize=10912520 memory=1082 CPUtime=0.14 cores=0,2,4,6
/proc/29718/task/29776/stat : 29776 (java) S 29715 29718 26068 0 -1 1077944384 5945 13047 0 0 5 1 5 3 20 0 13 0 415529161 11174420480 568953 33554432000 4194304 4196468 140733361870128 139859210468160 139859751717506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29777] ppid=29715 vsize=10912520 memory=2272 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29777/stat : 29777 (java) S 29715 29718 26068 0 -1 1077944384 43 13047 0 0 0 0 5 3 20 0 13 0 415529161 11174420480 568953 33554432000 4194304 4196468 140733361870128 139859209413984 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29778] ppid=29715 vsize=10912520 memory=2263004 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29778/stat : 29778 (java) S 29715 29718 26068 0 -1 1077944384 11 13047 0 0 0 0 5 3 20 0 13 0 415529161 11174420480 568953 33554432000 4194304 4196468 140733361870128 139859100427904 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29780] ppid=29715 vsize=10912520 memory=1408 CPUtime=4.01 cores=0,2,4,6
/proc/29718/task/29780/stat : 29780 (java) S 29715 29718 26068 0 -1 1077944384 7047 13047 0 0 391 2 5 3 20 0 13 0 415529164 11174420480 568953 33554432000 4194304 4196468 140733361870128 139859175835344 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29781] ppid=29715 vsize=10912520 memory=2209 CPUtime=4.17 cores=0,2,4,6
/proc/29718/task/29781/stat : 29781 (java) S 29715 29718 26068 0 -1 1077944384 11427 13047 0 0 407 2 5 3 20 0 13 0 415529164 11174420480 568953 33554432000 4194304 4196468 140733361870128 139859174793488 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29782] ppid=29715 vsize=10912520 memory=11204 CPUtime=1.83 cores=0,2,4,6
/proc/29718/task/29782/stat : 29782 (java) S 29715 29718 26068 0 -1 1077944384 9509 13047 0 0 172 3 5 3 20 0 13 0 415529164 11174420480 568953 33554432000 4194304 4196468 140733361870128 139859173745952 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
[pid=29718/tid=29783] ppid=29715 vsize=10912520 memory=1224 CPUtime=0.08 cores=0,2,4,6
/proc/29718/task/29783/stat : 29783 (java) S 29715 29718 26068 0 -1 1077944384 3 13047 0 0 0 0 5 3 20 0 13 0 415529164 11174420480 568953 33554432000 4194304 4196468 140733361870128 139858026686944 139859751716565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39731200 140733361875696 140733361878213 140733361878213 140733361881039 0
Current children cumulated CPU time: 37.52 s
Current children cumulated vsize: 10912520 KiB
Current children cumulated memory: 2275812 KiB
Child status: 1
Real time (s): 25.6199
CPU time (s): 37.5537
CPU user time (s): 36.5406
CPU system time (s): 1.0131
CPU usage (%): 146.58
Max. virtual memory (cumulated for all children) (KiB): 10912520
Max. memory (cumulated for all children) (KiB): 2282912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.5406
system time used= 1.0131
maximum resident set size= 2282912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89020
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8641
involuntary context switches= 116
# summary of solver processes directly reported to runsolver:
# pid: 29718
# total CPU time (s): 37.5537
# total CPU user time (s): 36.5406
# total CPU system time (s): 1.0131
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.169036 second user time and 0.292739 second system time
The end