Trace number 4396620

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.12.2SAT (TO)197124 2400.14 2320.96

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	197124

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396620-1568408716/watcher-4396620-1568408716 -o /tmp/evaluation-result-4396620-1568408716/solver-4396620-1568408716 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568401563-1362 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=482606046 HOME/instance-4396620-1568408716.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=3228, runsolver pid=3225

[startup+0.100118 s]*
/proc/loadavg: 1.36 1.34 1.38 3/219 3285
/proc/meminfo: memFree=22146140/32770624 swapFree=67108848/67108860
[pid=3228] ppid=3225 vsize=9972712 memory=15180 CPUtime=0.09 cores=1,3,5,7
/proc/3228/stat : 3228 (java) S 3225 3228 1330 0 -1 1077944320 4530 13005 0 0 1 0 5 3 20 0 6 0 416808931 10212057088 3795 33554432000 4194304 4196468 140732408617296 140732408599840 139987011215095 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
/proc/3228/statm: 2493178 3795 1935 1 0 2481616 0
[pid=3228/tid=3281] ppid=3225 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/3228/task/3281/stat : 3281 (java) R 3225 3228 1330 0 -1 4202560 2370 13005 0 0 1 0 5 3 20 0 6 0 416808940 10212057088 3795 33554432000 4194304 4196468 140732408617296 139986983051856 139986995295582 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3282] ppid=3225 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3282/stat : 3282 (java) S 3225 3228 1330 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 6 0 416808941 10212057088 3861 33554432000 4194304 4196468 140732408617296 139987015457424 139987011225301 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3283] ppid=3225 vsize=9972712 memory=140644823529088 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3283/stat : 3283 (java) S 3225 3228 1330 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 6 0 416808941 10212057088 3861 33554432000 4194304 4196468 140732408617296 139986584840720 139987011225301 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3284] ppid=3225 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3284/stat : 3284 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 6 0 416808941 10212057088 3861 33554432000 4194304 4196468 140732408617296 139986583787920 139987011225301 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3285] ppid=3225 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3285/stat : 3285 (java) S 3225 3228 1330 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 6 0 416808941 10212057088 3861 33554432000 4194304 4196468 140732408617296 139986582735120 139987011225301 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 15180 KiB

[startup+0.210139 s]*
/proc/loadavg: 1.36 1.34 1.38 4/228 3294
/proc/meminfo: memFree=22127292/32770624 swapFree=67108848/67108860
[pid=3228] ppid=3225 vsize=10819664 memory=40096 CPUtime=0.27 cores=1,3,5,7
/proc/3228/stat : 3228 (java) S 3225 3228 1330 0 -1 1077944320 7369 13005 0 0 17 2 5 3 20 0 15 0 416808931 11079335936 10024 33554432000 4194304 4196468 140732408617296 140732408599840 139987011215095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
/proc/3228/statm: 2704916 10024 3165 1 0 2667149 0
[pid=3228/tid=3281] ppid=3225 vsize=10819664 memory=5450916389569530688 CPUtime=0.2 cores=1,3,5,7
/proc/3228/task/3281/stat : 3281 (java) R 3225 3228 1330 0 -1 4202560 3844 13005 0 0 11 1 5 3 20 0 15 0 416808940 11079335936 10024 33554432000 4194304 4196468 140732408617296 139986983012224 139986992778655 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3282] ppid=3225 vsize=10819664 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3282/stat : 3282 (java) S 3225 3228 1330 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 416808941 11079335936 10024 33554432000 4194304 4196468 140732408617296 139987015457424 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3283] ppid=3225 vsize=10819664 memory=140644823529088 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3283/stat : 3283 (java) S 3225 3228 1330 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 416808941 11079335936 10024 33554432000 4194304 4196468 140732408617296 139986584840720 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3284] ppid=3225 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3284/stat : 3284 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808941 11079335936 10024 33554432000 4194304 4196468 140732408617296 139986583787920 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3285] ppid=3225 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3285/stat : 3285 (java) S 3225 3228 1330 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 416808941 11079335936 10024 33554432000 4194304 4196468 140732408617296 139986582735120 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3286] ppid=3225 vsize=10819664 memory=140644823529088 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3286/stat : 3286 (java) S 3225 3228 1330 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 416808942 11079335936 10024 33554432000 4194304 4196468 140732408617296 139986469895024 139987011226242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3287] ppid=3225 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3287/stat : 3287 (java) S 3225 3228 1330 0 -1 1077944384 33 13005 0 0 0 0 5 3 20 0 15 0 416808943 11079335936 10024 33554432000 4194304 4196468 140732408617296 139986468840992 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3288] ppid=3225 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3288/stat : 3288 (java) S 3225 3228 1330 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 416808943 11079335936 10024 33554432000 4194304 4196468 140732408617296 139985869071728 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3289] ppid=3225 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3289/stat : 3289 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11079335936 10024 33554432000 4194304 4196468 140732408617296 139985561672016 139987011233691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3290] ppid=3225 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3228/task/3290/stat : 3290 (java) S 3225 3228 1330 0 -1 1077944384 574 13005 0 0 1 0 5 3 20 0 15 0 416808946 11079335936 10024 33554432000 4194304 4196468 140732408617296 139986435283312 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3291] ppid=3225 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3291/stat : 3291 (java) S 3225 3228 1330 0 -1 1077944384 71 13005 0 0 0 0 5 3 20 0 15 0 416808946 11079335936 10024 33554432000 4194304 4196468 140732408617296 139986434230512 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3292] ppid=3225 vsize=10819664 memory=140644823529088 CPUtime=0.11 cores=1,3,5,7
/proc/3228/task/3292/stat : 3292 (java) S 3225 3228 1330 0 -1 1077944384 623 13005 0 0 3 0 5 3 20 0 15 0 416808946 11079335936 10024 33554432000 4194304 4196468 140732408617296 139986433177712 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3293] ppid=3225 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3293/stat : 3293 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11079335936 10024 33554432000 4194304 4196468 140732408617296 139985528113376 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3294] ppid=3225 vsize=10819664 memory=140644823529088 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3294/stat : 3294 (java) S 3225 3228 1330 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 416808946 11079335936 10024 33554432000 4194304 4196468 140732408617296 139986432126128 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 40096 KiB

[startup+0.310618 s]*
/proc/loadavg: 1.36 1.34 1.38 3/228 3294
/proc/meminfo: memFree=22113976/32770624 swapFree=67108848/67108860
[pid=3228] ppid=3225 vsize=10820148 memory=48988 CPUtime=0.41 cores=1,3,5,7
/proc/3228/stat : 3228 (java) S 3225 3228 1330 0 -1 1077944320 11019 13005 0 0 29 4 5 3 20 0 15 0 416808931 11079831552 12247 33554432000 4194304 4196468 140732408617296 140732408599840 139987011215095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
/proc/3228/statm: 2705037 12247 3297 1 0 2667149 0
[pid=3228/tid=3281] ppid=3225 vsize=10820148 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/3228/task/3281/stat : 3281 (java) R 3225 3228 1330 0 -1 4202560 7476 13005 0 0 19 2 5 3 20 0 15 0 416808940 11079831552 12247 33554432000 4194304 4196468 140732408617296 139986983015008 139986996583895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3282] ppid=3225 vsize=10820148 memory=7156611665330268521 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3282/stat : 3282 (java) S 3225 3228 1330 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 416808941 11079831552 12247 33554432000 4194304 4196468 140732408617296 139987015457424 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3283] ppid=3225 vsize=10820148 memory=5788339726952981056 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3283/stat : 3283 (java) S 3225 3228 1330 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 416808941 11079831552 12247 33554432000 4194304 4196468 140732408617296 139986584840720 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3284] ppid=3225 vsize=10820148 memory=7019607732734150851 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3284/stat : 3284 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808941 11079831552 12247 33554432000 4194304 4196468 140732408617296 139986583787920 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3285] ppid=3225 vsize=10820148 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3285/stat : 3285 (java) S 3225 3228 1330 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 416808941 11079831552 12247 33554432000 4194304 4196468 140732408617296 139986582735120 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3286] ppid=3225 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3286/stat : 3286 (java) S 3225 3228 1330 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 416808942 11079831552 12247 33554432000 4194304 4196468 140732408617296 139986469895024 139987011226242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3287] ppid=3225 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3287/stat : 3287 (java) S 3225 3228 1330 0 -1 1077944384 33 13005 0 0 0 0 5 3 20 0 15 0 416808943 11079831552 12247 33554432000 4194304 4196468 140732408617296 139986468840992 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3288] ppid=3225 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3288/stat : 3288 (java) S 3225 3228 1330 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 416808943 11079831552 12247 33554432000 4194304 4196468 140732408617296 139985869071728 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3289] ppid=3225 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3289/stat : 3289 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11079831552 12247 33554432000 4194304 4196468 140732408617296 139985561672016 139987011233691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3290] ppid=3225 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3228/task/3290/stat : 3290 (java) S 3225 3228 1330 0 -1 1077944384 583 13005 0 0 1 0 5 3 20 0 15 0 416808946 11079831552 12247 33554432000 4194304 4196468 140732408617296 139986435283312 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3291] ppid=3225 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3228/task/3291/stat : 3291 (java) S 3225 3228 1330 0 -1 1077944384 72 13005 0 0 1 0 5 3 20 0 15 0 416808946 11079831552 12247 33554432000 4194304 4196468 140732408617296 139986434230512 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3292] ppid=3225 vsize=10820148 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/3228/task/3292/stat : 3292 (java) S 3225 3228 1330 0 -1 1077944384 630 13005 0 0 5 0 5 3 20 0 15 0 416808946 11079831552 12247 33554432000 4194304 4196468 140732408617296 139986433177712 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3293] ppid=3225 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3293/stat : 3293 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11079831552 12247 33554432000 4194304 4196468 140732408617296 139985528113376 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3294] ppid=3225 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3294/stat : 3294 (java) S 3225 3228 1330 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 416808946 11079831552 12247 33554432000 4194304 4196468 140732408617296 139986432126128 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 48988 KiB

[startup+0.700718 s]
/proc/loadavg: 1.36 1.34 1.38 3/228 3294
/proc/meminfo: memFree=22100108/32770624 swapFree=67108848/67108860
[pid=3228] ppid=3225 vsize=10824360 memory=81236 CPUtime=1.14 cores=1,3,5,7
/proc/3228/stat : 3228 (java) S 3225 3228 1330 0 -1 1077944320 15104 13005 0 0 100 6 5 3 20 0 15 0 416808931 11084144640 20309 33554432000 4194304 4196468 140732408617296 140732408599840 139987011215095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
/proc/3228/statm: 2706090 20309 3496 1 0 2668173 0
[pid=3228/tid=3281] ppid=3225 vsize=10824360 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/3228/task/3281/stat : 3281 (java) R 3225 3228 1330 0 -1 4202560 10510 13005 0 0 55 4 5 3 20 0 15 0 416808940 11084144640 20309 33554432000 4194304 4196468 140732408617296 139986983036824 139986615662152 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3282] ppid=3225 vsize=10824360 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3282/stat : 3282 (java) S 3225 3228 1330 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 416808941 11084144640 20309 33554432000 4194304 4196468 140732408617296 139987015457424 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3283] ppid=3225 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3283/stat : 3283 (java) S 3225 3228 1330 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 416808941 11084144640 20309 33554432000 4194304 4196468 140732408617296 139986584840720 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3284] ppid=3225 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3284/stat : 3284 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808941 11084144640 20309 33554432000 4194304 4196468 140732408617296 139986583787920 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3285] ppid=3225 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3285/stat : 3285 (java) S 3225 3228 1330 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 416808941 11084144640 20309 33554432000 4194304 4196468 140732408617296 139986582735120 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3286] ppid=3225 vsize=10824360 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3286/stat : 3286 (java) S 3225 3228 1330 0 -1 1077944384 5 13005 0 0 0 0 5 3 20 0 15 0 416808942 11084144640 20309 33554432000 4194304 4196468 140732408617296 139986469895024 139987011226242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3287] ppid=3225 vsize=10824360 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3287/stat : 3287 (java) S 3225 3228 1330 0 -1 1077944384 33 13005 0 0 0 0 5 3 20 0 15 0 416808943 11084144640 20309 33554432000 4194304 4196468 140732408617296 139986468840992 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3288] ppid=3225 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3288/stat : 3288 (java) S 3225 3228 1330 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 416808943 11084144640 20309 33554432000 4194304 4196468 140732408617296 139985869071728 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3289] ppid=3225 vsize=10824360 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3289/stat : 3289 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11084144640 20309 33554432000 4194304 4196468 140732408617296 139985561672016 139987011233691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3290] ppid=3225 vsize=10824360 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/3228/task/3290/stat : 3290 (java) S 3225 3228 1330 0 -1 1077944384 1028 13005 0 0 11 0 5 3 20 0 15 0 416808946 11084144640 20309 33554432000 4194304 4196468 140732408617296 139986435283312 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3291] ppid=3225 vsize=10824360 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/3228/task/3291/stat : 3291 (java) R 3225 3228 1330 0 -1 4202560 522 13005 0 0 15 0 5 3 20 0 15 0 416808946 11084144640 20309 33554432000 4194304 4196468 140732408617296 139986434230512 139987011227030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3292] ppid=3225 vsize=10824360 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/3228/task/3292/stat : 3292 (java) S 3225 3228 1330 0 -1 1077944384 779 13005 0 0 17 0 5 3 20 0 15 0 416808946 11084144640 20309 33554432000 4194304 4196468 140732408617296 139986433177712 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3293] ppid=3225 vsize=10824360 memory=281289353593072 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3293/stat : 3293 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11084144640 20309 33554432000 4194304 4196468 140732408617296 139985528113376 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3294] ppid=3225 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3294/stat : 3294 (java) S 3225 3228 1330 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 416808946 11084144640 20309 33554432000 4194304 4196468 140732408617296 139986432126128 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81236 KiB

[startup+1.50077 s]
/proc/loadavg: 1.36 1.34 1.38 5/228 3294
/proc/meminfo: memFree=22034404/32770624 swapFree=67108848/67108860
[pid=3228] ppid=3225 vsize=10832628 memory=230128 CPUtime=3.18 cores=1,3,5,7
/proc/3228/stat : 3228 (java) S 3225 3228 1330 0 -1 1077944320 25260 13005 0 0 299 11 5 3 20 0 15 0 416808931 11092611072 57532 33554432000 4194304 4196468 140732408617296 140732408599840 139987011215095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
/proc/3228/statm: 2708157 57532 3576 1 0 2670221 0
[pid=3228/tid=3281] ppid=3225 vsize=10832628 memory=30 CPUtime=1.42 cores=1,3,5,7
/proc/3228/task/3281/stat : 3281 (java) R 3225 3228 1330 0 -1 4202560 14988 13005 0 0 128 6 5 3 20 0 15 0 416808940 11092611072 57532 33554432000 4194304 4196468 140732408617296 139986983048256 139987011237021 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3282] ppid=3225 vsize=10832628 memory=29 CPUtime=0.09 cores=1,3,5,7
/proc/3228/task/3282/stat : 3282 (java) S 3225 3228 1330 0 -1 1077944384 39 13005 0 0 1 0 5 3 20 0 15 0 416808941 11092611072 57532 33554432000 4194304 4196468 140732408617296 139987015457424 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3283] ppid=3225 vsize=10832628 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3228/task/3283/stat : 3283 (java) S 3225 3228 1330 0 -1 1077944384 52 13005 0 0 2 0 5 3 20 0 15 0 416808941 11092611072 57532 33554432000 4194304 4196468 140732408617296 139986584840720 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3284] ppid=3225 vsize=10832628 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3228/task/3284/stat : 3284 (java) S 3225 3228 1330 0 -1 1077944384 33 13005 0 0 2 0 5 3 20 0 15 0 416808941 11092611072 57532 33554432000 4194304 4196468 140732408617296 139986583787920 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3285] ppid=3225 vsize=10832628 memory=107788 CPUtime=0.1 cores=1,3,5,7
/proc/3228/task/3285/stat : 3285 (java) S 3225 3228 1330 0 -1 1077944384 261 13005 0 0 2 0 5 3 20 0 15 0 416808941 11092611072 57532 33554432000 4194304 4196468 140732408617296 139986582735120 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3286] ppid=3225 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3228/task/3286/stat : 3286 (java) S 3225 3228 1330 0 -1 1077944384 103 13005 0 0 1 0 5 3 20 0 15 0 416808942 11092611072 57532 33554432000 4194304 4196468 140732408617296 139986469895024 139987011226242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3287] ppid=3225 vsize=10832628 memory=7014751519583261538 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3287/stat : 3287 (java) S 3225 3228 1330 0 -1 1077944384 34 13005 0 0 0 0 5 3 20 0 15 0 416808943 11092611072 57532 33554432000 4194304 4196468 140732408617296 139986468841056 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3288] ppid=3225 vsize=10832628 memory=7156908567711802457 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3288/stat : 3288 (java) S 3225 3228 1330 0 -1 1077944384 1 13005 0 0 0 0 5 3 20 0 15 0 416808943 11092611072 57532 33554432000 4194304 4196468 140732408617296 139985869071744 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3289] ppid=3225 vsize=10832628 memory=7524231200376253286 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3289/stat : 3289 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11092611072 57532 33554432000 4194304 4196468 140732408617296 139985561672016 139987011233691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3290] ppid=3225 vsize=10832628 memory=4639948313719891052 CPUtime=0.59 cores=1,3,5,7
/proc/3228/task/3290/stat : 3290 (java) S 3225 3228 1330 0 -1 1077944384 2021 13005 0 0 51 0 5 3 20 0 15 0 416808946 11092611072 57532 33554432000 4194304 4196468 140732408617296 139986435283312 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3291] ppid=3225 vsize=10832628 memory=7306078223591958864 CPUtime=0.71 cores=1,3,5,7
/proc/3228/task/3291/stat : 3291 (java) S 3225 3228 1330 0 -1 1077944384 3485 13005 0 0 63 0 5 3 20 0 15 0 416808946 11092611072 57532 33554432000 4194304 4196468 140732408617296 139986434230512 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3292] ppid=3225 vsize=10832628 memory=7014751519583261538 CPUtime=0.54 cores=1,3,5,7
/proc/3228/task/3292/stat : 3292 (java) S 3225 3228 1330 0 -1 1077944384 2025 13005 0 0 46 0 5 3 20 0 15 0 416808946 11092611072 57532 33554432000 4194304 4196468 140732408617296 139986433177712 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3293] ppid=3225 vsize=10832628 memory=7014751519583261538 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3293/stat : 3293 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11092611072 57532 33554432000 4194304 4196468 140732408617296 139985528113376 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3294] ppid=3225 vsize=10832628 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3294/stat : 3294 (java) S 3225 3228 1330 0 -1 1077944384 2 13005 0 0 0 0 5 3 20 0 15 0 416808946 11092611072 57532 33554432000 4194304 4196468 140732408617296 139986432126128 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 10832628 KiB

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

/proc/3228/task/3281/stat : 3281 (java) R 3225 3228 1330 0 -1 4202560 226587 13005 0 0 218181 43 5 3 20 0 15 0 416808940 11111505920 995615 33554432000 4194304 4196468 140732408617296 139986983050352 139986633547321 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3282] ppid=3225 vsize=10851080 memory=4540 CPUtime=18.01 cores=1,3,5,7
/proc/3228/task/3282/stat : 3282 (java) S 3225 3228 1330 0 -1 1077944384 60463 13005 0 0 1698 95 5 3 20 0 15 0 416808941 11111505920 995615 33554432000 4194304 4196468 140732408617296 139987015457424 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3283] ppid=3225 vsize=10851080 memory=4011188 CPUtime=18.16 cores=1,3,5,7
/proc/3228/task/3283/stat : 3283 (java) S 3225 3228 1330 0 -1 1077944384 61376 13005 0 0 1713 95 5 3 20 0 15 0 416808941 11111505920 995615 33554432000 4194304 4196468 140732408617296 139986584840720 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3284] ppid=3225 vsize=10851080 memory=3997336 CPUtime=17.93 cores=1,3,5,7
/proc/3228/task/3284/stat : 3284 (java) S 3225 3228 1330 0 -1 1077944384 54823 13005 0 0 1688 97 5 3 20 0 15 0 416808941 11111505920 995615 33554432000 4194304 4196468 140732408617296 139986583787920 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3285] ppid=3225 vsize=10851080 memory=3997336 CPUtime=17.98 cores=1,3,5,7
/proc/3228/task/3285/stat : 3285 (java) S 3225 3228 1330 0 -1 1077944384 50601 13005 0 0 1695 95 5 3 20 0 15 0 416808941 11111505920 995615 33554432000 4194304 4196468 140732408617296 139986582735120 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3286] ppid=3225 vsize=10851080 memory=3982460 CPUtime=1.64 cores=1,3,5,7
/proc/3228/task/3286/stat : 3286 (java) S 3225 3228 1330 0 -1 1077944384 46709 13005 0 0 148 8 5 3 20 0 15 0 416808942 11111505920 995615 33554432000 4194304 4196468 140732408617296 139986469895024 139987011226242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3287] ppid=3225 vsize=10851080 memory=3995796 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3287/stat : 3287 (java) S 3225 3228 1330 0 -1 1077944384 72 13005 0 0 0 0 5 3 20 0 15 0 416808943 11111505920 995615 33554432000 4194304 4196468 140732408617296 139986468841056 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3288] ppid=3225 vsize=10851080 memory=634 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3288/stat : 3288 (java) S 3225 3228 1330 0 -1 1077944384 40 13005 0 0 0 0 5 3 20 0 15 0 416808943 11111505920 995615 33554432000 4194304 4196468 140732408617296 139985869071744 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3289] ppid=3225 vsize=10851080 memory=3995796 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3289/stat : 3289 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11111505920 995615 33554432000 4194304 4196468 140732408617296 139985561672016 139987011233691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3290] ppid=3225 vsize=10851080 memory=2212 CPUtime=10.41 cores=1,3,5,7
/proc/3228/task/3290/stat : 3290 (java) S 3225 3228 1330 0 -1 1077944384 59670 13005 0 0 1024 9 5 3 20 0 15 0 416808946 11111505920 995615 33554432000 4194304 4196468 140732408617296 139986435283312 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3291] ppid=3225 vsize=10851080 memory=4276 CPUtime=9.98 cores=1,3,5,7
/proc/3228/task/3291/stat : 3291 (java) S 3225 3228 1330 0 -1 1077944384 54538 13005 0 0 985 5 5 3 20 0 15 0 416808946 11111505920 995615 33554432000 4194304 4196468 140732408617296 139986434230512 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3292] ppid=3225 vsize=10851080 memory=4075832 CPUtime=3.28 cores=1,3,5,7
/proc/3228/task/3292/stat : 3292 (java) S 3225 3228 1330 0 -1 1077944384 44022 13005 0 0 312 8 5 3 20 0 15 0 416808946 11111505920 995615 33554432000 4194304 4196468 140732408617296 139986433177712 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3293] ppid=3225 vsize=10851080 memory=4075832 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3293/stat : 3293 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11111505920 995615 33554432000 4194304 4196468 140732408617296 139985528113376 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3294] ppid=3225 vsize=10851080 memory=3924 CPUtime=1.35 cores=1,3,5,7
/proc/3228/task/3294/stat : 3294 (java) S 3225 3228 1330 0 -1 1077944384 1890 13005 0 0 59 68 5 3 20 0 15 0 416808946 11111505920 995615 33554432000 4194304 4196468 140732408617296 139986432126128 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
Current children cumulated CPU time: 2280.43 s
Current children cumulated vsize: 10851080 KiB
Current children cumulated memory: 3982460 KiB

[startup+2262.3 s]
/proc/loadavg: 1.33 1.61 1.64 3/227 3502
/proc/meminfo: memFree=18150504/32770624 swapFree=67108848/67108860
[pid=3228] ppid=3225 vsize=10851080 memory=3921916 CPUtime=2340.96 cores=1,3,5,7
/proc/3228/stat : 3228 (java) S 3225 3228 1330 0 -1 1077944320 672936 13005 0 0 233571 517 5 3 20 0 15 0 416808931 11111505920 980479 33554432000 4194304 4196468 140732408617296 140732408599840 139987011215095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
/proc/3228/statm: 2712770 980479 3650 1 0 2674829 0
[pid=3228/tid=3281] ppid=3225 vsize=10851080 memory=15208 CPUtime=2242.14 cores=1,3,5,7
/proc/3228/task/3281/stat : 3281 (java) R 3225 3228 1330 0 -1 4202560 230948 13005 0 0 224162 44 5 3 20 0 15 0 416808940 11111505920 980479 33554432000 4194304 4196468 140732408617296 139986983050416 139986637164364 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3282] ppid=3225 vsize=10851080 memory=3923456 CPUtime=18.18 cores=1,3,5,7
/proc/3228/task/3282/stat : 3282 (java) S 3225 3228 1330 0 -1 1077944384 61407 13005 0 0 1714 96 5 3 20 0 15 0 416808941 11111505920 980479 33554432000 4194304 4196468 140732408617296 139987015457424 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3283] ppid=3225 vsize=10851080 memory=3932176 CPUtime=18.32 cores=1,3,5,7
/proc/3228/task/3283/stat : 3283 (java) S 3225 3228 1330 0 -1 1077944384 62274 13005 0 0 1729 95 5 3 20 0 15 0 416808941 11111505920 980479 33554432000 4194304 4196468 140732408617296 139986584840720 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3284] ppid=3225 vsize=10851080 memory=3921916 CPUtime=18.09 cores=1,3,5,7
/proc/3228/task/3284/stat : 3284 (java) S 3225 3228 1330 0 -1 1077944384 56793 13005 0 0 1704 97 5 3 20 0 15 0 416808941 11111505920 980479 33554432000 4194304 4196468 140732408617296 139986583787920 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3285] ppid=3225 vsize=10851080 memory=1192 CPUtime=18.15 cores=1,3,5,7
/proc/3228/task/3285/stat : 3285 (java) S 3225 3228 1330 0 -1 1077944384 51971 13005 0 0 1712 95 5 3 20 0 15 0 416808941 11111505920 980479 33554432000 4194304 4196468 140732408617296 139986582735120 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3286] ppid=3225 vsize=10851080 memory=3921916 CPUtime=1.65 cores=1,3,5,7
/proc/3228/task/3286/stat : 3286 (java) S 3225 3228 1330 0 -1 1077944384 47047 13005 0 0 149 8 5 3 20 0 15 0 416808942 11111505920 980479 33554432000 4194304 4196468 140732408617296 139986469895024 139987011226242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3287] ppid=3225 vsize=10851080 memory=3921916 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3287/stat : 3287 (java) S 3225 3228 1330 0 -1 1077944384 72 13005 0 0 0 0 5 3 20 0 15 0 416808943 11111505920 980479 33554432000 4194304 4196468 140732408617296 139986468841056 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3288] ppid=3225 vsize=10851080 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3288/stat : 3288 (java) S 3225 3228 1330 0 -1 1077944384 40 13005 0 0 0 0 5 3 20 0 15 0 416808943 11111505920 980479 33554432000 4194304 4196468 140732408617296 139985869071744 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3289] ppid=3225 vsize=10851080 memory=40680 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3289/stat : 3289 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11111505920 980479 33554432000 4194304 4196468 140732408617296 139985561672016 139987011233691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3290] ppid=3225 vsize=10851080 memory=3921916 CPUtime=10.41 cores=1,3,5,7
/proc/3228/task/3290/stat : 3290 (java) S 3225 3228 1330 0 -1 1077944384 59672 13005 0 0 1024 9 5 3 20 0 15 0 416808946 11111505920 980479 33554432000 4194304 4196468 140732408617296 139986435283312 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3291] ppid=3225 vsize=10851080 memory=3921916 CPUtime=9.98 cores=1,3,5,7
/proc/3228/task/3291/stat : 3291 (java) S 3225 3228 1330 0 -1 1077944384 54541 13005 0 0 985 5 5 3 20 0 15 0 416808946 11111505920 980479 33554432000 4194304 4196468 140732408617296 139986434230512 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3292] ppid=3225 vsize=10851080 memory=3921916 CPUtime=3.28 cores=1,3,5,7
/proc/3228/task/3292/stat : 3292 (java) S 3225 3228 1330 0 -1 1077944384 44024 13005 0 0 312 8 5 3 20 0 15 0 416808946 11111505920 980479 33554432000 4194304 4196468 140732408617296 139986433177712 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3293] ppid=3225 vsize=10851080 memory=3921916 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3293/stat : 3293 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11111505920 980479 33554432000 4194304 4196468 140732408617296 139985528113376 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3294] ppid=3225 vsize=10851080 memory=3924 CPUtime=1.38 cores=1,3,5,7
/proc/3228/task/3294/stat : 3294 (java) S 3225 3228 1330 0 -1 1077944384 1931 13005 0 0 61 69 5 3 20 0 15 0 416808946 11111505920 980479 33554432000 4194304 4196468 140732408617296 139986432126128 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
Current children cumulated CPU time: 2340.96 s
Current children cumulated vsize: 10851080 KiB
Current children cumulated memory: 3921916 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2320.9 s]
/proc/loadavg: 1.46 1.60 1.64 2/206 3554
/proc/meminfo: memFree=20446920/32770624 swapFree=67108848/67108860
[pid=3228] ppid=3225 vsize=10851080 memory=3862928 CPUtime=2400.03 cores=1,3,5,7
/proc/3228/stat : 3228 (java) S 3225 3228 1330 0 -1 1077944320 686440 13005 0 0 239473 522 5 3 20 0 15 0 416808931 11111505920 965732 33554432000 4194304 4196468 140732408617296 140732408599840 139987011215095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
/proc/3228/statm: 2712770 965732 3650 1 0 2674829 0
[pid=3228/tid=3281] ppid=3225 vsize=10851080 memory=281289355061664 CPUtime=2300.57 cores=1,3,5,7
/proc/3228/task/3281/stat : 3281 (java) R 3225 3228 1330 0 -1 4202560 235188 13005 0 0 230004 45 5 3 20 0 15 0 416808940 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986983049952 139986637013342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3282] ppid=3225 vsize=10851080 memory=3862928 CPUtime=18.31 cores=1,3,5,7
/proc/3228/task/3282/stat : 3282 (java) S 3225 3228 1330 0 -1 1077944384 63315 13005 0 0 1727 96 5 3 20 0 15 0 416808941 11111505920 965732 33554432000 4194304 4196468 140732408617296 139987015457424 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3283] ppid=3225 vsize=10851080 memory=3862928 CPUtime=18.47 cores=1,3,5,7
/proc/3228/task/3283/stat : 3283 (java) S 3225 3228 1330 0 -1 1077944384 63882 13005 0 0 1744 95 5 3 20 0 15 0 416808941 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986584840720 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3284] ppid=3225 vsize=10851080 memory=3868576 CPUtime=18.24 cores=1,3,5,7
/proc/3228/task/3284/stat : 3284 (java) S 3225 3228 1330 0 -1 1077944384 57609 13005 0 0 1719 97 5 3 20 0 15 0 416808941 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986583787920 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3285] ppid=3225 vsize=10851080 memory=3868576 CPUtime=18.3 cores=1,3,5,7
/proc/3228/task/3285/stat : 3285 (java) S 3225 3228 1330 0 -1 1077944384 52991 13005 0 0 1726 96 5 3 20 0 15 0 416808941 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986582735120 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3286] ppid=3225 vsize=10851080 memory=3862928 CPUtime=1.66 cores=1,3,5,7
/proc/3228/task/3286/stat : 3286 (java) S 3225 3228 1330 0 -1 1077944384 47385 13005 0 0 150 8 5 3 20 0 15 0 416808942 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986469895024 139987011226242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3287] ppid=3225 vsize=10851080 memory=3890620 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3287/stat : 3287 (java) S 3225 3228 1330 0 -1 1077944384 72 13005 0 0 0 0 5 3 20 0 15 0 416808943 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986468841056 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3288] ppid=3225 vsize=10851080 memory=3862928 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3288/stat : 3288 (java) S 3225 3228 1330 0 -1 1077944384 40 13005 0 0 0 0 5 3 20 0 15 0 416808943 11111505920 965732 33554432000 4194304 4196468 140732408617296 139985869071744 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3289] ppid=3225 vsize=10851080 memory=3862928 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3289/stat : 3289 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11111505920 965732 33554432000 4194304 4196468 140732408617296 139985561672016 139987011233691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3290] ppid=3225 vsize=10851080 memory=111636 CPUtime=10.41 cores=1,3,5,7
/proc/3228/task/3290/stat : 3290 (java) S 3225 3228 1330 0 -1 1077944384 59677 13005 0 0 1024 9 5 3 20 0 15 0 416808946 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986435283312 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3291] ppid=3225 vsize=10851080 memory=3862928 CPUtime=9.98 cores=1,3,5,7
/proc/3228/task/3291/stat : 3291 (java) S 3225 3228 1330 0 -1 1077944384 54550 13005 0 0 985 5 5 3 20 0 15 0 416808946 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986434230512 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3292] ppid=3225 vsize=10851080 memory=3902936 CPUtime=3.3 cores=1,3,5,7
/proc/3228/task/3292/stat : 3292 (java) S 3225 3228 1330 0 -1 1077944384 47554 13005 0 0 313 9 5 3 20 0 15 0 416808946 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986433177712 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3293] ppid=3225 vsize=10851080 memory=3862928 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3293/stat : 3293 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11111505920 965732 33554432000 4194304 4196468 140732408617296 139985528113376 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3294] ppid=3225 vsize=10851080 memory=3868576 CPUtime=1.41 cores=1,3,5,7
/proc/3228/task/3294/stat : 3294 (java) S 3225 3228 1330 0 -1 1077944384 1961 13005 0 0 62 71 5 3 20 0 15 0 416808946 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986432126128 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10851080 KiB
Current children cumulated memory: 3862928 KiB

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

[startup+2320.96 s]
# the end of solver process 3228 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2394.86 s, system=5.28201 s

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

[startup+2320.9 s]
/proc/loadavg: 1.46 1.60 1.64 2/206 3554
/proc/meminfo: memFree=20446920/32770624 swapFree=67108848/67108860
[pid=3228] ppid=3225 vsize=10851080 memory=3862928 CPUtime=2400.03 cores=1,3,5,7
/proc/3228/stat : 3228 (java) S 3225 3228 1330 0 -1 1077944320 686440 13005 0 0 239473 522 5 3 20 0 15 0 416808931 11111505920 965732 33554432000 4194304 4196468 140732408617296 140732408599840 139987011215095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
/proc/3228/statm: 2712770 965732 3650 1 0 2674829 0
[pid=3228/tid=3281] ppid=3225 vsize=10851080 memory=281289355061664 CPUtime=2300.57 cores=1,3,5,7
/proc/3228/task/3281/stat : 3281 (java) R 3225 3228 1330 0 -1 4202560 235188 13005 0 0 230004 45 5 3 20 0 15 0 416808940 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986983049952 139986637013342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3282] ppid=3225 vsize=10851080 memory=3862928 CPUtime=18.31 cores=1,3,5,7
/proc/3228/task/3282/stat : 3282 (java) S 3225 3228 1330 0 -1 1077944384 63315 13005 0 0 1727 96 5 3 20 0 15 0 416808941 11111505920 965732 33554432000 4194304 4196468 140732408617296 139987015457424 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3283] ppid=3225 vsize=10851080 memory=3862928 CPUtime=18.47 cores=1,3,5,7
/proc/3228/task/3283/stat : 3283 (java) S 3225 3228 1330 0 -1 1077944384 63882 13005 0 0 1744 95 5 3 20 0 15 0 416808941 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986584840720 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3284] ppid=3225 vsize=10851080 memory=3868576 CPUtime=18.24 cores=1,3,5,7
/proc/3228/task/3284/stat : 3284 (java) S 3225 3228 1330 0 -1 1077944384 57609 13005 0 0 1719 97 5 3 20 0 15 0 416808941 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986583787920 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3285] ppid=3225 vsize=10851080 memory=3868576 CPUtime=18.3 cores=1,3,5,7
/proc/3228/task/3285/stat : 3285 (java) S 3225 3228 1330 0 -1 1077944384 52991 13005 0 0 1726 96 5 3 20 0 15 0 416808941 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986582735120 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3286] ppid=3225 vsize=10851080 memory=3862928 CPUtime=1.66 cores=1,3,5,7
/proc/3228/task/3286/stat : 3286 (java) S 3225 3228 1330 0 -1 1077944384 47385 13005 0 0 150 8 5 3 20 0 15 0 416808942 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986469895024 139987011226242 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3287] ppid=3225 vsize=10851080 memory=3890620 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3287/stat : 3287 (java) S 3225 3228 1330 0 -1 1077944384 72 13005 0 0 0 0 5 3 20 0 15 0 416808943 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986468841056 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3288] ppid=3225 vsize=10851080 memory=3862928 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3288/stat : 3288 (java) S 3225 3228 1330 0 -1 1077944384 40 13005 0 0 0 0 5 3 20 0 15 0 416808943 11111505920 965732 33554432000 4194304 4196468 140732408617296 139985869071744 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3289] ppid=3225 vsize=10851080 memory=3862928 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3289/stat : 3289 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11111505920 965732 33554432000 4194304 4196468 140732408617296 139985561672016 139987011233691 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3290] ppid=3225 vsize=10851080 memory=111636 CPUtime=10.41 cores=1,3,5,7
/proc/3228/task/3290/stat : 3290 (java) S 3225 3228 1330 0 -1 1077944384 59677 13005 0 0 1024 9 5 3 20 0 15 0 416808946 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986435283312 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3291] ppid=3225 vsize=10851080 memory=3862928 CPUtime=9.98 cores=1,3,5,7
/proc/3228/task/3291/stat : 3291 (java) S 3225 3228 1330 0 -1 1077944384 54550 13005 0 0 985 5 5 3 20 0 15 0 416808946 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986434230512 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3292] ppid=3225 vsize=10851080 memory=3902936 CPUtime=3.3 cores=1,3,5,7
/proc/3228/task/3292/stat : 3292 (java) S 3225 3228 1330 0 -1 1077944384 47554 13005 0 0 313 9 5 3 20 0 15 0 416808946 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986433177712 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3293] ppid=3225 vsize=10851080 memory=3862928 CPUtime=0.08 cores=1,3,5,7
/proc/3228/task/3293/stat : 3293 (java) S 3225 3228 1330 0 -1 1077944384 3 13005 0 0 0 0 5 3 20 0 15 0 416808946 11111505920 965732 33554432000 4194304 4196468 140732408617296 139985528113376 139987011225301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
[pid=3228/tid=3294] ppid=3225 vsize=10851080 memory=3868576 CPUtime=1.41 cores=1,3,5,7
/proc/3228/task/3294/stat : 3294 (java) S 3225 3228 1330 0 -1 1077944384 1961 13005 0 0 62 71 5 3 20 0 15 0 416808946 11111505920 965732 33554432000 4194304 4196468 140732408617296 139986432126128 139987011226242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140732408625904 140732408628421 140732408628421 140732408631247 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10851080 KiB
Current children cumulated memory: 3862928 KiB

Child status: 143
Real time (s): 2320.96
CPU time (s): 2400.14
CPU user time (s): 2394.86
CPU system time (s): 5.28201
CPU usage (%): 103.411
Max. virtual memory (cumulated for all children) (KiB): 10851080
Max. memory (cumulated for all children) (KiB): 4077880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.86
system time used= 5.28201
maximum resident set size= 4077880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 702079
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67533
involuntary context switches= 2958


# summary of solver processes directly reported to runsolver:
#   pid: 3228
#   total CPU time (s): 2400.14
#   total CPU user time (s): 2394.86
#   total CPU system time (s): 5.28201

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5723 second user time and 22.2946 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-13 23:04:35
IDJOB=4396620
IDBENCH=141188
IDSOLVER=2847
FILE ID=node143/4396620-1568408716
RUNJOBID= node143-1568401563-1362
PBS_JOBID= 21701881
Free space on /tmp= 59240 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-09-opt_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396620-1568408716/watcher-4396620-1568408716 -o /tmp/evaluation-result-4396620-1568408716/solver-4396620-1568408716 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568401563-1362 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=482606046 HOME/instance-4396620-1568408716.xml

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

MD5SUM BENCH= 19bcf73076031218e5fd4b7208c9a15e
RANDOM SEED=482606046

node143.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.73
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.73
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.73
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.73
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:        22153364 kB
MemAvailable:   29641640 kB
Buffers:          195000 kB
Cached:          7583524 kB
SwapCached:            8 kB
Active:          4301148 kB
Inactive:        5643968 kB
Active(anon):    2120960 kB
Inactive(anon):   145140 kB
Active(file):    2180188 kB
Inactive(file):  5498828 kB
Unevictable:      107160 kB
Mlocked:          107160 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             35424 kB
Writeback:             0 kB
AnonPages:       2284160 kB
Mapped:            62288 kB
Shmem:             90756 kB
Slab:             266592 kB
SReclaimable:     237720 kB
SUnreclaim:        28872 kB
KernelStack:        4000 kB
PageTables:         9936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3775024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2048000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 59240 MiB
End job on node143 at 2019-09-13 23:43:16