Trace number 4293576

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8 2018-06-13SAT (TO)106266 2520.12 2426.46

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-12-opt_c18.xml
MD5SUM6121a94880b1ccb1614ec86f716938fa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21762
Best CPU time to get the best result obtained on this benchmark2400.18
Satisfiable
(Un)Satisfiability was proved
Number of variables4691
Number of constraints4352
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":4011},{"size":6,"count":48},{"size":22,"count":40},{"size":24,"count":24},{"size":36,"count":134},{"size":42,"count":50},{"size":44,"count":384}]
Minimum variable degree2
Maximum variable degree20
Distribution of variable degrees[{"degree":2,"count":4011},{"degree":5,"count":1},{"degree":6,"count":2},{"degree":7,"count":6},{"degree":8,"count":15},{"degree":9,"count":39},{"degree":10,"count":66},{"degree":11,"count":85},{"degree":12,"count":119},{"degree":13,"count":112},{"degree":14,"count":103},{"degree":15,"count":59},{"degree":16,"count":45},{"degree":17,"count":21},{"degree":18,"count":4},{"degree":19,"count":1},{"degree":20,"count":2}]
Minimum constraint arity2
Maximum constraint arity176
Distribution of constraint arities[{"arity":2,"count":674},{"arity":3,"count":3677},{"arity":176,"count":1}]
Number of extensional constraints0
Number of intensional constraints4351
Distribution of constraint types[{"type":"intension","count":4351},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.99/0.74	c Concrete v3.8.1528841891564 running
96.28/47.46	o 107907
98.54/49.39	o 106466
99.10/49.52	o 106367
99.10/49.54	o 106267
99.10/49.57	o 106266
2520.00/2426.42	Exception in thread "main" java.util.concurrent.TimeoutException
2520.00/2426.42		at concrete.MAC.mac(MAC.scala:188)
2520.00/2426.42		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.00/2426.42		at scala.util.Try$.apply(Try.scala:209)
2520.00/2426.42		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2426.42		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2426.42		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2426.42		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2426.42		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.00/2426.42		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2426.42		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2426.42		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2426.42		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2426.42		at concrete.MAC.oneRun(MAC.scala:253)
2520.00/2426.42		at concrete.MAC.nextSolution(MAC.scala:272)
2520.00/2426.42		at concrete.MAC.nextSolution(MAC.scala:355)
2520.00/2426.42		at concrete.Solver.hasNext(Solver.scala:166)
2520.00/2426.42		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.00/2426.42		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.00/2426.42		at concrete.Solver.foreach(Solver.scala:68)
2520.00/2426.42		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.00/2426.42		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2426.42		at scala.util.Success.map(Try.scala:209)
2520.00/2426.42		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2426.42		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.00/2426.42		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.00/2426.42		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2426.42		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.00/2426.42		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2426.42		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2426.42		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2426.42		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2426.42		at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2426.42		at scala.App.main(App.scala:76)
2520.00/2426.42		at scala.App.main$(App.scala:74)
2520.00/2426.42		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.00/2426.42		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2426.43	v <instantiation cost="106266">
2520.00/2426.43	v       <list>
2520.00/2426.43	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] 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] 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] zb3[82] zb3[83] zb3[84] zb3[85] zb3[86] zb3[87] zb3[88] zb3[89] zb3[90] zb3[91] zb3[92] zb3[93] zb3[94] zb3[95] zb3[96] zb3[97] zb3[98] zb3[99] zb3[100] zb3[101] zb3[102] zb3[103] zb3[104] zb3[105] zb3[106] zb3[107] zb3[108] zb3[109] zb3[110] zb3[111] zb3[112] zb3[113] zb3[114] zb3[115] zb3[116] zb3[117] zb3[118] zb3[119] zb3[120] zb3[121] zb3[122] zb3[123] zb3[124] zb3[125] zb3[126] zb3[127] zb3[128] zb3[129] zb3[130] zb3[131] zb3[132] zb3[133] zb3[134] zb3[135] zb3[136] zb3[137] zb3[138] zb3[139] zb3[140] zb3[141] zb3[142] zb3[143] zb3[144] zb3[145] zb3[146] zb3[147] zb3[148] zb3[149] zb3[150] zb3[151] zb3[152] zb3[153] zb3[154] zb3[155] zb3[156] zb3[157] zb3[158] zb3[159] zb3[160] zb3[161] 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] za1[798] za1[799] za1[800] za1[801] za1[802] za1[803] za1[804] za1[805] za1[806] za1[807] 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] 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] za3[882] za3[883] za3[884] za3[885] za3[886] za3[887] za3[888] za3[889] za3[890] za3[891] za3[892] za3[893] za3[894] za3[895] za3[896] za3[897] za3[898] za3[899] za3[900] za3[901] za3[902] za3[903] za3[904] za3[905] za3[906] za3[907] za3[908] 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]
2520.00/2426.43	v       </list>
2520.00/2426.43	v       <values>
2520.00/2426.43	v         16 254 680 442 680 442 72 310 268 30 58 296 792 554 170 408 792 554 128 366 142 380 414 652 16 254 708 470 142 380 58 296 16 254 750 512 156 394 16 254 778 540 156 394 708 470 338 100 16 254 694 456 240 478 694 456 16 254 792 554 268 30 310 72 722 484 16 254 778 540 86 324 554 792 680 442 44 282 722 484 736 498 680 442 142 380 652 414 240 478 128 366 708 470 72 310 792 554 792 554 170 408 792 554 16 254 16 254 792 554 114 352 792 554 540 778 254 16 156 394 736 498 30 268 652 414 72 310 512 750 16 254 254 16 240 478 680 442 16 254 254 16 792 554 652 414 708 470 680 442 680 442 722 484 16 254 58 296 666 428 128 366 750 512 16 254 792 554 282 44 156 394 484 722 540 778 254 16 792 554 254 16 30 268 652 414 736 498 128 366 708 470 722 484 296 58 16 254 736 498 254 16 16 254 72 310 254 16 58 296 282 44 170 408 484 722 680 442 736 498 554 792 16 254 100 338 652 414 16 254 16 254 750 512 72 310 778 540 16 254 526 764 16 254 30 268 666 428 16 254 778 540 86 324 778 540 778 540 792 554 380 142 114 352 30 268 128 366 128 366 142 380 442 680 554 792 792 554 722 484 380 142 100 338 736 498 792 554 100 338 792 554 156 394 128 366 142 380 16 254 100 338 694 456 792 554 764 526 142 380 792 554 652 414 540 778 156 394 16 254 792 554 792 554 240 478 792 554 30 268 792 554 240 478 792 554 170 408 708 470 72 310 792 554 16 254 792 554 16 254 58 296 114 352 58 296 142 380 254 16 792 554 16 254 72 310 142 380 30 268 750 512 694 456 722 484 394 156 16 254 792 554 750 512 666 428 554 792 778 540 16 254 680 442 764 526 240 478 86 324 44 282 16 254 44 282 736 498 792 554 778 540 282 44 792 554 100 338 58 296 44 282 680 442 736 498 764 526 792 554 680 442 72 310 792 554 792 554 16 254 240 478 114 352 254 16 680 442 240 478 750 512 694 456 30 268 764 526 156 394 380 142 282 44 736 498 792 554 240 478 16 254 708 470 156 394 240 478 128 366 16 254 156 394 694 456 114 352 722 484 268 30 666 428 792 554 792 554 764 526 792 554 778 540 694 456 16 254 16 254 764 526 16 254 16 254 16 254 764 526 156 394 750 512 666 428 16 254 750 512 792 554 30 268 170 408 736 498 16 254 792 554 484 722 778 540 666 428 282 44 254 16 736 498 380 142 16 254 16 254 666 428 282 44 30 268 44 282 666 428 170 408 792 554 254 16 16 254 792 554 708 470 240 478 142 380 128 366 792 554 554 792 58 296 764 526 792 554 30 268 792 554 16 254 156 394 778 540 792 554 666 428 666 428 16 254 170 408 778 540 792 554 170 408 750 512 114 352 100 338 652 414 722 484 708 470 170 408 30 268 750 512 540 778 778 540 792 554 58 296 128 366 86 324 128 366 512 750 142 380 778 540 680 442 114 352 16 254 142 380 16 254 16 254 240 478 792 554 156 394 0 0 0 0 0 0 0 0 1000 1000 1000 1000 1000 1000 0 0 0 0 0 0 1000 1000 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 1000 1000 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 100 100 0 0 100 100 0 0 0 0 0 0 100 100 100 100 0 0 0 0 0 0 100 100 0 0 0 0 100 100 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 100 100 0 0 0 0 100 100 100 100 0 0 0 0 0 0 0 0 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 0 10 10 10 10 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 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 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 1000 0 0 1000 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 1000 0 1000 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 1000 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 1000 0 1000 0 0 0 0 1000 1000 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 1000 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 1000 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 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 0 1000 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 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 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 1000 0 0 0 0 0 0 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 1000 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 1000 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 1000 1000 1000 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 1000 0 1000 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 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 100 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 0 0 0 100 100 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 100 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 100 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 100 0 100 100 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 100 100 0 0 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 0 0 0 0 0 0 100 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 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 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 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 100 0 0 0 0 0 100 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 100 0 100 0 0 0 0 0 0 100 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 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 100 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 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 100 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 100 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 100 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 100 100 0 0 100 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 100 0 0 0 0 0 0 0 0 0 0 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 100 100 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 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 100 100 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 100 0 100 0 100 0 0 0 0 0 0 0 0 0 0 100 100 100 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 100 100 0 0 0 0 0 0 0 0 0 0 0 0 100 100 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 0 0 0 0 100 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 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 100 0 100 100 0 0 0 0 0 0 0 100 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 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 10 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 10 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 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 10 0 10 10 0 10 10 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 10 10 0 10 0 10 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 10 0 10 0 10 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 10 0 10 0 10 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 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 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 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 10 0 0 0 0 0 0 0 10 0 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 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 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 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 10 10 0 10 0 10 0 0 0 0 0 10 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 10 10 0 0 0 0 0 10 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 10 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 10 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 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 0 0 10 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 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 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 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 10 0 10 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 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 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 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 1 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 1 0 0 0 0 1 1 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0
2520.00/2426.43	v       </values>
2520.00/2426.43	v     </instantiation>
2520.00/2426.43	s SATISFIABLE

Verifier Data 

OK	106266

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293576-1532322232/watcher-4293576-1532322232 -o /tmp/evaluation-result-4293576-1532322232/solver-4293576-1532322232 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=543874753 HOME/instance-4293576-1532322232.xml 

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

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

solver pid=10551, runsolver pid=10548

[startup+0.100151 s]*
/proc/loadavg: 1.50 1.48 1.50 3/206 10608
/proc/meminfo: memFree=20125092/32770624 swapFree=67108860/67108860
[pid=10551] ppid=10548 vsize=9972712 memory=18596 CPUtime=0.08 cores=1,3,5,7
/proc/10551/stat : 10551 (java) S 10548 10551 5182 0 -1 1077944320 4317 12827 0 0 1 0 5 2 20 0 6 0 49786425 10212057088 4649 33554432000 4194304 4196468 140723791225024 140723791207568 140068223213303 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
/proc/10551/statm: 2493178 4649 1932 1 0 2481616 0
[pid=10551/tid=10604] ppid=10548 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/10551/task/10604/stat : 10604 (java) R 10548 10551 5182 0 -1 4202560 2128 12827 0 0 1 0 5 2 20 0 6 0 49786434 10212057088 4714 33554432000 4194304 4196468 140723791225024 140068195050064 140068223235229 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10605] ppid=10548 vsize=9972712 memory=5793855472113781177 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10605/stat : 10605 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 6 0 49786435 10212057088 4714 33554432000 4194304 4196468 140723791225024 140068227455248 140068223223509 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10606] ppid=10548 vsize=9972712 memory=140221103888000 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10606/stat : 10606 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 6 0 49786435 10212057088 4714 33554432000 4194304 4196468 140723791225024 140068146207120 140068223223509 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10607] ppid=10548 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10607/stat : 10607 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 6 0 49786435 10212057088 4714 33554432000 4194304 4196468 140723791225024 140067795294736 140068223223509 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10608] ppid=10548 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10608/stat : 10608 (java) S 10548 10551 5182 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 6 0 49786435 10212057088 4714 33554432000 4194304 4196468 140723791225024 140067794242192 140068223223509 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB

[startup+0.210155 s]*
/proc/loadavg: 1.50 1.48 1.50 3/215 10617
/proc/meminfo: memFree=20103312/32770624 swapFree=67108860/67108860
[pid=10551] ppid=10548 vsize=10818904 memory=42832 CPUtime=0.25 cores=1,3,5,7
/proc/10551/stat : 10551 (java) S 10548 10551 5182 0 -1 1077944320 7909 12827 0 0 17 1 5 2 20 0 15 0 49786425 11078557696 10708 33554432000 4194304 4196468 140723791225024 140723791207568 140068223213303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
/proc/10551/statm: 2704726 10708 2980 1 0 2667149 0
[pid=10551/tid=10604] ppid=10548 vsize=10819896 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/10551/task/10604/stat : 10604 (java) R 10548 10551 5182 0 -1 4202560 4591 12827 0 0 11 1 5 2 20 0 15 0 49786434 11079573504 10906 33554432000 4194304 4196468 140723791225024 140068195038112 140068215893021 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10605] ppid=10548 vsize=10819896 memory=4211973947308678538 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10605/stat : 10605 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786435 11079573504 10906 33554432000 4194304 4196468 140723791225024 140068227455248 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10606] ppid=10548 vsize=10819896 memory=140221103888000 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10606/stat : 10606 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786435 11079573504 10906 33554432000 4194304 4196468 140723791225024 140068146207120 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10607] ppid=10548 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10607/stat : 10607 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786435 11079573504 10906 33554432000 4194304 4196468 140723791225024 140067795294736 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10608] ppid=10548 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10608/stat : 10608 (java) S 10548 10551 5182 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 49786435 11079573504 10906 33554432000 4194304 4196468 140723791225024 140067794242192 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10609] ppid=10548 vsize=10819896 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10609/stat : 10609 (java) S 10548 10551 5182 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 49786436 11079573504 10972 33554432000 4194304 4196468 140723791225024 140067749800432 140068223224450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10610] ppid=10548 vsize=10819896 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10610/stat : 10610 (java) S 10548 10551 5182 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 49786437 11079573504 10972 33554432000 4194304 4196468 140723791225024 140067674776992 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10611] ppid=10548 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10611/stat : 10611 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786437 11081240576 10972 33554432000 4194304 4196468 140723791225024 140067070797296 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10612] ppid=10548 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10612/stat : 10612 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786439 11081240576 10972 33554432000 4194304 4196468 140723791225024 140066763397840 140068223231899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10613] ppid=10548 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10551/task/10613/stat : 10613 (java) S 10548 10551 5182 0 -1 1077944384 537 12827 0 0 1 0 5 2 20 0 15 0 49786439 11081240576 11038 33554432000 4194304 4196468 140723791225024 140067748747248 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10614] ppid=10548 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10551/task/10614/stat : 10614 (java) S 10548 10551 5182 0 -1 1077944384 71 12827 0 0 1 0 5 2 20 0 15 0 49786439 11081240576 11038 33554432000 4194304 4196468 140723791225024 140067747694704 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10615] ppid=10548 vsize=10821524 memory=140221103888000 CPUtime=0.1 cores=1,3,5,7
/proc/10551/task/10615/stat : 10615 (java) S 10548 10551 5182 0 -1 1077944384 638 12827 0 0 3 0 5 2 20 0 15 0 49786439 11081240576 11038 33554432000 4194304 4196468 140723791225024 140067746642160 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10616] ppid=10548 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10616/stat : 10616 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786440 11081240576 11038 33554432000 4194304 4196468 140723791225024 140066729839200 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10617] ppid=10548 vsize=10821524 memory=140221103888000 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10617/stat : 10617 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786440 11081240576 11038 33554432000 4194304 4196468 140723791225024 140067745590064 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 42832 KiB

[startup+0.310495 s]*
/proc/loadavg: 1.54 1.49 1.51 3/215 10617
/proc/meminfo: memFree=20091528/32770624 swapFree=67108860/67108860
[pid=10551] ppid=10548 vsize=10819352 memory=53504 CPUtime=0.38 cores=1,3,5,7
/proc/10551/stat : 10551 (java) S 10548 10551 5182 0 -1 1077944320 10417 12827 0 0 29 2 5 2 20 0 15 0 49786425 11079016448 13376 33554432000 4194304 4196468 140723791225024 140723791207568 140068223213303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
/proc/10551/statm: 2704838 13376 3099 1 0 2667149 0
[pid=10551/tid=10604] ppid=10548 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/10551/task/10604/stat : 10604 (java) R 10548 10551 5182 0 -1 4202560 6945 12827 0 0 20 1 5 2 20 0 15 0 49786434 11079016448 13376 33554432000 4194304 4196468 140723791225024 140068195025312 140068207293790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10605] ppid=10548 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10605/stat : 10605 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786435 11079016448 13376 33554432000 4194304 4196468 140723791225024 140068227455248 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10606] ppid=10548 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10606/stat : 10606 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786435 11079016448 13376 33554432000 4194304 4196468 140723791225024 140068146207120 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10607] ppid=10548 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10607/stat : 10607 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786435 11079016448 13376 33554432000 4194304 4196468 140723791225024 140067795294736 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10608] ppid=10548 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10608/stat : 10608 (java) S 10548 10551 5182 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 49786435 11079016448 13376 33554432000 4194304 4196468 140723791225024 140067794242192 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10609] ppid=10548 vsize=10819352 memory=140221103887999 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10609/stat : 10609 (java) S 10548 10551 5182 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 49786436 11079016448 13376 33554432000 4194304 4196468 140723791225024 140067749800432 140068223224450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10610] ppid=10548 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10610/stat : 10610 (java) S 10548 10551 5182 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 49786437 11079016448 13376 33554432000 4194304 4196468 140723791225024 140067674776992 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10611] ppid=10548 vsize=10819352 memory=140221103888000 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10611/stat : 10611 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786437 11079016448 13376 33554432000 4194304 4196468 140723791225024 140067070797296 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10612] ppid=10548 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10612/stat : 10612 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786439 11079016448 13376 33554432000 4194304 4196468 140723791225024 140066763397840 140068223231899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10613] ppid=10548 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10551/task/10613/stat : 10613 (java) S 10548 10551 5182 0 -1 1077944384 537 12827 0 0 1 0 5 2 20 0 15 0 49786439 11079016448 13376 33554432000 4194304 4196468 140723791225024 140067748747248 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10614] ppid=10548 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10551/task/10614/stat : 10614 (java) S 10548 10551 5182 0 -1 1077944384 72 12827 0 0 1 0 5 2 20 0 15 0 49786439 11079016448 13376 33554432000 4194304 4196468 140723791225024 140067747694704 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10615] ppid=10548 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10551/task/10615/stat : 10615 (java) R 10548 10551 5182 0 -1 4202560 654 12827 0 0 5 0 5 2 20 0 15 0 49786439 11079016448 13376 33554432000 4194304 4196468 140723791225024 140067746642160 140068201762227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10616] ppid=10548 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10616/stat : 10616 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786440 11079016448 13376 33554432000 4194304 4196468 140723791225024 140066729839200 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10617] ppid=10548 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10617/stat : 10617 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786440 11079016448 13376 33554432000 4194304 4196468 140723791225024 140067745590064 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53504 KiB

[startup+0.700795 s]
/proc/loadavg: 1.54 1.49 1.51 3/215 10617
/proc/meminfo: memFree=20079592/32770624 swapFree=67108860/67108860
[pid=10551] ppid=10548 vsize=10819352 memory=86596 CPUtime=0.99 cores=1,3,5,7
/proc/10551/stat : 10551 (java) S 10548 10551 5182 0 -1 1077944320 16769 12827 0 0 88 4 5 2 20 0 15 0 49786425 11079016448 21649 33554432000 4194304 4196468 140723791225024 140723791207568 140068223213303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
/proc/10551/statm: 2704838 21649 3237 1 0 2667149 0
[pid=10551/tid=10604] ppid=10548 vsize=10819352 memory=16252 CPUtime=0.66 cores=1,3,5,7
/proc/10551/task/10604/stat : 10604 (java) R 10548 10551 5182 0 -1 4202560 12121 12827 0 0 56 3 5 2 20 0 15 0 49786434 11079016448 21649 33554432000 4194304 4196468 140723791225024 140068195034128 140068203489010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10605] ppid=10548 vsize=10819352 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10605/stat : 10605 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786435 11079016448 21649 33554432000 4194304 4196468 140723791225024 140068227455248 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10606] ppid=10548 vsize=10819352 memory=140220951732723 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10606/stat : 10606 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786435 11079016448 21649 33554432000 4194304 4196468 140723791225024 140068146207120 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10607] ppid=10548 vsize=10819352 memory=140222092280701 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10607/stat : 10607 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786435 11079016448 21649 33554432000 4194304 4196468 140723791225024 140067795294736 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10608] ppid=10548 vsize=10819352 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10608/stat : 10608 (java) S 10548 10551 5182 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 49786435 11079016448 21649 33554432000 4194304 4196468 140723791225024 140067794242192 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10609] ppid=10548 vsize=10819352 memory=7305218370954356569 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10609/stat : 10609 (java) S 10548 10551 5182 0 -1 1077944384 5 12827 0 0 0 0 5 2 20 0 15 0 49786436 11079016448 21649 33554432000 4194304 4196468 140723791225024 140067749800432 140068223224450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10610] ppid=10548 vsize=10819352 memory=7739276948478388840 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10610/stat : 10610 (java) S 10548 10551 5182 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 49786437 11079016448 21649 33554432000 4194304 4196468 140723791225024 140067674776992 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10611] ppid=10548 vsize=10819352 memory=5787220445994897765 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10611/stat : 10611 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786437 11079016448 21649 33554432000 4194304 4196468 140723791225024 140067070797296 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10612] ppid=10548 vsize=10819352 memory=8514726395715218844 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10612/stat : 10612 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786439 11079016448 21649 33554432000 4194304 4196468 140723791225024 140066763397840 140068223231899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10613] ppid=10548 vsize=10819352 memory=8326441112149131695 CPUtime=0.17 cores=1,3,5,7
/proc/10551/task/10613/stat : 10613 (java) S 10548 10551 5182 0 -1 1077944384 1221 12827 0 0 10 0 5 2 20 0 15 0 49786439 11079016448 21649 33554432000 4194304 4196468 140723791225024 140067748747248 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10614] ppid=10548 vsize=10819352 memory=-7025452035940392864 CPUtime=0.14 cores=1,3,5,7
/proc/10551/task/10614/stat : 10614 (java) S 10548 10551 5182 0 -1 1077944384 449 12827 0 0 7 0 5 2 20 0 15 0 49786439 11079016448 21649 33554432000 4194304 4196468 140723791225024 140067747694704 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10615] ppid=10548 vsize=10819352 memory=6944656592452807326 CPUtime=0.2 cores=1,3,5,7
/proc/10551/task/10615/stat : 10615 (java) S 10548 10551 5182 0 -1 1077944384 755 12827 0 0 13 0 5 2 20 0 15 0 49786439 11079016448 21649 33554432000 4194304 4196468 140723791225024 140067746642160 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10616] ppid=10548 vsize=10819352 memory=-9178176116494409632 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10616/stat : 10616 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786440 11079016448 21649 33554432000 4194304 4196468 140723791225024 140066729839200 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10617] ppid=10548 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10617/stat : 10617 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786440 11079016448 21649 33554432000 4194304 4196468 140723791225024 140067745590064 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86596 KiB

[startup+1.50078 s]
/proc/loadavg: 1.54 1.49 1.51 3/215 10617
/proc/meminfo: memFree=20034128/32770624 swapFree=67108860/67108860
[pid=10551] ppid=10548 vsize=10832204 memory=180344 CPUtime=2.91 cores=1,3,5,7
/proc/10551/stat : 10551 (java) S 10548 10551 5182 0 -1 1077944320 24245 12827 0 0 277 7 5 2 20 0 15 0 49786425 11092176896 45086 33554432000 4194304 4196468 140723791225024 140723791207568 140068223213303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
/proc/10551/statm: 2708051 45086 3450 1 0 2669709 0
[pid=10551/tid=10604] ppid=10548 vsize=10832204 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/10551/task/10604/stat : 10604 (java) R 10548 10551 5182 0 -1 4202560 16750 12827 0 0 133 5 5 2 20 0 15 0 49786434 11092176896 45086 33554432000 4194304 4196468 140723791225024 140068195002016 140068207293790 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10605] ppid=10548 vsize=10832204 memory=100692 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10605/stat : 10605 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786435 11092176896 45086 33554432000 4194304 4196468 140723791225024 140068227455248 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10606] ppid=10548 vsize=10832204 memory=5790086053191909267 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10606/stat : 10606 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786435 11092176896 45086 33554432000 4194304 4196468 140723791225024 140068146207120 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10607] ppid=10548 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10607/stat : 10607 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786435 11092176896 45086 33554432000 4194304 4196468 140723791225024 140067795294736 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10608] ppid=10548 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10608/stat : 10608 (java) S 10548 10551 5182 0 -1 1077944384 2 12827 0 0 0 0 5 2 20 0 15 0 49786435 11092176896 45086 33554432000 4194304 4196468 140723791225024 140067794242192 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10609] ppid=10548 vsize=10832204 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10609/stat : 10609 (java) S 10548 10551 5182 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 49786436 11092176896 45086 33554432000 4194304 4196468 140723791225024 140067749800432 140068223224450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10610] ppid=10548 vsize=10832204 memory=-6221781267475802396 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10610/stat : 10610 (java) S 10548 10551 5182 0 -1 1077944384 13 12827 0 0 0 0 5 2 20 0 15 0 49786437 11092176896 45086 33554432000 4194304 4196468 140723791225024 140067674776992 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10611] ppid=10548 vsize=10832204 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10611/stat : 10611 (java) S 10548 10551 5182 0 -1 1077944384 1 12827 0 0 0 0 5 2 20 0 15 0 49786437 11092176896 45086 33554432000 4194304 4196468 140723791225024 140067070797296 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10612] ppid=10548 vsize=10832204 memory=2200 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10612/stat : 10612 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786439 11092176896 45086 33554432000 4194304 4196468 140723791225024 140066763397840 140068223231899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10613] ppid=10548 vsize=10832204 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/10551/task/10613/stat : 10613 (java) R 10548 10551 5182 0 -1 4202560 2470 12827 0 0 55 0 5 2 20 0 15 0 49786439 11092176896 45086 33554432000 4194304 4196468 140723791225024 140067748747248 140068204731185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10614] ppid=10548 vsize=10832204 memory=185786259529616 CPUtime=0.52 cores=1,3,5,7
/proc/10551/task/10614/stat : 10614 (java) S 10548 10551 5182 0 -1 1077944384 1205 12827 0 0 45 0 5 2 20 0 15 0 49786439 11092176896 45086 33554432000 4194304 4196468 140723791225024 140067747694704 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10615] ppid=10548 vsize=10832204 memory=267442 CPUtime=0.5 cores=1,3,5,7
/proc/10551/task/10615/stat : 10615 (java) S 10548 10551 5182 0 -1 1077944384 1589 12827 0 0 43 0 5 2 20 0 15 0 49786439 11092176896 45086 33554432000 4194304 4196468 140723791225024 140067746642160 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10616] ppid=10548 vsize=10832204 memory=4638778398332768848 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10616/stat : 10616 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786440 11092176896 45086 33554432000 4194304 4196468 140723791225024 140066729839200 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10617] ppid=10548 vsize=10832204 memory=6935649255759568960 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10617/stat : 10617 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786440 11092176896 45086 33554432000 4194304 4196468 140723791225024 140067745590064 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10832204 KiB

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

/proc/10551/task/10604/stat : 10604 (java) R 10548 10551 5182 0 -1 4202560 196475 12827 0 0 223889 51 5 2 20 0 15 0 49786434 11113168896 810346 33554432000 4194304 4196468 140723791225024 140068195045752 140067839939902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10605] ppid=10548 vsize=10852704 memory=3241384 CPUtime=20.76 cores=1,3,5,7
/proc/10551/task/10605/stat : 10605 (java) S 10548 10551 5182 0 -1 1077944384 45868 12827 0 0 1974 95 5 2 20 0 15 0 49786435 11113168896 810346 33554432000 4194304 4196468 140723791225024 140068227455248 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10606] ppid=10548 vsize=10852704 memory=3226136 CPUtime=20.79 cores=1,3,5,7
/proc/10551/task/10606/stat : 10606 (java) S 10548 10551 5182 0 -1 1077944384 51522 12827 0 0 1978 94 5 2 20 0 15 0 49786435 11113168896 810346 33554432000 4194304 4196468 140723791225024 140068146207120 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10607] ppid=10548 vsize=10852704 memory=3240652 CPUtime=20.86 cores=1,3,5,7
/proc/10551/task/10607/stat : 10607 (java) S 10548 10551 5182 0 -1 1077944384 56311 12827 0 0 1983 96 5 2 20 0 15 0 49786435 11113168896 810346 33554432000 4194304 4196468 140723791225024 140067795294736 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10608] ppid=10548 vsize=10852704 memory=3240652 CPUtime=20.82 cores=1,3,5,7
/proc/10551/task/10608/stat : 10608 (java) S 10548 10551 5182 0 -1 1077944384 52436 12827 0 0 1982 93 5 2 20 0 15 0 49786435 11113168896 810346 33554432000 4194304 4196468 140723791225024 140067794242192 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10609] ppid=10548 vsize=10852704 memory=3241384 CPUtime=1.73 cores=1,3,5,7
/proc/10551/task/10609/stat : 10609 (java) S 10548 10551 5182 0 -1 1077944384 23847 12827 0 0 153 13 5 2 20 0 15 0 49786436 11113168896 810346 33554432000 4194304 4196468 140723791225024 140067749800432 140068223224450 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10610] ppid=10548 vsize=10852704 memory=3224080 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10610/stat : 10610 (java) S 10548 10551 5182 0 -1 1077944384 24 12827 0 0 0 0 5 2 20 0 15 0 49786437 11113168896 810346 33554432000 4194304 4196468 140723791225024 140067674777120 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10611] ppid=10548 vsize=10852704 memory=3226136 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10611/stat : 10611 (java) S 10548 10551 5182 0 -1 1077944384 29 12827 0 0 0 0 5 2 20 0 15 0 49786437 11113168896 810346 33554432000 4194304 4196468 140723791225024 140067070797312 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10612] ppid=10548 vsize=10852704 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10612/stat : 10612 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786439 11113168896 810346 33554432000 4194304 4196468 140723791225024 140066763397840 140068223231899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10613] ppid=10548 vsize=10852704 memory=16300 CPUtime=11.98 cores=1,3,5,7
/proc/10551/task/10613/stat : 10613 (java) S 10548 10551 5182 0 -1 1077944384 95586 12827 0 0 1183 8 5 2 20 0 15 0 49786439 11113168896 810346 33554432000 4194304 4196468 140723791225024 140067748747248 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10614] ppid=10548 vsize=10852704 memory=0 CPUtime=11.52 cores=1,3,5,7
/proc/10551/task/10614/stat : 10614 (java) S 10548 10551 5182 0 -1 1077944384 103857 12827 0 0 1135 10 5 2 20 0 15 0 49786439 11113168896 810346 33554432000 4194304 4196468 140723791225024 140067747694704 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10615] ppid=10548 vsize=10852704 memory=0 CPUtime=3.77 cores=1,3,5,7
/proc/10551/task/10615/stat : 10615 (java) S 10548 10551 5182 0 -1 1077944384 88771 12827 0 0 359 11 5 2 20 0 15 0 49786439 11113168896 810346 33554432000 4194304 4196468 140723791225024 140067746642160 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10616] ppid=10548 vsize=10852704 memory=3241384 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10616/stat : 10616 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786440 11113168896 810346 33554432000 4194304 4196468 140723791225024 140066729839200 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10617] ppid=10548 vsize=10852704 memory=4140 CPUtime=1.41 cores=1,3,5,7
/proc/10551/task/10617/stat : 10617 (java) S 10548 10551 5182 0 -1 1077944384 2206 12827 0 0 58 76 5 2 20 0 15 0 49786440 11113168896 810346 33554432000 4194304 4196468 140723791225024 140067745590064 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
Current children cumulated CPU time: 2352.57 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3241384 KiB

[startup+2322.3 s]
/proc/loadavg: 1.27 1.35 1.43 3/215 10817
/proc/meminfo: memFree=17802064/32770624 swapFree=67108860/67108860
[pid=10551] ppid=10548 vsize=10852704 memory=3257540 CPUtime=2413.88 cores=1,3,5,7
/proc/10551/stat : 10551 (java) S 10548 10551 5182 0 -1 1077944320 732530 12827 0 0 240837 544 5 2 20 0 15 0 49786425 11113168896 814385 33554432000 4194304 4196468 140723791225024 140723791207568 140068223213303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
/proc/10551/statm: 2713176 814385 3537 1 0 2674829 0
[pid=10551/tid=10604] ppid=10548 vsize=10852704 memory=3310380 CPUtime=2299.03 cores=1,3,5,7
/proc/10551/task/10604/stat : 10604 (java) R 10548 10551 5182 0 -1 4202560 198977 12827 0 0 229844 52 5 2 20 0 15 0 49786434 11113168896 814385 33554432000 4194304 4196468 140723791225024 140068195048320 140067826893396 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10605] ppid=10548 vsize=10852704 memory=3310380 CPUtime=21.15 cores=1,3,5,7
/proc/10551/task/10605/stat : 10605 (java) S 10548 10551 5182 0 -1 1077944384 48039 12827 0 0 2011 97 5 2 20 0 15 0 49786435 11113168896 814385 33554432000 4194304 4196468 140723791225024 140068227455248 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10606] ppid=10548 vsize=10852704 memory=3266776 CPUtime=21.2 cores=1,3,5,7
/proc/10551/task/10606/stat : 10606 (java) S 10548 10551 5182 0 -1 1077944384 52766 12827 0 0 2017 96 5 2 20 0 15 0 49786435 11113168896 814385 33554432000 4194304 4196468 140723791225024 140068146207120 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10607] ppid=10548 vsize=10852704 memory=3266776 CPUtime=21.27 cores=1,3,5,7
/proc/10551/task/10607/stat : 10607 (java) S 10548 10551 5182 0 -1 1077944384 58370 12827 0 0 2021 99 5 2 20 0 15 0 49786435 11113168896 814385 33554432000 4194304 4196468 140723791225024 140067795294736 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10608] ppid=10548 vsize=10852704 memory=3266776 CPUtime=21.22 cores=1,3,5,7
/proc/10551/task/10608/stat : 10608 (java) S 10548 10551 5182 0 -1 1077944384 53508 12827 0 0 2020 95 5 2 20 0 15 0 49786435 11113168896 814385 33554432000 4194304 4196468 140723791225024 140067794242192 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10609] ppid=10548 vsize=10852704 memory=0 CPUtime=1.75 cores=1,3,5,7
/proc/10551/task/10609/stat : 10609 (java) S 10548 10551 5182 0 -1 1077944384 24116 12827 0 0 154 14 5 2 20 0 15 0 49786436 11113168896 814385 33554432000 4194304 4196468 140723791225024 140067749800432 140068223224450 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10610] ppid=10548 vsize=10852704 memory=3266776 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10610/stat : 10610 (java) S 10548 10551 5182 0 -1 1077944384 24 12827 0 0 0 0 5 2 20 0 15 0 49786437 11113168896 814385 33554432000 4194304 4196468 140723791225024 140067674777120 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10611] ppid=10548 vsize=10852704 memory=3269852 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10611/stat : 10611 (java) S 10548 10551 5182 0 -1 1077944384 29 12827 0 0 0 0 5 2 20 0 15 0 49786437 11113168896 814385 33554432000 4194304 4196468 140723791225024 140067070797312 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10612] ppid=10548 vsize=10852704 memory=3280112 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10612/stat : 10612 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786439 11113168896 814385 33554432000 4194304 4196468 140723791225024 140066763397840 140068223231899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10613] ppid=10548 vsize=10852704 memory=3269852 CPUtime=12 cores=1,3,5,7
/proc/10551/task/10613/stat : 10613 (java) S 10548 10551 5182 0 -1 1077944384 96122 12827 0 0 1185 8 5 2 20 0 15 0 49786439 11113168896 814385 33554432000 4194304 4196468 140723791225024 140067748747248 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10614] ppid=10548 vsize=10852704 memory=4140 CPUtime=11.55 cores=1,3,5,7
/proc/10551/task/10614/stat : 10614 (java) S 10548 10551 5182 0 -1 1077944384 106242 12827 0 0 1138 10 5 2 20 0 15 0 49786439 11113168896 814385 33554432000 4194304 4196468 140723791225024 140067747694704 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10615] ppid=10548 vsize=10852704 memory=3266776 CPUtime=3.79 cores=1,3,5,7
/proc/10551/task/10615/stat : 10615 (java) S 10548 10551 5182 0 -1 1077944384 89901 12827 0 0 361 11 5 2 20 0 15 0 49786439 11113168896 814385 33554432000 4194304 4196468 140723791225024 140067746642160 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10616] ppid=10548 vsize=10852704 memory=11960 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10616/stat : 10616 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786440 11113168896 814385 33554432000 4194304 4196468 140723791225024 140066729839200 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10617] ppid=10548 vsize=10852704 memory=3266776 CPUtime=1.45 cores=1,3,5,7
/proc/10551/task/10617/stat : 10617 (java) S 10548 10551 5182 0 -1 1077944384 2238 12827 0 0 60 78 5 2 20 0 15 0 49786440 11113168896 814385 33554432000 4194304 4196468 140723791225024 140067745590064 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
Current children cumulated CPU time: 2413.88 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3257540 KiB

[startup+2382.3 s]
/proc/loadavg: 1.26 1.34 1.41 3/215 10818
/proc/meminfo: memFree=17945624/32770624 swapFree=67108860/67108860
[pid=10551] ppid=10548 vsize=10852704 memory=3157504 CPUtime=2475.04 cores=1,3,5,7
/proc/10551/stat : 10551 (java) S 10548 10551 5182 0 -1 1077944320 752358 12827 0 0 246950 547 5 2 20 0 15 0 49786425 11113168896 789376 33554432000 4194304 4196468 140723791225024 140723791207568 140068223213303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
/proc/10551/statm: 2713176 789376 3537 1 0 2674829 0
[pid=10551/tid=10604] ppid=10548 vsize=10852704 memory=3157504 CPUtime=2358.61 cores=1,3,5,7
/proc/10551/task/10604/stat : 10604 (java) R 10548 10551 5182 0 -1 4202560 202278 12827 0 0 235802 52 5 2 20 0 15 0 49786434 11113168896 789376 33554432000 4194304 4196468 140723791225024 140068195048848 140067848191857 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10605] ppid=10548 vsize=10852704 memory=3161608 CPUtime=21.51 cores=1,3,5,7
/proc/10551/task/10605/stat : 10605 (java) S 10548 10551 5182 0 -1 1077944384 50297 12827 0 0 2047 97 5 2 20 0 15 0 49786435 11113168896 789376 33554432000 4194304 4196468 140723791225024 140068227455248 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10606] ppid=10548 vsize=10852704 memory=3173408 CPUtime=21.55 cores=1,3,5,7
/proc/10551/task/10606/stat : 10606 (java) S 10548 10551 5182 0 -1 1077944384 55320 12827 0 0 2052 96 5 2 20 0 15 0 49786435 11113168896 789376 33554432000 4194304 4196468 140723791225024 140068146207120 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10607] ppid=10548 vsize=10852704 memory=3157504 CPUtime=21.63 cores=1,3,5,7
/proc/10551/task/10607/stat : 10607 (java) S 10548 10551 5182 0 -1 1077944384 60136 12827 0 0 2057 99 5 2 20 0 15 0 49786435 11113168896 789376 33554432000 4194304 4196468 140723791225024 140067795294736 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10608] ppid=10548 vsize=10852704 memory=3157504 CPUtime=21.58 cores=1,3,5,7
/proc/10551/task/10608/stat : 10608 (java) S 10548 10551 5182 0 -1 1077944384 55161 12827 0 0 2056 95 5 2 20 0 15 0 49786435 11113168896 789376 33554432000 4194304 4196468 140723791225024 140067794242192 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10609] ppid=10548 vsize=10852704 memory=3157504 CPUtime=1.78 cores=1,3,5,7
/proc/10551/task/10609/stat : 10609 (java) S 10548 10551 5182 0 -1 1077944384 24638 12827 0 0 157 14 5 2 20 0 15 0 49786436 11113168896 789376 33554432000 4194304 4196468 140723791225024 140067749800432 140068223224450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10610] ppid=10548 vsize=10852704 memory=3157504 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10610/stat : 10610 (java) S 10548 10551 5182 0 -1 1077944384 24 12827 0 0 0 0 5 2 20 0 15 0 49786437 11113168896 789376 33554432000 4194304 4196468 140723791225024 140067674777120 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10611] ppid=10548 vsize=10852704 memory=3157504 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10611/stat : 10611 (java) S 10548 10551 5182 0 -1 1077944384 29 12827 0 0 0 0 5 2 20 0 15 0 49786437 11113168896 789376 33554432000 4194304 4196468 140723791225024 140067070797312 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10612] ppid=10548 vsize=10852704 memory=3183156 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10612/stat : 10612 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786439 11113168896 789376 33554432000 4194304 4196468 140723791225024 140066763397840 140068223231899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10613] ppid=10548 vsize=10852704 memory=3183156 CPUtime=12.03 cores=1,3,5,7
/proc/10551/task/10613/stat : 10613 (java) S 10548 10551 5182 0 -1 1077944384 99498 12827 0 0 1188 8 5 2 20 0 15 0 49786439 11113168896 789376 33554432000 4194304 4196468 140723791225024 140067748747248 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10614] ppid=10548 vsize=10852704 memory=4140 CPUtime=11.58 cores=1,3,5,7
/proc/10551/task/10614/stat : 10614 (java) S 10548 10551 5182 0 -1 1077944384 107891 12827 0 0 1141 10 5 2 20 0 15 0 49786439 11113168896 789376 33554432000 4194304 4196468 140723791225024 140067747694704 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10615] ppid=10548 vsize=10852704 memory=16300 CPUtime=3.8 cores=1,3,5,7
/proc/10551/task/10615/stat : 10615 (java) S 10548 10551 5182 0 -1 1077944384 92542 12827 0 0 362 11 5 2 20 0 15 0 49786439 11113168896 789376 33554432000 4194304 4196468 140723791225024 140067746642160 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10616] ppid=10548 vsize=10852704 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10616/stat : 10616 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786440 11113168896 789376 33554432000 4194304 4196468 140723791225024 140066729839200 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10617] ppid=10548 vsize=10852704 memory=16300 CPUtime=1.48 cores=1,3,5,7
/proc/10551/task/10617/stat : 10617 (java) S 10548 10551 5182 0 -1 1077944384 2346 12827 0 0 61 80 5 2 20 0 15 0 49786440 11113168896 789376 33554432000 4194304 4196468 140723791225024 140067745590064 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
Current children cumulated CPU time: 2475.04 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3157504 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2426.4 s]
/proc/loadavg: 1.22 1.31 1.40 3/215 10819
/proc/meminfo: memFree=17997788/32770624 swapFree=67108860/67108860
[pid=10551] ppid=10548 vsize=10852704 memory=3126712 CPUtime=2520 cores=1,3,5,7
/proc/10551/stat : 10551 (java) S 10548 10551 5182 0 -1 1077944320 758760 12827 0 0 251443 550 5 2 20 0 15 0 49786425 11113168896 781678 33554432000 4194304 4196468 140723791225024 140723791207568 140068223213303 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
/proc/10551/statm: 2713176 781678 3537 1 0 2674829 0
[pid=10551/tid=10604] ppid=10548 vsize=10852704 memory=1952 CPUtime=2402.43 cores=1,3,5,7
/proc/10551/task/10604/stat : 10604 (java) R 10548 10551 5182 0 -1 4202560 202907 12827 0 0 240184 52 5 2 20 0 15 0 49786434 11113168896 781678 33554432000 4194304 4196468 140723791225024 140068195048704 140067848844317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10605] ppid=10548 vsize=10852704 memory=8388 CPUtime=21.78 cores=1,3,5,7
/proc/10551/task/10605/stat : 10605 (java) S 10548 10551 5182 0 -1 1077944384 50637 12827 0 0 2073 98 5 2 20 0 15 0 49786435 11113168896 781678 33554432000 4194304 4196468 140723791225024 140068227455248 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10606] ppid=10548 vsize=10852704 memory=15872 CPUtime=21.81 cores=1,3,5,7
/proc/10551/task/10606/stat : 10606 (java) S 10548 10551 5182 0 -1 1077944384 56045 12827 0 0 2078 96 5 2 20 0 15 0 49786435 11113168896 781678 33554432000 4194304 4196468 140723791225024 140068146207120 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10607] ppid=10548 vsize=10852704 memory=4140 CPUtime=21.89 cores=1,3,5,7
/proc/10551/task/10607/stat : 10607 (java) S 10548 10551 5182 0 -1 1077944384 60280 12827 0 0 2083 99 5 2 20 0 15 0 49786435 11113168896 781678 33554432000 4194304 4196468 140723791225024 140067795294736 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10608] ppid=10548 vsize=10852704 memory=16300 CPUtime=21.85 cores=1,3,5,7
/proc/10551/task/10608/stat : 10608 (java) S 10548 10551 5182 0 -1 1077944384 55551 12827 0 0 2082 96 5 2 20 0 15 0 49786435 11113168896 781678 33554432000 4194304 4196468 140723791225024 140067794242192 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10609] ppid=10548 vsize=10852704 memory=1296 CPUtime=1.79 cores=1,3,5,7
/proc/10551/task/10609/stat : 10609 (java) S 10548 10551 5182 0 -1 1077944384 24758 12827 0 0 158 14 5 2 20 0 15 0 49786436 11113168896 781678 33554432000 4194304 4196468 140723791225024 140067749800432 140068223224450 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10610] ppid=10548 vsize=10852704 memory=2412 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10610/stat : 10610 (java) S 10548 10551 5182 0 -1 1077944384 24 12827 0 0 0 0 5 2 20 0 15 0 49786437 11113168896 781678 33554432000 4194304 4196468 140723791225024 140067674777120 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10611] ppid=10548 vsize=10852704 memory=1724 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10611/stat : 10611 (java) S 10548 10551 5182 0 -1 1077944384 29 12827 0 0 0 0 5 2 20 0 15 0 49786437 11113168896 781678 33554432000 4194304 4196468 140723791225024 140067070797312 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10612] ppid=10548 vsize=10852704 memory=280441903725280 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10612/stat : 10612 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786439 11113168896 781678 33554432000 4194304 4196468 140723791225024 140066763397840 140068223231899 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10613] ppid=10548 vsize=10852704 memory=6948045235937699429 CPUtime=12.05 cores=1,3,5,7
/proc/10551/task/10613/stat : 10613 (java) S 10548 10551 5182 0 -1 1077944384 100442 12827 0 0 1190 8 5 2 20 0 15 0 49786439 11113168896 781678 33554432000 4194304 4196468 140723791225024 140067748747248 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10614] ppid=10548 vsize=10852704 memory=7302417923696977771 CPUtime=11.6 cores=1,3,5,7
/proc/10551/task/10614/stat : 10614 (java) S 10548 10551 5182 0 -1 1077944384 110060 12827 0 0 1143 10 5 2 20 0 15 0 49786439 11113168896 781678 33554432000 4194304 4196468 140723791225024 140067747694704 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10615] ppid=10548 vsize=10852704 memory=7014183145237342571 CPUtime=3.81 cores=1,3,5,7
/proc/10551/task/10615/stat : 10615 (java) S 10548 10551 5182 0 -1 1077944384 93464 12827 0 0 363 11 5 2 20 0 15 0 49786439 11113168896 781678 33554432000 4194304 4196468 140723791225024 140067746642160 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10616] ppid=10548 vsize=10852704 memory=7450174685744883561 CPUtime=0.07 cores=1,3,5,7
/proc/10551/task/10616/stat : 10616 (java) S 10548 10551 5182 0 -1 1077944384 3 12827 0 0 0 0 5 2 20 0 15 0 49786440 11113168896 781678 33554432000 4194304 4196468 140723791225024 140066729839200 140068223223509 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
[pid=10551/tid=10617] ppid=10548 vsize=10852704 memory=6791534058613427641 CPUtime=1.5 cores=1,3,5,7
/proc/10551/task/10617/stat : 10617 (java) S 10548 10551 5182 0 -1 1077944384 2365 12827 0 0 62 81 5 2 20 0 15 0 49786440 11113168896 781678 33554432000 4194304 4196468 140723791225024 140067745590064 140068223224450 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29339648 140723791231599 140723791234396 140723791234396 140723791237071 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 3126712 KiB

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

[startup+2426.46 s]
# the end of solver process 10551 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.56 s, system=5.55891 s

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

Child status: 143
Real time (s): 2426.46
CPU time (s): 2520.12
CPU user time (s): 2514.56
CPU system time (s): 5.55891
CPU usage (%): 103.86
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 4234124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.56
system time used= 5.55891
maximum resident set size= 4234124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 774016
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77144
involuntary context switches= 2905


# summary of solver processes directly reported to runsolver:
#   pid: 10551
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2514.56
#   total CPU system time (s): 5.55891

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6029 second user time and 21.0795 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-23 07:03:52
IDJOB=4293576
IDBENCH=141195
IDSOLVER=2750
FILE ID=node103/4293576-1532322232
RUNJOBID= node103-1532293810-5214
PBS_JOBID= 21018979
Free space on /tmp= 56828 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-12-opt_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293576-1532322232/watcher-4293576-1532322232 -o /tmp/evaluation-result-4293576-1532322232/solver-4293576-1532322232 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532293810-5214 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=543874753 HOME/instance-4293576-1532322232.xml

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

MD5SUM BENCH= 6121a94880b1ccb1614ec86f716938fa
RANDOM SEED=543874753

node103.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.48
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.48
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.48
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.48
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:        20130756 kB
MemAvailable:   28697036 kB
Buffers:          252760 kB
Cached:          8514264 kB
SwapCached:            0 kB
Active:          4770156 kB
Inactive:        7285224 kB
Active(anon):    3291588 kB
Inactive(anon):    16976 kB
Active(file):    1478568 kB
Inactive(file):  7268248 kB
Unevictable:        7144 kB
Mlocked:            7144 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26512 kB
Writeback:             0 kB
AnonPages:       3300292 kB
Mapped:            49772 kB
Shmem:             17036 kB
Slab:             276252 kB
SReclaimable:     247924 kB
SUnreclaim:        28328 kB
KernelStack:        3696 kB
PageTables:        11532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4064644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3000320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56800 MiB
End job on node103 at 2018-07-23 07:44:19