Trace number 4302942

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)376869124 252.243 167.092

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-16-0260_c18.xml
MD5SUM3d35ef38e8714b8368aba06bbd25b59a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark372140116
Best CPU time to get the best result obtained on this benchmark252.068
Satisfiable
(Un)Satisfiability was proved
Number of variables6038
Number of constraints3927
Number of domains31
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":2094},{"size":11,"count":1839},{"size":12,"count":1},{"size":21,"count":98},{"size":23,"count":52},{"size":33,"count":21},{"size":35,"count":35},{"size":39,"count":50},{"size":41,"count":27},{"size":43,"count":72},{"size":45,"count":55},{"size":59,"count":83},{"size":65,"count":46},{"size":67,"count":53},{"size":83,"count":41},{"size":99,"count":155},{"size":111,"count":164},{"size":114,"count":81},{"size":126,"count":165},{"size":146,"count":205},{"size":151,"count":696}]
Minimum variable degree2
Maximum variable degree1840
Distribution of variable degrees[{"degree":2,"count":5517},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":4},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":17},{"degree":10,"count":28},{"degree":11,"count":24},{"degree":12,"count":23},{"degree":13,"count":37},{"degree":14,"count":44},{"degree":15,"count":45},{"degree":16,"count":38},{"degree":17,"count":46},{"degree":18,"count":63},{"degree":19,"count":76},{"degree":20,"count":46},{"degree":1840,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":249},{"arity":3,"count":1839},{"arity":6,"count":1839}]
Number of extensional constraints1839
Number of intensional constraints2088
Distribution of constraint types[{"type":"extension","count":1839},{"type":"intension","count":2088}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.98/0.75	c Concrete v3.9.2.1532736233296 running
102.47/57.82	o 376869124
252.09/167.02	Exception in thread "main" java.util.concurrent.TimeoutException
252.09/167.02		at concrete.MAC.mac(MAC.scala:188)
252.09/167.02		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.09/167.02		at scala.util.Try$.apply(Try.scala:209)
252.09/167.02		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.09/167.02		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.09/167.02		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.09/167.02		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.09/167.02		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.09/167.02		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.09/167.02		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.09/167.02		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.09/167.02		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.09/167.02		at concrete.MAC.oneRun(MAC.scala:253)
252.09/167.02		at concrete.MAC.nextSolution(MAC.scala:272)
252.09/167.03		at concrete.MAC.nextSolution(MAC.scala:355)
252.09/167.03		at concrete.Solver.hasNext(Solver.scala:166)
252.09/167.03		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.09/167.03		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.09/167.03		at concrete.Solver.foreach(Solver.scala:68)
252.09/167.03		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.09/167.03		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.09/167.03		at scala.util.Success.map(Try.scala:209)
252.09/167.03		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.09/167.03		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.09/167.03		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.09/167.03		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.09/167.03		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.09/167.03		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.09/167.03		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.09/167.03		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.09/167.03		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.09/167.03		at scala.collection.immutable.List.foreach(List.scala:389)
252.09/167.03		at scala.App.main(App.scala:76)
252.09/167.03		at scala.App.main$(App.scala:74)
252.09/167.03		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.09/167.03		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.09/167.04	v <instantiation cost="376869124">
252.09/167.04	v       <list>
252.09/167.04	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838]
252.09/167.04	v       </list>
252.09/167.04	v       <values>
252.09/167.04	v         2468 2240 2220 2760 2508 2544 2664 2668 2420 2340 2756 2760 2220 2532 2532 2260 2636 2404 2592 2448 2468 2720 2468 2584 2720 2800 2612 2800 2592 2760 2800 2760 2796 2280 2476 2820 2680 2244 2652 2628 2800 2428 2780 2516 2584 2476 2492 2780 2780 2632 2820 2596 2628 2220 2268 2476 2428 2720 2544 2488 2284 2544 2460 2520 2464 2772 2680 2220 2452 2800 2668 2780 2384 2492 2720 2820 2324 2260 2428 2548 2476 2780 2344 2428 2476 2800 2228 2760 2760 2220 2720 2760 2780 2280 2320 2432 2776 2488 2412 2632 2272 2260 2680 2544 2624 2476 2220 2300 2752 2704 2380 2544 2444 2220 2464 2344 2220 2760 2800 2572 2448 2672 2584 2260 2672 2780 2284 2820 2260 2260 2532 2516 2380 2628 2472 2244 2364 2760 2240 2220 2720 2220 2544 2452 2776 2428 2680 2304 2504 2260 2800 2420 2492 2760 2820 2664 2816 2800 2820 2556 2268 2468 2468 2632 2720 2584 2312 2436 2420 2220 2740 2380 2780 2680 2652 2560 2420 2584 2424 2796 2492 2428 2820 2632 2664 2404 2812 2240 2244 2428 2392 2508 2668 2760 2720 2420 2364 2720 2424 2764 2672 2464 2532 2516 2816 2720 2304 2812 2780 2260 2424 2612 2308 2624 2760 2280 2712 2772 2220 2680 2572 2468 2672 2756 2260 2584 2624 2584 2804 2468 2284 2380 2360 2800 2712 2820 2532 2492 2424 2432 2452 2760 2380 2516 2260 2640 2420 2492 2760 2760 2420 2532 2792 2260 2380 2516 2596 2260 2468 2464 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 0 0 1 11 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 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 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 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 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 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 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 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 9 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 10 10 0 0 0 10 0 10 0 0 0 9 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 10 10 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 6 0 10 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 10 10 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 9 10 1 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 10 10 0 9 0 0 0 0 10 0 0 0 10 0 0 10 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 9 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 10 10 0 0 10 0 10 0 0 0 0 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 10 0 0 0 10 0 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 4 0 10 0 0 0 0 10 10 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 10 9 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 10 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 9 0 0 0 0 0 0 0 10 0 10 0 9 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 0 0 0 10 0 0 10 0 0 10 0 10 10 0 0 0 10 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 0 10 10 0 0 0 10 10 0 0 0 0 0 0 7 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 10 10 0 10 0 0 0 10 0 0 10 0 0 10 0 0 10 332 188 312 200 292 248 252 148 236 24 104 48 4 344 292 532 248 304 224 208 20 580 28 424 4 480 40 344 20 400 520 448 200 228 500 300 104 208 324 560 204 600 244 516 520 380 16 312 240 80 252 224 80 248 252 308 172 248 116 76 300 136 68 264 232 136 324 216 12 176 136 220 212 184 92 284 52 28 76 244 404 12 188 108 56 404 236 380 172 32 192 208 12 152 240 304 216 164 208 400 200 340 136 28 340 60 380 420 288 80 4 284 120 364 332 80 192 40 380 420 480 340 124 84 44 240 16 44 328 392 44 264 124 240 496 4 4 4 496 288 176 92 376 60 340 40 56 268 228 312 576 40 540 500 532 324 252 580 600 216 144 404 272 228 268 312 100 244 248 16 228 112 288 288 108 16 108 228 64 104 92 224 152 152 68 188 228 284 512 32 20 104 168 44 160 460 168 256 312 544 160 160 164 312 160 144 144 32 376 120 376 156 84 356 124 120 112 100 248 228 24 408 376 168 24 76 40 76 48 140 88 88 40 80 80 8 200 352 352 228 28 352 188 256 224 164 232 352 68 184 56 124 20 4 116 224 48 196 228 252 292 164 252 48 252 24 88 80 228 292 40 500 300 80 340 164 160 4 352 80 252 48 224 36 208 332 156 292 176 68 92 132 324 240 356 304 120 272 228 192 76 304 204 116 92 204 80 60 228 256 188 340 500 176 160 100 8 136 80 228 20 340 580 348 372 168 120 580 128 540 296 308 284 268 168 136 352 136 168 352 140 128 352 208 40 40 372 372 80 80 368 456 216 172 80 380 364 120 440 40 268 36 116 128 132 128 140 228 80 480 80 272 12 40 500 136 176 540 60 176 20 340 4 20 256 324 456 580 240 556 540 332 420 348 380 216 16 288 456 92 340 280 512 168 324 252 344 376 20 372 8 84 364 540 148 104 480 292 392 188 536 304 236 512 236 152 304 48 48 284 256 284 192 256 24 40 40 40 548 520 348 60 60 136 100 460 376 16 84 8 420 184 528 28 200 536 184 340 436 184 420 568 220 64 136 16 248 220 368 120 272 180 168 168 160 68 120 28 292 60 392 44 40 136 368 84 124 208 388 16 4 172 132 32 308 80 480 48 268 488 60 380 168 492 40 8 420 88 48 64 120 332 36 388 392 64 168 148 560 76 540 40 100 220 32 16 32 196 68 356 28 296 32 48 224 296 152 244 296 276 108 188 132 356 136 140 324 136 216 76 40 176 68 304 0 204 304 244 48 72 68 284 28 148 108 56 284 140 4 32 168 232 308 328 72 16 272 180 312 24 148 560 292 500 308 100 476 288 128 220 288 352 540 388 208 8 0 20 20 108 128 360 264 20 204 88 4 196 252 148 180 184 180 168 128 372 60 332 376 356 60 600 264 552 352 352 236 416 576 56 60 400 108 168 204 316 216 52 292 204 168 204 24 76 208 236 64 336 216 92 196 44 204 188 268 64 104 580 460 460 84 540 432 20 208 172 352 492 264 248 412 200 68 192 16 48 64 188 344 80 192 244 112 172 280 12 64 168 48 392 40 204 208 224 0 388 48 8 260 244 48 0 56 500 160 460 136 340 460 236 216 164 128 12 84 176 52 124 176 268 284 236 324 184 124 284 76 232 144 216 124 192 184 164 248 60 228 84 316 180 496 40 24 532 96 276 496 140 476 184 84 56 68 128 324 76 304 36 176 128 136 52 200 164 160 220 340 32 360 4 356 320 164 28 300 104 24 64 236 300 108 276 36 300 140 300 96 104 12 100 28 260 356 296 312 204 204 68 160 40 204 224 72 68 216 356 328 428 12 188 4 344 28 512 120 80 48 24 120 208 440 172 316 256 96 260 192 80 580 560 324 580 248 444 144 84 64 160 40 108 268 228 0 52 368 140 16 72 180 144 16 28 340 192 252 24 388 352 256 580 4 176 204 284 192 12 196 364 356 4 276 448 384 72 60 148 520 468 400 540 100 196 348 264 108 160 396 44 108 124 376 256 376 328 64 4 192 268 272 72 68 188 180 268 300 376 448 40 100 356 188 96 148 340 360 188 228 40 60 0 0 188 508 540 400 288 28 300 152 456 180 356 344 440 140 448 56 168 284 40 540 412 256 480 460 104 208 324 24 100 332 128 332 156 200 116 76 36 244 344 40 88 228 228 124 76 44 56 80 128 120 36 288 156 64 24 48 208 204 284 44 76 108 328 456 64 436 60 100 20 40 84 104 84 80 228 200 332 252 104 88 40 204 4 244 24 88 44 196 284 244 256 108 16 572 520 516 80 120 496 560 372 80 80 376 228 380 56 16 452 76 12 164 280 444 344 576 192 0 20 96 108 396 0 216 244 216 492 176 324 20 336 268 516 500 0 328 268 500 540 296 408 540 200 204 312 312 16 80 88 8 328 8 316 312 288 540 256 40 356 148 336 500 480 20 60 520 60 264 84 24 156 100 400 372 148 112 292 524 456 100 440 352 352 352 496 460 12 60 12 88 16 212 368 348 28 128 152 60 96 432 556 532 324 144 556 36 56 192 396 44 144 40 68 220 20 68 84 276 184 124 208 108 112 172 408 216 40 92 192 260 400 268 152 56 88 128 412 20 32 168 100 52 356 148 196 108 148 152 540 488 244 488 192 184 412 160 160 168 412 520 364 272 8 164 244 252 56 320 188 300 260 212 176 136 256 120 176 76 80 96 196 188 136 96 216 264 56 192 204 56 8 484 40 296 232 296 272 500 168 496 64 164 80 508 48 388 236 68 328 8 372 188 232 148 56 240 24 420 56 300 284 68 204 152 112 152 412 28 128 40 276 80 136 76 52 248 20 112 176 40 320 140 164 20 184 312 0 324 312 296 536 312 120 16 244 92 196 4 60 220 300 148 184 296 204 456 212 60 100 420 64 296 84 452 452 252 596 364 540 88 364 160 296 88 20 268 40 88 48 164 332 80 436 120 268 540 80 136 248 40 80 68 4 180 204 224 368 188 228 344 188 388 452 68 44 136 236 272 148 220 136 180 188 0 284 560 560 296 160 556 48 20 540 560 172 0 252 108 88 244 148 208 0 412 140 328 312 560 40 400 540 12 316 396 348 140 208 44 108 388 472 24 600 8 100 396 236 388 560 372 480 520 500 324 24 452 288 152 108 152 204 88 232 156 84 88 180 432 204 84 176 192 360 92 4 268 248 248 192 164 288 176 120 520 60 568 340 380 116 352 356 308 152 208 220 396 428 176 540 380 52 308 20 556 184 384 432 120 356 500 600 392 404 244 300 476 96 340 72 336 92 24 448 544 84 392 60 420 40 216 76 324 260 184 216 248 268 88 64 328 192 72 64 12 308 16 284 64 204 292 212 252 288 40 256 300 212 456 348 124 268 316 216 196 284 120 80 28 52 160 164 44 324 164 580 80 20 492 332 516 308 300 0 48 136 112 48 112 188 304 228 24 120 132 40 300 52 516 48 268 416 456 152 80 104 132 200 96 244 136 256 396 576 384 176 132 40 44 88 420 332 80 260 148 40 600 288 312 208 252 56 276 64 84 296 200 364 396 136 492 36 344 492 8 156 48 116 64 224 144 188 172 332 48 208 412 148 48 180 100 116 184 140 180 164 168 284 92 500 252 188 148 196 236 176 160 176 116 112 244 196 28 188 32 188 204 40 208 76 20 316 232 376 360 400 40 248 12 212 188 80 260 68 188 120 80 104 152 160 136 340 300 392 252 60 340 324 204 324 4 36 212 328 92 36 80 292 384 40 8 88 152 236 388 352 184 412 372 48 252 356 284 96 160 360 208 124 128 236 16 128 144 392 132 520 480 332 228 564 476 520 36 332 144 328 376 332 48 32 88 412 288 248 40 224 312 204 56 92 104 44 408 40 336 500 476 228 268 100 392 340 380 408 144 168 136 188 288 460 40 72 144 148 460 484 140 504 364 48 156 4 180 32 296 296 392 12 460 300 24 336 456 44 100 344 100 20 324 256 44 68 332 12 28 192 512 144 364 156 176 92 136 12 32 304 360 0 180 452 352 600 200 148 232 156 116 332 24 44 292 132 128 412 324 292 364 500 204 176 92 28 300 92 384 172 292 64 536 420 380 40 120 84 220 352 112 104 192 64 152 256 256 336 120 72 48 500 164
252.09/167.04	v       </values>
252.09/167.04	v     </instantiation>
252.09/167.04	s SATISFIABLE

Verifier Data 

OK	376869124

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

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

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

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


[startup+0.100118 s]*
/proc/loadavg: 2.05 1.81 1.79 3/203 26873
/proc/meminfo: memFree=24116972/32770624 swapFree=67108860/67108860
[pid=26819] ppid=26816 vsize=10005480 memory=18328 CPUtime=0.08 cores=0,2,4,6
/proc/26819/stat : 26819 (java) S 26816 26819 13514 0 -1 1077944320 4229 13269 0 0 1 0 4 3 20 0 6 0 107225790 10245611520 4582 33554432000 4194304 4196468 140721271729984 140721271712528 140122110963447 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
/proc/26819/statm: 2501370 4582 1931 1 0 2489808 0
[pid=26819/tid=26872] ppid=26816 vsize=10005480 memory=4279135704047190159 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26872/stat : 26872 (java) R 26816 26819 13514 0 -1 4202560 2031 13269 0 0 0 0 4 3 20 0 6 0 107225799 10245611520 4582 33554432000 4194304 4196468 140721271729984 140122082800208 140122096645973 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26873] ppid=26816 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26873/stat : 26873 (java) S 26816 26819 13514 0 -1 1077944384 2 13269 0 0 0 0 4 3 20 0 6 0 107225800 10245611520 4582 33554432000 4194304 4196468 140721271729984 140122115205904 140122110973653 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26874] ppid=26816 vsize=10005480 memory=140499258807936 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26874/stat : 26874 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 6 0 107225800 10245611520 4582 33554432000 4194304 4196468 140721271729984 140121969925008 140122110973653 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26875] ppid=26816 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26875/stat : 26875 (java) S 26816 26819 13514 0 -1 1077944384 2 13269 0 0 0 0 4 3 20 0 6 0 107225800 10245611520 4582 33554432000 4194304 4196468 140721271729984 140121968872464 140122110973653 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26876] ppid=26816 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26876/stat : 26876 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 6 0 107225800 10245611520 4582 33554432000 4194304 4196468 140721271729984 140121967819920 140122110973653 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18328 KiB

[startup+0.210743 s]*
/proc/loadavg: 2.05 1.81 1.79 3/215 26885
/proc/meminfo: memFree=24092640/32770624 swapFree=67108860/67108860
[pid=26819] ppid=26816 vsize=10982744 memory=43096 CPUtime=0.25 cores=0,2,4,6
/proc/26819/stat : 26819 (java) S 26816 26819 13514 0 -1 1077944320 6949 13269 0 0 16 2 4 3 20 0 15 0 107225790 11246329856 10774 33554432000 4194304 4196468 140721271729984 140721271712528 140122110963447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
/proc/26819/statm: 2745686 10774 2947 1 0 2708109 0
[pid=26819/tid=26872] ppid=26816 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/26819/task/26872/stat : 26872 (java) R 26816 26819 13514 0 -1 4202560 3503 13269 0 0 10 1 4 3 20 0 15 0 107225799 11246329856 10774 33554432000 4194304 4196468 140721271729984 140122082785352 140122092526991 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26873] ppid=26816 vsize=10982744 memory=339 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26873/stat : 26873 (java) S 26816 26819 13514 0 -1 1077944384 2 13269 0 0 0 0 4 3 20 0 15 0 107225800 11246329856 10774 33554432000 4194304 4196468 140721271729984 140122115205904 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26874] ppid=26816 vsize=10982744 memory=3617997964136257184 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26874/stat : 26874 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 15 0 107225800 11246329856 10774 33554432000 4194304 4196468 140721271729984 140121969925008 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26875] ppid=26816 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26875/stat : 26875 (java) S 26816 26819 13514 0 -1 1077944384 2 13269 0 0 0 0 4 3 20 0 15 0 107225800 11246329856 10774 33554432000 4194304 4196468 140721271729984 140121968872464 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26876] ppid=26816 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26876/stat : 26876 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 15 0 107225800 11246329856 10774 33554432000 4194304 4196468 140721271729984 140121967819920 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26877] ppid=26816 vsize=10982744 memory=140499258807936 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26877/stat : 26877 (java) S 26816 26819 13514 0 -1 1077944384 2 13269 0 0 0 0 4 3 20 0 15 0 107225801 11246329856 10774 33554432000 4194304 4196468 140721271729984 140121536808944 140122110974594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26878] ppid=26816 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26878/stat : 26878 (java) S 26816 26819 13514 0 -1 1077944384 13 13269 0 0 0 0 4 3 20 0 15 0 107225802 11246329856 10774 33554432000 4194304 4196468 140721271729984 140120905737120 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26879] ppid=26816 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26879/stat : 26879 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 15 0 107225802 11246329856 10774 33554432000 4194304 4196468 140721271729984 140120757887984 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26880] ppid=26816 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26880/stat : 26880 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11246329856 10774 33554432000 4194304 4196468 140721271729984 140120450488528 140122110982043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26881] ppid=26816 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26819/task/26881/stat : 26881 (java) S 26816 26819 13514 0 -1 1077944384 363 13269 0 0 1 0 4 3 20 0 15 0 107225805 11246329856 10774 33554432000 4194304 4196468 140721271729984 140121535756784 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26882] ppid=26816 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26882/stat : 26882 (java) S 26816 26819 13514 0 -1 1077944384 249 13269 0 0 0 0 4 3 20 0 15 0 107225805 11246329856 10774 33554432000 4194304 4196468 140721271729984 140121534704240 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26883] ppid=26816 vsize=10982744 memory=140499258807936 CPUtime=0.1 cores=0,2,4,6
/proc/26819/task/26883/stat : 26883 (java) S 26816 26819 13514 0 -1 1077944384 609 13269 0 0 3 0 4 3 20 0 15 0 107225805 11246329856 10774 33554432000 4194304 4196468 140721271729984 140121533651696 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26884] ppid=26816 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26884/stat : 26884 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11246329856 10774 33554432000 4194304 4196468 140721271729984 140120019692640 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26885] ppid=26816 vsize=10982744 memory=140499258807936 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26885/stat : 26885 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 15 0 107225805 11246329856 10774 33554432000 4194304 4196468 140721271729984 140121532598576 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43096 KiB

[startup+0.310123 s]*
/proc/loadavg: 2.05 1.81 1.79 3/215 26885
/proc/meminfo: memFree=24080236/32770624 swapFree=67108860/67108860
[pid=26819] ppid=26816 vsize=10983192 memory=56004 CPUtime=0.38 cores=0,2,4,6
/proc/26819/stat : 26819 (java) S 26816 26819 13514 0 -1 1077944320 10034 13269 0 0 28 3 4 3 20 0 15 0 107225790 11246788608 13935 33554432000 4194304 4196468 140721271729984 140721271712528 140122110963447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
/proc/26819/statm: 2745798 14001 3066 1 0 2708109 0
[pid=26819/tid=26872] ppid=26816 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/26819/task/26872/stat : 26872 (java) R 26816 26819 13514 0 -1 4202560 6598 13269 0 0 19 1 4 3 20 0 15 0 107225799 11246788608 14001 33554432000 4194304 4196468 140721271729984 140122082775456 140122103200574 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26873] ppid=26816 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26873/stat : 26873 (java) S 26816 26819 13514 0 -1 1077944384 2 13269 0 0 0 0 4 3 20 0 15 0 107225800 11246788608 14001 33554432000 4194304 4196468 140721271729984 140122115205904 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26874] ppid=26816 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26874/stat : 26874 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 15 0 107225800 11246788608 14001 33554432000 4194304 4196468 140721271729984 140121969925008 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26875] ppid=26816 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26875/stat : 26875 (java) S 26816 26819 13514 0 -1 1077944384 2 13269 0 0 0 0 4 3 20 0 15 0 107225800 11246788608 14001 33554432000 4194304 4196468 140721271729984 140121968872464 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26876] ppid=26816 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26876/stat : 26876 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 15 0 107225800 11246788608 14001 33554432000 4194304 4196468 140721271729984 140121967819920 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26877] ppid=26816 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26877/stat : 26877 (java) S 26816 26819 13514 0 -1 1077944384 2 13269 0 0 0 0 4 3 20 0 15 0 107225801 11246788608 14001 33554432000 4194304 4196468 140721271729984 140121536808944 140122110974594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26878] ppid=26816 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26878/stat : 26878 (java) S 26816 26819 13514 0 -1 1077944384 13 13269 0 0 0 0 4 3 20 0 15 0 107225802 11246788608 14001 33554432000 4194304 4196468 140721271729984 140120905737120 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26879] ppid=26816 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26879/stat : 26879 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 15 0 107225802 11246788608 14001 33554432000 4194304 4196468 140721271729984 140120757887984 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26880] ppid=26816 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26880/stat : 26880 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11246788608 14001 33554432000 4194304 4196468 140721271729984 140120450488528 140122110982043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26881] ppid=26816 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26819/task/26881/stat : 26881 (java) S 26816 26819 13514 0 -1 1077944384 363 13269 0 0 1 0 4 3 20 0 15 0 107225805 11246788608 14067 33554432000 4194304 4196468 140721271729984 140121535756784 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26882] ppid=26816 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/26819/task/26882/stat : 26882 (java) S 26816 26819 13514 0 -1 1077944384 252 13269 0 0 1 0 4 3 20 0 15 0 107225805 11246788608 14067 33554432000 4194304 4196468 140721271729984 140121534704240 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26883] ppid=26816 vsize=10983192 memory=140499258807936 CPUtime=0.12 cores=0,2,4,6
/proc/26819/task/26883/stat : 26883 (java) S 26816 26819 13514 0 -1 1077944384 619 13269 0 0 5 0 4 3 20 0 15 0 107225805 11246788608 14067 33554432000 4194304 4196468 140721271729984 140121533651696 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26884] ppid=26816 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26884/stat : 26884 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11246788608 14067 33554432000 4194304 4196468 140721271729984 140120019692640 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26885] ppid=26816 vsize=10983192 memory=140499258807936 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26885/stat : 26885 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 15 0 107225805 11246788608 14067 33554432000 4194304 4196468 140721271729984 140121532598576 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56004 KiB

[startup+0.700702 s]
/proc/loadavg: 2.05 1.81 1.79 3/215 26885
/proc/meminfo: memFree=24070844/32770624 swapFree=67108860/67108860
[pid=26819] ppid=26816 vsize=10983192 memory=89024 CPUtime=0.98 cores=0,2,4,6
/proc/26819/stat : 26819 (java) S 26816 26819 13514 0 -1 1077944320 16381 13269 0 0 87 4 4 3 20 0 15 0 107225790 11246788608 22256 33554432000 4194304 4196468 140721271729984 140721271712528 140122110963447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
/proc/26819/statm: 2745798 22256 3238 1 0 2708109 0
[pid=26819/tid=26872] ppid=26816 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/26819/task/26872/stat : 26872 (java) R 26816 26819 13514 0 -1 4202560 11810 13269 0 0 55 3 4 3 20 0 15 0 107225799 11246788608 22256 33554432000 4194304 4196468 140721271729984 140122082786448 140122095043934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26873] ppid=26816 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26873/stat : 26873 (java) S 26816 26819 13514 0 -1 1077944384 2 13269 0 0 0 0 4 3 20 0 15 0 107225800 11246788608 22256 33554432000 4194304 4196468 140721271729984 140122115205904 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26874] ppid=26816 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26874/stat : 26874 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 15 0 107225800 11246788608 22256 33554432000 4194304 4196468 140721271729984 140121969925008 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26875] ppid=26816 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26875/stat : 26875 (java) S 26816 26819 13514 0 -1 1077944384 2 13269 0 0 0 0 4 3 20 0 15 0 107225800 11246788608 22256 33554432000 4194304 4196468 140721271729984 140121968872464 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26876] ppid=26816 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26876/stat : 26876 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 15 0 107225800 11246788608 22256 33554432000 4194304 4196468 140721271729984 140121967819920 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26877] ppid=26816 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26877/stat : 26877 (java) S 26816 26819 13514 0 -1 1077944384 6 13269 0 0 0 0 4 3 20 0 15 0 107225801 11246788608 22256 33554432000 4194304 4196468 140721271729984 140121536808944 140122110974594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26878] ppid=26816 vsize=10983192 memory=140499117814448 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26878/stat : 26878 (java) S 26816 26819 13514 0 -1 1077944384 13 13269 0 0 0 0 4 3 20 0 15 0 107225802 11246788608 22256 33554432000 4194304 4196468 140721271729984 140120905737120 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26879] ppid=26816 vsize=10983192 memory=140501265154640 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26879/stat : 26879 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 15 0 107225802 11246788608 22256 33554432000 4194304 4196468 140721271729984 140120757887984 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26880] ppid=26816 vsize=10983192 memory=1020 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26880/stat : 26880 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11246788608 22256 33554432000 4194304 4196468 140721271729984 140120450488528 140122110982043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26881] ppid=26816 vsize=10983192 memory=7089042195949315648 CPUtime=0.17 cores=0,2,4,6
/proc/26819/task/26881/stat : 26881 (java) S 26816 26819 13514 0 -1 1077944384 1047 13269 0 0 10 0 4 3 20 0 15 0 107225805 11246788608 22256 33554432000 4194304 4196468 140721271729984 140121535756784 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26882] ppid=26816 vsize=10983192 memory=7881696724453321575 CPUtime=0.14 cores=0,2,4,6
/proc/26819/task/26882/stat : 26882 (java) S 26816 26819 13514 0 -1 1077944384 626 13269 0 0 7 0 4 3 20 0 15 0 107225805 11246788608 22256 33554432000 4194304 4196468 140721271729984 140121534704240 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26883] ppid=26816 vsize=10983192 memory=5789189752906409301 CPUtime=0.2 cores=0,2,4,6
/proc/26819/task/26883/stat : 26883 (java) S 26816 26819 13514 0 -1 1077944384 672 13269 0 0 13 0 4 3 20 0 15 0 107225805 11246788608 22256 33554432000 4194304 4196468 140721271729984 140121533651696 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26884] ppid=26816 vsize=10983192 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26884/stat : 26884 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11246788608 22256 33554432000 4194304 4196468 140721271729984 140120019692640 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26885] ppid=26816 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26885/stat : 26885 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 15 0 107225805 11246788608 22256 33554432000 4194304 4196468 140721271729984 140121532598576 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89024 KiB

[startup+1.50941 s]
/proc/loadavg: 2.05 1.81 1.79 3/215 26885
/proc/meminfo: memFree=24027448/32770624 swapFree=67108860/67108860
[pid=26819] ppid=26816 vsize=10991948 memory=317392 CPUtime=2.95 cores=0,2,4,6
/proc/26819/stat : 26819 (java) S 26816 26819 13514 0 -1 1077944320 22270 13269 0 0 263 25 4 3 20 0 15 0 107225790 11255754752 79348 33554432000 4194304 4196468 140721271729984 140721271712528 140122110963447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
/proc/26819/statm: 2747987 79348 3468 1 0 2709645 0
[pid=26819/tid=26872] ppid=26816 vsize=10991948 memory=10757 CPUtime=1.39 cores=0,2,4,6
/proc/26819/task/26872/stat : 26872 (java) R 26816 26819 13514 0 -1 4202560 14254 13269 0 0 123 9 4 3 20 0 15 0 107225799 11255754752 79348 33554432000 4194304 4196468 140721271729984 140122082798640 140121651220481 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26873] ppid=26816 vsize=10991948 memory=6791534058613427641 CPUtime=0.12 cores=0,2,4,6
/proc/26819/task/26873/stat : 26873 (java) S 26816 26819 13514 0 -1 1077944384 52 13269 0 0 2 3 4 3 20 0 15 0 107225800 11255754752 79348 33554432000 4194304 4196468 140721271729984 140122115205904 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26874] ppid=26816 vsize=10991948 memory=1408 CPUtime=0.12 cores=0,2,4,6
/proc/26819/task/26874/stat : 26874 (java) S 26816 26819 13514 0 -1 1077944384 319 13269 0 0 2 3 4 3 20 0 15 0 107225800 11255754752 79348 33554432000 4194304 4196468 140721271729984 140121969925008 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26875] ppid=26816 vsize=10991948 memory=3004 CPUtime=0.12 cores=0,2,4,6
/proc/26819/task/26875/stat : 26875 (java) S 26816 26819 13514 0 -1 1077944384 108 13269 0 0 2 3 4 3 20 0 15 0 107225800 11255754752 79348 33554432000 4194304 4196468 140721271729984 140121968872464 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26876] ppid=26816 vsize=10991948 memory=89024 CPUtime=0.12 cores=0,2,4,6
/proc/26819/task/26876/stat : 26876 (java) S 26816 26819 13514 0 -1 1077944384 146 13269 0 0 2 3 4 3 20 0 15 0 107225800 11255754752 79348 33554432000 4194304 4196468 140721271729984 140121967819920 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26877] ppid=26816 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26877/stat : 26877 (java) S 26816 26819 13514 0 -1 1077944384 95 13269 0 0 0 0 4 3 20 0 15 0 107225801 11255754752 79348 33554432000 4194304 4196468 140721271729984 140121536808944 140122110974594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26878] ppid=26816 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26878/stat : 26878 (java) S 26816 26819 13514 0 -1 1077944384 13 13269 0 0 0 0 4 3 20 0 15 0 107225802 11255754752 79348 33554432000 4194304 4196468 140721271729984 140120905737120 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26879] ppid=26816 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26879/stat : 26879 (java) S 26816 26819 13514 0 -1 1077944384 4 13269 0 0 0 0 4 3 20 0 15 0 107225802 11255754752 79348 33554432000 4194304 4196468 140721271729984 140120757887984 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26880] ppid=26816 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26880/stat : 26880 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11255754752 79348 33554432000 4194304 4196468 140721271729984 140120450488528 140122110982043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26881] ppid=26816 vsize=10991948 memory=4638778398332698720 CPUtime=0.52 cores=0,2,4,6
/proc/26819/task/26881/stat : 26881 (java) R 26816 26819 13514 0 -1 4202560 1598 13269 0 0 45 0 4 3 20 0 15 0 107225805 11255754752 79348 33554432000 4194304 4196468 140721271729984 140121535746640 140122095892961 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26882] ppid=26816 vsize=10991948 memory=280998235904896 CPUtime=0.55 cores=0,2,4,6
/proc/26819/task/26882/stat : 26882 (java) R 26816 26819 13514 0 -1 4202560 2264 13269 0 0 47 1 4 3 20 0 15 0 107225805 11255754752 79348 33554432000 4194304 4196468 140721271729984 140121534696160 140122092507665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26883] ppid=26816 vsize=10991948 memory=6944656592452807323 CPUtime=0.43 cores=0,2,4,6
/proc/26819/task/26883/stat : 26883 (java) S 26816 26819 13514 0 -1 1077944384 1214 13269 0 0 36 0 4 3 20 0 15 0 107225805 11255754752 79348 33554432000 4194304 4196468 140721271729984 140121533651696 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26884] ppid=26816 vsize=10991948 memory=6944656591801719708 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26884/stat : 26884 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11255754752 79348 33554432000 4194304 4196468 140721271729984 140120019692640 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26885] ppid=26816 vsize=10991948 memory=1399101730491701635 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26885/stat : 26885 (java) S 26816 26819 13514 0 -1 1077944384 1 13269 0 0 0 0 4 3 20 0 15 0 107225805 11255754752 79348 33554432000 4194304 4196468 140721271729984 140121532598576 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 10991948 KiB

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

/proc/26819/task/26872/stat : 26872 (java) R 26816 26819 13514 0 -1 4202560 56882 13269 0 0 4268 40 4 3 20 0 15 0 107225799 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140122082798272 140122094159232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26873] ppid=26816 vsize=11014496 memory=30460 CPUtime=6.91 cores=0,2,4,6
/proc/26819/task/26873/stat : 26873 (java) S 26816 26819 13514 0 -1 1077944384 41019 13269 0 0 627 57 4 3 20 0 15 0 107225800 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140122115205904 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26874] ppid=26816 vsize=11014496 memory=3436836 CPUtime=6.89 cores=0,2,4,6
/proc/26819/task/26874/stat : 26874 (java) S 26816 26819 13514 0 -1 1077944384 49948 13269 0 0 625 57 4 3 20 0 15 0 107225800 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140121969925008 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26875] ppid=26816 vsize=11014496 memory=4352259996917458784 CPUtime=6.88 cores=0,2,4,6
/proc/26819/task/26875/stat : 26875 (java) S 26816 26819 13514 0 -1 1077944384 43411 13269 0 0 622 59 4 3 20 0 15 0 107225800 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140121968872464 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26876] ppid=26816 vsize=11014496 memory=844 CPUtime=6.91 cores=0,2,4,6
/proc/26819/task/26876/stat : 26876 (java) S 26816 26819 13514 0 -1 1077944384 41843 13269 0 0 625 59 4 3 20 0 15 0 107225800 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140121967819920 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26877] ppid=26816 vsize=11014496 memory=3360 CPUtime=1.06 cores=0,2,4,6
/proc/26819/task/26877/stat : 26877 (java) S 26816 26819 13514 0 -1 1077944384 21104 13269 0 0 98 1 4 3 20 0 15 0 107225801 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140121536808944 140122110974594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26878] ppid=26816 vsize=11014496 memory=280998235700960 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26878/stat : 26878 (java) S 26816 26819 13514 0 -1 1077944384 15 13269 0 0 0 0 4 3 20 0 15 0 107225802 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140120905737184 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26879] ppid=26816 vsize=11014496 memory=7019257425709197167 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26879/stat : 26879 (java) S 26816 26819 13514 0 -1 1077944384 12 13269 0 0 0 0 4 3 20 0 15 0 107225802 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140120757888000 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26880] ppid=26816 vsize=11014496 memory=7597685182856913236 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26880/stat : 26880 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140120450488528 140122110982043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26881] ppid=26816 vsize=11014496 memory=56 CPUtime=6.35 cores=0,2,4,6
/proc/26819/task/26881/stat : 26881 (java) R 26816 26819 13514 0 -1 4202560 17397 13269 0 0 626 2 4 3 20 0 15 0 107225805 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140121535743328 140122095515493 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26882] ppid=26816 vsize=11014496 memory=301793952514965793 CPUtime=6.25 cores=0,2,4,6
/proc/26819/task/26882/stat : 26882 (java) R 26816 26819 13514 0 -1 4202560 21048 13269 0 0 613 5 4 3 20 0 15 0 107225805 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140121534695568 140122110984794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26883] ppid=26816 vsize=11014496 memory=288283385594643679 CPUtime=2.6 cores=0,2,4,6
/proc/26819/task/26883/stat : 26883 (java) R 26816 26819 13514 0 -1 4202560 17137 13269 0 0 249 4 4 3 20 0 15 0 107225805 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140121533645584 140122095043934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26884] ppid=26816 vsize=11014496 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26884/stat : 26884 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140120019692640 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26885] ppid=26816 vsize=11014496 memory=4140 CPUtime=0.1 cores=0,2,4,6
/proc/26819/task/26885/stat : 26885 (java) S 26816 26819 13514 0 -1 1077944384 1741 13269 0 0 2 1 4 3 20 0 15 0 107225805 11278843904 1062581 33554432000 4194304 4196468 140721271729984 140121532598576 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
Current children cumulated CPU time: 86.57 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 4250300 KiB

[startup+102.301 s]
/proc/loadavg: 2.40 2.03 1.87 6/215 27017
/proc/meminfo: memFree=20997924/32770624 swapFree=67108860/67108860
[pid=26819] ppid=26816 vsize=11016544 memory=4135124 CPUtime=167.17 cores=0,2,4,6
/proc/26819/stat : 26819 (java) S 26816 26819 13514 0 -1 1077944320 399908 13269 0 0 16400 310 4 3 20 0 15 0 107225790 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140721271712528 140122110963447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
/proc/26819/statm: 2754136 1033781 3538 1 0 2715789 0
[pid=26819/tid=26872] ppid=26816 vsize=11016544 memory=4135124 CPUtime=86.77 cores=0,2,4,6
/proc/26819/task/26872/stat : 26872 (java) R 26816 26819 13514 0 -1 4202560 60564 13269 0 0 8625 45 4 3 20 0 15 0 107225799 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140122082799312 140121664521972 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26873] ppid=26816 vsize=11016544 memory=4160024 CPUtime=14.26 cores=0,2,4,6
/proc/26819/task/26873/stat : 26873 (java) S 26816 26819 13514 0 -1 1077944384 64028 13269 0 0 1359 60 4 3 20 0 15 0 107225800 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140122115205904 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26874] ppid=26816 vsize=11016544 memory=4135016 CPUtime=14.34 cores=0,2,4,6
/proc/26819/task/26874/stat : 26874 (java) S 26816 26819 13514 0 -1 1077944384 67600 13269 0 0 1367 60 4 3 20 0 15 0 107225800 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140121969925008 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26875] ppid=26816 vsize=11016544 memory=0 CPUtime=14.28 cores=0,2,4,6
/proc/26819/task/26875/stat : 26875 (java) S 26816 26819 13514 0 -1 1077944384 59308 13269 0 0 1359 62 4 3 20 0 15 0 107225800 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140121968872464 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26876] ppid=26816 vsize=11016544 memory=4134888 CPUtime=14.26 cores=0,2,4,6
/proc/26819/task/26876/stat : 26876 (java) S 26816 26819 13514 0 -1 1077944384 58911 13269 0 0 1358 61 4 3 20 0 15 0 107225800 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140121967819920 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26877] ppid=26816 vsize=11016544 memory=4173412 CPUtime=1.15 cores=0,2,4,6
/proc/26819/task/26877/stat : 26877 (java) S 26816 26819 13514 0 -1 1077944384 24907 13269 0 0 106 2 4 3 20 0 15 0 107225801 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140121536808944 140122110974594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26878] ppid=26816 vsize=11016544 memory=280998235971760 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26878/stat : 26878 (java) S 26816 26819 13514 0 -1 1077944384 21 13269 0 0 0 0 4 3 20 0 15 0 107225802 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140120905737184 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26879] ppid=26816 vsize=11016544 memory=594757125471825202 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26879/stat : 26879 (java) S 26816 26819 13514 0 -1 1077944384 15 13269 0 0 0 0 4 3 20 0 15 0 107225802 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140120757888160 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26880] ppid=26816 vsize=11016544 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26880/stat : 26880 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140120450488528 140122110982043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26881] ppid=26816 vsize=11016544 memory=56 CPUtime=9.51 cores=0,2,4,6
/proc/26819/task/26881/stat : 26881 (java) S 26816 26819 13514 0 -1 1077944384 19596 13269 0 0 941 3 4 3 20 0 15 0 107225805 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140121535756784 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26882] ppid=26816 vsize=11016544 memory=8099279071866868836 CPUtime=9.78 cores=0,2,4,6
/proc/26819/task/26882/stat : 26882 (java) S 26816 26819 13514 0 -1 1077944384 22049 13269 0 0 966 5 4 3 20 0 15 0 107225805 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140121534704240 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26883] ppid=26816 vsize=11016544 memory=6791534058613427641 CPUtime=3.19 cores=0,2,4,6
/proc/26819/task/26883/stat : 26883 (java) S 26816 26819 13514 0 -1 1077944384 18948 13269 0 0 308 4 4 3 20 0 15 0 107225805 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140121533651696 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26884] ppid=26816 vsize=11016544 memory=1812 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26884/stat : 26884 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140120019692640 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26885] ppid=26816 vsize=11016544 memory=1020 CPUtime=0.13 cores=0,2,4,6
/proc/26819/task/26885/stat : 26885 (java) S 26816 26819 13514 0 -1 1077944384 1759 13269 0 0 4 2 4 3 20 0 15 0 107225805 11280941056 1033781 33554432000 4194304 4196468 140721271729984 140121532598576 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
Current children cumulated CPU time: 167.17 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4135124 KiB

[startup+162.301 s]
/proc/loadavg: 2.32 2.06 1.89 3/215 27148
/proc/meminfo: memFree=23281576/32770624 swapFree=67108860/67108860
[pid=26819] ppid=26816 vsize=11016544 memory=4261224 CPUtime=245.97 cores=0,2,4,6
/proc/26819/stat : 26819 (java) S 26816 26819 13514 0 -1 1077944320 520719 13269 0 0 24263 327 4 3 20 0 15 0 107225790 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140721271712528 140122110963447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
/proc/26819/statm: 2754136 1065306 3539 1 0 2715789 0
[pid=26819/tid=26872] ppid=26816 vsize=11016544 memory=4261224 CPUtime=140.58 cores=0,2,4,6
/proc/26819/task/26872/stat : 26872 (java) R 26816 26819 13514 0 -1 4202560 73614 13269 0 0 14004 47 4 3 20 0 15 0 107225799 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140122082797832 140121666723068 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26873] ppid=26816 vsize=11016544 memory=4230476 CPUtime=20.35 cores=0,2,4,6
/proc/26819/task/26873/stat : 26873 (java) S 26816 26819 13514 0 -1 1077944384 90109 13269 0 0 1963 65 4 3 20 0 15 0 107225800 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140122115205904 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26874] ppid=26816 vsize=11016544 memory=4230504 CPUtime=20.42 cores=0,2,4,6
/proc/26819/task/26874/stat : 26874 (java) S 26816 26819 13514 0 -1 1077944384 88207 13269 0 0 1972 63 4 3 20 0 15 0 107225800 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140121969925008 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26875] ppid=26816 vsize=11016544 memory=4230504 CPUtime=20.3 cores=0,2,4,6
/proc/26819/task/26875/stat : 26875 (java) S 26816 26819 13514 0 -1 1077944384 85321 13269 0 0 1958 65 4 3 20 0 15 0 107225800 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140121968872464 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26876] ppid=26816 vsize=11016544 memory=4230504 CPUtime=20.32 cores=0,2,4,6
/proc/26819/task/26876/stat : 26876 (java) S 26816 26819 13514 0 -1 1077944384 76135 13269 0 0 1961 64 4 3 20 0 15 0 107225800 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140121967819920 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26877] ppid=26816 vsize=11016544 memory=4261224 CPUtime=1.26 cores=0,2,4,6
/proc/26819/task/26877/stat : 26877 (java) S 26816 26819 13514 0 -1 1077944384 35455 13269 0 0 116 3 4 3 20 0 15 0 107225801 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140121536808944 140122110974594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26878] ppid=26816 vsize=11016544 memory=4261224 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26878/stat : 26878 (java) S 26816 26819 13514 0 -1 1077944384 21 13269 0 0 0 0 4 3 20 0 15 0 107225802 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140120905737184 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26879] ppid=26816 vsize=11016544 memory=4230504 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26879/stat : 26879 (java) S 26816 26819 13514 0 -1 1077944384 15 13269 0 0 0 0 4 3 20 0 15 0 107225802 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140120757888160 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26880] ppid=26816 vsize=11016544 memory=164 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26880/stat : 26880 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140120450488528 140122110982043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26881] ppid=26816 vsize=11016544 memory=4230504 CPUtime=9.82 cores=0,2,4,6
/proc/26819/task/26881/stat : 26881 (java) S 26816 26819 13514 0 -1 1077944384 22052 13269 0 0 972 3 4 3 20 0 15 0 107225805 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140121535756784 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26882] ppid=26816 vsize=11016544 memory=4230504 CPUtime=10.07 cores=0,2,4,6
/proc/26819/task/26882/stat : 26882 (java) S 26816 26819 13514 0 -1 1077944384 25394 13269 0 0 994 6 4 3 20 0 15 0 107225805 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140121534704240 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26883] ppid=26816 vsize=11016544 memory=6791534058613427641 CPUtime=3.22 cores=0,2,4,6
/proc/26819/task/26883/stat : 26883 (java) S 26816 26819 13514 0 -1 1077944384 20396 13269 0 0 310 5 4 3 20 0 15 0 107225805 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140121533651696 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26884] ppid=26816 vsize=11016544 memory=1812 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26884/stat : 26884 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140120019692640 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26885] ppid=26816 vsize=11016544 memory=4230504 CPUtime=0.16 cores=0,2,4,6
/proc/26819/task/26885/stat : 26885 (java) S 26816 26819 13514 0 -1 1077944384 1798 13269 0 0 5 4 4 3 20 0 15 0 107225805 11280941056 1065306 33554432000 4194304 4196468 140721271729984 140121532598576 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
Current children cumulated CPU time: 245.97 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4261224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+167.001 s]*
/proc/loadavg: 2.29 2.06 1.89 6/215 27148
/proc/meminfo: memFree=21244976/32770624 swapFree=67108860/67108860
[pid=26819] ppid=26816 vsize=11016544 memory=4384116 CPUtime=252.09 cores=0,2,4,6
/proc/26819/stat : 26819 (java) S 26816 26819 13514 0 -1 1077944320 521036 13269 0 0 24867 335 4 3 20 0 15 0 107225790 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140721271712528 140122110963447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
/proc/26819/statm: 2754136 1096029 3540 1 0 2715789 0
[pid=26819/tid=26872] ppid=26816 vsize=11016544 memory=6791534058613427641 CPUtime=144.81 cores=0,2,4,6
/proc/26819/task/26872/stat : 26872 (java) S 26816 26819 13514 0 -1 1077944384 73618 13269 0 0 14427 47 4 3 20 0 15 0 107225799 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140122082798848 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26873] ppid=26816 vsize=11016544 memory=4126316290023845779 CPUtime=20.82 cores=0,2,4,6
/proc/26819/task/26873/stat : 26873 (java) R 26816 26819 13514 0 -1 4202560 90175 13269 0 0 2008 67 4 3 20 0 15 0 107225800 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140122115206104 140122092589349 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26874] ppid=26816 vsize=11016544 memory=1256 CPUtime=20.88 cores=0,2,4,6
/proc/26819/task/26874/stat : 26874 (java) R 26816 26819 13514 0 -1 4202560 88275 13269 0 0 2016 65 4 3 20 0 15 0 107225800 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140121969924896 140122095411616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26875] ppid=26816 vsize=11016544 memory=10368 CPUtime=20.78 cores=0,2,4,6
/proc/26819/task/26875/stat : 26875 (java) R 26816 26819 13514 0 -1 4202560 85394 13269 0 0 2004 67 4 3 20 0 15 0 107225800 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140121968872664 140122092589273 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26876] ppid=26816 vsize=11016544 memory=1700 CPUtime=20.8 cores=0,2,4,6
/proc/26819/task/26876/stat : 26876 (java) R 26816 26819 13514 0 -1 4202560 76205 13269 0 0 2007 66 4 3 20 0 15 0 107225800 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140121967820120 140122092589206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26877] ppid=26816 vsize=11016544 memory=1172 CPUtime=1.26 cores=0,2,4,6
/proc/26819/task/26877/stat : 26877 (java) S 26816 26819 13514 0 -1 1077944384 35455 13269 0 0 116 3 4 3 20 0 15 0 107225801 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140121536807456 140122110973653 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26878] ppid=26816 vsize=11016544 memory=1812 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26878/stat : 26878 (java) S 26816 26819 13514 0 -1 1077944384 21 13269 0 0 0 0 4 3 20 0 15 0 107225802 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140120905737184 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26879] ppid=26816 vsize=11016544 memory=1020 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26879/stat : 26879 (java) S 26816 26819 13514 0 -1 1077944384 15 13269 0 0 0 0 4 3 20 0 15 0 107225802 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140120757888160 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26880] ppid=26816 vsize=11016544 memory=5456 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26880/stat : 26880 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140120450488528 140122110982043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26881] ppid=26816 vsize=11016544 memory=4230504 CPUtime=9.82 cores=0,2,4,6
/proc/26819/task/26881/stat : 26881 (java) S 26816 26819 13514 0 -1 1077944384 22059 13269 0 0 972 3 4 3 20 0 15 0 107225805 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140121535756784 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26882] ppid=26816 vsize=11016544 memory=2236 CPUtime=10.08 cores=0,2,4,6
/proc/26819/task/26882/stat : 26882 (java) S 26816 26819 13514 0 -1 1077944384 25400 13269 0 0 995 6 4 3 20 0 15 0 107225805 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140121534704240 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26883] ppid=26816 vsize=11016544 memory=1992 CPUtime=3.23 cores=0,2,4,6
/proc/26819/task/26883/stat : 26883 (java) S 26816 26819 13514 0 -1 1077944384 20418 13269 0 0 311 5 4 3 20 0 15 0 107225805 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140121533651696 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26884] ppid=26816 vsize=11016544 memory=7528 CPUtime=0.07 cores=0,2,4,6
/proc/26819/task/26884/stat : 26884 (java) S 26816 26819 13514 0 -1 1077944384 3 13269 0 0 0 0 4 3 20 0 15 0 107225805 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140120019692640 140122110973653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
[pid=26819/tid=26885] ppid=26816 vsize=11016544 memory=4269428 CPUtime=0.17 cores=0,2,4,6
/proc/26819/task/26885/stat : 26885 (java) S 26816 26819 13514 0 -1 1077944384 1799 13269 0 0 6 4 4 3 20 0 15 0 107225805 11280941056 1096029 33554432000 4194304 4196468 140721271729984 140121532598576 140122110974594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34734080 140721271732840 140721271735649 140721271735649 140721271738319 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4384116 KiB

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

[startup+167.092 s]
# the end of solver process 26819 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=248.802 s, system=3.44024 s

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

Child status: 143
Real time (s): 167.092
CPU time (s): 252.243
CPU user time (s): 248.802
CPU system time (s): 3.44024
CPU usage (%): 150.96
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 4384116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.802
system time used= 3.44024
maximum resident set size= 4388256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 534969
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17155
involuntary context switches= 1800


# summary of solver processes directly reported to runsolver:
#   pid: 26819
#   total CPU time (s): 252.243
#   total CPU user time (s): 248.802
#   total CPU system time (s): 3.44024

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04181 second user time and 1.57958 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-29 22:37:06
IDJOB=4302942
IDBENCH=141262
IDSOLVER=2777
FILE ID=node136/4302942-1532896626
RUNJOBID= node136-1532893975-22776
PBS_JOBID= 21022516
Free space on /tmp= 60068 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302942-1532896626/watcher-4302942-1532896626 -o /tmp/evaluation-result-4302942-1532896626/solver-4302942-1532896626 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22776 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1341335041 -superng HOME/instance-4302942-1532896626.xml

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

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=1341335041

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24123608 kB
MemAvailable:   27670244 kB
Buffers:          218864 kB
Cached:          3598392 kB
SwapCached:            0 kB
Active:          6206300 kB
Inactive:        1957984 kB
Active(anon):    4298688 kB
Inactive(anon):    76480 kB
Active(file):    1907612 kB
Inactive(file):  1881504 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            117240 kB
Writeback:             0 kB
AnonPages:       4354476 kB
Mapped:            48140 kB
Shmem:             25228 kB
Slab:             174648 kB
SReclaimable:     146712 kB
SUnreclaim:        27936 kB
KernelStack:        3504 kB
PageTables:        13740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5668976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4071424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 60008 MiB
End job on node136 at 2018-07-29 22:39:53