Trace number 4302948

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)50572912 252.163 191.451

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.99/0.74	c Concrete v3.9.2.1532736233296 running
45.21/26.96	o 50572940
45.70/27.16	o 50572931
45.96/27.22	o 50572925
45.96/27.26	o 50572921
46.27/27.32	o 50572912
252.09/191.41	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.09/191.41		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.09/191.41		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.09/191.41		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
252.09/191.41		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
252.09/191.41		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
252.09/191.41		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.09/191.41		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
252.09/191.41		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.09/191.41		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.09/191.41		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.09/191.41		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.09/191.41		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.09/191.41		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.09/191.41		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.09/191.41		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.09/191.41		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.09/191.41		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.09/191.41		at scala.Option.map(Option.scala:146)
252.09/191.41		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.09/191.41		at concrete.MAC.mac(MAC.scala:203)
252.09/191.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.09/191.41		at scala.util.Try$.apply(Try.scala:209)
252.09/191.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.09/191.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.09/191.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.09/191.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.09/191.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.09/191.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.09/191.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.09/191.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.09/191.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.09/191.41		at concrete.MAC.oneRun(MAC.scala:253)
252.09/191.41		at concrete.MAC.nextSolution(MAC.scala:272)
252.09/191.41		at concrete.MAC.nextSolution(MAC.scala:355)
252.09/191.41		at concrete.Solver.hasNext(Solver.scala:166)
252.09/191.41		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.09/191.41		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.09/191.41		at concrete.Solver.foreach(Solver.scala:68)
252.09/191.41		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.09/191.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.09/191.41		at scala.util.Success.map(Try.scala:209)
252.09/191.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.09/191.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.09/191.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.09/191.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.09/191.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.09/191.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.09/191.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.09/191.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.09/191.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.09/191.41		at scala.collection.immutable.List.foreach(List.scala:389)
252.09/191.41		at scala.App.main(App.scala:76)
252.09/191.41		at scala.App.main$(App.scala:74)
252.09/191.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.09/191.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.09/191.42	v <instantiation cost="50572912">
252.09/191.42	v       <list>
252.09/191.42	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]
252.09/191.42	v       </list>
252.09/191.42	v       <values>
252.09/191.42	v         2700 2692 2424 2320 2520 2600 2140 2504 2620 2620 2512 2180 2596 2484 2300 2304 2432 2620 2232 2660 2660 2620 2556 2700 2140 2424 2660 2264 2660 2620 2180 2380 2660 2684 2700 2544 2180 2200 2560 2228 2484 2468 2684 2188 2200 2240 2444 2256 2524 2448 2672 2596 2520 2560 2296 2652 2644 2324 2336 2272 2428 2632 2668 2160 2636 2340 2180 2620 2340 2280 2384 2660 2644 2628 2604 2220 2476 2160 2424 2140 2392 2680 2220 2120 2488 2220 2556 2552 2268 2432 2672 2584 2660 2580 2472 2596 2392 2364 2436 2432 2180 2696 2412 2704 2484 2644 2400 2200 2700 2220 2700 2180 2700 2700 2700 2308 2160 2632 2660 2180 2160 2556 2632 2672 2220 2660 2220 2660 2660 2640 2452 2180 2444 2660 2296 2664 2120 2656 2676 2440 2160 2464 2544 2560 2660 2384 2680 2120 2180 2640 1 1 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 1 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 1 11 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 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 1 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 1 0 1 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 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 0 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 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 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 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 1 0 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 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 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 10 0 0 1 1 0 10 1 0 0 2 0 0 0 0 1 0 7 0 0 0 10 1 0 1 10 1 1 10 0 0 0 0 10 0 10 0 8 0 6 1 0 0 0 2 0 0 6 1 0 0 0 1 0 1 2 1 10 0 7 1 10 0 0 0 0 0 7 0 0 6 0 0 0 0 10 0 1 0 0 0 0 0 0 4 1 0 0 1 0 1 0 0 10 1 10 0 10 3 0 0 0 0 0 0 1 9 10 0 0 10 0 1 4 0 0 0 0 1 0 9 0 0 0 10 5 0 0 8 0 0 0 0 0 1 0 10 10 5 1 0 1 7 0 1 0 0 8 0 0 1 10 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 3 0 3 1 9 0 3 10 0 2 0 6 0 10 0 7 0 10 5 8 0 9 0 10 0 10 0 0 0 8 0 0 10 6 0 4 0 0 0 10 0 0 0 0 0 0 10 0 1 0 10 10 0 10 0 0 3 0 0 1 0 0 1 0 0 0 0 9 0 0 0 0 6 2 0 0 8 0 0 0 0 0 1 6 0 1 0 0 0 0 0 0 0 0 10 6 1 5 0 0 1 0 0 0 4 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 0 0 0 0 0 0 10 0 1 0 0 1 0 10 0 0 0 0 0 1 10 0 0 0 0 0 0 1 0 3 4 9 0 0 0 2 10 0 1 0 10 0 0 0 1 0 0 9 10 0 0 0 10 0 0 6 0 10 7 0 0 1 0 0 8 4 0 0 0 1 1 0 1 10 8 0 10 1 0 8 0 10 0 0 4 10 0 0 0 10 0 0 7 7 10 0 0 0 6 0 0 0 0 0 0 0 1 4 1 0 0 0 0 4 0 0 0 0 1 10 0 0 0 4 0 1 0 0 0 0 0 4 7 0 3 0 0 1 1 6 0 1 0 1 1 10 0 0 0 0 0 0 0 10 1 0 1 0 0 1 0 0 5 0 0 0 0 7 10 0 1 0 0 0 0 6 0 7 1 0 0 10 1 0 1 9 1 0 1 0 1 0 0 1 0 0 0 0 9 5 0 10 0 0 0 0 10 0 0 5 0 1 1 1 0 0 0 1 0 0 6 0 0 1 0 0 10 1 1 0 0 1 1 10 6 1 2 0 0 1 1 3 0 1 0 0 9 1 10 10 0 0 5 0 0 0 0 0 0 7 0 0 0 0 0 10 0 5 0 0 0 0 1 3 5 0 0 0 10 1 0 0 0 0 0 1 0 10 0 0 1 0 3 0 0 9 10 0 4 0 0 0 9 1 5 10 0 1 0 0 0 0 0 0 10 10 10 1 1 0 0 10 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 6 0 0 0 0 5 1 0 10 0 0 0 0 0 7 0 0 0 7 0 0 0 8 0 0 9 0 0 0 0 0 8 0 1 10 0 0 0 0 0 0 9 10 9 0 0 0 80 80 28 540 40 148 228 180 460 8 268 32 168 368 24 208 292 532 308 236 276 264 244 136 200 140 180 324 140 140 280 224 148 252 120 340 120 400 116 84 412 156 260 380 380 116 164 404 60 100 184 336 440 560 560 40 324 20 8 324 204 124 156 60 208 284 196 136 40 40 136 172 296 284 132 440 400 20 44 440 136 440 340 24 480 64 52 168 324 36 236 208 280 88 352 392 80 80 352 148 480 504 464 452 456 40 220 480 40 36 76 48 324 64 48 120 172 204 328 60 344 176 152 136 120 304 184 400 164 164 124 256 32 356 252 108 340 124 144 228 168 268 176 152 40 212 208 420 80 460 52 48 52 72 208 116 500 480 192 8 108 28 104 20 16 392 284 460 460 228 60 500 52 80 400 40 500 36 4 216 124 28 104 40 104 376 100 172 140 140 68 116 216 68 80 40 532 536 196 136 204 64 276 116 204 28 256 396 100 432 392 440 216 4 16 116 20 116 16 316 100 168 32 84 280 116 28 108 460 152 192 16 16 400 460 76 220 20 176 324 380 20 424 20 500 480 292 416 520 272 152 192 272 200 224 252 220 100 324 392 40 140 56 104 212 248 52 20 28 500 520 80 336 300 0 248 520 540 128 100 156 116 248 452 424 264 360 444 496 504 200 500 500 432 252 288 72 400 72 72 0 12 296 476 8 48 68 432 412 332 188 56 72 92 304 216 176 176 192 268 144 76 84 524 16 20 564 28 220 12 448 440 236 204 492 368 512 488 372 140 444 224 68 380 460 432 40 152 344 192 392 320 144 12 188 224 236 416 68 364 24 36 376 408 136 96 144 364 344 256 268 252 268 192 76 400 492 28 196 184 280 32 272 40 436 108 48 64 400 32 180 140 380 44 400 100 124 100 372 340 136 140 264 492 312 432 96 344 12 168 36 156 208 56 56 336 464 280 164 376 308 308 292 220 364 296 296 336 224 200 160 128 200 176 48 168 16 216 272 232 44 208 452 12 184 488 548 120 60 500 136 504 280 272 68 64 476 172 0 44 180 220 316 320 60 520 136 400 64 324 500 52 332 300 100 320 220 156 100 364 16 400 316 204 224 440 500 40 36 12 28 236 428 468 32 508 128 444 256 172 88 100 108 168 224 392 504 204 60 216 128 272 40 520 304 252 308 212 460 96 84 460 20 240 120 0 412 440 272 524 512 60 320 520 208 76 4 88 268 360 480 40 420 164 144 84 120 116 152 100 376 108 392 404 48 88 196 372 228 200 272 212 492 28 512 228 8 512 120 132 40 404 360 460 36 228 84 188 192 108 48 104 44 40 288 248 72 68 336 268 244 312 296 256 236 216 244 268 208 228 524 460 272 484 20 476 36 72 288 232 4 408 264 544 264 216 216 364 232 240 160 252 20 580 412 0 440 480 404 60 480 476 60 144 480 404 580 140 144 580 324 236 500 292 516 188 24 20 280 480 44 452 8 60 480 20 436 480 208 220 116 520 460 212 216 236 264 364 384 20 496 292 344 20 500
252.09/191.42	v       </values>
252.09/191.42	v     </instantiation>
252.09/191.42	s SATISFIABLE

Verifier Data 

OK	50572912

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302948-1532896509/watcher-4302948-1532896509 -o /tmp/evaluation-result-4302948-1532896509/solver-4302948-1532896509 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1341335041 -superng HOME/instance-4302948-1532896509.xml 

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

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

solver pid=26687, runsolver pid=26684

[startup+0.100132 s]*
/proc/loadavg: 1.58 1.63 1.74 3/206 26744
/proc/meminfo: memFree=27677344/32770624 swapFree=67108860/67108860
[pid=26687] ppid=26684 vsize=10005480 memory=14912 CPUtime=0.09 cores=1,3,5,7
/proc/26687/stat : 26687 (java) S 26684 26687 13514 0 -1 1077944320 4408 13086 0 0 1 0 5 3 20 0 6 0 107214148 10245611520 3728 33554432000 4194304 4196468 140734198091216 140734198073760 140003282398967 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
/proc/26687/statm: 2501370 3728 1935 1 0 2489808 0
[pid=26687/tid=26740] ppid=26684 vsize=10005480 memory=4279135703946462859 CPUtime=0.09 cores=1,3,5,7
/proc/26687/task/26740/stat : 26740 (java) R 26684 26687 13514 0 -1 4202560 2216 13086 0 0 1 0 5 3 20 0 6 0 107214157 10245611520 3728 33554432000 4194304 4196468 140734198091216 140003254235728 140003266479454 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26741] ppid=26684 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26741/stat : 26741 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 6 0 107214158 10245611520 3728 33554432000 4194304 4196468 140734198091216 140003286640912 140003282409173 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26742] ppid=26684 vsize=10005480 memory=140436513592960 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26742/stat : 26742 (java) S 26684 26687 13514 0 -1 1077944384 2 13086 0 0 0 0 5 3 20 0 6 0 107214158 10245611520 3728 33554432000 4194304 4196468 140734198091216 140003184998800 140003282409173 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26743] ppid=26684 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26743/stat : 26743 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 6 0 107214158 10245611520 3728 33554432000 4194304 4196468 140734198091216 140002820753936 140003282409173 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26744] ppid=26684 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26744/stat : 26744 (java) S 26684 26687 13514 0 -1 1077944384 2 13086 0 0 0 0 5 3 20 0 6 0 107214158 10245611520 3728 33554432000 4194304 4196468 140734198091216 140002819701392 140003282409173 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14912 KiB

[startup+0.209895 s]*
/proc/loadavg: 1.58 1.63 1.74 3/215 26753
/proc/meminfo: memFree=27652356/32770624 swapFree=67108860/67108860
[pid=26687] ppid=26684 vsize=10982744 memory=42680 CPUtime=0.26 cores=1,3,5,7
/proc/26687/stat : 26687 (java) S 26684 26687 13514 0 -1 1077944320 7996 13086 0 0 17 1 5 3 20 0 15 0 107214148 11246329856 10670 33554432000 4194304 4196468 140734198091216 140734198073760 140003282398967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
/proc/26687/statm: 2745686 10670 2942 1 0 2708109 0
[pid=26687/tid=26740] ppid=26684 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/26687/task/26740/stat : 26740 (java) R 26684 26687 13514 0 -1 4202560 4506 13086 0 0 11 0 5 3 20 0 15 0 107214157 11246329856 10736 33554432000 4194304 4196468 140734198091216 140003254216080 140003262674674 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26741] ppid=26684 vsize=10982744 memory=339 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26741/stat : 26741 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 15 0 107214158 11246329856 10736 33554432000 4194304 4196468 140734198091216 140003286640912 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26742] ppid=26684 vsize=10982744 memory=3617997901391042208 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26742/stat : 26742 (java) S 26684 26687 13514 0 -1 1077944384 2 13086 0 0 0 0 5 3 20 0 15 0 107214158 11246329856 10736 33554432000 4194304 4196468 140734198091216 140003184998800 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26743] ppid=26684 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26743/stat : 26743 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 15 0 107214158 11246329856 10736 33554432000 4194304 4196468 140734198091216 140002820753936 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26744] ppid=26684 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26744/stat : 26744 (java) S 26684 26687 13514 0 -1 1077944384 2 13086 0 0 0 0 5 3 20 0 15 0 107214158 11246329856 10736 33554432000 4194304 4196468 140734198091216 140002819701392 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26745] ppid=26684 vsize=10982744 memory=140436513592960 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26745/stat : 26745 (java) S 26684 26687 13514 0 -1 1077944384 2 13086 0 0 0 0 5 3 20 0 15 0 107214160 11246329856 10736 33554432000 4194304 4196468 140734198091216 140002520644080 140003282410114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26746] ppid=26684 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26746/stat : 26746 (java) S 26684 26687 13514 0 -1 1077944384 13 13086 0 0 0 0 5 3 20 0 15 0 107214160 11246329856 10736 33554432000 4194304 4196468 140734198091216 140002042308000 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26747] ppid=26684 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26747/stat : 26747 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 15 0 107214160 11246329856 10736 33554432000 4194304 4196468 140734198091216 140001840981488 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26748] ppid=26684 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26748/stat : 26748 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11246329856 10802 33554432000 4194304 4196468 140734198091216 140001533582032 140003282417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26749] ppid=26684 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/26687/task/26749/stat : 26749 (java) S 26684 26687 13514 0 -1 1077944384 587 13086 0 0 1 0 5 3 20 0 15 0 107214163 11246329856 10802 33554432000 4194304 4196468 140734198091216 140002519590896 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26750] ppid=26684 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26750/stat : 26750 (java) S 26684 26687 13514 0 -1 1077944384 61 13086 0 0 0 0 5 3 20 0 15 0 107214163 11246329856 10802 33554432000 4194304 4196468 140734198091216 140002518538352 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26751] ppid=26684 vsize=10982744 memory=140436513592960 CPUtime=0.11 cores=1,3,5,7
/proc/26687/task/26751/stat : 26751 (java) S 26684 26687 13514 0 -1 1077944384 657 13086 0 0 3 0 5 3 20 0 15 0 107214163 11246329856 10802 33554432000 4194304 4196468 140734198091216 140002517485808 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26752] ppid=26684 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26752/stat : 26752 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11246329856 10802 33554432000 4194304 4196468 140734198091216 140001102785120 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26753] ppid=26684 vsize=10982744 memory=140436513592960 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26753/stat : 26753 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 15 0 107214163 11246329856 10802 33554432000 4194304 4196468 140734198091216 140002516433712 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 42680 KiB

[startup+0.310219 s]*
/proc/loadavg: 1.58 1.63 1.74 3/215 26753
/proc/meminfo: memFree=27639964/32770624 swapFree=67108860/67108860
[pid=26687] ppid=26684 vsize=10983192 memory=55248 CPUtime=0.39 cores=1,3,5,7
/proc/26687/stat : 26687 (java) S 26684 26687 13514 0 -1 1077944320 10921 13086 0 0 29 2 5 3 20 0 15 0 107214148 11246788608 13812 33554432000 4194304 4196468 140734198091216 140734198073760 140003282398967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
/proc/26687/statm: 2745798 13812 3075 1 0 2708109 0
[pid=26687/tid=26740] ppid=26684 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26687/task/26740/stat : 26740 (java) R 26684 26687 13514 0 -1 4202560 7354 13086 0 0 20 1 5 3 20 0 15 0 107214157 11246788608 13812 33554432000 4194304 4196468 140734198091216 140003254210976 140003266479454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26741] ppid=26684 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26741/stat : 26741 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 15 0 107214158 11246788608 13812 33554432000 4194304 4196468 140734198091216 140003286640912 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26742] ppid=26684 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26742/stat : 26742 (java) S 26684 26687 13514 0 -1 1077944384 2 13086 0 0 0 0 5 3 20 0 15 0 107214158 11246788608 13812 33554432000 4194304 4196468 140734198091216 140003184998800 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26743] ppid=26684 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26743/stat : 26743 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 15 0 107214158 11246788608 13812 33554432000 4194304 4196468 140734198091216 140002820753936 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26744] ppid=26684 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26744/stat : 26744 (java) S 26684 26687 13514 0 -1 1077944384 2 13086 0 0 0 0 5 3 20 0 15 0 107214158 11246788608 13812 33554432000 4194304 4196468 140734198091216 140002819701392 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26745] ppid=26684 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26745/stat : 26745 (java) S 26684 26687 13514 0 -1 1077944384 2 13086 0 0 0 0 5 3 20 0 15 0 107214160 11246788608 13812 33554432000 4194304 4196468 140734198091216 140002520644080 140003282410114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26746] ppid=26684 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26746/stat : 26746 (java) S 26684 26687 13514 0 -1 1077944384 13 13086 0 0 0 0 5 3 20 0 15 0 107214160 11246788608 13812 33554432000 4194304 4196468 140734198091216 140002042308000 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26747] ppid=26684 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26747/stat : 26747 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 15 0 107214160 11246788608 13812 33554432000 4194304 4196468 140734198091216 140001840981488 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26748] ppid=26684 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26748/stat : 26748 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11246788608 13812 33554432000 4194304 4196468 140734198091216 140001533582032 140003282417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26749] ppid=26684 vsize=10983192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/26687/task/26749/stat : 26749 (java) S 26684 26687 13514 0 -1 1077944384 590 13086 0 0 2 0 5 3 20 0 15 0 107214163 11246788608 13812 33554432000 4194304 4196468 140734198091216 140002519590896 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26750] ppid=26684 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/26687/task/26750/stat : 26750 (java) S 26684 26687 13514 0 -1 1077944384 65 13086 0 0 1 0 5 3 20 0 15 0 107214163 11246788608 13812 33554432000 4194304 4196468 140734198091216 140002518538352 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26751] ppid=26684 vsize=10983192 memory=140436513592960 CPUtime=0.13 cores=1,3,5,7
/proc/26687/task/26751/stat : 26751 (java) S 26684 26687 13514 0 -1 1077944384 693 13086 0 0 5 0 5 3 20 0 15 0 107214163 11246788608 13812 33554432000 4194304 4196468 140734198091216 140002517485808 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26752] ppid=26684 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26752/stat : 26752 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11246788608 13812 33554432000 4194304 4196468 140734198091216 140001102785120 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26753] ppid=26684 vsize=10983192 memory=140436513592960 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26753/stat : 26753 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 15 0 107214163 11246788608 13812 33554432000 4194304 4196468 140734198091216 140002516433712 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55248 KiB

[startup+0.700822 s]
/proc/loadavg: 1.58 1.63 1.74 3/215 26753
/proc/meminfo: memFree=27628552/32770624 swapFree=67108860/67108860
[pid=26687] ppid=26684 vsize=10983192 memory=88064 CPUtime=0.99 cores=1,3,5,7
/proc/26687/stat : 26687 (java) S 26684 26687 13514 0 -1 1077944320 17166 13086 0 0 87 4 5 3 20 0 15 0 107214148 11246788608 22016 33554432000 4194304 4196468 140734198091216 140734198073760 140003282398967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
/proc/26687/statm: 2745798 22016 3238 1 0 2708109 0
[pid=26687/tid=26740] ppid=26684 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/26687/task/26740/stat : 26740 (java) R 26684 26687 13514 0 -1 4202560 12406 13086 0 0 56 3 5 3 20 0 15 0 107214157 11246788608 22016 33554432000 4194304 4196468 140734198091216 140003254219256 140003282420893 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26741] ppid=26684 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26741/stat : 26741 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 15 0 107214158 11246788608 22016 33554432000 4194304 4196468 140734198091216 140003286640912 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26742] ppid=26684 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26742/stat : 26742 (java) S 26684 26687 13514 0 -1 1077944384 2 13086 0 0 0 0 5 3 20 0 15 0 107214158 11246788608 22016 33554432000 4194304 4196468 140734198091216 140003184998800 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26743] ppid=26684 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26743/stat : 26743 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 15 0 107214158 11246788608 22016 33554432000 4194304 4196468 140734198091216 140002820753936 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26744] ppid=26684 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26744/stat : 26744 (java) S 26684 26687 13514 0 -1 1077944384 2 13086 0 0 0 0 5 3 20 0 15 0 107214158 11246788608 22016 33554432000 4194304 4196468 140734198091216 140002819701392 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26745] ppid=26684 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26745/stat : 26745 (java) R 26684 26687 13514 0 -1 4202560 5 13086 0 0 0 0 5 3 20 0 15 0 107214160 11246788608 22016 33554432000 4194304 4196468 140734198091216 140002520644080 140003275116119 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26746] ppid=26684 vsize=10983192 memory=140436371026608 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26746/stat : 26746 (java) S 26684 26687 13514 0 -1 1077944384 13 13086 0 0 0 0 5 3 20 0 15 0 107214160 11246788608 22016 33554432000 4194304 4196468 140734198091216 140002042308000 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26747] ppid=26684 vsize=10983192 memory=140436840645200 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26747/stat : 26747 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 15 0 107214160 11246788608 22016 33554432000 4194304 4196468 140734198091216 140001840981488 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26748] ppid=26684 vsize=10983192 memory=1020 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26748/stat : 26748 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11246788608 22016 33554432000 4194304 4196468 140734198091216 140001533582032 140003282417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26749] ppid=26684 vsize=10983192 memory=7089042195949315648 CPUtime=0.18 cores=1,3,5,7
/proc/26687/task/26749/stat : 26749 (java) S 26684 26687 13514 0 -1 1077944384 1215 13086 0 0 10 0 5 3 20 0 15 0 107214163 11246788608 22016 33554432000 4194304 4196468 140734198091216 140002519590896 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26750] ppid=26684 vsize=10983192 memory=7881696724453321575 CPUtime=0.15 cores=1,3,5,7
/proc/26687/task/26750/stat : 26750 (java) S 26684 26687 13514 0 -1 1077944384 459 13086 0 0 7 0 5 3 20 0 15 0 107214163 11246788608 22016 33554432000 4194304 4196468 140734198091216 140002518538352 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26751] ppid=26684 vsize=10983192 memory=5789189752906409301 CPUtime=0.21 cores=1,3,5,7
/proc/26687/task/26751/stat : 26751 (java) S 26684 26687 13514 0 -1 1077944384 862 13086 0 0 13 0 5 3 20 0 15 0 107214163 11246788608 22016 33554432000 4194304 4196468 140734198091216 140002517485808 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26752] ppid=26684 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26752/stat : 26752 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11246788608 22016 33554432000 4194304 4196468 140734198091216 140001102785120 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26753] ppid=26684 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26753/stat : 26753 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 15 0 107214163 11246788608 22016 33554432000 4194304 4196468 140734198091216 140002516433712 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88064 KiB

[startup+1.50146 s]
/proc/loadavg: 1.58 1.63 1.74 3/215 26753
/proc/meminfo: memFree=27581920/32770624 swapFree=67108860/67108860
[pid=26687] ppid=26684 vsize=10991948 memory=318648 CPUtime=3.05 cores=1,3,5,7
/proc/26687/stat : 26687 (java) S 26684 26687 13514 0 -1 1077944320 23114 13086 0 0 276 21 5 3 20 0 15 0 107214148 11255754752 79662 33554432000 4194304 4196468 140734198091216 140734198073760 140003282398967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
/proc/26687/statm: 2747987 79662 3473 1 0 2709645 0
[pid=26687/tid=26740] ppid=26684 vsize=10991948 memory=10757 CPUtime=1.4 cores=1,3,5,7
/proc/26687/task/26740/stat : 26740 (java) R 26684 26687 13514 0 -1 4202560 15060 13086 0 0 126 6 5 3 20 0 15 0 107214157 11255754752 79662 33554432000 4194304 4196468 140734198091216 140003254233536 140002855933390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26741] ppid=26684 vsize=10991948 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/26687/task/26741/stat : 26741 (java) S 26684 26687 13514 0 -1 1077944384 40 13086 0 0 1 2 5 3 20 0 15 0 107214158 11255754752 79662 33554432000 4194304 4196468 140734198091216 140003286640912 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26742] ppid=26684 vsize=10991948 memory=1408 CPUtime=0.12 cores=1,3,5,7
/proc/26687/task/26742/stat : 26742 (java) S 26684 26687 13514 0 -1 1077944384 72 13086 0 0 2 2 5 3 20 0 15 0 107214158 11255754752 79662 33554432000 4194304 4196468 140734198091216 140003184998800 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26743] ppid=26684 vsize=10991948 memory=3000 CPUtime=0.13 cores=1,3,5,7
/proc/26687/task/26743/stat : 26743 (java) S 26684 26687 13514 0 -1 1077944384 275 13086 0 0 2 3 5 3 20 0 15 0 107214158 11255754752 79662 33554432000 4194304 4196468 140734198091216 140002820753936 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26744] ppid=26684 vsize=10991948 memory=88064 CPUtime=0.12 cores=1,3,5,7
/proc/26687/task/26744/stat : 26744 (java) S 26684 26687 13514 0 -1 1077944384 109 13086 0 0 2 2 5 3 20 0 15 0 107214158 11255754752 79662 33554432000 4194304 4196468 140734198091216 140002819701392 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26745] ppid=26684 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26745/stat : 26745 (java) S 26684 26687 13514 0 -1 1077944384 94 13086 0 0 0 0 5 3 20 0 15 0 107214160 11255754752 79662 33554432000 4194304 4196468 140734198091216 140002520644080 140003282410114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26746] ppid=26684 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26746/stat : 26746 (java) S 26684 26687 13514 0 -1 1077944384 13 13086 0 0 0 0 5 3 20 0 15 0 107214160 11255754752 79662 33554432000 4194304 4196468 140734198091216 140002042308000 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26747] ppid=26684 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26747/stat : 26747 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214160 11255754752 79662 33554432000 4194304 4196468 140734198091216 140001840981488 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26748] ppid=26684 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26748/stat : 26748 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11255754752 79662 33554432000 4194304 4196468 140734198091216 140001533582032 140003282417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26749] ppid=26684 vsize=10991948 memory=4638778398332698720 CPUtime=0.57 cores=1,3,5,7
/proc/26687/task/26749/stat : 26749 (java) R 26684 26687 13514 0 -1 4202560 1953 13086 0 0 49 0 5 3 20 0 15 0 107214163 11255754752 79662 33554432000 4194304 4196468 140734198091216 140002519570960 140003265899370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26750] ppid=26684 vsize=10991948 memory=280872742329216 CPUtime=0.57 cores=1,3,5,7
/proc/26687/task/26750/stat : 26750 (java) R 26684 26687 13514 0 -1 4202560 1722 13086 0 0 49 0 5 3 20 0 15 0 107214163 11255754752 79662 33554432000 4194304 4196468 140734198091216 140002518528032 140003263573005 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26751] ppid=26684 vsize=10991948 memory=6944656592452807323 CPUtime=0.49 cores=1,3,5,7
/proc/26687/task/26751/stat : 26751 (java) S 26684 26687 13514 0 -1 1077944384 1574 13086 0 0 41 0 5 3 20 0 15 0 107214163 11255754752 79662 33554432000 4194304 4196468 140734198091216 140002517485808 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26752] ppid=26684 vsize=10991948 memory=6944656591801719708 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26752/stat : 26752 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11255754752 79662 33554432000 4194304 4196468 140734198091216 140001102785120 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26753] ppid=26684 vsize=10991948 memory=1399101730491701635 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26753/stat : 26753 (java) S 26684 26687 13514 0 -1 1077944384 1 13086 0 0 0 0 5 3 20 0 15 0 107214163 11255754752 79662 33554432000 4194304 4196468 140734198091216 140002516433712 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 10991948 KiB

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

/proc/26687/task/26740/stat : 26740 (java) R 26684 26687 13514 0 -1 4202560 45783 13086 0 0 4590 39 5 3 20 0 15 0 107214157 11280941056 907176 33554432000 4194304 4196468 140734198091216 140003254233128 140002856399420 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26741] ppid=26684 vsize=11016544 memory=30460 CPUtime=4.53 cores=1,3,5,7
/proc/26687/task/26741/stat : 26741 (java) S 26684 26687 13514 0 -1 1077944384 4345 13086 0 0 405 40 5 3 20 0 15 0 107214158 11280941056 907176 33554432000 4194304 4196468 140734198091216 140003286640912 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26742] ppid=26684 vsize=11016544 memory=3327908 CPUtime=4.52 cores=1,3,5,7
/proc/26687/task/26742/stat : 26742 (java) S 26684 26687 13514 0 -1 1077944384 4249 13086 0 0 404 40 5 3 20 0 15 0 107214158 11280941056 907176 33554432000 4194304 4196468 140734198091216 140003184998800 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26743] ppid=26684 vsize=11016544 memory=4712546880362606693 CPUtime=4.5 cores=1,3,5,7
/proc/26687/task/26743/stat : 26743 (java) S 26684 26687 13514 0 -1 1077944384 5226 13086 0 0 402 40 5 3 20 0 15 0 107214158 11280941056 907176 33554432000 4194304 4196468 140734198091216 140002820753936 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26744] ppid=26684 vsize=11016544 memory=844 CPUtime=4.5 cores=1,3,5,7
/proc/26687/task/26744/stat : 26744 (java) S 26684 26687 13514 0 -1 1077944384 4178 13086 0 0 401 41 5 3 20 0 15 0 107214158 11280941056 907176 33554432000 4194304 4196468 140734198091216 140002819701392 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26745] ppid=26684 vsize=11016544 memory=3360 CPUtime=0.26 cores=1,3,5,7
/proc/26687/task/26745/stat : 26745 (java) S 26684 26687 13514 0 -1 1077944384 10828 13086 0 0 17 1 5 3 20 0 15 0 107214160 11280941056 907176 33554432000 4194304 4196468 140734198091216 140002520644080 140003282410114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26746] ppid=26684 vsize=11016544 memory=280872742125280 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26746/stat : 26746 (java) S 26684 26687 13514 0 -1 1077944384 23 13086 0 0 0 0 5 3 20 0 15 0 107214160 11280941056 907176 33554432000 4194304 4196468 140734198091216 140002042308128 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26747] ppid=26684 vsize=11016544 memory=7019257425709197167 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26747/stat : 26747 (java) S 26684 26687 13514 0 -1 1077944384 9 13086 0 0 0 0 5 3 20 0 15 0 107214160 11280941056 907176 33554432000 4194304 4196468 140734198091216 140001840981504 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26748] ppid=26684 vsize=11016544 memory=7597685182856913236 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26748/stat : 26748 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11280941056 907176 33554432000 4194304 4196468 140734198091216 140001533582032 140003282417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26749] ppid=26684 vsize=11016544 memory=56 CPUtime=8.64 cores=1,3,5,7
/proc/26687/task/26749/stat : 26749 (java) S 26684 26687 13514 0 -1 1077944384 20231 13086 0 0 852 4 5 3 20 0 15 0 107214163 11280941056 907176 33554432000 4194304 4196468 140734198091216 140002519590896 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26750] ppid=26684 vsize=11016544 memory=301793952514965793 CPUtime=8.33 cores=1,3,5,7
/proc/26687/task/26750/stat : 26750 (java) S 26684 26687 13514 0 -1 1077944384 19242 13086 0 0 821 4 5 3 20 0 15 0 107214163 11280941056 907176 33554432000 4194304 4196468 140734198091216 140002518538352 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26751] ppid=26684 vsize=11016544 memory=288283385594643679 CPUtime=3.09 cores=1,3,5,7
/proc/26687/task/26751/stat : 26751 (java) S 26684 26687 13514 0 -1 1077944384 13586 13086 0 0 295 6 5 3 20 0 15 0 107214163 11280941056 907176 33554432000 4194304 4196468 140734198091216 140002517485808 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26752] ppid=26684 vsize=11016544 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26752/stat : 26752 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11280941056 907176 33554432000 4194304 4196468 140734198091216 140001102785120 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26753] ppid=26684 vsize=11016544 memory=4140 CPUtime=0.1 cores=1,3,5,7
/proc/26687/task/26753/stat : 26753 (java) S 26684 26687 13514 0 -1 1077944384 810 13086 0 0 1 1 5 3 20 0 15 0 107214163 11280941056 907176 33554432000 4194304 4196468 140734198091216 140002516433712 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
Current children cumulated CPU time: 84.22 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3628704 KiB

[startup+102.301 s]
/proc/loadavg: 1.86 1.76 1.77 6/215 26754
/proc/meminfo: memFree=23461380/32770624 swapFree=67108860/67108860
[pid=26687] ppid=26684 vsize=11016544 memory=4238316 CPUtime=150.7 cores=1,3,5,7
/proc/26687/stat : 26687 (java) S 26684 26687 13514 0 -1 1077944320 184978 13086 0 0 14787 275 5 3 20 0 15 0 107214148 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140734198073760 140003282398967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
/proc/26687/statm: 2754136 1059579 3537 1 0 2715789 0
[pid=26687/tid=26740] ppid=26684 vsize=11016544 memory=8909 CPUtime=92.67 cores=1,3,5,7
/proc/26687/task/26740/stat : 26740 (java) S 26684 26687 13514 0 -1 1077944384 52164 13086 0 0 9220 39 5 3 20 0 15 0 107214157 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140003254233872 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26741] ppid=26684 vsize=11016544 memory=280872742881184 CPUtime=9.36 cores=1,3,5,7
/proc/26687/task/26741/stat : 26741 (java) R 26684 26687 13514 0 -1 4202560 9974 13086 0 0 875 53 5 3 20 0 15 0 107214158 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140003286640720 140003267099528 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26742] ppid=26684 vsize=11016544 memory=4149240 CPUtime=9.34 cores=1,3,5,7
/proc/26687/task/26742/stat : 26742 (java) R 26684 26687 13514 0 -1 4202560 9714 13086 0 0 873 53 5 3 20 0 15 0 107214158 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140003184998920 140003267099663 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26743] ppid=26684 vsize=11016544 memory=4140 CPUtime=9.31 cores=1,3,5,7
/proc/26687/task/26743/stat : 26743 (java) R 26684 26687 13514 0 -1 4202560 10292 13086 0 0 870 53 5 3 20 0 15 0 107214158 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140002820754056 140003267388494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26744] ppid=26684 vsize=11016544 memory=140436371220424 CPUtime=9.26 cores=1,3,5,7
/proc/26687/task/26744/stat : 26744 (java) R 26684 26687 13514 0 -1 4202560 8195 13086 0 0 866 52 5 3 20 0 15 0 107214158 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140002819701512 140003266856604 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26745] ppid=26684 vsize=11016544 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/26687/task/26745/stat : 26745 (java) S 26684 26687 13514 0 -1 1077944384 29203 13086 0 0 21 2 5 3 20 0 15 0 107214160 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140002520642624 140003282409173 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26746] ppid=26684 vsize=11016544 memory=7233736994252652628 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26746/stat : 26746 (java) S 26684 26687 13514 0 -1 1077944384 23 13086 0 0 0 0 5 3 20 0 15 0 107214160 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140002042308128 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26747] ppid=26684 vsize=11016544 memory=3979052 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26747/stat : 26747 (java) S 26684 26687 13514 0 -1 1077944384 9 13086 0 0 0 0 5 3 20 0 15 0 107214160 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140001840981504 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26748] ppid=26684 vsize=11016544 memory=10368 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26748/stat : 26748 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140001533582032 140003282417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26749] ppid=26684 vsize=11016544 memory=6791534058613427641 CPUtime=8.93 cores=1,3,5,7
/proc/26687/task/26749/stat : 26749 (java) S 26684 26687 13514 0 -1 1077944384 21747 13086 0 0 881 4 5 3 20 0 15 0 107214163 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140002519590896 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26750] ppid=26684 vsize=11016544 memory=1812 CPUtime=8.84 cores=1,3,5,7
/proc/26687/task/26750/stat : 26750 (java) S 26684 26687 13514 0 -1 1077944384 24388 13086 0 0 872 4 5 3 20 0 15 0 107214163 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140002518538352 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26751] ppid=26684 vsize=11016544 memory=1020 CPUtime=3.12 cores=1,3,5,7
/proc/26687/task/26751/stat : 26751 (java) S 26684 26687 13514 0 -1 1077944384 15677 13086 0 0 298 6 5 3 20 0 15 0 107214163 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140002517485808 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26752] ppid=26684 vsize=11016544 memory=2724 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26752/stat : 26752 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140001102785120 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26753] ppid=26684 vsize=11016544 memory=1256 CPUtime=0.13 cores=1,3,5,7
/proc/26687/task/26753/stat : 26753 (java) S 26684 26687 13514 0 -1 1077944384 1394 13086 0 0 3 2 5 3 20 0 15 0 107214163 11280941056 1059579 33554432000 4194304 4196468 140734198091216 140002516433712 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
Current children cumulated CPU time: 150.7 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4238316 KiB

[startup+162.301 s]
/proc/loadavg: 2.30 1.92 1.83 6/215 26885
/proc/meminfo: memFree=19789036/32770624 swapFree=67108860/67108860
[pid=26687] ppid=26684 vsize=11016544 memory=4428340 CPUtime=218.63 cores=1,3,5,7
/proc/26687/stat : 26687 (java) S 26684 26687 13514 0 -1 1077944320 217090 13086 0 0 21561 294 5 3 20 0 15 0 107214148 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140734198073760 140003282398967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
/proc/26687/statm: 2754136 1107085 3537 1 0 2715789 0
[pid=26687/tid=26740] ppid=26684 vsize=11016544 memory=4428340 CPUtime=150.08 cores=1,3,5,7
/proc/26687/task/26740/stat : 26740 (java) R 26684 26687 13514 0 -1 4202560 62206 13086 0 0 14960 40 5 3 20 0 15 0 107214157 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140003254231024 140002865179112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26741] ppid=26684 vsize=11016544 memory=4428340 CPUtime=11.87 cores=1,3,5,7
/proc/26687/task/26741/stat : 26741 (java) S 26684 26687 13514 0 -1 1077944384 11168 13086 0 0 1123 56 5 3 20 0 15 0 107214158 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140003286640912 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26742] ppid=26684 vsize=11016544 memory=4428340 CPUtime=11.87 cores=1,3,5,7
/proc/26687/task/26742/stat : 26742 (java) S 26684 26687 13514 0 -1 1077944384 12186 13086 0 0 1122 57 5 3 20 0 15 0 107214158 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140003184998800 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26743] ppid=26684 vsize=11016544 memory=4428340 CPUtime=11.82 cores=1,3,5,7
/proc/26687/task/26743/stat : 26743 (java) S 26684 26687 13514 0 -1 1077944384 11785 13086 0 0 1117 57 5 3 20 0 15 0 107214158 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140002820753936 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26744] ppid=26684 vsize=11016544 memory=4428340 CPUtime=11.79 cores=1,3,5,7
/proc/26687/task/26744/stat : 26744 (java) S 26684 26687 13514 0 -1 1077944384 10489 13086 0 0 1114 57 5 3 20 0 15 0 107214158 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140002819701392 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26745] ppid=26684 vsize=11016544 memory=4400832 CPUtime=0.36 cores=1,3,5,7
/proc/26687/task/26745/stat : 26745 (java) S 26684 26687 13514 0 -1 1077944384 30966 13086 0 0 26 2 5 3 20 0 15 0 107214160 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140002520644080 140003282410114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26746] ppid=26684 vsize=11016544 memory=4428340 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26746/stat : 26746 (java) S 26684 26687 13514 0 -1 1077944384 23 13086 0 0 0 0 5 3 20 0 15 0 107214160 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140002042308128 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26747] ppid=26684 vsize=11016544 memory=280872742131720 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26747/stat : 26747 (java) S 26684 26687 13514 0 -1 1077944384 9 13086 0 0 0 0 5 3 20 0 15 0 107214160 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140001840981504 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26748] ppid=26684 vsize=11016544 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26748/stat : 26748 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140001533582032 140003282417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26749] ppid=26684 vsize=11016544 memory=0 CPUtime=9.13 cores=1,3,5,7
/proc/26687/task/26749/stat : 26749 (java) S 26684 26687 13514 0 -1 1077944384 27173 13086 0 0 901 4 5 3 20 0 15 0 107214163 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140002519590896 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26750] ppid=26684 vsize=11016544 memory=4428340 CPUtime=8.98 cores=1,3,5,7
/proc/26687/task/26750/stat : 26750 (java) S 26684 26687 13514 0 -1 1077944384 28595 13086 0 0 885 5 5 3 20 0 15 0 107214163 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140002518538352 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26751] ppid=26684 vsize=11016544 memory=4428340 CPUtime=3.16 cores=1,3,5,7
/proc/26687/task/26751/stat : 26751 (java) S 26684 26687 13514 0 -1 1077944384 18776 13086 0 0 302 6 5 3 20 0 15 0 107214163 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140002517485808 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26752] ppid=26684 vsize=11016544 memory=729618466008468206 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26752/stat : 26752 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140001102785120 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26753] ppid=26684 vsize=11016544 memory=140436371821660 CPUtime=0.17 cores=1,3,5,7
/proc/26687/task/26753/stat : 26753 (java) S 26684 26687 13514 0 -1 1077944384 1516 13086 0 0 4 5 5 3 20 0 15 0 107214163 11280941056 1107085 33554432000 4194304 4196468 140734198091216 140002516433712 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
Current children cumulated CPU time: 218.63 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4428340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+191.401 s]
/proc/loadavg: 2.43 1.99 1.86 3/215 26886
/proc/meminfo: memFree=19711888/32770624 swapFree=67108860/67108860
[pid=26687] ppid=26684 vsize=11016544 memory=4548624 CPUtime=252.09 cores=1,3,5,7
/proc/26687/stat : 26687 (java) S 26684 26687 13514 0 -1 1077944320 221671 13086 0 0 24901 300 5 3 20 0 15 0 107214148 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140734198073760 140003282398967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
/proc/26687/statm: 2754136 1137156 3537 1 0 2715789 0
[pid=26687/tid=26740] ppid=26684 vsize=11016544 memory=6791534058613427641 CPUtime=177.73 cores=1,3,5,7
/proc/26687/task/26740/stat : 26740 (java) R 26684 26687 13514 0 -1 4202560 64108 13086 0 0 17725 40 5 3 20 0 15 0 107214157 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140003254232680 140002874805396 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26741] ppid=26684 vsize=11016544 memory=30460 CPUtime=13.29 cores=1,3,5,7
/proc/26687/task/26741/stat : 26741 (java) S 26684 26687 13514 0 -1 1077944384 11398 13086 0 0 1264 57 5 3 20 0 15 0 107214158 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140003286640912 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26742] ppid=26684 vsize=11016544 memory=2204 CPUtime=13.31 cores=1,3,5,7
/proc/26687/task/26742/stat : 26742 (java) S 26684 26687 13514 0 -1 1077944384 12448 13086 0 0 1265 58 5 3 20 0 15 0 107214158 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140003184998800 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26743] ppid=26684 vsize=11016544 memory=1240 CPUtime=13.27 cores=1,3,5,7
/proc/26687/task/26743/stat : 26743 (java) S 26684 26687 13514 0 -1 1077944384 12051 13086 0 0 1260 59 5 3 20 0 15 0 107214158 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140002820753936 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26744] ppid=26684 vsize=11016544 memory=1520 CPUtime=13.22 cores=1,3,5,7
/proc/26687/task/26744/stat : 26744 (java) S 26684 26687 13514 0 -1 1077944384 10764 13086 0 0 1255 59 5 3 20 0 15 0 107214158 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140002819701392 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26745] ppid=26684 vsize=11016544 memory=844 CPUtime=0.36 cores=1,3,5,7
/proc/26687/task/26745/stat : 26745 (java) S 26684 26687 13514 0 -1 1077944384 30991 13086 0 0 26 2 5 3 20 0 15 0 107214160 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140002520644080 140003282410114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26746] ppid=26684 vsize=11016544 memory=3360 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26746/stat : 26746 (java) S 26684 26687 13514 0 -1 1077944384 23 13086 0 0 0 0 5 3 20 0 15 0 107214160 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140002042308128 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26747] ppid=26684 vsize=11016544 memory=2724 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26747/stat : 26747 (java) S 26684 26687 13514 0 -1 1077944384 9 13086 0 0 0 0 5 3 20 0 15 0 107214160 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140001840981504 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26748] ppid=26684 vsize=11016544 memory=1256 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26748/stat : 26748 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140001533582032 140003282417563 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26749] ppid=26684 vsize=11016544 memory=10368 CPUtime=9.14 cores=1,3,5,7
/proc/26687/task/26749/stat : 26749 (java) S 26684 26687 13514 0 -1 1077944384 27196 13086 0 0 902 4 5 3 20 0 15 0 107214163 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140002519590896 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26750] ppid=26684 vsize=11016544 memory=1700 CPUtime=9 cores=1,3,5,7
/proc/26687/task/26750/stat : 26750 (java) S 26684 26687 13514 0 -1 1077944384 28617 13086 0 0 887 5 5 3 20 0 15 0 107214163 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140002518538352 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26751] ppid=26684 vsize=11016544 memory=1172 CPUtime=3.19 cores=1,3,5,7
/proc/26687/task/26751/stat : 26751 (java) S 26684 26687 13514 0 -1 1077944384 20344 13086 0 0 305 6 5 3 20 0 15 0 107214163 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140002517485808 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26752] ppid=26684 vsize=11016544 memory=1812 CPUtime=0.08 cores=1,3,5,7
/proc/26687/task/26752/stat : 26752 (java) S 26684 26687 13514 0 -1 1077944384 3 13086 0 0 0 0 5 3 20 0 15 0 107214163 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140001102785120 140003282409173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
[pid=26687/tid=26753] ppid=26684 vsize=11016544 memory=1020 CPUtime=0.18 cores=1,3,5,7
/proc/26687/task/26753/stat : 26753 (java) S 26684 26687 13514 0 -1 1077944384 1524 13086 0 0 5 5 5 3 20 0 15 0 107214163 11280941056 1137156 33554432000 4194304 4196468 140734198091216 140002516433712 140003282410114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13963264 140734198094440 140734198097249 140734198097249 140734198099919 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4548624 KiB

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

[startup+191.451 s]
# the end of solver process 26687 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.094 s, system=3.0686 s

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

Child status: 143
Real time (s): 191.451
CPU time (s): 252.163
CPU user time (s): 249.094
CPU system time (s): 3.0686
CPU usage (%): 131.711
Max. virtual memory (cumulated for all children) (KiB): 11017132
Max. memory (cumulated for all children) (KiB): 4548624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.094
system time used= 3.0686
maximum resident set size= 4553000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235247
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16272
involuntary context switches= 736


# summary of solver processes directly reported to runsolver:
#   pid: 26687
#   total CPU time (s): 252.163
#   total CPU user time (s): 249.094
#   total CPU system time (s): 3.0686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.18694 second user time and 1.83597 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-29 22:35:10
IDJOB=4302948
IDBENCH=141259
IDSOLVER=2777
FILE ID=node136/4302948-1532896509
RUNJOBID= node136-1532893975-22777
PBS_JOBID= 21022516
Free space on /tmp= 60160 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-4302948-1532896509/watcher-4302948-1532896509 -o /tmp/evaluation-result-4302948-1532896509/solver-4302948-1532896509 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1341335041 -superng HOME/instance-4302948-1532896509.xml

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

MD5SUM BENCH= deef1e755c9079fc369bbf159731f616
RANDOM SEED=1341335041

node136.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:        27680636 kB
MemAvailable:   31136560 kB
Buffers:          218712 kB
Cached:          3507736 kB
SwapCached:            0 kB
Active:          2653828 kB
Inactive:        1957892 kB
Active(anon):     836872 kB
Inactive(anon):    76480 kB
Active(file):    1816956 kB
Inactive(file):  1881412 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             71780 kB
Writeback:             0 kB
AnonPages:        898348 kB
Mapped:            48164 kB
Shmem:             25228 kB
Slab:             174868 kB
SReclaimable:     146780 kB
SUnreclaim:        28088 kB
KernelStack:        3712 kB
PageTables:         6680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2042580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    663552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 60044 MiB
End job on node136 at 2018-07-29 22:38:21