Trace number 4304421

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)18333277 2520.1 2465.36

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.99/0.74	c Concrete v3.9.2.1532736233296 running
45.08/25.74	o 18340009
45.95/26.23	o 18333288
45.95/26.27	o 18333287
46.25/26.30	o 18333286
46.25/26.33	o 18333284
80.46/59.00	o 18333283
80.66/59.03	o 18333282
80.66/59.06	o 18333281
80.66/59.11	o 18333280
80.86/59.17	o 18333279
81.00/59.23	o 18333278
81.30/59.56	o 18333277
2520.04/2465.30	Exception in thread "main" java.util.concurrent.TimeoutException
2520.04/2465.31		at concrete.MAC.mac(MAC.scala:188)
2520.04/2465.31		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.04/2465.31		at scala.util.Try$.apply(Try.scala:209)
2520.04/2465.31		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.04/2465.31		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.04/2465.31		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.04/2465.31		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.04/2465.31		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.04/2465.31		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.04/2465.31		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.04/2465.31		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.04/2465.31		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.04/2465.31		at concrete.MAC.oneRun(MAC.scala:253)
2520.04/2465.31		at concrete.MAC.nextSolution(MAC.scala:272)
2520.04/2465.31		at concrete.MAC.nextSolution(MAC.scala:355)
2520.04/2465.31		at concrete.Solver.hasNext(Solver.scala:166)
2520.04/2465.31		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.04/2465.31		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.04/2465.31		at concrete.Solver.foreach(Solver.scala:68)
2520.04/2465.31		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.04/2465.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.04/2465.31		at scala.util.Success.map(Try.scala:209)
2520.04/2465.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.04/2465.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.04/2465.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.04/2465.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.04/2465.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.04/2465.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.04/2465.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.04/2465.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.04/2465.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.04/2465.31		at scala.collection.immutable.List.foreach(List.scala:389)
2520.04/2465.31		at scala.App.main(App.scala:76)
2520.04/2465.31		at scala.App.main$(App.scala:74)
2520.04/2465.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.04/2465.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.04/2465.32	v <instantiation cost="18333277">
2520.04/2465.32	v       <list>
2520.04/2465.32	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.04/2465.32	v       </list>
2520.04/2465.32	v       <values>
2520.04/2465.32	v         2624 2720 2452 2308 2440 2636 2148 2424 2700 2628 2504 2604 2180 2640 2120 2264 2440 2660 2120 2664 2700 2700 2412 2700 2160 2188 2580 2224 2656 2620 2152 2560 2668 2660 2720 2512 2188 2204 2480 2200 2564 2572 2660 2240 2120 2244 2376 2188 2680 2480 2688 2452 2632 2596 2296 2680 2700 2216 2336 2160 2532 2620 2644 2388 2660 2600 2200 2660 2160 2268 2660 2700 2700 2684 2660 2236 2452 2184 2700 2192 2536 2620 2240 2144 2520 2548 2140 2544 2640 2484 2660 2552 2660 2580 2524 2600 2400 2176 2492 2576 2196 2644 2644 2708 2416 2700 2404 2348 2632 2644 2696 2220 2620 2700 2164 2600 2288 2620 2660 2200 2160 2560 2648 2660 2180 2680 2224 2660 2672 2668 2604 2184 2524 2660 2148 2668 2160 2684 2620 2364 2120 2228 2384 2672 2204 2492 2628 2328 2588 2660 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 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 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 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 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 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 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 1 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 3 0 0 0 0 0 1 0 1 0 0 0 1 0 3 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 2 1 0 0 0 0 1 0 2 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 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 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 1 1 0 0 1 0 1 1 2 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 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 1 3 0 0 1 0 0 0 0 0 0 0 3 0 0 1 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 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 3 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 0 0 0 0 0 1 0 0 0 3 2 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 1 0 0 3 0 1 0 0 0 0 1 0 0 3 0 0 0 0 0 1 0 1 0 3 0 0 0 1 0 3 0 0 1 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 3 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 76 76 64 236 76 80 100 216 600 20 532 140 40 504 76 304 316 600 228 212 268 64 268 220 132 156 116 392 124 140 196 144 204 200 228 148 220 432 72 24 396 260 36 400 396 220 116 364 28 96 68 304 432 548 552 36 80 180 80 180 304 136 244 48 128 188 272 236 36 120 136 220 484 364 180 504 476 32 32 24 64 428 360 72 436 488 32 24 480 56 136 240 384 316 116 360 20 72 216 156 52 56 96 16 56 56 200 56 232 300 452 520 20 520 520 272 520 356 460 504 480 16 20 20 68 540 296 580 108 104 112 332 104 436 124 380 436 80 144 260 216 280 252 112 84 260 228 456 496 372 68 148 80 40 244 152 480 512 128 56 156 80 140 32 80 500 364 312 516 164 80 556 40 68 56 28 540 220 184 188 72 140 248 188 260 228 272 80 220 104 80 148 284 80 76 36 500 460 432 408 496 332 508 412 36 416 440 356 100 380 60 356 56 88 40 196 48 336 44 356 48 352 76 364 96 144 36 112 308 48 88 40 40 384 436 24 216 48 96 472 328 32 508 32 468 508 372 448 548 452 360 320 120 360 100 88 440 72 332 28 36 148 24 80 136 168 12 8 24 600 520 60 544 316 556 116 536 600 176 188 120 148 364 432 472 336 276 496 440 504 200 416 40 444 400 320 140 92 40 168 192 44 480 508 444 20 40 472 468 472 124 32 424 164 344 136 108 96 56 452 356 188 80 476 40 8 500 24 432 120 420 444 460 296 380 100 456 380 432 480 580 580 520 460 560 444 24 292 308 332 376 428 248 200 272 196 252 500 28 472 80 48 460 480 28 148 36 520 92 228 260 140 280 180 236 528 488 12 236 168 288 28 236 208 268 68 248 208 488 112 468 28 396 64 412 64 104 392 348 364 112 196 376 292 80 440 540 80 80 248 80 180 208 68 536 100 112 444 304 416 404 364 348 196 296 284 312 324 336 364 416 244 152 128 80 68 112 168 368 128 40 80 424 80 228 424 316 120 148 272 240 280 24 484 48 40 540 432 440 60 416 440 84 396 56 432 244 16 100 512 332 376 500 508 204 44 168 224 72 432 120 360 28 460 500 464 516 68 80 52 40 148 336 524 12 524 208 372 216 164 364 92 100 248 288 360 484 460 524 32 552 452 28 480 108 164 84 52 72 68 20 24 60 256 52 308 380 432 256 556 476 56 220 516 124 124 104 116 296 32 384 364 112 260 492 520 60 52 140 60 60 352 20 20 460 456 412 20 176 136 324 304 464 36 372 136 8 540 156 52 168 36 356 420 196 96 36 148 144 108 100 96 92 176 228 260 316 400 520 472 16 444 28 296 144 312 136 412 92 372 512 472 408 472 76 464 440 228 480 460 88 560 344 588 228 280 252 256 216 284 268 256 164 472 24 464 36 472 548 36 452 464 108 60 440 472 460 52 140 164 48 216 384 316 332 96 64 80 204 500 28 60 8 60 496 20 460 476 68 308 288 340 80 64 136 104 64 512 480 64 564 128 100 456 40
2520.04/2465.32	v       </values>
2520.04/2465.32	v     </instantiation>
2520.04/2465.32	s SATISFIABLE

Verifier Data 

OK	18333277

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304421-1534083585/watcher-4304421-1534083585 -o /tmp/evaluation-result-4304421-1534083585/solver-4304421-1534083585 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534063810-20601 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=332205715 HOME/instance-4304421-1534083585.xml 

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

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=23877, runsolver pid=23874
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 1.49 1.39 1.41 3/206 23934
/proc/meminfo: memFree=12236360/32770624 swapFree=67108496/67108860
[pid=23877] ppid=23874 vsize=10021560 memory=17340 CPUtime=0.09 cores=1,3,5,7
/proc/23877/stat : 23877 (java) S 23874 23877 20569 0 -1 1077944320 4516 12914 0 0 1 0 5 3 20 0 6 0 225921700 10262077440 4335 33554432000 4194304 4196468 140729262978944 140729262961488 140084913536759 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
/proc/23877/statm: 2505390 4335 1957 1 0 2493828 0
[pid=23877/tid=23930] ppid=23874 vsize=10153660 memory=4279135703913103502 CPUtime=0.09 cores=1,3,5,7
/proc/23877/task/23930/stat : 23930 (java) S 23874 23877 20569 0 -1 1077944384 2330 12914 0 0 1 0 5 3 20 0 7 0 225921709 10397347840 4401 33554432000 4194304 4196468 140729262978944 140084885379856 140084913546965 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23931] ppid=23874 vsize=10088124 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23931/stat : 23931 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 7 0 225921710 10330238976 4401 33554432000 4194304 4196468 140729262978944 140084917778960 140084913546965 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23932] ppid=23874 vsize=10088124 memory=139985811416704 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23932/stat : 23932 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 7 0 225921710 10330238976 4401 33554432000 4194304 4196468 140729262978944 140084452842128 140084913546965 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23933] ppid=23874 vsize=10088124 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23933/stat : 23933 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 7 0 225921710 10330238976 4401 33554432000 4194304 4196468 140729262978944 140084451789072 140084913546965 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23934] ppid=23874 vsize=10088124 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23934/stat : 23934 (java) S 23874 23877 20569 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 7 0 225921710 10330238976 4401 33554432000 4194304 4196468 140729262978944 140084450736528 140084913546965 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23935] ppid=23874 vsize=10088124 memory=139985811416704 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23935/stat : 23935 (java) S 23874 23877 20569 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 7 0 225921711 10330238976 4401 33554432000 4194304 4196468 140729262978944 140084406643440 140084913547906 0 0 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10021560 KiB
Current children cumulated memory: 17340 KiB

[startup+0.210741 s]*
/proc/loadavg: 1.49 1.39 1.41 3/215 23943
/proc/meminfo: memFree=12215404/32770624 swapFree=67108496/67108860
[pid=23877] ppid=23874 vsize=10982744 memory=43620 CPUtime=0.26 cores=1,3,5,7
/proc/23877/stat : 23877 (java) S 23874 23877 20569 0 -1 1077944320 8166 12914 0 0 17 1 5 3 20 0 15 0 225921700 11246329856 10905 33554432000 4194304 4196468 140729262978944 140729262961488 140084913536759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
/proc/23877/statm: 2745686 10905 2947 1 0 2708109 0
[pid=23877/tid=23930] ppid=23874 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/23877/task/23930/stat : 23930 (java) R 23874 23877 20569 0 -1 4202560 4693 12914 0 0 10 1 5 3 20 0 15 0 225921709 11246329856 10905 33554432000 4194304 4196468 140729262978944 140084885353872 140084913558685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23931] ppid=23874 vsize=10982744 memory=288292155783643526 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23931/stat : 23931 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 225921710 11246329856 10905 33554432000 4194304 4196468 140729262978944 140084917778960 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23932] ppid=23874 vsize=10982744 memory=288230376152910986 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23932/stat : 23932 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 225921710 11246329856 10905 33554432000 4194304 4196468 140729262978944 140084452842128 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23933] ppid=23874 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23933/stat : 23933 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 225921710 11246329856 10905 33554432000 4194304 4196468 140729262978944 140084451789072 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23934] ppid=23874 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23934/stat : 23934 (java) S 23874 23877 20569 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 15 0 225921710 11246329856 10905 33554432000 4194304 4196468 140729262978944 140084450736528 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23935] ppid=23874 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23935/stat : 23935 (java) S 23874 23877 20569 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 15 0 225921711 11246329856 10905 33554432000 4194304 4196468 140729262978944 140084406643440 140084913547906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23936] ppid=23874 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23936/stat : 23936 (java) S 23874 23877 20569 0 -1 1077944384 13 12914 0 0 0 0 5 3 20 0 15 0 225921711 11246329856 10905 33554432000 4194304 4196468 140729262978944 140083713795744 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23937] ppid=23874 vsize=10982744 memory=139985811416704 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23937/stat : 23937 (java) S 23874 23877 20569 0 -1 1077944384 21 12914 0 0 0 0 5 3 20 0 15 0 225921712 11246329856 10905 33554432000 4194304 4196468 140729262978944 140083646682352 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23938] ppid=23874 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23938/stat : 23938 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921714 11246329856 10905 33554432000 4194304 4196468 140729262978944 140083339286992 140084913555355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23939] ppid=23874 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23877/task/23939/stat : 23939 (java) S 23874 23877 20569 0 -1 1077944384 357 12914 0 0 1 0 5 3 20 0 15 0 225921714 11246329856 10905 33554432000 4194304 4196468 140729262978944 140084405590256 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23940] ppid=23874 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23940/stat : 23940 (java) S 23874 23877 20569 0 -1 1077944384 260 12914 0 0 0 0 5 3 20 0 15 0 225921714 11246329856 10905 33554432000 4194304 4196468 140729262978944 140084404537712 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23941] ppid=23874 vsize=10982744 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/23877/task/23941/stat : 23941 (java) R 23874 23877 20569 0 -1 4202560 619 12914 0 0 3 0 5 3 20 0 15 0 225921714 11246329856 10905 33554432000 4194304 4196468 140729262978944 140084403484656 140084892478296 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23942] ppid=23874 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23942/stat : 23942 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921715 11246329856 10905 33554432000 4194304 4196468 140729262978944 140082908490080 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23943] ppid=23874 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23943/stat : 23943 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 225921715 11246329856 10905 33554432000 4194304 4196468 140729262978944 140084402433072 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43620 KiB

[startup+0.310334 s]*
/proc/loadavg: 1.49 1.39 1.41 3/215 23943
/proc/meminfo: memFree=12204240/32770624 swapFree=67108496/67108860
[pid=23877] ppid=23874 vsize=10983192 memory=54260 CPUtime=0.39 cores=1,3,5,7
/proc/23877/stat : 23877 (java) S 23874 23877 20569 0 -1 1077944320 10664 12914 0 0 28 3 5 3 20 0 15 0 225921700 11246788608 13565 33554432000 4194304 4196468 140729262978944 140729262961488 140084913536759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
/proc/23877/statm: 2745798 13565 3066 1 0 2708109 0
[pid=23877/tid=23930] ppid=23874 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/23877/task/23930/stat : 23930 (java) R 23874 23877 20569 0 -1 4202560 7178 12914 0 0 19 2 5 3 20 0 15 0 225921709 11246788608 13565 33554432000 4194304 4196468 140729262978944 140084885348768 140084895100292 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23931] ppid=23874 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23931/stat : 23931 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 225921710 11246788608 13565 33554432000 4194304 4196468 140729262978944 140084917778960 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23932] ppid=23874 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23932/stat : 23932 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 225921710 11246788608 13565 33554432000 4194304 4196468 140729262978944 140084452842128 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23933] ppid=23874 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23933/stat : 23933 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 225921710 11246788608 13565 33554432000 4194304 4196468 140729262978944 140084451789072 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23934] ppid=23874 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23934/stat : 23934 (java) S 23874 23877 20569 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 15 0 225921710 11246788608 13565 33554432000 4194304 4196468 140729262978944 140084450736528 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23935] ppid=23874 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23935/stat : 23935 (java) S 23874 23877 20569 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 15 0 225921711 11246788608 13565 33554432000 4194304 4196468 140729262978944 140084406643440 140084913547906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23936] ppid=23874 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23936/stat : 23936 (java) S 23874 23877 20569 0 -1 1077944384 13 12914 0 0 0 0 5 3 20 0 15 0 225921711 11246788608 13565 33554432000 4194304 4196468 140729262978944 140083713795744 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23937] ppid=23874 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23937/stat : 23937 (java) S 23874 23877 20569 0 -1 1077944384 21 12914 0 0 0 0 5 3 20 0 15 0 225921712 11246788608 13565 33554432000 4194304 4196468 140729262978944 140083646682352 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23938] ppid=23874 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23938/stat : 23938 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921714 11246788608 13565 33554432000 4194304 4196468 140729262978944 140083339286992 140084913555355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23939] ppid=23874 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23877/task/23939/stat : 23939 (java) S 23874 23877 20569 0 -1 1077944384 357 12914 0 0 1 0 5 3 20 0 15 0 225921714 11246788608 13565 33554432000 4194304 4196468 140729262978944 140084405590256 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23940] ppid=23874 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/23877/task/23940/stat : 23940 (java) S 23874 23877 20569 0 -1 1077944384 263 12914 0 0 1 0 5 3 20 0 15 0 225921714 11246788608 13565 33554432000 4194304 4196468 140729262978944 140084404537712 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23941] ppid=23874 vsize=10983192 memory=139985811416704 CPUtime=0.12 cores=1,3,5,7
/proc/23877/task/23941/stat : 23941 (java) S 23874 23877 20569 0 -1 1077944384 625 12914 0 0 4 0 5 3 20 0 15 0 225921714 11246788608 13565 33554432000 4194304 4196468 140729262978944 140084403484656 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23942] ppid=23874 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23942/stat : 23942 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921715 11246788608 13565 33554432000 4194304 4196468 140729262978944 140082908490080 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23943] ppid=23874 vsize=10983192 memory=139985811416704 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23943/stat : 23943 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 225921715 11246788608 13565 33554432000 4194304 4196468 140729262978944 140084402433072 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54260 KiB

[startup+0.700771 s]
/proc/loadavg: 1.49 1.39 1.41 3/215 23943
/proc/meminfo: memFree=12193200/32770624 swapFree=67108496/67108860
[pid=23877] ppid=23874 vsize=10983192 memory=86544 CPUtime=0.99 cores=1,3,5,7
/proc/23877/stat : 23877 (java) S 23874 23877 20569 0 -1 1077944320 16777 12914 0 0 87 4 5 3 20 0 15 0 225921700 11246788608 21636 33554432000 4194304 4196468 140729262978944 140729262961488 140084913536759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
/proc/23877/statm: 2745798 21636 3238 1 0 2708109 0
[pid=23877/tid=23930] ppid=23874 vsize=10983192 memory=32804 CPUtime=0.66 cores=1,3,5,7
/proc/23877/task/23930/stat : 23930 (java) R 23874 23877 20569 0 -1 4202560 12241 12914 0 0 55 3 5 3 20 0 15 0 225921709 11246788608 21636 33554432000 4194304 4196468 140729262978944 140084885357584 140084895100319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23931] ppid=23874 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23931/stat : 23931 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 225921710 11246788608 21636 33554432000 4194304 4196468 140729262978944 140084917778960 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23932] ppid=23874 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23932/stat : 23932 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 225921710 11246788608 21636 33554432000 4194304 4196468 140729262978944 140084452842128 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23933] ppid=23874 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23933/stat : 23933 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 225921710 11246788608 21636 33554432000 4194304 4196468 140729262978944 140084451789072 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23934] ppid=23874 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23934/stat : 23934 (java) S 23874 23877 20569 0 -1 1077944384 2 12914 0 0 0 0 5 3 20 0 15 0 225921710 11246788608 21636 33554432000 4194304 4196468 140729262978944 140084450736528 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23935] ppid=23874 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23935/stat : 23935 (java) S 23874 23877 20569 0 -1 1077944384 5 12914 0 0 0 0 5 3 20 0 15 0 225921711 11246788608 21636 33554432000 4194304 4196468 140729262978944 140084406643440 140084913547906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23936] ppid=23874 vsize=10983192 memory=139985667900208 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23936/stat : 23936 (java) S 23874 23877 20569 0 -1 1077944384 13 12914 0 0 0 0 5 3 20 0 15 0 225921711 11246788608 21636 33554432000 4194304 4196468 140729262978944 140083713795744 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23937] ppid=23874 vsize=10983192 memory=142489835012748 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23937/stat : 23937 (java) S 23874 23877 20569 0 -1 1077944384 21 12914 0 0 0 0 5 3 20 0 15 0 225921712 11246788608 21636 33554432000 4194304 4196468 140729262978944 140083646682352 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23938] ppid=23874 vsize=10983192 memory=4000 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23938/stat : 23938 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921714 11246788608 21636 33554432000 4194304 4196468 140729262978944 140083339286992 140084913555355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23939] ppid=23874 vsize=10983192 memory=14204 CPUtime=0.18 cores=1,3,5,7
/proc/23877/task/23939/stat : 23939 (java) S 23874 23877 20569 0 -1 1077944384 965 12914 0 0 10 0 5 3 20 0 15 0 225921714 11246788608 21636 33554432000 4194304 4196468 140729262978944 140084405590256 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23940] ppid=23874 vsize=10983192 memory=34344 CPUtime=0.14 cores=1,3,5,7
/proc/23877/task/23940/stat : 23940 (java) S 23874 23877 20569 0 -1 1077944384 638 12914 0 0 6 0 5 3 20 0 15 0 225921714 11246788608 21636 33554432000 4194304 4196468 140729262978944 140084404537712 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23941] ppid=23874 vsize=10983192 memory=1180 CPUtime=0.21 cores=1,3,5,7
/proc/23877/task/23941/stat : 23941 (java) S 23874 23877 20569 0 -1 1077944384 689 12914 0 0 13 0 5 3 20 0 15 0 225921714 11246788608 21636 33554432000 4194304 4196468 140729262978944 140084403484656 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23942] ppid=23874 vsize=10983192 memory=504 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23942/stat : 23942 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921715 11246788608 21636 33554432000 4194304 4196468 140729262978944 140082908490080 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23943] ppid=23874 vsize=10983192 memory=1720 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23943/stat : 23943 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 225921715 11246788608 21636 33554432000 4194304 4196468 140729262978944 140084402433072 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 86544 KiB

[startup+1.50074 s]
/proc/loadavg: 1.49 1.39 1.41 3/215 23943
/proc/meminfo: memFree=12147428/32770624 swapFree=67108496/67108860
[pid=23877] ppid=23874 vsize=10991948 memory=316552 CPUtime=3.05 cores=1,3,5,7
/proc/23877/stat : 23877 (java) S 23874 23877 20569 0 -1 1077944320 24186 12914 0 0 278 19 5 3 20 0 15 0 225921700 11255754752 79138 33554432000 4194304 4196468 140729262978944 140729262961488 140084913536759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
/proc/23877/statm: 2747987 79138 3474 1 0 2709645 0
[pid=23877/tid=23930] ppid=23874 vsize=10991948 memory=6791534058613427641 CPUtime=1.4 cores=1,3,5,7
/proc/23877/task/23930/stat : 23930 (java) R 23874 23877 20569 0 -1 4202560 15047 12914 0 0 125 7 5 3 20 0 15 0 225921709 11255754752 79138 33554432000 4194304 4196468 140729262978944 140084885370112 140084468869712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23931] ppid=23874 vsize=10991948 memory=2358 CPUtime=0.12 cores=1,3,5,7
/proc/23877/task/23931/stat : 23931 (java) S 23874 23877 20569 0 -1 1077944384 57 12914 0 0 2 2 5 3 20 0 15 0 225921710 11255754752 79138 33554432000 4194304 4196468 140729262978944 140084917778960 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23932] ppid=23874 vsize=10991948 memory=160215 CPUtime=0.12 cores=1,3,5,7
/proc/23877/task/23932/stat : 23932 (java) S 23874 23877 20569 0 -1 1077944384 312 12914 0 0 2 2 5 3 20 0 15 0 225921710 11255754752 79138 33554432000 4194304 4196468 140729262978944 140084452842128 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23933] ppid=23874 vsize=10991948 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23877/task/23933/stat : 23933 (java) S 23874 23877 20569 0 -1 1077944384 41 12914 0 0 2 2 5 3 20 0 15 0 225921710 11255754752 79138 33554432000 4194304 4196468 140729262978944 140084451789072 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23934] ppid=23874 vsize=10991948 memory=279971335540128 CPUtime=0.13 cores=1,3,5,7
/proc/23877/task/23934/stat : 23934 (java) S 23874 23877 20569 0 -1 1077944384 87 12914 0 0 3 2 5 3 20 0 15 0 225921710 11255754752 79138 33554432000 4194304 4196468 140729262978944 140084450736528 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23935] ppid=23874 vsize=10991948 memory=-4546129931942301728 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23935/stat : 23935 (java) S 23874 23877 20569 0 -1 1077944384 91 12914 0 0 0 0 5 3 20 0 15 0 225921711 11255754752 79138 33554432000 4194304 4196468 140729262978944 140084406643440 140084913547906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23936] ppid=23874 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23936/stat : 23936 (java) S 23874 23877 20569 0 -1 1077944384 14 12914 0 0 0 0 5 3 20 0 15 0 225921711 11255754752 79138 33554432000 4194304 4196468 140729262978944 140083713795744 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23937] ppid=23874 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23937/stat : 23937 (java) S 23874 23877 20569 0 -1 1077944384 44 12914 0 0 0 0 5 3 20 0 15 0 225921712 11255754752 79138 33554432000 4194304 4196468 140729262978944 140083646682352 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23938] ppid=23874 vsize=10991948 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23938/stat : 23938 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921714 11255754752 79138 33554432000 4194304 4196468 140729262978944 140083339286992 140084913555355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23939] ppid=23874 vsize=10991948 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/23877/task/23939/stat : 23939 (java) R 23874 23877 20569 0 -1 4202560 3095 12914 0 0 53 0 5 3 20 0 15 0 225921714 11255754752 79138 33554432000 4194304 4196468 140729262978944 140084405575408 140084895057881 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23940] ppid=23874 vsize=10991948 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/23877/task/23940/stat : 23940 (java) R 23874 23877 20569 0 -1 4202560 1746 12914 0 0 45 0 5 3 20 0 15 0 225921714 11255754752 79138 33554432000 4194304 4196468 140729262978944 140084404523736 140084898458541 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23941] ppid=23874 vsize=10991948 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/23877/task/23941/stat : 23941 (java) S 23874 23877 20569 0 -1 1077944384 1452 12914 0 0 41 0 5 3 20 0 15 0 225921714 11255754752 79138 33554432000 4194304 4196468 140729262978944 140084403484656 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23942] ppid=23874 vsize=10991948 memory=6994781577135807034 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23942/stat : 23942 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921715 11255754752 79138 33554432000 4194304 4196468 140729262978944 140082908490080 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23943] ppid=23874 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23943/stat : 23943 (java) S 23874 23877 20569 0 -1 1077944384 1 12914 0 0 0 0 5 3 20 0 15 0 225921715 11255754752 79138 33554432000 4194304 4196468 140729262978944 140084402433072 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0

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

/proc/23877/task/23930/stat : 23930 (java) R 23874 23877 20569 0 -1 4202560 484353 12914 0 0 236626 112 5 3 20 0 15 0 225921709 11280941056 804177 33554432000 4194304 4196468 140729262978944 140084885371712 140084493029626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23931] ppid=23874 vsize=11016544 memory=3216708 CPUtime=10.83 cores=1,3,5,7
/proc/23877/task/23931/stat : 23931 (java) S 23874 23877 20569 0 -1 1077944384 26736 12914 0 0 1013 62 5 3 20 0 15 0 225921710 11280941056 804177 33554432000 4194304 4196468 140729262978944 140084917778960 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23932] ppid=23874 vsize=11016544 memory=3216708 CPUtime=10.8 cores=1,3,5,7
/proc/23877/task/23932/stat : 23932 (java) S 23874 23877 20569 0 -1 1077944384 23771 12914 0 0 1013 59 5 3 20 0 15 0 225921710 11280941056 804177 33554432000 4194304 4196468 140729262978944 140084452842128 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23933] ppid=23874 vsize=11016544 memory=56 CPUtime=10.82 cores=1,3,5,7
/proc/23877/task/23933/stat : 23933 (java) S 23874 23877 20569 0 -1 1077944384 28180 12914 0 0 1011 63 5 3 20 0 15 0 225921710 11280941056 804177 33554432000 4194304 4196468 140729262978944 140084451789072 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23934] ppid=23874 vsize=11016544 memory=3216708 CPUtime=10.81 cores=1,3,5,7
/proc/23877/task/23934/stat : 23934 (java) S 23874 23877 20569 0 -1 1077944384 25507 12914 0 0 1015 58 5 3 20 0 15 0 225921710 11280941056 804177 33554432000 4194304 4196468 140729262978944 140084450736528 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23935] ppid=23874 vsize=11016544 memory=3216708 CPUtime=2.98 cores=1,3,5,7
/proc/23877/task/23935/stat : 23935 (java) S 23874 23877 20569 0 -1 1077944384 34680 12914 0 0 240 50 5 3 20 0 15 0 225921711 11280941056 804177 33554432000 4194304 4196468 140729262978944 140084406643440 140084913547906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23936] ppid=23874 vsize=11016544 memory=3216708 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23936/stat : 23936 (java) S 23874 23877 20569 0 -1 1077944384 19 12914 0 0 0 0 5 3 20 0 15 0 225921711 11280941056 804177 33554432000 4194304 4196468 140729262978944 140083713795808 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23937] ppid=23874 vsize=11016544 memory=3216708 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23937/stat : 23937 (java) S 23874 23877 20569 0 -1 1077944384 49 12914 0 0 0 0 5 3 20 0 15 0 225921712 11280941056 804177 33554432000 4194304 4196468 140729262978944 140083646682368 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23938] ppid=23874 vsize=11016544 memory=3216708 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23938/stat : 23938 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921714 11280941056 804177 33554432000 4194304 4196468 140729262978944 140083339286992 140084913555355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23939] ppid=23874 vsize=11016544 memory=3216708 CPUtime=9.56 cores=1,3,5,7
/proc/23877/task/23939/stat : 23939 (java) S 23874 23877 20569 0 -1 1077944384 104023 12914 0 0 937 11 5 3 20 0 15 0 225921714 11280941056 804177 33554432000 4194304 4196468 140729262978944 140084405590256 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23940] ppid=23874 vsize=11016544 memory=3216708 CPUtime=9.24 cores=1,3,5,7
/proc/23877/task/23940/stat : 23940 (java) S 23874 23877 20569 0 -1 1077944384 108017 12914 0 0 905 11 5 3 20 0 15 0 225921714 11280941056 804177 33554432000 4194304 4196468 140729262978944 140084404537712 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23941] ppid=23874 vsize=11016544 memory=3216708 CPUtime=3.46 cores=1,3,5,7
/proc/23877/task/23941/stat : 23941 (java) S 23874 23877 20569 0 -1 1077944384 80507 12914 0 0 329 9 5 3 20 0 15 0 225921714 11280941056 804177 33554432000 4194304 4196468 140729262978944 140084403484656 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23942] ppid=23874 vsize=11016544 memory=3848 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23942/stat : 23942 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921715 11280941056 804177 33554432000 4194304 4196468 140729262978944 140082908490080 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23943] ppid=23874 vsize=11016544 memory=2600 CPUtime=1.42 cores=1,3,5,7
/proc/23877/task/23943/stat : 23943 (java) S 23874 23877 20569 0 -1 1077944384 4213 12914 0 0 55 79 5 3 20 0 15 0 225921715 11280941056 804177 33554432000 4194304 4196468 140729262978944 140084402433072 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
Current children cumulated CPU time: 2436.76 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3216708 KiB

[startup+2442.3 s]
/proc/loadavg: 1.74 1.72 1.62 3/215 24157
/proc/meminfo: memFree=6279980/32770624 swapFree=67108496/67108860
[pid=23877] ppid=23874 vsize=11016544 memory=3217656 CPUtime=2496.97 cores=1,3,5,7
/proc/23877/stat : 23877 (java) S 23874 23877 20569 0 -1 1077944320 961579 12914 0 0 249196 493 5 3 20 0 15 0 225921700 11280941056 804414 33554432000 4194304 4196468 140729262978944 140729262961488 140084913536759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
/proc/23877/statm: 2754136 804414 3536 1 0 2715789 0
[pid=23877/tid=23930] ppid=23874 vsize=11016544 memory=3217656 CPUtime=2427.41 cores=1,3,5,7
/proc/23877/task/23930/stat : 23930 (java) R 23874 23877 20569 0 -1 4202560 522013 12914 0 0 242619 114 5 3 20 0 15 0 225921709 11280941056 804414 33554432000 4194304 4196468 140729262978944 140084885372128 140084492859677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23931] ppid=23874 vsize=11016544 memory=3217656 CPUtime=10.87 cores=1,3,5,7
/proc/23877/task/23931/stat : 23931 (java) S 23874 23877 20569 0 -1 1077944384 26936 12914 0 0 1017 62 5 3 20 0 15 0 225921710 11280941056 804414 33554432000 4194304 4196468 140729262978944 140084917778960 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23932] ppid=23874 vsize=11016544 memory=3217600 CPUtime=10.83 cores=1,3,5,7
/proc/23877/task/23932/stat : 23932 (java) S 23874 23877 20569 0 -1 1077944384 23956 12914 0 0 1016 59 5 3 20 0 15 0 225921710 11280941056 804414 33554432000 4194304 4196468 140729262978944 140084452842128 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23933] ppid=23874 vsize=11016544 memory=3217356 CPUtime=10.85 cores=1,3,5,7
/proc/23877/task/23933/stat : 23933 (java) S 23874 23877 20569 0 -1 1077944384 28410 12914 0 0 1014 63 5 3 20 0 15 0 225921710 11280941056 804414 33554432000 4194304 4196468 140729262978944 140084451789072 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23934] ppid=23874 vsize=11016544 memory=3216708 CPUtime=10.85 cores=1,3,5,7
/proc/23877/task/23934/stat : 23934 (java) S 23874 23877 20569 0 -1 1077944384 25683 12914 0 0 1019 58 5 3 20 0 15 0 225921710 11280941056 804414 33554432000 4194304 4196468 140729262978944 140084450736528 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23935] ppid=23874 vsize=11016544 memory=3217600 CPUtime=2.99 cores=1,3,5,7
/proc/23877/task/23935/stat : 23935 (java) S 23874 23877 20569 0 -1 1077944384 34843 12914 0 0 241 50 5 3 20 0 15 0 225921711 11280941056 804414 33554432000 4194304 4196468 140729262978944 140084406643440 140084913547906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23936] ppid=23874 vsize=11016544 memory=3217356 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23936/stat : 23936 (java) S 23874 23877 20569 0 -1 1077944384 19 12914 0 0 0 0 5 3 20 0 15 0 225921711 11280941056 804414 33554432000 4194304 4196468 140729262978944 140083713795808 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23937] ppid=23874 vsize=11016544 memory=3217656 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23937/stat : 23937 (java) S 23874 23877 20569 0 -1 1077944384 49 12914 0 0 0 0 5 3 20 0 15 0 225921712 11280941056 804414 33554432000 4194304 4196468 140729262978944 140083646682368 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23938] ppid=23874 vsize=11016544 memory=3217656 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23938/stat : 23938 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921714 11280941056 804414 33554432000 4194304 4196468 140729262978944 140083339286992 140084913555355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23939] ppid=23874 vsize=11016544 memory=3217656 CPUtime=9.58 cores=1,3,5,7
/proc/23877/task/23939/stat : 23939 (java) S 23874 23877 20569 0 -1 1077944384 104294 12914 0 0 939 11 5 3 20 0 15 0 225921714 11280941056 804414 33554432000 4194304 4196468 140729262978944 140084405590256 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23940] ppid=23874 vsize=11016544 memory=3217656 CPUtime=9.27 cores=1,3,5,7
/proc/23877/task/23940/stat : 23940 (java) S 23874 23877 20569 0 -1 1077944384 108161 12914 0 0 908 11 5 3 20 0 15 0 225921714 11280941056 804414 33554432000 4194304 4196468 140729262978944 140084404537712 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23941] ppid=23874 vsize=11016544 memory=3217656 CPUtime=3.46 cores=1,3,5,7
/proc/23877/task/23941/stat : 23941 (java) S 23874 23877 20569 0 -1 1077944384 80787 12914 0 0 329 9 5 3 20 0 15 0 225921714 11280941056 804414 33554432000 4194304 4196468 140729262978944 140084403484656 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23942] ppid=23874 vsize=11016544 memory=3217656 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23942/stat : 23942 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921715 11280941056 804414 33554432000 4194304 4196468 140729262978944 140082908490080 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23943] ppid=23874 vsize=11016544 memory=3217656 CPUtime=1.45 cores=1,3,5,7
/proc/23877/task/23943/stat : 23943 (java) S 23874 23877 20569 0 -1 1077944384 4229 12914 0 0 56 81 5 3 20 0 15 0 225921715 11280941056 804414 33554432000 4194304 4196468 140729262978944 140084402433072 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
Current children cumulated CPU time: 2496.97 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3217656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2465.3 s]
/proc/loadavg: 1.75 1.72 1.63 3/215 24157
/proc/meminfo: memFree=6279988/32770624 swapFree=67108496/67108860
[pid=23877] ppid=23874 vsize=11016544 memory=3217708 CPUtime=2520.04 cores=1,3,5,7
/proc/23877/stat : 23877 (java) S 23874 23877 20569 0 -1 1077944320 988781 12914 0 0 251501 495 5 3 20 0 15 0 225921700 11280941056 804427 33554432000 4194304 4196468 140729262978944 140729262961488 140084913536759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
/proc/23877/statm: 2754136 804427 3536 1 0 2715789 0
[pid=23877/tid=23930] ppid=23874 vsize=11016544 memory=0 CPUtime=2450.4 cores=1,3,5,7
/proc/23877/task/23930/stat : 23930 (java) R 23874 23877 20569 0 -1 4202560 549171 12914 0 0 244917 115 5 3 20 0 15 0 225921709 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084885372016 140084480185722 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23931] ppid=23874 vsize=11016544 memory=3217708 CPUtime=10.88 cores=1,3,5,7
/proc/23877/task/23931/stat : 23931 (java) S 23874 23877 20569 0 -1 1077944384 26941 12914 0 0 1018 62 5 3 20 0 15 0 225921710 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084917778960 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23932] ppid=23874 vsize=11016544 memory=3217708 CPUtime=10.84 cores=1,3,5,7
/proc/23877/task/23932/stat : 23932 (java) S 23874 23877 20569 0 -1 1077944384 23965 12914 0 0 1017 59 5 3 20 0 15 0 225921710 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084452842128 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23933] ppid=23874 vsize=11016544 memory=3217708 CPUtime=10.86 cores=1,3,5,7
/proc/23877/task/23933/stat : 23933 (java) S 23874 23877 20569 0 -1 1077944384 28419 12914 0 0 1015 63 5 3 20 0 15 0 225921710 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084451789072 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23934] ppid=23874 vsize=11016544 memory=3217708 CPUtime=10.86 cores=1,3,5,7
/proc/23877/task/23934/stat : 23934 (java) S 23874 23877 20569 0 -1 1077944384 25692 12914 0 0 1020 58 5 3 20 0 15 0 225921710 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084450736528 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23935] ppid=23874 vsize=11016544 memory=3217708 CPUtime=3 cores=1,3,5,7
/proc/23877/task/23935/stat : 23935 (java) S 23874 23877 20569 0 -1 1077944384 34846 12914 0 0 241 51 5 3 20 0 15 0 225921711 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084406643440 140084913547906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23936] ppid=23874 vsize=11016544 memory=3217708 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23936/stat : 23936 (java) S 23874 23877 20569 0 -1 1077944384 19 12914 0 0 0 0 5 3 20 0 15 0 225921711 11280941056 804427 33554432000 4194304 4196468 140729262978944 140083713795808 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23937] ppid=23874 vsize=11016544 memory=139985668471809 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23937/stat : 23937 (java) S 23874 23877 20569 0 -1 1077944384 49 12914 0 0 0 0 5 3 20 0 15 0 225921712 11280941056 804427 33554432000 4194304 4196468 140729262978944 140083646682368 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23938] ppid=23874 vsize=11016544 memory=3217708 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23938/stat : 23938 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921714 11280941056 804427 33554432000 4194304 4196468 140729262978944 140083339286992 140084913555355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23939] ppid=23874 vsize=11016544 memory=3217656 CPUtime=9.59 cores=1,3,5,7
/proc/23877/task/23939/stat : 23939 (java) S 23874 23877 20569 0 -1 1077944384 104298 12914 0 0 940 11 5 3 20 0 15 0 225921714 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084405590256 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23940] ppid=23874 vsize=11016544 memory=3848 CPUtime=9.29 cores=1,3,5,7
/proc/23877/task/23940/stat : 23940 (java) S 23874 23877 20569 0 -1 1077944384 108163 12914 0 0 910 11 5 3 20 0 15 0 225921714 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084404537712 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23941] ppid=23874 vsize=11016544 memory=2600 CPUtime=3.47 cores=1,3,5,7
/proc/23877/task/23941/stat : 23941 (java) S 23874 23877 20569 0 -1 1077944384 80788 12914 0 0 330 9 5 3 20 0 15 0 225921714 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084403484656 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23942] ppid=23874 vsize=11016544 memory=3217708 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23942/stat : 23942 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921715 11280941056 804427 33554432000 4194304 4196468 140729262978944 140082908490080 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23943] ppid=23874 vsize=11016544 memory=1796 CPUtime=1.46 cores=1,3,5,7
/proc/23877/task/23943/stat : 23943 (java) S 23874 23877 20569 0 -1 1077944384 4231 12914 0 0 57 81 5 3 20 0 15 0 225921715 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084402433072 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3217708 KiB

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

[startup+2465.36 s]
# the end of solver process 23877 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.08 s, system=5.01894 s

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

[startup+2465.3 s]
/proc/loadavg: 1.75 1.72 1.63 3/215 24157
/proc/meminfo: memFree=6279988/32770624 swapFree=67108496/67108860
[pid=23877] ppid=23874 vsize=11016544 memory=3217708 CPUtime=2520.04 cores=1,3,5,7
/proc/23877/stat : 23877 (java) S 23874 23877 20569 0 -1 1077944320 988781 12914 0 0 251501 495 5 3 20 0 15 0 225921700 11280941056 804427 33554432000 4194304 4196468 140729262978944 140729262961488 140084913536759 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
/proc/23877/statm: 2754136 804427 3536 1 0 2715789 0
[pid=23877/tid=23930] ppid=23874 vsize=11016544 memory=0 CPUtime=2450.4 cores=1,3,5,7
/proc/23877/task/23930/stat : 23930 (java) R 23874 23877 20569 0 -1 4202560 549171 12914 0 0 244917 115 5 3 20 0 15 0 225921709 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084885372016 140084480185722 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23931] ppid=23874 vsize=11016544 memory=3217708 CPUtime=10.88 cores=1,3,5,7
/proc/23877/task/23931/stat : 23931 (java) S 23874 23877 20569 0 -1 1077944384 26941 12914 0 0 1018 62 5 3 20 0 15 0 225921710 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084917778960 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23932] ppid=23874 vsize=11016544 memory=3217708 CPUtime=10.84 cores=1,3,5,7
/proc/23877/task/23932/stat : 23932 (java) S 23874 23877 20569 0 -1 1077944384 23965 12914 0 0 1017 59 5 3 20 0 15 0 225921710 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084452842128 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23933] ppid=23874 vsize=11016544 memory=3217708 CPUtime=10.86 cores=1,3,5,7
/proc/23877/task/23933/stat : 23933 (java) S 23874 23877 20569 0 -1 1077944384 28419 12914 0 0 1015 63 5 3 20 0 15 0 225921710 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084451789072 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23934] ppid=23874 vsize=11016544 memory=3217708 CPUtime=10.86 cores=1,3,5,7
/proc/23877/task/23934/stat : 23934 (java) S 23874 23877 20569 0 -1 1077944384 25692 12914 0 0 1020 58 5 3 20 0 15 0 225921710 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084450736528 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23935] ppid=23874 vsize=11016544 memory=3217708 CPUtime=3 cores=1,3,5,7
/proc/23877/task/23935/stat : 23935 (java) S 23874 23877 20569 0 -1 1077944384 34846 12914 0 0 241 51 5 3 20 0 15 0 225921711 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084406643440 140084913547906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23936] ppid=23874 vsize=11016544 memory=3217708 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23936/stat : 23936 (java) S 23874 23877 20569 0 -1 1077944384 19 12914 0 0 0 0 5 3 20 0 15 0 225921711 11280941056 804427 33554432000 4194304 4196468 140729262978944 140083713795808 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23937] ppid=23874 vsize=11016544 memory=139985668471809 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23937/stat : 23937 (java) S 23874 23877 20569 0 -1 1077944384 49 12914 0 0 0 0 5 3 20 0 15 0 225921712 11280941056 804427 33554432000 4194304 4196468 140729262978944 140083646682368 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23938] ppid=23874 vsize=11016544 memory=3217708 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23938/stat : 23938 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921714 11280941056 804427 33554432000 4194304 4196468 140729262978944 140083339286992 140084913555355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23939] ppid=23874 vsize=11016544 memory=3217656 CPUtime=9.59 cores=1,3,5,7
/proc/23877/task/23939/stat : 23939 (java) S 23874 23877 20569 0 -1 1077944384 104298 12914 0 0 940 11 5 3 20 0 15 0 225921714 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084405590256 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23940] ppid=23874 vsize=11016544 memory=3848 CPUtime=9.29 cores=1,3,5,7
/proc/23877/task/23940/stat : 23940 (java) S 23874 23877 20569 0 -1 1077944384 108163 12914 0 0 910 11 5 3 20 0 15 0 225921714 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084404537712 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23941] ppid=23874 vsize=11016544 memory=2600 CPUtime=3.47 cores=1,3,5,7
/proc/23877/task/23941/stat : 23941 (java) S 23874 23877 20569 0 -1 1077944384 80788 12914 0 0 330 9 5 3 20 0 15 0 225921714 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084403484656 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23942] ppid=23874 vsize=11016544 memory=3217708 CPUtime=0.08 cores=1,3,5,7
/proc/23877/task/23942/stat : 23942 (java) S 23874 23877 20569 0 -1 1077944384 3 12914 0 0 0 0 5 3 20 0 15 0 225921715 11280941056 804427 33554432000 4194304 4196468 140729262978944 140082908490080 140084913546965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
[pid=23877/tid=23943] ppid=23874 vsize=11016544 memory=1796 CPUtime=1.46 cores=1,3,5,7
/proc/23877/task/23943/stat : 23943 (java) S 23874 23877 20569 0 -1 1077944384 4231 12914 0 0 57 81 5 3 20 0 15 0 225921715 11280941056 804427 33554432000 4194304 4196468 140729262978944 140084402433072 140084913547906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23842816 140729262983789 140729262986588 140729262986588 140729262989263 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3217708 KiB

Child status: 143
Real time (s): 2465.36
CPU time (s): 2520.1
CPU user time (s): 2515.08
CPU system time (s): 5.01894
CPU usage (%): 102.22
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 3217708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.08
system time used= 5.01894
maximum resident set size= 3221924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1002340
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114730
involuntary context switches= 4106


# summary of solver processes directly reported to runsolver:
#   pid: 23877
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.08
#   total CPU system time (s): 5.01894

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4341 second user time and 23.865 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-12 16:19:45
IDJOB=4304421
IDBENCH=141259
IDSOLVER=2780
FILE ID=node149/4304421-1534083585
RUNJOBID= node149-1534063810-20601
PBS_JOBID= 21036989
Free space on /tmp= 39092 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test01-0150_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304421-1534083585/watcher-4304421-1534083585 -o /tmp/evaluation-result-4304421-1534083585/solver-4304421-1534083585 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534063810-20601 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=332205715 HOME/instance-4304421-1534083585.xml

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

MD5SUM BENCH= deef1e755c9079fc369bbf159731f616
RANDOM SEED=332205715

node149.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.60
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.60
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.60
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.60
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:        12245532 kB
MemAvailable:   31134908 kB
Buffers:          194604 kB
Cached:         18727256 kB
SwapCached:           28 kB
Active:          8510628 kB
Inactive:       11236980 kB
Active(anon):     775192 kB
Inactive(anon):   103080 kB
Active(file):    7735436 kB
Inactive(file): 11133900 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:             71588 kB
Writeback:             0 kB
AnonPages:        833592 kB
Mapped:            67356 kB
Shmem:             49616 kB
Slab:             476440 kB
SReclaimable:     448500 kB
SUnreclaim:        27940 kB
KernelStack:        3520 kB
PageTables:         7064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1994656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    751616 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= 38976 MiB
End job on node149 at 2018-08-12 17:00:51