Trace number 4302949

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)524900968 252.272 159.87

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-05-0350_c18.xml
MD5SUM51c3d091a7e4b0716a15e9a29832b849
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark524900968
Best CPU time to get the best result obtained on this benchmark252.272
Satisfiable
(Un)Satisfiability was proved
Number of variables7232
Number of constraints4665
Number of domains18
Minimum domain size1
Maximum domain size135
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}]
Minimum variable degree2
Maximum variable degree2178
Distribution of variable degrees[{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}]
Number of extensional constraints2177
Number of intensional constraints2488
Distribution of constraint types[{"type":"extension","count":2177},{"type":"intension","count":2488}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.99/0.74	c Concrete v3.9.2.1532736233296 running
157.72/116.05	o 524922747
158.83/116.92	o 524922743
159.06/117.09	o 524900971
159.27/117.14	o 524900968
252.19/159.83	Exception in thread "main" java.util.concurrent.TimeoutException
252.19/159.83		at concrete.MAC.mac(MAC.scala:188)
252.19/159.83		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.19/159.83		at scala.util.Try$.apply(Try.scala:209)
252.19/159.83		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.19/159.83		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.19/159.83		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.19/159.83		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.19/159.83		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.19/159.83		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.19/159.83		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.19/159.83		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.19/159.83		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.19/159.83		at concrete.MAC.oneRun(MAC.scala:253)
252.19/159.83		at concrete.MAC.nextSolution(MAC.scala:272)
252.19/159.83		at concrete.MAC.nextSolution(MAC.scala:355)
252.19/159.83		at concrete.Solver.hasNext(Solver.scala:166)
252.19/159.83		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.19/159.83		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.19/159.83		at concrete.Solver.foreach(Solver.scala:68)
252.19/159.83		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.19/159.83		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.19/159.83		at scala.util.Success.map(Try.scala:209)
252.19/159.83		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.19/159.83		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.19/159.83		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.19/159.83		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.19/159.83		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.19/159.83		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.19/159.83		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.19/159.83		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.19/159.83		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.19/159.83		at scala.collection.immutable.List.foreach(List.scala:389)
252.19/159.83		at scala.App.main(App.scala:76)
252.19/159.83		at scala.App.main$(App.scala:74)
252.19/159.83		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.19/159.83		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.19/159.83	v <instantiation cost="524900968">
252.19/159.83	v       <list>
252.19/159.83	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] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] 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] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] 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] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] 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] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] 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] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176]
252.19/159.84	v       </list>
252.19/159.84	v       <values>
252.19/159.84	v         2684 2188 2652 2384 2276 2640 2528 2180 2420 2540 2676 2528 2576 2612 2492 2372 2600 2488 2300 2380 2300 2240 2376 2464 2656 2492 2512 2180 2180 2696 2424 2560 2240 2532 2424 2656 2384 2196 2360 2456 2560 2668 2244 2700 2584 2316 2412 2200 2312 2484 2396 2528 2360 2676 2180 2424 2228 2608 2384 2408 2476 2504 2412 2420 2584 2184 2676 2692 2576 2508 2224 2488 2180 2488 2260 2448 2260 2332 2220 2220 2184 2532 2716 2360 2208 2372 2712 2716 2588 2352 2188 2460 2260 2412 2716 2544 2288 2576 2404 2600 2716 2444 2520 2676 2580 2276 2312 2500 2672 2352 2704 2340 2292 2584 2452 2220 2240 2472 2252 2672 2320 2600 2220 2676 2632 2540 2648 2352 2532 2664 2500 2180 2416 2716 2232 2188 2344 2232 2620 2716 2716 2560 2488 2624 2484 2224 2372 2368 2548 2328 2528 2560 2384 2236 2500 2496 2644 2676 2312 2528 2500 2444 2184 2220 2312 2680 2180 2600 2660 2200 2468 2472 2540 2600 2224 2332 2400 2476 2376 2712 2384 2676 2360 2544 2512 2224 2560 2352 2368 2272 2500 2384 2716 2540 2524 2180 2184 2552 2368 2192 2544 2332 2356 2324 2572 2452 2180 2452 2536 2572 2468 2232 2180 2588 2716 2452 2220 2424 2180 2536 2608 2240 2424 2508 2392 2280 2584 2400 2320 2224 2320 2440 2444 2504 2480 2708 2584 2224 2648 2584 2488 2520 2608 2648 2492 2200 2528 2488 2452 2532 2312 2228 2180 2676 2220 2248 2560 2220 2436 2284 2304 2524 2220 2352 2220 2344 2252 2676 2192 2572 2448 2488 2716 2436 2532 2644 2484 2704 2544 2588 2200 2584 2628 2548 2572 2600 2292 2240 2704 2220 2404 2536 2220 2412 2288 2696 2664 2492 2220 2676 2560 2180 2676 2184 2496 2220 2612 2488 2184 2292 2408 2236 2344 2540 2236 2716 2512 2524 2464 2688 2252 2544 2532 2328 2544 2528 2284 2492 2356 2416 2716 2560 2616 2228 2664 2192 2488 2384 2484 2648 2248 2212 2364 2672 2220 2600 2564 2604 2676 2412 1 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 0 1 1 1 0 1 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 1 1 1 1 1 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 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 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 1 0 0 1 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 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 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 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 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 0 0 0 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 10 0 0 4 0 0 0 0 0 0 10 0 0 0 8 9 0 0 1 4 0 10 0 1 0 0 0 7 0 0 10 0 0 0 0 0 0 1 0 0 0 0 0 0 0 8 0 0 1 0 1 0 0 0 0 0 0 3 0 1 0 0 10 1 0 0 8 0 10 10 0 0 10 0 2 1 0 0 4 0 0 0 0 0 0 0 0 0 0 1 0 10 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 2 0 7 0 0 1 1 0 0 0 0 0 7 2 0 0 10 0 5 0 0 0 0 0 0 1 1 10 9 1 10 0 0 0 7 0 0 0 0 10 0 10 7 0 0 0 10 10 1 0 8 0 0 10 0 9 0 0 1 10 0 0 0 1 0 0 0 0 1 10 0 7 0 0 1 0 0 0 0 0 0 10 10 1 8 0 0 0 0 0 0 0 10 1 0 0 0 10 0 0 10 0 7 1 1 0 0 0 0 0 7 2 10 0 0 0 10 0 0 10 0 0 1 10 0 0 0 0 0 0 8 1 10 1 0 0 0 0 0 3 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 10 1 0 5 0 0 0 0 0 0 0 8 0 2 10 0 0 0 0 0 0 0 0 0 0 10 0 1 9 0 0 0 0 9 0 0 7 0 0 0 10 1 0 10 0 1 10 0 10 0 0 0 0 10 0 0 9 0 0 10 10 0 0 0 0 0 0 0 9 10 8 0 0 1 9 6 0 0 7 0 0 0 0 10 10 0 0 0 1 10 0 0 0 0 0 6 0 0 0 0 0 1 7 0 4 0 0 9 0 10 0 10 0 0 4 0 0 0 0 10 0 0 0 0 5 8 0 0 0 0 0 0 1 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 10 10 0 0 0 0 7 0 0 2 0 0 5 7 0 0 2 9 0 0 8 0 0 3 10 1 0 0 0 10 0 8 0 0 0 0 0 0 0 0 4 0 10 10 10 9 0 0 0 0 10 0 10 1 0 1 0 10 0 6 0 0 1 0 1 0 0 0 0 10 1 0 10 0 10 0 0 1 0 1 0 8 0 0 0 0 0 0 4 1 0 0 0 10 0 10 4 0 0 2 0 0 0 9 0 8 0 0 0 0 0 0 0 10 0 0 0 10 0 0 6 1 0 1 0 7 1 0 0 0 10 0 2 1 1 0 0 0 7 0 0 0 0 1 0 0 0 1 1 1 0 2 3 0 0 0 9 1 0 10 0 0 0 0 1 0 0 9 6 0 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 10 0 0 10 0 6 0 10 10 0 0 10 0 10 10 0 9 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 0 1 10 0 0 0 0 10 1 0 0 0 0 10 9 1 0 1 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 10 0 5 0 8 4 2 10 0 1 0 0 0 10 0 6 0 0 0 10 0 0 0 0 10 8 0 1 8 0 8 5 10 7 10 0 6 0 0 0 0 0 8 0 10 0 0 0 0 0 2 0 0 9 10 0 0 5 0 10 10 0 4 0 1 0 0 0 0 0 0 1 0 0 1 9 10 0 0 0 7 0 0 1 0 0 0 0 0 0 0 0 0 10 1 0 0 10 10 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 0 1 0 0 5 0 0 1 1 0 0 10 1 0 9 1 0 6 2 0 0 8 0 0 0 0 10 10 0 0 0 0 0 0 10 0 1 1 0 0 0 0 0 9 6 0 0 0 0 10 0 7 0 10 5 10 0 0 0 0 10 10 0 1 0 5 0 7 10 0 0 0 3 0 0 0 9 1 10 0 10 0 0 0 0 9 0 0 0 0 0 0 0 0 0 10 0 0 0 7 0 4 0 10 0 1 0 0 0 0 0 0 0 0 10 10 5 10 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 1 0 9 0 0 0 0 0 4 0 10 0 0 0 1 10 0 10 0 0 1 0 0 1 0 1 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 9 0 9 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 10 1 10 0 1 0 1 0 0 0 10 0 4 0 0 0 0 0 10 3 0 1 4 1 0 0 0 10 0 0 9 0 1 4 10 0 0 0 1 10 7 1 0 0 0 8 0 0 0 0 0 0 0 0 10 0 0 5 0 0 0 0 0 10 0 0 1 10 1 0 1 1 10 0 0 0 0 4 10 10 0 0 0 10 0 4 0 10 0 8 0 0 9 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 8 0 0 0 0 9 2 0 10 0 0 0 8 0 0 10 0 1 0 1 0 1 0 1 0 0 5 0 5 0 0 0 0 0 1 0 7 1 0 0 0 0 0 0 10 0 0 10 10 0 0 0 0 0 1 6 0 0 10 7 0 0 0 10 0 10 0 0 10 0 7 1 0 8 0 1 0 0 0 10 0 6 0 0 0 9 10 0 0 6 0 0 0 1 7 1 7 1 10 10 0 0 0 1 0 0 0 10 0 1 10 10 0 0 0 0 0 10 0 0 0 1 1 0 0 0 3 0 0 0 0 0 10 1 0 0 0 6 3 0 0 0 4 10 0 4 0 0 0 0 0 0 10 10 5 0 0 4 0 0 0 3 0 0 10 1 9 0 0 10 0 0 8 0 0 1 0 3 0 1 0 0 0 10 0 1 10 0 10 0 0 0 0 0 0 0 0 0 0 10 1 0 10 0 10 0 0 10 10 10 0 4 0 0 0 9 0 0 0 0 1 0 6 2 0 10 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 3 0 1 0 0 0 0 0 0 10 1 0 0 0 0 10 0 0 0 0 0 0 6 0 6 0 0 0 8 0 1 9 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 1 0 0 6 3 0 0 10 5 0 0 0 10 0 3 0 10 0 0 0 9 3 0 0 0 0 0 0 0 0 0 0 10 0 0 7 0 0 0 0 0 6 0 0 0 0 0 0 10 0 1 0 1 0 0 9 0 1 2 0 0 0 0 1 0 0 0 0 0 3 0 0 7 0 4 0 0 0 0 0 0 0 0 10 6 0 5 1 1 0 0 0 10 0 0 0 10 0 0 10 0 1 0 0 0 0 0 0 2 0 10 10 0 0 5 1 9 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 8 0 6 0 7 4 0 1 0 8 0 6 0 0 10 9 9 4 0 0 0 10 0 1 0 1 8 0 1 10 0 7 0 1 8 3 0 0 0 0 0 1 0 10 0 10 0 0 2 0 1 0 10 0 5 1 0 0 0 8 1 0 10 0 0 0 0 0 0 0 9 0 1 0 0 10 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 10 0 0 0 0 1 1 0 0 8 0 0 4 10 8 0 8 1 0 5 0 0 0 0 4 0 10 0 0 1 0 0 0 0 1 0 0 0 0 10 0 0 0 1 10 0 0 0 1 7 0 0 0 10 0 6 0 0 0 5 0 1 1 0 0 0 0 0 0 0 1 0 1 4 0 10 0 0 0 1 0 0 1 0 0 0 0 4 0 0 0 0 0 0 10 9 0 0 0 9 0 10 0 0 0 0 0 0 0 0 10 10 2 0 0 0 8 0 0 6 10 0 0 1 0 0 10 0 1 0 0 10 9 1 0 0 9 0 0 5 0 0 0 8 0 0 0 10 8 1 0 0 0 2 1 0 10 10 0 9 10 10 0 0 1 0 0 0 9 0 9 7 1 10 8 7 0 3 0 10 0 0 8 0 0 0 0 0 9 5 0 0 0 0 0 8 0 0 0 0 7 0 10 9 0 4 0 1 10 0 10 0 1 0 0 0 0 0 0 1 0 10 0 0 0 0 0 0 4 0 1 10 0 10 10 0 8 0 0 0 0 9 10 0 0 10 10 0 1 0 0 1 0 1 0 1 0 0 10 0 8 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 1 0 0 9 10 0 1 0 0 0 0 10 0 0 7 1 0 0 1 0 0 9 0 1 0 3 0 0 0 0 6 0 0 1 6 0 6 0 0 0 0 0 0 1 0 0 0 7 2 0 0 9 9 0 0 0 1 0 10 10 0 0 6 7 0 0 0 0 1 0 10 0 0 0 0 10 7 6 1 0 0 0 10 10 0 0 0 10 0 0 0 0 0 8 0 1 0 10 0 10 1 0 0 10 0 0 0 0 9 0 4 0 0 1 4 1 0 1 0 0 0 4 0 1 0 0 0 0 10 8 10 0 1 0 0 0 0 0 0 0 0 1 0 8 0 0 1 0 0 0 1 0 1 0 9 0 0 0 0 0 0 10 0 10 0 0 0 0 1 10 0 10 0 0 10 0 0 0 0 0 0 10 1 0 7 0 0 0 0 0 1 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 7 0 0 10 0 0 0 0 10 10 0 0 10 1 0 10 0 0 1 0 9 1 6 1 0 0 9 10 0 0 0 0 0 0 0 0 0 1 9 1 10 0 0 0 0 3 8 0 1 2 10 0 9 10 0 0 0 9 0 0 0 0 0 0 1 10 72 28 260 176 408 392 32 312 136 372 372 100 152 400 492 112 8 56 388 528 156 60 164 156 300 4 528 428 476 16 312 432 156 416 424 168 204 312 24 292 164 164 204 164 128 204 192 148 204 20 180 216 392 332 400 300 440 128 396 256 440 92 48 44 56 68 260 268 40 256 456 452 20 288 88 328 336 192 64 236 228 144 32 12 284 380 132 420 180 188 92 52 260 112 436 204 304 108 164 292 188 240 136 116 68 236 252 184 84 296 360 176 40 132 132 40 72 164 172 316 44 320 184 76 316 16 344 92 440 324 436 240 0 180 148 84 348 308 144 184 32 308 248 224 32 344 200 136 316 196 112 100 168 56 24 88 104 244 396 68 28 324 220 140 44 188 388 320 240 140 76 372 392 116 176 116 232 88 180 40 36 152 92 224 312 308 260 268 44 112 184 96 248 276 20 64 332 172 276 360 100 340 116 412 20 296 248 164 104 184 188 200 8 264 216 48 96 120 236 200 60 112 416 200 300 176 200 308 228 12 416 344 396 44 212 72 240 180 300 280 160 220 336 164 140 116 92 288 172 228 288 208 20 44 232 120 56 372 272 264 60 248 204 20 476 320 436 128 32 348 388 224 376 320 44 340 212 204 64 328 140 68 208 112 156 196 112 224 120 56 244 76 136 284 64 144 212 212 84 24 476 148 432 380 284 108 20 344 56 300 204 204 436 72 456 464 252 80 160 308 140 180 260 268 108 80 24 224 272 152 80 52 116 128 8 100 332 68 168 48 44 152 48 144 76 116 204 180 496 40 532 160 536 316 360 140 68 244 476 328 496 132 132 532 332 176 272 404 164 284 344 112 472 312 364 228 88 504 96 204 476 368 84 200 132 52 124 252 112 112 68 84 160 224 240 232 372 60 192 24 144 148 72 76 92 304 228 348 16 240 20 404 332 56 372 144 160 116 180 184 44 32 340 108 40 312 248 28 312 8 48 120 240 88 204 224 136 204 116 100 120 224 172 428 304 56 468 432 272 220 124 364 128 240 104 124 28 200 204 112 204 216 288 304 204 116 292 492 132 520 216 184 272 288 8 356 136 348 288 168 140 176 180 124 116 176 220 84 260 228 152 132 240 220 76 36 92 236 156 116 248 60 48 148 52 48 128 220 408 148 436 24 48 488 344 132 436 276 104 60 356 100 328 4 276 284 48 432 24 304 212 440 476 148 52 24 396 116 88 168 52 100 404 172 360 132 92 96 80 96 364 16 132 396 36 36 304 196 152 96 328 256 80 88 104 80 300 260 180 212 28 80 56 176 304 172 232 160 116 152 24 300 192 448 320 332 404 276 160 288 260 8 92 364 404 172 236 72 44 404 72 264 72 92 264 48 100 60 180 272 216 136 204 176 132 280 44 192 232 108 320 128 16 208 348 104 48 316 132 356 128 16 152 180 160 68 124 148 204 264 336 348 476 240 40 260 80 224 340 352 52 152 332 536 0 288 212 352 356 240 76 236 80 40 52 72 244 20 80 64 172 120 292 212 220 112 8 312 372 356 176 384 436 448 76 348 204 88 36 276 108 428 424 284 376 0 216 384 72 76 28 32 160 216 24 84 184 176 80 132 156 192 0 68 284 180 220 228 168 8 88 76 268 52 196 100 12 200 256 276 36 292 236 252 252 224 192 124 64 324 60 172 20 48 280 124 112 128 28 268 28 220 160 304 128 80 252 260 212 140 140 200 180 116 200 200 256 196 64 400 396 180 88 120 332 352 84 272 132 344 140 384 112 336 104 56 356 40 176 172 268 260 348 308 428 376 416 144 444 488 188 32 476 40 352 104 452 28 392 20 24 332 112 352 108 72 148 248 132 340 472 204 232 140 88 92 84 132 356 16 392 112 364 28 232 136 40 196 204 152 56 56 288 0 76 324 148 148 324 228 360 348 480 40 112 236 268 216 164 16 40 236 380 180 364 188 448 112 536 436 128 116 148 236 264 216 100 64 16 360 92 240 60 388 444 284 156 388 36 172 216 216 268 92 124 88 160 72 240 268 384 120 108 196 192 384 96 212 140 120 280 292 388 184 380 368 280 320 20 252 40 0 456 264 328 136 496 264 168 168 136 284 148 284 532 4 36 160 460 52 272 140 112 200 132 184 352 208 300 76 4 40 132 120 356 196 372 0 348 264 468 192 496 8 228 248 316 56 140 356 268 508 292 264 468 20 236 28 112 312 284 316 136 32 28 260 20 344 336 88 180 200 152 188 188 136 8 232 400 172 520 152 244 528 272 436 228 192 536 116 36 408 188 268 336 88 40 128 320 0 120 20 172 116 364 176 220 432 340 164 364 460 248 516 488 296 24 80 44 256 36 128 124 272 384 72 80 28 132 36 40 340 276 88 224 140 132 188 60 128 132 188 116 52 484 36 56 516 240 404 116 304 220 372 100 44 16 40 24 192 364 132 292 120 428 60 388 88 40 336 124 112 116 268 240 4 224 80 180 132 72 216 48 360 12 364 348 56 176 52 56 364 228 404 496 116 536 388 224 232 76 80 164 220 224 184 272 192 172 124 300 340 196 288 88 296 144 260 292 68 496 476 40 72 268 84 80 180 396 100 28 136 68 108 296 272 400 36 436 176 176 76 48 92 84 60 352 216 348 164 64 56 100 32 232 288 204 280 124 176 320 44 276 176 204 172 320 200 288 340 84 44 492 28 100 180 120 116 116 20 364 172 132 276 220 116 412 524 220 200 116 28 160 120 148 64 148 224 80 256 384 64 160 216 92 92 108 100 272 404 128 96 148 240 92 96 60 140 148 200 20 252 148 224 40 4 304 268 444 304 164 360 0 200 248 60 344 8 284 28 64 292 288 28 132 44 492 488 348 440 448 136 140 220 172 396 92 100 100 240 28 164 88 116 496 164 456 52 304 324 216 72 268 496 272 116 308 348 276 456 152 40 424 0 280 84 132 264 208 76 16 412 72 412 120 136 228 44 12 52 92 300 52 328 296 68 120 364 456 76 428 428 28 428 412 320 364 128 140 68 160 220 208 168 116 12 132 184 352 348 300 308 4 4 288 92 432 56 52 80 116 60 316 72 180 20 72 52 116 536 308 212 264 384 72 300 292 260 260 96 536 180 196 496 372 524 488 40 236 236 356 352 416 340 312 264 40 248 336 156 8 368 208 228 228 24 96 372 96 368 136 40 180 60 308 132 316 268 184 380 56 204 8 68 524 496 156 496 352 116 536 488 496 92 156 112 340 264 308 88 96 96 268 128 180 292 36 92 444 404 136 52 404 212 164 256 140 48 200 144 364 200 4 420 348 12 104 320 176 60 60 340 152 136 212 180 156 144 280 188 128 236 236 192 96 328 68 116 96 320 260 300 40 236 16 76 292 276 188 32 116 200 192 120 208 68 156 324 156 56 216 160 124 200 216 144 304 252 276 48 256 412 280 36 84 12 52 316 256 268 296 0 32 72 412 36 404 456 168 356 476 240 492 484 72 140 112 272 112 128 8 148 4 88 320 260 32 156 60 84 116 148 96 8 144 20 264 124 80 260 264 228 308 304 200 464 244 344 164 140 140 196 272 112 92 128 20 204 304 312 176 72 368 36 184 272 244 524 284 420 216 64 176 376 280 120 380 184 284 348 56 248 136 432 132 200 120 384 52 476 284 328 156 472 136 68 60 104 20 132 292 72 112 220 12 72 288 244 16 420 360 348 116 52 244 116 312 360 480 304 24 68 384 192 148 220 276 112 344 204 180 316 76 180 112 100 68 60 172 164 256 132 212 92 152 64 340 156 168 36 136 312 148 156 168 356 204 128 520 144 136 204 104 260 320 148 308 236 228 88 384 40 184 192 164 240 68 164 256 64 56 56 52 336 484 268 300 32 4 4 336 4 380 228 28 340 64 72 200 128 296 140 172 84 324 296 72 192 220 76 296 152 120 168 20 344 280 208 264 188 144 216 536 532 392 324 492 180 32 360 260 104 212 48 84 4 104 4 92 144 212 264 44 496 140 424 208 40 352 96 248 200 116 152 232 148 44 244 160 484 40 52 108 152 112 284 96 96 136 228 320 164 92 212 120 160 392 360 132 32 0 0 344 136 232 216 316 84 320 88 372 168 352 84 104 160 120 248 176 104 232 304 304 100 220 140 256 496 368 60 488 72 144 232 252 268 288 20 36 28 192 292 240 176 140 272 40 256 60 4 112 284 72 284 36 48 152 140 388 72 244 80 288 432 64 104 252 12 76 308 288 24 196 324 112 96 144 100 180 208 240 128 44 44 408 264 248 4 400 392 80 104 12 128 84 228 36 396 240 64 164 300 44 316 240 60 100 84 140 148 188 160 148 276 176 220 84 200 100 260 100 80 176 44 176 8 260 208 232 60 216 136 212 488 524 4 92 304 340 296 56 28 160 96 92 272 300 280 92 176 332 96 248 200 296 320 264 96 80 280 380 304 76 428 412 84 28 80 212 68 272 308 256 40 36 128 16 288 8 20 136 188 184 148 404 32 84 476 260 40 464 392 108 56 184 132 260 292 456 424 352 16 164 272 116 268 272 456 24 288 64 100 320 400 112 344 152 152 32 352 196 264 328 484 392 124 496 264 332 424 232 348 104 232 192 128 28 320 264 28 28 8 172 28 12 108 116 208 32 92 16 96 112 8 24 40 4 304 536 372 204 488 268 196 152 52 212 244 312 144 80 184 68 64 128 232 344 216 296 360 348 296 84 364 228 212 12 216 52 64 52 60 88 352 188 200 72 312 452 160 420 288 340 16 384 8 312 252 100 408 388 56 428 360 368 140 416 272 340 456 16 144 260 28 116 324 508 152 312 8 204 36 16 468 384 120 52 60 64 144 200 56 52 28 4 116 288 312 128 368 100 228 168 148 76 24 80 240 332 332 88 308 380 128 232 164 188
252.19/159.84	v       </values>
252.19/159.84	v     </instantiation>
252.19/159.84	s SATISFIABLE

Verifier Data 

OK	524900968

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302949-1532896719/watcher-4302949-1532896719 -o /tmp/evaluation-result-4302949-1532896719/solver-4302949-1532896719 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532895438-9922 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1199419824 -superng HOME/instance-4302949-1532896719.xml 

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

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=11722, runsolver pid=11719
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 1.83 1.86 1.72 3/206 11779
/proc/meminfo: memFree=18000976/32770624 swapFree=67108860/67108860
[pid=11722] ppid=11719 vsize=10005480 memory=16812 CPUtime=0.09 cores=1,3,5,7
/proc/11722/stat : 11722 (java) S 11719 11722 8396 0 -1 1077944320 4376 13125 0 0 1 0 5 3 20 0 6 0 107235193 10245611520 4203 33554432000 4194304 4196468 140730705973808 140730705956352 139625484263159 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
/proc/11722/statm: 2501370 4203 1935 1 0 2489808 0
[pid=11722/tid=11775] ppid=11719 vsize=10005480 memory=4279135703946462605 CPUtime=0.09 cores=1,3,5,7
/proc/11722/task/11775/stat : 11775 (java) R 11719 11722 8396 0 -1 4202560 2184 13125 0 0 1 0 5 3 20 0 6 0 107235202 10245611520 4715 33554432000 4194304 4196468 140730705973808 139625456099920 139625465656890 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11776] ppid=11719 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11776/stat : 11776 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 6 0 107235203 10245611520 4715 33554432000 4194304 4196468 140730705973808 139625488505744 139625484273365 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11777] ppid=11719 vsize=10005480 memory=140242407270016 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11777/stat : 11777 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 6 0 107235203 10245611520 4715 33554432000 4194304 4196468 140730705973808 139625369770768 139625484273365 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11778] ppid=11719 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11778/stat : 11778 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 6 0 107235203 10245611520 4715 33554432000 4194304 4196468 140730705973808 139625368718480 139625484273365 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11779] ppid=11719 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11779/stat : 11779 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 6 0 107235203 10245611520 4715 33554432000 4194304 4196468 140730705973808 139625367665680 139625484273365 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB

[startup+0.210209 s]*
/proc/loadavg: 1.83 1.86 1.72 3/215 11788
/proc/meminfo: memFree=17975504/32770624 swapFree=67108860/67108860
[pid=11722] ppid=11719 vsize=10982744 memory=46804 CPUtime=0.26 cores=1,3,5,7
/proc/11722/stat : 11722 (java) S 11719 11722 8396 0 -1 1077944320 7930 13125 0 0 17 1 5 3 20 0 15 0 107235193 11246329856 11701 33554432000 4194304 4196468 140730705973808 140730705956352 139625484263159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
/proc/11722/statm: 2745686 11701 2950 1 0 2708109 0
[pid=11722/tid=11775] ppid=11719 vsize=10983736 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/11722/task/11775/stat : 11775 (java) R 11719 11722 8396 0 -1 4202560 4522 13125 0 0 11 0 5 3 20 0 15 0 107235202 11247345664 11767 33554432000 4194304 4196468 140730705973808 139625456087968 139625476942877 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11776] ppid=11719 vsize=10983736 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11776/stat : 11776 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235203 11247345664 11767 33554432000 4194304 4196468 140730705973808 139625488505744 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11777] ppid=11719 vsize=10983736 memory=140242407270016 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11777/stat : 11777 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235203 11247345664 11767 33554432000 4194304 4196468 140730705973808 139625369770768 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11778] ppid=11719 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11778/stat : 11778 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235203 11247345664 11833 33554432000 4194304 4196468 140730705973808 139625368718480 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11779] ppid=11719 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11779/stat : 11779 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235203 11247345664 11833 33554432000 4194304 4196468 140730705973808 139625367665680 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11780] ppid=11719 vsize=10983736 memory=140242407270016 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11780/stat : 11780 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235204 11247345664 11833 33554432000 4194304 4196468 140730705973808 139624977320048 139625484274306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11781] ppid=11719 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11781/stat : 11781 (java) S 11719 11722 8396 0 -1 1077944384 13 13125 0 0 0 0 5 3 20 0 15 0 107235205 11247345664 11899 33554432000 4194304 4196468 140730705973808 139624286511904 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11782] ppid=11719 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11782/stat : 11782 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235205 11247345664 11899 33554432000 4194304 4196468 140730705973808 139624085185648 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11783] ppid=11719 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11783/stat : 11783 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235208 11247345664 11899 33554432000 4194304 4196468 140730705973808 139623816751184 139625484281755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11784] ppid=11719 vsize=10983736 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11722/task/11784/stat : 11784 (java) S 11719 11722 8396 0 -1 1077944384 446 13125 0 0 1 0 5 3 20 0 15 0 107235208 11247345664 11899 33554432000 4194304 4196468 140730705973808 139624976267888 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11785] ppid=11719 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11785/stat : 11785 (java) S 11719 11722 8396 0 -1 1077944384 176 13125 0 0 0 0 5 3 20 0 15 0 107235208 11247345664 11965 33554432000 4194304 4196468 140730705973808 139624975215088 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11786] ppid=11719 vsize=10983736 memory=140242407270016 CPUtime=0.11 cores=1,3,5,7
/proc/11722/task/11786/stat : 11786 (java) S 11719 11722 8396 0 -1 1077944384 615 13125 0 0 3 0 5 3 20 0 15 0 107235208 11247345664 11965 33554432000 4194304 4196468 140730705973808 139624974162800 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11787] ppid=11719 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11787/stat : 11787 (java) S 11719 11722 8396 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 107235208 11249012736 11965 33554432000 4194304 4196468 140730705973808 139623346990048 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11788] ppid=11719 vsize=10985364 memory=140242407270016 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11788/stat : 11788 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235208 11249012736 11965 33554432000 4194304 4196468 140730705973808 139624973109680 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46804 KiB

[startup+0.310241 s]*
/proc/loadavg: 1.83 1.86 1.72 3/215 11788
/proc/meminfo: memFree=17963708/32770624 swapFree=67108860/67108860
[pid=11722] ppid=11719 vsize=10983192 memory=57448 CPUtime=0.38 cores=1,3,5,7
/proc/11722/stat : 11722 (java) S 11719 11722 8396 0 -1 1077944320 10427 13125 0 0 29 1 5 3 20 0 15 0 107235193 11246788608 14362 33554432000 4194304 4196468 140730705973808 140730705956352 139625484263159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
/proc/11722/statm: 2745798 14362 3069 1 0 2708109 0
[pid=11722/tid=11775] ppid=11719 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/11722/task/11775/stat : 11775 (java) R 11719 11722 8396 0 -1 4202560 6969 13125 0 0 20 1 5 3 20 0 15 0 107235202 11246788608 14362 33554432000 4194304 4196468 140730705973808 139625456075168 139625484285085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11776] ppid=11719 vsize=10983192 memory=5937803012634333265 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11776/stat : 11776 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235203 11246788608 14362 33554432000 4194304 4196468 140730705973808 139625488505744 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11777] ppid=11719 vsize=10983192 memory=2072 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11777/stat : 11777 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235203 11246788608 14362 33554432000 4194304 4196468 140730705973808 139625369770768 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11778] ppid=11719 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11778/stat : 11778 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235203 11246788608 14362 33554432000 4194304 4196468 140730705973808 139625368718480 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11779] ppid=11719 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11779/stat : 11779 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235203 11246788608 14362 33554432000 4194304 4196468 140730705973808 139625367665680 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11780] ppid=11719 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11780/stat : 11780 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235204 11246788608 14362 33554432000 4194304 4196468 140730705973808 139624977320048 139625484274306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11781] ppid=11719 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11781/stat : 11781 (java) S 11719 11722 8396 0 -1 1077944384 13 13125 0 0 0 0 5 3 20 0 15 0 107235205 11246788608 14362 33554432000 4194304 4196468 140730705973808 139624286511904 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11782] ppid=11719 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11782/stat : 11782 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235205 11246788608 14362 33554432000 4194304 4196468 140730705973808 139624085185648 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11783] ppid=11719 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11783/stat : 11783 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235208 11246788608 14362 33554432000 4194304 4196468 140730705973808 139623816751184 139625484281755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11784] ppid=11719 vsize=10983192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/11722/task/11784/stat : 11784 (java) S 11719 11722 8396 0 -1 1077944384 446 13125 0 0 2 0 5 3 20 0 15 0 107235208 11246788608 14362 33554432000 4194304 4196468 140730705973808 139624976267888 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11785] ppid=11719 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/11722/task/11785/stat : 11785 (java) S 11719 11722 8396 0 -1 1077944384 177 13125 0 0 1 0 5 3 20 0 15 0 107235208 11246788608 14362 33554432000 4194304 4196468 140730705973808 139624975215088 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11786] ppid=11719 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/11722/task/11786/stat : 11786 (java) R 11719 11722 8396 0 -1 4202560 620 13125 0 0 5 0 5 3 20 0 15 0 107235208 11246788608 14362 33554432000 4194304 4196468 140730705973808 139624974162800 139625465515776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11787] ppid=11719 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11787/stat : 11787 (java) S 11719 11722 8396 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 107235208 11246788608 14362 33554432000 4194304 4196468 140730705973808 139623346990048 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11788] ppid=11719 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11788/stat : 11788 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235208 11246788608 14362 33554432000 4194304 4196468 140730705973808 139624973109680 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57448 KiB

[startup+0.700786 s]
/proc/loadavg: 1.83 1.86 1.72 3/215 11788
/proc/meminfo: memFree=17952420/32770624 swapFree=67108860/67108860
[pid=11722] ppid=11719 vsize=10983192 memory=90644 CPUtime=0.99 cores=1,3,5,7
/proc/11722/stat : 11722 (java) S 11719 11722 8396 0 -1 1077944320 16749 13125 0 0 88 3 5 3 20 0 15 0 107235193 11246788608 22661 33554432000 4194304 4196468 140730705973808 140730705956352 139625484263159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
/proc/11722/statm: 2745798 22661 3247 1 0 2708109 0
[pid=11722/tid=11775] ppid=11719 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/11722/task/11775/stat : 11775 (java) R 11719 11722 8396 0 -1 4202560 12178 13125 0 0 56 2 5 3 20 0 15 0 107235202 11246788608 22661 33554432000 4194304 4196468 140730705973808 139625456083984 139625465826715 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11776] ppid=11719 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11776/stat : 11776 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235203 11246788608 22661 33554432000 4194304 4196468 140730705973808 139625488505744 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11777] ppid=11719 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11777/stat : 11777 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235203 11246788608 22661 33554432000 4194304 4196468 140730705973808 139625369770768 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11778] ppid=11719 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11778/stat : 11778 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235203 11246788608 22661 33554432000 4194304 4196468 140730705973808 139625368718480 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11779] ppid=11719 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11779/stat : 11779 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235203 11246788608 22661 33554432000 4194304 4196468 140730705973808 139625367665680 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11780] ppid=11719 vsize=10983192 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11780/stat : 11780 (java) S 11719 11722 8396 0 -1 1077944384 5 13125 0 0 0 0 5 3 20 0 15 0 107235204 11246788608 22661 33554432000 4194304 4196468 140730705973808 139624977320048 139625484274306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11781] ppid=11719 vsize=10983192 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11781/stat : 11781 (java) S 11719 11722 8396 0 -1 1077944384 13 13125 0 0 0 0 5 3 20 0 15 0 107235205 11246788608 22661 33554432000 4194304 4196468 140730705973808 139624286511904 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11782] ppid=11719 vsize=10983192 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11782/stat : 11782 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235205 11246788608 22661 33554432000 4194304 4196468 140730705973808 139624085185648 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11783] ppid=11719 vsize=10983192 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11783/stat : 11783 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235208 11246788608 22661 33554432000 4194304 4196468 140730705973808 139623816751184 139625484281755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11784] ppid=11719 vsize=10983192 memory=13252 CPUtime=0.15 cores=1,3,5,7
/proc/11722/task/11784/stat : 11784 (java) S 11719 11722 8396 0 -1 1077944384 890 13125 0 0 7 0 5 3 20 0 15 0 107235208 11246788608 22661 33554432000 4194304 4196468 140730705973808 139624976267888 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11785] ppid=11719 vsize=10983192 memory=15460 CPUtime=0.18 cores=1,3,5,7
/proc/11722/task/11785/stat : 11785 (java) S 11719 11722 8396 0 -1 1077944384 750 13125 0 0 10 0 5 3 20 0 15 0 107235208 11246788608 22661 33554432000 4194304 4196468 140730705973808 139624975215088 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11786] ppid=11719 vsize=10983192 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/11722/task/11786/stat : 11786 (java) S 11719 11722 8396 0 -1 1077944384 705 13125 0 0 13 0 5 3 20 0 15 0 107235208 11246788608 22661 33554432000 4194304 4196468 140730705973808 139624974162800 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11787] ppid=11719 vsize=10983192 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11787/stat : 11787 (java) S 11719 11722 8396 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 107235208 11246788608 22661 33554432000 4194304 4196468 140730705973808 139623346990048 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11788] ppid=11719 vsize=10983192 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11788/stat : 11788 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235208 11246788608 22661 33554432000 4194304 4196468 140730705973808 139624973109680 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90644 KiB

[startup+1.50977 s]
/proc/loadavg: 1.83 1.86 1.72 3/215 11788
/proc/meminfo: memFree=17906096/32770624 swapFree=67108860/67108860
[pid=11722] ppid=11719 vsize=10991872 memory=498056 CPUtime=2.92 cores=1,3,5,7
/proc/11722/stat : 11722 (java) S 11719 11722 8396 0 -1 1077944320 23271 13125 0 0 240 44 5 3 20 0 15 0 107235193 11255676928 124514 33554432000 4194304 4196468 140730705973808 140730705956352 139625484263159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
/proc/11722/statm: 2747968 124514 3456 1 0 2709645 0
[pid=11722/tid=11775] ppid=11719 vsize=10991872 memory=0 CPUtime=1.3 cores=1,3,5,7
/proc/11722/task/11775/stat : 11775 (java) S 11719 11722 8396 0 -1 1077944384 14537 13125 0 0 114 8 5 3 20 0 15 0 107235202 11255676928 124514 33554432000 4194304 4196468 140730705973808 139625456098112 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11776] ppid=11719 vsize=10991872 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/11722/task/11776/stat : 11776 (java) R 11719 11722 8396 0 -1 4202560 493 13125 0 0 7 8 5 3 20 0 15 0 107235203 11255676928 124514 33554432000 4194304 4196468 140730705973808 139625488505744 139625477366138 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11777] ppid=11719 vsize=10991872 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/11722/task/11777/stat : 11777 (java) R 11719 11722 8396 0 -1 4202560 480 13125 0 0 6 8 5 3 20 0 15 0 107235203 11255676928 124514 33554432000 4194304 4196468 140730705973808 139625369770968 139625477362912 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11778] ppid=11719 vsize=10991872 memory=4051323354130624818 CPUtime=0.22 cores=1,3,5,7
/proc/11722/task/11778/stat : 11778 (java) R 11719 11722 8396 0 -1 4202560 564 13125 0 0 7 7 5 3 20 0 15 0 107235203 11255676928 124514 33554432000 4194304 4196468 140730705973808 139625368718480 139625477366138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11779] ppid=11719 vsize=10991872 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/11722/task/11779/stat : 11779 (java) R 11719 11722 8396 0 -1 4202560 511 13125 0 0 7 8 5 3 20 0 15 0 107235203 11255676928 124514 33554432000 4194304 4196468 140730705973808 139625367665680 139625477366131 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11780] ppid=11719 vsize=10991872 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11780/stat : 11780 (java) S 11719 11722 8396 0 -1 1077944384 131 13125 0 0 0 0 5 3 20 0 15 0 107235204 11255676928 124514 33554432000 4194304 4196468 140730705973808 139624977318592 139625484273365 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11781] ppid=11719 vsize=10991872 memory=280484584171776 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11781/stat : 11781 (java) S 11719 11722 8396 0 -1 1077944384 15 13125 0 0 0 0 5 3 20 0 15 0 107235205 11255676928 124514 33554432000 4194304 4196468 140730705973808 139624286511904 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11782] ppid=11719 vsize=10991872 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11782/stat : 11782 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235205 11255676928 124514 33554432000 4194304 4196468 140730705973808 139624085185648 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11783] ppid=11719 vsize=10991872 memory=1196 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11783/stat : 11783 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235208 11255676928 124514 33554432000 4194304 4196468 140730705973808 139623816751184 139625484281755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11784] ppid=11719 vsize=10991872 memory=5788 CPUtime=0.4 cores=1,3,5,7
/proc/11722/task/11784/stat : 11784 (java) S 11719 11722 8396 0 -1 1077944384 2179 13125 0 0 32 0 5 3 20 0 15 0 107235208 11255676928 124514 33554432000 4194304 4196468 140730705973808 139624976257616 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11785] ppid=11719 vsize=10991872 memory=4616 CPUtime=0.42 cores=1,3,5,7
/proc/11722/task/11785/stat : 11785 (java) S 11719 11722 8396 0 -1 1077944384 1125 13125 0 0 34 0 5 3 20 0 15 0 107235208 11255676928 124514 33554432000 4194304 4196468 140730705973808 139624975215088 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11786] ppid=11719 vsize=10991872 memory=12032 CPUtime=0.36 cores=1,3,5,7
/proc/11722/task/11786/stat : 11786 (java) S 11719 11722 8396 0 -1 1077944384 1032 13125 0 0 28 0 5 3 20 0 15 0 107235208 11255676928 124514 33554432000 4194304 4196468 140730705973808 139624974162800 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11787] ppid=11719 vsize=10991872 memory=1008 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11787/stat : 11787 (java) S 11719 11722 8396 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 107235208 11255676928 124514 33554432000 4194304 4196468 140730705973808 139623346990048 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11788] ppid=11719 vsize=10991872 memory=792 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11788/stat : 11788 (java) S 11719 11722 8396 0 -1 1077944384 1 13125 0 0 0 0 5 3 20 0 15 0 107235208 11255676928 124514 33554432000 4194304 4196468 140730705973808 139624973109680 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 10991872 KiB

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

/proc/11722/task/11775/stat : 11775 (java) R 11719 11722 8396 0 -1 4202560 33898 13125 0 0 4660 37 5 3 20 0 15 0 107235202 11272552448 970014 33554432000 4194304 4196468 140730705973808 139625456094544 139625045375729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11776] ppid=11719 vsize=11008352 memory=4128 CPUtime=3.82 cores=1,3,5,7
/proc/11722/task/11776/stat : 11776 (java) S 11719 11722 8396 0 -1 1077944384 3306 13125 0 0 318 56 5 3 20 0 15 0 107235203 11272552448 970014 33554432000 4194304 4196468 140730705973808 139625488505744 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11777] ppid=11719 vsize=11008352 memory=6791534058613427641 CPUtime=3.86 cores=1,3,5,7
/proc/11722/task/11777/stat : 11777 (java) S 11719 11722 8396 0 -1 1077944384 2991 13125 0 0 326 52 5 3 20 0 15 0 107235203 11272552448 970014 33554432000 4194304 4196468 140730705973808 139625369770768 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11778] ppid=11719 vsize=11008352 memory=1788 CPUtime=3.86 cores=1,3,5,7
/proc/11722/task/11778/stat : 11778 (java) S 11719 11722 8396 0 -1 1077944384 4250 13125 0 0 324 54 5 3 20 0 15 0 107235203 11272552448 970014 33554432000 4194304 4196468 140730705973808 139625368718480 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11779] ppid=11719 vsize=11008352 memory=952 CPUtime=3.86 cores=1,3,5,7
/proc/11722/task/11779/stat : 11779 (java) S 11719 11722 8396 0 -1 1077944384 3607 13125 0 0 324 54 5 3 20 0 15 0 107235203 11272552448 970014 33554432000 4194304 4196468 140730705973808 139625367665680 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11780] ppid=11719 vsize=11008352 memory=1240 CPUtime=0.24 cores=1,3,5,7
/proc/11722/task/11780/stat : 11780 (java) S 11719 11722 8396 0 -1 1077944384 5550 13125 0 0 16 0 5 3 20 0 15 0 107235204 11272552448 970014 33554432000 4194304 4196468 140730705973808 139624977320048 139625484274306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11781] ppid=11719 vsize=11008352 memory=2424 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11781/stat : 11781 (java) S 11719 11722 8396 0 -1 1077944384 22 13125 0 0 0 0 5 3 20 0 15 0 107235205 11272552448 970014 33554432000 4194304 4196468 140730705973808 139624286511968 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11782] ppid=11719 vsize=11008352 memory=3880056 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11782/stat : 11782 (java) S 11719 11722 8396 0 -1 1077944384 9 13125 0 0 0 0 5 3 20 0 15 0 107235205 11272552448 970014 33554432000 4194304 4196468 140730705973808 139624085185664 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11783] ppid=11719 vsize=11008352 memory=18484 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11783/stat : 11783 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235208 11272552448 970014 33554432000 4194304 4196468 140730705973808 139623816751184 139625484281755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11784] ppid=11719 vsize=11008352 memory=644 CPUtime=4.15 cores=1,3,5,7
/proc/11722/task/11784/stat : 11784 (java) S 11719 11722 8396 0 -1 1077944384 10932 13125 0 0 404 3 5 3 20 0 15 0 107235208 11272552448 970014 33554432000 4194304 4196468 140730705973808 139624976267888 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11785] ppid=11719 vsize=11008352 memory=1788 CPUtime=3.98 cores=1,3,5,7
/proc/11722/task/11785/stat : 11785 (java) S 11719 11722 8396 0 -1 1077944384 8604 13125 0 0 389 1 5 3 20 0 15 0 107235208 11272552448 970014 33554432000 4194304 4196468 140730705973808 139624975215088 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11786] ppid=11719 vsize=11008352 memory=952 CPUtime=1.66 cores=1,3,5,7
/proc/11722/task/11786/stat : 11786 (java) S 11719 11722 8396 0 -1 1077944384 6947 13125 0 0 154 4 5 3 20 0 15 0 107235208 11272552448 970014 33554432000 4194304 4196468 140730705973808 139624974162800 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11787] ppid=11719 vsize=11008352 memory=1240 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11787/stat : 11787 (java) S 11719 11722 8396 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 107235208 11272552448 970014 33554432000 4194304 4196468 140730705973808 139623346990048 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11788] ppid=11719 vsize=11008352 memory=2424 CPUtime=0.1 cores=1,3,5,7
/proc/11722/task/11788/stat : 11788 (java) S 11719 11722 8396 0 -1 1077944384 920 13125 0 0 0 2 5 3 20 0 15 0 107235208 11272552448 970014 33554432000 4194304 4196468 140730705973808 139624973109680 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
Current children cumulated CPU time: 71.97 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 3880056 KiB

[startup+102.301 s]
/proc/loadavg: 1.95 1.91 1.75 5/216 11925
/proc/meminfo: memFree=11215260/32770624 swapFree=67108860/67108860
[pid=11722] ppid=11719 vsize=11082080 memory=4184652 CPUtime=141.12 cores=1,3,5,7
/proc/11722/stat : 11722 (java) S 11719 11722 8396 0 -1 1077944320 144504 13125 0 0 13809 295 5 3 20 0 15 0 107235193 11348049920 1046163 33554432000 4194304 4196468 140730705973808 140730705956352 139625484263159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
/proc/11722/statm: 2770520 1046163 3544 1 0 2732173 0
[pid=11722/tid=11775] ppid=11719 vsize=11082080 memory=1240 CPUtime=96.36 cores=1,3,5,7
/proc/11722/task/11775/stat : 11775 (java) R 11719 11722 8396 0 -1 4202560 61708 13125 0 0 9588 40 5 3 20 0 15 0 107235202 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139625456092560 139625046333080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11776] ppid=11719 vsize=11082080 memory=2424 CPUtime=5.61 cores=1,3,5,7
/proc/11722/task/11776/stat : 11776 (java) S 11719 11722 8396 0 -1 1077944384 6300 13125 0 0 493 60 5 3 20 0 15 0 107235203 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139625488505744 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11777] ppid=11719 vsize=11082080 memory=1568 CPUtime=5.69 cores=1,3,5,7
/proc/11722/task/11777/stat : 11777 (java) S 11719 11722 8396 0 -1 1077944384 5300 13125 0 0 505 56 5 3 20 0 15 0 107235203 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139625369770768 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11778] ppid=11719 vsize=11082080 memory=928 CPUtime=5.64 cores=1,3,5,7
/proc/11722/task/11778/stat : 11778 (java) S 11719 11722 8396 0 -1 1077944384 6750 13125 0 0 499 57 5 3 20 0 15 0 107235203 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139625368718480 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11779] ppid=11719 vsize=11082080 memory=2240 CPUtime=5.69 cores=1,3,5,7
/proc/11722/task/11779/stat : 11779 (java) S 11719 11722 8396 0 -1 1077944384 5174 13125 0 0 503 58 5 3 20 0 15 0 107235203 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139625367665680 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11780] ppid=11719 vsize=11082080 memory=4140 CPUtime=0.28 cores=1,3,5,7
/proc/11722/task/11780/stat : 11780 (java) S 11719 11722 8396 0 -1 1077944384 6630 13125 0 0 20 0 5 3 20 0 15 0 107235204 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139624977320048 139625484274306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11781] ppid=11719 vsize=11082080 memory=30436 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11781/stat : 11781 (java) S 11719 11722 8396 0 -1 1077944384 25 13125 0 0 0 0 5 3 20 0 15 0 107235205 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139624286511968 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11782] ppid=11719 vsize=11082080 memory=1296 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11782/stat : 11782 (java) S 11719 11722 8396 0 -1 1077944384 9 13125 0 0 0 0 5 3 20 0 15 0 107235205 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139624085185664 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11783] ppid=11719 vsize=11082080 memory=2412 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11783/stat : 11783 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235208 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139623816751184 139625484281755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11784] ppid=11719 vsize=11082080 memory=1724 CPUtime=9.75 cores=1,3,5,7
/proc/11722/task/11784/stat : 11784 (java) S 11719 11722 8396 0 -1 1077944384 17538 13125 0 0 962 5 5 3 20 0 15 0 107235208 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139624976267888 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11785] ppid=11719 vsize=11082080 memory=1228 CPUtime=9.37 cores=1,3,5,7
/proc/11722/task/11785/stat : 11785 (java) S 11719 11722 8396 0 -1 1077944384 15243 13125 0 0 925 4 5 3 20 0 15 0 107235208 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139624975215088 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11786] ppid=11719 vsize=11082080 memory=4164048 CPUtime=3.2 cores=1,3,5,7
/proc/11722/task/11786/stat : 11786 (java) S 11719 11722 8396 0 -1 1077944384 16653 13125 0 0 306 6 5 3 20 0 15 0 107235208 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139624974162800 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11787] ppid=11719 vsize=11082080 memory=1952 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11787/stat : 11787 (java) S 11719 11722 8396 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 107235208 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139623346990048 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11788] ppid=11719 vsize=11082080 memory=8584 CPUtime=0.14 cores=1,3,5,7
/proc/11722/task/11788/stat : 11788 (java) S 11719 11722 8396 0 -1 1077944384 973 13125 0 0 2 4 5 3 20 0 15 0 107235208 11348049920 1046163 33554432000 4194304 4196468 140730705973808 139624973109680 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
Current children cumulated CPU time: 141.12 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 4184652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+159.812 s]
/proc/loadavg: 3.64 2.33 1.90 7/216 12052
/proc/meminfo: memFree=14528568/32770624 swapFree=67108860/67108860
[pid=11722] ppid=11719 vsize=11082080 memory=4639908 CPUtime=252.19 cores=1,3,5,7
/proc/11722/stat : 11722 (java) S 11719 11722 8396 0 -1 1077944320 193275 13125 0 0 24793 418 5 3 20 0 15 0 107235193 11348049920 1159977 33554432000 4194304 4196468 140730705973808 140730705956352 139625484263159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
/proc/11722/statm: 2770520 1159977 3544 1 0 2732173 0
[pid=11722/tid=11775] ppid=11719 vsize=11082080 memory=1788 CPUtime=135.97 cores=1,3,5,7
/proc/11722/task/11775/stat : 11775 (java) R 11719 11722 8396 0 -1 4202560 66261 13125 0 0 13548 41 5 3 20 0 15 0 107235202 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139625456097968 139625066292829 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11776] ppid=11719 vsize=11082080 memory=4696292 CPUtime=23.03 cores=1,3,5,7
/proc/11722/task/11776/stat : 11776 (java) S 11719 11722 8396 0 -1 1077944384 8724 13125 0 0 2208 87 5 3 20 0 15 0 107235203 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139625488505744 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11777] ppid=11719 vsize=11082080 memory=4544868 CPUtime=23.15 cores=1,3,5,7
/proc/11722/task/11777/stat : 11777 (java) S 11719 11722 8396 0 -1 1077944384 8928 13125 0 0 2223 84 5 3 20 0 15 0 107235203 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139625369770768 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11778] ppid=11719 vsize=11082080 memory=4696292 CPUtime=22.97 cores=1,3,5,7
/proc/11722/task/11778/stat : 11778 (java) S 11719 11722 8396 0 -1 1077944384 9381 13125 0 0 2198 91 5 3 20 0 15 0 107235203 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139625368718480 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11779] ppid=11719 vsize=11082080 memory=4639924115538006630 CPUtime=23.06 cores=1,3,5,7
/proc/11722/task/11779/stat : 11779 (java) S 11719 11722 8396 0 -1 1077944384 7093 13125 0 0 2211 87 5 3 20 0 15 0 107235203 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139625367665680 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11780] ppid=11719 vsize=11082080 memory=4696292 CPUtime=0.63 cores=1,3,5,7
/proc/11722/task/11780/stat : 11780 (java) S 11719 11722 8396 0 -1 1077944384 35495 13125 0 0 53 2 5 3 20 0 15 0 107235204 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624977320048 139625484274306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11781] ppid=11719 vsize=11082080 memory=5788 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11781/stat : 11781 (java) S 11719 11722 8396 0 -1 1077944384 25 13125 0 0 0 0 5 3 20 0 15 0 107235205 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624286511968 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11782] ppid=11719 vsize=11082080 memory=4696292 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11782/stat : 11782 (java) S 11719 11722 8396 0 -1 1077944384 9 13125 0 0 0 0 5 3 20 0 15 0 107235205 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624085185664 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11783] ppid=11719 vsize=11082080 memory=4696292 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11783/stat : 11783 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235208 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139623816751184 139625484281755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11784] ppid=11719 vsize=11082080 memory=4696292 CPUtime=10.36 cores=1,3,5,7
/proc/11722/task/11784/stat : 11784 (java) S 11719 11722 8396 0 -1 1077944384 19385 13125 0 0 1023 5 5 3 20 0 15 0 107235208 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624976267888 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11785] ppid=11719 vsize=11082080 memory=4696292 CPUtime=10.13 cores=1,3,5,7
/proc/11722/task/11785/stat : 11785 (java) S 11719 11722 8396 0 -1 1077944384 17312 13125 0 0 1001 4 5 3 20 0 15 0 107235208 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624975215088 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11786] ppid=11719 vsize=11082080 memory=4696292 CPUtime=3.33 cores=1,3,5,7
/proc/11722/task/11786/stat : 11786 (java) S 11719 11722 8396 0 -1 1077944384 17425 13125 0 0 318 7 5 3 20 0 15 0 107235208 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624974162800 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11787] ppid=11719 vsize=11082080 memory=4696292 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11787/stat : 11787 (java) S 11719 11722 8396 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 107235208 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139623346990048 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11788] ppid=11719 vsize=11082080 memory=792 CPUtime=0.17 cores=1,3,5,7
/proc/11722/task/11788/stat : 11788 (java) S 11719 11722 8396 0 -1 1077944384 1036 13125 0 0 3 6 5 3 20 0 15 0 107235208 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624973109680 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
Current children cumulated CPU time: 252.19 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 4639908 KiB

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

[startup+159.87 s]
# the end of solver process 11722 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=248.027 s, system=4.24518 s

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

[startup+159.812 s]
/proc/loadavg: 3.64 2.33 1.90 7/216 12052
/proc/meminfo: memFree=14528568/32770624 swapFree=67108860/67108860
[pid=11722] ppid=11719 vsize=11082080 memory=4639908 CPUtime=252.19 cores=1,3,5,7
/proc/11722/stat : 11722 (java) S 11719 11722 8396 0 -1 1077944320 193275 13125 0 0 24793 418 5 3 20 0 15 0 107235193 11348049920 1159977 33554432000 4194304 4196468 140730705973808 140730705956352 139625484263159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
/proc/11722/statm: 2770520 1159977 3544 1 0 2732173 0
[pid=11722/tid=11775] ppid=11719 vsize=11082080 memory=1788 CPUtime=135.97 cores=1,3,5,7
/proc/11722/task/11775/stat : 11775 (java) R 11719 11722 8396 0 -1 4202560 66261 13125 0 0 13548 41 5 3 20 0 15 0 107235202 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139625456097968 139625066292829 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11776] ppid=11719 vsize=11082080 memory=4696292 CPUtime=23.03 cores=1,3,5,7
/proc/11722/task/11776/stat : 11776 (java) S 11719 11722 8396 0 -1 1077944384 8724 13125 0 0 2208 87 5 3 20 0 15 0 107235203 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139625488505744 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11777] ppid=11719 vsize=11082080 memory=4544868 CPUtime=23.15 cores=1,3,5,7
/proc/11722/task/11777/stat : 11777 (java) S 11719 11722 8396 0 -1 1077944384 8928 13125 0 0 2223 84 5 3 20 0 15 0 107235203 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139625369770768 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11778] ppid=11719 vsize=11082080 memory=4696292 CPUtime=22.97 cores=1,3,5,7
/proc/11722/task/11778/stat : 11778 (java) S 11719 11722 8396 0 -1 1077944384 9381 13125 0 0 2198 91 5 3 20 0 15 0 107235203 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139625368718480 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11779] ppid=11719 vsize=11082080 memory=4639924115538006630 CPUtime=23.06 cores=1,3,5,7
/proc/11722/task/11779/stat : 11779 (java) S 11719 11722 8396 0 -1 1077944384 7093 13125 0 0 2211 87 5 3 20 0 15 0 107235203 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139625367665680 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11780] ppid=11719 vsize=11082080 memory=4696292 CPUtime=0.63 cores=1,3,5,7
/proc/11722/task/11780/stat : 11780 (java) S 11719 11722 8396 0 -1 1077944384 35495 13125 0 0 53 2 5 3 20 0 15 0 107235204 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624977320048 139625484274306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11781] ppid=11719 vsize=11082080 memory=5788 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11781/stat : 11781 (java) S 11719 11722 8396 0 -1 1077944384 25 13125 0 0 0 0 5 3 20 0 15 0 107235205 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624286511968 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11782] ppid=11719 vsize=11082080 memory=4696292 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11782/stat : 11782 (java) S 11719 11722 8396 0 -1 1077944384 9 13125 0 0 0 0 5 3 20 0 15 0 107235205 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624085185664 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11783] ppid=11719 vsize=11082080 memory=4696292 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11783/stat : 11783 (java) S 11719 11722 8396 0 -1 1077944384 2 13125 0 0 0 0 5 3 20 0 15 0 107235208 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139623816751184 139625484281755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11784] ppid=11719 vsize=11082080 memory=4696292 CPUtime=10.36 cores=1,3,5,7
/proc/11722/task/11784/stat : 11784 (java) S 11719 11722 8396 0 -1 1077944384 19385 13125 0 0 1023 5 5 3 20 0 15 0 107235208 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624976267888 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11785] ppid=11719 vsize=11082080 memory=4696292 CPUtime=10.13 cores=1,3,5,7
/proc/11722/task/11785/stat : 11785 (java) S 11719 11722 8396 0 -1 1077944384 17312 13125 0 0 1001 4 5 3 20 0 15 0 107235208 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624975215088 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11786] ppid=11719 vsize=11082080 memory=4696292 CPUtime=3.33 cores=1,3,5,7
/proc/11722/task/11786/stat : 11786 (java) S 11719 11722 8396 0 -1 1077944384 17425 13125 0 0 318 7 5 3 20 0 15 0 107235208 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624974162800 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11787] ppid=11719 vsize=11082080 memory=4696292 CPUtime=0.08 cores=1,3,5,7
/proc/11722/task/11787/stat : 11787 (java) S 11719 11722 8396 0 -1 1077944384 3 13125 0 0 0 0 5 3 20 0 15 0 107235208 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139623346990048 139625484273365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
[pid=11722/tid=11788] ppid=11719 vsize=11082080 memory=792 CPUtime=0.17 cores=1,3,5,7
/proc/11722/task/11788/stat : 11788 (java) S 11719 11722 8396 0 -1 1077944384 1036 13125 0 0 3 6 5 3 20 0 15 0 107235208 11348049920 1159977 33554432000 4194304 4196468 140730705973808 139624973109680 139625484274306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14409728 140730705975912 140730705978721 140730705978721 140730705981391 0
Current children cumulated CPU time: 252.19 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 4639908 KiB

Child status: 143
Real time (s): 159.87
CPU time (s): 252.272
CPU user time (s): 248.027
CPU system time (s): 4.24518
CPU usage (%): 157.798
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 4855184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.027
system time used= 4.24518
maximum resident set size= 4855184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206566
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= 17504
involuntary context switches= 1678


# summary of solver processes directly reported to runsolver:
#   pid: 11722
#   total CPU time (s): 252.272
#   total CPU user time (s): 248.027
#   total CPU system time (s): 4.24518

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13727 second user time and 1.39204 second system time

The end

Launcher Data 

Begin job on node103 at 2018-07-29 22:38:40
IDJOB=4302949
IDBENCH=141270
IDSOLVER=2777
FILE ID=node103/4302949-1532896719
RUNJOBID= node103-1532895438-9922
PBS_JOBID= 21022525
Free space on /tmp= 56616 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-05-0350_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302949-1532896719/watcher-4302949-1532896719 -o /tmp/evaluation-result-4302949-1532896719/solver-4302949-1532896719 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532895438-9922 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1199419824 -superng HOME/instance-4302949-1532896719.xml

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

MD5SUM BENCH= 51c3d091a7e4b0716a15e9a29832b849
RANDOM SEED=1199419824

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        18007484 kB
MemAvailable:   29743628 kB
Buffers:          309880 kB
Cached:         11612352 kB
SwapCached:            0 kB
Active:          6205584 kB
Inactive:        7954696 kB
Active(anon):    2240608 kB
Inactive(anon):    25184 kB
Active(file):    3964976 kB
Inactive(file):  7929512 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            174852 kB
Writeback:             0 kB
AnonPages:       2245060 kB
Mapped:            58220 kB
Shmem:             25228 kB
Slab:             298300 kB
SReclaimable:     270116 kB
SUnreclaim:        28184 kB
KernelStack:        3504 kB
PageTables:         9700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4037252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1642496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 56564 MiB
End job on node103 at 2018-07-29 22:41:20