Trace number 4392248

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.10SAT (TO)18 2400.1 2352.19

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-08-opt_c18.xml
MD5SUMedb7fc8f5d274005fc89ddd50225e87c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark2400.11
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints3757
Number of domains7
Minimum domain size6
Maximum domain size44
Distribution of domain sizes[{"size":6,"count":48},{"size":22,"count":36},{"size":24,"count":18},{"size":36,"count":122},{"size":42,"count":170},{"size":44,"count":286}]
Minimum variable degree2
Maximum variable degree23
Distribution of variable degrees[{"degree":2,"count":3},{"degree":3,"count":1},{"degree":4,"count":6},{"degree":5,"count":10},{"degree":6,"count":46},{"degree":7,"count":68},{"degree":8,"count":77},{"degree":9,"count":85},{"degree":10,"count":54},{"degree":11,"count":33},{"degree":12,"count":37},{"degree":13,"count":21},{"degree":14,"count":8},{"degree":15,"count":1},{"degree":16,"count":35},{"degree":17,"count":26},{"degree":18,"count":63},{"degree":19,"count":54},{"degree":20,"count":32},{"degree":21,"count":12},{"degree":22,"count":7},{"degree":23,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3757}]
Number of extensional constraints0
Number of intensional constraints3757
Distribution of constraint types[{"type":"intension","count":3757}]
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.75/0.55	c Concrete v3.10.1560635388952 running
170.16/146.13	o 42
171.41/146.92	o 40
191.61/166.60	o 38
212.38/186.95	o 36
230.91/205.07	o 34
257.25/230.88	o 32
282.87/255.80	o 30
316.33/288.51	o 28
341.16/312.78	o 26
373.02/343.88	o 24
426.69/396.20	o 22
885.26/844.87	o 20
915.93/874.45	o 18
2400.00/2352.15	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2400.00/2352.15		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2400.00/2352.15		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:57)
2400.00/2352.15		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2400.00/2352.15		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:249)
2400.00/2352.15		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16)
2400.00/2352.15		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2400.00/2352.15		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2400.00/2352.15		at concrete.heuristic.value.BestCost.select(BestCost.scala:57)
2400.00/2352.15		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.00/2352.15		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.00/2352.15		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.00/2352.15		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.00/2352.15		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.00/2352.15		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.00/2352.15		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.00/2352.15		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.00/2352.15		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.00/2352.15		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.00/2352.15		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2400.00/2352.15		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2400.00/2352.15		at scala.Option.map(Option.scala:243)
2400.00/2352.15		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2400.00/2352.15		at concrete.MAC.mac(MAC.scala:204)
2400.00/2352.15		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253)
2400.00/2352.15		at scala.util.Try$.apply(Try.scala:212)
2400.00/2352.15		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.00/2352.15		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.00/2352.15		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.00/2352.15		at concrete.MAC.oneRun(MAC.scala:253)
2400.00/2352.15		at concrete.MAC.nextSolution(MAC.scala:272)
2400.00/2352.15		at concrete.MAC.nextSolution(MAC.scala:355)
2400.00/2352.15		at concrete.Solver.hasNext(Solver.scala:160)
2400.00/2352.15		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.00/2352.15		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.00/2352.16		at concrete.Solver.foreach(Solver.scala:67)
2400.00/2352.16		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:72)
2400.00/2352.16		at scala.util.Success.map(Try.scala:264)
2400.00/2352.16		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67)
2400.00/2352.16		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.00/2352.16		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.00/2352.16		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.00/2352.16		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.00/2352.16		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.00/2352.16		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.00/2352.16		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.00/2352.16		at scala.App.$anonfun$main$1(App.scala:75)
2400.00/2352.16		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2400.00/2352.16		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.00/2352.16		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.00/2352.16		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2400.00/2352.16		at scala.App.main(App.scala:75)
2400.00/2352.16		at scala.App.main$(App.scala:73)
2400.00/2352.16		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.00/2352.16		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.00/2352.17	v <instantiation
2400.00/2352.17	v         cost = '18'>
2400.00/2352.17	v       <list>
2400.00/2352.17	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]
2400.00/2352.17	v       </list>
2400.00/2352.17	v       <values>
2400.00/2352.17	v         30 268 540 778 470 708 268 30 142 380 380 142 142 380 708 470 540 778 554 792 792 554 72 310 142 380 72 310 498 736 792 554 554 792 142 380 478 240 708 470 792 554 142 380 30 268 142 380 142 380 380 142 30 268 268 30 540 778 268 30 268 30 652 414 652 414 778 540 736 498 142 380 414 652 498 736 72 310 142 380 470 708 72 310 380 142 540 778 736 498 30 268 30 268 540 778 498 736 736 498 414 652 652 414 72 310 142 380 540 778 778 540 540 778 554 792 380 142 652 414 268 30 380 142 792 554 778 540 478 240 268 30 380 142 540 778 142 380 778 540 72 310 30 268 414 652 540 778 792 554 380 142 554 792 470 708 380 142 380 142 778 540 792 554 30 268 30 268 540 778 554 792 470 708 310 72 380 142 268 30 498 736 310 72 498 736 310 72 72 310 310 72 268 30 72 310 30 268 736 498 554 792 30 268 380 142 540 778 792 554 540 778 30 268 142 380 540 778 792 554 414 652 30 268 736 498 540 778 310 72 792 554 268 30 380 142 470 708 736 498 778 540 142 380 310 72 268 30 498 736 310 72 380 142 72 310 498 736 72 310 142 380 470 708 540 778 30 268 540 778 736 498 310 72 380 142 30 268 792 554 72 310 142 380 554 792 470 708 30 268 652 414 268 30 708 470 708 470 30 268 792 554 380 142 414 652 268 30 736 498 380 142 240 478 142 380 310 72 478 240 30 268 540 778 30 268 268 30 310 72 478 240 268 30 30 268 240 478 72 310 380 142 240 478 470 708 554 792 652 414 652 414 268 30 652 414 310 72 478 240 498 736 310 72 554 792 554 792 268 30 478 240 240 478 268 30 30 268 72 310 310 72 554 792 72 310 414 652 470 708 708 470 736 498 380 142 778 540 268 30 792 554 310 72 540 778 30 268 30 268 708 470 554 792 736 498 554 792 72 310 240 478 778 540 380 142 380 142 310 72 736 498 540 778 708 470 142 380 708 470 540 778 268 30 652 414 498 736 72 310 652 414 72 310 540 778 540 778 498 736 310 72 554 792 498 736 414 652 30 268 72 310 380 142 540 778 142 380 792 554 268 30 30 268 414 652 498 736 380 142 498 736 498 736 792 554 380 142 778 540 414 652 72 310 414 652 498 736 142 380 142 380 554 792 708 470 708 470 498 736 652 414 310 72 30 268 554 792 142 380 792 554 380 142 414 652 736 498 498 736 778 540 414 652 736 498 554 792 778 540 778 540 554 792 414 652 778 540 736 498 778 540 708 470 498 736 30 268 540 778 778 540 310 72 30 268 792 554 708 470 310 72 554 792 72 310 380 142 72 310 310 72 268 30 310 72 554 792 736 498 414 652 778 540 414 652 30 268 310 72 380 142 778 540 240 478 380 142 554 792 708 470 708 470 380 142 778 540 310 72 554 792 778 540 268 30 414 652 792 554 652 414 708 470 708 470 268 30 30 268 540 778 142 380 554 792 540 778 708 470 736 498 540 778 30 268 268 30 540 778 792 554 778 540 554 792 72 310 268 30
2400.00/2352.17	v       </values>
2400.00/2352.17	v     </instantiation>
2400.00/2352.17	s SATISFIABLE

Verifier Data 

OK	18

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392248-1568331394/watcher-4392248-1568331394 -o /tmp/evaluation-result-4392248-1568331394/solver-4392248-1568331394 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20991 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=106092414 HOME/instance-4392248-1568331394.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=31361, runsolver pid=31358
Current StackSize limit: 8192 KiB


[startup+0.102601 s]*
/proc/loadavg: 1.17 1.32 1.39 3/222 31418
/proc/meminfo: memFree=30567456/32770624 swapFree=67003392/67108860
[pid=31361] ppid=31358 vsize=9972712 memory=17480 CPUtime=0.09 cores=1,3,5,7
/proc/31361/stat : 31361 (java) S 31358 31361 20959 0 -1 1077944320 4584 13351 0 0 1 0 6 2 20 0 6 0 409379087 10212057088 4304 33554432000 4194304 4196468 140725031610320 140725031592864 140515833282295 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
/proc/31361/statm: 2493178 4304 1935 1 0 2481616 0
[pid=31361/tid=31414] ppid=31358 vsize=9972712 memory=4279135703913365902 CPUtime=0.09 cores=1,3,5,7
/proc/31361/task/31414/stat : 31414 (java) R 31358 31361 20959 0 -1 4202560 2381 13351 0 0 1 0 6 2 20 0 6 0 409379096 10212057088 4370 33554432000 4194304 4196468 140725031610320 140515805119056 140515818594297 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31415] ppid=31358 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31415/stat : 31415 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 6 0 409379097 10212057088 4370 33554432000 4194304 4196468 140725031610320 140515837525008 140515833292501 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31416] ppid=31358 vsize=9972712 memory=140606004278912 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31416/stat : 31416 (java) S 31358 31361 20959 0 -1 1077944384 2 13351 0 0 0 0 6 2 20 0 6 0 409379097 10212057088 4370 33554432000 4194304 4196468 140725031610320 140515407010960 140515833292501 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31417] ppid=31358 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31417/stat : 31417 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 6 0 409379097 10212057088 4370 33554432000 4194304 4196468 140725031610320 140515405957904 140515833292501 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31418] ppid=31358 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31418/stat : 31418 (java) S 31358 31361 20959 0 -1 1077944384 2 13351 0 0 0 0 6 2 20 0 6 0 409379097 10212057088 4370 33554432000 4194304 4196468 140725031610320 140515404905360 140515833292501 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17480 KiB

[startup+0.210424 s]*
/proc/loadavg: 1.17 1.32 1.39 3/231 31427
/proc/meminfo: memFree=30549272/32770624 swapFree=67003392/67108860
[pid=31361] ppid=31358 vsize=10818940 memory=39096 CPUtime=0.26 cores=1,3,5,7
/proc/31361/stat : 31361 (java) S 31358 31361 20959 0 -1 1077944320 7135 13351 0 0 17 1 6 2 20 0 15 0 409379087 11078594560 9774 33554432000 4194304 4196468 140725031610320 140725031592864 140515833282295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
/proc/31361/statm: 2704735 9774 2952 1 0 2667149 0
[pid=31361/tid=31414] ppid=31358 vsize=10818940 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7
/proc/31361/task/31414/stat : 31414 (java) R 31358 31361 20959 0 -1 4202560 3628 13351 0 0 11 1 6 2 20 0 15 0 409379096 11078594560 9774 33554432000 4194304 4196468 140725031610320 140515805078480 140515817362782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31415] ppid=31358 vsize=10818940 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31415/stat : 31415 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379097 11078594560 9774 33554432000 4194304 4196468 140725031610320 140515837525008 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31416] ppid=31358 vsize=10818940 memory=140606004278912 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31416/stat : 31416 (java) S 31358 31361 20959 0 -1 1077944384 2 13351 0 0 0 0 6 2 20 0 15 0 409379097 11078594560 9774 33554432000 4194304 4196468 140725031610320 140515407010960 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31417] ppid=31358 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31417/stat : 31417 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379097 11078594560 9774 33554432000 4194304 4196468 140725031610320 140515405957904 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31418] ppid=31358 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31418/stat : 31418 (java) S 31358 31361 20959 0 -1 1077944384 2 13351 0 0 0 0 6 2 20 0 15 0 409379097 11078594560 9774 33554432000 4194304 4196468 140725031610320 140515404905360 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31419] ppid=31358 vsize=10818940 memory=140606004278912 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31419/stat : 31419 (java) S 31358 31361 20959 0 -1 1077944384 2 13351 0 0 0 0 6 2 20 0 15 0 409379099 11078594560 9774 33554432000 4194304 4196468 140725031610320 140515359955184 140515833293442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31420] ppid=31358 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31420/stat : 31420 (java) S 31358 31361 20959 0 -1 1077944384 13 13351 0 0 0 0 6 2 20 0 15 0 409379099 11078594560 9774 33554432000 4194304 4196468 140725031610320 140515290899616 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31421] ppid=31358 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31421/stat : 31421 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379099 11078594560 9774 33554432000 4194304 4196468 140725031610320 140514619810544 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31422] ppid=31358 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31422/stat : 31422 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11078594560 9774 33554432000 4194304 4196468 140725031610320 140514379519952 140515833300891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31423] ppid=31358 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31361/task/31423/stat : 31423 (java) S 31358 31361 20959 0 -1 1077944384 576 13351 0 0 1 0 6 2 20 0 15 0 409379102 11078594560 9774 33554432000 4194304 4196468 140725031610320 140515257342704 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31424] ppid=31358 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31424/stat : 31424 (java) S 31358 31361 20959 0 -1 1077944384 60 13351 0 0 0 0 6 2 20 0 15 0 409379102 11078594560 9774 33554432000 4194304 4196468 140725031610320 140515256290160 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31425] ppid=31358 vsize=10818940 memory=140606004278912 CPUtime=0.11 cores=1,3,5,7
/proc/31361/task/31425/stat : 31425 (java) S 31358 31361 20959 0 -1 1077944384 632 13351 0 0 3 0 6 2 20 0 15 0 409379102 11078594560 9774 33554432000 4194304 4196468 140725031610320 140515255237104 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31426] ppid=31358 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31426/stat : 31426 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11078594560 9774 33554432000 4194304 4196468 140725031610320 140514345962336 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31427] ppid=31358 vsize=10818940 memory=140606004278912 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31427/stat : 31427 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379102 11078594560 9774 33554432000 4194304 4196468 140725031610320 140515254184496 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 39096 KiB

[startup+0.310296 s]*
/proc/loadavg: 1.17 1.32 1.39 3/231 31427
/proc/meminfo: memFree=30538404/32770624 swapFree=67003392/67108860
[pid=31361] ppid=31358 vsize=10820096 memory=50540 CPUtime=0.4 cores=1,3,5,7
/proc/31361/stat : 31361 (java) S 31358 31361 20959 0 -1 1077944320 10777 13351 0 0 29 3 6 2 20 0 15 0 409379087 11079778304 12635 33554432000 4194304 4196468 140725031610320 140725031592864 140515833282295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
/proc/31361/statm: 2705024 12635 3241 1 0 2667149 0
[pid=31361/tid=31414] ppid=31358 vsize=10820096 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/31361/task/31414/stat : 31414 (java) R 31358 31361 20959 0 -1 4202560 7257 13351 0 0 19 2 6 2 20 0 15 0 409379096 11079778304 12635 33554432000 4194304 4196468 140725031610320 140515805096808 140515833304221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31415] ppid=31358 vsize=10820096 memory=7228928657774891088 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31415/stat : 31415 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379097 11079778304 12635 33554432000 4194304 4196468 140725031610320 140515837525008 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31416] ppid=31358 vsize=10820096 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31416/stat : 31416 (java) S 31358 31361 20959 0 -1 1077944384 2 13351 0 0 0 0 6 2 20 0 15 0 409379097 11079778304 12635 33554432000 4194304 4196468 140725031610320 140515407010960 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31417] ppid=31358 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31417/stat : 31417 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379097 11079778304 12635 33554432000 4194304 4196468 140725031610320 140515405957904 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31418] ppid=31358 vsize=10820096 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31418/stat : 31418 (java) S 31358 31361 20959 0 -1 1077944384 2 13351 0 0 0 0 6 2 20 0 15 0 409379097 11079778304 12635 33554432000 4194304 4196468 140725031610320 140515404905360 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31419] ppid=31358 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31419/stat : 31419 (java) S 31358 31361 20959 0 -1 1077944384 2 13351 0 0 0 0 6 2 20 0 15 0 409379099 11079778304 12635 33554432000 4194304 4196468 140725031610320 140515359955184 140515833293442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31420] ppid=31358 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31420/stat : 31420 (java) S 31358 31361 20959 0 -1 1077944384 13 13351 0 0 0 0 6 2 20 0 15 0 409379099 11079778304 12635 33554432000 4194304 4196468 140725031610320 140515290899616 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31421] ppid=31358 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31421/stat : 31421 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379099 11079778304 12635 33554432000 4194304 4196468 140725031610320 140514619810544 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31422] ppid=31358 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31422/stat : 31422 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11079778304 12635 33554432000 4194304 4196468 140725031610320 140514379519952 140515833300891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31423] ppid=31358 vsize=10820096 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/31361/task/31423/stat : 31423 (java) S 31358 31361 20959 0 -1 1077944384 577 13351 0 0 2 0 6 2 20 0 15 0 409379102 11079778304 12635 33554432000 4194304 4196468 140725031610320 140515257342704 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31424] ppid=31358 vsize=10820096 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31361/task/31424/stat : 31424 (java) S 31358 31361 20959 0 -1 1077944384 61 13351 0 0 1 0 6 2 20 0 15 0 409379102 11079778304 12635 33554432000 4194304 4196468 140725031610320 140515256290160 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31425] ppid=31358 vsize=10820096 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/31361/task/31425/stat : 31425 (java) S 31358 31361 20959 0 -1 1077944384 642 13351 0 0 5 0 6 2 20 0 15 0 409379102 11079778304 12635 33554432000 4194304 4196468 140725031610320 140515255237104 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31426] ppid=31358 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31426/stat : 31426 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11079778304 12635 33554432000 4194304 4196468 140725031610320 140514345962336 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31427] ppid=31358 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31427/stat : 31427 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379102 11079778304 12635 33554432000 4194304 4196468 140725031610320 140515254184496 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 50540 KiB

[startup+0.70068 s]
/proc/loadavg: 1.17 1.32 1.39 5/231 31427
/proc/meminfo: memFree=30523404/32770624 swapFree=67003392/67108860
[pid=31361] ppid=31358 vsize=10824340 memory=80272 CPUtime=1.14 cores=1,3,5,7
/proc/31361/stat : 31361 (java) S 31358 31361 20959 0 -1 1077944320 14807 13351 0 0 100 6 6 2 20 0 15 0 409379087 11084124160 20068 33554432000 4194304 4196468 140725031610320 140725031592864 140515833282295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
/proc/31361/statm: 2706085 20068 3494 1 0 2668173 0
[pid=31361/tid=31414] ppid=31358 vsize=10824340 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/31361/task/31414/stat : 31414 (java) R 31358 31361 20959 0 -1 4202560 10542 13351 0 0 55 4 6 2 20 0 15 0 409379096 11084124160 20068 33554432000 4194304 4196468 140725031610320 140515805111872 140515833304221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31415] ppid=31358 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31415/stat : 31415 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379097 11084124160 20068 33554432000 4194304 4196468 140725031610320 140515837525008 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31416] ppid=31358 vsize=10824340 memory=3280 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31416/stat : 31416 (java) S 31358 31361 20959 0 -1 1077944384 2 13351 0 0 0 0 6 2 20 0 15 0 409379097 11084124160 20068 33554432000 4194304 4196468 140725031610320 140515407010960 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31417] ppid=31358 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31417/stat : 31417 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379097 11084124160 20068 33554432000 4194304 4196468 140725031610320 140515405957904 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31418] ppid=31358 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31418/stat : 31418 (java) S 31358 31361 20959 0 -1 1077944384 2 13351 0 0 0 0 6 2 20 0 15 0 409379097 11084124160 20068 33554432000 4194304 4196468 140725031610320 140515404905360 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31419] ppid=31358 vsize=10824340 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31419/stat : 31419 (java) S 31358 31361 20959 0 -1 1077944384 5 13351 0 0 0 0 6 2 20 0 15 0 409379099 11084124160 20068 33554432000 4194304 4196468 140725031610320 140515359955184 140515833293442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31420] ppid=31358 vsize=10824340 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31420/stat : 31420 (java) S 31358 31361 20959 0 -1 1077944384 13 13351 0 0 0 0 6 2 20 0 15 0 409379099 11084124160 20068 33554432000 4194304 4196468 140725031610320 140515290899616 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31421] ppid=31358 vsize=10824340 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31421/stat : 31421 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379099 11084124160 20068 33554432000 4194304 4196468 140725031610320 140514619810544 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31422] ppid=31358 vsize=10824340 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31422/stat : 31422 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11084124160 20068 33554432000 4194304 4196468 140725031610320 140514379519952 140515833300891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31423] ppid=31358 vsize=10824340 memory=13252 CPUtime=0.21 cores=1,3,5,7
/proc/31361/task/31423/stat : 31423 (java) S 31358 31361 20959 0 -1 1077944384 843 13351 0 0 13 0 6 2 20 0 15 0 409379102 11084124160 20068 33554432000 4194304 4196468 140725031610320 140515257342704 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31424] ppid=31358 vsize=10824340 memory=15460 CPUtime=0.21 cores=1,3,5,7
/proc/31361/task/31424/stat : 31424 (java) S 31358 31361 20959 0 -1 1077944384 409 13351 0 0 13 0 6 2 20 0 15 0 409379102 11084124160 20068 33554432000 4194304 4196468 140725031610320 140515256290160 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31425] ppid=31358 vsize=10824340 memory=17668 CPUtime=0.25 cores=1,3,5,7
/proc/31361/task/31425/stat : 31425 (java) S 31358 31361 20959 0 -1 1077944384 770 13351 0 0 17 0 6 2 20 0 15 0 409379102 11084124160 20068 33554432000 4194304 4196468 140725031610320 140515255237104 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31426] ppid=31358 vsize=10824340 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31426/stat : 31426 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11084124160 20068 33554432000 4194304 4196468 140725031610320 140514345962336 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31427] ppid=31358 vsize=10824340 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31427/stat : 31427 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379102 11084124160 20068 33554432000 4194304 4196468 140725031610320 140515254184496 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80272 KiB

[startup+1.50072 s]
/proc/loadavg: 1.17 1.32 1.39 5/231 31427
/proc/meminfo: memFree=30462056/32770624 swapFree=67003392/67108860
[pid=31361] ppid=31358 vsize=10832608 memory=212232 CPUtime=3.18 cores=1,3,5,7
/proc/31361/stat : 31361 (java) S 31358 31361 20959 0 -1 1077944320 27258 13351 0 0 299 11 6 2 20 0 15 0 409379087 11092590592 53058 33554432000 4194304 4196468 140725031610320 140725031592864 140515833282295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
/proc/31361/statm: 2708152 53058 3579 1 0 2670221 0
[pid=31361/tid=31414] ppid=31358 vsize=10832608 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/31361/task/31414/stat : 31414 (java) R 31358 31361 20959 0 -1 4202560 15141 13351 0 0 129 6 6 2 20 0 15 0 409379096 11092590592 53058 33554432000 4194304 4196468 140725031610320 140515805114176 140515817362782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31415] ppid=31358 vsize=10832608 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31361/task/31415/stat : 31415 (java) S 31358 31361 20959 0 -1 1077944384 37 13351 0 0 1 0 6 2 20 0 15 0 409379097 11092590592 53058 33554432000 4194304 4196468 140725031610320 140515837525008 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31416] ppid=31358 vsize=10832608 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31361/task/31416/stat : 31416 (java) S 31358 31361 20959 0 -1 1077944384 66 13351 0 0 1 0 6 2 20 0 15 0 409379097 11092590592 53058 33554432000 4194304 4196468 140725031610320 140515407010960 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31417] ppid=31358 vsize=10832608 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31361/task/31417/stat : 31417 (java) S 31358 31361 20959 0 -1 1077944384 230 13351 0 0 1 0 6 2 20 0 15 0 409379097 11092590592 53058 33554432000 4194304 4196468 140725031610320 140515405957904 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31418] ppid=31358 vsize=10832608 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31361/task/31418/stat : 31418 (java) S 31358 31361 20959 0 -1 1077944384 27 13351 0 0 1 0 6 2 20 0 15 0 409379097 11092590592 53058 33554432000 4194304 4196468 140725031610320 140515404905360 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31419] ppid=31358 vsize=10832608 memory=-7965959130280075168 CPUtime=0.09 cores=1,3,5,7
/proc/31361/task/31419/stat : 31419 (java) S 31358 31361 20959 0 -1 1077944384 85 13351 0 0 1 0 6 2 20 0 15 0 409379099 11092590592 53058 33554432000 4194304 4196468 140725031610320 140515359955184 140515833293442 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31420] ppid=31358 vsize=10832608 memory=281211775822080 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31420/stat : 31420 (java) S 31358 31361 20959 0 -1 1077944384 14 13351 0 0 0 0 6 2 20 0 15 0 409379099 11092590592 53058 33554432000 4194304 4196468 140725031610320 140515290899680 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31421] ppid=31358 vsize=10832608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31421/stat : 31421 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379099 11092590592 53058 33554432000 4194304 4196468 140725031610320 140514619810560 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31422] ppid=31358 vsize=10832608 memory=8252 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31422/stat : 31422 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11092590592 53058 33554432000 4194304 4196468 140725031610320 140514379519952 140515833300891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31423] ppid=31358 vsize=10832608 memory=5912 CPUtime=0.67 cores=1,3,5,7
/proc/31361/task/31423/stat : 31423 (java) S 31358 31361 20959 0 -1 1077944384 4335 13351 0 0 59 0 6 2 20 0 15 0 409379102 11092590592 53058 33554432000 4194304 4196468 140725031610320 140515257342704 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31424] ppid=31358 vsize=10832608 memory=1056 CPUtime=0.67 cores=1,3,5,7
/proc/31361/task/31424/stat : 31424 (java) S 31358 31361 20959 0 -1 1077944384 3274 13351 0 0 58 1 6 2 20 0 15 0 409379102 11092590592 53058 33554432000 4194304 4196468 140725031610320 140515256290160 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31425] ppid=31358 vsize=10832608 memory=1540 CPUtime=0.51 cores=1,3,5,7
/proc/31361/task/31425/stat : 31425 (java) S 31358 31361 20959 0 -1 1077944384 1830 13351 0 0 43 0 6 2 20 0 15 0 409379102 11092590592 53058 33554432000 4194304 4196468 140725031610320 140515255237104 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31426] ppid=31358 vsize=10832608 memory=728 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31426/stat : 31426 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11092590592 53058 33554432000 4194304 4196468 140725031610320 140514345962336 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31427] ppid=31358 vsize=10832608 memory=3436 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31427/stat : 31427 (java) S 31358 31361 20959 0 -1 1077944384 1 13351 0 0 0 0 6 2 20 0 15 0 409379102 11092590592 53058 33554432000 4194304 4196468 140725031610320 140515254184496 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 10832608 KiB

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

/proc/31361/task/31414/stat : 31414 (java) R 31358 31361 20959 0 -1 4202560 287064 13351 0 0 225077 90 6 2 20 0 15 0 409379096 11109400576 793013 33554432000 4194304 4196468 140725031610320 140515805117248 140515449774248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31415] ppid=31358 vsize=10849024 memory=3172052 CPUtime=7.68 cores=1,3,5,7
/proc/31361/task/31415/stat : 31415 (java) S 31358 31361 20959 0 -1 1077944384 24138 13351 0 0 733 27 6 2 20 0 15 0 409379097 11109400576 793013 33554432000 4194304 4196468 140725031610320 140515837525008 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31416] ppid=31358 vsize=10849024 memory=3172052 CPUtime=7.66 cores=1,3,5,7
/proc/31361/task/31416/stat : 31416 (java) S 31358 31361 20959 0 -1 1077944384 27672 13351 0 0 733 25 6 2 20 0 15 0 409379097 11109400576 793013 33554432000 4194304 4196468 140725031610320 140515407010960 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31417] ppid=31358 vsize=10849024 memory=2376 CPUtime=7.62 cores=1,3,5,7
/proc/31361/task/31417/stat : 31417 (java) S 31358 31361 20959 0 -1 1077944384 27358 13351 0 0 729 25 6 2 20 0 15 0 409379097 11109400576 793013 33554432000 4194304 4196468 140725031610320 140515405957904 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31418] ppid=31358 vsize=10849024 memory=3172052 CPUtime=7.66 cores=1,3,5,7
/proc/31361/task/31418/stat : 31418 (java) S 31358 31361 20959 0 -1 1077944384 22121 13351 0 0 733 25 6 2 20 0 15 0 409379097 11109400576 793013 33554432000 4194304 4196468 140725031610320 140515404905360 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31419] ppid=31358 vsize=10849024 memory=3172052 CPUtime=2.21 cores=1,3,5,7
/proc/31361/task/31419/stat : 31419 (java) S 31358 31361 20959 0 -1 1077944384 32994 13351 0 0 187 26 6 2 20 0 15 0 409379099 11109400576 793013 33554432000 4194304 4196468 140725031610320 140515359955184 140515833293442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31420] ppid=31358 vsize=10849024 memory=1768 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31420/stat : 31420 (java) S 31358 31361 20959 0 -1 1077944384 47 13351 0 0 0 0 6 2 20 0 15 0 409379099 11109400576 793013 33554432000 4194304 4196468 140725031610320 140515290899680 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31421] ppid=31358 vsize=10849024 memory=111628 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31421/stat : 31421 (java) S 31358 31361 20959 0 -1 1077944384 12 13351 0 0 0 0 6 2 20 0 15 0 409379099 11109400576 793013 33554432000 4194304 4196468 140725031610320 140514619810560 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31422] ppid=31358 vsize=10849024 memory=1036 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31422/stat : 31422 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11109400576 793013 33554432000 4194304 4196468 140725031610320 140514379519952 140515833300891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31423] ppid=31358 vsize=10849024 memory=14008 CPUtime=10.25 cores=1,3,5,7
/proc/31361/task/31423/stat : 31423 (java) S 31358 31361 20959 0 -1 1077944384 68950 13351 0 0 1008 9 6 2 20 0 15 0 409379102 11109400576 793013 33554432000 4194304 4196468 140725031610320 140515257342704 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31424] ppid=31358 vsize=10849024 memory=792 CPUtime=9.79 cores=1,3,5,7
/proc/31361/task/31424/stat : 31424 (java) S 31358 31361 20959 0 -1 1077944384 66898 13351 0 0 962 9 6 2 20 0 15 0 409379102 11109400576 793013 33554432000 4194304 4196468 140725031610320 140515256290160 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31425] ppid=31358 vsize=10849024 memory=1440 CPUtime=4.45 cores=1,3,5,7
/proc/31361/task/31425/stat : 31425 (java) S 31358 31361 20959 0 -1 1077944384 54461 13351 0 0 428 9 6 2 20 0 15 0 409379102 11109400576 793013 33554432000 4194304 4196468 140725031610320 140515255237104 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31426] ppid=31358 vsize=10849024 memory=1984 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31426/stat : 31426 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11109400576 793013 33554432000 4194304 4196468 140725031610320 140514345962336 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31427] ppid=31358 vsize=10849024 memory=1220 CPUtime=1.34 cores=1,3,5,7
/proc/31361/task/31427/stat : 31427 (java) S 31358 31361 20959 0 -1 1077944384 1937 13351 0 0 59 67 6 2 20 0 15 0 409379102 11109400576 793013 33554432000 4194304 4196468 140725031610320 140515254184496 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
Current children cumulated CPU time: 2309.79 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 3172052 KiB

[startup+2322.3 s]
/proc/loadavg: 1.28 1.35 1.39 3/233 31804
/proc/meminfo: memFree=27670144/32770624 swapFree=67003396/67108860
[pid=31361] ppid=31358 vsize=10849024 memory=3171636 CPUtime=2370.07 cores=1,3,5,7
/proc/31361/stat : 31361 (java) S 31358 31361 20959 0 -1 1077944320 624727 13351 0 0 236703 296 6 2 20 0 15 0 409379087 11109400576 792909 33554432000 4194304 4196468 140725031610320 140725031592864 140515833282295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
/proc/31361/statm: 2712256 792909 3636 1 0 2674317 0
[pid=31361/tid=31414] ppid=31358 vsize=10849024 memory=3171636 CPUtime=2311.62 cores=1,3,5,7
/proc/31361/task/31414/stat : 31414 (java) R 31358 31361 20959 0 -1 4202560 293503 13351 0 0 231064 90 6 2 20 0 15 0 409379096 11109400576 792909 33554432000 4194304 4196468 140725031610320 140515805117888 140515446430704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31415] ppid=31358 vsize=10849024 memory=3172052 CPUtime=7.77 cores=1,3,5,7
/proc/31361/task/31415/stat : 31415 (java) S 31358 31361 20959 0 -1 1077944384 24280 13351 0 0 742 27 6 2 20 0 15 0 409379097 11109400576 792909 33554432000 4194304 4196468 140725031610320 140515837525008 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31416] ppid=31358 vsize=10849024 memory=3171584 CPUtime=7.74 cores=1,3,5,7
/proc/31361/task/31416/stat : 31416 (java) S 31358 31361 20959 0 -1 1077944384 28825 13351 0 0 741 25 6 2 20 0 15 0 409379097 11109400576 792909 33554432000 4194304 4196468 140725031610320 140515407010960 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31417] ppid=31358 vsize=10849024 memory=3171584 CPUtime=7.71 cores=1,3,5,7
/proc/31361/task/31417/stat : 31417 (java) S 31358 31361 20959 0 -1 1077944384 27935 13351 0 0 738 25 6 2 20 0 15 0 409379097 11109400576 792909 33554432000 4194304 4196468 140725031610320 140515405957904 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31418] ppid=31358 vsize=10849024 memory=3171636 CPUtime=7.75 cores=1,3,5,7
/proc/31361/task/31418/stat : 31418 (java) S 31358 31361 20959 0 -1 1077944384 22314 13351 0 0 742 25 6 2 20 0 15 0 409379097 11109400576 792909 33554432000 4194304 4196468 140725031610320 140515404905360 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31419] ppid=31358 vsize=10849024 memory=3171636 CPUtime=2.23 cores=1,3,5,7
/proc/31361/task/31419/stat : 31419 (java) S 31358 31361 20959 0 -1 1077944384 33316 13351 0 0 189 26 6 2 20 0 15 0 409379099 11109400576 792909 33554432000 4194304 4196468 140725031610320 140515359955184 140515833293442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31420] ppid=31358 vsize=10849024 memory=3171636 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31420/stat : 31420 (java) S 31358 31361 20959 0 -1 1077944384 47 13351 0 0 0 0 6 2 20 0 15 0 409379099 11109400576 792909 33554432000 4194304 4196468 140725031610320 140515290899680 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31421] ppid=31358 vsize=10849024 memory=3171636 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31421/stat : 31421 (java) S 31358 31361 20959 0 -1 1077944384 12 13351 0 0 0 0 6 2 20 0 15 0 409379099 11109400576 792909 33554432000 4194304 4196468 140725031610320 140514619810560 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31422] ppid=31358 vsize=10849024 memory=3171636 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31422/stat : 31422 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11109400576 792909 33554432000 4194304 4196468 140725031610320 140514379519952 140515833300891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31423] ppid=31358 vsize=10849024 memory=3171636 CPUtime=10.25 cores=1,3,5,7
/proc/31361/task/31423/stat : 31423 (java) S 31358 31361 20959 0 -1 1077944384 68953 13351 0 0 1008 9 6 2 20 0 15 0 409379102 11109400576 792909 33554432000 4194304 4196468 140725031610320 140515257342704 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31424] ppid=31358 vsize=10849024 memory=3171636 CPUtime=9.79 cores=1,3,5,7
/proc/31361/task/31424/stat : 31424 (java) S 31358 31361 20959 0 -1 1077944384 66900 13351 0 0 962 9 6 2 20 0 15 0 409379102 11109400576 792909 33554432000 4194304 4196468 140725031610320 140515256290160 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31425] ppid=31358 vsize=10849024 memory=3171636 CPUtime=4.45 cores=1,3,5,7
/proc/31361/task/31425/stat : 31425 (java) S 31358 31361 20959 0 -1 1077944384 54463 13351 0 0 428 9 6 2 20 0 15 0 409379102 11109400576 792909 33554432000 4194304 4196468 140725031610320 140515255237104 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31426] ppid=31358 vsize=10849024 memory=3171636 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31426/stat : 31426 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11109400576 792909 33554432000 4194304 4196468 140725031610320 140514345962336 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31427] ppid=31358 vsize=10849024 memory=971 CPUtime=1.38 cores=1,3,5,7
/proc/31361/task/31427/stat : 31427 (java) S 31358 31361 20959 0 -1 1077944384 1962 13351 0 0 61 69 6 2 20 0 15 0 409379102 11109400576 792909 33554432000 4194304 4196468 140725031610320 140515254184496 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
Current children cumulated CPU time: 2370.07 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 3171636 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2352.11 s]
/proc/loadavg: 1.43 1.38 1.40 3/231 31805
/proc/meminfo: memFree=27667868/32770624 swapFree=67003396/67108860
[pid=31361] ppid=31358 vsize=10849024 memory=3171776 CPUtime=2400 cores=1,3,5,7
/proc/31361/stat : 31361 (java) S 31358 31361 20959 0 -1 1077944320 629039 13351 0 0 239695 297 6 2 20 0 15 0 409379087 11109400576 792944 33554432000 4194304 4196468 140725031610320 140725031592864 140515833282295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
/proc/31361/statm: 2712256 792944 3636 1 0 2674317 0
[pid=31361/tid=31414] ppid=31358 vsize=10849024 memory=3171776 CPUtime=2341.37 cores=1,3,5,7
/proc/31361/task/31414/stat : 31414 (java) R 31358 31361 20959 0 -1 4202560 295228 13351 0 0 234039 90 6 2 20 0 15 0 409379096 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515805117440 140515449142535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31415] ppid=31358 vsize=10849024 memory=3171776 CPUtime=7.8 cores=1,3,5,7
/proc/31361/task/31415/stat : 31415 (java) S 31358 31361 20959 0 -1 1077944384 24502 13351 0 0 745 27 6 2 20 0 15 0 409379097 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515837525008 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31416] ppid=31358 vsize=10849024 memory=3171776 CPUtime=7.78 cores=1,3,5,7
/proc/31361/task/31416/stat : 31416 (java) S 31358 31361 20959 0 -1 1077944384 29026 13351 0 0 745 25 6 2 20 0 15 0 409379097 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515407010960 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31417] ppid=31358 vsize=10849024 memory=3171776 CPUtime=7.75 cores=1,3,5,7
/proc/31361/task/31417/stat : 31417 (java) S 31358 31361 20959 0 -1 1077944384 28646 13351 0 0 742 25 6 2 20 0 15 0 409379097 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515405957904 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31418] ppid=31358 vsize=10849024 memory=3171776 CPUtime=7.78 cores=1,3,5,7
/proc/31361/task/31418/stat : 31418 (java) S 31358 31361 20959 0 -1 1077944384 23414 13351 0 0 745 25 6 2 20 0 15 0 409379097 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515404905360 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31419] ppid=31358 vsize=10849024 memory=3171776 CPUtime=2.24 cores=1,3,5,7
/proc/31361/task/31419/stat : 31419 (java) S 31358 31361 20959 0 -1 1077944384 33633 13351 0 0 190 26 6 2 20 0 15 0 409379099 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515359955184 140515833293442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31420] ppid=31358 vsize=10849024 memory=3171636 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31420/stat : 31420 (java) S 31358 31361 20959 0 -1 1077944384 47 13351 0 0 0 0 6 2 20 0 15 0 409379099 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515290899680 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31421] ppid=31358 vsize=10849024 memory=3171636 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31421/stat : 31421 (java) S 31358 31361 20959 0 -1 1077944384 12 13351 0 0 0 0 6 2 20 0 15 0 409379099 11109400576 792944 33554432000 4194304 4196468 140725031610320 140514619810560 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31422] ppid=31358 vsize=10849024 memory=1212 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31422/stat : 31422 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11109400576 792944 33554432000 4194304 4196468 140725031610320 140514379519952 140515833300891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31423] ppid=31358 vsize=10849024 memory=1036 CPUtime=10.25 cores=1,3,5,7
/proc/31361/task/31423/stat : 31423 (java) S 31358 31361 20959 0 -1 1077944384 68961 13351 0 0 1008 9 6 2 20 0 15 0 409379102 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515257342704 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31424] ppid=31358 vsize=10849024 memory=3171776 CPUtime=9.79 cores=1,3,5,7
/proc/31361/task/31424/stat : 31424 (java) S 31358 31361 20959 0 -1 1077944384 66903 13351 0 0 962 9 6 2 20 0 15 0 409379102 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515256290160 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31425] ppid=31358 vsize=10849024 memory=496 CPUtime=4.45 cores=1,3,5,7
/proc/31361/task/31425/stat : 31425 (java) S 31358 31361 20959 0 -1 1077944384 54467 13351 0 0 428 9 6 2 20 0 15 0 409379102 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515255237104 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31426] ppid=31358 vsize=10849024 memory=3171776 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31426/stat : 31426 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11109400576 792944 33554432000 4194304 4196468 140725031610320 140514345962336 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31427] ppid=31358 vsize=10849024 memory=3171776 CPUtime=1.39 cores=1,3,5,7
/proc/31361/task/31427/stat : 31427 (java) S 31358 31361 20959 0 -1 1077944384 1983 13351 0 0 61 70 6 2 20 0 15 0 409379102 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515254184496 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 3171776 KiB

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

[startup+2352.19 s]
# the end of solver process 31361 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.08 s, system=3.02576 s

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

[startup+2352.11 s]
/proc/loadavg: 1.43 1.38 1.40 3/231 31805
/proc/meminfo: memFree=27667868/32770624 swapFree=67003396/67108860
[pid=31361] ppid=31358 vsize=10849024 memory=3171776 CPUtime=2400 cores=1,3,5,7
/proc/31361/stat : 31361 (java) S 31358 31361 20959 0 -1 1077944320 629039 13351 0 0 239695 297 6 2 20 0 15 0 409379087 11109400576 792944 33554432000 4194304 4196468 140725031610320 140725031592864 140515833282295 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
/proc/31361/statm: 2712256 792944 3636 1 0 2674317 0
[pid=31361/tid=31414] ppid=31358 vsize=10849024 memory=3171776 CPUtime=2341.37 cores=1,3,5,7
/proc/31361/task/31414/stat : 31414 (java) R 31358 31361 20959 0 -1 4202560 295228 13351 0 0 234039 90 6 2 20 0 15 0 409379096 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515805117440 140515449142535 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31415] ppid=31358 vsize=10849024 memory=3171776 CPUtime=7.8 cores=1,3,5,7
/proc/31361/task/31415/stat : 31415 (java) S 31358 31361 20959 0 -1 1077944384 24502 13351 0 0 745 27 6 2 20 0 15 0 409379097 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515837525008 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31416] ppid=31358 vsize=10849024 memory=3171776 CPUtime=7.78 cores=1,3,5,7
/proc/31361/task/31416/stat : 31416 (java) S 31358 31361 20959 0 -1 1077944384 29026 13351 0 0 745 25 6 2 20 0 15 0 409379097 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515407010960 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31417] ppid=31358 vsize=10849024 memory=3171776 CPUtime=7.75 cores=1,3,5,7
/proc/31361/task/31417/stat : 31417 (java) S 31358 31361 20959 0 -1 1077944384 28646 13351 0 0 742 25 6 2 20 0 15 0 409379097 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515405957904 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31418] ppid=31358 vsize=10849024 memory=3171776 CPUtime=7.78 cores=1,3,5,7
/proc/31361/task/31418/stat : 31418 (java) S 31358 31361 20959 0 -1 1077944384 23414 13351 0 0 745 25 6 2 20 0 15 0 409379097 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515404905360 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31419] ppid=31358 vsize=10849024 memory=3171776 CPUtime=2.24 cores=1,3,5,7
/proc/31361/task/31419/stat : 31419 (java) S 31358 31361 20959 0 -1 1077944384 33633 13351 0 0 190 26 6 2 20 0 15 0 409379099 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515359955184 140515833293442 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31420] ppid=31358 vsize=10849024 memory=3171636 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31420/stat : 31420 (java) S 31358 31361 20959 0 -1 1077944384 47 13351 0 0 0 0 6 2 20 0 15 0 409379099 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515290899680 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31421] ppid=31358 vsize=10849024 memory=3171636 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31421/stat : 31421 (java) S 31358 31361 20959 0 -1 1077944384 12 13351 0 0 0 0 6 2 20 0 15 0 409379099 11109400576 792944 33554432000 4194304 4196468 140725031610320 140514619810560 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31422] ppid=31358 vsize=10849024 memory=1212 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31422/stat : 31422 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11109400576 792944 33554432000 4194304 4196468 140725031610320 140514379519952 140515833300891 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31423] ppid=31358 vsize=10849024 memory=1036 CPUtime=10.25 cores=1,3,5,7
/proc/31361/task/31423/stat : 31423 (java) S 31358 31361 20959 0 -1 1077944384 68961 13351 0 0 1008 9 6 2 20 0 15 0 409379102 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515257342704 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31424] ppid=31358 vsize=10849024 memory=3171776 CPUtime=9.79 cores=1,3,5,7
/proc/31361/task/31424/stat : 31424 (java) S 31358 31361 20959 0 -1 1077944384 66903 13351 0 0 962 9 6 2 20 0 15 0 409379102 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515256290160 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31425] ppid=31358 vsize=10849024 memory=496 CPUtime=4.45 cores=1,3,5,7
/proc/31361/task/31425/stat : 31425 (java) S 31358 31361 20959 0 -1 1077944384 54467 13351 0 0 428 9 6 2 20 0 15 0 409379102 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515255237104 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31426] ppid=31358 vsize=10849024 memory=3171776 CPUtime=0.08 cores=1,3,5,7
/proc/31361/task/31426/stat : 31426 (java) S 31358 31361 20959 0 -1 1077944384 3 13351 0 0 0 0 6 2 20 0 15 0 409379102 11109400576 792944 33554432000 4194304 4196468 140725031610320 140514345962336 140515833292501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
[pid=31361/tid=31427] ppid=31358 vsize=10849024 memory=3171776 CPUtime=1.39 cores=1,3,5,7
/proc/31361/task/31427/stat : 31427 (java) S 31358 31361 20959 0 -1 1077944384 1983 13351 0 0 61 70 6 2 20 0 15 0 409379102 11109400576 792944 33554432000 4194304 4196468 140725031610320 140515254184496 140515833293442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140725031615222 140725031617733 140725031617733 140725031620559 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 10849024 KiB
Current children cumulated memory: 3171776 KiB

Child status: 143
Real time (s): 2352.19
CPU time (s): 2400.1
CPU user time (s): 2397.08
CPU system time (s): 3.02576
CPU usage (%): 102.037
Max. virtual memory (cumulated for all children) (KiB): 10851864
Max. memory (cumulated for all children) (KiB): 3172608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.08
system time used= 3.02576
maximum resident set size= 3176008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 646150
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104696
involuntary context switches= 4158


# summary of solver processes directly reported to runsolver:
#   pid: 31361
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2397.08
#   total CPU system time (s): 3.02576

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1756 second user time and 21.5644 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-13 01:35:55
IDJOB=4392248
IDBENCH=141210
IDSOLVER=2837
FILE ID=node133/4392248-1568331394
RUNJOBID= node133-1568301421-20991
PBS_JOBID= 21701111
Free space on /tmp= 55080 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-08-opt_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392248-1568331394/watcher-4392248-1568331394 -o /tmp/evaluation-result-4392248-1568331394/solver-4392248-1568331394 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568301421-20991 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=106092414 HOME/instance-4392248-1568331394.xml

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

MD5SUM BENCH= edb7fc8f5d274005fc89ddd50225e87c
RANDOM SEED=106092414

node133.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.18
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.18
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.18
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.18
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:        30576320 kB
MemAvailable:   30845656 kB
Buffers:          133272 kB
Cached:           420320 kB
SwapCached:         3524 kB
Active:          1378748 kB
Inactive:         234592 kB
Active(anon):    1083304 kB
Inactive(anon):    16416 kB
Active(file):     295444 kB
Inactive(file):   218176 kB
Unevictable:      110516 kB
Mlocked:          110516 kB
SwapTotal:      67108860 kB
SwapFree:       67003392 kB
Dirty:             35280 kB
Writeback:             0 kB
AnonPages:       1168564 kB
Mapped:            56332 kB
Shmem:             31252 kB
Slab:             171948 kB
SReclaimable:     143104 kB
SUnreclaim:        28844 kB
KernelStack:        3760 kB
PageTables:         8080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2200280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    980992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 55044 MiB
End job on node133 at 2019-09-13 02:15:07