Trace number 4302940

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)98990615 252.206 171.433

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-01-0200_c18.xml
MD5SUMbcb772945ca2f244c7b00bb761820cd7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark35806253
Best CPU time to get the best result obtained on this benchmark252.084
Satisfiable
(Un)Satisfiability was proved
Number of variables3236
Number of constraints2053
Number of domains39
Minimum domain size1
Maximum domain size95
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":1142},{"size":11,"count":945},{"size":12,"count":1},{"size":21,"count":9},{"size":23,"count":22},{"size":25,"count":1},{"size":29,"count":34},{"size":33,"count":35},{"size":34,"count":18},{"size":35,"count":32},{"size":39,"count":8},{"size":40,"count":9},{"size":41,"count":15},{"size":49,"count":1},{"size":50,"count":19},{"size":51,"count":16},{"size":53,"count":5},{"size":55,"count":32},{"size":57,"count":10},{"size":58,"count":7},{"size":60,"count":9},{"size":64,"count":76},{"size":69,"count":85},{"size":74,"count":50},{"size":81,"count":87},{"size":91,"count":84},{"size":93,"count":31},{"size":95,"count":450}]
Minimum variable degree2
Maximum variable degree946
Distribution of variable degrees[{"degree":2,"count":2836},{"degree":3,"count":1},{"degree":4,"count":3},{"degree":5,"count":17},{"degree":6,"count":21},{"degree":7,"count":31},{"degree":8,"count":26},{"degree":9,"count":50},{"degree":10,"count":45},{"degree":11,"count":47},{"degree":12,"count":52},{"degree":13,"count":72},{"degree":14,"count":34},{"degree":946,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":163},{"arity":3,"count":945},{"arity":6,"count":945}]
Number of extensional constraints945
Number of intensional constraints1108
Distribution of constraint types[{"type":"extension","count":945},{"type":"intension","count":1108}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.98/0.73	c Concrete v3.9.2.1532736233296 running
44.54/26.23	o 98990671
45.16/26.52	o 98990617
45.44/26.64	o 98990615
252.06/171.38	Exception in thread "main" java.util.concurrent.TimeoutException
252.06/171.38		at concrete.MAC.mac(MAC.scala:188)
252.06/171.38		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.06/171.38		at scala.util.Try$.apply(Try.scala:209)
252.06/171.38		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.06/171.38		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.06/171.38		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.06/171.38		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.06/171.38		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.06/171.38		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.06/171.38		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.06/171.38		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.06/171.38		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.06/171.38		at concrete.MAC.oneRun(MAC.scala:253)
252.06/171.38		at concrete.MAC.nextSolution(MAC.scala:272)
252.06/171.38		at concrete.MAC.nextSolution(MAC.scala:355)
252.06/171.38		at concrete.Solver.hasNext(Solver.scala:166)
252.06/171.38		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.06/171.38		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.06/171.38		at concrete.Solver.foreach(Solver.scala:68)
252.06/171.38		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.06/171.38		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.06/171.38		at scala.util.Success.map(Try.scala:209)
252.06/171.38		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.06/171.38		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.06/171.38		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.06/171.38		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.06/171.38		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.06/171.38		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.06/171.38		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.06/171.38		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.06/171.38		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.06/171.38		at scala.collection.immutable.List.foreach(List.scala:389)
252.06/171.38		at scala.App.main(App.scala:76)
252.06/171.38		at scala.App.main$(App.scala:74)
252.06/171.38		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.06/171.38		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.06/171.40	v <instantiation cost="98990615">
252.06/171.40	v       <list>
252.06/171.40	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] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] 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] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] 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] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] 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] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] 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] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944]
252.06/171.40	v       </list>
252.06/171.40	v       <values>
252.06/171.40	v         2592 2448 2616 2576 2280 2464 2548 2492 2460 2372 2332 2576 2420 2464 2532 2568 2280 2428 2352 2648 2640 2480 2292 2608 2616 2412 2644 2588 2640 2504 2620 2380 2348 2428 2520 2468 2640 2288 2400 2284 2572 2392 2492 2420 2424 2656 2520 2620 2512 2320 2460 2568 2380 2656 2300 2320 2436 2472 2460 2392 2340 2324 2408 2492 2452 2460 2460 2320 2608 2460 2320 2520 2600 2520 2412 2568 2348 2600 2616 2320 2352 2340 2336 2616 2500 2468 2572 2656 2324 2580 2356 2452 2532 2492 2532 2532 2420 2460 2460 2608 2532 2608 2492 2440 2532 2480 2280 2612 2460 2332 2544 2280 2432 2308 2364 2420 2452 2456 2280 2576 2492 2532 2412 2280 2280 2284 2528 2336 2392 2488 2640 2632 2508 2464 2320 2420 2552 2500 2552 2608 2324 2648 2460 2372 2460 2504 2376 2612 2420 2352 2580 2604 2328 2376 2652 2480 2592 2324 2532 2428 2420 2612 2480 2396 2496 2600 2480 2420 2600 2360 2324 2608 2396 2388 2308 2344 2572 2420 2384 2340 2648 2284 2656 2320 2652 2628 2520 2376 2616 2336 2504 2284 2372 2592 2616 2616 2392 2492 2332 2480 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 1 1 1 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 1 0 0 11 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 1 0 0 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 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 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 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 0 0 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 1 0 0 0 0 0 0 0 0 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 10 8 0 0 0 0 6 0 0 10 10 7 1 10 0 0 0 10 10 3 0 0 0 0 0 0 1 0 0 0 1 1 0 0 6 1 0 10 4 1 0 0 0 0 0 0 0 0 10 3 0 0 0 6 0 0 0 0 10 0 0 0 10 0 1 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 7 10 0 9 0 0 1 0 2 1 3 10 1 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 4 1 10 0 0 2 0 0 0 0 0 10 0 0 1 0 7 1 5 0 0 10 0 0 0 0 1 0 0 0 0 0 0 10 0 0 1 10 0 0 10 0 2 0 1 10 0 0 0 0 8 0 0 0 0 10 5 10 0 0 1 0 0 0 0 0 0 0 0 10 8 0 0 0 0 0 0 0 0 1 0 0 10 5 0 0 0 2 0 0 0 6 0 0 0 0 10 1 0 10 8 6 0 0 7 1 1 0 0 0 0 0 3 0 0 9 10 0 1 0 10 9 0 0 1 2 10 0 0 10 0 0 0 0 7 0 0 0 1 7 0 0 0 0 0 0 1 0 0 0 0 8 0 0 0 0 0 10 0 0 0 0 1 0 0 10 4 0 0 0 2 0 10 0 1 7 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 8 0 3 0 5 0 0 10 0 0 0 0 6 0 0 0 0 2 5 0 6 0 0 0 0 0 10 10 0 10 10 0 0 0 0 10 1 0 0 0 0 1 0 0 0 0 10 10 0 1 0 0 0 9 8 0 0 0 0 10 0 10 0 5 1 0 10 0 3 1 0 0 0 0 5 0 0 0 0 0 5 1 0 0 0 0 0 0 0 6 0 10 0 0 0 0 0 0 0 1 0 8 0 1 1 0 2 0 0 0 0 0 0 0 1 0 1 0 8 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 10 5 0 0 2 0 0 0 1 0 0 1 0 0 0 0 0 10 0 0 1 1 0 1 0 1 10 0 0 0 0 0 10 0 0 0 0 1 0 10 1 0 9 0 0 0 8 0 7 0 0 0 0 6 1 0 0 1 0 7 10 1 5 10 0 0 0 7 10 1 0 0 8 0 6 0 0 10 0 0 9 6 0 0 0 5 0 0 0 0 1 0 0 0 0 0 0 0 0 7 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 8 3 5 0 0 0 1 10 0 0 0 0 9 0 1 7 0 0 0 0 0 0 9 0 0 0 0 6 0 0 6 0 10 0 0 0 0 0 0 0 6 10 1 0 10 0 0 0 2 0 0 0 0 0 6 4 10 4 0 9 0 4 4 0 0 0 0 0 0 0 1 0 8 0 10 0 10 0 1 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 2 0 9 3 0 0 0 0 1 0 0 0 0 0 9 0 1 1 0 10 10 0 0 1 4 0 0 7 0 0 0 0 1 0 0 0 1 0 0 0 7 0 6 9 10 0 0 0 0 5 0 0 0 9 0 0 6 10 0 0 10 0 0 4 0 0 10 0 0 0 0 0 0 0 1 4 10 0 0 0 0 0 1 10 0 0 10 0 0 0 0 0 0 0 0 0 2 10 0 0 6 0 10 0 0 8 8 5 0 0 1 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 1 10 2 0 0 0 0 0 10 0 10 9 0 1 8 0 0 0 9 0 0 0 10 0 10 0 8 0 10 0 0 0 0 8 10 1 0 0 0 1 0 8 1 0 0 8 0 0 1 0 0 0 0 1 9 0 0 0 10 0 0 0 0 0 0 0 0 9 0 1 10 1 0 0 0 0 0 0 0 0 9 9 10 0 0 0 10 0 0 0 0 10 1 0 1 0 0 0 0 0 0 10 0 8 1 0 9 10 0 10 1 0 0 10 0 0 0 4 2 10 1 0 0 6 0 1 1 4 0 1 0 10 0 0 0 0 1 52 124 132 60 172 312 172 256 108 72 32 36 20 64 188 268 208 96 124 156 252 156 196 196 296 0 296 64 284 256 256 224 80 84 156 24 24 184 336 292 376 180 288 212 0 184 320 336 108 12 184 184 148 44 184 100 68 60 36 188 240 120 80 24 148 72 28 168 120 72 152 28 60 48 180 48 0 100 64 76 84 92 244 0 124 236 96 308 48 48 308 268 52 72 148 44 276 256 24 24 296 96 216 252 232 8 8 48 92 196 160 0 40 112 92 32 184 184 84 4 124 128 80 156 28 192 40 104 116 140 68 196 76 252 112 112 156 160 84 52 188 72 116 40 148 196 64 64 180 60 44 188 252 376 212 92 8 32 32 296 108 32 100 16 100 100 168 16 328 80 196 140 152 228 324 260 180 284 360 208 228 288 32 320 24 164 12 88 52 200 64 200 60 196 120 88 280 188 12 204 360 228 320 40 260 8 216 100 148 224 48 104 324 192 156 224 48 0 0 176 208 228 72 80 168 120 236 8 224 324 152 212 144 224 72 140 68 20 120 56 148 264 60 68 28 108 260 292 220 360 220 220 320 184 96 76 84 224 72 140 84 108 68 220 148 48 140 256 248 268 200 280 20 112 240 28 236 72 272 96 236 52 164 88 28 260 292 160 112 80 252 24 132 20 24 52 4 36 104 80 136 28 168 52 128 52 4 8 56 184 60 84 116 136 40 188 180 360 320 220 4 32 328 172 204 132 324 192 108 328 120 144 120 80 180 252 172 216 28 64 248 136 92 28 240 264 228 20 224 136 68 4 224 68 128 20 20 168 72 12 120 12 104 160 92 0 12 24 44 36 36 156 152 184 56 64 36 4 276 336 88 304 124 236 372 80 172 28 64 72 100 208 256 192 248 192 52 52 8 80 12 140 172 248 132 288 288 288 292 4 64 140 136 40 68 92 88 60 116 36 148 36 288 176 84 228 192 176 112 112 232 44 4 20 336 88 56 84 128 328 176 64 260 160 56 332 300 220 272 308 32 152 204 120 60 88 316 180 132 8 160 272 144 152 100 64 48 128 20 32 192 164 80 108 128 136 140 8 152 4 44 180 68 100 112 20 68 28 256 160 192 188 52 120 80 0 308 316 276 208 16 44 316 256 0 332 196 44 52 160 204 44 52 244 240 168 184 80 108 152 208 124 80 4 196 160 120 60 48 156 72 176 132 168 72 68 48 92 40 68 92 32 336 92 308 72 188 76 128 328 16 220 268 48 44 48 136 180 152 100 136 248 172 292 44 212 64 80 236 148 48 140 292 316 12 80 12 8 32 124 80 72 120 36 188 128 180 80 260 80 120 24 72 132 280 28 268 44 48 204 212 316 276 336 128 12 136 40 136 260 180 76 276 240 16 60 16 164 56 140 172 92 264 124 84 164 204 292 32 36 148 80 116 152 140 36 140 84 188 136 236 36 244 196 176 236 48 324 236 148 56 48 348 372 136 128 252 12 180 328 172 48 268 36 92 28 20 220 104 76 16 176 216 124 48 100 124 200 140 28 24 204 208 148 212 28 128 116 124 252 0 108 116 200 40 192 80 236 180 60 0 116 92 68 56 284 212 88 92 120 116 196 76 328 272 108 84 148 8 60 168 148 136 108 160 20 88 44 100 116 120 60 200 48 88 112 88 212 272 320 108 64 40 224 332 60 112 240 20 188 84 40 148 200 280 180 12 36 220 104 84 64 200 168 360 228 32 48 36 96 16 300 320 184 56 64 32 80 28 0 124 200 140 136 116 212 360 220 96 320 328 64 76 156 40 292 136 208 160 252 44 156 80 136 116 60 200 244 224 96 320 104 112 272 96 68 320 308 84 84 108 128 208 244 276 160 68 88 72 224 8 152 176 12 144 168 128 40 308 324 16 28 140 112 144 120 232 280 172 100 228 180 132 56 48 64 80 80 28 72 244 16 136 28 40 260 304 364 276 84 88 24 88 284 0 24 76 132 52 120 116 0 100 248 16 24 152 32 184 216 32 264 284 264 32 256 232 60 156 252 292 68 36 144 108 192 76 32 60 132 216 84 92 0 36 232 240 80 268 120 156 92 96 84 224 232 156 324 276 204 248 208 272 96 20 332 0 36 136 40 116 0 284 280 12
252.06/171.40	v       </values>
252.06/171.40	v     </instantiation>
252.06/171.40	s SATISFIABLE

Verifier Data 

OK	98990615

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302940-1532896780/watcher-4302940-1532896780 -o /tmp/evaluation-result-4302940-1532896780/solver-4302940-1532896780 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532894180-24644 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1012193966 -superng HOME/instance-4302940-1532896780.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=28429, runsolver pid=28426

[startup+0.107032 s]*
/proc/loadavg: 2.49 2.01 1.98 5/207 28487
/proc/meminfo: memFree=23839612/32770624 swapFree=67108792/67108860
[pid=28429] ppid=28426 vsize=10453864 memory=24736 CPUtime=0.09 cores=1,3,5,7
/proc/28429/stat : 28429 (java) S 28426 28429 22977 0 -1 1077944320 4817 12883 0 0 2 0 5 2 20 0 9 0 107241300 10704756736 6184 33554432000 4194304 4196468 140731422594144 140731422576688 139662418206455 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
/proc/28429/statm: 2613466 6184 2103 1 0 2576007 0
[pid=28429/tid=28482] ppid=28426 vsize=10453864 memory=4351193298051630219 CPUtime=0.09 cores=1,3,5,7
/proc/28429/task/28482/stat : 28482 (java) R 28426 28429 22977 0 -1 4202560 2605 12883 0 0 2 0 5 2 20 0 9 0 107241309 10704756736 6184 33554432000 4194304 4196468 140731422594144 139662390042480 139662418228381 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28483] ppid=28426 vsize=10453864 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28483/stat : 28483 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 9 0 107241310 10704756736 6184 33554432000 4194304 4196468 140731422594144 139662422448656 139662418216661 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28484] ppid=28426 vsize=10453864 memory=139994642790016 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28484/stat : 28484 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 9 0 107241310 10704756736 6184 33554432000 4194304 4196468 140731422594144 139662277167760 139662418216661 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28485] ppid=28426 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28485/stat : 28485 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 9 0 107241310 10704756736 6184 33554432000 4194304 4196468 140731422594144 139662276114704 139662418216661 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28486] ppid=28426 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28486/stat : 28486 (java) S 28426 28429 22977 0 -1 1077944384 2 12883 0 0 0 0 5 2 20 0 9 0 107241310 10704756736 6184 33554432000 4194304 4196468 140731422594144 139662275062160 139662418216661 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28487] ppid=28426 vsize=10453864 memory=139994642790016 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28487/stat : 28487 (java) S 28426 28429 22977 0 -1 1077944384 2 12883 0 0 0 0 5 2 20 0 9 0 107241311 10704756736 6184 33554432000 4194304 4196468 140731422594144 139661387168496 139662418217602 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28488] ppid=28426 vsize=10453864 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28488/stat : 28488 (java) S 28426 28429 22977 0 -1 1077944384 13 12883 0 0 0 0 5 2 20 0 9 0 107241312 10704756736 6184 33554432000 4194304 4196468 140731422594144 139661263496864 139662418216661 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28489] ppid=28426 vsize=10453864 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28489/stat : 28489 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 9 0 107241312 10704756736 6184 33554432000 4194304 4196468 140731422594144 139661062169904 139662418216661 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10453864 KiB
Current children cumulated memory: 24736 KiB

[startup+0.210039 s]*
/proc/loadavg: 2.49 2.01 1.98 6/215 28495
/proc/meminfo: memFree=23818020/32770624 swapFree=67108792/67108860
[pid=28429] ppid=28426 vsize=10982744 memory=48024 CPUtime=0.26 cores=1,3,5,7
/proc/28429/stat : 28429 (java) S 28426 28429 22977 0 -1 1077944320 9377 12883 0 0 17 2 5 2 20 0 15 0 107241300 11246329856 12006 33554432000 4194304 4196468 140731422594144 140731422576688 139662418206455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
/proc/28429/statm: 2745686 12006 2958 1 0 2708109 0
[pid=28429/tid=28482] ppid=28426 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/28429/task/28482/stat : 28482 (java) R 28426 28429 22977 0 -1 4202560 5927 12883 0 0 11 1 5 2 20 0 15 0 107241309 11246329856 12006 33554432000 4194304 4196468 140731422594144 139662390031264 139662418218390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28483] ppid=28426 vsize=10982744 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28483/stat : 28483 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241310 11246329856 12006 33554432000 4194304 4196468 140731422594144 139662422448656 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28484] ppid=28426 vsize=10982744 memory=3978562515230013088 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28484/stat : 28484 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241310 11246329856 12006 33554432000 4194304 4196468 140731422594144 139662277167760 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28485] ppid=28426 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28485/stat : 28485 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241310 11246329856 12006 33554432000 4194304 4196468 140731422594144 139662276114704 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28486] ppid=28426 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28486/stat : 28486 (java) S 28426 28429 22977 0 -1 1077944384 2 12883 0 0 0 0 5 2 20 0 15 0 107241310 11246329856 12006 33554432000 4194304 4196468 140731422594144 139662275062160 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28487] ppid=28426 vsize=10982744 memory=139994642790016 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28487/stat : 28487 (java) S 28426 28429 22977 0 -1 1077944384 2 12883 0 0 0 0 5 2 20 0 15 0 107241311 11246329856 12006 33554432000 4194304 4196468 140731422594144 139661387168496 139662418217602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28488] ppid=28426 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28488/stat : 28488 (java) S 28426 28429 22977 0 -1 1077944384 13 12883 0 0 0 0 5 2 20 0 15 0 107241312 11246329856 12006 33554432000 4194304 4196468 140731422594144 139661263496864 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28489] ppid=28426 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28489/stat : 28489 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241312 11246329856 12006 33554432000 4194304 4196468 140731422594144 139661062169840 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28490] ppid=28426 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28490/stat : 28490 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241314 11246329856 12006 33554432000 4194304 4196468 140731422594144 139660754770384 139662418225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28491] ppid=28426 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28429/task/28491/stat : 28491 (java) S 28426 28429 22977 0 -1 1077944384 420 12883 0 0 1 0 5 2 20 0 15 0 107241314 11246329856 12006 33554432000 4194304 4196468 140731422594144 139661386115312 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28492] ppid=28426 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28429/task/28492/stat : 28492 (java) S 28426 28429 22977 0 -1 1077944384 190 12883 0 0 1 0 5 2 20 0 15 0 107241314 11246329856 12006 33554432000 4194304 4196468 140731422594144 139661385062768 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28493] ppid=28426 vsize=10982744 memory=139994642790016 CPUtime=0.1 cores=1,3,5,7
/proc/28429/task/28493/stat : 28493 (java) R 28426 28429 22977 0 -1 4202560 621 12883 0 0 3 0 5 2 20 0 15 0 107241314 11246329856 12006 33554432000 4194304 4196468 140731422594144 139661384009712 139662418227802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28494] ppid=28426 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28494/stat : 28494 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241315 11246329856 12006 33554432000 4194304 4196468 140731422594144 139660323973472 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28495] ppid=28426 vsize=10982744 memory=139994642790016 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28495/stat : 28495 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241315 11246329856 12006 33554432000 4194304 4196468 140731422594144 139661382958128 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 48024 KiB

[startup+0.310288 s]*
/proc/loadavg: 2.49 2.01 1.98 6/215 28495
/proc/meminfo: memFree=23804872/32770624 swapFree=67108792/67108860
[pid=28429] ppid=28426 vsize=10983192 memory=55908 CPUtime=0.38 cores=1,3,5,7
/proc/28429/stat : 28429 (java) S 28426 28429 22977 0 -1 1077944320 10581 12883 0 0 28 3 5 2 20 0 15 0 107241300 11246788608 13977 33554432000 4194304 4196468 140731422594144 140731422576688 139662418206455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
/proc/28429/statm: 2745798 13977 3077 1 0 2708109 0
[pid=28429/tid=28482] ppid=28426 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/28429/task/28482/stat : 28482 (java) R 28426 28429 22977 0 -1 4202560 7118 12883 0 0 20 2 5 2 20 0 15 0 107241309 11246788608 13977 33554432000 4194304 4196468 140731422594144 139662390018464 139662403372019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28483] ppid=28426 vsize=10983192 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28483/stat : 28483 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241310 11246788608 13977 33554432000 4194304 4196468 140731422594144 139662422448656 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28484] ppid=28426 vsize=10983192 memory=139994642797009 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28484/stat : 28484 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241310 11246788608 13977 33554432000 4194304 4196468 140731422594144 139662277167760 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28485] ppid=28426 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28485/stat : 28485 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241310 11246788608 13977 33554432000 4194304 4196468 140731422594144 139662276114704 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28486] ppid=28426 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28486/stat : 28486 (java) S 28426 28429 22977 0 -1 1077944384 2 12883 0 0 0 0 5 2 20 0 15 0 107241310 11246788608 13977 33554432000 4194304 4196468 140731422594144 139662275062160 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28487] ppid=28426 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28487/stat : 28487 (java) S 28426 28429 22977 0 -1 1077944384 2 12883 0 0 0 0 5 2 20 0 15 0 107241311 11246788608 13977 33554432000 4194304 4196468 140731422594144 139661387168496 139662418217602 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28488] ppid=28426 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28488/stat : 28488 (java) S 28426 28429 22977 0 -1 1077944384 13 12883 0 0 0 0 5 2 20 0 15 0 107241312 11246788608 13977 33554432000 4194304 4196468 140731422594144 139661263496864 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28489] ppid=28426 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28489/stat : 28489 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241312 11246788608 13977 33554432000 4194304 4196468 140731422594144 139661062169840 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28490] ppid=28426 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28490/stat : 28490 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241314 11246788608 13977 33554432000 4194304 4196468 140731422594144 139660754770384 139662418225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28491] ppid=28426 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28429/task/28491/stat : 28491 (java) S 28426 28429 22977 0 -1 1077944384 423 12883 0 0 1 0 5 2 20 0 15 0 107241314 11246788608 13977 33554432000 4194304 4196468 140731422594144 139661386115312 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28492] ppid=28426 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28429/task/28492/stat : 28492 (java) S 28426 28429 22977 0 -1 1077944384 191 12883 0 0 1 0 5 2 20 0 15 0 107241314 11246788608 13977 33554432000 4194304 4196468 140731422594144 139661385062768 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28493] ppid=28426 vsize=10983192 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/28429/task/28493/stat : 28493 (java) S 28426 28429 22977 0 -1 1077944384 629 12883 0 0 4 0 5 2 20 0 15 0 107241314 11246788608 13977 33554432000 4194304 4196468 140731422594144 139661384009712 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28494] ppid=28426 vsize=10983192 memory=139994642790016 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28494/stat : 28494 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241315 11246788608 13977 33554432000 4194304 4196468 140731422594144 139660323973472 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28495] ppid=28426 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28495/stat : 28495 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241315 11246788608 13977 33554432000 4194304 4196468 140731422594144 139661382958128 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55908 KiB

[startup+0.70073 s]
/proc/loadavg: 2.49 2.01 1.98 6/215 28495
/proc/meminfo: memFree=23795864/32770624 swapFree=67108792/67108860
[pid=28429] ppid=28426 vsize=10983192 memory=88480 CPUtime=0.98 cores=1,3,5,7
/proc/28429/stat : 28429 (java) S 28426 28429 22977 0 -1 1077944320 16763 12883 0 0 86 5 5 2 20 0 15 0 107241300 11246788608 22120 33554432000 4194304 4196468 140731422594144 140731422576688 139662418206455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
/proc/28429/statm: 2745798 22120 3239 1 0 2708109 0
[pid=28429/tid=28482] ppid=28426 vsize=10983192 memory=139998753980965 CPUtime=0.66 cores=1,3,5,7
/proc/28429/task/28482/stat : 28482 (java) R 28426 28429 22977 0 -1 4202560 12217 12883 0 0 56 3 5 2 20 0 15 0 107241309 11246788608 22120 33554432000 4194304 4196468 140731422594144 139662390020784 139662398482336 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28483] ppid=28426 vsize=10983192 memory=139998753980986 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28483/stat : 28483 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241310 11246788608 22120 33554432000 4194304 4196468 140731422594144 139662422448656 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28484] ppid=28426 vsize=10983192 memory=139998753980987 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28484/stat : 28484 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241310 11246788608 22120 33554432000 4194304 4196468 140731422594144 139662277167760 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28485] ppid=28426 vsize=10983192 memory=139998753980989 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28485/stat : 28485 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241310 11246788608 22120 33554432000 4194304 4196468 140731422594144 139662276114704 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28486] ppid=28426 vsize=10983192 memory=139998753980995 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28486/stat : 28486 (java) S 28426 28429 22977 0 -1 1077944384 2 12883 0 0 0 0 5 2 20 0 15 0 107241310 11246788608 22120 33554432000 4194304 4196468 140731422594144 139662275062160 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28487] ppid=28426 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28487/stat : 28487 (java) S 28426 28429 22977 0 -1 1077944384 5 12883 0 0 0 0 5 2 20 0 15 0 107241311 11246788608 22120 33554432000 4194304 4196468 140731422594144 139661387168496 139662418217602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28488] ppid=28426 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28488/stat : 28488 (java) S 28426 28429 22977 0 -1 1077944384 13 12883 0 0 0 0 5 2 20 0 15 0 107241312 11246788608 22120 33554432000 4194304 4196468 140731422594144 139661263496864 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28489] ppid=28426 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28489/stat : 28489 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241312 11246788608 22120 33554432000 4194304 4196468 140731422594144 139661062169840 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28490] ppid=28426 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28490/stat : 28490 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241314 11246788608 22120 33554432000 4194304 4196468 140731422594144 139660754770384 139662418225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28491] ppid=28426 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/28429/task/28491/stat : 28491 (java) S 28426 28429 22977 0 -1 1077944384 1049 12883 0 0 9 0 5 2 20 0 15 0 107241314 11246788608 22120 33554432000 4194304 4196468 140731422594144 139661386115312 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28492] ppid=28426 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/28429/task/28492/stat : 28492 (java) S 28426 28429 22977 0 -1 1077944384 566 12883 0 0 7 0 5 2 20 0 15 0 107241314 11246788608 22120 33554432000 4194304 4196468 140731422594144 139661385062768 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28493] ppid=28426 vsize=10983192 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/28429/task/28493/stat : 28493 (java) S 28426 28429 22977 0 -1 1077944384 708 12883 0 0 12 0 5 2 20 0 15 0 107241314 11246788608 22120 33554432000 4194304 4196468 140731422594144 139661384009712 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28494] ppid=28426 vsize=10983192 memory=12 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28494/stat : 28494 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241315 11246788608 22120 33554432000 4194304 4196468 140731422594144 139660323973472 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28495] ppid=28426 vsize=10983192 memory=18268 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28495/stat : 28495 (java) S 28426 28429 22977 0 -1 1077944384 1 12883 0 0 0 0 5 2 20 0 15 0 107241315 11246788608 22120 33554432000 4194304 4196468 140731422594144 139661382958128 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88480 KiB

[startup+1.50122 s]
/proc/loadavg: 2.49 2.01 1.98 7/215 28495
/proc/meminfo: memFree=23748912/32770624 swapFree=67108792/67108860
[pid=28429] ppid=28426 vsize=10991948 memory=305888 CPUtime=3.07 cores=1,3,5,7
/proc/28429/stat : 28429 (java) S 28426 28429 22977 0 -1 1077944320 24186 12883 0 0 282 18 5 2 20 0 15 0 107241300 11255754752 76472 33554432000 4194304 4196468 140731422594144 140731422576688 139662418206455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
/proc/28429/statm: 2747987 76472 3470 1 0 2709645 0
[pid=28429/tid=28482] ppid=28426 vsize=10991948 memory=10799 CPUtime=1.42 cores=1,3,5,7
/proc/28429/task/28482/stat : 28482 (java) R 28426 28429 22977 0 -1 4202560 15156 12883 0 0 127 8 5 2 20 0 15 0 107241309 11255754752 76472 33554432000 4194304 4196468 140731422594144 139662390040272 139661951505040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28483] ppid=28426 vsize=10991948 memory=25313 CPUtime=0.09 cores=1,3,5,7
/proc/28429/task/28483/stat : 28483 (java) S 28426 28429 22977 0 -1 1077944384 61 12883 0 0 1 1 5 2 20 0 15 0 107241310 11255754752 76472 33554432000 4194304 4196468 140731422594144 139662422448656 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28484] ppid=28426 vsize=10991948 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28429/task/28484/stat : 28484 (java) S 28426 28429 22977 0 -1 1077944384 29 12883 0 0 1 1 5 2 20 0 15 0 107241310 11255754752 76472 33554432000 4194304 4196468 140731422594144 139662277167760 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28485] ppid=28426 vsize=10991948 memory=321013415751723303 CPUtime=0.1 cores=1,3,5,7
/proc/28429/task/28485/stat : 28485 (java) S 28426 28429 22977 0 -1 1077944384 53 12883 0 0 1 2 5 2 20 0 15 0 107241310 11255754752 76472 33554432000 4194304 4196468 140731422594144 139662276114704 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28486] ppid=28426 vsize=10991948 memory=288288891742739861 CPUtime=0.1 cores=1,3,5,7
/proc/28429/task/28486/stat : 28486 (java) S 28426 28429 22977 0 -1 1077944384 306 12883 0 0 1 2 5 2 20 0 15 0 107241310 11255754752 76472 33554432000 4194304 4196468 140731422594144 139662275062160 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28487] ppid=28426 vsize=10991948 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28487/stat : 28487 (java) S 28426 28429 22977 0 -1 1077944384 95 12883 0 0 0 0 5 2 20 0 15 0 107241311 11255754752 76472 33554432000 4194304 4196468 140731422594144 139661387168496 139662418217602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28488] ppid=28426 vsize=10991948 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28488/stat : 28488 (java) S 28426 28429 22977 0 -1 1077944384 13 12883 0 0 0 0 5 2 20 0 15 0 107241312 11255754752 76472 33554432000 4194304 4196468 140731422594144 139661263496864 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28489] ppid=28426 vsize=10991948 memory=-2672971631320983069 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28489/stat : 28489 (java) S 28426 28429 22977 0 -1 1077944384 5 12883 0 0 0 0 5 2 20 0 15 0 107241312 11255754752 76472 33554432000 4194304 4196468 140731422594144 139661062169840 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28490] ppid=28426 vsize=10991948 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28490/stat : 28490 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241314 11255754752 76472 33554432000 4194304 4196468 140731422594144 139660754770384 139662418225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28491] ppid=28426 vsize=10991948 memory=7156897559811746153 CPUtime=0.6 cores=1,3,5,7
/proc/28429/task/28491/stat : 28491 (java) R 28426 28429 22977 0 -1 4202560 1857 12883 0 0 53 0 5 2 20 0 15 0 107241314 11255754752 76472 33554432000 4194304 4196468 140731422594144 139661386101856 139662399386119 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28492] ppid=28426 vsize=10991948 memory=7524512692651257697 CPUtime=0.6 cores=1,3,5,7
/proc/28429/task/28492/stat : 28492 (java) R 28426 28429 22977 0 -1 4202560 2759 12883 0 0 53 0 5 2 20 0 15 0 107241314 11255754752 76472 33554432000 4194304 4196468 140731422594144 139661385041664 139662402600220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28493] ppid=28426 vsize=10991948 memory=7522529165085074258 CPUtime=0.47 cores=1,3,5,7
/proc/28429/task/28493/stat : 28493 (java) S 28426 28429 22977 0 -1 1077944384 1653 12883 0 0 40 0 5 2 20 0 15 0 107241314 11255754752 76472 33554432000 4194304 4196468 140731422594144 139661384009712 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0

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

[pid=28429/tid=28486] ppid=28426 vsize=11016544 memory=3320352 CPUtime=3.58 cores=1,3,5,7
/proc/28429/task/28486/stat : 28486 (java) S 28426 28429 22977 0 -1 1077944384 2213 12883 0 0 318 33 5 2 20 0 15 0 107241310 11280941056 873632 33554432000 4194304 4196468 140731422594144 139662275062160 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28487] ppid=28426 vsize=11016544 memory=3320352 CPUtime=0.2 cores=1,3,5,7
/proc/28429/task/28487/stat : 28487 (java) S 28426 28429 22977 0 -1 1077944384 6637 12883 0 0 13 0 5 2 20 0 15 0 107241311 11280941056 873632 33554432000 4194304 4196468 140731422594144 139661387168496 139662418217602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28488] ppid=28426 vsize=11016544 memory=279989052861056 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28488/stat : 28488 (java) S 28426 28429 22977 0 -1 1077944384 15 12883 0 0 0 0 5 2 20 0 15 0 107241312 11280941056 873632 33554432000 4194304 4196468 140731422594144 139661263496992 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28489] ppid=28426 vsize=11016544 memory=591660900728007986 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28489/stat : 28489 (java) S 28426 28429 22977 0 -1 1077944384 6 12883 0 0 0 0 5 2 20 0 15 0 107241312 11280941056 873632 33554432000 4194304 4196468 140731422594144 139661062169856 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28490] ppid=28426 vsize=11016544 memory=30824 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28490/stat : 28490 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241314 11280941056 873632 33554432000 4194304 4196468 140731422594144 139660754770384 139662418225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28491] ppid=28426 vsize=11016544 memory=1292 CPUtime=8.1 cores=1,3,5,7
/proc/28429/task/28491/stat : 28491 (java) S 28426 28429 22977 0 -1 1077944384 11340 12883 0 0 800 3 5 2 20 0 15 0 107241314 11280941056 873632 33554432000 4194304 4196468 140731422594144 139661386115312 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28492] ppid=28426 vsize=11016544 memory=2436 CPUtime=8.16 cores=1,3,5,7
/proc/28429/task/28492/stat : 28492 (java) S 28426 28429 22977 0 -1 1077944384 15396 12883 0 0 806 3 5 2 20 0 15 0 107241314 11280941056 873632 33554432000 4194304 4196468 140731422594144 139661385062768 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28493] ppid=28426 vsize=11016544 memory=3267588 CPUtime=3.06 cores=1,3,5,7
/proc/28429/task/28493/stat : 28493 (java) S 28426 28429 22977 0 -1 1077944384 14347 12883 0 0 293 6 5 2 20 0 15 0 107241314 11280941056 873632 33554432000 4194304 4196468 140731422594144 139661384009712 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28494] ppid=28426 vsize=11016544 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28494/stat : 28494 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241315 11280941056 873632 33554432000 4194304 4196468 140731422594144 139660323973472 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28495] ppid=28426 vsize=11016544 memory=7892 CPUtime=0.09 cores=1,3,5,7
/proc/28429/task/28495/stat : 28495 (java) S 28426 28429 22977 0 -1 1077944384 1530 12883 0 0 1 1 5 2 20 0 15 0 107241315 11280941056 873632 33554432000 4194304 4196468 140731422594144 139661382958128 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
Current children cumulated CPU time: 80.69 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3494528 KiB

[startup+102.301 s]
/proc/loadavg: 1.78 1.93 1.96 3/216 28632
/proc/meminfo: memFree=20697000/32770624 swapFree=67108792/67108860
[pid=28429] ppid=28426 vsize=11016544 memory=3971144 CPUtime=148.93 cores=1,3,5,7
/proc/28429/stat : 28429 (java) S 28426 28429 22977 0 -1 1077944320 181260 12883 0 0 14638 248 5 2 20 0 15 0 107241300 11280941056 992786 33554432000 4194304 4196468 140731422594144 140731422576688 139662418206455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
/proc/28429/statm: 2754136 992786 3538 1 0 2715789 0
[pid=28429/tid=28482] ppid=28426 vsize=11016544 memory=3971144 CPUtime=92.94 cores=1,3,5,7
/proc/28429/task/28482/stat : 28482 (java) R 28426 28429 22977 0 -1 4202560 65562 12883 0 0 9243 44 5 2 20 0 15 0 107241309 11280941056 992786 33554432000 4194304 4196468 140731422594144 139662390038576 139661964900928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28483] ppid=28426 vsize=11016544 memory=2289 CPUtime=9.03 cores=1,3,5,7
/proc/28429/task/28483/stat : 28483 (java) S 28426 28429 22977 0 -1 1077944384 9553 12883 0 0 851 45 5 2 20 0 15 0 107241310 11280941056 992786 33554432000 4194304 4196468 140731422594144 139662422448656 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28484] ppid=28426 vsize=11016544 memory=4136 CPUtime=9.04 cores=1,3,5,7
/proc/28429/task/28484/stat : 28484 (java) S 28426 28429 22977 0 -1 1077944384 7981 12883 0 0 851 46 5 2 20 0 15 0 107241310 11280941056 992786 33554432000 4194304 4196468 140731422594144 139662277167760 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28485] ppid=28426 vsize=11016544 memory=3907050149996749922 CPUtime=9.11 cores=1,3,5,7
/proc/28429/task/28485/stat : 28485 (java) S 28426 28429 22977 0 -1 1077944384 8628 12883 0 0 858 46 5 2 20 0 15 0 107241310 11280941056 992786 33554432000 4194304 4196468 140731422594144 139662276114704 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28486] ppid=28426 vsize=11016544 memory=3971112 CPUtime=9.11 cores=1,3,5,7
/proc/28429/task/28486/stat : 28486 (java) S 28426 28429 22977 0 -1 1077944384 8167 12883 0 0 859 45 5 2 20 0 15 0 107241310 11280941056 992786 33554432000 4194304 4196468 140731422594144 139662275062160 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28487] ppid=28426 vsize=11016544 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/28429/task/28487/stat : 28487 (java) S 28426 28429 22977 0 -1 1077944384 24528 12883 0 0 19 1 5 2 20 0 15 0 107241311 11280941056 992786 33554432000 4194304 4196468 140731422594144 139661387168496 139662418217602 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28488] ppid=28426 vsize=11016544 memory=2856 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28488/stat : 28488 (java) S 28426 28429 22977 0 -1 1077944384 15 12883 0 0 0 0 5 2 20 0 15 0 107241312 11280941056 992786 33554432000 4194304 4196468 140731422594144 139661263496992 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28489] ppid=28426 vsize=11016544 memory=834 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28489/stat : 28489 (java) S 28426 28429 22977 0 -1 1077944384 6 12883 0 0 0 0 5 2 20 0 15 0 107241312 11280941056 992786 33554432000 4194304 4196468 140731422594144 139661062169856 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28490] ppid=28426 vsize=11016544 memory=302 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28490/stat : 28490 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241314 11280941056 992786 33554432000 4194304 4196468 140731422594144 139660754770384 139662418225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28491] ppid=28426 vsize=11016544 memory=3971072 CPUtime=8.33 cores=1,3,5,7
/proc/28429/task/28491/stat : 28491 (java) S 28426 28429 22977 0 -1 1077944384 15297 12883 0 0 822 4 5 2 20 0 15 0 107241314 11280941056 992786 33554432000 4194304 4196468 140731422594144 139661386115312 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28492] ppid=28426 vsize=11016544 memory=30824 CPUtime=8.41 cores=1,3,5,7
/proc/28429/task/28492/stat : 28492 (java) S 28426 28429 22977 0 -1 1077944384 20565 12883 0 0 831 3 5 2 20 0 15 0 107241314 11280941056 992786 33554432000 4194304 4196468 140731422594144 139661385062768 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28493] ppid=28426 vsize=11016544 memory=1292 CPUtime=3.09 cores=1,3,5,7
/proc/28429/task/28493/stat : 28493 (java) S 28426 28429 22977 0 -1 1077944384 17154 12883 0 0 296 6 5 2 20 0 15 0 107241314 11280941056 992786 33554432000 4194304 4196468 140731422594144 139661384009712 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28494] ppid=28426 vsize=11016544 memory=4136 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28494/stat : 28494 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241315 11280941056 992786 33554432000 4194304 4196468 140731422594144 139660323973472 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28495] ppid=28426 vsize=11016544 memory=30824 CPUtime=0.13 cores=1,3,5,7
/proc/28429/task/28495/stat : 28495 (java) S 28426 28429 22977 0 -1 1077944384 1606 12883 0 0 3 3 5 2 20 0 15 0 107241315 11280941056 992786 33554432000 4194304 4196468 140731422594144 139661382958128 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
Current children cumulated CPU time: 148.93 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3971144 KiB

[startup+162.301 s]
/proc/loadavg: 2.61 2.20 2.05 4/216 28762
/proc/meminfo: memFree=19499664/32770624 swapFree=67108792/67108860
[pid=28429] ppid=28426 vsize=11016544 memory=4453700 CPUtime=241.75 cores=1,3,5,7
/proc/28429/stat : 28429 (java) S 28426 28429 22977 0 -1 1077944320 230325 12883 0 0 23886 282 5 2 20 0 15 0 107241300 11280941056 1113425 33554432000 4194304 4196468 140731422594144 140731422576688 139662418206455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
/proc/28429/statm: 2754136 1113425 3538 1 0 2715789 0
[pid=28429/tid=28482] ppid=28426 vsize=11016544 memory=4398828 CPUtime=141.93 cores=1,3,5,7
/proc/28429/task/28482/stat : 28482 (java) R 28426 28429 22977 0 -1 4202560 71985 12883 0 0 14142 44 5 2 20 0 15 0 107241309 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139662390033760 139661969555919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28483] ppid=28426 vsize=11016544 memory=4404528 CPUtime=19.87 cores=1,3,5,7
/proc/28429/task/28483/stat : 28483 (java) S 28426 28429 22977 0 -1 1077944384 13045 12883 0 0 1926 54 5 2 20 0 15 0 107241310 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139662422448656 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28484] ppid=28426 vsize=11016544 memory=3971144 CPUtime=19.91 cores=1,3,5,7
/proc/28429/task/28484/stat : 28484 (java) S 28426 28429 22977 0 -1 1077944384 14000 12883 0 0 1929 55 5 2 20 0 15 0 107241310 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139662277167760 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28485] ppid=28426 vsize=11016544 memory=4439364 CPUtime=19.87 cores=1,3,5,7
/proc/28429/task/28485/stat : 28485 (java) S 28426 28429 22977 0 -1 1077944384 13764 12883 0 0 1926 54 5 2 20 0 15 0 107241310 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139662276114704 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28486] ppid=28426 vsize=11016544 memory=4453700 CPUtime=19.98 cores=1,3,5,7
/proc/28429/task/28486/stat : 28486 (java) S 28426 28429 22977 0 -1 1077944384 15065 12883 0 0 1940 51 5 2 20 0 15 0 107241310 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139662275062160 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28487] ppid=28426 vsize=11016544 memory=4453700 CPUtime=0.36 cores=1,3,5,7
/proc/28429/task/28487/stat : 28487 (java) S 28426 28429 22977 0 -1 1077944384 34804 12883 0 0 27 2 5 2 20 0 15 0 107241311 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139661387168496 139662418217602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28488] ppid=28426 vsize=11016544 memory=4390380 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28488/stat : 28488 (java) S 28426 28429 22977 0 -1 1077944384 15 12883 0 0 0 0 5 2 20 0 15 0 107241312 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139661263496992 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28489] ppid=28426 vsize=11016544 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28489/stat : 28489 (java) S 28426 28429 22977 0 -1 1077944384 6 12883 0 0 0 0 5 2 20 0 15 0 107241312 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139661062169856 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28490] ppid=28426 vsize=11016544 memory=4441412 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28490/stat : 28490 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241314 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139660754770384 139662418225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28491] ppid=28426 vsize=11016544 memory=4439364 CPUtime=8.56 cores=1,3,5,7
/proc/28429/task/28491/stat : 28491 (java) S 28426 28429 22977 0 -1 1077944384 19641 12883 0 0 845 4 5 2 20 0 15 0 107241314 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139661386115312 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28492] ppid=28426 vsize=11016544 memory=6791534058613427641 CPUtime=8.48 cores=1,3,5,7
/proc/28429/task/28492/stat : 28492 (java) S 28426 28429 22977 0 -1 1077944384 23582 12883 0 0 838 3 5 2 20 0 15 0 107241314 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139661385062768 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28493] ppid=28426 vsize=11016544 memory=18268 CPUtime=3.12 cores=1,3,5,7
/proc/28429/task/28493/stat : 28493 (java) S 28426 28429 22977 0 -1 1077944384 20439 12883 0 0 299 6 5 2 20 0 15 0 107241314 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139661384009712 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28494] ppid=28426 vsize=11016544 memory=4453700 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28494/stat : 28494 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241315 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139660323973472 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28495] ppid=28426 vsize=11016544 memory=4453700 CPUtime=0.16 cores=1,3,5,7
/proc/28429/task/28495/stat : 28495 (java) S 28426 28429 22977 0 -1 1077944384 1781 12883 0 0 5 4 5 2 20 0 15 0 107241315 11280941056 1113425 33554432000 4194304 4196468 140731422594144 139661382958128 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
Current children cumulated CPU time: 241.75 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4453700 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+171.301 s]
/proc/loadavg: 2.56 2.19 2.05 4/216 28762
/proc/meminfo: memFree=19336012/32770624 swapFree=67108792/67108860
[pid=28429] ppid=28426 vsize=11016544 memory=4490624 CPUtime=252.06 cores=1,3,5,7
/proc/28429/stat : 28429 (java) S 28426 28429 22977 0 -1 1077944320 236780 12883 0 0 24914 285 5 2 20 0 15 0 107241300 11280941056 1122656 33554432000 4194304 4196468 140731422594144 140731422576688 139662418206455 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
/proc/28429/statm: 2754136 1122656 3538 1 0 2715789 0
[pid=28429/tid=28482] ppid=28426 vsize=11016544 memory=4490624 CPUtime=150.5 cores=1,3,5,7
/proc/28429/task/28482/stat : 28482 (java) R 28426 28429 22977 0 -1 4202560 73131 12883 0 0 14999 44 5 2 20 0 15 0 107241309 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139662390041328 139661974388373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28483] ppid=28426 vsize=11016544 memory=4474196 CPUtime=20.3 cores=1,3,5,7
/proc/28429/task/28483/stat : 28483 (java) S 28426 28429 22977 0 -1 1077944384 13159 12883 0 0 1969 54 5 2 20 0 15 0 107241310 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139662422448656 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28484] ppid=28426 vsize=11016544 memory=4453716 CPUtime=20.33 cores=1,3,5,7
/proc/28429/task/28484/stat : 28484 (java) S 28426 28429 22977 0 -1 1077944384 14192 12883 0 0 1971 55 5 2 20 0 15 0 107241310 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139662277167760 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28485] ppid=28426 vsize=11016544 memory=4490624 CPUtime=20.29 cores=1,3,5,7
/proc/28429/task/28485/stat : 28485 (java) S 28426 28429 22977 0 -1 1077944384 15741 12883 0 0 1967 55 5 2 20 0 15 0 107241310 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139662276114704 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28486] ppid=28426 vsize=11016544 memory=4439364 CPUtime=20.4 cores=1,3,5,7
/proc/28429/task/28486/stat : 28486 (java) S 28426 28429 22977 0 -1 1077944384 15250 12883 0 0 1982 51 5 2 20 0 15 0 107241310 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139662275062160 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28487] ppid=28426 vsize=11016544 memory=3971144 CPUtime=0.36 cores=1,3,5,7
/proc/28429/task/28487/stat : 28487 (java) S 28426 28429 22977 0 -1 1077944384 35046 12883 0 0 27 2 5 2 20 0 15 0 107241311 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139661387168496 139662418217602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28488] ppid=28426 vsize=11016544 memory=4390380 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28488/stat : 28488 (java) S 28426 28429 22977 0 -1 1077944384 15 12883 0 0 0 0 5 2 20 0 15 0 107241312 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139661263496992 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28489] ppid=28426 vsize=11016544 memory=4441412 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28489/stat : 28489 (java) S 28426 28429 22977 0 -1 1077944384 6 12883 0 0 0 0 5 2 20 0 15 0 107241312 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139661062169856 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28490] ppid=28426 vsize=11016544 memory=4439364 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28490/stat : 28490 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241314 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139660754770384 139662418225051 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28491] ppid=28426 vsize=11016544 memory=4136 CPUtime=8.57 cores=1,3,5,7
/proc/28429/task/28491/stat : 28491 (java) S 28426 28429 22977 0 -1 1077944384 20513 12883 0 0 846 4 5 2 20 0 15 0 107241314 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139661386115312 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28492] ppid=28426 vsize=11016544 memory=30824 CPUtime=8.51 cores=1,3,5,7
/proc/28429/task/28492/stat : 28492 (java) S 28426 28429 22977 0 -1 1077944384 24621 12883 0 0 840 4 5 2 20 0 15 0 107241314 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139661385062768 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28493] ppid=28426 vsize=11016544 memory=4474196 CPUtime=3.12 cores=1,3,5,7
/proc/28429/task/28493/stat : 28493 (java) S 28426 28429 22977 0 -1 1077944384 21120 12883 0 0 299 6 5 2 20 0 15 0 107241314 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139661384009712 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28494] ppid=28426 vsize=11016544 memory=4474196 CPUtime=0.07 cores=1,3,5,7
/proc/28429/task/28494/stat : 28494 (java) S 28426 28429 22977 0 -1 1077944384 3 12883 0 0 0 0 5 2 20 0 15 0 107241315 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139660323973472 139662418216661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
[pid=28429/tid=28495] ppid=28426 vsize=11016544 memory=18268 CPUtime=0.17 cores=1,3,5,7
/proc/28429/task/28495/stat : 28495 (java) S 28426 28429 22977 0 -1 1077944384 1788 12883 0 0 5 5 5 2 20 0 15 0 107241315 11280941056 1122656 33554432000 4194304 4196468 140731422594144 139661382958128 139662418217602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19189760 140731422599784 140731422602593 140731422602593 140731422605263 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4490624 KiB

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

[startup+171.433 s]
# the end of solver process 28429 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.291 s, system=2.9152 s

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

[startup+171.405 s]*
/proc/loadavg: 2.56 2.19 2.05 3/203 28764
/proc/meminfo: memFree=20034132/32770624 swapFree=67108792/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 171.433
CPU time (s): 252.206
CPU user time (s): 249.291
CPU system time (s): 2.9152
CPU usage (%): 147.117
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 4490624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.291
system time used= 2.9152
maximum resident set size= 4494852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252303
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= 16202
involuntary context switches= 979


# summary of solver processes directly reported to runsolver:
#   pid: 28429
#   total CPU time (s): 252.206
#   total CPU user time (s): 249.291
#   total CPU system time (s): 2.9152

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09533 second user time and 1.60489 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-29 22:39:40
IDJOB=4302940
IDBENCH=141272
IDSOLVER=2777
FILE ID=node150/4302940-1532896780
RUNJOBID= node150-1532894180-24644
PBS_JOBID= 21022512
Free space on /tmp= 55068 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-01-0200_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302940-1532896780/watcher-4302940-1532896780 -o /tmp/evaluation-result-4302940-1532896780/solver-4302940-1532896780 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532894180-24644 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1012193966 -superng HOME/instance-4302940-1532896780.xml

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

MD5SUM BENCH= bcb772945ca2f244c7b00bb761820cd7
RANDOM SEED=1012193966

node150.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.76
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.76
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.76
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.76
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:        23848816 kB
MemAvailable:   27924632 kB
Buffers:          225416 kB
Cached:          4093280 kB
SwapCached:           32 kB
Active:          5797836 kB
Inactive:        2585464 kB
Active(anon):    4016484 kB
Inactive(anon):    76188 kB
Active(file):    1781352 kB
Inactive(file):  2509276 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             66356 kB
Writeback:            56 kB
AnonPages:       4072640 kB
Mapped:            57936 kB
Shmem:             25156 kB
Slab:             230820 kB
SReclaimable:     202048 kB
SUnreclaim:        28772 kB
KernelStack:        3520 kB
PageTables:        13180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4777824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3760128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 55168 MiB
End job on node150 at 2018-07-29 22:42:32