Trace number 4304422

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)18346799 2520.16 2464.31

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.98/0.74	c Concrete v3.9.2.1532736233296 running
43.90/25.50	o 18353528
44.13/25.61	o 18353527
44.13/25.64	o 18353526
67.53/44.81	o 18346802
82.69/56.17	o 18346801
1016.61/970.48	o 18346800
1052.77/1006.29	o 18346799
2520.03/2464.25	Exception in thread "main" java.util.concurrent.TimeoutException
2520.03/2464.25		at concrete.MAC.mac(MAC.scala:188)
2520.03/2464.25		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.03/2464.25		at scala.util.Try$.apply(Try.scala:209)
2520.03/2464.25		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.03/2464.25		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.03/2464.25		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.03/2464.25		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.03/2464.25		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.03/2464.25		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.03/2464.25		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.03/2464.25		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.03/2464.25		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.03/2464.25		at concrete.MAC.oneRun(MAC.scala:253)
2520.03/2464.25		at concrete.MAC.nextSolution(MAC.scala:272)
2520.03/2464.25		at concrete.MAC.nextSolution(MAC.scala:355)
2520.03/2464.25		at concrete.Solver.hasNext(Solver.scala:166)
2520.03/2464.25		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.03/2464.25		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.03/2464.25		at concrete.Solver.foreach(Solver.scala:68)
2520.03/2464.25		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.03/2464.25		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.03/2464.25		at scala.util.Success.map(Try.scala:209)
2520.03/2464.25		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.03/2464.25		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.03/2464.25		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.03/2464.25		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.03/2464.25		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.03/2464.25		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.03/2464.25		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.03/2464.25		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.03/2464.25		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.03/2464.25		at scala.collection.immutable.List.foreach(List.scala:389)
2520.03/2464.25		at scala.App.main(App.scala:76)
2520.03/2464.25		at scala.App.main$(App.scala:74)
2520.03/2464.25		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.03/2464.25		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.03/2464.26	v <instantiation cost="18346799">
2520.03/2464.26	v       <list>
2520.03/2464.26	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.03/2464.26	v       </list>
2520.03/2464.26	v       <values>
2520.03/2464.26	v         2620 2680 2516 2308 2416 2616 2148 2428 2688 2636 2500 2620 2140 2680 2160 2244 2528 2660 2124 2660 2700 2700 2376 2692 2324 2192 2616 2204 2660 2620 2144 2624 2676 2660 2720 2528 2188 2180 2456 2256 2452 2572 2660 2296 2120 2220 2524 2188 2720 2472 2696 2416 2688 2576 2296 2720 2700 2180 2336 2164 2532 2640 2656 2388 2660 2584 2284 2644 2120 2268 2608 2684 2700 2616 2656 2180 2408 2280 2568 2184 2448 2624 2244 2240 2512 2532 2180 2540 2644 2440 2680 2568 2660 2580 2400 2568 2568 2220 2448 2408 2220 2660 2644 2708 2484 2616 2404 2348 2632 2580 2700 2220 2576 2700 2140 2604 2360 2620 2660 2284 2160 2528 2656 2660 2180 2680 2224 2652 2672 2652 2604 2184 2412 2648 2148 2668 2160 2700 2620 2444 2120 2232 2388 2648 2180 2476 2692 2400 2492 2664 0 1 1 0 1 1 1 1 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 1 1 0 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 3 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 3 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 1 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 3 0 0 0 0 1 0 0 0 1 0 0 3 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 3 3 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 2 1 0 3 0 0 1 0 0 0 1 0 1 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 3 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 3 0 0 0 0 0 1 0 1 0 0 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 3 0 0 0 0 0 0 0 0 0 1 0 0 3 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 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 2 0 0 68 80 76 232 64 80 220 180 556 12 488 64 40 500 24 196 276 560 204 144 204 128 332 132 108 164 124 308 124 200 196 120 240 228 236 76 248 436 164 44 320 92 32 436 372 132 96 380 28 72 32 260 432 552 552 36 84 252 72 192 268 196 248 96 132 248 272 236 28 72 236 216 508 352 176 468 464 36 20 16 184 352 368 64 452 456 24 32 488 64 160 256 376 308 112 260 60 92 140 152 40 40 80 20 40 88 216 32 236 316 548 560 24 544 560 268 428 308 504 560 356 20 20 36 28 496 324 540 72 80 100 332 80 440 64 400 372 60 124 172 324 192 340 40 128 88 124 480 520 300 64 144 160 36 320 132 380 512 128 44 160 80 172 48 80 444 364 312 420 252 76 460 20 68 120 28 540 312 200 208 64 192 284 192 296 192 324 100 236 116 52 124 208 72 144 104 336 296 428 384 424 320 508 412 32 412 500 412 160 360 28 392 204 52 4 228 76 420 64 376 16 204 56 288 36 132 20 120 312 48 88 40 36 440 340 40 216 32 208 472 312 24 512 136 480 516 256 424 556 460 368 328 96 340 32 32 504 100 340 32 44 132 44 80 260 212 4 8 40 600 436 76 500 316 580 116 536 600 168 172 104 124 380 452 468 224 276 520 480 528 224 396 40 476 424 292 184 68 56 200 192 36 464 452 324 36 96 416 396 392 244 80 272 116 232 248 220 196 168 452 392 184 96 380 84 8 500 40 428 176 364 320 272 152 328 116 404 324 352 464 580 448 524 460 560 476 48 228 348 188 400 428 256 116 132 344 168 508 8 456 80 8 468 480 28 188 64 560 228 236 252 104 188 192 280 532 412 4 288 184 128 32 236 244 136 96 200 232 448 176 548 40 292 80 296 84 128 396 360 364 16 152 352 332 136 476 540 116 60 292 76 188 252 68 560 96 208 476 332 452 440 364 280 156 296 284 320 324 312 236 244 240 84 124 124 36 112 84 392 116 56 72 420 24 172 436 256 120 144 272 240 280 56 440 48 84 540 428 464 24 304 424 116 404 44 348 160 64 116 496 244 328 560 532 324 60 280 180 48 348 120 424 24 324 448 504 404 52 76 44 40 168 268 456 56 456 248 296 228 388 424 220 160 208 268 260 388 324 348 84 420 460 36 488 212 168 128 44 92 56 56 44 56 180 24 288 376 428 328 376 380 44 204 424 148 132 28 108 288 48 392 348 132 388 452 484 100 92 136 64 28 284 16 16 464 460 412 20 220 180 280 260 460 20 320 268 12 560 140 36 180 76 356 420 192 176 128 272 268 140 48 132 120 160 124 96 228 188 480 436 60 400 40 228 100 268 244 268 244 228 488 432 384 448 100 480 480 160 504 460 132 560 264 588 96 216 344 324 216 284 244 256 164 472 40 400 100 476 552 36 452 480 180 48 396 428 416 72 172 260 52 216 312 244 260 208 80 164 284 504 36 164 8 60 496 16 476 468 68 228 284 252 160 64 236 280 80 500 544 80 580 144 168 484 200
2520.03/2464.26	v       </values>
2520.03/2464.26	v     </instantiation>
2520.03/2464.26	s SATISFIABLE

Verifier Data 

OK	18346799

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304422-1534086498/watcher-4304422-1534086498 -o /tmp/evaluation-result-4304422-1534086498/solver-4304422-1534086498 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21371 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1336661604 -superng HOME/instance-4304422-1534086498.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24979, runsolver pid=24976
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 1.35 1.36 1.39 3/206 25037
/proc/meminfo: memFree=11729308/32770624 swapFree=67108404/67108860
[pid=24979] ppid=24976 vsize=10005480 memory=17080 CPUtime=0.08 cores=0,2,4,6
/proc/24979/stat : 24979 (java) S 24976 24979 21340 0 -1 1077944320 4391 13191 0 0 1 0 5 2 20 0 6 0 226213014 10245611520 4270 33554432000 4194304 4196468 140733215591728 140733215574272 140215920516855 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
/proc/24979/statm: 2501370 4270 1934 1 0 2489808 0
[pid=24979/tid=25032] ppid=24976 vsize=10005480 memory=4279135703913364878 CPUtime=0.08 cores=0,2,4,6
/proc/24979/task/25032/stat : 25032 (java) R 24976 24979 21340 0 -1 4202560 2202 13191 0 0 1 0 5 2 20 0 6 0 226213023 10245611520 4270 33554432000 4194304 4196468 140733215591728 140215892353616 140215920538781 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25033] ppid=24976 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25033/stat : 25033 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 6 0 226213024 10245611520 4270 33554432000 4194304 4196468 140733215591728 140215924759312 140215920527061 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25034] ppid=24976 vsize=10005480 memory=139721805706880 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25034/stat : 25034 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 6 0 226213024 10245611520 4270 33554432000 4194304 4196468 140733215591728 140215790095248 140215920527061 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25035] ppid=24976 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25035/stat : 25035 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 6 0 226213024 10245611520 4270 33554432000 4194304 4196468 140733215591728 140215789042704 140215920527061 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25037] ppid=24976 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25037/stat : 25037 (java) S 24976 24979 21340 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 6 0 226213024 10245611520 4270 33554432000 4194304 4196468 140733215591728 140215787990160 140215920527061 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17080 KiB

[startup+0.209896 s]*
/proc/loadavg: 1.35 1.36 1.39 3/215 25046
/proc/meminfo: memFree=11706192/32770624 swapFree=67108404/67108860
[pid=24979] ppid=24976 vsize=10982744 memory=45164 CPUtime=0.25 cores=0,2,4,6
/proc/24979/stat : 24979 (java) S 24976 24979 21340 0 -1 1077944320 8027 13191 0 0 16 2 5 2 20 0 15 0 226213014 11246329856 11291 33554432000 4194304 4196468 140733215591728 140733215574272 140215920516855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
/proc/24979/statm: 2745686 11291 2946 1 0 2708109 0
[pid=24979/tid=25032] ppid=24976 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/24979/task/25032/stat : 25032 (java) R 24976 24979 21340 0 -1 4202560 4638 13191 0 0 10 1 5 2 20 0 15 0 226213023 11246329856 11357 33554432000 4194304 4196468 140733215591728 140215892337952 140215898941997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25033] ppid=24976 vsize=10982744 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25033/stat : 25033 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213024 11246329856 11357 33554432000 4194304 4196468 140733215591728 140215924759312 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25034] ppid=24976 vsize=10982744 memory=139721805728509 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25034/stat : 25034 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213024 11246329856 11357 33554432000 4194304 4196468 140733215591728 140215790095248 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25035] ppid=24976 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25035/stat : 25035 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213024 11246329856 11357 33554432000 4194304 4196468 140733215591728 140215789042704 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25037] ppid=24976 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25037/stat : 25037 (java) S 24976 24979 21340 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 226213024 11246329856 11357 33554432000 4194304 4196468 140733215591728 140215787990160 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25038] ppid=24976 vsize=10982744 memory=139721805706880 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25038/stat : 25038 (java) S 24976 24979 21340 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 226213025 11246329856 11357 33554432000 4194304 4196468 140733215591728 140215346411504 140215920528002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25039] ppid=24976 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25039/stat : 25039 (java) S 24976 24979 21340 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 226213026 11246329856 11357 33554432000 4194304 4196468 140733215591728 140214723928992 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25040] ppid=24976 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25040/stat : 25040 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213026 11246329856 11357 33554432000 4194304 4196468 140733215591728 140214576079856 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25041] ppid=24976 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25041/stat : 25041 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11246329856 11357 33554432000 4194304 4196468 140733215591728 140214268680400 140215920535451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25042] ppid=24976 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24979/task/25042/stat : 25042 (java) S 24976 24979 21340 0 -1 1077944384 486 13191 0 0 1 0 5 2 20 0 15 0 226213029 11246329856 11357 33554432000 4194304 4196468 140733215591728 140215345359344 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25043] ppid=24976 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25043/stat : 25043 (java) S 24976 24979 21340 0 -1 1077944384 129 13191 0 0 0 0 5 2 20 0 15 0 226213029 11246329856 11357 33554432000 4194304 4196468 140733215591728 140215344306800 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25044] ppid=24976 vsize=10982744 memory=139721805706880 CPUtime=0.09 cores=0,2,4,6
/proc/24979/task/25044/stat : 25044 (java) S 24976 24979 21340 0 -1 1077944384 610 13191 0 0 2 0 5 2 20 0 15 0 226213029 11246329856 11357 33554432000 4194304 4196468 140733215591728 140215343254256 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25045] ppid=24976 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25045/stat : 25045 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11246329856 11357 33554432000 4194304 4196468 140733215591728 140213837884512 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25046] ppid=24976 vsize=10982744 memory=139721805706880 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25046/stat : 25046 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213029 11246329856 11357 33554432000 4194304 4196468 140733215591728 140215342201136 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45164 KiB

[startup+0.310257 s]*
/proc/loadavg: 1.35 1.36 1.39 3/215 25046
/proc/meminfo: memFree=11693356/32770624 swapFree=67108404/67108860
[pid=24979] ppid=24976 vsize=10983192 memory=56376 CPUtime=0.38 cores=0,2,4,6
/proc/24979/stat : 24979 (java) S 24976 24979 21340 0 -1 1077944320 10589 13191 0 0 28 3 5 2 20 0 15 0 226213014 11246788608 14094 33554432000 4194304 4196468 140733215591728 140733215574272 140215920516855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
/proc/24979/statm: 2745798 14094 3093 1 0 2708109 0
[pid=24979/tid=25032] ppid=24976 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/24979/task/25032/stat : 25032 (java) R 24976 24979 21340 0 -1 4202560 7129 13191 0 0 19 2 5 2 20 0 15 0 226213023 11246788608 14094 33554432000 4194304 4196468 140733215591728 140215892328864 140215902080411 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25033] ppid=24976 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25033/stat : 25033 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213024 11246788608 14094 33554432000 4194304 4196468 140733215591728 140215924759312 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25034] ppid=24976 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25034/stat : 25034 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213024 11246788608 14094 33554432000 4194304 4196468 140733215591728 140215790095248 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25035] ppid=24976 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25035/stat : 25035 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213024 11246788608 14094 33554432000 4194304 4196468 140733215591728 140215789042704 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25037] ppid=24976 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25037/stat : 25037 (java) S 24976 24979 21340 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 226213024 11246788608 14094 33554432000 4194304 4196468 140733215591728 140215787990160 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25038] ppid=24976 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25038/stat : 25038 (java) S 24976 24979 21340 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 226213025 11246788608 14094 33554432000 4194304 4196468 140733215591728 140215346411504 140215920528002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25039] ppid=24976 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25039/stat : 25039 (java) S 24976 24979 21340 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 226213026 11246788608 14094 33554432000 4194304 4196468 140733215591728 140214723928992 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25040] ppid=24976 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25040/stat : 25040 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213026 11246788608 14094 33554432000 4194304 4196468 140733215591728 140214576079856 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25041] ppid=24976 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25041/stat : 25041 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11246788608 14094 33554432000 4194304 4196468 140733215591728 140214268680400 140215920535451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25042] ppid=24976 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24979/task/25042/stat : 25042 (java) S 24976 24979 21340 0 -1 1077944384 486 13191 0 0 1 0 5 2 20 0 15 0 226213029 11246788608 14094 33554432000 4194304 4196468 140733215591728 140215345359344 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25043] ppid=24976 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24979/task/25043/stat : 25043 (java) S 24976 24979 21340 0 -1 1077944384 132 13191 0 0 1 0 5 2 20 0 15 0 226213029 11246788608 14094 33554432000 4194304 4196468 140733215591728 140215344306800 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25044] ppid=24976 vsize=10983192 memory=139721805706880 CPUtime=0.11 cores=0,2,4,6
/proc/24979/task/25044/stat : 25044 (java) S 24976 24979 21340 0 -1 1077944384 622 13191 0 0 4 0 5 2 20 0 15 0 226213029 11246788608 14094 33554432000 4194304 4196468 140733215591728 140215343254256 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25045] ppid=24976 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25045/stat : 25045 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11246788608 14094 33554432000 4194304 4196468 140733215591728 140213837884512 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25046] ppid=24976 vsize=10983192 memory=139721805706880 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25046/stat : 25046 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213029 11246788608 14094 33554432000 4194304 4196468 140733215591728 140215342201136 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56376 KiB

[startup+0.700723 s]
/proc/loadavg: 1.35 1.36 1.39 3/215 25046
/proc/meminfo: memFree=11683372/32770624 swapFree=67108404/67108860
[pid=24979] ppid=24976 vsize=10983192 memory=88548 CPUtime=0.98 cores=0,2,4,6
/proc/24979/stat : 24979 (java) S 24976 24979 21340 0 -1 1077944320 16758 13191 0 0 87 4 5 2 20 0 15 0 226213014 11246788608 22137 33554432000 4194304 4196468 140733215591728 140733215574272 140215920516855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
/proc/24979/statm: 2745798 22137 3238 1 0 2708109 0
[pid=24979/tid=25032] ppid=24976 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/24979/task/25032/stat : 25032 (java) R 24976 24979 21340 0 -1 4202560 12232 13191 0 0 56 3 5 2 20 0 15 0 226213023 11246788608 22137 33554432000 4194304 4196468 140733215591728 140215892337680 140215903703685 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25033] ppid=24976 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25033/stat : 25033 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213024 11246788608 22137 33554432000 4194304 4196468 140733215591728 140215924759312 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25034] ppid=24976 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25034/stat : 25034 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213024 11246788608 22137 33554432000 4194304 4196468 140733215591728 140215790095248 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25035] ppid=24976 vsize=10983192 memory=139721661625136 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25035/stat : 25035 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213024 11246788608 22137 33554432000 4194304 4196468 140733215591728 140215789042704 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25037] ppid=24976 vsize=10983192 memory=139723876074060 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25037/stat : 25037 (java) S 24976 24979 21340 0 -1 1077944384 2 13191 0 0 0 0 5 2 20 0 15 0 226213024 11246788608 22137 33554432000 4194304 4196468 140733215591728 140215787990160 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25038] ppid=24976 vsize=10983192 memory=4000 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25038/stat : 25038 (java) S 24976 24979 21340 0 -1 1077944384 6 13191 0 0 0 0 5 2 20 0 15 0 226213025 11246788608 22137 33554432000 4194304 4196468 140733215591728 140215346411504 140215920528002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25039] ppid=24976 vsize=10983192 memory=4639098309541128813 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25039/stat : 25039 (java) S 24976 24979 21340 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 226213026 11246788608 22137 33554432000 4194304 4196468 140733215591728 140214723928992 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25040] ppid=24976 vsize=10983192 memory=6082220498126138728 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25040/stat : 25040 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213026 11246788608 22137 33554432000 4194304 4196468 140733215591728 140214576079856 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25041] ppid=24976 vsize=10983192 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25041/stat : 25041 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11246788608 22137 33554432000 4194304 4196468 140733215591728 140214268680400 140215920535451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25042] ppid=24976 vsize=10983192 memory=33964 CPUtime=0.13 cores=0,2,4,6
/proc/24979/task/25042/stat : 25042 (java) S 24976 24979 21340 0 -1 1077944384 858 13191 0 0 6 0 5 2 20 0 15 0 226213029 11246788608 22137 33554432000 4194304 4196468 140733215591728 140215345359344 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25043] ppid=24976 vsize=10983192 memory=14644 CPUtime=0.17 cores=0,2,4,6
/proc/24979/task/25043/stat : 25043 (java) S 24976 24979 21340 0 -1 1077944384 752 13191 0 0 10 0 5 2 20 0 15 0 226213029 11246788608 22137 33554432000 4194304 4196468 140733215591728 140215344306800 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25044] ppid=24976 vsize=10983192 memory=1720 CPUtime=0.2 cores=0,2,4,6
/proc/24979/task/25044/stat : 25044 (java) S 24976 24979 21340 0 -1 1077944384 692 13191 0 0 13 0 5 2 20 0 15 0 226213029 11246788608 22137 33554432000 4194304 4196468 140733215591728 140215343254256 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25045] ppid=24976 vsize=10983192 memory=508 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25045/stat : 25045 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11246788608 22137 33554432000 4194304 4196468 140733215591728 140213837884512 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25046] ppid=24976 vsize=10983192 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25046/stat : 25046 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213029 11246788608 22137 33554432000 4194304 4196468 140733215591728 140215342201136 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88548 KiB

[startup+1.50107 s]
/proc/loadavg: 1.35 1.36 1.39 4/215 25046
/proc/meminfo: memFree=11637512/32770624 swapFree=67108404/67108860
[pid=24979] ppid=24976 vsize=10991948 memory=318312 CPUtime=3.02 cores=0,2,4,6
/proc/24979/stat : 24979 (java) S 24976 24979 21340 0 -1 1077944320 23067 13191 0 0 276 19 5 2 20 0 15 0 226213014 11255754752 79578 33554432000 4194304 4196468 140733215591728 140733215574272 140215920516855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
/proc/24979/statm: 2747987 79578 3468 1 0 2709645 0
[pid=24979/tid=25032] ppid=24976 vsize=10991948 memory=65228 CPUtime=1.4 cores=0,2,4,6
/proc/24979/task/25032/stat : 25032 (java) R 24976 24979 21340 0 -1 4202560 15017 13191 0 0 125 8 5 2 20 0 15 0 226213023 11255754752 79578 33554432000 4194304 4196468 140733215591728 140215892346880 140215465376160 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25033] ppid=24976 vsize=10991948 memory=6791534058613427641 CPUtime=0.1 cores=0,2,4,6
/proc/24979/task/25033/stat : 25033 (java) S 24976 24979 21340 0 -1 1077944384 39 13191 0 0 1 2 5 2 20 0 15 0 226213024 11255754752 79578 33554432000 4194304 4196468 140733215591728 140215924759312 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25034] ppid=24976 vsize=10991948 memory=279443323281568 CPUtime=0.1 cores=0,2,4,6
/proc/24979/task/25034/stat : 25034 (java) S 24976 24979 21340 0 -1 1077944384 245 13191 0 0 1 2 5 2 20 0 15 0 226213024 11255754752 79578 33554432000 4194304 4196468 140733215591728 140215790095248 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25035] ppid=24976 vsize=10991948 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/24979/task/25035/stat : 25035 (java) S 24976 24979 21340 0 -1 1077944384 151 13191 0 0 2 2 5 2 20 0 15 0 226213024 11255754752 79578 33554432000 4194304 4196468 140733215591728 140215789042704 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25037] ppid=24976 vsize=10991948 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24979/task/25037/stat : 25037 (java) S 24976 24979 21340 0 -1 1077944384 35 13191 0 0 1 1 5 2 20 0 15 0 226213024 11255754752 79578 33554432000 4194304 4196468 140733215591728 140215787990160 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25038] ppid=24976 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25038/stat : 25038 (java) S 24976 24979 21340 0 -1 1077944384 94 13191 0 0 0 0 5 2 20 0 15 0 226213025 11255754752 79578 33554432000 4194304 4196468 140733215591728 140215346411504 140215920528002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25039] ppid=24976 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25039/stat : 25039 (java) S 24976 24979 21340 0 -1 1077944384 13 13191 0 0 0 0 5 2 20 0 15 0 226213026 11255754752 79578 33554432000 4194304 4196468 140733215591728 140214723928992 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25040] ppid=24976 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25040/stat : 25040 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213026 11255754752 79578 33554432000 4194304 4196468 140733215591728 140214576079856 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25041] ppid=24976 vsize=10991948 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25041/stat : 25041 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11255754752 79578 33554432000 4194304 4196468 140733215591728 140214268680400 140215920535451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25042] ppid=24976 vsize=10991948 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/24979/task/25042/stat : 25042 (java) R 24976 24979 21340 0 -1 4202560 2175 13191 0 0 50 0 5 2 20 0 15 0 226213029 11255754752 79578 33554432000 4194304 4196468 140733215591728 140215345344496 140215899764220 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25043] ppid=24976 vsize=10991948 memory=10 CPUtime=0.56 cores=0,2,4,6
/proc/24979/task/25043/stat : 25043 (java) R 24976 24979 21340 0 -1 4202560 1691 13191 0 0 49 0 5 2 20 0 15 0 226213029 11255754752 79578 33554432000 4194304 4196468 140733215591728 140215344299288 140215898902857 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25044] ppid=24976 vsize=10991948 memory=6791534058613427641 CPUtime=0.49 cores=0,2,4,6
/proc/24979/task/25044/stat : 25044 (java) S 24976 24979 21340 0 -1 1077944384 1405 13191 0 0 42 0 5 2 20 0 15 0 226213029 11255754752 79578 33554432000 4194304 4196468 140733215591728 140215343254256 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25045] ppid=24976 vsize=10991948 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25045/stat : 25045 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11255754752 79578 33554432000 4194304 4196468 140733215591728 140213837884512 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25046] ppid=24976 vsize=10991948 memory=279443323526016 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25046/stat : 25046 (java) S 24976 24979 21340 0 -1 1077944384 1 13191 0 0 0 0 5 2 20 0 15 0 226213029 11255754752 79578 33554432000 4194304 4196468 140733215591728 140215342201136 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 10991948 KiB

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

[pid=24979/tid=25037] ppid=24976 vsize=11082080 memory=3931828 CPUtime=10.13 cores=0,2,4,6
/proc/24979/task/25037/stat : 25037 (java) S 24976 24979 21340 0 -1 1077944384 55568 13191 0 0 950 56 5 2 20 0 15 0 226213024 11348049920 982957 33554432000 4194304 4196468 140733215591728 140215787990160 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25038] ppid=24976 vsize=11082080 memory=3931828 CPUtime=0.61 cores=0,2,4,6
/proc/24979/task/25038/stat : 25038 (java) S 24976 24979 21340 0 -1 1077944384 36957 13191 0 0 47 7 5 2 20 0 15 0 226213025 11348049920 982957 33554432000 4194304 4196468 140733215591728 140215346411504 140215920528002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25039] ppid=24976 vsize=11082080 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25039/stat : 25039 (java) S 24976 24979 21340 0 -1 1077944384 16 13191 0 0 0 0 5 2 20 0 15 0 226213026 11348049920 982957 33554432000 4194304 4196468 140733215591728 140214723929056 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25040] ppid=24976 vsize=11082080 memory=3932660 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25040/stat : 25040 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213026 11348049920 982957 33554432000 4194304 4196468 140733215591728 140214576079872 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25041] ppid=24976 vsize=11082080 memory=3932660 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25041/stat : 25041 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11348049920 982957 33554432000 4194304 4196468 140733215591728 140214268680400 140215920535451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25042] ppid=24976 vsize=11082080 memory=1172 CPUtime=9.39 cores=0,2,4,6
/proc/24979/task/25042/stat : 25042 (java) S 24976 24979 21340 0 -1 1077944384 96269 13191 0 0 924 8 5 2 20 0 15 0 226213029 11348049920 982957 33554432000 4194304 4196468 140733215591728 140215345359344 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25043] ppid=24976 vsize=11082080 memory=2404 CPUtime=11.07 cores=0,2,4,6
/proc/24979/task/25043/stat : 25043 (java) S 24976 24979 21340 0 -1 1077944384 92443 13191 0 0 1090 10 5 2 20 0 15 0 226213029 11348049920 982957 33554432000 4194304 4196468 140733215591728 140215344306800 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25044] ppid=24976 vsize=11082080 memory=3931828 CPUtime=3.57 cores=0,2,4,6
/proc/24979/task/25044/stat : 25044 (java) S 24976 24979 21340 0 -1 1077944384 72237 13191 0 0 341 9 5 2 20 0 15 0 226213029 11348049920 982957 33554432000 4194304 4196468 140733215591728 140215343254256 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25045] ppid=24976 vsize=11082080 memory=15212 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25045/stat : 25045 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11348049920 982957 33554432000 4194304 4196468 140733215591728 140213837884512 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25046] ppid=24976 vsize=11082080 memory=4000 CPUtime=1.3 cores=0,2,4,6
/proc/24979/task/25046/stat : 25046 (java) S 24976 24979 21340 0 -1 1077944384 4950 13191 0 0 64 59 5 2 20 0 15 0 226213029 11348049920 982957 33554432000 4194304 4196468 140733215591728 140215342201136 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
Current children cumulated CPU time: 2377.31 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3931828 KiB

[startup+2382.3 s]
/proc/loadavg: 2.24 1.93 1.82 3/215 25512
/proc/meminfo: memFree=5503092/32770624 swapFree=67108404/67108860
[pid=24979] ppid=24976 vsize=11082080 memory=3916448 CPUtime=2437.67 cores=0,2,4,6
/proc/24979/stat : 24979 (java) S 24976 24979 21340 0 -1 1077944320 1154713 13191 0 0 243362 398 5 2 20 0 15 0 226213014 11348049920 979112 33554432000 4194304 4196468 140733215591728 140733215574272 140215920516855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
/proc/24979/statm: 2770520 979112 3538 1 0 2732173 0
[pid=24979/tid=25032] ppid=24976 vsize=11082080 memory=15212 CPUtime=2371.31 cores=0,2,4,6
/proc/24979/task/25032/stat : 25032 (java) R 24976 24979 21340 0 -1 4202560 589768 13191 0 0 237031 93 5 2 20 0 15 0 226213023 11348049920 979112 33554432000 4194304 4196468 140733215591728 140215892349944 140215480965274 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25033] ppid=24976 vsize=11082080 memory=3921068 CPUtime=10.19 cores=0,2,4,6
/proc/24979/task/25033/stat : 25033 (java) S 24976 24979 21340 0 -1 1077944384 65835 13191 0 0 961 51 5 2 20 0 15 0 226213024 11348049920 979112 33554432000 4194304 4196468 140733215591728 140215924759312 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25034] ppid=24976 vsize=11082080 memory=3921068 CPUtime=10.18 cores=0,2,4,6
/proc/24979/task/25034/stat : 25034 (java) S 24976 24979 21340 0 -1 1077944384 66882 13191 0 0 955 56 5 2 20 0 15 0 226213024 11348049920 979112 33554432000 4194304 4196468 140733215591728 140215790095248 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25035] ppid=24976 vsize=11082080 memory=3921068 CPUtime=10.19 cores=0,2,4,6
/proc/24979/task/25035/stat : 25035 (java) S 24976 24979 21340 0 -1 1077944384 62162 13191 0 0 957 55 5 2 20 0 15 0 226213024 11348049920 979112 33554432000 4194304 4196468 140733215591728 140215789042704 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25037] ppid=24976 vsize=11082080 memory=3921068 CPUtime=10.2 cores=0,2,4,6
/proc/24979/task/25037/stat : 25037 (java) S 24976 24979 21340 0 -1 1077944384 58276 13191 0 0 957 56 5 2 20 0 15 0 226213024 11348049920 979112 33554432000 4194304 4196468 140733215591728 140215787990160 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25038] ppid=24976 vsize=11082080 memory=3921068 CPUtime=0.62 cores=0,2,4,6
/proc/24979/task/25038/stat : 25038 (java) S 24976 24979 21340 0 -1 1077944384 37232 13191 0 0 47 8 5 2 20 0 15 0 226213025 11348049920 979112 33554432000 4194304 4196468 140733215591728 140215346411504 140215920528002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25039] ppid=24976 vsize=11082080 memory=3916448 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25039/stat : 25039 (java) S 24976 24979 21340 0 -1 1077944384 16 13191 0 0 0 0 5 2 20 0 15 0 226213026 11348049920 979112 33554432000 4194304 4196468 140733215591728 140214723929056 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25040] ppid=24976 vsize=11082080 memory=3916448 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25040/stat : 25040 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213026 11348049920 979112 33554432000 4194304 4196468 140733215591728 140214576079872 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25041] ppid=24976 vsize=11082080 memory=3684 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25041/stat : 25041 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11348049920 979112 33554432000 4194304 4196468 140733215591728 140214268680400 140215920535451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25042] ppid=24976 vsize=11082080 memory=3931840 CPUtime=9.44 cores=0,2,4,6
/proc/24979/task/25042/stat : 25042 (java) S 24976 24979 21340 0 -1 1077944384 99499 13191 0 0 929 8 5 2 20 0 15 0 226213029 11348049920 979112 33554432000 4194304 4196468 140733215591728 140215345359344 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25043] ppid=24976 vsize=11082080 memory=3921068 CPUtime=11.13 cores=0,2,4,6
/proc/24979/task/25043/stat : 25043 (java) S 24976 24979 21340 0 -1 1077944384 93576 13191 0 0 1096 10 5 2 20 0 15 0 226213029 11348049920 979112 33554432000 4194304 4196468 140733215591728 140215344306800 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25044] ppid=24976 vsize=11082080 memory=4044 CPUtime=3.6 cores=0,2,4,6
/proc/24979/task/25044/stat : 25044 (java) S 24976 24979 21340 0 -1 1077944384 74199 13191 0 0 344 9 5 2 20 0 15 0 226213029 11348049920 979112 33554432000 4194304 4196468 140733215591728 140215343254256 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25045] ppid=24976 vsize=11082080 memory=33996 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25045/stat : 25045 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11348049920 979112 33554432000 4194304 4196468 140733215591728 140213837884512 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25046] ppid=24976 vsize=11082080 memory=508 CPUtime=1.33 cores=0,2,4,6
/proc/24979/task/25046/stat : 25046 (java) S 24976 24979 21340 0 -1 1077944384 5067 13191 0 0 66 60 5 2 20 0 15 0 226213029 11348049920 979112 33554432000 4194304 4196468 140733215591728 140215342201136 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
Current children cumulated CPU time: 2437.67 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3916448 KiB

[startup+2442.3 s]
/proc/loadavg: 1.97 1.90 1.82 3/215 25513
/proc/meminfo: memFree=5335860/32770624 swapFree=67108404/67108860
[pid=24979] ppid=24976 vsize=11082080 memory=3866520 CPUtime=2498 cores=0,2,4,6
/proc/24979/stat : 24979 (java) S 24976 24979 21340 0 -1 1077944320 1173579 13191 0 0 249392 401 5 2 20 0 15 0 226213014 11348049920 966630 33554432000 4194304 4196468 140733215591728 140733215574272 140215920516855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
/proc/24979/statm: 2770520 966630 3538 1 0 2732173 0
[pid=24979/tid=25032] ppid=24976 vsize=11082080 memory=3866520 CPUtime=2431.23 cores=0,2,4,6
/proc/24979/task/25032/stat : 25032 (java) R 24976 24979 21340 0 -1 4202560 597367 13191 0 0 243023 93 5 2 20 0 15 0 226213023 11348049920 966630 33554432000 4194304 4196468 140733215591728 140215892351848 140215475732199 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25033] ppid=24976 vsize=11082080 memory=3904716 CPUtime=10.26 cores=0,2,4,6
/proc/24979/task/25033/stat : 25033 (java) S 24976 24979 21340 0 -1 1077944384 67123 13191 0 0 968 51 5 2 20 0 15 0 226213024 11348049920 966630 33554432000 4194304 4196468 140733215591728 140215924759312 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25034] ppid=24976 vsize=11082080 memory=3886256 CPUtime=10.24 cores=0,2,4,6
/proc/24979/task/25034/stat : 25034 (java) S 24976 24979 21340 0 -1 1077944384 69436 13191 0 0 961 56 5 2 20 0 15 0 226213024 11348049920 966630 33554432000 4194304 4196468 140733215591728 140215790095248 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25035] ppid=24976 vsize=11082080 memory=3876256 CPUtime=10.25 cores=0,2,4,6
/proc/24979/task/25035/stat : 25035 (java) S 24976 24979 21340 0 -1 1077944384 63314 13191 0 0 963 55 5 2 20 0 15 0 226213024 11348049920 966630 33554432000 4194304 4196468 140733215591728 140215789042704 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25037] ppid=24976 vsize=11082080 memory=3876264 CPUtime=10.26 cores=0,2,4,6
/proc/24979/task/25037/stat : 25037 (java) S 24976 24979 21340 0 -1 1077944384 59886 13191 0 0 963 56 5 2 20 0 15 0 226213024 11348049920 966630 33554432000 4194304 4196468 140733215591728 140215787990160 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25038] ppid=24976 vsize=11082080 memory=3866520 CPUtime=0.63 cores=0,2,4,6
/proc/24979/task/25038/stat : 25038 (java) S 24976 24979 21340 0 -1 1077944384 37517 13191 0 0 48 8 5 2 20 0 15 0 226213025 11348049920 966630 33554432000 4194304 4196468 140733215591728 140215346411504 140215920528002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25039] ppid=24976 vsize=11082080 memory=3866520 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25039/stat : 25039 (java) S 24976 24979 21340 0 -1 1077944384 16 13191 0 0 0 0 5 2 20 0 15 0 226213026 11348049920 966630 33554432000 4194304 4196468 140733215591728 140214723929056 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25040] ppid=24976 vsize=11082080 memory=3684 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25040/stat : 25040 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213026 11348049920 966630 33554432000 4194304 4196468 140733215591728 140214576079872 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25041] ppid=24976 vsize=11082080 memory=61608 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25041/stat : 25041 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11348049920 966630 33554432000 4194304 4196468 140733215591728 140214268680400 140215920535451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25042] ppid=24976 vsize=11082080 memory=1160 CPUtime=9.49 cores=0,2,4,6
/proc/24979/task/25042/stat : 25042 (java) S 24976 24979 21340 0 -1 1077944384 101489 13191 0 0 933 9 5 2 20 0 15 0 226213029 11348049920 966630 33554432000 4194304 4196468 140733215591728 140215345359344 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25043] ppid=24976 vsize=11082080 memory=1784 CPUtime=11.17 cores=0,2,4,6
/proc/24979/task/25043/stat : 25043 (java) S 24976 24979 21340 0 -1 1077944384 94839 13191 0 0 1100 10 5 2 20 0 15 0 226213029 11348049920 966630 33554432000 4194304 4196468 140733215591728 140215344306800 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25044] ppid=24976 vsize=11082080 memory=3866520 CPUtime=3.61 cores=0,2,4,6
/proc/24979/task/25044/stat : 25044 (java) S 24976 24979 21340 0 -1 1077944384 75285 13191 0 0 345 9 5 2 20 0 15 0 226213029 11348049920 966630 33554432000 4194304 4196468 140733215591728 140215343254256 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25045] ppid=24976 vsize=11082080 memory=3866520 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25045/stat : 25045 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11348049920 966630 33554432000 4194304 4196468 140733215591728 140213837884512 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25046] ppid=24976 vsize=11082080 memory=3866520 CPUtime=1.36 cores=0,2,4,6
/proc/24979/task/25046/stat : 25046 (java) S 24976 24979 21340 0 -1 1077944384 5106 13191 0 0 67 62 5 2 20 0 15 0 226213029 11348049920 966630 33554432000 4194304 4196468 140733215591728 140215342201136 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
Current children cumulated CPU time: 2498 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3866520 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2464.2 s]
/proc/loadavg: 2.09 1.94 1.84 3/215 25513
/proc/meminfo: memFree=5352344/32770624 swapFree=67108404/67108860
[pid=24979] ppid=24976 vsize=11082080 memory=3842480 CPUtime=2520.03 cores=0,2,4,6
/proc/24979/stat : 24979 (java) S 24976 24979 21340 0 -1 1077944320 1181708 13191 0 0 251594 402 5 2 20 0 15 0 226213014 11348049920 960620 33554432000 4194304 4196468 140733215591728 140733215574272 140215920516855 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
/proc/24979/statm: 2770520 960620 3538 1 0 2732173 0
[pid=24979/tid=25032] ppid=24976 vsize=11082080 memory=6791534058613427641 CPUtime=2453.1 cores=0,2,4,6
/proc/24979/task/25032/stat : 25032 (java) R 24976 24979 21340 0 -1 4202560 599002 13191 0 0 245209 94 5 2 20 0 15 0 226213023 11348049920 960620 33554432000 4194304 4196468 140733215591728 140215892352128 140215479589678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25033] ppid=24976 vsize=11082080 memory=928 CPUtime=10.28 cores=0,2,4,6
/proc/24979/task/25033/stat : 25033 (java) S 24976 24979 21340 0 -1 1077944384 68069 13191 0 0 970 51 5 2 20 0 15 0 226213024 11348049920 960620 33554432000 4194304 4196468 140733215591728 140215924759312 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25034] ppid=24976 vsize=11082080 memory=2216 CPUtime=10.27 cores=0,2,4,6
/proc/24979/task/25034/stat : 25034 (java) S 24976 24979 21340 0 -1 1077944384 69972 13191 0 0 964 56 5 2 20 0 15 0 226213024 11348049920 960620 33554432000 4194304 4196468 140733215591728 140215790095248 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25035] ppid=24976 vsize=11082080 memory=3984 CPUtime=10.28 cores=0,2,4,6
/proc/24979/task/25035/stat : 25035 (java) S 24976 24979 21340 0 -1 1077944384 63589 13191 0 0 966 55 5 2 20 0 15 0 226213024 11348049920 960620 33554432000 4194304 4196468 140733215591728 140215789042704 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25037] ppid=24976 vsize=11082080 memory=2144 CPUtime=10.29 cores=0,2,4,6
/proc/24979/task/25037/stat : 25037 (java) S 24976 24979 21340 0 -1 1077944384 60335 13191 0 0 966 56 5 2 20 0 15 0 226213024 11348049920 960620 33554432000 4194304 4196468 140733215591728 140215787990160 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25038] ppid=24976 vsize=11082080 memory=7540 CPUtime=0.64 cores=0,2,4,6
/proc/24979/task/25038/stat : 25038 (java) S 24976 24979 21340 0 -1 1077944384 37804 13191 0 0 48 9 5 2 20 0 15 0 226213025 11348049920 960620 33554432000 4194304 4196468 140733215591728 140215346411504 140215920528002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25039] ppid=24976 vsize=11082080 memory=14644 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25039/stat : 25039 (java) S 24976 24979 21340 0 -1 1077944384 16 13191 0 0 0 0 5 2 20 0 15 0 226213026 11348049920 960620 33554432000 4194304 4196468 140733215591728 140214723929056 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25040] ppid=24976 vsize=11082080 memory=1720 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25040/stat : 25040 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213026 11348049920 960620 33554432000 4194304 4196468 140733215591728 140214576079872 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25041] ppid=24976 vsize=11082080 memory=508 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25041/stat : 25041 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11348049920 960620 33554432000 4194304 4196468 140733215591728 140214268680400 140215920535451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25042] ppid=24976 vsize=11082080 memory=928 CPUtime=9.51 cores=0,2,4,6
/proc/24979/task/25042/stat : 25042 (java) S 24976 24979 21340 0 -1 1077944384 103647 13191 0 0 935 9 5 2 20 0 15 0 226213029 11348049920 960620 33554432000 4194304 4196468 140733215591728 140215345359344 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25043] ppid=24976 vsize=11082080 memory=1172 CPUtime=11.18 cores=0,2,4,6
/proc/24979/task/25043/stat : 25043 (java) S 24976 24979 21340 0 -1 1077944384 95312 13191 0 0 1101 10 5 2 20 0 15 0 226213029 11348049920 960620 33554432000 4194304 4196468 140733215591728 140215344306800 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25044] ppid=24976 vsize=11082080 memory=2404 CPUtime=3.62 cores=0,2,4,6
/proc/24979/task/25044/stat : 25044 (java) S 24976 24979 21340 0 -1 1077944384 76622 13191 0 0 346 9 5 2 20 0 15 0 226213029 11348049920 960620 33554432000 4194304 4196468 140733215591728 140215343254256 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25045] ppid=24976 vsize=11082080 memory=1576 CPUtime=0.07 cores=0,2,4,6
/proc/24979/task/25045/stat : 25045 (java) S 24976 24979 21340 0 -1 1077944384 3 13191 0 0 0 0 5 2 20 0 15 0 226213029 11348049920 960620 33554432000 4194304 4196468 140733215591728 140213837884512 140215920527061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
[pid=24979/tid=25046] ppid=24976 vsize=11082080 memory=928 CPUtime=1.37 cores=0,2,4,6
/proc/24979/task/25046/stat : 25046 (java) S 24976 24979 21340 0 -1 1077944384 5139 13191 0 0 68 62 5 2 20 0 15 0 226213029 11348049920 960620 33554432000 4194304 4196468 140733215591728 140215342201136 140215920528002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21708800 140733215599203 140733215602012 140733215602012 140733215604687 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3842480 KiB

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

[startup+2464.31 s]
# the end of solver process 24979 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.06 s, system=4.09341 s

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

[startup+2464.31 s]*
/proc/loadavg: 2.09 1.94 1.84 3/202 25515
/proc/meminfo: memFree=9123076/32770624 swapFree=67108404/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 2464.31
CPU time (s): 2520.16
CPU user time (s): 2516.06
CPU system time (s): 4.09341
CPU usage (%): 102.266
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 3932852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.07
system time used= 4.09341
maximum resident set size= 3932852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1196408
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= 72598
involuntary context switches= 4246


# summary of solver processes directly reported to runsolver:
#   pid: 24979
#   total CPU time (s): 2520.16
#   total CPU user time (s): 2516.06
#   total CPU system time (s): 4.09341

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4961 second user time and 23.7488 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-12 17:08:19
IDJOB=4304422
IDBENCH=141259
IDSOLVER=2781
FILE ID=node148/4304422-1534086498
RUNJOBID= node148-1534062012-21371
PBS_JOBID= 21036979
Free space on /tmp= 33916 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test01-0150_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304422-1534086498/watcher-4304422-1534086498 -o /tmp/evaluation-result-4304422-1534086498/solver-4304422-1534086498 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21371 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1336661604 -superng HOME/instance-4304422-1534086498.xml

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

MD5SUM BENCH= deef1e755c9079fc369bbf159731f616
RANDOM SEED=1336661604

node148.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.50
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.50
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.50
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.50
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:        11735152 kB
MemAvailable:   31289132 kB
Buffers:          248708 kB
Cached:         19262072 kB
SwapCached:          352 kB
Active:          9548308 kB
Inactive:       10629544 kB
Active(anon):     619940 kB
Inactive(anon):    99500 kB
Active(file):    8928368 kB
Inactive(file): 10530044 kB
Unevictable:        7340 kB
Mlocked:            7340 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:             71448 kB
Writeback:             0 kB
AnonPages:        673936 kB
Mapped:            67324 kB
Shmem:             49592 kB
Slab:             552008 kB
SReclaimable:     524028 kB
SUnreclaim:        27980 kB
KernelStack:        3568 kB
PageTables:         6700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1802348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    577536 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 33824 MiB
End job on node148 at 2018-08-12 17:49:23