Trace number 4302896

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)91591 252.079 160.179

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-09-opt_c18.xml
MD5SUM19bcf73076031218e5fd4b7208c9a15e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19049
Best CPU time to get the best result obtained on this benchmark252.18
Satisfiable
(Un)Satisfiability was proved
Number of variables4749
Number of constraints4410
Number of domains9
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4069},{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree2
Maximum variable degree63
Distribution of variable degrees[{"degree":2,"count":4070},{"degree":3,"count":1},{"degree":4,"count":27},{"degree":5,"count":22},{"degree":6,"count":78},{"degree":7,"count":29},{"degree":8,"count":79},{"degree":9,"count":23},{"degree":10,"count":77},{"degree":11,"count":29},{"degree":12,"count":39},{"degree":13,"count":29},{"degree":14,"count":40},{"degree":15,"count":18},{"degree":16,"count":32},{"degree":17,"count":15},{"degree":18,"count":21},{"degree":19,"count":8},{"degree":20,"count":16},{"degree":21,"count":14},{"degree":22,"count":10},{"degree":23,"count":9},{"degree":24,"count":6},{"degree":25,"count":9},{"degree":26,"count":6},{"degree":27,"count":3},{"degree":28,"count":8},{"degree":29,"count":6},{"degree":30,"count":3},{"degree":31,"count":5},{"degree":32,"count":1},{"degree":36,"count":3},{"degree":37,"count":3},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":48,"count":1},{"degree":56,"count":1},{"degree":63,"count":1}]
Minimum constraint arity2
Maximum constraint arity280
Distribution of constraint arities[{"arity":2,"count":646},{"arity":3,"count":3763},{"arity":280,"count":1}]
Number of extensional constraints0
Number of intensional constraints4409
Distribution of constraint types[{"type":"intension","count":4409},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.99/0.74	c Concrete v3.9.2.1532736233296 running
80.10/37.67	o 91591
252.00/160.11	Exception in thread "main" java.util.concurrent.TimeoutException
252.00/160.11		at concrete.MAC.mac(MAC.scala:188)
252.00/160.11		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.00/160.11		at scala.util.Try$.apply(Try.scala:209)
252.00/160.11		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.00/160.11		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.00/160.11		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.00/160.11		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.00/160.11		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.00/160.11		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.00/160.11		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.00/160.11		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.00/160.11		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.00/160.11		at concrete.MAC.oneRun(MAC.scala:253)
252.00/160.12		at concrete.MAC.nextSolution(MAC.scala:272)
252.00/160.12		at concrete.MAC.nextSolution(MAC.scala:355)
252.00/160.12		at concrete.Solver.hasNext(Solver.scala:166)
252.00/160.12		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.00/160.12		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.00/160.12		at concrete.Solver.foreach(Solver.scala:68)
252.00/160.12		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.00/160.12		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.00/160.12		at scala.util.Success.map(Try.scala:209)
252.00/160.12		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.00/160.12		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.00/160.12		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.00/160.12		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.00/160.12		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.00/160.12		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.00/160.12		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.00/160.12		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.00/160.12		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.00/160.12		at scala.collection.immutable.List.foreach(List.scala:389)
252.00/160.12		at scala.App.main(App.scala:76)
252.00/160.12		at scala.App.main$(App.scala:74)
252.00/160.12		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.00/160.12		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.00/160.12	v <instantiation cost="91591">
252.00/160.12	v       <list>
252.00/160.12	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] zb1[0] zb1[1] zb1[2] zb1[3] zb1[4] zb1[5] zb1[6] zb1[7] zb1[8] zb1[9] zb1[10] zb1[11] zb1[12] zb1[13] zb1[14] zb1[15] zb1[16] zb1[17] zb1[18] zb1[19] zb1[20] zb1[21] zb1[22] zb1[23] zb1[24] zb1[25] zb1[26] zb1[27] zb1[28] zb1[29] zb1[30] zb1[31] zb1[32] zb1[33] zb1[34] zb1[35] zb1[36] zb1[37] zb1[38] zb1[39] zb1[40] zb1[41] zb1[42] zb1[43] zb1[44] zb1[45] zb1[46] zb1[47] zb1[48] zb1[49] zb1[50] zb1[51] zb1[52] zb1[53] zb1[54] zb1[55] zb1[56] zb1[57] zb1[58] zb1[59] zb1[60] zb1[61] zb1[62] zb1[63] zb1[64] zb1[65] zb1[66] zb1[67] zb1[68] zb1[69] zb1[70] zb1[71] zb1[72] zb1[73] zb1[74] zb1[75] zb1[76] zb1[77] zb1[78] zb1[79] zb1[80] zb1[81] zb1[82] zb1[83] zb1[84] zb1[85] zb1[86] zb1[87] zb1[88] zb1[89] zb1[90] zb1[91] zb1[92] zb1[93] zb1[94] zb1[95] zb1[96] zb1[97] zb1[98] zb1[99] zb1[100] zb1[101] zb1[102] zb1[103] zb1[104] zb1[105] zb1[106] zb1[107] zb1[108] zb1[109] zb1[110] zb1[111] zb1[112] zb1[113] zb1[114] zb1[115] zb1[116] zb1[117] zb2[0] zb2[1] zb2[2] zb2[3] zb2[4] zb2[5] zb2[6] zb2[7] zb2[8] zb2[9] zb2[10] zb2[11] zb2[12] zb2[13] zb2[14] zb2[15] zb2[16] zb2[17] zb2[18] zb2[19] zb2[20] zb2[21] zb2[22] zb2[23] zb2[24] zb2[25] zb2[26] zb2[27] zb2[28] zb2[29] zb2[30] zb2[31] zb2[32] zb2[33] zb2[34] zb2[35] zb2[36] zb2[37] zb2[38] zb2[39] zb2[40] zb2[41] zb2[42] zb2[43] zb2[44] zb2[45] zb2[46] zb2[47] zb2[48] zb2[49] zb2[50] zb2[51] zb2[52] zb2[53] zb2[54] zb2[55] zb2[56] zb2[57] zb2[58] zb2[59] zb2[60] zb2[61] zb2[62] zb2[63] zb2[64] zb2[65] zb2[66] zb2[67] zb2[68] zb2[69] zb2[70] zb2[71] zb2[72] zb2[73] zb2[74] zb2[75] zb2[76] zb2[77] zb2[78] zb2[79] zb2[80] zb2[81] zb2[82] zb2[83] zb2[84] zb2[85] zb2[86] zb2[87] zb2[88] zb2[89] zb2[90] zb2[91] zb2[92] zb2[93] zb2[94] zb2[95] zb2[96] zb2[97] zb2[98] zb2[99] zb2[100] zb2[101] zb2[102] zb2[103] zb2[104] zb2[105] zb3[0] zb3[1] zb3[2] zb3[3] zb3[4] zb3[5] zb3[6] zb3[7] zb3[8] zb3[9] zb3[10] zb3[11] zb3[12] zb3[13] zb3[14] zb3[15] zb3[16] zb3[17] zb3[18] zb3[19] zb3[20] zb3[21] zb3[22] zb3[23] zb3[24] zb3[25] zb3[26] zb3[27] zb3[28] zb3[29] zb3[30] zb3[31] zb3[32] zb3[33] zb3[34] zb3[35] zb3[36] zb3[37] zb3[38] zb3[39] zb3[40] zb3[41] zb3[42] zb3[43] zb3[44] zb3[45] zb3[46] zb3[47] zb3[48] zb3[49] zb3[50] zb3[51] zb3[52] zb3[53] zb3[54] zb3[55] zb3[56] zb3[57] zb3[58] zb3[59] zb3[60] zb3[61] zb3[62] zb3[63] zb3[64] zb3[65] zb3[66] zb3[67] zb3[68] zb3[69] zb3[70] zb3[71] zb3[72] zb3[73] zb3[74] zb3[75] zb3[76] zb3[77] zb3[78] zb3[79] zb3[80] zb3[81] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za1[415] za1[416] za1[417] za1[418] za1[419] za1[420] za1[421] za1[422] za1[423] za1[424] za1[425] za1[426] za1[427] za1[428] za1[429] za1[430] za1[431] za1[432] za1[433] za1[434] za1[435] za1[436] za1[437] za1[438] za1[439] za1[440] za1[441] za1[442] za1[443] za1[444] za1[445] za1[446] za1[447] za1[448] za1[449] za1[450] za1[451] za1[452] za1[453] za1[454] za1[455] za1[456] za1[457] za1[458] za1[459] za1[460] za1[461] za1[462] za1[463] za1[464] za1[465] za1[466] za1[467] za1[468] za1[469] za1[470] za1[471] za1[472] za1[473] za1[474] za1[475] za1[476] za1[477] za1[478] za1[479] za1[480] za1[481] za1[482] za1[483] za1[484] za1[485] za1[486] za1[487] za1[488] za1[489] za1[490] za1[491] za1[492] za1[493] za1[494] za1[495] za1[496] za1[497] za1[498] za1[499] za1[500] za1[501] za1[502] za1[503] za1[504] za1[505] za1[506] za1[507] za1[508] za1[509] za1[510] za1[511] za1[512] za1[513] za1[514] za1[515] za1[516] za1[517] za1[518] za1[519] za1[520] za1[521] za1[522] za1[523] za1[524] za1[525] za1[526] za1[527] za1[528] za1[529] za1[530] za1[531] za1[532] za1[533] za1[534] za1[535] za1[536] za1[537] za1[538] za1[539] za1[540] za1[541] za1[542] za1[543] za1[544] za1[545] za1[546] za1[547] za1[548] za1[549] za1[550] za1[551] za1[552] za1[553] za1[554] za1[555] za1[556] za1[557] za1[558] za1[559] za1[560] za1[561] za1[562] za1[563] za1[564] za1[565] za1[566] za1[567] za1[568] za1[569] za1[570] za1[571] za1[572] za1[573] za1[574] za1[575] za1[576] za1[577] za1[578] za1[579] za1[580] za1[581] za1[582] za1[583] za1[584] za1[585] za1[586] za1[587] za1[588] za1[589] za1[590] za1[591] za1[592] za1[593] za1[594] za1[595] za1[596] za1[597] za1[598] za1[599] za1[600] za1[601] za1[602] za1[603] za1[604] za1[605] za1[606] za1[607] za1[608] za1[609] za1[610] za1[611] za1[612] za1[613] za1[614] za1[615] za1[616] za1[617] za1[618] za1[619] za1[620] za1[621] za1[622] za1[623] za1[624] za1[625] za1[626] za1[627] za1[628] za1[629] za1[630] za1[631] za1[632] za1[633] za1[634] za1[635] za1[636] za1[637] za1[638] za1[639] za1[640] za1[641] za1[642] za1[643] za1[644] za1[645] za1[646] za1[647] za1[648] za1[649] za1[650] za1[651] za1[652] za1[653] za1[654] za1[655] za1[656] za1[657] za1[658] za1[659] za1[660] za1[661] za1[662] za1[663] za1[664] za1[665] za1[666] za1[667] za1[668] za1[669] za1[670] za1[671] za1[672] za1[673] za1[674] za1[675] za1[676] za1[677] za1[678] za1[679] za1[680] za1[681] za1[682] za1[683] za1[684] za1[685] za1[686] za1[687] za1[688] za1[689] za1[690] za1[691] za1[692] za1[693] za1[694] za1[695] za1[696] za1[697] za1[698] za1[699] za1[700] za1[701] za1[702] za1[703] za1[704] za1[705] za1[706] za1[707] za1[708] za1[709] za1[710] za1[711] za1[712] za1[713] za1[714] za1[715] za1[716] za1[717] za1[718] za1[719] za1[720] za1[721] za1[722] za1[723] za1[724] za1[725] za1[726] za1[727] za1[728] za1[729] za1[730] za1[731] za1[732] za1[733] za1[734] za1[735] za1[736] za1[737] za1[738] za1[739] za1[740] za1[741] za1[742] za1[743] za1[744] za1[745] za1[746] za1[747] za1[748] za1[749] za1[750] za1[751] za1[752] za1[753] za1[754] za1[755] za1[756] za1[757] za1[758] za1[759] za1[760] za1[761] za1[762] za1[763] za1[764] za1[765] za1[766] za1[767] za1[768] za1[769] za1[770] za1[771] za1[772] za1[773] za1[774] za1[775] za1[776] za1[777] za1[778] za1[779] za1[780] za1[781] za1[782] za1[783] za1[784] za1[785] za1[786] za1[787] za1[788] za1[789] za1[790] za1[791] za1[792] za1[793] za1[794] za1[795] za1[796] za1[797] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za2[559] za2[560] za2[561] za2[562] za2[563] za2[564] za2[565] za2[566] za2[567] za2[568] za2[569] za2[570] za2[571] za2[572] za2[573] za2[574] za2[575] za2[576] za2[577] za2[578] za2[579] za2[580] za2[581] za2[582] za2[583] za2[584] za2[585] za2[586] za2[587] za2[588] za2[589] za2[590] za2[591] za2[592] za2[593] za2[594] za2[595] za2[596] za2[597] za2[598] za2[599] za2[600] za2[601] za2[602] za2[603] za2[604] za2[605] za2[606] za2[607] za2[608] za2[609] za2[610] za2[611] za2[612] za2[613] za2[614] za2[615] za2[616] za2[617] za2[618] za2[619] za2[620] za2[621] za2[622] za2[623] za2[624] za2[625] za2[626] za2[627] za2[628] za2[629] za2[630] za2[631] za2[632] za2[633] za2[634] za2[635] za2[636] za2[637] za2[638] za2[639] za2[640] za2[641] za2[642] za2[643] za2[644] za2[645] za2[646] za2[647] za2[648] za2[649] za2[650] za2[651] za2[652] za2[653] za2[654] za2[655] za2[656] za2[657] za2[658] za2[659] za2[660] za2[661] za2[662] za2[663] za2[664] za2[665] za2[666] za2[667] za2[668] za2[669] za2[670] za2[671] za2[672] za2[673] za2[674] za2[675] za2[676] za2[677] za2[678] za2[679] za2[680] za2[681] za2[682] za2[683] za2[684] za2[685] za2[686] za2[687] za2[688] za2[689] za2[690] za2[691] za2[692] za2[693] za2[694] za2[695] za2[696] za2[697] za2[698] za2[699] za2[700] za2[701] za2[702] za2[703] za2[704] za2[705] za2[706] za2[707] za2[708] za2[709] za2[710] za2[711] za2[712] za2[713] za2[714] za2[715] za2[716] za2[717] za2[718] za2[719] za2[720] za2[721] za2[722] za2[723] za2[724] za2[725] za2[726] za2[727] za2[728] za2[729] za2[730] za2[731] za2[732] za2[733] za2[734] za2[735] za2[736] za2[737] za2[738] za2[739] za2[740] za2[741] za2[742] za2[743] za2[744] za2[745] za2[746] za2[747] za2[748] za2[749] za2[750] za2[751] za2[752] za2[753] za2[754] za2[755] za2[756] za2[757] za2[758] za2[759] za2[760] za2[761] za2[762] za2[763] za2[764] za2[765] za2[766] za2[767] za2[768] za2[769] za2[770] za2[771] za2[772] za2[773] za2[774] za2[775] za2[776] za2[777] za2[778] za2[779] za2[780] za2[781] za2[782] za2[783] za2[784] za2[785] za2[786] za2[787] za2[788] za2[789] za2[790] za2[791] za2[792] za2[793] za2[794] za2[795] za2[796] za2[797] za2[798] za2[799] za2[800] za2[801] za2[802] za2[803] za2[804] za2[805] za2[806] za2[807] za2[808] za2[809] za2[810] za2[811] za2[812] za2[813] za2[814] za2[815] za2[816] za2[817] za2[818] za2[819] za2[820] za2[821] za2[822] za2[823] za2[824] za2[825] za2[826] za2[827] za2[828] za2[829] za2[830] za2[831] za2[832] za2[833] za2[834] za2[835] za2[836] za2[837] za2[838] za2[839] za2[840] za2[841] za2[842] za2[843] za2[844] za2[845] za2[846] za2[847] za2[848] za2[849] za2[850] za2[851] za2[852] za2[853] za2[854] za2[855] za2[856] za2[857] za2[858] za2[859] za2[860] za2[861] za2[862] za2[863] za2[864] za2[865] za2[866] za2[867] za2[868] za2[869] za2[870] za2[871] za2[872] za2[873] za2[874] za2[875] za2[876] za2[877] za2[878] za2[879] za2[880] za2[881] za2[882] za2[883] za2[884] za2[885] za2[886] za2[887] za2[888] za2[889] za2[890] za2[891] za2[892] za2[893] za2[894] za2[895] za2[896] za2[897] za2[898] za2[899] za2[900] za2[901] za2[902] za2[903] za2[904] za2[905] za2[906] za2[907] za2[908] za2[909] za2[910] za2[911] za2[912] za2[913] za2[914] za2[915] za2[916] za2[917] za2[918] za2[919] za2[920] za2[921] za2[922] za2[923] za2[924] za2[925] za2[926] za2[927] za2[928] za2[929] za2[930] za2[931] za2[932] za2[933] za2[934] za2[935] za2[936] za2[937] za2[938] za2[939] za2[940] za2[941] za2[942] za2[943] za2[944] za2[945] za2[946] za2[947] za2[948] za2[949] za2[950] za2[951] za2[952] za2[953] za2[954] za2[955] za2[956] za2[957] za2[958] za2[959] za2[960] za2[961] za2[962] za2[963] za2[964] za2[965] za2[966] za2[967] za2[968] za2[969] za2[970] za2[971] za2[972] za2[973] za2[974] za2[975] za2[976] za2[977] za2[978] za2[979] za2[980] za2[981] za2[982] za2[983] za2[984] za2[985] za2[986] za2[987] za2[988] za2[989] za2[990] za2[991] za2[992] za2[993] za2[994] za2[995] za2[996] za2[997] za2[998] za2[999] za2[1000] za2[1001] za2[1002] za2[1003] za2[1004] za2[1005] za2[1006] za2[1007] za2[1008] za2[1009] za2[1010] za2[1011] za2[1012] za2[1013] za2[1014] za2[1015] za2[1016] za2[1017] za2[1018] za2[1019] za2[1020] za2[1021] za2[1022] za2[1023] za2[1024] za2[1025] za2[1026] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za3[483] za3[484] za3[485] za3[486] za3[487] za3[488] za3[489] za3[490] za3[491] za3[492] za3[493] za3[494] za3[495] za3[496] za3[497] za3[498] za3[499] za3[500] za3[501] za3[502] za3[503] za3[504] za3[505] za3[506] za3[507] za3[508] za3[509] za3[510] za3[511] za3[512] za3[513] za3[514] za3[515] za3[516] za3[517] za3[518] za3[519] za3[520] za3[521] za3[522] za3[523] za3[524] za3[525] za3[526] za3[527] za3[528] za3[529] za3[530] za3[531] za3[532] za3[533] za3[534] za3[535] za3[536] za3[537] za3[538] za3[539] za3[540] za3[541] za3[542] za3[543] za3[544] za3[545] za3[546] za3[547] za3[548] za3[549] za3[550] za3[551] za3[552] za3[553] za3[554] za3[555] za3[556] za3[557] za3[558] za3[559] za3[560] za3[561] za3[562] za3[563] za3[564] za3[565] za3[566] za3[567] za3[568] za3[569] za3[570] za3[571] za3[572] za3[573] za3[574] za3[575] za3[576] za3[577] za3[578] za3[579] za3[580] za3[581] za3[582] za3[583] za3[584] za3[585] za3[586] za3[587] za3[588] za3[589] za3[590] za3[591] za3[592] za3[593] za3[594] za3[595] za3[596] za3[597] za3[598] za3[599] za3[600] za3[601] za3[602] za3[603] za3[604] za3[605] za3[606] za3[607] za3[608] za3[609] za3[610] za3[611] za3[612] za3[613] za3[614] za3[615] za3[616] za3[617] za3[618] za3[619] za3[620] za3[621] za3[622] za3[623] za3[624] za3[625] za3[626] za3[627] za3[628] za3[629] za3[630] za3[631] za3[632] za3[633] za3[634] za3[635] za3[636] za3[637] za3[638] za3[639] za3[640] za3[641] za3[642] za3[643] za3[644] za3[645] za3[646] za3[647] za3[648] za3[649] za3[650] za3[651] za3[652] za3[653] za3[654] za3[655] za3[656] za3[657] za3[658] za3[659] za3[660] za3[661] za3[662] za3[663] za3[664] za3[665] za3[666] za3[667] za3[668] za3[669] za3[670] za3[671] za3[672] za3[673] za3[674] za3[675] za3[676] za3[677] za3[678] za3[679] za3[680] za3[681] za3[682] za3[683] za3[684] za3[685] za3[686] za3[687] za3[688] za3[689] za3[690] za3[691] za3[692] za3[693] za3[694] za3[695] za3[696] za3[697] za3[698] za3[699] za3[700] za3[701] za3[702] za3[703] za3[704] za3[705] za3[706] za3[707] za3[708] za3[709] za3[710] za3[711] za3[712] za3[713] za3[714] za3[715] za3[716] za3[717] za3[718] za3[719] za3[720] za3[721] za3[722] za3[723] za3[724] za3[725] za3[726] za3[727] za3[728] za3[729] za3[730] za3[731] za3[732] za3[733] za3[734] za3[735] za3[736] za3[737] za3[738] za3[739] za3[740] za3[741] za3[742] za3[743] za3[744] za3[745] za3[746] za3[747] za3[748] za3[749] za3[750] za3[751] za3[752] za3[753] za3[754] za3[755] za3[756] za3[757] za3[758] za3[759] za3[760] za3[761] za3[762] za3[763] za3[764] za3[765] za3[766] za3[767] za3[768] za3[769] za3[770] za3[771] za3[772] za3[773] za3[774] za3[775] za3[776] za3[777] za3[778] za3[779] za3[780] za3[781] za3[782] za3[783] za3[784] za3[785] za3[786] za3[787] za3[788] za3[789] za3[790] za3[791] za3[792] za3[793] za3[794] za3[795] za3[796] za3[797] za3[798] za3[799] za3[800] za3[801] za3[802] za3[803] za3[804] za3[805] za3[806] za3[807] za3[808] za3[809] za3[810] za3[811] za3[812] za3[813] za3[814] za3[815] za3[816] za3[817] za3[818] za3[819] za3[820] za3[821] za3[822] za3[823] za3[824] za3[825] za3[826] za3[827] za3[828] za3[829] za3[830] za3[831] za3[832] za3[833] za3[834] za3[835] za3[836] za3[837] za3[838] za3[839] za3[840] za3[841] za3[842] za3[843] za3[844] za3[845] za3[846] za3[847] za3[848] za3[849] za3[850] za3[851] za3[852] za3[853] za3[854] za3[855] za3[856] za3[857] za3[858] za3[859] za3[860] za3[861] za3[862] za3[863] za3[864] za3[865] za3[866] za3[867] za3[868] za3[869] za3[870] za3[871] za3[872] za3[873] za3[874] za3[875] za3[876] za3[877] za3[878] za3[879] za3[880] za3[881] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512] za4[513] za4[514] za4[515] za4[516] za4[517] za4[518] za4[519] za4[520] za4[521] za4[522] za4[523] za4[524] za4[525] za4[526] za4[527] za4[528] za4[529] za4[530] za4[531] za4[532] za4[533] za4[534] za4[535] za4[536] za4[537] za4[538] za4[539] za4[540] za4[541] za4[542] za4[543] za4[544] za4[545] za4[546] za4[547] za4[548] za4[549] za4[550] za4[551] za4[552] za4[553] za4[554] za4[555] za4[556] za4[557] za4[558] za4[559] za4[560] za4[561] za4[562] za4[563] za4[564] za4[565] za4[566] za4[567] za4[568] za4[569] za4[570] za4[571] za4[572] za4[573] za4[574] za4[575] za4[576] za4[577] za4[578] za4[579] za4[580] za4[581] za4[582] za4[583] za4[584] za4[585] za4[586] za4[587] za4[588] za4[589] za4[590] za4[591] za4[592] za4[593] za4[594] za4[595] za4[596] za4[597] za4[598] za4[599] za4[600] za4[601] za4[602] za4[603] za4[604] za4[605] za4[606] za4[607] za4[608] za4[609] za4[610] za4[611] za4[612] za4[613] za4[614] za4[615] za4[616] za4[617] za4[618] za4[619] za4[620] za4[621] za4[622] za4[623] za4[624] za4[625] za4[626] za4[627] za4[628] za4[629] za4[630] za4[631] za4[632] za4[633] za4[634] za4[635] za4[636] za4[637] za4[638] za4[639] za4[640] za4[641] za4[642] za4[643] za4[644] za4[645] za4[646] za4[647] za4[648] za4[649] za4[650] za4[651] za4[652] za4[653] za4[654] za4[655] za4[656] za4[657] za4[658] za4[659] za4[660] za4[661] za4[662] za4[663] za4[664] za4[665] za4[666] za4[667] za4[668] za4[669] za4[670] za4[671] za4[672] za4[673] za4[674] za4[675] za4[676] za4[677] za4[678] za4[679] za4[680] za4[681] za4[682] za4[683] za4[684] za4[685] za4[686] za4[687] za4[688] za4[689] za4[690] za4[691] za4[692] za4[693] za4[694] za4[695] za4[696] za4[697] za4[698] za4[699] za4[700] za4[701] za4[702] za4[703] za4[704] za4[705] za4[706] za4[707] za4[708] za4[709] za4[710] za4[711] za4[712] za4[713] za4[714] za4[715] za4[716] za4[717] za4[718] za4[719] za4[720] za4[721] za4[722] za4[723] za4[724] za4[725] za4[726] za4[727] za4[728] za4[729] za4[730] za4[731] za4[732] za4[733] za4[734] za4[735] za4[736] za4[737] za4[738] za4[739] za4[740] za4[741] za4[742] za4[743] za4[744] za4[745] za4[746] za4[747] za4[748] za4[749] za4[750] za4[751] za4[752] za4[753] za4[754] za4[755] za4[756] za4[757] za4[758] za4[759] za4[760] za4[761] za4[762] za4[763] za4[764] za4[765] za4[766] za4[767] za4[768] za4[769] za4[770] za4[771] za4[772] za4[773] za4[774] za4[775] za4[776] za4[777] za4[778] za4[779] za4[780] za4[781] za4[782] za4[783] za4[784] za4[785] za4[786] za4[787] za4[788] za4[789] za4[790] za4[791] za4[792] za4[793] za4[794] za4[795] za4[796] za4[797] za4[798] za4[799] za4[800] za4[801] za4[802] za4[803] za4[804] za4[805] za4[806] za4[807] za4[808] za4[809] za4[810] za4[811] za4[812] za4[813] za4[814] za4[815] za4[816] za4[817] za4[818] za4[819] za4[820] za4[821] za4[822] za4[823] za4[824] za4[825] za4[826] za4[827] za4[828] za4[829] za4[830] za4[831] za4[832] za4[833] za4[834] za4[835] za4[836] za4[837] za4[838] za4[839] za4[840] za4[841] za4[842] za4[843] za4[844] za4[845] za4[846] za4[847] za4[848] za4[849] za4[850] za4[851] za4[852] za4[853] za4[854] za4[855] za4[856] za4[857] za4[858] za4[859] za4[860] za4[861] za4[862] za4[863] za4[864] za4[865] za4[866] za4[867] za4[868] za4[869] za4[870] za4[871] za4[872] za4[873] za4[874] za4[875] za4[876] za4[877] za4[878] za4[879] za4[880] za4[881] za4[882] za4[883] za4[884] za4[885] za4[886] za4[887] za4[888] za4[889] za4[890] za4[891] za4[892] za4[893] za4[894] za4[895] za4[896] za4[897] za4[898] za4[899] za4[900] za4[901] za4[902] za4[903] za4[904] za4[905] za4[906] za4[907] za4[908] za4[909] za4[910] za4[911] za4[912] za4[913] za4[914] za4[915] za4[916] za4[917] za4[918] za4[919] za4[920] za4[921] za4[922] za4[923] za4[924] za4[925] za4[926] za4[927] za4[928] za4[929] za4[930] za4[931] za4[932] za4[933] za4[934] za4[935] za4[936] za4[937] za4[938] za4[939] za4[940] za4[941] za4[942] za4[943] za4[944] za4[945] za4[946] za4[947] za4[948] za4[949] za4[950] za4[951] za4[952] za4[953] za4[954] za4[955] za4[956] za4[957] za4[958] za4[959] za4[960] za4[961] za4[962] za4[963] za4[964] za4[965] za4[966] za4[967] za4[968] za4[969] za4[970] za4[971] za4[972] za4[973] za4[974] za4[975] za4[976] za4[977] za4[978] za4[979] za4[980] za4[981] za4[982] za4[983] za4[984] za4[985] za4[986] za4[987] za4[988] za4[989] za4[990] za4[991] za4[992] za4[993] za4[994] za4[995] za4[996] za4[997] za4[998] za4[999] za4[1000] za4[1001] za4[1002] za4[1003] za4[1004] za4[1005] za4[1006] za4[1007] za4[1008] za4[1009] za4[1010] za4[1011] za4[1012] za4[1013] za4[1014] za4[1015] za4[1016] za4[1017] za4[1018] za4[1019] za4[1020] za4[1021] za4[1022] za4[1023] za4[1024] za4[1025] za4[1026] za4[1027] za4[1028] za4[1029] za4[1030] za4[1031] za4[1032] za4[1033] za4[1034] za4[1035] za4[1036] za4[1037] za4[1038] za4[1039] za4[1040] za4[1041] za4[1042] za4[1043] za4[1044] za4[1045] za4[1046] za4[1047] za4[1048] za4[1049] za4[1050] za4[1051] za4[1052] za4[1053] za4[1054] za4[1055]
252.00/160.13	v       </list>
252.00/160.13	v       <values>
252.00/160.13	v         442 680 554 792 694 456 282 44 380 142 512 750 512 750 680 442 310 72 540 778 414 652 16 254 540 778 128 366 526 764 100 338 484 722 414 652 540 778 526 764 442 680 352 114 554 792 512 750 156 394 722 484 44 282 338 100 16 254 722 484 338 100 792 554 44 282 792 554 324 86 750 512 58 296 282 44 296 58 142 380 156 394 394 156 44 282 380 142 470 708 366 128 156 394 498 736 114 352 526 764 484 722 722 484 540 778 414 652 778 540 366 128 750 512 764 526 456 694 44 282 30 268 16 254 498 736 652 414 296 58 428 666 296 58 352 114 442 680 156 394 442 680 442 680 58 296 750 512 394 156 16 254 750 512 44 282 792 554 170 408 58 296 428 666 380 142 268 30 554 792 792 554 44 282 352 114 652 414 652 414 254 16 470 708 296 58 484 722 512 750 394 156 142 380 16 254 792 554 352 114 652 414 652 414 394 156 366 128 72 310 428 666 526 764 526 764 142 380 72 310 722 484 142 380 778 540 708 470 456 694 764 526 268 30 694 456 86 324 764 526 428 666 680 442 540 778 324 86 540 778 540 778 778 540 380 142 428 666 470 708 58 296 282 44 30 268 310 72 282 44 30 268 380 142 442 680 778 540 44 282 694 456 30 268 86 324 722 484 282 44 540 778 540 778 470 708 114 352 268 30 694 456 100 338 30 268 366 128 428 666 254 16 442 680 540 778 512 750 296 58 708 470 254 16 666 428 666 428 30 268 456 694 338 100 100 338 428 666 540 778 44 282 666 428 540 778 142 380 470 708 792 554 352 114 750 512 764 526 72 310 142 380 156 394 792 554 470 708 512 750 694 456 380 142 310 72 456 694 282 44 540 778 428 666 380 142 338 100 666 428 254 16 282 44 16 254 44 282 736 498 414 652 380 142 680 442 778 540 58 296 142 380 750 512 708 470 736 498 736 498 428 666 394 156 296 58 142 380 366 128 666 428 498 736 680 442 352 114 778 540 708 470 540 778 86 324 268 30 778 540 128 366 736 498 498 736 540 778 142 380 254 16 268 30 352 114 414 652 44 282 16 254 156 394 750 512 128 366 778 540 338 100 456 694 268 30 722 484 30 268 484 722 352 114 736 498 526 764 442 680 394 156 414 652 526 764 792 554 554 792 44 282 142 380 694 456 736 498 442 680 526 764 142 380 30 268 296 58 540 778 352 114 268 30 380 142 484 722 694 456 540 778 456 694 366 128 128 366 694 456 470 708 128 366 30 268 652 414 394 156 540 778 366 128 100 338 142 380 268 30 428 666 352 114 708 470 380 142 442 680 142 380 72 310 764 526 324 86 268 30 680 442 58 296 442 680 338 100 540 778 680 442 366 128 30 268 394 156 30 268 666 428 114 352 470 708 310 72 512 750 310 72 736 498 114 352 156 394 680 442 254 16 142 380 30 268 30 268 414 652 30 268 540 778 428 666 680 442 778 540 72 310 666 428 268 30 268 30 666 428 142 380 268 30 512 750 338 100 722 484 254 16 128 366 554 792 72 310 100 338 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 1000 1000 0 0 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 100 100 100 100 0 0 100 100 0 0 0 0 100 100 0 0 0 0 100 100 100 100 0 0 0 0 100 100 100 100 100 100 100 100 0 0 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 100 100 100 100 100 100 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 10 10 10 0 0 10 10 0 0 0 0 10 10 0 0 10 10 0 0 10 10 10 10 0 0 0 0 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 100 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 100 0 100 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 0 0 100 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 10 0 0 0 10 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 10 0 10 0 0 0 0 10 0 10 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 1 0 0 0 0 1 0 1 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 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 1 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 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 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 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0
252.00/160.13	v       </values>
252.00/160.13	v     </instantiation>
252.00/160.13	s SATISFIABLE

Verifier Data 

OK	91591

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

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

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

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


[startup+0.100066 s]*
/proc/loadavg: 1.82 2.01 1.90 3/206 24919
/proc/meminfo: memFree=26745064/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=10005480 memory=16816 CPUtime=0.09 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 13514 0 -1 1077944320 4386 13008 0 0 1 0 5 3 20 0 6 0 107108091 10245611520 4204 33554432000 4194304 4196468 140727822786912 140727822769456 140708990033655 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
/proc/24862/statm: 2501370 4204 1935 1 0 2489808 0
[pid=24862/tid=24915] ppid=24859 vsize=10005480 memory=4279135704013571469 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24915/stat : 24915 (java) R 24859 24862 13514 0 -1 4202560 2195 13008 0 0 0 0 5 3 20 0 6 0 107108100 10245611520 4270 33554432000 4194304 4196468 140727822786912 140708961870416 140708974114142 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24916] ppid=24859 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24916/stat : 24916 (java) S 24859 24862 13514 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 6 0 107108100 10245611520 4270 33554432000 4194304 4196468 140727822786912 140708994275728 140708990043861 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24917] ppid=24859 vsize=10005480 memory=140623383950976 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24917/stat : 24917 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 6 0 107108100 10245611520 4270 33554432000 4194304 4196468 140727822786912 140708848994576 140708990043861 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24918] ppid=24859 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24918/stat : 24918 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 6 0 107108100 10245611520 4270 33554432000 4194304 4196468 140727822786912 140708847942288 140708990043861 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24919] ppid=24859 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24919/stat : 24919 (java) S 24859 24862 13514 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 6 0 107108100 10245611520 4270 33554432000 4194304 4196468 140727822786912 140708846889488 140708990043861 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB

[startup+0.210856 s]*
/proc/loadavg: 1.82 2.01 1.90 3/215 24928
/proc/meminfo: memFree=26720928/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=10982744 memory=44832 CPUtime=0.26 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 13514 0 -1 1077944320 7881 13008 0 0 16 2 5 3 20 0 15 0 107108091 11246329856 11142 33554432000 4194304 4196468 140727822786912 140727822769456 140708990033655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
/proc/24862/statm: 2745686 11142 2955 1 0 2708109 0
[pid=24862/tid=24915] ppid=24859 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/24862/task/24915/stat : 24915 (java) R 24859 24862 13514 0 -1 4202560 4486 13008 0 0 10 1 5 3 20 0 15 0 107108100 11246329856 11208 33554432000 4194304 4196468 140727822786912 140708961852856 140708970309469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24916] ppid=24859 vsize=10982744 memory=339 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24916/stat : 24916 (java) S 24859 24862 13514 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107108100 11246329856 11208 33554432000 4194304 4196468 140727822786912 140708994275728 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24917] ppid=24859 vsize=10982744 memory=3617998088261400224 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24917/stat : 24917 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108100 11246329856 11208 33554432000 4194304 4196468 140727822786912 140708848994576 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24918] ppid=24859 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24918/stat : 24918 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108100 11246329856 11208 33554432000 4194304 4196468 140727822786912 140708847942288 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24919] ppid=24859 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24919/stat : 24919 (java) S 24859 24862 13514 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107108100 11246329856 11208 33554432000 4194304 4196468 140727822786912 140708846889488 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24920] ppid=24859 vsize=10982744 memory=140623383950976 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24920/stat : 24920 (java) S 24859 24862 13514 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107108102 11246329856 11274 33554432000 4194304 4196468 140727822786912 140708415474288 140708990044802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24921] ppid=24859 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24921/stat : 24921 (java) S 24859 24862 13514 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 107108102 11246329856 11274 33554432000 4194304 4196468 140727822786912 140707772753184 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24922] ppid=24859 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24922/stat : 24922 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108103 11246329856 11274 33554432000 4194304 4196468 140727822786912 140707624904304 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24923] ppid=24859 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24923/stat : 24923 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108105 11246329856 11274 33554432000 4194304 4196468 140727822786912 140707317504592 140708990052251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24924] ppid=24859 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24862/task/24924/stat : 24924 (java) S 24859 24862 13514 0 -1 1077944384 369 13008 0 0 1 0 5 3 20 0 15 0 107108105 11246329856 11274 33554432000 4194304 4196468 140727822786912 140708414421104 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24925] ppid=24859 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24925/stat : 24925 (java) S 24859 24862 13514 0 -1 1077944384 250 13008 0 0 0 0 5 3 20 0 15 0 107108105 11246329856 11274 33554432000 4194304 4196468 140727822786912 140708413368304 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24926] ppid=24859 vsize=10982744 memory=140623383950976 CPUtime=0.11 cores=0,2,4,6
/proc/24862/task/24926/stat : 24926 (java) S 24859 24862 13514 0 -1 1077944384 598 13008 0 0 3 0 5 3 20 0 15 0 107108105 11246329856 11274 33554432000 4194304 4196468 140727822786912 140708412316016 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24927] ppid=24859 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24927/stat : 24927 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108106 11246329856 11274 33554432000 4194304 4196468 140727822786912 140706886707680 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24928] ppid=24859 vsize=10982744 memory=140623383950976 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24928/stat : 24928 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108106 11246329856 11274 33554432000 4194304 4196468 140727822786912 140708411263920 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44832 KiB

[startup+0.310227 s]*
/proc/loadavg: 1.82 2.01 1.90 4/215 24928
/proc/meminfo: memFree=26709640/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=10983192 memory=56608 CPUtime=0.39 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 13514 0 -1 1077944320 10698 13008 0 0 28 3 5 3 20 0 15 0 107108091 11246788608 14152 33554432000 4194304 4196468 140727822786912 140727822769456 140708990033655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
/proc/24862/statm: 2745798 14152 3074 1 0 2708109 0
[pid=24862/tid=24915] ppid=24859 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/24862/task/24915/stat : 24915 (java) R 24859 24862 13514 0 -1 4202560 7245 13008 0 0 19 2 5 3 20 0 15 0 107108100 11246788608 14152 33554432000 4194304 4196468 140727822786912 140708961845664 140708973220082 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24916] ppid=24859 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24916/stat : 24916 (java) S 24859 24862 13514 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107108100 11246788608 14152 33554432000 4194304 4196468 140727822786912 140708994275728 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24917] ppid=24859 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24917/stat : 24917 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108100 11246788608 14152 33554432000 4194304 4196468 140727822786912 140708848994576 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24918] ppid=24859 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24918/stat : 24918 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108100 11246788608 14152 33554432000 4194304 4196468 140727822786912 140708847942288 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24919] ppid=24859 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24919/stat : 24919 (java) S 24859 24862 13514 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107108100 11246788608 14152 33554432000 4194304 4196468 140727822786912 140708846889488 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24920] ppid=24859 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24920/stat : 24920 (java) S 24859 24862 13514 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107108102 11246788608 14152 33554432000 4194304 4196468 140727822786912 140708415474288 140708990044802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24921] ppid=24859 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24921/stat : 24921 (java) S 24859 24862 13514 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 107108102 11246788608 14152 33554432000 4194304 4196468 140727822786912 140707772753184 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24922] ppid=24859 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24922/stat : 24922 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108103 11246788608 14152 33554432000 4194304 4196468 140727822786912 140707624904304 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24923] ppid=24859 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24923/stat : 24923 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108105 11246788608 14152 33554432000 4194304 4196468 140727822786912 140707317504592 140708990052251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24924] ppid=24859 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24862/task/24924/stat : 24924 (java) S 24859 24862 13514 0 -1 1077944384 370 13008 0 0 1 0 5 3 20 0 15 0 107108105 11246788608 14152 33554432000 4194304 4196468 140727822786912 140708414421104 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24925] ppid=24859 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/24862/task/24925/stat : 24925 (java) S 24859 24862 13514 0 -1 1077944384 254 13008 0 0 1 0 5 3 20 0 15 0 107108105 11246788608 14152 33554432000 4194304 4196468 140727822786912 140708413368304 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24926] ppid=24859 vsize=10983192 memory=140623383950976 CPUtime=0.12 cores=0,2,4,6
/proc/24862/task/24926/stat : 24926 (java) S 24859 24862 13514 0 -1 1077944384 605 13008 0 0 4 0 5 3 20 0 15 0 107108105 11246788608 14152 33554432000 4194304 4196468 140727822786912 140708412316016 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24927] ppid=24859 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24927/stat : 24927 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108106 11246788608 14152 33554432000 4194304 4196468 140727822786912 140706886707680 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24928] ppid=24859 vsize=10983192 memory=140623383950976 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24928/stat : 24928 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108106 11246788608 14152 33554432000 4194304 4196468 140727822786912 140708411263920 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56608 KiB

[startup+0.700747 s]
/proc/loadavg: 1.82 2.01 1.90 4/215 24928
/proc/meminfo: memFree=26698972/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=10983192 memory=88536 CPUtime=0.99 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 13514 0 -1 1077944320 16808 13008 0 0 86 5 5 3 20 0 15 0 107108091 11246788608 22134 33554432000 4194304 4196468 140727822786912 140727822769456 140708990033655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
/proc/24862/statm: 2745798 22134 3233 1 0 2708109 0
[pid=24862/tid=24915] ppid=24859 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/24862/task/24915/stat : 24915 (java) R 24859 24862 13514 0 -1 4202560 12278 13008 0 0 55 3 5 3 20 0 15 0 107108100 11246788608 22134 33554432000 4194304 4196468 140727822786912 140708961854480 140708990055581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24916] ppid=24859 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24916/stat : 24916 (java) S 24859 24862 13514 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107108100 11246788608 22134 33554432000 4194304 4196468 140727822786912 140708994275728 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24917] ppid=24859 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24917/stat : 24917 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108100 11246788608 22134 33554432000 4194304 4196468 140727822786912 140708848994576 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24918] ppid=24859 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24918/stat : 24918 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108100 11246788608 22134 33554432000 4194304 4196468 140727822786912 140708847942288 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24919] ppid=24859 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24919/stat : 24919 (java) S 24859 24862 13514 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107108100 11246788608 22134 33554432000 4194304 4196468 140727822786912 140708846889488 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24920] ppid=24859 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24920/stat : 24920 (java) S 24859 24862 13514 0 -1 1077944384 5 13008 0 0 0 0 5 3 20 0 15 0 107108102 11246788608 22134 33554432000 4194304 4196468 140727822786912 140708415474288 140708990044802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24921] ppid=24859 vsize=10983192 memory=140623269212848 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24921/stat : 24921 (java) S 24859 24862 13514 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 107108102 11246788608 22134 33554432000 4194304 4196468 140727822786912 140707772753184 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24922] ppid=24859 vsize=10983192 memory=140625819206224 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24922/stat : 24922 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108103 11246788608 22134 33554432000 4194304 4196468 140727822786912 140707624904304 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24923] ppid=24859 vsize=10983192 memory=1020 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24923/stat : 24923 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108105 11246788608 22134 33554432000 4194304 4196468 140727822786912 140707317504592 140708990052251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24924] ppid=24859 vsize=10983192 memory=7089042195949315648 CPUtime=0.15 cores=0,2,4,6
/proc/24862/task/24924/stat : 24924 (java) S 24859 24862 13514 0 -1 1077944384 775 13008 0 0 7 0 5 3 20 0 15 0 107108105 11246788608 22134 33554432000 4194304 4196468 140727822786912 140708414421104 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24925] ppid=24859 vsize=10983192 memory=7881696724453321575 CPUtime=0.17 cores=0,2,4,6
/proc/24862/task/24925/stat : 24925 (java) S 24859 24862 13514 0 -1 1077944384 869 13008 0 0 9 0 5 3 20 0 15 0 107108105 11246788608 22134 33554432000 4194304 4196468 140727822786912 140708413368304 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24926] ppid=24859 vsize=10983192 memory=5789189752906409301 CPUtime=0.21 cores=0,2,4,6
/proc/24862/task/24926/stat : 24926 (java) R 24859 24862 13514 0 -1 1077944384 658 13008 0 0 13 0 5 3 20 0 15 0 107108105 11246788608 22134 33554432000 4194304 4196468 140727822786912 140708412316016 140708990044802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24927] ppid=24859 vsize=10983192 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24927/stat : 24927 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108106 11246788608 22134 33554432000 4194304 4196468 140727822786912 140706886707680 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24928] ppid=24859 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24928/stat : 24928 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108106 11246788608 22134 33554432000 4194304 4196468 140727822786912 140708411263920 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88536 KiB

[startup+1.50067 s]
/proc/loadavg: 1.82 2.01 1.90 3/215 24928
/proc/meminfo: memFree=26655200/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=10996044 memory=193132 CPUtime=3.14 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 13514 0 -1 1077944320 25090 13008 0 0 297 9 5 3 20 0 15 0 107108091 11259949056 48283 33554432000 4194304 4196468 140727822786912 140727822769456 140708990033655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
/proc/24862/statm: 2749011 48283 3452 1 0 2710669 0
[pid=24862/tid=24915] ppid=24859 vsize=10996044 memory=10757 CPUtime=1.46 cores=0,2,4,6
/proc/24862/task/24915/stat : 24915 (java) R 24859 24862 13514 0 -1 4202560 16569 13008 0 0 132 6 5 3 20 0 15 0 107108100 11259949056 48283 33554432000 4194304 4196468 140727822786912 140708961840160 140708974114142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24916] ppid=24859 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24916/stat : 24916 (java) S 24859 24862 13514 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107108100 11259949056 48283 33554432000 4194304 4196468 140727822786912 140708994275728 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24917] ppid=24859 vsize=10996044 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24917/stat : 24917 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108100 11259949056 48283 33554432000 4194304 4196468 140727822786912 140708848994576 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24918] ppid=24859 vsize=10996044 memory=2996 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24918/stat : 24918 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108100 11259949056 48283 33554432000 4194304 4196468 140727822786912 140708847942288 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24919] ppid=24859 vsize=10996044 memory=88536 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24919/stat : 24919 (java) S 24859 24862 13514 0 -1 1077944384 2 13008 0 0 0 0 5 3 20 0 15 0 107108100 11259949056 48283 33554432000 4194304 4196468 140727822786912 140708846889488 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24920] ppid=24859 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24920/stat : 24920 (java) S 24859 24862 13514 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 107108102 11259949056 48283 33554432000 4194304 4196468 140727822786912 140708415474288 140708990044802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24921] ppid=24859 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24921/stat : 24921 (java) S 24859 24862 13514 0 -1 1077944384 13 13008 0 0 0 0 5 3 20 0 15 0 107108102 11259949056 48283 33554432000 4194304 4196468 140727822786912 140707772753184 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24922] ppid=24859 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24922/stat : 24922 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108103 11259949056 48283 33554432000 4194304 4196468 140727822786912 140707624904304 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24923] ppid=24859 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24923/stat : 24923 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108105 11259949056 48283 33554432000 4194304 4196468 140727822786912 140707317504592 140708990052251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24924] ppid=24859 vsize=10996044 memory=4638778398332698720 CPUtime=0.65 cores=0,2,4,6
/proc/24862/task/24924/stat : 24924 (java) R 24859 24862 13514 0 -1 4202560 2852 13008 0 0 57 0 5 3 20 0 15 0 107108105 11259949056 48283 33554432000 4194304 4196468 140727822786912 140708414421104 140708971551537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24925] ppid=24859 vsize=10996044 memory=281246538701696 CPUtime=0.68 cores=0,2,4,6
/proc/24862/task/24925/stat : 24925 (java) S 24859 24862 13514 0 -1 1077944384 1849 13008 0 0 60 0 5 3 20 0 15 0 107108105 11259949056 48283 33554432000 4194304 4196468 140727822786912 140708413368304 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24926] ppid=24859 vsize=10996044 memory=6944656592452807323 CPUtime=0.55 cores=0,2,4,6
/proc/24862/task/24926/stat : 24926 (java) S 24859 24862 13514 0 -1 1077944384 1587 13008 0 0 47 0 5 3 20 0 15 0 107108105 11259949056 48283 33554432000 4194304 4196468 140727822786912 140708412316016 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24927] ppid=24859 vsize=10996044 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24927/stat : 24927 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108106 11259949056 48283 33554432000 4194304 4196468 140727822786912 140706886707680 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24928] ppid=24859 vsize=10996044 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24928/stat : 24928 (java) S 24859 24862 13514 0 -1 1077944384 1 13008 0 0 0 0 5 3 20 0 15 0 107108106 11259949056 48283 33554432000 4194304 4196468 140727822786912 140708411263920 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
Current children cumulated CPU time: 3.14 s
Current children cumulated vsize: 10996044 KiB

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

/proc/24862/task/24915/stat : 24915 (java) S 24859 24862 13514 0 -1 1077944384 98714 13008 0 0 3999 23 5 3 20 0 15 0 107108100 11280941056 905175 33554432000 4194304 4196468 140727822786912 140708961868368 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24916] ppid=24859 vsize=11016544 memory=3606124 CPUtime=9.65 cores=0,2,4,6
/proc/24862/task/24916/stat : 24916 (java) R 24859 24862 13514 0 -1 4202560 39710 13008 0 0 881 76 5 3 20 0 15 0 107108100 11280941056 905175 33554432000 4194304 4196468 140727822786912 140708994275848 140708974734048 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24917] ppid=24859 vsize=11016544 memory=3620700 CPUtime=9.75 cores=0,2,4,6
/proc/24862/task/24917/stat : 24917 (java) R 24859 24862 13514 0 -1 4202560 34397 13008 0 0 890 77 5 3 20 0 15 0 107108100 11280941056 905175 33554432000 4194304 4196468 140727822786912 140708848994776 140708975030165 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24918] ppid=24859 vsize=11016544 memory=281246538451632 CPUtime=9.65 cores=0,2,4,6
/proc/24862/task/24918/stat : 24918 (java) R 24859 24862 13514 0 -1 4202560 33560 13008 0 0 881 76 5 3 20 0 15 0 107108100 11280941056 905175 33554432000 4194304 4196468 140727822786912 140708847942488 140708974734288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24919] ppid=24859 vsize=11016544 memory=0 CPUtime=9.69 cores=0,2,4,6
/proc/24862/task/24919/stat : 24919 (java) R 24859 24862 13514 0 -1 4202560 41880 13008 0 0 884 77 5 3 20 0 15 0 107108100 11280941056 905175 33554432000 4194304 4196468 140727822786912 140708846889688 140708974734339 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24920] ppid=24859 vsize=11016544 memory=4126316290023845779 CPUtime=1.08 cores=0,2,4,6
/proc/24862/task/24920/stat : 24920 (java) S 24859 24862 13514 0 -1 1077944384 26459 13008 0 0 98 2 5 3 20 0 15 0 107108102 11280941056 905175 33554432000 4194304 4196468 140727822786912 140708415472832 140708990043861 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24921] ppid=24859 vsize=11016544 memory=1172 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24921/stat : 24921 (java) S 24859 24862 13514 0 -1 1077944384 26 13008 0 0 0 0 5 3 20 0 15 0 107108102 11280941056 905175 33554432000 4194304 4196468 140727822786912 140707772753312 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24922] ppid=24859 vsize=11016544 memory=1968 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24922/stat : 24922 (java) S 24859 24862 13514 0 -1 1077944384 19 13008 0 0 0 0 5 3 20 0 15 0 107108103 11280941056 905175 33554432000 4194304 4196468 140727822786912 140707624904320 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24923] ppid=24859 vsize=11016544 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24923/stat : 24923 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108105 11280941056 905175 33554432000 4194304 4196468 140727822786912 140707317504592 140708990052251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24924] ppid=24859 vsize=11016544 memory=3472328296227679313 CPUtime=10.4 cores=0,2,4,6
/proc/24862/task/24924/stat : 24924 (java) S 24859 24862 13514 0 -1 1077944384 20485 13008 0 0 1028 4 5 3 20 0 15 0 107108105 11280941056 905175 33554432000 4194304 4196468 140727822786912 140708414421104 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24925] ppid=24859 vsize=11016544 memory=-2895008908443675764 CPUtime=10.4 cores=0,2,4,6
/proc/24862/task/24925/stat : 24925 (java) S 24859 24862 13514 0 -1 1077944384 19516 13008 0 0 1027 5 5 3 20 0 15 0 107108105 11280941056 905175 33554432000 4194304 4196468 140727822786912 140708413368304 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24926] ppid=24859 vsize=11016544 memory=30440 CPUtime=3.44 cores=0,2,4,6
/proc/24862/task/24926/stat : 24926 (java) S 24859 24862 13514 0 -1 1077944384 21034 13008 0 0 330 6 5 3 20 0 15 0 107108105 11280941056 905175 33554432000 4194304 4196468 140727822786912 140708412316016 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24927] ppid=24859 vsize=11016544 memory=2204 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24927/stat : 24927 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108106 11280941056 905175 33554432000 4194304 4196468 140727822786912 140706886707680 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24928] ppid=24859 vsize=11016544 memory=1240 CPUtime=0.1 cores=0,2,4,6
/proc/24862/task/24928/stat : 24928 (java) S 24859 24862 13514 0 -1 1077944384 723 13008 0 0 1 1 5 3 20 0 15 0 107108106 11280941056 905175 33554432000 4194304 4196468 140727822786912 140708411263920 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
Current children cumulated CPU time: 103.84 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3620700 KiB

[startup+102.301 s]
/proc/loadavg: 1.61 1.93 1.89 9/215 25057
/proc/meminfo: memFree=22486056/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=11016544 memory=5450360 CPUtime=179.78 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 13514 0 -1 1077944320 346562 13008 0 0 17444 526 5 3 20 0 15 0 107108091 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140727822769456 140708990033655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
/proc/24862/statm: 2754136 1362590 3536 1 0 2715789 0
[pid=24862/tid=24915] ppid=24859 vsize=11016544 memory=33 CPUtime=83.71 cores=0,2,4,6
/proc/24862/task/24915/stat : 24915 (java) S 24859 24862 13514 0 -1 1077944384 99402 13008 0 0 8340 23 5 3 20 0 15 0 107108100 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140708961868768 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24916] ppid=24859 vsize=11016544 memory=5206464 CPUtime=17.28 cores=0,2,4,6
/proc/24862/task/24916/stat : 24916 (java) R 24859 24862 13514 0 -1 4202560 40904 13008 0 0 1601 119 5 3 20 0 15 0 107108100 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140708994275616 140708974732400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24917] ppid=24859 vsize=11016544 memory=5104064 CPUtime=17.36 cores=0,2,4,6
/proc/24862/task/24917/stat : 24917 (java) R 24859 24862 13514 0 -1 4202560 35467 13008 0 0 1607 121 5 3 20 0 15 0 107108100 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140708848994776 140708974734288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24918] ppid=24859 vsize=11016544 memory=4480052 CPUtime=17.23 cores=0,2,4,6
/proc/24862/task/24918/stat : 24918 (java) R 24859 24862 13514 0 -1 4202560 34545 13008 0 0 1595 120 5 3 20 0 15 0 107108100 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140708847942488 140708975030256 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24919] ppid=24859 vsize=11016544 memory=0 CPUtime=17.29 cores=0,2,4,6
/proc/24862/task/24919/stat : 24919 (java) R 24859 24862 13514 0 -1 4202560 42833 13008 0 0 1603 118 5 3 20 0 15 0 107108100 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140708846889488 140708975030022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24920] ppid=24859 vsize=11016544 memory=4140 CPUtime=1.21 cores=0,2,4,6
/proc/24862/task/24920/stat : 24920 (java) S 24859 24862 13514 0 -1 1077944384 28539 13008 0 0 111 2 5 3 20 0 15 0 107108102 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140708415472832 140708990043861 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24921] ppid=24859 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24921/stat : 24921 (java) S 24859 24862 13514 0 -1 1077944384 26 13008 0 0 0 0 5 3 20 0 15 0 107108102 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140707772753312 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24922] ppid=24859 vsize=11016544 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24922/stat : 24922 (java) S 24859 24862 13514 0 -1 1077944384 19 13008 0 0 0 0 5 3 20 0 15 0 107108103 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140707624904320 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24923] ppid=24859 vsize=11016544 memory=5061588 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24923/stat : 24923 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108105 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140707317504592 140708990052251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24924] ppid=24859 vsize=11016544 memory=0 CPUtime=11.04 cores=0,2,4,6
/proc/24862/task/24924/stat : 24924 (java) S 24859 24862 13514 0 -1 1077944384 20550 13008 0 0 1092 4 5 3 20 0 15 0 107108105 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140708414421104 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24925] ppid=24859 vsize=11016544 memory=0 CPUtime=11.64 cores=0,2,4,6
/proc/24862/task/24925/stat : 24925 (java) S 24859 24862 13514 0 -1 1077944384 20300 13008 0 0 1151 5 5 3 20 0 15 0 107108105 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140708413368304 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24926] ppid=24859 vsize=11016544 memory=140623269593932 CPUtime=3.5 cores=0,2,4,6
/proc/24862/task/24926/stat : 24926 (java) S 24859 24862 13514 0 -1 1077944384 21048 13008 0 0 336 6 5 3 20 0 15 0 107108105 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140708412316016 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24927] ppid=24859 vsize=11016544 memory=1520 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24927/stat : 24927 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108106 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140706886707680 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24928] ppid=24859 vsize=11016544 memory=844 CPUtime=0.14 cores=0,2,4,6
/proc/24862/task/24928/stat : 24928 (java) S 24859 24862 13514 0 -1 1077944384 727 13008 0 0 3 3 5 3 20 0 15 0 107108106 11280941056 1362590 33554432000 4194304 4196468 140727822786912 140708411263920 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
Current children cumulated CPU time: 179.78 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 5450360 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+160.11 s]
/proc/loadavg: 1.89 1.95 1.89 3/215 25065
/proc/meminfo: memFree=18180396/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=11016544 memory=6152984 CPUtime=252 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 13514 0 -1 1077944320 362688 13008 0 0 24606 586 5 3 20 0 15 0 107108091 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140727822769456 140708990033655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
/proc/24862/statm: 2754136 1538246 3536 1 0 2715789 0
[pid=24862/tid=24915] ppid=24859 vsize=11016544 memory=6153040 CPUtime=136.76 cores=0,2,4,6
/proc/24862/task/24915/stat : 24915 (java) R 24859 24862 13514 0 -1 4202560 103660 13008 0 0 13645 23 5 3 20 0 15 0 107108100 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708961870096 140708533166023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24916] ppid=24859 vsize=11016544 memory=6148904 CPUtime=21.95 cores=0,2,4,6
/proc/24862/task/24916/stat : 24916 (java) S 24859 24862 13514 0 -1 1077944384 41661 13008 0 0 2053 134 5 3 20 0 15 0 107108100 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708994275728 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24917] ppid=24859 vsize=11016544 memory=5702904 CPUtime=22.04 cores=0,2,4,6
/proc/24862/task/24917/stat : 24917 (java) S 24859 24862 13514 0 -1 1077944384 39186 13008 0 0 2061 135 5 3 20 0 15 0 107108100 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708848994576 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24918] ppid=24859 vsize=11016544 memory=6152984 CPUtime=21.88 cores=0,2,4,6
/proc/24862/task/24918/stat : 24918 (java) S 24859 24862 13514 0 -1 1077944384 36465 13008 0 0 2046 134 5 3 20 0 15 0 107108100 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708847942288 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24919] ppid=24859 vsize=11016544 memory=214121299624636 CPUtime=21.95 cores=0,2,4,6
/proc/24862/task/24919/stat : 24919 (java) S 24859 24862 13514 0 -1 1077944384 43491 13008 0 0 2054 133 5 3 20 0 15 0 107108100 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708846889488 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24920] ppid=24859 vsize=11016544 memory=8 CPUtime=1.28 cores=0,2,4,6
/proc/24862/task/24920/stat : 24920 (java) S 24859 24862 13514 0 -1 1077944384 29914 13008 0 0 117 3 5 3 20 0 15 0 107108102 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708415474288 140708990044802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24921] ppid=24859 vsize=11016544 memory=6025984 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24921/stat : 24921 (java) S 24859 24862 13514 0 -1 1077944384 26 13008 0 0 0 0 5 3 20 0 15 0 107108102 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140707772753312 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24922] ppid=24859 vsize=11016544 memory=5826816 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24922/stat : 24922 (java) S 24859 24862 13514 0 -1 1077944384 19 13008 0 0 0 0 5 3 20 0 15 0 107108103 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140707624904320 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24923] ppid=24859 vsize=11016544 memory=7528 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24923/stat : 24923 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108105 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140707317504592 140708990052251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24924] ppid=24859 vsize=11016544 memory=804 CPUtime=11.23 cores=0,2,4,6
/proc/24862/task/24924/stat : 24924 (java) S 24859 24862 13514 0 -1 1077944384 22428 13008 0 0 1111 4 5 3 20 0 15 0 107108105 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708414421104 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24925] ppid=24859 vsize=11016544 memory=6153040 CPUtime=11.8 cores=0,2,4,6
/proc/24862/task/24925/stat : 24925 (java) S 24859 24862 13514 0 -1 1077944384 21728 13008 0 0 1167 5 5 3 20 0 15 0 107108105 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708413368304 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24926] ppid=24859 vsize=11016544 memory=30444 CPUtime=3.52 cores=0,2,4,6
/proc/24862/task/24926/stat : 24926 (java) S 24859 24862 13514 0 -1 1077944384 21075 13008 0 0 338 6 5 3 20 0 15 0 107108105 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708412316016 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24927] ppid=24859 vsize=11016544 memory=6153048 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24927/stat : 24927 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108106 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140706886707680 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24928] ppid=24859 vsize=11016544 memory=6153040 CPUtime=0.16 cores=0,2,4,6
/proc/24862/task/24928/stat : 24928 (java) S 24859 24862 13514 0 -1 1077944384 833 13008 0 0 4 4 5 3 20 0 15 0 107108106 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708411263920 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 6152984 KiB

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

[startup+160.179 s]
# the end of solver process 24862 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=246.127 s, system=5.9522 s

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

[startup+160.11 s]
/proc/loadavg: 1.89 1.95 1.89 3/215 25065
/proc/meminfo: memFree=18180396/32770624 swapFree=67108860/67108860
[pid=24862] ppid=24859 vsize=11016544 memory=6152984 CPUtime=252 cores=0,2,4,6
/proc/24862/stat : 24862 (java) S 24859 24862 13514 0 -1 1077944320 362688 13008 0 0 24606 586 5 3 20 0 15 0 107108091 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140727822769456 140708990033655 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
/proc/24862/statm: 2754136 1538246 3536 1 0 2715789 0
[pid=24862/tid=24915] ppid=24859 vsize=11016544 memory=6153040 CPUtime=136.76 cores=0,2,4,6
/proc/24862/task/24915/stat : 24915 (java) R 24859 24862 13514 0 -1 4202560 103660 13008 0 0 13645 23 5 3 20 0 15 0 107108100 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708961870096 140708533166023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24916] ppid=24859 vsize=11016544 memory=6148904 CPUtime=21.95 cores=0,2,4,6
/proc/24862/task/24916/stat : 24916 (java) S 24859 24862 13514 0 -1 1077944384 41661 13008 0 0 2053 134 5 3 20 0 15 0 107108100 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708994275728 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24917] ppid=24859 vsize=11016544 memory=5702904 CPUtime=22.04 cores=0,2,4,6
/proc/24862/task/24917/stat : 24917 (java) S 24859 24862 13514 0 -1 1077944384 39186 13008 0 0 2061 135 5 3 20 0 15 0 107108100 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708848994576 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24918] ppid=24859 vsize=11016544 memory=6152984 CPUtime=21.88 cores=0,2,4,6
/proc/24862/task/24918/stat : 24918 (java) S 24859 24862 13514 0 -1 1077944384 36465 13008 0 0 2046 134 5 3 20 0 15 0 107108100 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708847942288 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24919] ppid=24859 vsize=11016544 memory=214121299624636 CPUtime=21.95 cores=0,2,4,6
/proc/24862/task/24919/stat : 24919 (java) S 24859 24862 13514 0 -1 1077944384 43491 13008 0 0 2054 133 5 3 20 0 15 0 107108100 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708846889488 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24920] ppid=24859 vsize=11016544 memory=8 CPUtime=1.28 cores=0,2,4,6
/proc/24862/task/24920/stat : 24920 (java) S 24859 24862 13514 0 -1 1077944384 29914 13008 0 0 117 3 5 3 20 0 15 0 107108102 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708415474288 140708990044802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24921] ppid=24859 vsize=11016544 memory=6025984 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24921/stat : 24921 (java) S 24859 24862 13514 0 -1 1077944384 26 13008 0 0 0 0 5 3 20 0 15 0 107108102 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140707772753312 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24922] ppid=24859 vsize=11016544 memory=5826816 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24922/stat : 24922 (java) S 24859 24862 13514 0 -1 1077944384 19 13008 0 0 0 0 5 3 20 0 15 0 107108103 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140707624904320 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24923] ppid=24859 vsize=11016544 memory=7528 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24923/stat : 24923 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108105 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140707317504592 140708990052251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24924] ppid=24859 vsize=11016544 memory=804 CPUtime=11.23 cores=0,2,4,6
/proc/24862/task/24924/stat : 24924 (java) S 24859 24862 13514 0 -1 1077944384 22428 13008 0 0 1111 4 5 3 20 0 15 0 107108105 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708414421104 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24925] ppid=24859 vsize=11016544 memory=6153040 CPUtime=11.8 cores=0,2,4,6
/proc/24862/task/24925/stat : 24925 (java) S 24859 24862 13514 0 -1 1077944384 21728 13008 0 0 1167 5 5 3 20 0 15 0 107108105 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708413368304 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24926] ppid=24859 vsize=11016544 memory=30444 CPUtime=3.52 cores=0,2,4,6
/proc/24862/task/24926/stat : 24926 (java) S 24859 24862 13514 0 -1 1077944384 21075 13008 0 0 338 6 5 3 20 0 15 0 107108105 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708412316016 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24927] ppid=24859 vsize=11016544 memory=6153048 CPUtime=0.08 cores=0,2,4,6
/proc/24862/task/24927/stat : 24927 (java) S 24859 24862 13514 0 -1 1077944384 3 13008 0 0 0 0 5 3 20 0 15 0 107108106 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140706886707680 140708990043861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
[pid=24862/tid=24928] ppid=24859 vsize=11016544 memory=6153040 CPUtime=0.16 cores=0,2,4,6
/proc/24862/task/24928/stat : 24928 (java) S 24859 24862 13514 0 -1 1077944384 833 13008 0 0 4 4 5 3 20 0 15 0 107108106 11280941056 1538246 33554432000 4194304 4196468 140727822786912 140708411263920 140708990044802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29978624 140727822793320 140727822796129 140727822796129 140727822798799 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 6152984 KiB

Child status: 143
Real time (s): 160.179
CPU time (s): 252.079
CPU user time (s): 246.127
CPU system time (s): 5.9522
CPU usage (%): 157.373
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 6153048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.127
system time used= 5.9522
maximum resident set size= 6157204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377120
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17049
involuntary context switches= 1198


# summary of solver processes directly reported to runsolver:
#   pid: 24862
#   total CPU time (s): 252.079
#   total CPU user time (s): 246.127
#   total CPU system time (s): 5.9522

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09759 second user time and 1.43747 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-29 22:17:29
IDJOB=4302896
IDBENCH=141188
IDSOLVER=2777
FILE ID=node136/4302896-1532895449
RUNJOBID= node136-1532893975-22776
PBS_JOBID= 21022516
Free space on /tmp= 60204 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302896-1532895449/watcher-4302896-1532895449 -o /tmp/evaluation-result-4302896-1532895449/solver-4302896-1532895449 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22776 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1110647431 -superng HOME/instance-4302896-1532895449.xml

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

MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e
RANDOM SEED=1110647431

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26753124 kB
MemAvailable:   30162212 kB
Buffers:          217600 kB
Cached:          3461888 kB
SwapCached:            0 kB
Active:          3583780 kB
Inactive:        1957128 kB
Active(anon):    1812832 kB
Inactive(anon):    76480 kB
Active(file):    1770948 kB
Inactive(file):  1880648 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26588 kB
Writeback:             8 kB
AnonPages:       1868972 kB
Mapped:            48100 kB
Shmem:             25228 kB
Slab:             174608 kB
SReclaimable:     146652 kB
SUnreclaim:        27956 kB
KernelStack:        3600 kB
PageTables:         8812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2980088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1640448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 60176 MiB
End job on node136 at 2018-07-29 22:20:09