Trace number 4293950

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8-SuperNG 2018-06-13SAT (TO)44783802 2520.09 2459.06

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 benchmark35787314
Best CPU time to get the best result obtained on this benchmark2520.08
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

Solver Data 

0.97/0.74	c Concrete v3.8.1528841891564 running
51.02/31.30	o 44783802
2520.02/2459.02	Exception in thread "main" java.util.concurrent.TimeoutException
2520.02/2459.02		at concrete.MAC.mac(MAC.scala:188)
2520.02/2459.02		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2459.02		at scala.util.Try$.apply(Try.scala:209)
2520.02/2459.02		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2459.02		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2459.02		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2459.02		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2459.02		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2459.02		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2459.02		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2459.02		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2459.02		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2459.02		at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2459.02		at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2459.02		at concrete.MAC.nextSolution(MAC.scala:355)
2520.02/2459.02		at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2459.02		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2459.02		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2459.02		at concrete.Solver.foreach(Solver.scala:68)
2520.02/2459.02		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2459.02		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2459.02		at scala.util.Success.map(Try.scala:209)
2520.02/2459.02		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2459.02		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2459.02		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2459.02		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2459.02		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2459.02		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2459.02		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2459.02		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2459.02		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2459.02		at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2459.02		at scala.App.main(App.scala:76)
2520.02/2459.02		at scala.App.main$(App.scala:74)
2520.02/2459.02		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2459.02		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2459.03	v <instantiation cost="44783802">
2520.02/2459.03	v       <list>
2520.02/2459.03	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]
2520.02/2459.03	v       </list>
2520.02/2459.03	v       <values>
2520.02/2459.03	v         2592 2420 2616 2540 2284 2504 2472 2524 2460 2320 2280 2552 2456 2424 2484 2372 2648 2552 2292 2632 2640 2532 2320 2412 2620 2460 2656 2624 2652 2384 2616 2484 2656 2392 2492 2512 2592 2544 2460 2456 2536 2332 2420 2420 2460 2376 2452 2596 2492 2544 2456 2636 2336 2464 2288 2324 2336 2452 2384 2364 2524 2316 2460 2552 2500 2456 2452 2448 2592 2376 2608 2348 2632 2524 2320 2568 2280 2600 2592 2288 2324 2328 2320 2424 2536 2572 2548 2580 2496 2576 2320 2396 2564 2524 2388 2460 2496 2472 2576 2600 2576 2608 2500 2508 2520 2464 2584 2508 2320 2324 2440 2328 2336 2616 2320 2512 2388 2616 2408 2652 2348 2512 2436 2288 2280 2340 2420 2400 2280 2460 2600 2644 2512 2420 2320 2492 2552 2280 2636 2608 2380 2640 2496 2280 2468 2544 2360 2612 2424 2320 2556 2616 2504 2440 2544 2388 2596 2280 2460 2612 2416 2584 2412 2376 2656 2640 2484 2428 2612 2420 2320 2596 2280 2352 2320 2336 2560 2336 2376 2376 2648 2356 2656 2328 2652 2584 2424 2280 2580 2400 2480 2280 2284 2604 2416 2612 2376 2348 2280 2548 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 3 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 3 1 1 1 0 0 4 0 0 0 0 0 0 1 0 0 0 1 0 0 1 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 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 4 0 0 2 0 1 0 0 0 0 0 0 1 1 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 4 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 4 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 4 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 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 4 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 1 0 0 0 0 0 1 0 0 0 0 4 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 2 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 3 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 4 0 3 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 1 1 4 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 3 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 4 0 0 0 0 0 0 4 0 0 0 0 0 0 4 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 4 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 4 3 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 4 0 2 0 0 0 0 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 4 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 64 80 208 28 80 312 164 192 104 72 44 16 192 44 64 40 156 268 92 144 296 120 192 200 288 200 256 100 220 216 92 216 40 16 48 12 100 220 336 252 180 100 284 240 124 136 356 132 44 108 96 216 108 88 144 160 60 60 20 52 152 204 64 12 68 104 104 144 244 96 148 100 64 140 52 52 36 40 180 84 180 104 104 40 336 276 272 360 204 56 320 332 96 80 160 44 264 104 80 48 144 68 132 232 216 96 64 56 36 32 120 40 120 56 48 104 224 208 60 48 96 104 16 192 76 232 56 68 148 152 116 164 132 204 56 148 204 200 128 64 112 220 128 236 120 92 172 108 264 124 332 76 72 8 300 232 56 80 232 340 164 32 208 28 104 96 132 108 88 4 132 120 24 204 312 304 188 320 312 304 204 320 44 312 28 124 20 36 72 52 92 252 116 252 140 164 216 144 8 336 332 104 132 224 132 188 132 100 84 36 244 68 132 160 164 256 52 40 204 164 156 132 64 92 116 116 180 36 236 48 132 320 376 240 96 176 248 56 52 48 116 244 24 32 44 76 316 372 156 364 228 316 324 60 76 192 112 200 48 64 40 104 176 28 164 68 152 296 336 296 188 240 24 64 112 24 60 164 168 204 128 196 164 320 48 56 56 144 188 44 44 372 108 68 108 72 56 28 72 108 88 32 172 68 156 60 60 60 76 172 92 124 192 232 8 196 16 264 272 168 88 256 120 32 196 120 40 60 264 68 64 20 132 140 96 84 100 120 176 176 64 32 72 104 256 44 264 12 260 88 52 52 280 40 176 72 32 104 76 44 140 64 68 140 72 76 84 140 124 76 84 116 192 148 24 40 108 124 40 72 192 52 200 40 20 180 172 48 164 144 24 276 276 16 312 52 36 116 144 156 212 52 116 92 148 56 64 64 68 224 168 168 40 56 176 180 176 32 240 116 124 124 356 356 92 260 356 260 216 164 172 64 104 84 16 104 136 84 44 40 76 132 88 192 148 144 344 236 260 312 36 100 256 136 132 64 292 260 176 180 64 272 240 20 64 52 72 148 72 56 124 164 172 104 116 68 96 188 232 36 96 184 132 160 44 72 44 28 284 12 52 104 244 56 100 148 124 132 88 204 300 36 284 240 36 340 108 40 84 108 48 140 8 84 188 56 232 8 176 176 196 136 64 116 140 112 60 68 136 32 64 116 140 128 112 32 60 184 24 76 128 124 132 12 136 72 96 72 128 264 4 240 216 64 60 56 120 224 208 44 56 40 84 100 288 148 232 252 68 64 80 164 312 276 52 16 12 104 28 148 116 80 192 40 292 36 284 40 248 80 292 100 144 132 304 0 136 96 36 224 248 320 264 184 132 24 204 8 136 288 136 288 260 248 8 40 52 216 48 220 192 292 320 76 96 36 12 104 40 116 216 200 160 116 28 28 24 196 84 292 148 60 44 108 172 84 28 256 68 68 60 16 260 224 156 108 156 96 48 48 160 212 108 136 116 60 64 156 256 88 40 140 240 256 116 240 108 148 200 152 52 60 284 188 236 84 204 244 108 100 72 140 188 180 80 116 120 160 192 48 256 76 60 200 48 280 320 176 68 140 64 176 88 328 208 328 152 100 220 136 120 164 84 184 228 16 188 228 184 120 24 84 120 128 184 140 88 236 32 56 232 248 256 104 220 44 228 228 96 320 120 108 276 188 288 120 72 72 60 200 56 52 104 160 272 184 84 52 40 64 336 20 32 268 104 292 56 36 80 176 264 156 216 296 240 60 192 128 48 204 188 52 108 224 72 372 236 68 68 224 52 152 72 136 136 116 148 220 256 72 352 88 88 272 160 20 276 264 192 164 84 236 92 140 212 356 216 108 48 332 72 60 180 56 56 224 100 48 364 324 32 100 136 100 176 84 316 292 104 68 172 272 136 104 88 28 276 136 80 224 316 12 116 60 44 288 304 284 356 216 212 96 76 376 4 156 68 260 80 296 44 88 96 292 80 60 56 28 188 264 56 240 288 100 104 168 116 60 108 220 332 96 196 256 284 168 240 64 132 100 304 132 148 136 44 208 220 216 360 128 164 132 108 28 332 184 228 316 316 252 268 248 280 172 48 224 76 236 236 124 68 164 300 16 200
2520.02/2459.03	v       </values>
2520.02/2459.03	v     </instantiation>
2520.02/2459.03	s SATISFIABLE

Verifier Data 

OK	44783802

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293950-1532397472/watcher-4293950-1532397472 -o /tmp/evaluation-result-4293950-1532397472/solver-4293950-1532397472 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17305 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1232245701 -superng HOME/instance-4293950-1532397472.xml 

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

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


[startup+0.100061 s]*
/proc/loadavg: 4.17 4.18 3.17 3/206 22068
/proc/meminfo: memFree=20302536/32770624 swapFree=67108860/67108860
[pid=22011] ppid=22008 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/22011/stat : 22011 (java) S 22008 22011 17273 0 -1 1077944320 4396 13427 0 0 1 0 5 3 20 0 6 0 57310472 10212057088 4269 33554432000 4194304 4196468 140729414388944 140729414371488 140178637786871 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
/proc/22011/statm: 2493178 4269 1934 1 0 2481616 0
[pid=22011/tid=22064] ppid=22008 vsize=9972712 memory=4279135704013962638 CPUtime=0.09 cores=1,3,5,7
/proc/22011/task/22064/stat : 22064 (java) R 22008 22011 17273 0 -1 4202560 2219 13427 0 0 1 0 5 3 20 0 6 0 57310481 10212057088 4269 33554432000 4194304 4196468 140729414388944 140178609623632 140178630504023 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22065] ppid=22008 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22065/stat : 22065 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 6 0 57310481 10212057088 4269 33554432000 4194304 4196468 140729414388944 140178642029328 140178637797077 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22066] ppid=22008 vsize=9972712 memory=140088325969536 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22066/stat : 22066 (java) S 22008 22011 17273 0 -1 1077944384 2 13427 0 0 0 0 5 3 20 0 6 0 57310481 10212057088 4269 33554432000 4194304 4196468 140729414388944 140178540919696 140178637797077 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22067] ppid=22008 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22067/stat : 22067 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 6 0 57310481 10212057088 4269 33554432000 4194304 4196468 140729414388944 140178539867152 140178637797077 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22068] ppid=22008 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22068/stat : 22068 (java) S 22008 22011 17273 0 -1 1077944384 2 13427 0 0 0 0 5 3 20 0 6 0 57310481 10212057088 4269 33554432000 4194304 4196468 140729414388944 140178209238160 140178637797077 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB

[startup+0.217736 s]*
/proc/loadavg: 4.17 4.18 3.17 3/215 22077
/proc/meminfo: memFree=20277004/32770624 swapFree=67108860/67108860
[pid=22011] ppid=22008 vsize=10818888 memory=44832 CPUtime=0.26 cores=1,3,5,7
/proc/22011/stat : 22011 (java) S 22008 22011 17273 0 -1 1077944320 9109 13427 0 0 16 2 5 3 20 0 15 0 57310472 11078541312 11208 33554432000 4194304 4196468 140729414388944 140729414371488 140178637786871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
/proc/22011/statm: 2704722 11208 2956 1 0 2667149 0
[pid=22011/tid=22064] ppid=22008 vsize=10818904 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/22011/task/22064/stat : 22064 (java) R 22008 22011 17273 0 -1 4202560 5763 13427 0 0 11 1 5 3 20 0 15 0 57310481 11078557696 11208 33554432000 4194304 4196468 140729414388944 140178609567968 140178630883707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22065] ppid=22008 vsize=10818904 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22065/stat : 22065 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 15 0 57310481 11078557696 11208 33554432000 4194304 4196468 140729414388944 140178642029328 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22066] ppid=22008 vsize=10818904 memory=288370464477681280 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22066/stat : 22066 (java) S 22008 22011 17273 0 -1 1077944384 2 13427 0 0 0 0 5 3 20 0 15 0 57310481 11078557696 11208 33554432000 4194304 4196468 140729414388944 140178540919696 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22067] ppid=22008 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22067/stat : 22067 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 15 0 57310481 11078557696 11208 33554432000 4194304 4196468 140729414388944 140178539867152 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22068] ppid=22008 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22068/stat : 22068 (java) S 22008 22011 17273 0 -1 1077944384 2 13427 0 0 0 0 5 3 20 0 15 0 57310481 11078557696 11208 33554432000 4194304 4196468 140729414388944 140178209238160 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22069] ppid=22008 vsize=10818904 memory=140088325969536 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22069/stat : 22069 (java) S 22008 22011 17273 0 -1 1077944384 2 13427 0 0 0 0 5 3 20 0 15 0 57310483 11078557696 11208 33554432000 4194304 4196468 140729414388944 140178096916464 140178637798018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22070] ppid=22008 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22070/stat : 22070 (java) S 22008 22011 17273 0 -1 1077944384 13 13427 0 0 0 0 5 3 20 0 15 0 57310483 11078557696 11208 33554432000 4194304 4196468 140729414388944 140178001748896 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22071] ppid=22008 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22071/stat : 22071 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 15 0 57310483 11078557696 11208 33554432000 4194304 4196468 140729414388944 140177397769200 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22072] ppid=22008 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22072/stat : 22072 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11078557696 11208 33554432000 4194304 4196468 140729414388944 140177157478608 140178637805467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22073] ppid=22008 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22011/task/22073/stat : 22073 (java) S 22008 22011 17273 0 -1 1077944384 481 13427 0 0 1 0 5 3 20 0 15 0 57310486 11078557696 11208 33554432000 4194304 4196468 140729414388944 140178095864304 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22074] ppid=22008 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22074/stat : 22074 (java) S 22008 22011 17273 0 -1 1077944384 89 13427 0 0 0 0 5 3 20 0 15 0 57310486 11078557696 11208 33554432000 4194304 4196468 140729414388944 140178094811760 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22075] ppid=22008 vsize=10818904 memory=140088325969536 CPUtime=0.11 cores=1,3,5,7
/proc/22011/task/22075/stat : 22075 (java) R 22008 22011 17273 0 -1 4202560 568 13427 0 0 3 0 5 3 20 0 15 0 57310486 11078557696 11208 33554432000 4194304 4196468 140729414388944 140178093759216 140178617206964 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22076] ppid=22008 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22076/stat : 22076 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11078557696 11208 33554432000 4194304 4196468 140729414388944 140177123920992 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22077] ppid=22008 vsize=10818904 memory=140088325969536 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22077/stat : 22077 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 15 0 57310487 11078557696 11208 33554432000 4194304 4196468 140729414388944 140178092706096 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818888 KiB
Current children cumulated memory: 44832 KiB

[startup+0.310399 s]*
/proc/loadavg: 4.17 4.18 3.17 3/215 22077
/proc/meminfo: memFree=20267328/32770624 swapFree=67108860/67108860
[pid=22011] ppid=22008 vsize=10819352 memory=54052 CPUtime=0.39 cores=1,3,5,7
/proc/22011/stat : 22011 (java) S 22008 22011 17273 0 -1 1077944320 10578 13427 0 0 28 3 5 3 20 0 15 0 57310472 11079016448 13513 33554432000 4194304 4196468 140729414388944 140729414371488 140178637786871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
/proc/22011/statm: 2704838 13513 3087 1 0 2667149 0
[pid=22011/tid=22064] ppid=22008 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/22011/task/22064/stat : 22064 (java) R 22008 22011 17273 0 -1 4202560 7219 13427 0 0 19 2 5 3 20 0 15 0 57310481 11079016448 13513 33554432000 4194304 4196468 140729414388944 140178609591464 140178621867358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22065] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22065/stat : 22065 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 15 0 57310481 11079016448 13513 33554432000 4194304 4196468 140729414388944 140178642029328 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22066] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22066/stat : 22066 (java) S 22008 22011 17273 0 -1 1077944384 2 13427 0 0 0 0 5 3 20 0 15 0 57310481 11079016448 13513 33554432000 4194304 4196468 140729414388944 140178540919696 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22067] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22067/stat : 22067 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 15 0 57310481 11079016448 13513 33554432000 4194304 4196468 140729414388944 140178539867152 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22068] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22068/stat : 22068 (java) S 22008 22011 17273 0 -1 1077944384 2 13427 0 0 0 0 5 3 20 0 15 0 57310481 11079016448 13513 33554432000 4194304 4196468 140729414388944 140178209238160 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22069] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22069/stat : 22069 (java) S 22008 22011 17273 0 -1 1077944384 2 13427 0 0 0 0 5 3 20 0 15 0 57310483 11079016448 13513 33554432000 4194304 4196468 140729414388944 140178096916464 140178637798018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22070] ppid=22008 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22070/stat : 22070 (java) S 22008 22011 17273 0 -1 1077944384 13 13427 0 0 0 0 5 3 20 0 15 0 57310483 11079016448 13513 33554432000 4194304 4196468 140729414388944 140178001748896 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22071] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22071/stat : 22071 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 15 0 57310483 11079016448 13513 33554432000 4194304 4196468 140729414388944 140177397769200 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22072] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22072/stat : 22072 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11079016448 13513 33554432000 4194304 4196468 140729414388944 140177157478608 140178637805467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22073] ppid=22008 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22011/task/22073/stat : 22073 (java) S 22008 22011 17273 0 -1 1077944384 482 13427 0 0 1 0 5 3 20 0 15 0 57310486 11079016448 13513 33554432000 4194304 4196468 140729414388944 140178095864304 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22074] ppid=22008 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/22011/task/22074/stat : 22074 (java) S 22008 22011 17273 0 -1 1077944384 89 13427 0 0 1 0 5 3 20 0 15 0 57310486 11079016448 13513 33554432000 4194304 4196468 140729414388944 140178094811760 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22075] ppid=22008 vsize=10819352 memory=140088325969536 CPUtime=0.12 cores=1,3,5,7
/proc/22011/task/22075/stat : 22075 (java) R 22008 22011 17273 0 -1 4202560 574 13427 0 0 4 0 5 3 20 0 15 0 57310486 11079016448 13513 33554432000 4194304 4196468 140729414388944 140178093756392 140178617758056 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22076] ppid=22008 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22076/stat : 22076 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11079016448 13513 33554432000 4194304 4196468 140729414388944 140177123920992 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22077] ppid=22008 vsize=10819352 memory=140088325969536 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22077/stat : 22077 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 15 0 57310487 11079016448 13513 33554432000 4194304 4196468 140729414388944 140178092706096 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54052 KiB

[startup+0.7008 s]
/proc/loadavg: 4.17 4.18 3.17 3/215 22077
/proc/meminfo: memFree=20257528/32770624 swapFree=67108860/67108860
[pid=22011] ppid=22008 vsize=10819352 memory=86496 CPUtime=0.97 cores=1,3,5,7
/proc/22011/stat : 22011 (java) S 22008 22011 17273 0 -1 1077944320 16809 13427 0 0 85 4 5 3 20 0 15 0 57310472 11079016448 21624 33554432000 4194304 4196468 140729414388944 140729414371488 140178637786871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
/proc/22011/statm: 2704838 21624 3237 1 0 2667149 0
[pid=22011/tid=22064] ppid=22008 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/22011/task/22064/stat : 22064 (java) R 22008 22011 17273 0 -1 4202560 12523 13427 0 0 56 3 5 3 20 0 15 0 57310481 11079016448 21624 33554432000 4194304 4196468 140729414388944 140178609607696 140178619351833 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22065] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22065/stat : 22065 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 15 0 57310481 11079016448 21624 33554432000 4194304 4196468 140729414388944 140178642029328 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22066] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22066/stat : 22066 (java) S 22008 22011 17273 0 -1 1077944384 2 13427 0 0 0 0 5 3 20 0 15 0 57310481 11079016448 21624 33554432000 4194304 4196468 140729414388944 140178540919696 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22067] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22067/stat : 22067 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 15 0 57310481 11079016448 21624 33554432000 4194304 4196468 140729414388944 140178539867152 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22068] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22068/stat : 22068 (java) S 22008 22011 17273 0 -1 1077944384 2 13427 0 0 0 0 5 3 20 0 15 0 57310481 11079016448 21624 33554432000 4194304 4196468 140729414388944 140178209238160 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22069] ppid=22008 vsize=10819352 memory=6935649255861544529 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22069/stat : 22069 (java) S 22008 22011 17273 0 -1 1077944384 6 13427 0 0 0 0 5 3 20 0 15 0 57310483 11079016448 21624 33554432000 4194304 4196468 140729414388944 140178096916464 140178637798018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22070] ppid=22008 vsize=10819352 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22070/stat : 22070 (java) S 22008 22011 17273 0 -1 1077944384 13 13427 0 0 0 0 5 3 20 0 15 0 57310483 11079016448 21624 33554432000 4194304 4196468 140729414388944 140178001748896 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22071] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22071/stat : 22071 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 15 0 57310483 11079016448 21624 33554432000 4194304 4196468 140729414388944 140177397769200 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22072] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22072/stat : 22072 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11079016448 21624 33554432000 4194304 4196468 140729414388944 140177157478608 140178637805467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22073] ppid=22008 vsize=10819352 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/22011/task/22073/stat : 22073 (java) S 22008 22011 17273 0 -1 1077944384 722 13427 0 0 7 0 5 3 20 0 15 0 57310486 11079016448 21624 33554432000 4194304 4196468 140729414388944 140178095864304 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22074] ppid=22008 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/22011/task/22074/stat : 22074 (java) S 22008 22011 17273 0 -1 1077944384 714 13427 0 0 9 0 5 3 20 0 15 0 57310486 11079016448 21624 33554432000 4194304 4196468 140729414388944 140178094811760 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22075] ppid=22008 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/22011/task/22075/stat : 22075 (java) S 22008 22011 17273 0 -1 1077944384 629 13427 0 0 12 0 5 3 20 0 15 0 57310486 11079016448 21624 33554432000 4194304 4196468 140729414388944 140178093759216 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22076] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22076/stat : 22076 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11079016448 21624 33554432000 4194304 4196468 140729414388944 140177123920992 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22077] ppid=22008 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22077/stat : 22077 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 15 0 57310487 11079016448 21624 33554432000 4194304 4196468 140729414388944 140178092706096 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86496 KiB

[startup+1.50078 s]
/proc/loadavg: 4.17 4.18 3.17 3/215 22077
/proc/meminfo: memFree=20210084/32770624 swapFree=67108860/67108860
[pid=22011] ppid=22008 vsize=10828108 memory=302440 CPUtime=3.08 cores=1,3,5,7
/proc/22011/stat : 22011 (java) S 22008 22011 17273 0 -1 1077944320 23385 13427 0 0 280 20 5 3 20 0 15 0 57310472 11087982592 75610 33554432000 4194304 4196468 140729414388944 140729414371488 140178637786871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
/proc/22011/statm: 2707027 75610 3470 1 0 2668685 0
[pid=22011/tid=22064] ppid=22008 vsize=10828108 memory=4951091520830867572 CPUtime=1.41 cores=1,3,5,7
/proc/22011/task/22064/stat : 22064 (java) R 22008 22011 17273 0 -1 4202560 15303 13427 0 0 125 8 5 3 20 0 15 0 57310481 11087982592 75610 33554432000 4194304 4196468 140729414388944 140178609619712 140178224566397 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22065] ppid=22008 vsize=10828108 memory=4134606225630022328 CPUtime=0.12 cores=1,3,5,7
/proc/22011/task/22065/stat : 22065 (java) S 22008 22011 17273 0 -1 1077944384 46 13427 0 0 2 2 5 3 20 0 15 0 57310481 11087982592 75610 33554432000 4194304 4196468 140729414388944 140178642029328 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22066] ppid=22008 vsize=10828108 memory=-5153075247759266159 CPUtime=0.12 cores=1,3,5,7
/proc/22011/task/22066/stat : 22066 (java) S 22008 22011 17273 0 -1 1077944384 50 13427 0 0 2 2 5 3 20 0 15 0 57310481 11087982592 75610 33554432000 4194304 4196468 140729414388944 140178540919696 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22067] ppid=22008 vsize=10828108 memory=3765398899668445296 CPUtime=0.12 cores=1,3,5,7
/proc/22011/task/22067/stat : 22067 (java) S 22008 22011 17273 0 -1 1077944384 275 13427 0 0 2 2 5 3 20 0 15 0 57310481 11087982592 75610 33554432000 4194304 4196468 140729414388944 140178539867152 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22068] ppid=22008 vsize=10828108 memory=150384 CPUtime=0.12 cores=1,3,5,7
/proc/22011/task/22068/stat : 22068 (java) S 22008 22011 17273 0 -1 1077944384 90 13427 0 0 2 2 5 3 20 0 15 0 57310481 11087982592 75610 33554432000 4194304 4196468 140729414388944 140178209238160 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22069] ppid=22008 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22069/stat : 22069 (java) S 22008 22011 17273 0 -1 1077944384 88 13427 0 0 0 0 5 3 20 0 15 0 57310483 11087982592 75610 33554432000 4194304 4196468 140729414388944 140178096916464 140178637798018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22070] ppid=22008 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22070/stat : 22070 (java) S 22008 22011 17273 0 -1 1077944384 13 13427 0 0 0 0 5 3 20 0 15 0 57310483 11087982592 75610 33554432000 4194304 4196468 140729414388944 140178001748896 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22071] ppid=22008 vsize=10828108 memory=280176420258080 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22071/stat : 22071 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310483 11087982592 75610 33554432000 4194304 4196468 140729414388944 140177397769200 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22072] ppid=22008 vsize=10828108 memory=280176420673024 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22072/stat : 22072 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11087982592 75610 33554432000 4194304 4196468 140729414388944 140177157478608 140178637805467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22073] ppid=22008 vsize=10828108 memory=140088210138752 CPUtime=0.57 cores=1,3,5,7
/proc/22011/task/22073/stat : 22073 (java) R 22008 22011 17273 0 -1 4202560 1557 13427 0 0 49 0 5 3 20 0 15 0 57310486 11087982592 75610 33554432000 4194304 4196468 140729414388944 140178095845696 140178622686367 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22074] ppid=22008 vsize=10828108 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/22011/task/22074/stat : 22074 (java) R 22008 22011 17273 0 -1 4202560 2438 13427 0 0 54 0 5 3 20 0 15 0 57310486 11087982592 75610 33554432000 4194304 4196468 140729414388944 140178094803216 140178617032719 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22075] ppid=22008 vsize=10828108 memory=1200 CPUtime=0.48 cores=1,3,5,7
/proc/22011/task/22075/stat : 22075 (java) S 22008 22011 17273 0 -1 1077944384 1327 13427 0 0 40 0 5 3 20 0 15 0 57310486 11087982592 75610 33554432000 4194304 4196468 140729414388944 140178093759216 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22076] ppid=22008 vsize=10828108 memory=15872 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22076/stat : 22076 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11087982592 75610 33554432000 4194304 4196468 140729414388944 140177123920992 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22077] ppid=22008 vsize=10828108 memory=11616 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22077/stat : 22077 (java) S 22008 22011 17273 0 -1 1077944384 1 13427 0 0 0 0 5 3 20 0 15 0 57310487 11087982592 75610 33554432000 4194304 4196468 140729414388944 140178092706096 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 10828108 KiB

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

/proc/22011/task/22064/stat : 22064 (java) R 22008 22011 17273 0 -1 4202560 234900 13427 0 0 230822 83 5 3 20 0 15 0 57310481 11113168896 976952 33554432000 4194304 4196468 140729414388944 140178609622448 140178232408647 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22065] ppid=22008 vsize=10852704 memory=3907808 CPUtime=12.37 cores=1,3,5,7
/proc/22011/task/22065/stat : 22065 (java) S 22008 22011 17273 0 -1 1077944384 33453 13427 0 0 1180 49 5 3 20 0 15 0 57310481 11113168896 976952 33554432000 4194304 4196468 140729414388944 140178642029328 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22066] ppid=22008 vsize=10852704 memory=3907780 CPUtime=12.38 cores=1,3,5,7
/proc/22011/task/22066/stat : 22066 (java) S 22008 22011 17273 0 -1 1077944384 30567 13427 0 0 1179 51 5 3 20 0 15 0 57310481 11113168896 976952 33554432000 4194304 4196468 140729414388944 140178540919696 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22067] ppid=22008 vsize=10852704 memory=3907760 CPUtime=12.34 cores=1,3,5,7
/proc/22011/task/22067/stat : 22067 (java) S 22008 22011 17273 0 -1 1077944384 36603 13427 0 0 1178 48 5 3 20 0 15 0 57310481 11113168896 976952 33554432000 4194304 4196468 140729414388944 140178539867152 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22068] ppid=22008 vsize=10852704 memory=3907760 CPUtime=12.35 cores=1,3,5,7
/proc/22011/task/22068/stat : 22068 (java) S 22008 22011 17273 0 -1 1077944384 31053 13427 0 0 1179 48 5 3 20 0 15 0 57310481 11113168896 976952 33554432000 4194304 4196468 140729414388944 140178209238160 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22069] ppid=22008 vsize=10852704 memory=3907760 CPUtime=0.63 cores=1,3,5,7
/proc/22011/task/22069/stat : 22069 (java) S 22008 22011 17273 0 -1 1077944384 43191 13427 0 0 46 9 5 3 20 0 15 0 57310483 11113168896 976952 33554432000 4194304 4196468 140729414388944 140178096916464 140178637798018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22070] ppid=22008 vsize=10852704 memory=3907760 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22070/stat : 22070 (java) S 22008 22011 17273 0 -1 1077944384 17 13427 0 0 0 0 5 3 20 0 15 0 57310483 11113168896 976952 33554432000 4194304 4196468 140729414388944 140178001749024 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22071] ppid=22008 vsize=10852704 memory=3907760 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22071/stat : 22071 (java) S 22008 22011 17273 0 -1 1077944384 5 13427 0 0 0 0 5 3 20 0 15 0 57310483 11113168896 976952 33554432000 4194304 4196468 140729414388944 140177397769216 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22072] ppid=22008 vsize=10852704 memory=3907780 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22072/stat : 22072 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11113168896 976952 33554432000 4194304 4196468 140729414388944 140177157478608 140178637805467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22073] ppid=22008 vsize=10852704 memory=3907780 CPUtime=9.47 cores=1,3,5,7
/proc/22011/task/22073/stat : 22073 (java) S 22008 22011 17273 0 -1 1077944384 77468 13427 0 0 931 8 5 3 20 0 15 0 57310486 11113168896 976952 33554432000 4194304 4196468 140729414388944 140178095864304 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22074] ppid=22008 vsize=10852704 memory=3907808 CPUtime=9.55 cores=1,3,5,7
/proc/22011/task/22074/stat : 22074 (java) S 22008 22011 17273 0 -1 1077944384 86280 13427 0 0 938 9 5 3 20 0 15 0 57310486 11113168896 976952 33554432000 4194304 4196468 140729414388944 140178094811760 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22075] ppid=22008 vsize=10852704 memory=11656 CPUtime=3.4 cores=1,3,5,7
/proc/22011/task/22075/stat : 22075 (java) S 22008 22011 17273 0 -1 1077944384 57054 13427 0 0 324 8 5 3 20 0 15 0 57310486 11113168896 976952 33554432000 4194304 4196468 140729414388944 140178093759216 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22076] ppid=22008 vsize=10852704 memory=3907808 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22076/stat : 22076 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11113168896 976952 33554432000 4194304 4196468 140729414388944 140177123920992 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22077] ppid=22008 vsize=10852704 memory=3907760 CPUtime=1.39 cores=1,3,5,7
/proc/22011/task/22077/stat : 22077 (java) S 22008 22011 17273 0 -1 1077944384 4021 13427 0 0 60 71 5 3 20 0 15 0 57310487 11113168896 976952 33554432000 4194304 4196468 140729414388944 140178092706096 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3907808 KiB

[startup+2382.3 s]
/proc/loadavg: 1.79 1.83 2.00 3/215 22433
/proc/meminfo: memFree=16496788/32770624 swapFree=67108860/67108860
[pid=22011] ppid=22008 vsize=10852704 memory=3911936 CPUtime=2442.72 cores=1,3,5,7
/proc/22011/stat : 22011 (java) S 22008 22011 17273 0 -1 1077944320 644907 13427 0 0 243883 381 5 3 20 0 15 0 57310472 11113168896 977984 33554432000 4194304 4196468 140729414388944 140729414371488 140178637786871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
/proc/22011/statm: 2713176 977984 3539 1 0 2674829 0
[pid=22011/tid=22064] ppid=22008 vsize=10852704 memory=3907808 CPUtime=2369.05 cores=1,3,5,7
/proc/22011/task/22064/stat : 22064 (java) R 22008 22011 17273 0 -1 4202560 239443 13427 0 0 236813 84 5 3 20 0 15 0 57310481 11113168896 977984 33554432000 4194304 4196468 140729414388944 140178609621936 140178221006920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22065] ppid=22008 vsize=10852704 memory=0 CPUtime=12.44 cores=1,3,5,7
/proc/22011/task/22065/stat : 22065 (java) S 22008 22011 17273 0 -1 1077944384 33813 13427 0 0 1187 49 5 3 20 0 15 0 57310481 11113168896 977984 33554432000 4194304 4196468 140729414388944 140178642029328 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22066] ppid=22008 vsize=10852704 memory=3909856 CPUtime=12.46 cores=1,3,5,7
/proc/22011/task/22066/stat : 22066 (java) S 22008 22011 17273 0 -1 1077944384 30938 13427 0 0 1187 51 5 3 20 0 15 0 57310481 11113168896 977984 33554432000 4194304 4196468 140729414388944 140178540919696 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22067] ppid=22008 vsize=10852704 memory=3909884 CPUtime=12.41 cores=1,3,5,7
/proc/22011/task/22067/stat : 22067 (java) S 22008 22011 17273 0 -1 1077944384 37534 13427 0 0 1185 48 5 3 20 0 15 0 57310481 11113168896 977984 33554432000 4194304 4196468 140729414388944 140178539867152 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22068] ppid=22008 vsize=10852704 memory=3907808 CPUtime=12.44 cores=1,3,5,7
/proc/22011/task/22068/stat : 22068 (java) S 22008 22011 17273 0 -1 1077944384 31313 13427 0 0 1187 49 5 3 20 0 15 0 57310481 11113168896 977984 33554432000 4194304 4196468 140729414388944 140178209238160 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22069] ppid=22008 vsize=10852704 memory=3911936 CPUtime=0.65 cores=1,3,5,7
/proc/22011/task/22069/stat : 22069 (java) S 22008 22011 17273 0 -1 1077944384 43345 13427 0 0 47 10 5 3 20 0 15 0 57310483 11113168896 977984 33554432000 4194304 4196468 140729414388944 140178096916464 140178637798018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22070] ppid=22008 vsize=10852704 memory=3911936 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22070/stat : 22070 (java) S 22008 22011 17273 0 -1 1077944384 17 13427 0 0 0 0 5 3 20 0 15 0 57310483 11113168896 977984 33554432000 4194304 4196468 140729414388944 140178001749024 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22071] ppid=22008 vsize=10852704 memory=1728 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22071/stat : 22071 (java) S 22008 22011 17273 0 -1 1077944384 5 13427 0 0 0 0 5 3 20 0 15 0 57310483 11113168896 977984 33554432000 4194304 4196468 140729414388944 140177397769216 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22072] ppid=22008 vsize=10852704 memory=3909884 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22072/stat : 22072 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11113168896 977984 33554432000 4194304 4196468 140729414388944 140177157478608 140178637805467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22073] ppid=22008 vsize=10852704 memory=0 CPUtime=9.49 cores=1,3,5,7
/proc/22011/task/22073/stat : 22073 (java) S 22008 22011 17273 0 -1 1077944384 78265 13427 0 0 933 8 5 3 20 0 15 0 57310486 11113168896 977984 33554432000 4194304 4196468 140729414388944 140178095864304 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22074] ppid=22008 vsize=10852704 memory=3911936 CPUtime=9.55 cores=1,3,5,7
/proc/22011/task/22074/stat : 22074 (java) S 22008 22011 17273 0 -1 1077944384 86599 13427 0 0 938 9 5 3 20 0 15 0 57310486 11113168896 977984 33554432000 4194304 4196468 140729414388944 140178094811760 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22075] ppid=22008 vsize=10852704 memory=33 CPUtime=3.4 cores=1,3,5,7
/proc/22011/task/22075/stat : 22075 (java) S 22008 22011 17273 0 -1 1077944384 57401 13427 0 0 324 8 5 3 20 0 15 0 57310486 11113168896 977984 33554432000 4194304 4196468 140729414388944 140178093759216 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22076] ppid=22008 vsize=10852704 memory=4028 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22076/stat : 22076 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11113168896 977984 33554432000 4194304 4196468 140729414388944 140177123920992 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22077] ppid=22008 vsize=10852704 memory=18220 CPUtime=1.42 cores=1,3,5,7
/proc/22011/task/22077/stat : 22077 (java) S 22008 22011 17273 0 -1 1077944384 4040 13427 0 0 61 73 5 3 20 0 15 0 57310487 11113168896 977984 33554432000 4194304 4196468 140729414388944 140178092706096 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
Current children cumulated CPU time: 2442.72 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3911936 KiB

[startup+2442.3 s]
/proc/loadavg: 1.85 1.84 2.00 3/215 22434
/proc/meminfo: memFree=16398920/32770624 swapFree=67108860/67108860
[pid=22011] ppid=22008 vsize=10852704 memory=3932444 CPUtime=2503.2 cores=1,3,5,7
/proc/22011/stat : 22011 (java) S 22008 22011 17273 0 -1 1077944320 658005 13427 0 0 249925 387 5 3 20 0 15 0 57310472 11113168896 983111 33554432000 4194304 4196468 140729414388944 140729414371488 140178637786871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
/proc/22011/statm: 2713176 983111 3539 1 0 2674829 0
[pid=22011/tid=22064] ppid=22008 vsize=10852704 memory=3932444 CPUtime=2428.9 cores=1,3,5,7
/proc/22011/task/22064/stat : 22064 (java) R 22008 22011 17273 0 -1 4202560 243928 13427 0 0 242798 84 5 3 20 0 15 0 57310481 11113168896 983111 33554432000 4194304 4196468 140729414388944 140178609622064 140178242344576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22065] ppid=22008 vsize=10852704 memory=1728 CPUtime=12.58 cores=1,3,5,7
/proc/22011/task/22065/stat : 22065 (java) S 22008 22011 17273 0 -1 1077944384 35381 13427 0 0 1200 50 5 3 20 0 15 0 57310481 11113168896 983111 33554432000 4194304 4196468 140729414388944 140178642029328 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22066] ppid=22008 vsize=10852704 memory=3931928 CPUtime=12.6 cores=1,3,5,7
/proc/22011/task/22066/stat : 22066 (java) S 22008 22011 17273 0 -1 1077944384 32820 13427 0 0 1200 52 5 3 20 0 15 0 57310481 11113168896 983111 33554432000 4194304 4196468 140729414388944 140178540919696 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22067] ppid=22008 vsize=10852704 memory=3932148 CPUtime=12.55 cores=1,3,5,7
/proc/22011/task/22067/stat : 22067 (java) S 22008 22011 17273 0 -1 1077944384 38393 13427 0 0 1198 49 5 3 20 0 15 0 57310481 11113168896 983111 33554432000 4194304 4196468 140729414388944 140178539867152 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22068] ppid=22008 vsize=10852704 memory=280176420926848 CPUtime=12.57 cores=1,3,5,7
/proc/22011/task/22068/stat : 22068 (java) S 22008 22011 17273 0 -1 1077944384 32302 13427 0 0 1200 49 5 3 20 0 15 0 57310481 11113168896 983111 33554432000 4194304 4196468 140729414388944 140178209238160 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22069] ppid=22008 vsize=10852704 memory=3932148 CPUtime=0.65 cores=1,3,5,7
/proc/22011/task/22069/stat : 22069 (java) S 22008 22011 17273 0 -1 1077944384 43650 13427 0 0 47 10 5 3 20 0 15 0 57310483 11113168896 983111 33554432000 4194304 4196468 140729414388944 140178096916464 140178637798018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22070] ppid=22008 vsize=10852704 memory=3932148 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22070/stat : 22070 (java) S 22008 22011 17273 0 -1 1077944384 17 13427 0 0 0 0 5 3 20 0 15 0 57310483 11113168896 983111 33554432000 4194304 4196468 140729414388944 140178001749024 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22071] ppid=22008 vsize=10852704 memory=3932148 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22071/stat : 22071 (java) S 22008 22011 17273 0 -1 1077944384 5 13427 0 0 0 0 5 3 20 0 15 0 57310483 11113168896 983111 33554432000 4194304 4196468 140729414388944 140177397769216 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22072] ppid=22008 vsize=10852704 memory=3932148 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22072/stat : 22072 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11113168896 983111 33554432000 4194304 4196468 140729414388944 140177157478608 140178637805467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22073] ppid=22008 vsize=10852704 memory=3931928 CPUtime=9.52 cores=1,3,5,7
/proc/22011/task/22073/stat : 22073 (java) S 22008 22011 17273 0 -1 1077944384 80059 13427 0 0 936 8 5 3 20 0 15 0 57310486 11113168896 983111 33554432000 4194304 4196468 140729414388944 140178095864304 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22074] ppid=22008 vsize=10852704 memory=3932148 CPUtime=9.56 cores=1,3,5,7
/proc/22011/task/22074/stat : 22074 (java) S 22008 22011 17273 0 -1 1077944384 87230 13427 0 0 939 9 5 3 20 0 15 0 57310486 11113168896 983111 33554432000 4194304 4196468 140729414388944 140178094811760 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22075] ppid=22008 vsize=10852704 memory=3932444 CPUtime=3.41 cores=1,3,5,7
/proc/22011/task/22075/stat : 22075 (java) S 22008 22011 17273 0 -1 1077944384 57951 13427 0 0 325 8 5 3 20 0 15 0 57310486 11113168896 983111 33554432000 4194304 4196468 140729414388944 140178093759216 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22076] ppid=22008 vsize=10852704 memory=3932444 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22076/stat : 22076 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11113168896 983111 33554432000 4194304 4196468 140729414388944 140177123920992 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22077] ppid=22008 vsize=10852704 memory=3932148 CPUtime=1.45 cores=1,3,5,7
/proc/22011/task/22077/stat : 22077 (java) S 22008 22011 17273 0 -1 1077944384 4075 13427 0 0 62 75 5 3 20 0 15 0 57310487 11113168896 983111 33554432000 4194304 4196468 140729414388944 140178092706096 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
Current children cumulated CPU time: 2503.2 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3932444 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2459 s]*
/proc/loadavg: 1.88 1.85 2.00 3/215 22434
/proc/meminfo: memFree=16396752/32770624 swapFree=67108860/67108860
[pid=22011] ppid=22008 vsize=10852704 memory=3934492 CPUtime=2520.02 cores=1,3,5,7
/proc/22011/stat : 22011 (java) S 22008 22011 17273 0 -1 1077944320 666403 13427 0 0 251606 388 5 3 20 0 15 0 57310472 11113168896 983623 33554432000 4194304 4196468 140729414388944 140729414371488 140178637786871 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
/proc/22011/statm: 2713176 983623 3539 1 0 2674829 0
[pid=22011/tid=22064] ppid=22008 vsize=10852704 memory=5938958638347152467 CPUtime=2445.58 cores=1,3,5,7
/proc/22011/task/22064/stat : 22064 (java) R 22008 22011 17273 0 -1 4202560 246225 13427 0 0 244466 84 5 3 20 0 15 0 57310481 11113168896 983623 33554432000 4194304 4196468 140729414388944 140178609621880 140178242797190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22065] ppid=22008 vsize=10852704 memory=6944656592455359580 CPUtime=12.61 cores=1,3,5,7
/proc/22011/task/22065/stat : 22065 (java) S 22008 22011 17273 0 -1 1077944384 36046 13427 0 0 1203 50 5 3 20 0 15 0 57310481 11113168896 983623 33554432000 4194304 4196468 140729414388944 140178642029328 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22066] ppid=22008 vsize=10852704 memory=4872558044660077418 CPUtime=12.63 cores=1,3,5,7
/proc/22011/task/22066/stat : 22066 (java) S 22008 22011 17273 0 -1 1077944384 33464 13427 0 0 1203 52 5 3 20 0 15 0 57310481 11113168896 983623 33554432000 4194304 4196468 140729414388944 140178540919696 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22067] ppid=22008 vsize=10852704 memory=2428 CPUtime=12.58 cores=1,3,5,7
/proc/22011/task/22067/stat : 22067 (java) S 22008 22011 17273 0 -1 1077944384 38864 13427 0 0 1201 49 5 3 20 0 15 0 57310481 11113168896 983623 33554432000 4194304 4196468 140729414388944 140178539867152 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22068] ppid=22008 vsize=10852704 memory=792 CPUtime=12.6 cores=1,3,5,7
/proc/22011/task/22068/stat : 22068 (java) S 22008 22011 17273 0 -1 1077944384 33376 13427 0 0 1203 49 5 3 20 0 15 0 57310481 11113168896 983623 33554432000 4194304 4196468 140729414388944 140178209238160 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22069] ppid=22008 vsize=10852704 memory=1228 CPUtime=0.66 cores=1,3,5,7
/proc/22011/task/22069/stat : 22069 (java) S 22008 22011 17273 0 -1 1077944384 43950 13427 0 0 48 10 5 3 20 0 15 0 57310483 11113168896 983623 33554432000 4194304 4196468 140729414388944 140178096916464 140178637798018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22070] ppid=22008 vsize=10852704 memory=280176422146288 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22070/stat : 22070 (java) S 22008 22011 17273 0 -1 1077944384 17 13427 0 0 0 0 5 3 20 0 15 0 57310483 11113168896 983623 33554432000 4194304 4196468 140729414388944 140178001749024 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22071] ppid=22008 vsize=10852704 memory=24143 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22071/stat : 22071 (java) S 22008 22011 17273 0 -1 1077944384 5 13427 0 0 0 0 5 3 20 0 15 0 57310483 11113168896 983623 33554432000 4194304 4196468 140729414388944 140177397769216 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22072] ppid=22008 vsize=10852704 memory=7302417816303463266 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22072/stat : 22072 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11113168896 983623 33554432000 4194304 4196468 140729414388944 140177157478608 140178637805467 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22073] ppid=22008 vsize=10852704 memory=6152876227586713707 CPUtime=9.52 cores=1,3,5,7
/proc/22011/task/22073/stat : 22073 (java) S 22008 22011 17273 0 -1 1077944384 80063 13427 0 0 936 8 5 3 20 0 15 0 57310486 11113168896 983623 33554432000 4194304 4196468 140729414388944 140178095864304 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22074] ppid=22008 vsize=10852704 memory=4026532099 CPUtime=9.57 cores=1,3,5,7
/proc/22011/task/22074/stat : 22074 (java) S 22008 22011 17273 0 -1 1077944384 89586 13427 0 0 940 9 5 3 20 0 15 0 57310486 11113168896 983623 33554432000 4194304 4196468 140729414388944 140178094811760 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22075] ppid=22008 vsize=10852704 memory=24143 CPUtime=3.41 cores=1,3,5,7
/proc/22011/task/22075/stat : 22075 (java) S 22008 22011 17273 0 -1 1077944384 58509 13427 0 0 325 8 5 3 20 0 15 0 57310486 11113168896 983623 33554432000 4194304 4196468 140729414388944 140178093759216 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22076] ppid=22008 vsize=10852704 memory=4026532099 CPUtime=0.08 cores=1,3,5,7
/proc/22011/task/22076/stat : 22076 (java) S 22008 22011 17273 0 -1 1077944384 3 13427 0 0 0 0 5 3 20 0 15 0 57310486 11113168896 983623 33554432000 4194304 4196468 140729414388944 140177123920992 140178637797077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
[pid=22011/tid=22077] ppid=22008 vsize=10852704 memory=6791534058613427641 CPUtime=1.47 cores=1,3,5,7
/proc/22011/task/22077/stat : 22077 (java) S 22008 22011 17273 0 -1 1077944384 4104 13427 0 0 63 76 5 3 20 0 15 0 57310487 11113168896 983623 33554432000 4194304 4196468 140729414388944 140178092706096 140178637798018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37978112 140729414391979 140729414395228 140729414395228 140729414397903 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3934492 KiB

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

[startup+2459.06 s]
# the end of solver process 22011 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.14 s, system=3.94297 s

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

Child status: 143
Real time (s): 2459.06
CPU time (s): 2520.09
CPU user time (s): 2516.14
CPU system time (s): 3.94297
CPU usage (%): 102.482
Max. virtual memory (cumulated for all children) (KiB): 10853292
Max. memory (cumulated for all children) (KiB): 3934492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.14
system time used= 3.94297
maximum resident set size= 3938724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 682793
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71331
involuntary context switches= 1741


# summary of solver processes directly reported to runsolver:
#   pid: 22011
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.14
#   total CPU system time (s): 3.94297

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7785 second user time and 20.535 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-24 03:57:53
IDJOB=4293950
IDBENCH=141272
IDSOLVER=2751
FILE ID=node151/4293950-1532397472
RUNJOBID= node151-1532369950-17305
PBS_JOBID= 21021572
Free space on /tmp= 54800 MiB

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

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

MD5SUM BENCH= bcb772945ca2f244c7b00bb761820cd7
RANDOM SEED=1232245701

node151.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20307964 kB
MemAvailable:   25044784 kB
Buffers:          153656 kB
Cached:          4823436 kB
SwapCached:            0 kB
Active:          8094564 kB
Inactive:        3833808 kB
Active(anon):    6901608 kB
Inactive(anon):    69372 kB
Active(file):    1192956 kB
Inactive(file):  3764436 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             41568 kB
Writeback:             0 kB
AnonPages:       6969284 kB
Mapped:            50916 kB
Shmem:             17032 kB
Slab:             218584 kB
SReclaimable:     190524 kB
SUnreclaim:        28060 kB
KernelStack:        3568 kB
PageTables:        18916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7518432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6395904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 54860 MiB
End job on node151 at 2018-07-24 04:38:52