Trace number 4302558

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)2616361 252.185 185.48

General information on the benchmark

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

Verifier Data 

OK	2616361

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302558-1532895716/watcher-4302558-1532895716 -o /tmp/evaluation-result-4302558-1532895716/solver-4302558-1532895716 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14549 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1306470160 HOME/instance-4302558-1532895716.xml 

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

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

solver pid=18212, runsolver pid=18209

[startup+0.101854 s]*
/proc/loadavg: 2.26 2.12 1.87 2/206 18269
/proc/meminfo: memFree=24590920/32770624 swapFree=67108436/67108860
[pid=18212] ppid=18209 vsize=10005480 memory=18332 CPUtime=0.09 cores=0,2,4,6
/proc/18212/stat : 18212 (java) S 18209 18212 9814 0 -1 1077944320 4252 13230 0 0 1 0 5 3 20 0 6 0 107134748 10245611520 4583 33554432000 4194304 4196468 140736201233936 140736201216480 140411213631223 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
/proc/18212/statm: 2501370 4583 1931 1 0 2489808 0
[pid=18212/tid=18265] ppid=18209 vsize=10005480 memory=4279135703946592399 CPUtime=0.09 cores=0,2,4,6
/proc/18212/task/18265/stat : 18265 (java) R 18209 18212 9814 0 -1 4202560 2063 13230 0 0 1 0 5 3 20 0 6 0 107134757 10245611520 4649 33554432000 4194304 4196468 140736201233936 140411185467984 140411213653149 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18266] ppid=18209 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18266/stat : 18266 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 6 0 107134758 10245611520 4649 33554432000 4194304 4196468 140736201233936 140411217873552 140411213641429 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18267] ppid=18209 vsize=10005480 memory=139757409339008 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18267/stat : 18267 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 6 0 107134758 10245611520 4649 33554432000 4194304 4196468 140736201233936 140411072592400 140411213641429 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18268] ppid=18209 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18268/stat : 18268 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 6 0 107134758 10245611520 4649 33554432000 4194304 4196468 140736201233936 140410752067984 140411213641429 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18269] ppid=18209 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18269/stat : 18269 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 6 0 107134758 10245611520 4649 33554432000 4194304 4196468 140736201233936 140410751015184 140411213641429 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18332 KiB

[startup+0.210286 s]*
/proc/loadavg: 2.26 2.12 1.87 4/215 18278
/proc/meminfo: memFree=24569300/32770624 swapFree=67108436/67108860
[pid=18212] ppid=18209 vsize=10982744 memory=44488 CPUtime=0.26 cores=0,2,4,6
/proc/18212/stat : 18212 (java) S 18209 18212 9814 0 -1 1077944320 7311 13230 0 0 17 1 5 3 20 0 15 0 107134748 11246329856 11122 33554432000 4194304 4196468 140736201233936 140736201216480 140411213631223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
/proc/18212/statm: 2745686 11122 2941 1 0 2708109 0
[pid=18212/tid=18265] ppid=18209 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/18212/task/18265/stat : 18265 (java) R 18209 18212 9814 0 -1 4202560 4031 13230 0 0 11 0 5 3 20 0 15 0 107134757 11246329856 11254 33554432000 4194304 4196468 140736201233936 140411185453128 140411193906944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18266] ppid=18209 vsize=10982744 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18266/stat : 18266 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134758 11246329856 11254 33554432000 4194304 4196468 140736201233936 140411217873552 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18267] ppid=18209 vsize=10982744 memory=139757409357218 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18267/stat : 18267 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134758 11246329856 11254 33554432000 4194304 4196468 140736201233936 140411072592400 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18268] ppid=18209 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18268/stat : 18268 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134758 11246329856 11320 33554432000 4194304 4196468 140736201233936 140410752067984 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18269] ppid=18209 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18269/stat : 18269 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134758 11246329856 11320 33554432000 4194304 4196468 140736201233936 140410751015184 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18270] ppid=18209 vsize=10982744 memory=139757409339008 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18270/stat : 18270 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134760 11246329856 11320 33554432000 4194304 4196468 140736201233936 140410639625072 140411213642370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18271] ppid=18209 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18271/stat : 18271 (java) S 18209 18212 9814 0 -1 1077944384 13 13230 0 0 0 0 5 3 20 0 15 0 107134760 11246329856 11320 33554432000 4194304 4196468 140736201233936 140410010723872 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18272] ppid=18209 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18272/stat : 18272 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134760 11246329856 11320 33554432000 4194304 4196468 140736201233936 140409862874480 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18273] ppid=18209 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18273/stat : 18273 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134763 11246329856 11320 33554432000 4194304 4196468 140736201233936 140409594440016 140411213649819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18274] ppid=18209 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18212/task/18274/stat : 18274 (java) S 18209 18212 9814 0 -1 1077944384 479 13230 0 0 1 0 5 3 20 0 15 0 107134763 11246329856 11320 33554432000 4194304 4196468 140736201233936 140410638571888 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18275] ppid=18209 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18275/stat : 18275 (java) S 18209 18212 9814 0 -1 1077944384 131 13230 0 0 0 0 5 3 20 0 15 0 107134763 11246329856 11320 33554432000 4194304 4196468 140736201233936 140410637519088 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18276] ppid=18209 vsize=10982744 memory=139757409339008 CPUtime=0.11 cores=0,2,4,6
/proc/18212/task/18276/stat : 18276 (java) S 18209 18212 9814 0 -1 1077944384 630 13230 0 0 3 0 5 3 20 0 15 0 107134763 11246329856 11320 33554432000 4194304 4196468 140736201233936 140410636466288 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18277] ppid=18209 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18277/stat : 18277 (java) S 18209 18212 9814 0 -1 1077944384 3 13230 0 0 0 0 5 3 20 0 15 0 107134763 11246329856 11320 33554432000 4194304 4196468 140736201233936 140409124677856 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18278] ppid=18209 vsize=10982744 memory=139757409339008 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18278/stat : 18278 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134763 11246329856 11320 33554432000 4194304 4196468 140736201233936 140410635414704 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44488 KiB

[startup+0.310589 s]*
/proc/loadavg: 2.26 2.12 1.87 3/215 18278
/proc/meminfo: memFree=24556320/32770624 swapFree=67108436/67108860
[pid=18212] ppid=18209 vsize=10983192 memory=57416 CPUtime=0.39 cores=0,2,4,6
/proc/18212/stat : 18212 (java) S 18209 18212 9814 0 -1 1077944320 10383 13230 0 0 28 3 5 3 20 0 15 0 107134748 11246788608 14354 33554432000 4194304 4196468 140736201233936 140736201216480 140411213631223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
/proc/18212/statm: 2745798 14354 3091 1 0 2708109 0
[pid=18212/tid=18265] ppid=18209 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/18212/task/18265/stat : 18265 (java) R 18209 18212 9814 0 -1 4202560 6906 13230 0 0 19 2 5 3 20 0 15 0 107134757 11246788608 14396 33554432000 4194304 4196468 140736201233936 140411185443232 140411206348186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18266] ppid=18209 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18266/stat : 18266 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134758 11246788608 14396 33554432000 4194304 4196468 140736201233936 140411217873552 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18267] ppid=18209 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18267/stat : 18267 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134758 11246788608 14396 33554432000 4194304 4196468 140736201233936 140411072592400 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18268] ppid=18209 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18268/stat : 18268 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134758 11246788608 14396 33554432000 4194304 4196468 140736201233936 140410752067984 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18269] ppid=18209 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18269/stat : 18269 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134758 11246788608 14396 33554432000 4194304 4196468 140736201233936 140410751015184 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18270] ppid=18209 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18270/stat : 18270 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134760 11246788608 14396 33554432000 4194304 4196468 140736201233936 140410639625072 140411213642370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18271] ppid=18209 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18271/stat : 18271 (java) S 18209 18212 9814 0 -1 1077944384 13 13230 0 0 0 0 5 3 20 0 15 0 107134760 11246788608 14396 33554432000 4194304 4196468 140736201233936 140410010723872 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18272] ppid=18209 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18272/stat : 18272 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134760 11246788608 14396 33554432000 4194304 4196468 140736201233936 140409862874480 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18273] ppid=18209 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18273/stat : 18273 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134763 11246788608 14396 33554432000 4194304 4196468 140736201233936 140409594440016 140411213649819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18274] ppid=18209 vsize=10983192 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/18212/task/18274/stat : 18274 (java) S 18209 18212 9814 0 -1 1077944384 484 13230 0 0 2 0 5 3 20 0 15 0 107134763 11246788608 14396 33554432000 4194304 4196468 140736201233936 140410638571888 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18275] ppid=18209 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/18212/task/18275/stat : 18275 (java) S 18209 18212 9814 0 -1 1077944384 134 13230 0 0 1 0 5 3 20 0 15 0 107134763 11246788608 14396 33554432000 4194304 4196468 140736201233936 140410637519088 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18276] ppid=18209 vsize=10983192 memory=139757409339008 CPUtime=0.13 cores=0,2,4,6
/proc/18212/task/18276/stat : 18276 (java) S 18209 18212 9814 0 -1 1077944384 645 13230 0 0 5 0 5 3 20 0 15 0 107134763 11246788608 14396 33554432000 4194304 4196468 140736201233936 140410636466288 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18277] ppid=18209 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18277/stat : 18277 (java) S 18209 18212 9814 0 -1 1077944384 3 13230 0 0 0 0 5 3 20 0 15 0 107134763 11246788608 14396 33554432000 4194304 4196468 140736201233936 140409124677856 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18278] ppid=18209 vsize=10983192 memory=139757409339008 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18278/stat : 18278 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134763 11246788608 14396 33554432000 4194304 4196468 140736201233936 140410635414704 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57416 KiB

[startup+0.700828 s]
/proc/loadavg: 2.26 2.12 1.87 3/215 18278
/proc/meminfo: memFree=24545032/32770624 swapFree=67108436/67108860
[pid=18212] ppid=18209 vsize=10983192 memory=90452 CPUtime=0.99 cores=0,2,4,6
/proc/18212/stat : 18212 (java) S 18209 18212 9814 0 -1 1077944320 16756 13230 0 0 87 4 5 3 20 0 15 0 107134748 11246788608 22613 33554432000 4194304 4196468 140736201233936 140736201216480 140411213631223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
/proc/18212/statm: 2745798 22613 3238 1 0 2708109 0
[pid=18212/tid=18265] ppid=18209 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/18212/task/18265/stat : 18265 (java) R 18209 18212 9814 0 -1 4202560 12204 13230 0 0 56 3 5 3 20 0 15 0 107134757 11246788608 22613 33554432000 4194304 4196468 140736201233936 140411185424736 140411197711710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18266] ppid=18209 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18266/stat : 18266 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134758 11246788608 22613 33554432000 4194304 4196468 140736201233936 140411217873552 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18267] ppid=18209 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18267/stat : 18267 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134758 11246788608 22613 33554432000 4194304 4196468 140736201233936 140411072592400 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18268] ppid=18209 vsize=10983192 memory=139757296431920 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18268/stat : 18268 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134758 11246788608 22613 33554432000 4194304 4196468 140736201233936 140410752067984 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18269] ppid=18209 vsize=10983192 memory=139758235812441 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18269/stat : 18269 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134758 11246788608 22613 33554432000 4194304 4196468 140736201233936 140410751015184 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18270] ppid=18209 vsize=10983192 memory=1388 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18270/stat : 18270 (java) S 18209 18212 9814 0 -1 1077944384 5 13230 0 0 0 0 5 3 20 0 15 0 107134760 11246788608 22613 33554432000 4194304 4196468 140736201233936 140410639625072 140411213642370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18271] ppid=18209 vsize=10983192 memory=4639098309541127525 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18271/stat : 18271 (java) S 18209 18212 9814 0 -1 1077944384 13 13230 0 0 0 0 5 3 20 0 15 0 107134760 11246788608 22613 33554432000 4194304 4196468 140736201233936 140410010723872 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18272] ppid=18209 vsize=10983192 memory=8027477668130812270 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18272/stat : 18272 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134760 11246788608 22613 33554432000 4194304 4196468 140736201233936 140409862874480 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18273] ppid=18209 vsize=10983192 memory=17456 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18273/stat : 18273 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134763 11246788608 22613 33554432000 4194304 4196468 140736201233936 140409594440016 140411213649819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18274] ppid=18209 vsize=10983192 memory=16148 CPUtime=0.15 cores=0,2,4,6
/proc/18212/task/18274/stat : 18274 (java) S 18209 18212 9814 0 -1 1077944384 836 13230 0 0 7 0 5 3 20 0 15 0 107134763 11246788608 22613 33554432000 4194304 4196468 140736201233936 140410638571888 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18275] ppid=18209 vsize=10983192 memory=4004 CPUtime=0.18 cores=0,2,4,6
/proc/18212/task/18275/stat : 18275 (java) S 18209 18212 9814 0 -1 1077944384 763 13230 0 0 10 0 5 3 20 0 15 0 107134763 11246788608 22613 33554432000 4194304 4196468 140736201233936 140410637519088 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18276] ppid=18209 vsize=10983192 memory=636 CPUtime=0.21 cores=0,2,4,6
/proc/18212/task/18276/stat : 18276 (java) S 18209 18212 9814 0 -1 1077944384 733 13230 0 0 13 0 5 3 20 0 15 0 107134763 11246788608 22613 33554432000 4194304 4196468 140736201233936 140410636466288 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18277] ppid=18209 vsize=10983192 memory=1780 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18277/stat : 18277 (java) S 18209 18212 9814 0 -1 1077944384 3 13230 0 0 0 0 5 3 20 0 15 0 107134763 11246788608 22613 33554432000 4194304 4196468 140736201233936 140409124677856 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18278] ppid=18209 vsize=10983192 memory=1236 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18278/stat : 18278 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134763 11246788608 22613 33554432000 4194304 4196468 140736201233936 140410635414704 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90452 KiB

[startup+1.50079 s]
/proc/loadavg: 2.26 2.12 1.87 3/215 18278
/proc/meminfo: memFree=24500872/32770624 swapFree=67108436/67108860
[pid=18212] ppid=18209 vsize=10996044 memory=196116 CPUtime=2.99 cores=0,2,4,6
/proc/18212/stat : 18212 (java) S 18209 18212 9814 0 -1 1077944320 24225 13230 0 0 283 8 5 3 20 0 15 0 107134748 11259949056 49029 33554432000 4194304 4196468 140736201233936 140736201216480 140411213631223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
/proc/18212/statm: 2749011 49029 3452 1 0 2710669 0
[pid=18212/tid=18265] ppid=18209 vsize=10996044 memory=67176 CPUtime=1.46 cores=0,2,4,6
/proc/18212/task/18265/stat : 18265 (java) R 18209 18212 9814 0 -1 4202560 16402 13230 0 0 132 6 5 3 20 0 15 0 107134757 11259949056 49029 33554432000 4194304 4196468 140736201233936 140411185461648 140411197711710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18266] ppid=18209 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18266/stat : 18266 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134758 11259949056 49029 33554432000 4194304 4196468 140736201233936 140411217873552 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18267] ppid=18209 vsize=10996044 memory=279514592895136 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18267/stat : 18267 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134758 11259949056 49029 33554432000 4194304 4196468 140736201233936 140411072592400 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18268] ppid=18209 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18268/stat : 18268 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134758 11259949056 49029 33554432000 4194304 4196468 140736201233936 140410752067984 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18269] ppid=18209 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18269/stat : 18269 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134758 11259949056 49029 33554432000 4194304 4196468 140736201233936 140410751015184 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18270] ppid=18209 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18270/stat : 18270 (java) S 18209 18212 9814 0 -1 1077944384 5 13230 0 0 0 0 5 3 20 0 15 0 107134760 11259949056 49029 33554432000 4194304 4196468 140736201233936 140410639625072 140411213642370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18271] ppid=18209 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18271/stat : 18271 (java) S 18209 18212 9814 0 -1 1077944384 13 13230 0 0 0 0 5 3 20 0 15 0 107134760 11259949056 49029 33554432000 4194304 4196468 140736201233936 140410010723872 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18272] ppid=18209 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18272/stat : 18272 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134760 11259949056 49029 33554432000 4194304 4196468 140736201233936 140409862874480 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18273] ppid=18209 vsize=10996044 memory=-5921431000321636112 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18273/stat : 18273 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134763 11259949056 49029 33554432000 4194304 4196468 140736201233936 140409594440016 140411213649819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18274] ppid=18209 vsize=10996044 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/18212/task/18274/stat : 18274 (java) R 18209 18212 9814 0 -1 4202560 2324 13230 0 0 51 0 5 3 20 0 15 0 107134763 11259949056 49029 33554432000 4194304 4196468 140736201233936 140410638571888 140411198755913 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18275] ppid=18209 vsize=10996044 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/18212/task/18275/stat : 18275 (java) S 18209 18212 9814 0 -1 1077944384 1599 13230 0 0 51 0 5 3 20 0 15 0 107134763 11259949056 49029 33554432000 4194304 4196468 140736201233936 140410637519088 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18276] ppid=18209 vsize=10996044 memory=6791534058613427641 CPUtime=0.55 cores=0,2,4,6
/proc/18212/task/18276/stat : 18276 (java) S 18209 18212 9814 0 -1 1077944384 1677 13230 0 0 47 0 5 3 20 0 15 0 107134763 11259949056 49029 33554432000 4194304 4196468 140736201233936 140410636466288 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18277] ppid=18209 vsize=10996044 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18277/stat : 18277 (java) S 18209 18212 9814 0 -1 1077944384 3 13230 0 0 0 0 5 3 20 0 15 0 107134763 11259949056 49029 33554432000 4194304 4196468 140736201233936 140409124677856 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18278] ppid=18209 vsize=10996044 memory=279514593139584 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18278/stat : 18278 (java) S 18209 18212 9814 0 -1 1077944384 1 13230 0 0 0 0 5 3 20 0 15 0 107134763 11259949056 49029 33554432000 4194304 4196468 140736201233936 140410635414704 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 10996044 KiB

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

/proc/18212/task/18265/stat : 18265 (java) R 18209 18212 9814 0 -1 4202560 54945 13230 0 0 8700 22 5 3 20 0 15 0 107134757 11280941056 939608 33554432000 4194304 4196468 140736201233936 140411185465616 140410776332298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18266] ppid=18209 vsize=11016544 memory=3758440 CPUtime=13.5 cores=0,2,4,6
/proc/18212/task/18266/stat : 18266 (java) S 18209 18212 9814 0 -1 1077944384 30531 13230 0 0 1267 75 5 3 20 0 15 0 107134758 11280941056 939608 33554432000 4194304 4196468 140736201233936 140411217873552 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18267] ppid=18209 vsize=11016544 memory=3758440 CPUtime=13.61 cores=0,2,4,6
/proc/18212/task/18267/stat : 18267 (java) S 18209 18212 9814 0 -1 1077944384 30574 13230 0 0 1278 75 5 3 20 0 15 0 107134758 11280941056 939608 33554432000 4194304 4196468 140736201233936 140411072592400 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18268] ppid=18209 vsize=11016544 memory=3758432 CPUtime=13.51 cores=0,2,4,6
/proc/18212/task/18268/stat : 18268 (java) S 18209 18212 9814 0 -1 1077944384 19586 13230 0 0 1270 73 5 3 20 0 15 0 107134758 11280941056 939608 33554432000 4194304 4196468 140736201233936 140410752067984 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18269] ppid=18209 vsize=11016544 memory=4140 CPUtime=13.58 cores=0,2,4,6
/proc/18212/task/18269/stat : 18269 (java) S 18209 18212 9814 0 -1 1077944384 27898 13230 0 0 1276 74 5 3 20 0 15 0 107134758 11280941056 939608 33554432000 4194304 4196468 140736201233936 140410751015184 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18270] ppid=18209 vsize=11016544 memory=30568 CPUtime=1.35 cores=0,2,4,6
/proc/18212/task/18270/stat : 18270 (java) S 18209 18212 9814 0 -1 1077944384 30818 13230 0 0 125 2 5 3 20 0 15 0 107134760 11280941056 939608 33554432000 4194304 4196468 140736201233936 140410639625072 140411213642370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18271] ppid=18209 vsize=11016544 memory=3758440 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18271/stat : 18271 (java) S 18209 18212 9814 0 -1 1077944384 26 13230 0 0 0 0 5 3 20 0 15 0 107134760 11280941056 939608 33554432000 4194304 4196468 140736201233936 140410010724000 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18272] ppid=18209 vsize=11016544 memory=3758440 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18272/stat : 18272 (java) S 18209 18212 9814 0 -1 1077944384 36 13230 0 0 0 0 5 3 20 0 15 0 107134760 11280941056 939608 33554432000 4194304 4196468 140736201233936 140409862874496 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18273] ppid=18209 vsize=11016544 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18273/stat : 18273 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134763 11280941056 939608 33554432000 4194304 4196468 140736201233936 140409594440016 140411213649819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18274] ppid=18209 vsize=11016544 memory=2412 CPUtime=10.02 cores=0,2,4,6
/proc/18212/task/18274/stat : 18274 (java) S 18209 18212 9814 0 -1 1077944384 14147 13230 0 0 990 4 5 3 20 0 15 0 107134763 11280941056 939608 33554432000 4194304 4196468 140736201233936 140410638571888 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18275] ppid=18209 vsize=11016544 memory=0 CPUtime=10.47 cores=0,2,4,6
/proc/18212/task/18275/stat : 18275 (java) S 18209 18212 9814 0 -1 1077944384 13136 13230 0 0 1036 3 5 3 20 0 15 0 107134763 11280941056 939608 33554432000 4194304 4196468 140736201233936 140410637519088 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18276] ppid=18209 vsize=11016544 memory=7234303152781525078 CPUtime=3.35 cores=0,2,4,6
/proc/18212/task/18276/stat : 18276 (java) S 18209 18212 9814 0 -1 1077944384 16513 13230 0 0 323 4 5 3 20 0 15 0 107134763 11280941056 939608 33554432000 4194304 4196468 140736201233936 140410636466288 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18277] ppid=18209 vsize=11016544 memory=139757296895905 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18277/stat : 18277 (java) S 18209 18212 9814 0 -1 1077944384 3 13230 0 0 0 0 5 3 20 0 15 0 107134763 11280941056 939608 33554432000 4194304 4196468 140736201233936 140409124677856 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18278] ppid=18209 vsize=11016544 memory=7158617019771889817 CPUtime=0.13 cores=0,2,4,6
/proc/18212/task/18278/stat : 18278 (java) S 18209 18212 9814 0 -1 1077944384 638 13230 0 0 2 3 5 3 20 0 15 0 107134763 11280941056 939608 33554432000 4194304 4196468 140736201233936 140410635414704 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
Current children cumulated CPU time: 166.19 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3758432 KiB

[startup+162.301 s]
/proc/loadavg: 1.94 2.08 1.90 3/215 18409
/proc/meminfo: memFree=21325616/32770624 swapFree=67108436/67108860
[pid=18212] ppid=18209 vsize=11016544 memory=3761328 CPUtime=228.31 cores=0,2,4,6
/proc/18212/stat : 18212 (java) S 18209 18212 9814 0 -1 1077944320 269945 13230 0 0 22482 341 5 3 20 0 15 0 107134748 11280941056 940332 33554432000 4194304 4196468 140736201233936 140736201216480 140411213631223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
/proc/18212/statm: 2754136 940332 3538 1 0 2715789 0
[pid=18212/tid=18265] ppid=18209 vsize=11016544 memory=1784 CPUtime=146.77 cores=0,2,4,6
/proc/18212/task/18265/stat : 18265 (java) R 18209 18212 9814 0 -1 4202560 59210 13230 0 0 14647 22 5 3 20 0 15 0 107134757 11280941056 940332 33554432000 4194304 4196468 140736201233936 140411185463184 140410756756205 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18266] ppid=18209 vsize=11016544 memory=5752 CPUtime=13.96 cores=0,2,4,6
/proc/18212/task/18266/stat : 18266 (java) S 18209 18212 9814 0 -1 1077944384 32635 13230 0 0 1313 75 5 3 20 0 15 0 107134758 11280941056 940332 33554432000 4194304 4196468 140736201233936 140411217873552 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18267] ppid=18209 vsize=11016544 memory=4588 CPUtime=14.1 cores=0,2,4,6
/proc/18212/task/18267/stat : 18267 (java) S 18209 18212 9814 0 -1 1077944384 32545 13230 0 0 1327 75 5 3 20 0 15 0 107134758 11280941056 940332 33554432000 4194304 4196468 140736201233936 140411072592400 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18268] ppid=18209 vsize=11016544 memory=1612 CPUtime=14 cores=0,2,4,6
/proc/18212/task/18268/stat : 18268 (java) S 18209 18212 9814 0 -1 1077944384 23525 13230 0 0 1319 73 5 3 20 0 15 0 107134758 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410752067984 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18269] ppid=18209 vsize=11016544 memory=1228 CPUtime=14.05 cores=0,2,4,6
/proc/18212/task/18269/stat : 18269 (java) S 18209 18212 9814 0 -1 1077944384 30182 13230 0 0 1323 74 5 3 20 0 15 0 107134758 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410751015184 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18270] ppid=18209 vsize=11016544 memory=1852 CPUtime=1.37 cores=0,2,4,6
/proc/18212/task/18270/stat : 18270 (java) S 18209 18212 9814 0 -1 1077944384 31094 13230 0 0 127 2 5 3 20 0 15 0 107134760 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410639625072 140411213642370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18271] ppid=18209 vsize=11016544 memory=872 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18271/stat : 18271 (java) S 18209 18212 9814 0 -1 1077944384 26 13230 0 0 0 0 5 3 20 0 15 0 107134760 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410010724000 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18272] ppid=18209 vsize=11016544 memory=3761356 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18272/stat : 18272 (java) S 18209 18212 9814 0 -1 1077944384 36 13230 0 0 0 0 5 3 20 0 15 0 107134760 11280941056 940332 33554432000 4194304 4196468 140736201233936 140409862874496 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18273] ppid=18209 vsize=11016544 memory=1852 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18273/stat : 18273 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140409594440016 140411213649819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18274] ppid=18209 vsize=11016544 memory=872 CPUtime=10.32 cores=0,2,4,6
/proc/18212/task/18274/stat : 18274 (java) S 18209 18212 9814 0 -1 1077944384 18170 13230 0 0 1020 4 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410638571888 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18275] ppid=18209 vsize=11016544 memory=8076 CPUtime=10.77 cores=0,2,4,6
/proc/18212/task/18275/stat : 18275 (java) S 18209 18212 9814 0 -1 1077944384 17474 13230 0 0 1066 3 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410637519088 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18276] ppid=18209 vsize=11016544 memory=11648 CPUtime=3.42 cores=0,2,4,6
/proc/18212/task/18276/stat : 18276 (java) S 18209 18212 9814 0 -1 1077944384 22163 13230 0 0 330 4 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410636466288 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18277] ppid=18209 vsize=11016544 memory=796 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18277/stat : 18277 (java) S 18209 18212 9814 0 -1 1077944384 3 13230 0 0 0 0 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140409124677856 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18278] ppid=18209 vsize=11016544 memory=1388 CPUtime=0.16 cores=0,2,4,6
/proc/18212/task/18278/stat : 18278 (java) S 18209 18212 9814 0 -1 1077944384 687 13230 0 0 4 4 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410635414704 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
Current children cumulated CPU time: 228.31 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3761328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+185.401 s]
/proc/loadavg: 1.90 2.06 1.90 3/215 18409
/proc/meminfo: memFree=20968032/32770624 swapFree=67108436/67108860
[pid=18212] ppid=18209 vsize=11016544 memory=3761328 CPUtime=252.09 cores=0,2,4,6
/proc/18212/stat : 18212 (java) S 18209 18212 9814 0 -1 1077944320 281563 13230 0 0 24858 343 5 3 20 0 15 0 107134748 11280941056 940332 33554432000 4194304 4196468 140736201233936 140736201216480 140411213631223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
/proc/18212/statm: 2754136 940332 3538 1 0 2715789 0
[pid=18212/tid=18265] ppid=18209 vsize=11016544 memory=3761328 CPUtime=169.7 cores=0,2,4,6
/proc/18212/task/18265/stat : 18265 (java) R 18209 18212 9814 0 -1 4202560 61582 13230 0 0 16939 23 5 3 20 0 15 0 107134757 11280941056 940332 33554432000 4194304 4196468 140736201233936 140411185466464 140410777577381 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18266] ppid=18209 vsize=11016544 memory=3761328 CPUtime=14.13 cores=0,2,4,6
/proc/18212/task/18266/stat : 18266 (java) S 18209 18212 9814 0 -1 1077944384 34016 13230 0 0 1330 75 5 3 20 0 15 0 107134758 11280941056 940332 33554432000 4194304 4196468 140736201233936 140411217873552 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18267] ppid=18209 vsize=11016544 memory=3761328 CPUtime=14.27 cores=0,2,4,6
/proc/18212/task/18267/stat : 18267 (java) S 18209 18212 9814 0 -1 1077944384 34125 13230 0 0 1344 75 5 3 20 0 15 0 107134758 11280941056 940332 33554432000 4194304 4196468 140736201233936 140411072592400 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18268] ppid=18209 vsize=11016544 memory=3761332 CPUtime=14.16 cores=0,2,4,6
/proc/18212/task/18268/stat : 18268 (java) S 18209 18212 9814 0 -1 1077944384 24444 13230 0 0 1335 73 5 3 20 0 15 0 107134758 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410752067984 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18269] ppid=18209 vsize=11016544 memory=3761332 CPUtime=14.22 cores=0,2,4,6
/proc/18212/task/18269/stat : 18269 (java) S 18209 18212 9814 0 -1 1077944384 30643 13230 0 0 1340 74 5 3 20 0 15 0 107134758 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410751015184 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18270] ppid=18209 vsize=11016544 memory=3761328 CPUtime=1.37 cores=0,2,4,6
/proc/18212/task/18270/stat : 18270 (java) S 18209 18212 9814 0 -1 1077944384 31418 13230 0 0 127 2 5 3 20 0 15 0 107134760 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410639625072 140411213642370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18271] ppid=18209 vsize=11016544 memory=3761328 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18271/stat : 18271 (java) S 18209 18212 9814 0 -1 1077944384 26 13230 0 0 0 0 5 3 20 0 15 0 107134760 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410010724000 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18272] ppid=18209 vsize=11016544 memory=3761328 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18272/stat : 18272 (java) S 18209 18212 9814 0 -1 1077944384 36 13230 0 0 0 0 5 3 20 0 15 0 107134760 11280941056 940332 33554432000 4194304 4196468 140736201233936 140409862874496 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18273] ppid=18209 vsize=11016544 memory=1612 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18273/stat : 18273 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140409594440016 140411213649819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18274] ppid=18209 vsize=11016544 memory=1228 CPUtime=10.34 cores=0,2,4,6
/proc/18212/task/18274/stat : 18274 (java) S 18209 18212 9814 0 -1 1077944384 18837 13230 0 0 1022 4 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410638571888 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18275] ppid=18209 vsize=11016544 memory=6791534058613427641 CPUtime=10.9 cores=0,2,4,6
/proc/18212/task/18275/stat : 18275 (java) S 18209 18212 9814 0 -1 1077944384 20635 13230 0 0 1079 3 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410637519088 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18276] ppid=18209 vsize=11016544 memory=3761324 CPUtime=3.43 cores=0,2,4,6
/proc/18212/task/18276/stat : 18276 (java) S 18209 18212 9814 0 -1 1077944384 22884 13230 0 0 331 4 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410636466288 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18277] ppid=18209 vsize=11016544 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18277/stat : 18277 (java) S 18209 18212 9814 0 -1 1077944384 3 13230 0 0 0 0 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140409124677856 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18278] ppid=18209 vsize=11016544 memory=2412 CPUtime=0.17 cores=0,2,4,6
/proc/18212/task/18278/stat : 18278 (java) S 18209 18212 9814 0 -1 1077944384 719 13230 0 0 4 5 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410635414704 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3761328 KiB

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

[startup+185.48 s]
# the end of solver process 18212 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=248.68 s, system=3.50463 s

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

[startup+185.401 s]
/proc/loadavg: 1.90 2.06 1.90 3/215 18409
/proc/meminfo: memFree=20968032/32770624 swapFree=67108436/67108860
[pid=18212] ppid=18209 vsize=11016544 memory=3761328 CPUtime=252.09 cores=0,2,4,6
/proc/18212/stat : 18212 (java) S 18209 18212 9814 0 -1 1077944320 281563 13230 0 0 24858 343 5 3 20 0 15 0 107134748 11280941056 940332 33554432000 4194304 4196468 140736201233936 140736201216480 140411213631223 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
/proc/18212/statm: 2754136 940332 3538 1 0 2715789 0
[pid=18212/tid=18265] ppid=18209 vsize=11016544 memory=3761328 CPUtime=169.7 cores=0,2,4,6
/proc/18212/task/18265/stat : 18265 (java) R 18209 18212 9814 0 -1 4202560 61582 13230 0 0 16939 23 5 3 20 0 15 0 107134757 11280941056 940332 33554432000 4194304 4196468 140736201233936 140411185466464 140410777577381 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18266] ppid=18209 vsize=11016544 memory=3761328 CPUtime=14.13 cores=0,2,4,6
/proc/18212/task/18266/stat : 18266 (java) S 18209 18212 9814 0 -1 1077944384 34016 13230 0 0 1330 75 5 3 20 0 15 0 107134758 11280941056 940332 33554432000 4194304 4196468 140736201233936 140411217873552 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18267] ppid=18209 vsize=11016544 memory=3761328 CPUtime=14.27 cores=0,2,4,6
/proc/18212/task/18267/stat : 18267 (java) S 18209 18212 9814 0 -1 1077944384 34125 13230 0 0 1344 75 5 3 20 0 15 0 107134758 11280941056 940332 33554432000 4194304 4196468 140736201233936 140411072592400 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18268] ppid=18209 vsize=11016544 memory=3761332 CPUtime=14.16 cores=0,2,4,6
/proc/18212/task/18268/stat : 18268 (java) S 18209 18212 9814 0 -1 1077944384 24444 13230 0 0 1335 73 5 3 20 0 15 0 107134758 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410752067984 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18269] ppid=18209 vsize=11016544 memory=3761332 CPUtime=14.22 cores=0,2,4,6
/proc/18212/task/18269/stat : 18269 (java) S 18209 18212 9814 0 -1 1077944384 30643 13230 0 0 1340 74 5 3 20 0 15 0 107134758 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410751015184 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18270] ppid=18209 vsize=11016544 memory=3761328 CPUtime=1.37 cores=0,2,4,6
/proc/18212/task/18270/stat : 18270 (java) S 18209 18212 9814 0 -1 1077944384 31418 13230 0 0 127 2 5 3 20 0 15 0 107134760 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410639625072 140411213642370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18271] ppid=18209 vsize=11016544 memory=3761328 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18271/stat : 18271 (java) S 18209 18212 9814 0 -1 1077944384 26 13230 0 0 0 0 5 3 20 0 15 0 107134760 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410010724000 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18272] ppid=18209 vsize=11016544 memory=3761328 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18272/stat : 18272 (java) S 18209 18212 9814 0 -1 1077944384 36 13230 0 0 0 0 5 3 20 0 15 0 107134760 11280941056 940332 33554432000 4194304 4196468 140736201233936 140409862874496 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18273] ppid=18209 vsize=11016544 memory=1612 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18273/stat : 18273 (java) S 18209 18212 9814 0 -1 1077944384 2 13230 0 0 0 0 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140409594440016 140411213649819 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18274] ppid=18209 vsize=11016544 memory=1228 CPUtime=10.34 cores=0,2,4,6
/proc/18212/task/18274/stat : 18274 (java) S 18209 18212 9814 0 -1 1077944384 18837 13230 0 0 1022 4 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410638571888 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18275] ppid=18209 vsize=11016544 memory=6791534058613427641 CPUtime=10.9 cores=0,2,4,6
/proc/18212/task/18275/stat : 18275 (java) S 18209 18212 9814 0 -1 1077944384 20635 13230 0 0 1079 3 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410637519088 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18276] ppid=18209 vsize=11016544 memory=3761324 CPUtime=3.43 cores=0,2,4,6
/proc/18212/task/18276/stat : 18276 (java) S 18209 18212 9814 0 -1 1077944384 22884 13230 0 0 331 4 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410636466288 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18277] ppid=18209 vsize=11016544 memory=1296 CPUtime=0.08 cores=0,2,4,6
/proc/18212/task/18277/stat : 18277 (java) S 18209 18212 9814 0 -1 1077944384 3 13230 0 0 0 0 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140409124677856 140411213641429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
[pid=18212/tid=18278] ppid=18209 vsize=11016544 memory=2412 CPUtime=0.17 cores=0,2,4,6
/proc/18212/task/18278/stat : 18278 (java) S 18209 18212 9814 0 -1 1077944384 719 13230 0 0 4 5 5 3 20 0 15 0 107134763 11280941056 940332 33554432000 4194304 4196468 140736201233936 140410635414704 140411213642370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24330240 140736201239153 140736201241953 140736201241953 140736201244623 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3761328 KiB

Child status: 143
Real time (s): 185.48
CPU time (s): 252.185
CPU user time (s): 248.68
CPU system time (s): 3.50463
CPU usage (%): 135.964
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 3761440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.68
system time used= 3.50463
maximum resident set size= 3765476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 297346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17077
involuntary context switches= 985


# summary of solver processes directly reported to runsolver:
#   pid: 18212
#   total CPU time (s): 252.185
#   total CPU user time (s): 248.68
#   total CPU system time (s): 3.50463

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.05914 second user time and 1.82137 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-29 22:21:56
IDJOB=4302558
IDBENCH=141202
IDSOLVER=2776
FILE ID=node137/4302558-1532895716
RUNJOBID= node137-1532893235-14549
PBS_JOBID= 21022513
Free space on /tmp= 48508 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-10-opt_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302558-1532895716/watcher-4302558-1532895716 -o /tmp/evaluation-result-4302558-1532895716/solver-4302558-1532895716 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14549 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1306470160 HOME/instance-4302558-1532895716.xml

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

MD5SUM BENCH= 5aacc3d423af8ffef3990b4c8ed069d4
RANDOM SEED=1306470160

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24599192 kB
MemAvailable:   28406456 kB
Buffers:          217840 kB
Cached:          3825480 kB
SwapCached:           32 kB
Active:          5321180 kB
Inactive:        2299276 kB
Active(anon):    3525236 kB
Inactive(anon):    79972 kB
Active(file):    1795944 kB
Inactive(file):  2219304 kB
Unevictable:        7424 kB
Mlocked:            7424 kB
SwapTotal:      67108860 kB
SwapFree:       67108436 kB
Dirty:             27332 kB
Writeback:             0 kB
AnonPages:       3595136 kB
Mapped:            55860 kB
Shmem:             25052 kB
Slab:             244344 kB
SReclaimable:     215704 kB
SUnreclaim:        28640 kB
KernelStack:        3792 kB
PageTables:        12236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4473428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3342336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48484 MiB
End job on node137 at 2018-07-29 22:25:01