Trace number 4293898

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.8-SuperNG 2018-06-13SAT (TO)22855709 2520.15 2449.56

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test01-0150_c18.xml
MD5SUMdeef1e755c9079fc369bbf159731f616
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18292585
Best CPU time to get the best result obtained on this benchmark2058.63
Satisfiable
(Un)Satisfiability was proved
Number of variables2328
Number of constraints1459
Number of domains42
Minimum domain size2
Maximum domain size151
Distribution of domain sizes[{"size":2,"count":826},{"size":11,"count":676},{"size":12,"count":1},{"size":21,"count":68},{"size":57,"count":16},{"size":61,"count":10},{"size":67,"count":17},{"size":69,"count":10},{"size":77,"count":22},{"size":79,"count":2},{"size":81,"count":11},{"size":84,"count":3},{"size":99,"count":10},{"size":102,"count":17},{"size":104,"count":3},{"size":106,"count":17},{"size":114,"count":2},{"size":116,"count":14},{"size":117,"count":77},{"size":121,"count":12},{"size":125,"count":11},{"size":128,"count":8},{"size":129,"count":4},{"size":131,"count":118},{"size":133,"count":17},{"size":136,"count":68},{"size":138,"count":7},{"size":139,"count":11},{"size":141,"count":78},{"size":143,"count":11},{"size":144,"count":5},{"size":146,"count":98},{"size":148,"count":12},{"size":151,"count":66}]
Minimum variable degree2
Maximum variable degree677
Distribution of variable degrees[{"degree":2,"count":2027},{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":12},{"degree":6,"count":22},{"degree":7,"count":33},{"degree":8,"count":30},{"degree":9,"count":30},{"degree":10,"count":30},{"degree":11,"count":34},{"degree":12,"count":37},{"degree":13,"count":48},{"degree":14,"count":15},{"degree":677,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}]
Number of extensional constraints676
Number of intensional constraints783
Distribution of constraint types[{"type":"extension","count":676},{"type":"intension","count":783}]
Optimization problemYES
Type of objectivemin SUM

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.74	c Concrete v3.8.1528841891564 running
46.29/26.98	o 22855711
46.59/27.08	o 22855710
46.85/27.12	o 22855709
2520.06/2449.51	Exception in thread "main" java.util.concurrent.TimeoutException
2520.06/2449.51		at concrete.MAC.mac(MAC.scala:188)
2520.06/2449.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.06/2449.51		at scala.util.Try$.apply(Try.scala:209)
2520.06/2449.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.06/2449.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.06/2449.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.06/2449.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.06/2449.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.06/2449.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.06/2449.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.06/2449.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.06/2449.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.06/2449.51		at concrete.MAC.oneRun(MAC.scala:253)
2520.06/2449.51		at concrete.MAC.nextSolution(MAC.scala:272)
2520.06/2449.51		at concrete.MAC.nextSolution(MAC.scala:355)
2520.06/2449.51		at concrete.Solver.hasNext(Solver.scala:166)
2520.06/2449.51		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.06/2449.51		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.06/2449.51		at concrete.Solver.foreach(Solver.scala:68)
2520.06/2449.51		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.06/2449.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.06/2449.51		at scala.util.Success.map(Try.scala:209)
2520.06/2449.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.06/2449.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.06/2449.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.06/2449.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.06/2449.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.06/2449.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.06/2449.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.06/2449.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.06/2449.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.06/2449.51		at scala.collection.immutable.List.foreach(List.scala:389)
2520.06/2449.51		at scala.App.main(App.scala:76)
2520.06/2449.51		at scala.App.main$(App.scala:74)
2520.06/2449.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.06/2449.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.06/2449.52	v <instantiation cost="22855709">
2520.06/2449.52	v       <list>
2520.06/2449.52	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674]
2520.06/2449.52	v       </list>
2520.06/2449.52	v       <values>
2520.06/2449.52	v         2620 2720 2456 2348 2476 2580 2140 2416 2700 2620 2516 2604 2140 2588 2120 2220 2604 2636 2136 2660 2676 2700 2416 2660 2256 2180 2584 2180 2660 2608 2140 2572 2660 2648 2720 2524 2180 2180 2516 2180 2540 2568 2632 2220 2184 2220 2452 2188 2628 2436 2684 2376 2632 2540 2296 2680 2672 2180 2336 2176 2528 2624 2668 2148 2660 2612 2216 2660 2160 2308 2656 2700 2688 2628 2700 2180 2400 2208 2696 2180 2408 2620 2256 2168 2476 2520 2180 2556 2624 2488 2664 2564 2660 2568 2448 2568 2644 2140 2440 2368 2220 2632 2596 2696 2412 2660 2428 2188 2620 2644 2700 2220 2544 2680 2140 2584 2312 2620 2640 2216 2144 2528 2644 2660 2180 2680 2244 2700 2660 2632 2636 2284 2500 2660 2148 2656 2160 2672 2700 2388 2120 2220 2376 2672 2180 2496 2672 2352 2560 2660 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 2 1 1 0 0 1 0 0 4 0 0 2 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 4 1 1 0 0 0 4 0 4 0 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 2 0 3 0 0 0 0 0 4 0 0 0 0 0 1 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 4 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 3 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 4 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 1 0 0 80 80 64 472 80 64 172 204 584 60 540 136 92 540 52 308 292 600 224 204 264 308 172 216 128 208 168 312 64 108 256 180 192 148 156 84 184 400 40 52 360 128 32 400 324 168 80 384 44 80 40 260 428 560 540 144 80 212 100 188 296 156 244 36 120 236 284 244 40 116 160 264 520 364 224 480 456 68 44 16 80 404 312 68 440 440 40 16 472 52 124 296 380 336 368 348 28 148 204 184 56 44 68 20 56 84 176 96 276 376 492 532 36 560 548 260 556 268 484 532 332 72 72 72 60 580 292 560 100 36 80 320 44 480 40 376 440 64 100 72 424 116 416 40 156 56 28 456 496 324 44 172 80 8 252 136 452 496 108 8 120 56 148 44 24 520 364 552 492 292 80 532 36 80 56 40 540 216 124 196 72 148 244 152 244 132 256 80 144 120 36 96 248 40 76 36 404 444 428 360 448 296 520 404 64 456 492 404 68 404 40 340 84 72 116 208 88 392 128 388 40 188 32 380 88 136 36 104 472 40 80 52 92 428 400 24 180 24 108 460 376 44 560 68 480 520 308 428 540 496 392 352 108 356 128 72 452 120 324 36 40 124 20 80 200 208 4 8 24 536 504 60 580 292 580 84 436 600 160 148 96 176 376 444 520 320 336 492 452 516 248 364 40 464 456 340 108 368 40 128 156 40 448 516 464 40 36 480 452 492 144 12 360 104 320 140 120 120 160 384 388 192 72 424 88 24 472 40 412 36 440 408 476 188 400 40 480 480 452 428 504 512 440 384 496 464 88 188 344 148 400 452 276 84 192 272 220 496 8 472 120 8 456 468 28 100 40 484 68 260 216 108 220 224 308 508 468 4 284 208 40 24 196 284 168 100 284 284 464 156 492 28 324 160 332 120 100 360 372 364 88 144 376 532 68 424 500 96 48 272 52 196 232 52 532 88 112 520 296 440 440 352 292 156 284 284 308 324 336 272 192 252 100 172 128 40 68 132 388 132 32 72 404 36 256 448 316 160 108 492 0 508 240 520 36 116 540 440 452 44 404 452 60 432 48 404 248 16 132 512 308 248 504 472 228 20 192 132 88 352 160 364 36 440 512 520 492 80 68 44 28 220 440 484 32 468 300 388 220 464 404 172 164 260 260 348 448 440 556 64 548 416 40 480 224 252 136 152 100 56 52 24 60 232 52 264 364 404 476 492 452 48 220 492 156 120 64 48 232 48 380 236 140 464 440 480 68 116 128 80 36 312 16 36 444 340 404 36 172 132 344 308 444 36 352 164 8 544 132 72 188 4 324 408 192 96 80 212 208 128 92 132 204 276 28 16 300 228 560 504 20 560 40 220 252 260 232 228 264 188 476 412 416 436 100 452 452 184 456 312 152 548 308 576 232 288 272 252 192 308 244 448 96 460 24 464 36 456 552 40 440 452 132 16 364 396 384 128 152 212 60 208 348 324 388 120 52 96 244 516 56 84 4 60 396 20 428 416 24 272 284 280 72 20 160 172 60 512 524 28 552 204 132 480 112
2520.06/2449.52	v       </values>
2520.06/2449.52	v     </instantiation>
2520.06/2449.52	s SATISFIABLE

Verifier Data 

OK	22855709

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293898-1532384858/watcher-4293898-1532384858 -o /tmp/evaluation-result-4293898-1532384858/solver-4293898-1532384858 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17304 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1647571030 -superng HOME/instance-4293898-1532384858.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
solver pid=19801, runsolver pid=19798
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 1.75 1.46 1.43 3/206 19858
/proc/meminfo: memFree=26606144/32770624 swapFree=67108860/67108860
[pid=19801] ppid=19798 vsize=9972712 memory=16812 CPUtime=0.08 cores=0,2,4,6
/proc/19801/stat : 19801 (java) S 19798 19801 17273 0 -1 1077944320 4328 13297 0 0 1 0 5 2 20 0 6 0 56049040 10212057088 4203 33554432000 4194304 4196468 140724647950192 140724647932736 140391553732343 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
/proc/19801/statm: 2493178 4203 1934 1 0 2481616 0
[pid=19801/tid=19854] ppid=19798 vsize=9972712 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/19801/task/19854/stat : 19854 (java) R 19798 19801 17273 0 -1 4202560 2155 13297 0 0 1 0 5 2 20 0 6 0 56049049 10212057088 4203 33554432000 4194304 4196468 140724647950192 140391525569104 140391539414869 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19855] ppid=19798 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19855/stat : 19855 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 6 0 56049050 10212057088 4203 33554432000 4194304 4196468 140724647950192 140391557975056 140391553742549 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19856] ppid=19798 vsize=9972712 memory=139818990818944 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19856/stat : 19856 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 6 0 56049050 10212057088 4203 33554432000 4194304 4196468 140724647950192 140391476726928 140391553742549 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19857] ppid=19798 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19857/stat : 19857 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 6 0 56049050 10212057088 4203 33554432000 4194304 4196468 140724647950192 140391125801744 140391553742549 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19858] ppid=19798 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19858/stat : 19858 (java) S 19798 19801 17273 0 -1 1077944384 2 13297 0 0 0 0 5 2 20 0 6 0 56049050 10212057088 4203 33554432000 4194304 4196468 140724647950192 140391124749200 140391553742549 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB

[startup+0.210262 s]*
/proc/loadavg: 1.75 1.46 1.43 3/215 19867
/proc/meminfo: memFree=26583308/32770624 swapFree=67108860/67108860
[pid=19801] ppid=19798 vsize=10821524 memory=44940 CPUtime=0.25 cores=0,2,4,6
/proc/19801/stat : 19801 (java) S 19798 19801 17273 0 -1 1077944320 8767 13297 0 0 16 2 5 2 20 0 15 0 56049040 11081240576 11499 33554432000 4194304 4196468 140724647950192 140724647932736 140391553732343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
/proc/19801/statm: 2705381 11499 2952 1 0 2667804 0
[pid=19801/tid=19854] ppid=19798 vsize=10818936 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/19801/task/19854/stat : 19854 (java) R 19798 19801 17273 0 -1 4202560 5573 13297 0 0 10 1 5 2 20 0 15 0 56049049 11078590464 11022 33554432000 4194304 4196468 140724647950192 140391525557152 140391546412061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19855] ppid=19798 vsize=10818936 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19855/stat : 19855 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049050 11078590464 11022 33554432000 4194304 4196468 140724647950192 140391557975056 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19856] ppid=19798 vsize=10818936 memory=288370195142530688 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19856/stat : 19856 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049050 11078590464 11022 33554432000 4194304 4196468 140724647950192 140391476726928 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19857] ppid=19798 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19857/stat : 19857 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049050 11078590464 11088 33554432000 4194304 4196468 140724647950192 140391125801744 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19858] ppid=19798 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19858/stat : 19858 (java) S 19798 19801 17273 0 -1 1077944384 2 13297 0 0 0 0 5 2 20 0 15 0 56049050 11078590464 11088 33554432000 4194304 4196468 140724647950192 140391124749200 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19859] ppid=19798 vsize=10818936 memory=139818990818944 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19859/stat : 19859 (java) S 19798 19801 17273 0 -1 1077944384 2 13297 0 0 0 0 5 2 20 0 15 0 56049051 11078590464 11088 33554432000 4194304 4196468 140724647950192 140390825502960 140391553743490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19860] ppid=19798 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19860/stat : 19860 (java) S 19798 19801 17273 0 -1 1077944384 13 13297 0 0 0 0 5 2 20 0 15 0 56049052 11078590464 11088 33554432000 4194304 4196468 140724647950192 140390535521440 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19861] ppid=19798 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19861/stat : 19861 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049052 11078590464 11088 33554432000 4194304 4196468 140724647950192 140390334194416 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19862] ppid=19798 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19862/stat : 19862 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11078590464 11154 33554432000 4194304 4196468 140724647950192 140390093903824 140391553750939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19863] ppid=19798 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19801/task/19863/stat : 19863 (java) S 19798 19801 17273 0 -1 1077944384 542 13297 0 0 1 0 5 2 20 0 15 0 56049055 11078590464 11154 33554432000 4194304 4196468 140724647950192 140390824450800 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19864] ppid=19798 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19864/stat : 19864 (java) S 19798 19801 17273 0 -1 1077944384 53 13297 0 0 0 0 5 2 20 0 15 0 56049055 11078590464 11154 33554432000 4194304 4196468 140724647950192 140390823398256 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19865] ppid=19798 vsize=10818936 memory=139818990818944 CPUtime=0.1 cores=0,2,4,6
/proc/19801/task/19865/stat : 19865 (java) S 19798 19801 17273 0 -1 1077944384 528 13297 0 0 3 0 5 2 20 0 15 0 56049055 11078590464 11220 33554432000 4194304 4196468 140724647950192 140390822345200 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19866] ppid=19798 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19866/stat : 19866 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11078590464 11220 33554432000 4194304 4196468 140724647950192 140390060346208 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19867] ppid=19798 vsize=10818936 memory=139818990818944 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19867/stat : 19867 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049055 11078590464 11220 33554432000 4194304 4196468 140724647950192 140390821292592 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 44940 KiB

[startup+0.310432 s]*
/proc/loadavg: 1.75 1.46 1.43 3/215 19867
/proc/meminfo: memFree=26570280/32770624 swapFree=67108860/67108860
[pid=19801] ppid=19798 vsize=10819352 memory=54288 CPUtime=0.38 cores=0,2,4,6
/proc/19801/stat : 19801 (java) S 19798 19801 17273 0 -1 1077944320 10624 13297 0 0 28 3 5 2 20 0 15 0 56049040 11079016448 13572 33554432000 4194304 4196468 140724647950192 140724647932736 140391553732343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
/proc/19801/statm: 2704838 13572 3090 1 0 2667149 0
[pid=19801/tid=19854] ppid=19798 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/19801/task/19854/stat : 19854 (java) R 19798 19801 17273 0 -1 4202560 7278 13297 0 0 19 1 5 2 20 0 15 0 56049049 11079016448 13572 33554432000 4194304 4196468 140724647950192 140391525521872 140391553754269 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19855] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19855/stat : 19855 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049050 11079016448 13572 33554432000 4194304 4196468 140724647950192 140391557975056 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19856] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19856/stat : 19856 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049050 11079016448 13572 33554432000 4194304 4196468 140724647950192 140391476726928 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19857] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19857/stat : 19857 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049050 11079016448 13572 33554432000 4194304 4196468 140724647950192 140391125801744 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19858] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19858/stat : 19858 (java) S 19798 19801 17273 0 -1 1077944384 2 13297 0 0 0 0 5 2 20 0 15 0 56049050 11079016448 13572 33554432000 4194304 4196468 140724647950192 140391124749200 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19859] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19859/stat : 19859 (java) S 19798 19801 17273 0 -1 1077944384 2 13297 0 0 0 0 5 2 20 0 15 0 56049051 11079016448 13572 33554432000 4194304 4196468 140724647950192 140390825502960 140391553743490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19860] ppid=19798 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19860/stat : 19860 (java) S 19798 19801 17273 0 -1 1077944384 13 13297 0 0 0 0 5 2 20 0 15 0 56049052 11079016448 13572 33554432000 4194304 4196468 140724647950192 140390535521440 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19861] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19861/stat : 19861 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049052 11079016448 13572 33554432000 4194304 4196468 140724647950192 140390334194416 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19862] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19862/stat : 19862 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11079016448 13572 33554432000 4194304 4196468 140724647950192 140390093903824 140391553750939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19863] ppid=19798 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19801/task/19863/stat : 19863 (java) S 19798 19801 17273 0 -1 1077944384 542 13297 0 0 1 0 5 2 20 0 15 0 56049055 11079016448 13572 33554432000 4194304 4196468 140724647950192 140390824450800 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19864] ppid=19798 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19801/task/19864/stat : 19864 (java) S 19798 19801 17273 0 -1 1077944384 54 13297 0 0 1 0 5 2 20 0 15 0 56049055 11079016448 13572 33554432000 4194304 4196468 140724647950192 140390823398256 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19865] ppid=19798 vsize=10819352 memory=139818990818944 CPUtime=0.11 cores=0,2,4,6
/proc/19801/task/19865/stat : 19865 (java) R 19798 19801 17273 0 -1 4202560 539 13297 0 0 4 0 5 2 20 0 15 0 56049055 11079016448 13572 33554432000 4194304 4196468 140724647950192 140390822345200 140391532651236 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19866] ppid=19798 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19866/stat : 19866 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11079016448 13572 33554432000 4194304 4196468 140724647950192 140390060346208 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19867] ppid=19798 vsize=10819352 memory=139818990818944 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19867/stat : 19867 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049055 11079016448 13572 33554432000 4194304 4196468 140724647950192 140390821292592 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54288 KiB

[startup+0.700685 s]
/proc/loadavg: 1.75 1.46 1.43 3/215 19867
/proc/meminfo: memFree=26560732/32770624 swapFree=67108860/67108860
[pid=19801] ppid=19798 vsize=10819352 memory=86380 CPUtime=0.98 cores=0,2,4,6
/proc/19801/stat : 19801 (java) S 19798 19801 17273 0 -1 1077944320 16760 13297 0 0 86 5 5 2 20 0 15 0 56049040 11079016448 21595 33554432000 4194304 4196468 140724647950192 140724647932736 140391553732343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
/proc/19801/statm: 2704838 21595 3237 1 0 2667149 0
[pid=19801/tid=19854] ppid=19798 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/19801/task/19854/stat : 19854 (java) R 19798 19801 17273 0 -1 4202560 12349 13297 0 0 55 3 5 2 20 0 15 0 56049049 11079016448 21595 33554432000 4194304 4196468 140724647950192 140391525553168 140391553754269 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19855] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19855/stat : 19855 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049050 11079016448 21595 33554432000 4194304 4196468 140724647950192 140391557975056 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19856] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19856/stat : 19856 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049050 11079016448 21595 33554432000 4194304 4196468 140724647950192 140391476726928 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19857] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19857/stat : 19857 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049050 11079016448 21595 33554432000 4194304 4196468 140724647950192 140391125801744 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19858] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19858/stat : 19858 (java) S 19798 19801 17273 0 -1 1077944384 2 13297 0 0 0 0 5 2 20 0 15 0 56049050 11079016448 21595 33554432000 4194304 4196468 140724647950192 140391124749200 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19859] ppid=19798 vsize=10819352 memory=6935649255861544529 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19859/stat : 19859 (java) S 19798 19801 17273 0 -1 1077944384 5 13297 0 0 0 0 5 2 20 0 15 0 56049051 11079016448 21595 33554432000 4194304 4196468 140724647950192 140390825502960 140391553743490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19860] ppid=19798 vsize=10819352 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19860/stat : 19860 (java) S 19798 19801 17273 0 -1 1077944384 13 13297 0 0 0 0 5 2 20 0 15 0 56049052 11079016448 21595 33554432000 4194304 4196468 140724647950192 140390535521440 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19861] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19861/stat : 19861 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049052 11079016448 21595 33554432000 4194304 4196468 140724647950192 140390334194416 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19862] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19862/stat : 19862 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11079016448 21595 33554432000 4194304 4196468 140724647950192 140390093903824 140391553750939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19863] ppid=19798 vsize=10819352 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/19801/task/19863/stat : 19863 (java) S 19798 19801 17273 0 -1 1077944384 897 13297 0 0 7 0 5 2 20 0 15 0 56049055 11079016448 21659 33554432000 4194304 4196468 140724647950192 140390824450800 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19864] ppid=19798 vsize=10819352 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/19801/task/19864/stat : 19864 (java) S 19798 19801 17273 0 -1 1077944384 686 13297 0 0 9 0 5 2 20 0 15 0 56049055 11079016448 21659 33554432000 4194304 4196468 140724647950192 140390823398256 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19865] ppid=19798 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/19801/task/19865/stat : 19865 (java) R 19798 19801 17273 0 -1 4202560 606 13297 0 0 13 0 5 2 20 0 15 0 56049055 11079016448 21659 33554432000 4194304 4196468 140724647950192 140390822345200 140391553744278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19866] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19866/stat : 19866 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11079016448 21659 33554432000 4194304 4196468 140724647950192 140390060346208 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19867] ppid=19798 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19867/stat : 19867 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049055 11079016448 21659 33554432000 4194304 4196468 140724647950192 140390821292592 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86380 KiB

[startup+1.50143 s]
/proc/loadavg: 1.75 1.46 1.43 6/215 19867
/proc/meminfo: memFree=26514400/32770624 swapFree=67108860/67108860
[pid=19801] ppid=19798 vsize=10828108 memory=313028 CPUtime=3.01 cores=0,2,4,6
/proc/19801/stat : 19801 (java) S 19798 19801 17273 0 -1 1077944320 23113 13297 0 0 273 21 5 2 20 0 15 0 56049040 11087982592 78257 33554432000 4194304 4196468 140724647950192 140724647932736 140391553732343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
/proc/19801/statm: 2707027 78257 3468 1 0 2668685 0
[pid=19801/tid=19854] ppid=19798 vsize=10828108 memory=4951091520830867572 CPUtime=1.39 cores=0,2,4,6
/proc/19801/task/19854/stat : 19854 (java) R 19798 19801 17273 0 -1 4202560 15127 13297 0 0 126 6 5 2 20 0 15 0 56049049 11087982592 78257 33554432000 4194304 4196468 140724647950192 140391525563872 140391160876949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19855] ppid=19798 vsize=10828108 memory=4134606225630022328 CPUtime=0.11 cores=0,2,4,6
/proc/19801/task/19855/stat : 19855 (java) S 19798 19801 17273 0 -1 1077944384 48 13297 0 0 2 2 5 2 20 0 15 0 56049050 11087982592 78257 33554432000 4194304 4196468 140724647950192 140391557975056 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19856] ppid=19798 vsize=10828108 memory=-5153075247754915967 CPUtime=0.11 cores=0,2,4,6
/proc/19801/task/19856/stat : 19856 (java) S 19798 19801 17273 0 -1 1077944384 264 13297 0 0 2 2 5 2 20 0 15 0 56049050 11087982592 78257 33554432000 4194304 4196468 140724647950192 140391476726928 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19857] ppid=19798 vsize=10828108 memory=7752263556111562034 CPUtime=0.11 cores=0,2,4,6
/proc/19801/task/19857/stat : 19857 (java) S 19798 19801 17273 0 -1 1077944384 134 13297 0 0 2 2 5 2 20 0 15 0 56049050 11087982592 78257 33554432000 4194304 4196468 140724647950192 140391125801744 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19858] ppid=19798 vsize=10828108 memory=146300 CPUtime=0.11 cores=0,2,4,6
/proc/19801/task/19858/stat : 19858 (java) S 19798 19801 17273 0 -1 1077944384 53 13297 0 0 2 2 5 2 20 0 15 0 56049050 11087982592 78257 33554432000 4194304 4196468 140724647950192 140391124749200 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19859] ppid=19798 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19859/stat : 19859 (java) S 19798 19801 17273 0 -1 1077944384 96 13297 0 0 0 0 5 2 20 0 15 0 56049051 11087982592 78257 33554432000 4194304 4196468 140724647950192 140390825502960 140391553743490 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19860] ppid=19798 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19860/stat : 19860 (java) S 19798 19801 17273 0 -1 1077944384 15 13297 0 0 0 0 5 2 20 0 15 0 56049052 11087982592 78257 33554432000 4194304 4196468 140724647950192 140390535521440 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19861] ppid=19798 vsize=10828108 memory=279637670297888 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19861/stat : 19861 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049052 11087982592 78257 33554432000 4194304 4196468 140724647950192 140390334194416 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19862] ppid=19798 vsize=10828108 memory=279637670712832 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19862/stat : 19862 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11087982592 78257 33554432000 4194304 4196468 140724647950192 140390093903824 140391553750939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19863] ppid=19798 vsize=10828108 memory=139818835158656 CPUtime=0.51 cores=0,2,4,6
/proc/19801/task/19863/stat : 19863 (java) R 19798 19801 17273 0 -1 4202560 1616 13297 0 0 44 0 5 2 20 0 15 0 56049055 11087982592 78257 33554432000 4194304 4196468 140724647950192 140390824431312 140391539746644 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19864] ppid=19798 vsize=10828108 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/19801/task/19864/stat : 19864 (java) R 19798 19801 17273 0 -1 4202560 2253 13297 0 0 49 1 5 2 20 0 15 0 56049055 11087982592 78257 33554432000 4194304 4196468 140724647950192 140390823376672 140391537117132 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19865] ppid=19798 vsize=10828108 memory=1200 CPUtime=0.49 cores=0,2,4,6
/proc/19801/task/19865/stat : 19865 (java) S 19798 19801 17273 0 -1 1077944384 1306 13297 0 0 41 1 5 2 20 0 15 0 56049055 11087982592 78257 33554432000 4194304 4196468 140724647950192 140390822345200 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19866] ppid=19798 vsize=10828108 memory=15872 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19866/stat : 19866 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11087982592 78257 33554432000 4194304 4196468 140724647950192 140390060346208 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19867] ppid=19798 vsize=10828108 memory=11432 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19867/stat : 19867 (java) S 19798 19801 17273 0 -1 1077944384 1 13297 0 0 0 0 5 2 20 0 15 0 56049055 11087982592 78257 33554432000 4194304 4196468 140724647950192 140390821292592 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 10828108 KiB

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

/proc/19801/task/19854/stat : 19854 (java) R 19798 19801 17273 0 -1 4202560 280369 13297 0 0 236528 72 5 2 20 0 15 0 56049049 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140391525567392 140391166545013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19855] ppid=19798 vsize=10918240 memory=4343564 CPUtime=15.1 cores=0,2,4,6
/proc/19801/task/19855/stat : 19855 (java) S 19798 19801 17273 0 -1 1077944384 36696 13297 0 0 1444 59 5 2 20 0 15 0 56049050 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140391557975056 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19856] ppid=19798 vsize=10918240 memory=4343556 CPUtime=15.11 cores=0,2,4,6
/proc/19801/task/19856/stat : 19856 (java) S 19798 19801 17273 0 -1 1077944384 35379 13297 0 0 1446 58 5 2 20 0 15 0 56049050 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140391476726928 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19857] ppid=19798 vsize=10918240 memory=4343564 CPUtime=15.11 cores=0,2,4,6
/proc/19801/task/19857/stat : 19857 (java) S 19798 19801 17273 0 -1 1077944384 34803 13297 0 0 1447 57 5 2 20 0 15 0 56049050 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140391125801744 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19858] ppid=19798 vsize=10918240 memory=4343564 CPUtime=15.11 cores=0,2,4,6
/proc/19801/task/19858/stat : 19858 (java) S 19798 19801 17273 0 -1 1077944384 46785 13297 0 0 1447 57 5 2 20 0 15 0 56049050 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140391124749200 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19859] ppid=19798 vsize=10918240 memory=4343564 CPUtime=0.73 cores=0,2,4,6
/proc/19801/task/19859/stat : 19859 (java) S 19798 19801 17273 0 -1 1077944384 44869 13297 0 0 59 7 5 2 20 0 15 0 56049051 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140390825502960 140391553743490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19860] ppid=19798 vsize=10918240 memory=4343564 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19860/stat : 19860 (java) S 19798 19801 17273 0 -1 1077944384 20 13297 0 0 0 0 5 2 20 0 15 0 56049052 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140390535521568 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19861] ppid=19798 vsize=10918240 memory=4343564 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19861/stat : 19861 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049052 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140390334194432 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19862] ppid=19798 vsize=10918240 memory=4343564 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19862/stat : 19862 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140390093903824 140391553750939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19863] ppid=19798 vsize=10918240 memory=4343564 CPUtime=10.05 cores=0,2,4,6
/proc/19801/task/19863/stat : 19863 (java) S 19798 19801 17273 0 -1 1077944384 101838 13297 0 0 988 10 5 2 20 0 15 0 56049055 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140390824450800 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19864] ppid=19798 vsize=10918240 memory=4343544 CPUtime=10.76 cores=0,2,4,6
/proc/19801/task/19864/stat : 19864 (java) S 19798 19801 17273 0 -1 1077944384 113790 13297 1 0 1058 11 5 2 20 0 15 0 56049055 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140390823398256 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19865] ppid=19798 vsize=10918240 memory=0 CPUtime=3.69 cores=0,2,4,6
/proc/19801/task/19865/stat : 19865 (java) S 19798 19801 17273 0 -1 1077944384 86369 13297 0 0 352 10 5 2 20 0 15 0 56049055 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140390822345200 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19866] ppid=19798 vsize=10918240 memory=4343556 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19866/stat : 19866 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140390060346208 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19867] ppid=19798 vsize=10918240 memory=4343564 CPUtime=1.33 cores=0,2,4,6
/proc/19801/task/19867/stat : 19867 (java) S 19798 19801 17273 0 -1 1077944384 6603 13297 0 0 64 62 5 2 20 0 15 0 56049055 11180277760 1085891 33554432000 4194304 4196468 140724647950192 140390821292592 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
Current children cumulated CPU time: 2452.53 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 4343564 KiB

[startup+2442.3 s]
/proc/loadavg: 2.03 1.93 1.88 3/215 19989
/proc/meminfo: memFree=19136176/32770624 swapFree=67108860/67108860
[pid=19801] ppid=19798 vsize=10918240 memory=4347684 CPUtime=2512.82 cores=0,2,4,6
/proc/19801/stat : 19801 (java) S 19798 19801 17273 0 -1 1077944320 801939 13297 1 0 250880 395 5 2 20 0 15 0 56049040 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140724647932736 140391553732343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
/proc/19801/statm: 2729560 1086921 3539 1 0 2691213 0
[pid=19801/tid=19854] ppid=19798 vsize=10918240 memory=1004 CPUtime=2426 cores=0,2,4,6
/proc/19801/task/19854/stat : 19854 (java) R 19798 19801 17273 0 -1 4202560 285703 13297 0 0 242520 73 5 2 20 0 15 0 56049049 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391525567632 140391178387883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19855] ppid=19798 vsize=10918240 memory=4347684 CPUtime=15.16 cores=0,2,4,6
/proc/19801/task/19855/stat : 19855 (java) S 19798 19801 17273 0 -1 1077944384 37106 13297 0 0 1450 59 5 2 20 0 15 0 56049050 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391557975056 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19856] ppid=19798 vsize=10918240 memory=4347684 CPUtime=15.16 cores=0,2,4,6
/proc/19801/task/19856/stat : 19856 (java) S 19798 19801 17273 0 -1 1077944384 37609 13297 0 0 1451 58 5 2 20 0 15 0 56049050 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391476726928 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19857] ppid=19798 vsize=10918240 memory=4347684 CPUtime=15.17 cores=0,2,4,6
/proc/19801/task/19857/stat : 19857 (java) S 19798 19801 17273 0 -1 1077944384 35477 13297 0 0 1453 57 5 2 20 0 15 0 56049050 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391125801744 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19858] ppid=19798 vsize=10918240 memory=4347684 CPUtime=15.16 cores=0,2,4,6
/proc/19801/task/19858/stat : 19858 (java) S 19798 19801 17273 0 -1 1077944384 47468 13297 0 0 1452 57 5 2 20 0 15 0 56049050 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391124749200 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19859] ppid=19798 vsize=10918240 memory=4347684 CPUtime=0.74 cores=0,2,4,6
/proc/19801/task/19859/stat : 19859 (java) S 19798 19801 17273 0 -1 1077944384 45183 13297 0 0 60 7 5 2 20 0 15 0 56049051 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390825502960 140391553743490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19860] ppid=19798 vsize=10918240 memory=4347684 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19860/stat : 19860 (java) S 19798 19801 17273 0 -1 1077944384 20 13297 0 0 0 0 5 2 20 0 15 0 56049052 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390535521568 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19861] ppid=19798 vsize=10918240 memory=4347684 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19861/stat : 19861 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049052 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390334194432 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19862] ppid=19798 vsize=10918240 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19862/stat : 19862 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390093903824 140391553750939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19863] ppid=19798 vsize=10918240 memory=15872 CPUtime=10.08 cores=0,2,4,6
/proc/19801/task/19863/stat : 19863 (java) S 19798 19801 17273 0 -1 1077944384 103426 13297 0 0 991 10 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390824450800 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19864] ppid=19798 vsize=10918240 memory=4347684 CPUtime=10.79 cores=0,2,4,6
/proc/19801/task/19864/stat : 19864 (java) S 19798 19801 17273 0 -1 1077944384 114649 13297 1 0 1061 11 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390823398256 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19865] ppid=19798 vsize=10918240 memory=4347684 CPUtime=3.71 cores=0,2,4,6
/proc/19801/task/19865/stat : 19865 (java) S 19798 19801 17273 0 -1 1077944384 86455 13297 0 0 354 10 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390822345200 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19866] ppid=19798 vsize=10918240 memory=4347684 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19866/stat : 19866 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390060346208 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19867] ppid=19798 vsize=10918240 memory=4347684 CPUtime=1.37 cores=0,2,4,6
/proc/19801/task/19867/stat : 19867 (java) S 19798 19801 17273 0 -1 1077944384 6643 13297 0 0 66 64 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390821292592 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
Current children cumulated CPU time: 2512.82 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 4347684 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2449.5 s]
/proc/loadavg: 1.95 1.91 1.87 3/215 19989
/proc/meminfo: memFree=19166472/32770624 swapFree=67108860/67108860
[pid=19801] ppid=19798 vsize=10918240 memory=4347684 CPUtime=2520.06 cores=0,2,4,6
/proc/19801/stat : 19801 (java) S 19798 19801 17273 0 -1 1077944320 802687 13297 1 0 251604 395 5 2 20 0 15 0 56049040 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140724647932736 140391553732343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
/proc/19801/statm: 2729560 1086921 3539 1 0 2691213 0
[pid=19801/tid=19854] ppid=19798 vsize=10918240 memory=4347684 CPUtime=2433.19 cores=0,2,4,6
/proc/19801/task/19854/stat : 19854 (java) R 19798 19801 17273 0 -1 4202560 286422 13297 0 0 243239 73 5 2 20 0 15 0 56049049 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391525566944 140391180168106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19855] ppid=19798 vsize=10918240 memory=4347684 CPUtime=15.17 cores=0,2,4,6
/proc/19801/task/19855/stat : 19855 (java) S 19798 19801 17273 0 -1 1077944384 37107 13297 0 0 1451 59 5 2 20 0 15 0 56049050 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391557975056 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19856] ppid=19798 vsize=10918240 memory=4347684 CPUtime=15.17 cores=0,2,4,6
/proc/19801/task/19856/stat : 19856 (java) S 19798 19801 17273 0 -1 1077944384 37609 13297 0 0 1452 58 5 2 20 0 15 0 56049050 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391476726928 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19857] ppid=19798 vsize=10918240 memory=4347684 CPUtime=15.18 cores=0,2,4,6
/proc/19801/task/19857/stat : 19857 (java) S 19798 19801 17273 0 -1 1077944384 35477 13297 0 0 1454 57 5 2 20 0 15 0 56049050 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391125801744 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19858] ppid=19798 vsize=10918240 memory=4347684 CPUtime=15.17 cores=0,2,4,6
/proc/19801/task/19858/stat : 19858 (java) S 19798 19801 17273 0 -1 1077944384 47472 13297 0 0 1453 57 5 2 20 0 15 0 56049050 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391124749200 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19859] ppid=19798 vsize=10918240 memory=4347684 CPUtime=0.74 cores=0,2,4,6
/proc/19801/task/19859/stat : 19859 (java) S 19798 19801 17273 0 -1 1077944384 45190 13297 0 0 60 7 5 2 20 0 15 0 56049051 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390825502960 140391553743490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19860] ppid=19798 vsize=10918240 memory=4347684 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19860/stat : 19860 (java) S 19798 19801 17273 0 -1 1077944384 20 13297 0 0 0 0 5 2 20 0 15 0 56049052 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390535521568 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19861] ppid=19798 vsize=10918240 memory=4347684 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19861/stat : 19861 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049052 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390334194432 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19862] ppid=19798 vsize=10918240 memory=4347684 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19862/stat : 19862 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390093903824 140391553750939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19863] ppid=19798 vsize=10918240 memory=4347684 CPUtime=10.08 cores=0,2,4,6
/proc/19801/task/19863/stat : 19863 (java) S 19798 19801 17273 0 -1 1077944384 103426 13297 0 0 991 10 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390824450800 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19864] ppid=19798 vsize=10918240 memory=4347684 CPUtime=10.79 cores=0,2,4,6
/proc/19801/task/19864/stat : 19864 (java) S 19798 19801 17273 0 -1 1077944384 114661 13297 1 0 1061 11 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390823398256 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19865] ppid=19798 vsize=10918240 memory=4347684 CPUtime=3.71 cores=0,2,4,6
/proc/19801/task/19865/stat : 19865 (java) S 19798 19801 17273 0 -1 1077944384 86458 13297 0 0 354 10 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390822345200 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19866] ppid=19798 vsize=10918240 memory=3280 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19866/stat : 19866 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390060346208 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19867] ppid=19798 vsize=10918240 memory=4347684 CPUtime=1.37 cores=0,2,4,6
/proc/19801/task/19867/stat : 19867 (java) S 19798 19801 17273 0 -1 1077944384 6645 13297 0 0 66 64 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390821292592 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 4347684 KiB

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

[startup+2449.56 s]
# the end of solver process 19801 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.12 s, system=4.02273 s

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

[startup+2449.5 s]
/proc/loadavg: 1.95 1.91 1.87 3/215 19989
/proc/meminfo: memFree=19166472/32770624 swapFree=67108860/67108860
[pid=19801] ppid=19798 vsize=10918240 memory=4347684 CPUtime=2520.06 cores=0,2,4,6
/proc/19801/stat : 19801 (java) S 19798 19801 17273 0 -1 1077944320 802687 13297 1 0 251604 395 5 2 20 0 15 0 56049040 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140724647932736 140391553732343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
/proc/19801/statm: 2729560 1086921 3539 1 0 2691213 0
[pid=19801/tid=19854] ppid=19798 vsize=10918240 memory=4347684 CPUtime=2433.19 cores=0,2,4,6
/proc/19801/task/19854/stat : 19854 (java) R 19798 19801 17273 0 -1 4202560 286422 13297 0 0 243239 73 5 2 20 0 15 0 56049049 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391525566944 140391180168106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19855] ppid=19798 vsize=10918240 memory=4347684 CPUtime=15.17 cores=0,2,4,6
/proc/19801/task/19855/stat : 19855 (java) S 19798 19801 17273 0 -1 1077944384 37107 13297 0 0 1451 59 5 2 20 0 15 0 56049050 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391557975056 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19856] ppid=19798 vsize=10918240 memory=4347684 CPUtime=15.17 cores=0,2,4,6
/proc/19801/task/19856/stat : 19856 (java) S 19798 19801 17273 0 -1 1077944384 37609 13297 0 0 1452 58 5 2 20 0 15 0 56049050 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391476726928 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19857] ppid=19798 vsize=10918240 memory=4347684 CPUtime=15.18 cores=0,2,4,6
/proc/19801/task/19857/stat : 19857 (java) S 19798 19801 17273 0 -1 1077944384 35477 13297 0 0 1454 57 5 2 20 0 15 0 56049050 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391125801744 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19858] ppid=19798 vsize=10918240 memory=4347684 CPUtime=15.17 cores=0,2,4,6
/proc/19801/task/19858/stat : 19858 (java) S 19798 19801 17273 0 -1 1077944384 47472 13297 0 0 1453 57 5 2 20 0 15 0 56049050 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140391124749200 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19859] ppid=19798 vsize=10918240 memory=4347684 CPUtime=0.74 cores=0,2,4,6
/proc/19801/task/19859/stat : 19859 (java) S 19798 19801 17273 0 -1 1077944384 45190 13297 0 0 60 7 5 2 20 0 15 0 56049051 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390825502960 140391553743490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19860] ppid=19798 vsize=10918240 memory=4347684 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19860/stat : 19860 (java) S 19798 19801 17273 0 -1 1077944384 20 13297 0 0 0 0 5 2 20 0 15 0 56049052 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390535521568 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19861] ppid=19798 vsize=10918240 memory=4347684 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19861/stat : 19861 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049052 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390334194432 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19862] ppid=19798 vsize=10918240 memory=4347684 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19862/stat : 19862 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390093903824 140391553750939 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19863] ppid=19798 vsize=10918240 memory=4347684 CPUtime=10.08 cores=0,2,4,6
/proc/19801/task/19863/stat : 19863 (java) S 19798 19801 17273 0 -1 1077944384 103426 13297 0 0 991 10 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390824450800 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19864] ppid=19798 vsize=10918240 memory=4347684 CPUtime=10.79 cores=0,2,4,6
/proc/19801/task/19864/stat : 19864 (java) S 19798 19801 17273 0 -1 1077944384 114661 13297 1 0 1061 11 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390823398256 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19865] ppid=19798 vsize=10918240 memory=4347684 CPUtime=3.71 cores=0,2,4,6
/proc/19801/task/19865/stat : 19865 (java) S 19798 19801 17273 0 -1 1077944384 86458 13297 0 0 354 10 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390822345200 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19866] ppid=19798 vsize=10918240 memory=3280 CPUtime=0.07 cores=0,2,4,6
/proc/19801/task/19866/stat : 19866 (java) S 19798 19801 17273 0 -1 1077944384 3 13297 0 0 0 0 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390060346208 140391553742549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
[pid=19801/tid=19867] ppid=19798 vsize=10918240 memory=4347684 CPUtime=1.37 cores=0,2,4,6
/proc/19801/task/19867/stat : 19867 (java) S 19798 19801 17273 0 -1 1077944384 6645 13297 0 0 66 64 5 2 20 0 15 0 56049055 11180277760 1086921 33554432000 4194304 4196468 140724647950192 140390821292592 140391553743490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21327872 140724647954603 140724647957852 140724647957852 140724647960527 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 4347684 KiB

Child status: 143
Real time (s): 2449.56
CPU time (s): 2520.15
CPU user time (s): 2516.12
CPU system time (s): 4.02273
CPU usage (%): 102.882
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 4347684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.12
system time used= 4.02273
maximum resident set size= 4352008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 817986
page faults= 1
swaps= 0
block input operations= 80
block output operations= 3384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73505
involuntary context switches= 3779


# summary of solver processes directly reported to runsolver:
#   pid: 19801
#   total CPU time (s): 2520.15
#   total CPU user time (s): 2516.12
#   total CPU system time (s): 4.02273

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6695 second user time and 23.3842 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-24 00:27:38
IDJOB=4293898
IDBENCH=141259
IDSOLVER=2751
FILE ID=node151/4293898-1532384858
RUNJOBID= node151-1532369950-17304
PBS_JOBID= 21021572
Free space on /tmp= 55000 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test01-0150_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293898-1532384858/watcher-4293898-1532384858 -o /tmp/evaluation-result-4293898-1532384858/solver-4293898-1532384858 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17304 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1647571030 -superng HOME/instance-4293898-1532384858.xml

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

MD5SUM BENCH= deef1e755c9079fc369bbf159731f616
RANDOM SEED=1647571030

node151.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.87
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.87
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.87
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.87
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:        26611660 kB
MemAvailable:   31121488 kB
Buffers:          145180 kB
Cached:          4606484 kB
SwapCached:            0 kB
Active:          1819796 kB
Inactive:        3821628 kB
Active(anon):     840376 kB
Inactive(anon):    69340 kB
Active(file):     979420 kB
Inactive(file):  3752288 kB
Unevictable:        7820 kB
Mlocked:            7820 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             72132 kB
Writeback:             0 kB
AnonPages:        883768 kB
Mapped:            50432 kB
Shmem:             17032 kB
Slab:             216080 kB
SReclaimable:     187912 kB
SUnreclaim:        28168 kB
KernelStack:        3808 kB
PageTables:         6980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2272432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    714752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54976 MiB
End job on node151 at 2018-07-24 01:08:28