Trace number 4304336

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)20 2520.13 2467.45

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-09-opt_c18.xml
MD5SUM2788969af340f57bdb68eae00f77e52f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables916
Number of constraints5246
Number of domains7
Minimum domain size6
Maximum domain size44
Distribution of domain sizes[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":2},{"size":36,"count":408},{"size":42,"count":306},{"size":44,"count":188}]
Minimum variable degree2
Maximum variable degree38
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":10},{"degree":4,"count":22},{"degree":5,"count":38},{"degree":6,"count":81},{"degree":7,"count":93},{"degree":8,"count":105},{"degree":9,"count":86},{"degree":10,"count":68},{"degree":11,"count":42},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":4},{"degree":15,"count":2},{"degree":16,"count":10},{"degree":17,"count":3},{"degree":18,"count":32},{"degree":19,"count":53},{"degree":20,"count":77},{"degree":21,"count":81},{"degree":22,"count":42},{"degree":23,"count":14},{"degree":24,"count":9},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":38,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5246}]
Number of extensional constraints0
Number of intensional constraints5246
Distribution of constraint types[{"type":"intension","count":5246}]
Optimization problemYES
Type of objectivemin NVALUES

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.98/0.76	c Concrete v3.9.2.1532736233296 running
307.03/282.41	o 40
335.86/307.81	o 38
373.74/343.96	o 36
411.18/379.69	o 34
454.31/421.32	o 32
485.65/451.90	o 30
549.45/514.31	o 28
618.24/581.98	o 26
698.78/661.26	o 24
789.93/751.26	o 22
2154.88/2104.08	o 20
2520.07/2467.42	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.07/2467.42		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.07/2467.42		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.07/2467.42		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.07/2467.42		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:254)
2520.07/2467.42		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16)
2520.07/2467.42		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.07/2467.42		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.07/2467.42		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.07/2467.42		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2467.42		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.07/2467.42		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.07/2467.42		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2467.42		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.07/2467.42		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.07/2467.42		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.07/2467.42		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.07/2467.42		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.07/2467.42		at scala.Option.map(Option.scala:146)
2520.07/2467.42		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.07/2467.42		at concrete.MAC.mac(MAC.scala:203)
2520.07/2467.42		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.07/2467.42		at scala.util.Try$.apply(Try.scala:209)
2520.07/2467.42		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2467.42		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2467.42		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2467.42		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2467.42		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.07/2467.42		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2467.42		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2467.42		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2467.42		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2467.42		at concrete.MAC.oneRun(MAC.scala:253)
2520.07/2467.42		at concrete.MAC.nextSolution(MAC.scala:272)
2520.07/2467.42		at concrete.MAC.nextSolution(MAC.scala:355)
2520.07/2467.42		at concrete.Solver.hasNext(Solver.scala:166)
2520.07/2467.42		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.07/2467.42		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.07/2467.42		at concrete.Solver.foreach(Solver.scala:68)
2520.07/2467.42		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.07/2467.42		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2467.42		at scala.util.Success.map(Try.scala:209)
2520.07/2467.42		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.07/2467.42		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.07/2467.42		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.07/2467.42		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.07/2467.42		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.07/2467.42		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2467.42		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2467.42		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2467.42		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2467.42		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2467.42		at scala.App.main(App.scala:76)
2520.07/2467.42		at scala.App.main$(App.scala:74)
2520.07/2467.42		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.07/2467.42		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2467.42	v <instantiation cost="20">
2520.07/2467.42	v       <list>
2520.07/2467.42	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] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915]
2520.07/2467.42	v       </list>
2520.07/2467.42	v       <values>
2520.07/2467.42	v         456 694 694 456 296 58 324 86 296 58 694 456 792 554 792 554 778 540 792 554 484 722 540 778 484 722 792 554 554 792 484 722 554 792 792 554 484 722 666 428 554 792 30 268 456 694 428 666 58 296 296 58 484 722 268 30 30 268 268 30 142 380 86 324 778 540 554 792 296 58 268 30 666 428 296 58 86 324 478 240 554 792 30 268 268 30 554 792 30 268 722 484 324 86 792 554 778 540 58 296 428 666 554 792 380 142 792 554 792 554 694 456 722 484 722 484 666 428 694 456 540 778 792 554 540 778 58 296 268 30 30 268 484 722 540 778 554 792 778 540 324 86 456 694 268 30 792 554 58 296 554 792 380 142 540 778 722 484 30 268 722 484 428 666 666 428 778 540 540 778 30 268 722 484 428 666 296 58 792 554 792 554 722 484 722 484 268 30 722 484 554 792 142 380 778 540 792 554 86 324 324 86 694 456 86 324 694 456 722 484 792 554 666 428 86 324 778 540 792 554 30 268 694 456 268 30 380 142 792 554 324 86 58 296 296 58 58 296 778 540 268 30 778 540 268 30 30 268 428 666 666 428 268 30 484 722 86 324 694 456 456 694 428 666 268 30 484 722 58 296 268 30 296 58 554 792 296 58 792 554 268 30 778 540 30 268 30 268 86 324 484 722 778 540 428 666 324 86 722 484 30 268 722 484 540 778 428 666 484 722 296 58 86 324 30 268 694 456 484 722 554 792 456 694 58 296 456 694 30 268 792 554 484 722 268 30 86 324 86 324 142 380 778 540 428 666 694 456 142 380 666 428 30 268 554 792 296 58 30 268 86 324 666 428 58 296 722 484 540 778 778 540 268 30 694 456 30 268 722 484 666 428 324 86 142 380 142 380 792 554 380 142 778 540 778 540 792 554 484 722 142 380 380 142 268 30 58 296 30 268 484 722 554 792 778 540 694 456 58 296 484 722 792 554 554 792 296 58 428 666 792 554 778 540 666 428 554 792 484 722 142 380 792 554 722 484 484 722 296 58 296 58 58 296 554 792 792 554 296 58 30 268 778 540 540 778 30 268 722 484 324 86 428 666 86 324 484 722 540 778 30 268 268 30 428 666 380 142 666 428 86 324 456 694 58 296 778 540 58 296 142 380 554 792 484 722 484 722 792 554 142 380 778 540 484 722 324 86 428 666 268 30 86 324 268 30 484 722 30 268 484 722 324 86 268 30 30 268 142 380 30 268 142 380 142 380 86 324 484 722 722 484 142 380 324 86 792 554 86 324 296 58 86 324 554 792 86 324 296 58 268 30 540 778 792 554 428 666 296 58 456 694 792 554 722 484 30 268 30 268 268 30 324 86 268 30 484 722 58 296 268 30 142 380 58 296 30 268 792 554 268 30 778 540 58 296 778 540 456 694 666 428 540 778 86 324 666 428 484 722 30 268 484 722 554 792 666 428 324 86 554 792 666 428 30 268 554 792 484 722 296 58 268 30 456 694 380 142 142 380 86 324 554 792 456 694 30 268 778 540 268 30 324 86 540 778 86 324 142 380 722 484 722 484 694 456 30 268 778 540 554 792 792 554 694 456 666 428 268 30 722 484 296 58 268 30 792 554 554 792 58 296 694 456 86 324 268 30 792 554 324 86 554 792 778 540 540 778 30 268 778 540 58 296 86 324 554 792 142 380 484 722 428 666 296 58 58 296 722 484 484 722 30 268 268 30 540 778 428 666 58 296 778 540 540 778 666 428 666 428 666 428 694 456 540 778 778 540 484 722 30 268 58 296 540 778 296 58 540 778 142 380 30 268 540 778 30 268 554 792 380 142 324 86 380 142 296 58 324 86 30 268 58 296 778 540 484 722 86 324 554 792 428 666 296 58 296 58 540 778 268 30 428 666 484 722 540 778 456 694 456 694 268 30 554 792 380 142 540 778 778 540 268 30 778 540 540 778 268 30 58 296 30 268 268 30 86 324 86 324 268 30 296 58 540 778 540 778 694 456 268 30 722 484 268 30 540 778 666 428 540 778 296 58 484 722 296 58 694 456 694 456 540 778 540 778 268 30 428 666 484 722 142 380 58 296
2520.07/2467.42	v       </values>
2520.07/2467.42	v     </instantiation>
2520.07/2467.42	s SATISFIABLE

Verifier Data 

OK	20

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304336-1534059029/watcher-4304336-1534059029 -o /tmp/evaluation-result-4304336-1534059029/solver-4304336-1534059029 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534038993-15971 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1370650934 -superng HOME/instance-4304336-1534059029.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=19942, runsolver pid=19939

[startup+0.100082 s]*
/proc/loadavg: 1.02 2.72 2.66 2/183 19988
/proc/meminfo: memFree=17246116/32770624 swapFree=67058736/67108860
[pid=19942] ppid=19939 vsize=167556 memory=5128 CPUtime=0.08 cores=0,2,4,6
/proc/19942/stat : 19942 (java) S 19939 19942 15060 0 -1 1077944320 2377 13256 0 1 0 0 5 3 20 0 2 0 223466071 171577344 1251 33554432000 4194304 4196468 140735509571536 140735509554080 139950251998967 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
/proc/19942/statm: 41890 1251 929 1 0 32932 0
[pid=19942/tid=19995] ppid=19939 vsize=173924 memory=-8035107114841901037 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19995/stat : 19995 (java) S 19939 19942 15060 0 -1 1077944384 253 13256 0 1 0 0 5 3 20 0 2 0 223466082 178098176 1303 33554432000 4194304 4196468 140735509571536 139950223840656 139950244695549 0 0 0 16784584 18446744071581020693 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 167556 KiB
Current children cumulated memory: 5128 KiB

[startup+0.210041 s]*
/proc/loadavg: 1.02 2.72 2.66 2/195 20008
/proc/meminfo: memFree=17215872/32770624 swapFree=67058736/67108860
[pid=19942] ppid=19939 vsize=10982744 memory=43388 CPUtime=0.24 cores=0,2,4,6
/proc/19942/stat : 19942 (java) S 19939 19942 15060 0 -1 1077944320 6508 13256 0 1 14 2 5 3 20 0 15 0 223466071 11246329856 10847 33554432000 4194304 4196468 140735509571536 140735509554080 139950251998967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
/proc/19942/statm: 2745686 10847 2972 1 0 2708109 0
[pid=19942/tid=19995] ppid=19939 vsize=10982744 memory=8318255677412212789 CPUtime=0.18 cores=0,2,4,6
/proc/19942/task/19995/stat : 19995 (java) R 19939 19942 15060 0 -1 4202560 3051 13256 0 1 9 1 5 3 20 0 15 0 223466082 11246329856 10847 33554432000 4194304 4196468 140735509571536 139950223822640 139950236079454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19996] ppid=19939 vsize=10982744 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19996/stat : 19996 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466083 11246329856 10847 33554432000 4194304 4196468 140735509571536 139950256241040 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19997] ppid=19939 vsize=10982744 memory=140434109471229 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19997/stat : 19997 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466083 11246329856 10847 33554432000 4194304 4196468 140735509571536 139950110959888 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19998] ppid=19939 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19998/stat : 19998 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466083 11246329856 10847 33554432000 4194304 4196468 140735509571536 139950109907600 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19999] ppid=19939 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19999/stat : 19999 (java) S 19939 19942 15060 0 -1 1077944384 2 13256 0 1 0 0 5 3 20 0 15 0 223466083 11246329856 10847 33554432000 4194304 4196468 140735509571536 139950108854800 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20000] ppid=19939 vsize=10982744 memory=140434109142656 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20000/stat : 20000 (java) S 19939 19942 15060 0 -1 1077944384 2 13256 0 1 0 0 5 3 20 0 15 0 223466084 11246329856 10847 33554432000 4194304 4196468 140735509571536 139949677427312 139950252010114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20001] ppid=19939 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20001/stat : 20001 (java) S 19939 19942 15060 0 -1 1077944384 13 13256 0 1 0 0 5 3 20 0 15 0 223466085 11246329856 10847 33554432000 4194304 4196468 140735509571536 139949093414176 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20002] ppid=19939 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20002/stat : 20002 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466085 11246329856 10847 33554432000 4194304 4196468 140735509571536 139948892087920 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20003] ppid=19939 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20003/stat : 20003 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466087 11246329856 10847 33554432000 4194304 4196468 140735509571536 139948584688208 139950252017563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20004] ppid=19939 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19942/task/20004/stat : 20004 (java) S 19939 19942 15060 0 -1 1077944384 363 13256 0 1 1 0 5 3 20 0 15 0 223466087 11246329856 10847 33554432000 4194304 4196468 140735509571536 139949676374128 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20005] ppid=19939 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20005/stat : 20005 (java) S 19939 19942 15060 0 -1 1077944384 264 13256 0 1 0 0 5 3 20 0 15 0 223466087 11246329856 10847 33554432000 4194304 4196468 140735509571536 139949675321328 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20006] ppid=19939 vsize=10982744 memory=140434109142656 CPUtime=0.11 cores=0,2,4,6
/proc/19942/task/20006/stat : 20006 (java) R 19939 19942 15060 0 -1 4202560 609 13256 0 1 3 0 5 3 20 0 15 0 223466087 11246329856 10847 33554432000 4194304 4196468 140735509571536 139949674269040 139950231269273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20007] ppid=19939 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20007/stat : 20007 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466088 11246329856 10847 33554432000 4194304 4196468 140735509571536 139948153891296 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20008] ppid=19939 vsize=10982744 memory=140434109142656 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20008/stat : 20008 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466088 11246329856 10847 33554432000 4194304 4196468 140735509571536 139949673216944 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43388 KiB

[startup+0.310167 s]*
/proc/loadavg: 1.02 2.72 2.66 2/195 20008
/proc/meminfo: memFree=17205360/32770624 swapFree=67058736/67108860
[pid=19942] ppid=19939 vsize=10983192 memory=56860 CPUtime=0.37 cores=0,2,4,6
/proc/19942/stat : 19942 (java) S 19939 19942 15060 0 -1 1077944320 9695 13256 0 1 26 3 5 3 20 0 15 0 223466071 11246788608 14215 33554432000 4194304 4196468 140735509571536 140735509554080 139950251998967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
/proc/19942/statm: 2745798 14215 3091 1 0 2708109 0
[pid=19942/tid=19995] ppid=19939 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/19942/task/19995/stat : 19995 (java) R 19939 19942 15060 0 -1 4202560 6225 13256 0 1 17 2 5 3 20 0 15 0 223466082 11246788608 14215 33554432000 4194304 4196468 140735509571536 139950223810976 139950233562542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19996] ppid=19939 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19996/stat : 19996 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466083 11246788608 14215 33554432000 4194304 4196468 140735509571536 139950256241040 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19997] ppid=19939 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19997/stat : 19997 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466083 11246788608 14215 33554432000 4194304 4196468 140735509571536 139950110959888 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19998] ppid=19939 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19998/stat : 19998 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466083 11246788608 14215 33554432000 4194304 4196468 140735509571536 139950109907600 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19999] ppid=19939 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19999/stat : 19999 (java) S 19939 19942 15060 0 -1 1077944384 2 13256 0 1 0 0 5 3 20 0 15 0 223466083 11246788608 14215 33554432000 4194304 4196468 140735509571536 139950108854800 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20000] ppid=19939 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20000/stat : 20000 (java) S 19939 19942 15060 0 -1 1077944384 2 13256 0 1 0 0 5 3 20 0 15 0 223466084 11246788608 14215 33554432000 4194304 4196468 140735509571536 139949677427312 139950252010114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20001] ppid=19939 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20001/stat : 20001 (java) S 19939 19942 15060 0 -1 1077944384 13 13256 0 1 0 0 5 3 20 0 15 0 223466085 11246788608 14215 33554432000 4194304 4196468 140735509571536 139949093414176 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20002] ppid=19939 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20002/stat : 20002 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466085 11246788608 14215 33554432000 4194304 4196468 140735509571536 139948892087920 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20003] ppid=19939 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20003/stat : 20003 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466087 11246788608 14215 33554432000 4194304 4196468 140735509571536 139948584688208 139950252017563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20004] ppid=19939 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19942/task/20004/stat : 20004 (java) S 19939 19942 15060 0 -1 1077944384 364 13256 0 1 1 0 5 3 20 0 15 0 223466087 11246788608 14215 33554432000 4194304 4196468 140735509571536 139949676374128 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20005] ppid=19939 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/19942/task/20005/stat : 20005 (java) S 19939 19942 15060 0 -1 1077944384 264 13256 0 1 1 0 5 3 20 0 15 0 223466087 11246788608 14215 33554432000 4194304 4196468 140735509571536 139949675321328 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20006] ppid=19939 vsize=10983192 memory=140434109142656 CPUtime=0.13 cores=0,2,4,6
/proc/19942/task/20006/stat : 20006 (java) S 19939 19942 15060 0 -1 1077944384 620 13256 0 1 5 0 5 3 20 0 15 0 223466087 11246788608 14215 33554432000 4194304 4196468 140735509571536 139949674269040 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20007] ppid=19939 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20007/stat : 20007 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466088 11246788608 14215 33554432000 4194304 4196468 140735509571536 139948153891296 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20008] ppid=19939 vsize=10983192 memory=140434109142656 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20008/stat : 20008 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466088 11246788608 14215 33554432000 4194304 4196468 140735509571536 139949673216944 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56860 KiB

[startup+0.700795 s]
/proc/loadavg: 1.02 2.72 2.66 2/195 20008
/proc/meminfo: memFree=17192148/32770624 swapFree=67058736/67108860
[pid=19942] ppid=19939 vsize=10983192 memory=91076 CPUtime=0.98 cores=0,2,4,6
/proc/19942/stat : 19942 (java) S 19939 19942 15060 0 -1 1077944320 16338 13256 0 1 85 5 5 3 20 0 15 0 223466071 11246788608 22769 33554432000 4194304 4196468 140735509571536 140735509554080 139950251998967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
/proc/19942/statm: 2745798 22769 3247 1 0 2708109 0
[pid=19942/tid=19995] ppid=19939 vsize=10983192 memory=1708 CPUtime=0.65 cores=0,2,4,6
/proc/19942/task/19995/stat : 19995 (java) R 19939 19942 15060 0 -1 4202560 11800 13256 0 1 53 4 5 3 20 0 15 0 223466082 11246788608 22769 33554432000 4194304 4196468 140735509571536 139950223821008 139950235185793 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19996] ppid=19939 vsize=10983192 memory=5112 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19996/stat : 19996 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466083 11246788608 22769 33554432000 4194304 4196468 140735509571536 139950256241040 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19997] ppid=19939 vsize=10983192 memory=13608 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19997/stat : 19997 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466083 11246788608 22769 33554432000 4194304 4196468 140735509571536 139950110959888 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19998] ppid=19939 vsize=10983192 memory=1860 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19998/stat : 19998 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466083 11246788608 22769 33554432000 4194304 4196468 140735509571536 139950109907600 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19999] ppid=19939 vsize=10983192 memory=32008 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19999/stat : 19999 (java) S 19939 19942 15060 0 -1 1077944384 2 13256 0 1 0 0 5 3 20 0 15 0 223466083 11246788608 22769 33554432000 4194304 4196468 140735509571536 139950108854800 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20000] ppid=19939 vsize=10983192 memory=13808 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20000/stat : 20000 (java) S 19939 19942 15060 0 -1 1077944384 5 13256 0 1 0 0 5 3 20 0 15 0 223466084 11246788608 22769 33554432000 4194304 4196468 140735509571536 139949677427312 139950252010114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20001] ppid=19939 vsize=10983192 memory=524 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20001/stat : 20001 (java) S 19939 19942 15060 0 -1 1077944384 13 13256 0 1 0 0 5 3 20 0 15 0 223466085 11246788608 22769 33554432000 4194304 4196468 140735509571536 139949093414176 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20002] ppid=19939 vsize=10983192 memory=1528 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20002/stat : 20002 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466085 11246788608 22769 33554432000 4194304 4196468 140735509571536 139948892087920 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20003] ppid=19939 vsize=10983192 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20003/stat : 20003 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466087 11246788608 22769 33554432000 4194304 4196468 140735509571536 139948584688208 139950252017563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20004] ppid=19939 vsize=10983192 memory=1140 CPUtime=0.15 cores=0,2,4,6
/proc/19942/task/20004/stat : 20004 (java) S 19939 19942 15060 0 -1 1077944384 735 13256 0 1 7 0 5 3 20 0 15 0 223466087 11246788608 22769 33554432000 4194304 4196468 140735509571536 139949676374128 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20005] ppid=19939 vsize=10983192 memory=1548 CPUtime=0.17 cores=0,2,4,6
/proc/19942/task/20005/stat : 20005 (java) S 19939 19942 15060 0 -1 1077944384 907 13256 0 1 9 0 5 3 20 0 15 0 223466087 11246788608 22769 33554432000 4194304 4196468 140735509571536 139949675321328 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20006] ppid=19939 vsize=10983192 memory=1432 CPUtime=0.21 cores=0,2,4,6
/proc/19942/task/20006/stat : 20006 (java) S 19939 19942 15060 0 -1 1077944384 671 13256 0 1 13 0 5 3 20 0 15 0 223466087 11246788608 22769 33554432000 4194304 4196468 140735509571536 139949674269040 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20007] ppid=19939 vsize=10983192 memory=812 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20007/stat : 20007 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466088 11246788608 22769 33554432000 4194304 4196468 140735509571536 139948153891296 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20008] ppid=19939 vsize=10983192 memory=1932 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20008/stat : 20008 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466088 11246788608 22769 33554432000 4194304 4196468 140735509571536 139949673216944 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 91076 KiB

[startup+1.50075 s]
/proc/loadavg: 1.02 2.72 2.66 5/195 20008
/proc/meminfo: memFree=17149880/32770624 swapFree=67058736/67108860
[pid=19942] ppid=19939 vsize=10993996 memory=174640 CPUtime=2.89 cores=0,2,4,6
/proc/19942/stat : 19942 (java) S 19939 19942 15060 0 -1 1077944320 23145 13256 0 1 272 9 5 3 20 0 15 0 223466071 11257851904 43660 33554432000 4194304 4196468 140735509571536 140735509554080 139950251998967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
/proc/19942/statm: 2748499 43660 3450 1 0 2710157 0
[pid=19942/tid=19995] ppid=19939 vsize=10993996 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/19942/task/19995/stat : 19995 (java) R 19939 19942 15060 0 -1 4202560 15931 13256 0 1 130 7 5 3 20 0 15 0 223466082 11257851904 43660 33554432000 4194304 4196468 140735509571536 139950223831824 139950236079454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19996] ppid=19939 vsize=10993996 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19996/stat : 19996 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466083 11257851904 43660 33554432000 4194304 4196468 140735509571536 139950256241040 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19997] ppid=19939 vsize=10993996 memory=1188 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19997/stat : 19997 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466083 11257851904 43660 33554432000 4194304 4196468 140735509571536 139950110959888 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19998] ppid=19939 vsize=10993996 memory=976 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19998/stat : 19998 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466083 11257851904 43660 33554432000 4194304 4196468 140735509571536 139950109907600 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19999] ppid=19939 vsize=10993996 memory=1140 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/19999/stat : 19999 (java) S 19939 19942 15060 0 -1 1077944384 2 13256 0 1 0 0 5 3 20 0 15 0 223466083 11257851904 43660 33554432000 4194304 4196468 140735509571536 139950108854800 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20000] ppid=19939 vsize=10993996 memory=1024 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20000/stat : 20000 (java) S 19939 19942 15060 0 -1 1077944384 13 13256 0 1 0 0 5 3 20 0 15 0 223466084 11257851904 43660 33554432000 4194304 4196468 140735509571536 139949677427312 139950252010114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20001] ppid=19939 vsize=10993996 memory=3172 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20001/stat : 20001 (java) S 19939 19942 15060 0 -1 1077944384 13 13256 0 1 0 0 5 3 20 0 15 0 223466085 11257851904 43660 33554432000 4194304 4196468 140735509571536 139949093414176 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20002] ppid=19939 vsize=10993996 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20002/stat : 20002 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466085 11257851904 43660 33554432000 4194304 4196468 140735509571536 139948892087920 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20003] ppid=19939 vsize=10993996 memory=9004 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20003/stat : 20003 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466087 11257851904 43660 33554432000 4194304 4196468 140735509571536 139948584688208 139950252017563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20004] ppid=19939 vsize=10993996 memory=768 CPUtime=0.54 cores=0,2,4,6
/proc/19942/task/20004/stat : 20004 (java) R 19939 19942 15060 0 -1 4202560 1987 13256 0 1 46 0 5 3 20 0 15 0 223466087 11257851904 43660 33554432000 4194304 4196468 140735509571536 139949676374128 139950235386283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20005] ppid=19939 vsize=10993996 memory=736 CPUtime=0.58 cores=0,2,4,6
/proc/19942/task/20005/stat : 20005 (java) S 19939 19942 15060 0 -1 1077944384 1473 13256 0 1 50 0 5 3 20 0 15 0 223466087 11257851904 43660 33554432000 4194304 4196468 140735509571536 139949675321328 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20006] ppid=19939 vsize=10993996 memory=140434109141473 CPUtime=0.52 cores=0,2,4,6
/proc/19942/task/20006/stat : 20006 (java) S 19939 19942 15060 0 -1 1077944384 1524 13256 0 1 44 0 5 3 20 0 15 0 223466087 11257851904 43660 33554432000 4194304 4196468 140735509571536 139949674269040 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20007] ppid=19939 vsize=10993996 memory=140433954977184 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20007/stat : 20007 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466088 11257851904 43660 33554432000 4194304 4196468 140735509571536 139948153891296 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20008] ppid=19939 vsize=10993996 memory=140433955167696 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20008/stat : 20008 (java) S 19939 19942 15060 0 -1 1077944384 1 13256 0 1 0 0 5 3 20 0 15 0 223466088 11257851904 43660 33554432000 4194304 4196468 140735509571536 139949673216944 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 10993996 KiB
Current children cumulated memory: 174640 KiB

[startup+3.11017 s]
/proc/loadavg: 1.26 2.74 2.67 4/195 20008
/proc/meminfo: memFree=17000512/32770624 swapFree=67058736/67108860
[pid=19942] ppid=19939 vsize=11006304 memory=260400 CPUtime=6.79 cores=0,2,4,6
/proc/19942/stat : 19942 (java) S 19939 19942 15060 0 -1 1077944320 39797 13256 0 1 654 17 5 3 20 0 15 0 223466071 11270455296 65100 33554432000 4194304 4196468 140735509571536 140735509554080 139950251998967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
/proc/19942/statm: 2751576 65100 3495 1 0 2713229 0

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

/proc/19942/task/19995/stat : 19995 (java) R 19939 19942 15060 0 -1 4202560 228348 13256 0 1 231029 70 5 3 20 0 15 0 223466082 11345952768 880997 33554432000 4194304 4196468 140735509571536 139950223832880 139949785843390 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19996] ppid=19939 vsize=11080032 memory=3523988 CPUtime=9.4 cores=0,2,4,6
/proc/19942/task/19996/stat : 19996 (java) S 19939 19942 15060 0 -1 1077944384 30552 13256 0 1 894 38 5 3 20 0 15 0 223466083 11345952768 880997 33554432000 4194304 4196468 140735509571536 139950256241040 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19997] ppid=19939 vsize=11080032 memory=3523988 CPUtime=9.39 cores=0,2,4,6
/proc/19942/task/19997/stat : 19997 (java) S 19939 19942 15060 0 -1 1077944384 27860 13256 0 1 893 38 5 3 20 0 15 0 223466083 11345952768 880997 33554432000 4194304 4196468 140735509571536 139950110959888 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19998] ppid=19939 vsize=11080032 memory=13608 CPUtime=9.37 cores=0,2,4,6
/proc/19942/task/19998/stat : 19998 (java) S 19939 19942 15060 0 -1 1077944384 22858 13256 0 1 890 39 5 3 20 0 15 0 223466083 11345952768 880997 33554432000 4194304 4196468 140735509571536 139950109907600 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19999] ppid=19939 vsize=11080032 memory=3523988 CPUtime=9.41 cores=0,2,4,6
/proc/19942/task/19999/stat : 19999 (java) S 19939 19942 15060 0 -1 1077944384 26466 13256 0 1 896 37 5 3 20 0 15 0 223466083 11345952768 880997 33554432000 4194304 4196468 140735509571536 139950108854800 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20000] ppid=19939 vsize=11080032 memory=3544 CPUtime=1.32 cores=0,2,4,6
/proc/19942/task/20000/stat : 20000 (java) S 19939 19942 15060 0 -1 1077944384 31397 13256 0 1 110 14 5 3 20 0 15 0 223466084 11345952768 880997 33554432000 4194304 4196468 140735509571536 139949677427312 139950252010114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20001] ppid=19939 vsize=11080032 memory=3523988 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20001/stat : 20001 (java) S 19939 19942 15060 0 -1 1077944384 33 13256 0 1 0 0 5 3 20 0 15 0 223466085 11345952768 880997 33554432000 4194304 4196468 140735509571536 139949093414240 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20002] ppid=19939 vsize=11080032 memory=59616 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20002/stat : 20002 (java) S 19939 19942 15060 0 -1 1077944384 29 13256 0 1 0 0 5 3 20 0 15 0 223466085 11345952768 880997 33554432000 4194304 4196468 140735509571536 139948892087936 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20003] ppid=19939 vsize=11080032 memory=46372 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20003/stat : 20003 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466087 11345952768 880997 33554432000 4194304 4196468 140735509571536 139948584688208 139950252017563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20004] ppid=19939 vsize=11080032 memory=48580 CPUtime=10.02 cores=0,2,4,6
/proc/19942/task/20004/stat : 20004 (java) S 19939 19942 15060 0 -1 1077944384 71428 13256 0 1 988 6 5 3 20 0 15 0 223466087 11345952768 880997 33554432000 4194304 4196468 140735509571536 139949676374128 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20005] ppid=19939 vsize=11080032 memory=303430223234596890 CPUtime=10.03 cores=0,2,4,6
/proc/19942/task/20005/stat : 20005 (java) S 19939 19942 15060 0 -1 1077944384 71814 13256 0 1 988 7 5 3 20 0 15 0 223466087 11345952768 880997 33554432000 4194304 4196468 140735509571536 139949675321328 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20006] ppid=19939 vsize=11080032 memory=288230596050944315 CPUtime=3.35 cores=0,2,4,6
/proc/19942/task/20006/stat : 20006 (java) S 19939 19942 15060 0 -1 1077944384 67756 13256 0 1 319 8 5 3 20 0 15 0 223466087 11345952768 880997 33554432000 4194304 4196468 140735509571536 139949674269040 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20007] ppid=19939 vsize=11080032 memory=14696283776491730 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20007/stat : 20007 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466088 11345952768 880997 33554432000 4194304 4196468 140735509571536 139948153891296 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20008] ppid=19939 vsize=11080032 memory=3523988 CPUtime=1.55 cores=0,2,4,6
/proc/19942/task/20008/stat : 20008 (java) S 19939 19942 15060 0 -1 1077944384 1743 13256 0 1 72 75 5 3 20 0 15 0 223466088 11345952768 880997 33554432000 4194304 4196468 140735509571536 139949673216944 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
Current children cumulated CPU time: 2374.3 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3523988 KiB

[startup+2382.3 s]
/proc/loadavg: 0.49 0.66 0.88 2/195 20127
/proc/meminfo: memFree=13727496/32770624 swapFree=67058736/67108860
[pid=19942] ppid=19939 vsize=11080032 memory=3522972 CPUtime=2434.57 cores=0,2,4,6
/proc/19942/stat : 19942 (java) S 19939 19942 15060 0 -1 1077944320 586696 13256 0 1 243131 318 5 3 20 0 15 0 223466071 11345952768 880743 33554432000 4194304 4196468 140735509571536 140735509554080 139950251998967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
/proc/19942/statm: 2770008 880743 3542 1 0 2731661 0
[pid=19942/tid=19995] ppid=19939 vsize=11080032 memory=3522972 CPUtime=2370.96 cores=0,2,4,6
/proc/19942/task/19995/stat : 19995 (java) R 19939 19942 15060 0 -1 4202560 230973 13256 0 1 237017 71 5 3 20 0 15 0 223466082 11345952768 880743 33554432000 4194304 4196468 140735509571536 139950223832864 139949782714895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19996] ppid=19939 vsize=11080032 memory=3522972 CPUtime=9.48 cores=0,2,4,6
/proc/19942/task/19996/stat : 19996 (java) S 19939 19942 15060 0 -1 1077944384 30809 13256 0 1 902 38 5 3 20 0 15 0 223466083 11345952768 880743 33554432000 4194304 4196468 140735509571536 139950256241040 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19997] ppid=19939 vsize=11080032 memory=6944652177228980320 CPUtime=9.48 cores=0,2,4,6
/proc/19942/task/19997/stat : 19997 (java) S 19939 19942 15060 0 -1 1077944384 28094 13256 0 1 902 38 5 3 20 0 15 0 223466083 11345952768 880743 33554432000 4194304 4196468 140735509571536 139950110959888 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19998] ppid=19939 vsize=11080032 memory=56 CPUtime=9.45 cores=0,2,4,6
/proc/19942/task/19998/stat : 19998 (java) S 19939 19942 15060 0 -1 1077944384 23219 13256 0 1 898 39 5 3 20 0 15 0 223466083 11345952768 880743 33554432000 4194304 4196468 140735509571536 139950109907600 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19999] ppid=19939 vsize=11080032 memory=3522972 CPUtime=9.49 cores=0,2,4,6
/proc/19942/task/19999/stat : 19999 (java) S 19939 19942 15060 0 -1 1077944384 26982 13256 0 1 904 37 5 3 20 0 15 0 223466083 11345952768 880743 33554432000 4194304 4196468 140735509571536 139950108854800 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20000] ppid=19939 vsize=11080032 memory=280867911774864 CPUtime=1.33 cores=0,2,4,6
/proc/19942/task/20000/stat : 20000 (java) S 19939 19942 15060 0 -1 1077944384 31580 13256 0 1 111 14 5 3 20 0 15 0 223466084 11345952768 880743 33554432000 4194304 4196468 140735509571536 139949677427312 139950252010114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20001] ppid=19939 vsize=11080032 memory=3522964 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20001/stat : 20001 (java) S 19939 19942 15060 0 -1 1077944384 33 13256 0 1 0 0 5 3 20 0 15 0 223466085 11345952768 880743 33554432000 4194304 4196468 140735509571536 139949093414240 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20002] ppid=19939 vsize=11080032 memory=3544 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20002/stat : 20002 (java) S 19939 19942 15060 0 -1 1077944384 29 13256 0 1 0 0 5 3 20 0 15 0 223466085 11345952768 880743 33554432000 4194304 4196468 140735509571536 139948892087936 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20003] ppid=19939 vsize=11080032 memory=3522972 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20003/stat : 20003 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466087 11345952768 880743 33554432000 4194304 4196468 140735509571536 139948584688208 139950252017563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20004] ppid=19939 vsize=11080032 memory=3522972 CPUtime=10.02 cores=0,2,4,6
/proc/19942/task/20004/stat : 20004 (java) S 19939 19942 15060 0 -1 1077944384 71431 13256 0 1 988 6 5 3 20 0 15 0 223466087 11345952768 880743 33554432000 4194304 4196468 140735509571536 139949676374128 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20005] ppid=19939 vsize=11080032 memory=1188 CPUtime=10.04 cores=0,2,4,6
/proc/19942/task/20005/stat : 20005 (java) S 19939 19942 15060 0 -1 1077944384 71816 13256 0 1 988 8 5 3 20 0 15 0 223466087 11345952768 880743 33554432000 4194304 4196468 140735509571536 139949675321328 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20006] ppid=19939 vsize=11080032 memory=976 CPUtime=3.35 cores=0,2,4,6
/proc/19942/task/20006/stat : 20006 (java) S 19939 19942 15060 0 -1 1077944384 67758 13256 0 1 319 8 5 3 20 0 15 0 223466087 11345952768 880743 33554432000 4194304 4196468 140735509571536 139949674269040 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20007] ppid=19939 vsize=11080032 memory=1932 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20007/stat : 20007 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466088 11345952768 880743 33554432000 4194304 4196468 140735509571536 139948153891296 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20008] ppid=19939 vsize=11080032 memory=2076 CPUtime=1.58 cores=0,2,4,6
/proc/19942/task/20008/stat : 20008 (java) S 19939 19942 15060 0 -1 1077944384 1772 13256 0 1 74 76 5 3 20 0 15 0 223466088 11345952768 880743 33554432000 4194304 4196468 140735509571536 139949673216944 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
Current children cumulated CPU time: 2434.57 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3522972 KiB

[startup+2442.3 s]
/proc/loadavg: 0.53 0.65 0.86 2/195 20128
/proc/meminfo: memFree=13728072/32770624 swapFree=67058736/67108860
[pid=19942] ppid=19939 vsize=11080032 memory=3523008 CPUtime=2494.84 cores=0,2,4,6
/proc/19942/stat : 19942 (java) S 19939 19942 15060 0 -1 1077944320 591185 13256 0 1 249156 320 5 3 20 0 15 0 223466071 11345952768 880752 33554432000 4194304 4196468 140735509571536 140735509554080 139950251998967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
/proc/19942/statm: 2770008 880752 3542 1 0 2731661 0
[pid=19942/tid=19995] ppid=19939 vsize=11080032 memory=3523008 CPUtime=2430.85 cores=0,2,4,6
/proc/19942/task/19995/stat : 19995 (java) R 19939 19942 15060 0 -1 4202560 233732 13256 0 1 243006 71 5 3 20 0 15 0 223466082 11345952768 880752 33554432000 4194304 4196468 140735509571536 139950223832944 139949782714968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19996] ppid=19939 vsize=11080032 memory=812 CPUtime=9.57 cores=0,2,4,6
/proc/19942/task/19996/stat : 19996 (java) S 19939 19942 15060 0 -1 1077944384 31175 13256 0 1 910 39 5 3 20 0 15 0 223466083 11345952768 880752 33554432000 4194304 4196468 140735509571536 139950256241040 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19997] ppid=19939 vsize=11080032 memory=3523008 CPUtime=9.56 cores=0,2,4,6
/proc/19942/task/19997/stat : 19997 (java) S 19939 19942 15060 0 -1 1077944384 28391 13256 0 1 910 38 5 3 20 0 15 0 223466083 11345952768 880752 33554432000 4194304 4196468 140735509571536 139950110959888 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19998] ppid=19939 vsize=11080032 memory=3522964 CPUtime=9.53 cores=0,2,4,6
/proc/19942/task/19998/stat : 19998 (java) S 19939 19942 15060 0 -1 1077944384 23739 13256 0 1 906 39 5 3 20 0 15 0 223466083 11345952768 880752 33554432000 4194304 4196468 140735509571536 139950109907600 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19999] ppid=19939 vsize=11080032 memory=3522880 CPUtime=9.57 cores=0,2,4,6
/proc/19942/task/19999/stat : 19999 (java) S 19939 19942 15060 0 -1 1077944384 27321 13256 0 1 912 37 5 3 20 0 15 0 223466083 11345952768 880752 33554432000 4194304 4196468 140735509571536 139950108854800 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20000] ppid=19939 vsize=11080032 memory=3522940 CPUtime=1.35 cores=0,2,4,6
/proc/19942/task/20000/stat : 20000 (java) S 19939 19942 15060 0 -1 1077944384 31762 13256 0 1 113 14 5 3 20 0 15 0 223466084 11345952768 880752 33554432000 4194304 4196468 140735509571536 139949677427312 139950252010114 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20001] ppid=19939 vsize=11080032 memory=3522880 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20001/stat : 20001 (java) S 19939 19942 15060 0 -1 1077944384 33 13256 0 1 0 0 5 3 20 0 15 0 223466085 11345952768 880752 33554432000 4194304 4196468 140735509571536 139949093414240 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20002] ppid=19939 vsize=11080032 memory=3523008 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20002/stat : 20002 (java) S 19939 19942 15060 0 -1 1077944384 29 13256 0 1 0 0 5 3 20 0 15 0 223466085 11345952768 880752 33554432000 4194304 4196468 140735509571536 139948892087936 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20003] ppid=19939 vsize=11080032 memory=3523008 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20003/stat : 20003 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466087 11345952768 880752 33554432000 4194304 4196468 140735509571536 139948584688208 139950252017563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20004] ppid=19939 vsize=11080032 memory=3523008 CPUtime=10.02 cores=0,2,4,6
/proc/19942/task/20004/stat : 20004 (java) S 19939 19942 15060 0 -1 1077944384 71433 13256 0 1 988 6 5 3 20 0 15 0 223466087 11345952768 880752 33554432000 4194304 4196468 140735509571536 139949676374128 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20005] ppid=19939 vsize=11080032 memory=56 CPUtime=10.04 cores=0,2,4,6
/proc/19942/task/20005/stat : 20005 (java) S 19939 19942 15060 0 -1 1077944384 71818 13256 0 1 988 8 5 3 20 0 15 0 223466087 11345952768 880752 33554432000 4194304 4196468 140735509571536 139949675321328 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20006] ppid=19939 vsize=11080032 memory=3522984 CPUtime=3.35 cores=0,2,4,6
/proc/19942/task/20006/stat : 20006 (java) S 19939 19942 15060 0 -1 1077944384 67760 13256 0 1 319 8 5 3 20 0 15 0 223466087 11345952768 880752 33554432000 4194304 4196468 140735509571536 139949674269040 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20007] ppid=19939 vsize=11080032 memory=3523008 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20007/stat : 20007 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466088 11345952768 880752 33554432000 4194304 4196468 140735509571536 139948153891296 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20008] ppid=19939 vsize=11080032 memory=3523008 CPUtime=1.62 cores=0,2,4,6
/proc/19942/task/20008/stat : 20008 (java) S 19939 19942 15060 0 -1 1077944384 1792 13256 0 1 76 78 5 3 20 0 15 0 223466088 11345952768 880752 33554432000 4194304 4196468 140735509571536 139949673216944 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
Current children cumulated CPU time: 2494.84 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3523008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2467.4 s]*
/proc/loadavg: 0.57 0.65 0.85 2/195 20129
/proc/meminfo: memFree=13728072/32770624 swapFree=67058736/67108860
[pid=19942] ppid=19939 vsize=11080032 memory=3523040 CPUtime=2520.07 cores=0,2,4,6
/proc/19942/stat : 19942 (java) S 19939 19942 15060 0 -1 1077944320 592204 13256 0 1 251678 321 5 3 20 0 15 0 223466071 11345952768 880760 33554432000 4194304 4196468 140735509571536 140735509554080 139950251998967 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
/proc/19942/statm: 2770008 880760 3542 1 0 2731661 0
[pid=19942/tid=19995] ppid=19939 vsize=11080032 memory=6791534058613427641 CPUtime=2455.91 cores=0,2,4,6
/proc/19942/task/19995/stat : 19995 (java) R 19939 19942 15060 0 -1 4202560 234370 13256 0 1 245512 71 5 3 20 0 15 0 223466082 11345952768 880760 33554432000 4194304 4196468 140735509571536 139950223833056 139949785843374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19996] ppid=19939 vsize=11080032 memory=4872558044660077418 CPUtime=9.61 cores=0,2,4,6
/proc/19942/task/19996/stat : 19996 (java) S 19939 19942 15060 0 -1 1077944384 31202 13256 0 1 914 39 5 3 20 0 15 0 223466083 11345952768 880760 33554432000 4194304 4196468 140735509571536 139950256241040 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19997] ppid=19939 vsize=11080032 memory=6943526294502006880 CPUtime=9.59 cores=0,2,4,6
/proc/19942/task/19997/stat : 19997 (java) S 19939 19942 15060 0 -1 1077944384 28443 13256 0 1 913 38 5 3 20 0 15 0 223466083 11345952768 880760 33554432000 4194304 4196468 140735509571536 139950110959888 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19998] ppid=19939 vsize=11080032 memory=7667167690614138738 CPUtime=9.56 cores=0,2,4,6
/proc/19942/task/19998/stat : 19998 (java) S 19939 19942 15060 0 -1 1077944384 23760 13256 0 1 909 39 5 3 20 0 15 0 223466083 11345952768 880760 33554432000 4194304 4196468 140735509571536 139950109907600 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=19999] ppid=19939 vsize=11080032 memory=7667167690614138738 CPUtime=9.61 cores=0,2,4,6
/proc/19942/task/19999/stat : 19999 (java) S 19939 19942 15060 0 -1 1077944384 27326 13256 0 1 916 37 5 3 20 0 15 0 223466083 11345952768 880760 33554432000 4194304 4196468 140735509571536 139950108854800 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20000] ppid=19939 vsize=11080032 memory=288230574492221466 CPUtime=1.36 cores=0,2,4,6
/proc/19942/task/20000/stat : 20000 (java) S 19939 19942 15060 0 -1 1077944384 31767 13256 0 1 114 14 5 3 20 0 15 0 223466084 11345952768 880760 33554432000 4194304 4196468 140735509571536 139949677427312 139950252010114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20001] ppid=19939 vsize=11080032 memory=288230596050944315 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20001/stat : 20001 (java) S 19939 19942 15060 0 -1 1077944384 33 13256 0 1 0 0 5 3 20 0 15 0 223466085 11345952768 880760 33554432000 4194304 4196468 140735509571536 139949093414240 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20002] ppid=19939 vsize=11080032 memory=14696283776491730 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20002/stat : 20002 (java) S 19939 19942 15060 0 -1 1077944384 29 13256 0 1 0 0 5 3 20 0 15 0 223466085 11345952768 880760 33554432000 4194304 4196468 140735509571536 139948892087936 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20003] ppid=19939 vsize=11080032 memory=1024 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20003/stat : 20003 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466087 11345952768 880760 33554432000 4194304 4196468 140735509571536 139948584688208 139950252017563 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20004] ppid=19939 vsize=11080032 memory=3172 CPUtime=10.02 cores=0,2,4,6
/proc/19942/task/20004/stat : 20004 (java) S 19939 19942 15060 0 -1 1077944384 71433 13256 0 1 988 6 5 3 20 0 15 0 223466087 11345952768 880760 33554432000 4194304 4196468 140735509571536 139949676374128 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20005] ppid=19939 vsize=11080032 memory=2076 CPUtime=10.04 cores=0,2,4,6
/proc/19942/task/20005/stat : 20005 (java) S 19939 19942 15060 0 -1 1077944384 71818 13256 0 1 988 8 5 3 20 0 15 0 223466087 11345952768 880760 33554432000 4194304 4196468 140735509571536 139949675321328 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20006] ppid=19939 vsize=11080032 memory=9004 CPUtime=3.35 cores=0,2,4,6
/proc/19942/task/20006/stat : 20006 (java) S 19939 19942 15060 0 -1 1077944384 68031 13256 0 1 319 8 5 3 20 0 15 0 223466087 11345952768 880760 33554432000 4194304 4196468 140735509571536 139949674269040 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20007] ppid=19939 vsize=11080032 memory=768 CPUtime=0.08 cores=0,2,4,6
/proc/19942/task/20007/stat : 20007 (java) S 19939 19942 15060 0 -1 1077944384 3 13256 0 1 0 0 5 3 20 0 15 0 223466088 11345952768 880760 33554432000 4194304 4196468 140735509571536 139948153891296 139950252009173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
[pid=19942/tid=20008] ppid=19939 vsize=11080032 memory=736 CPUtime=1.64 cores=0,2,4,6
/proc/19942/task/20008/stat : 20008 (java) S 19939 19942 15060 0 -1 1077944384 1792 13256 0 1 77 79 5 3 20 0 15 0 223466088 11345952768 880760 33554432000 4194304 4196468 140735509571536 139949673216944 139950252010114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140735509580387 140735509583196 140735509583196 140735509585871 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3523040 KiB

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

[startup+2467.45 s]
# the end of solver process 19942 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.86 s, system=3.26759 s

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

Child status: 143
Real time (s): 2467.45
CPU time (s): 2520.13
CPU user time (s): 2516.86
CPU system time (s): 3.26759
CPU usage (%): 102.135
Max. virtual memory (cumulated for all children) (KiB): 11080692
Max. memory (cumulated for all children) (KiB): 3523988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.86
system time used= 3.26758
maximum resident set size= 3525488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 606338
page faults= 1
swaps= 0
block input operations= 16
block output operations= 3248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83004
involuntary context switches= 3988


# summary of solver processes directly reported to runsolver:
#   pid: 19942
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.86
#   total CPU system time (s): 3.26759

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4637 second user time and 24.5542 second system time

The end

Launcher Data 

Begin job on node103 at 2018-08-12 09:30:29
IDJOB=4304336
IDBENCH=141203
IDSOLVER=2781
FILE ID=node103/4304336-1534059029
RUNJOBID= node103-1534038993-15971
PBS_JOBID= 21036972
Free space on /tmp= 34460 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-09-opt_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304336-1534059029/watcher-4304336-1534059029 -o /tmp/evaluation-result-4304336-1534059029/solver-4304336-1534059029 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534038993-15971 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1370650934 -superng HOME/instance-4304336-1534059029.xml

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

MD5SUM BENCH= 2788969af340f57bdb68eae00f77e52f
RANDOM SEED=1370650934

node103.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.48
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.48
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.48
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.48
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:        17247004 kB
MemAvailable:   31946780 kB
Buffers:          109204 kB
Cached:         14731224 kB
SwapCached:         5832 kB
Active:          7435696 kB
Inactive:        7417480 kB
Active(anon):       2108 kB
Inactive(anon):    61840 kB
Active(file):    7433588 kB
Inactive(file):  7355640 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67058736 kB
Dirty:             26720 kB
Writeback:             0 kB
AnonPages:         15444 kB
Mapped:            49992 kB
Shmem:             48604 kB
Slab:             368228 kB
SReclaimable:     339008 kB
SUnreclaim:        29220 kB
KernelStack:        3472 kB
PageTables:         5336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     350456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 34432 MiB
End job on node103 at 2018-08-12 10:11:36