Trace number 4302599

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)525597929 252.127 207.48

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.98/0.74	c Concrete v3.9.2.1532736233296 running
146.36/106.51	o 525597952
147.47/107.31	o 525597950
147.47/107.35	o 525597948
147.68/107.41	o 525597945
147.68/107.44	o 525597937
147.68/107.49	o 525597932
147.93/107.59	o 525597929
252.03/207.43	Exception in thread "main" java.util.concurrent.TimeoutException
252.03/207.43		at concrete.MAC.mac(MAC.scala:188)
252.03/207.43		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.03/207.43		at scala.util.Try$.apply(Try.scala:209)
252.03/207.43		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.03/207.43		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.03/207.43		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.03/207.43		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.03/207.43		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.03/207.43		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.03/207.43		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.03/207.43		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.03/207.43		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.03/207.43		at concrete.MAC.oneRun(MAC.scala:253)
252.03/207.43		at concrete.MAC.nextSolution(MAC.scala:272)
252.03/207.43		at concrete.MAC.nextSolution(MAC.scala:355)
252.03/207.43		at concrete.Solver.hasNext(Solver.scala:166)
252.03/207.43		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.03/207.43		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.03/207.43		at concrete.Solver.foreach(Solver.scala:68)
252.03/207.43		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.03/207.43		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.03/207.43		at scala.util.Success.map(Try.scala:209)
252.03/207.43		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.03/207.43		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.03/207.43		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.03/207.43		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.03/207.43		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.03/207.43		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.03/207.43		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.03/207.43		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.03/207.43		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.03/207.43		at scala.collection.immutable.List.foreach(List.scala:389)
252.03/207.43		at scala.App.main(App.scala:76)
252.03/207.43		at scala.App.main$(App.scala:74)
252.03/207.43		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.03/207.43		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.03/207.44	v <instantiation cost="525597929">
252.03/207.44	v       <list>
252.03/207.44	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.03/207.44	v       </list>
252.03/207.44	v       <values>
252.03/207.44	v         2600 2376 2204 2572 2412 2604 2528 2220 2716 2528 2672 2560 2364 2464 2584 2700 2544 2472 2416 2676 2584 2532 2712 2432 2352 2428 2516 2320 2332 2312 2676 2180 2372 2544 2428 2424 2468 2204 2488 2412 2584 2336 2340 2640 2552 2412 2640 2604 2556 2500 2492 2536 2512 2180 2468 2560 2668 2672 2556 2312 2412 2392 2472 2452 2528 2220 2708 2244 2236 2644 2244 2600 2220 2416 2376 2456 2236 2196 2200 2180 2284 2412 2676 2628 2296 2676 2332 2220 2488 2364 2376 2492 2676 2424 2676 2544 2448 2528 2672 2384 2492 2572 2196 2676 2220 2492 2356 2452 2676 2716 2652 2544 2220 2576 2488 2280 2180 2408 2256 2708 2668 2220 2296 2532 2668 2432 2236 2232 2612 2664 2476 2672 2672 2716 2404 2708 2456 2180 2180 2668 2456 2424 2488 2504 2312 2280 2236 2348 2220 2308 2532 2204 2456 2244 2488 2404 2644 2596 2324 2528 2476 2404 2704 2224 2676 2644 2328 2384 2680 2572 2604 2556 2516 2244 2664 2636 2528 2628 2316 2716 2716 2640 2668 2488 2368 2704 2424 2396 2352 2596 2472 2600 2380 2412 2516 2260 2664 2220 2312 2220 2544 2180 2452 2532 2428 2388 2220 2512 2568 2556 2708 2284 2336 2180 2556 2600 2520 2596 2184 2364 2196 2276 2416 2668 2192 2316 2544 2336 2708 2180 2552 2376 2540 2444 2484 2296 2584 2488 2676 2584 2488 2444 2556 2712 2372 2412 2528 2488 2464 2528 2308 2336 2560 2716 2372 2488 2424 2180 2452 2492 2224 2596 2368 2348 2180 2532 2700 2676 2324 2572 2432 2576 2712 2588 2488 2640 2476 2624 2544 2228 2220 2584 2448 2268 2504 2384 2660 2644 2616 2220 2364 2276 2632 2660 2248 2384 2656 2488 2716 2716 2236 2240 2420 2320 2452 2508 2468 2572 2528 2296 2272 2452 2184 2516 2372 2716 2180 2272 2404 2716 2220 2512 2516 2288 2536 2540 2380 2528 2452 2276 2680 2428 2324 2416 2692 2364 2500 2496 2532 2516 2336 2180 2632 2372 2196 2468 2636 2604 2416 2528 1 0 1 0 0 0 1 0 1 1 0 1 0 1 1 1 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 1 1 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 1 1 1 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 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 1 1 0 0 1 1 0 0 1 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 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 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 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 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 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 10 0 0 3 0 1 1 0 0 0 0 0 0 3 1 0 0 1 0 0 0 10 4 10 10 0 10 0 0 10 7 0 0 10 0 0 10 0 9 1 1 10 0 0 0 0 10 0 10 10 0 1 0 0 0 0 0 0 0 0 3 0 10 0 0 1 0 10 10 0 0 10 10 0 0 10 0 1 0 0 0 10 10 3 0 10 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 10 0 0 10 1 0 0 10 0 2 0 0 10 9 0 1 0 0 10 0 10 7 1 0 1 0 0 10 0 0 0 0 0 10 0 1 10 0 0 8 10 0 0 0 0 6 0 0 10 0 10 0 1 1 0 1 0 0 2 0 4 0 0 0 9 0 0 0 0 0 0 6 1 10 0 0 0 0 1 0 10 0 0 0 0 8 0 0 0 0 1 1 10 2 0 0 0 0 0 0 7 10 0 0 0 0 1 0 0 10 7 10 8 0 0 0 0 0 8 0 3 0 0 9 0 0 0 0 7 0 0 0 10 0 9 0 0 0 1 0 10 1 0 0 0 0 0 0 10 0 0 0 0 0 10 0 0 1 0 10 0 0 0 7 4 0 0 10 0 1 0 10 0 3 0 0 0 0 0 10 0 3 0 1 8 1 10 0 0 0 1 0 10 0 0 0 0 0 10 0 0 0 3 10 0 0 0 1 0 10 6 0 0 1 10 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 10 5 0 10 0 1 1 0 0 3 6 1 0 1 0 0 10 0 9 0 0 0 0 1 1 0 0 10 6 0 0 10 0 0 0 0 0 10 5 0 1 0 0 0 1 0 4 0 1 4 0 0 10 0 0 0 0 0 0 5 10 4 0 1 0 10 0 0 0 0 0 1 10 0 10 0 0 0 0 0 1 9 0 0 0 9 0 0 0 0 1 0 7 0 0 0 0 0 0 0 0 1 0 8 1 1 0 0 0 2 0 0 0 0 0 0 0 8 0 0 1 0 0 0 10 8 0 6 10 0 5 0 10 1 0 8 0 0 0 10 0 0 0 5 0 0 9 0 0 0 10 9 0 6 0 10 9 0 0 0 0 0 0 0 10 10 0 1 0 3 10 0 0 0 0 10 0 0 0 0 9 7 10 0 0 0 3 0 4 0 0 0 0 0 8 9 1 0 7 0 0 8 0 0 0 0 0 0 0 4 7 1 8 0 9 0 6 0 0 0 0 10 0 0 0 0 0 1 0 0 10 9 10 0 0 0 0 10 0 0 1 0 1 0 1 10 0 10 7 9 1 0 1 10 0 10 0 10 0 3 1 0 1 0 0 0 0 0 10 0 0 1 0 0 0 0 10 0 10 0 0 1 0 1 0 0 9 9 0 0 0 1 0 0 0 0 9 10 1 3 0 0 0 1 0 9 0 10 10 0 0 0 1 0 0 10 3 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 10 0 10 10 10 0 0 1 0 0 2 0 0 0 0 0 3 0 10 0 0 0 0 0 0 0 0 0 1 1 0 9 0 0 0 10 0 0 0 0 0 1 0 0 0 0 10 0 0 3 8 0 8 0 10 0 1 10 0 9 0 7 5 0 10 0 0 0 1 0 0 1 0 1 0 9 0 10 0 10 0 1 8 1 10 6 0 0 0 0 0 0 0 0 1 1 1 10 0 0 4 5 10 0 5 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 1 0 0 0 7 9 0 0 0 9 0 0 4 10 0 0 1 0 1 0 6 0 0 2 6 0 10 0 0 0 3 0 9 0 0 10 0 0 0 10 0 10 1 10 0 10 0 9 0 1 0 0 0 5 10 0 0 0 4 1 1 0 0 4 0 10 0 8 10 0 1 0 0 0 0 0 0 8 7 0 0 0 10 10 0 0 10 0 3 0 5 0 1 0 0 0 0 0 0 0 0 0 0 0 0 9 4 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 9 1 1 0 1 0 0 0 0 0 1 0 10 0 0 0 0 0 0 8 4 1 0 0 0 0 1 0 5 0 0 9 0 10 0 0 0 0 0 0 0 10 0 0 0 0 1 0 0 0 10 0 0 1 0 0 7 0 0 10 0 0 0 0 0 0 3 0 1 0 1 1 0 0 1 0 0 1 1 10 1 2 0 3 0 0 1 1 0 0 0 0 10 9 0 1 0 0 0 0 0 5 3 8 10 10 0 1 10 0 0 0 1 0 1 7 0 10 0 0 0 10 1 0 0 0 10 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 7 0 0 0 0 1 1 1 0 2 0 0 0 7 10 0 2 0 10 1 0 10 0 10 0 10 10 0 0 0 0 9 0 0 0 0 0 0 0 10 0 0 0 0 0 0 3 0 9 0 0 10 1 0 10 1 0 0 0 10 2 10 1 0 10 10 0 0 0 0 0 0 0 7 0 0 1 7 0 0 0 0 0 1 0 0 0 10 4 0 0 0 0 1 0 10 1 0 0 1 0 0 0 0 10 10 10 0 0 1 0 0 0 3 0 7 0 5 10 0 0 0 0 0 10 10 7 1 0 6 0 0 0 0 10 0 0 10 0 0 0 1 10 4 0 0 6 10 1 0 0 0 0 2 8 10 8 1 0 10 0 0 0 0 10 1 0 5 10 0 0 1 1 0 0 0 10 0 0 0 0 0 0 0 0 0 10 5 9 0 0 6 1 0 0 10 10 0 1 0 10 0 0 10 7 1 6 4 0 4 1 0 0 10 0 0 4 0 0 0 10 0 0 2 0 0 0 0 0 0 10 0 4 0 1 0 1 9 0 7 10 0 1 0 0 0 0 0 0 10 8 0 10 0 0 0 10 0 0 0 0 0 1 0 0 0 0 0 10 0 10 10 1 0 0 9 0 0 1 0 8 0 0 10 0 6 1 5 0 7 0 0 0 0 7 0 0 0 0 1 0 1 9 0 8 0 0 0 10 0 0 6 0 0 0 9 0 0 0 0 8 0 0 0 9 0 0 6 0 0 10 10 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 5 1 0 0 0 0 6 0 0 0 1 0 0 3 4 0 10 0 7 9 10 10 1 10 5 0 3 1 0 0 0 3 1 0 0 0 7 4 0 10 0 0 0 6 0 0 10 1 9 1 10 1 0 0 1 0 0 0 0 0 0 0 1 0 0 4 0 0 0 0 10 10 0 10 1 0 6 0 5 0 10 0 0 0 0 0 2 0 1 0 3 0 10 0 1 0 0 0 0 0 0 0 0 10 0 0 0 0 1 0 0 0 0 5 10 9 6 0 10 0 1 0 0 0 0 9 0 0 0 9 10 1 0 0 0 0 0 1 0 9 9 0 0 0 10 1 0 0 0 0 10 0 0 0 0 0 0 1 0 2 5 0 0 0 0 0 0 1 0 0 0 0 0 9 0 10 0 10 0 1 0 6 0 10 9 0 0 0 0 0 3 0 10 10 1 0 0 0 0 10 0 0 0 0 0 1 0 9 0 1 8 10 0 0 6 1 0 10 0 10 1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 10 8 1 0 0 0 0 0 8 0 0 0 10 0 10 0 0 10 10 1 0 0 10 0 0 0 10 0 1 0 1 0 0 0 0 0 9 0 10 0 0 1 0 0 0 0 10 4 0 1 0 1 0 1 1 0 4 0 10 10 0 0 0 1 1 0 2 1 10 0 0 0 0 0 10 0 0 0 1 10 0 0 0 0 10 0 0 0 0 0 0 0 6 10 0 6 10 0 0 0 0 7 0 0 1 0 1 1 10 10 0 0 10 9 3 0 0 0 4 0 0 0 0 0 0 0 1 0 0 10 10 0 0 0 0 0 0 0 10 10 0 1 0 1 0 0 9 0 0 0 1 0 10 0 0 10 0 0 0 0 0 10 0 0 0 1 0 10 0 1 0 0 0 10 0 0 10 0 0 10 2 10 10 10 0 0 1 0 0 10 0 0 5 0 10 0 0 0 0 0 0 1 0 10 10 8 0 0 0 0 0 0 1 1 0 10 0 0 0 10 0 0 0 0 0 0 0 1 0 9 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 0 3 0 0 0 9 0 0 0 0 0 10 0 10 0 0 1 1 10 0 10 0 0 0 0 0 6 0 1 10 5 0 9 0 10 1 9 5 10 0 4 0 10 8 0 6 0 6 10 1 0 0 10 1 0 0 1 10 0 0 0 0 10 10 0 0 10 3 0 10 0 0 5 0 7 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 1 1 0 10 0 0 0 0 10 10 10 10 8 0 0 0 9 0 6 0 1 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 1 0 1 10 0 0 0 2 1 1 10 0 10 0 0 5 0 0 0 10 10 0 0 0 1 10 0 1 0 0 1 5 0 0 10 6 0 9 0 0 0 0 1 0 0 10 0 8 0 0 0 0 4 0 0 8 0 10 10 9 0 0 1 0 0 4 0 0 0 0 0 0 0 0 0 0 1 0 0 8 10 1 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 6 0 0 5 1 10 0 1 0 8 0 0 0 0 1 0 0 10 7 2 1 10 0 136 248 172 44 108 380 144 364 380 276 76 56 72 108 236 208 56 36 140 156 80 112 28 156 200 152 340 52 316 132 340 76 248 248 212 328 252 260 60 392 372 292 100 348 204 236 248 84 344 208 64 172 76 260 296 176 192 260 296 200 32 252 120 128 44 120 136 96 60 136 384 228 424 208 384 296 380 172 20 240 76 188 104 12 212 16 456 164 448 132 376 64 156 440 104 276 312 160 188 384 536 36 224 492 368 188 344 112 116 188 308 148 308 148 180 52 76 212 188 176 56 160 76 128 160 428 476 96 428 276 396 84 44 220 132 96 340 380 148 156 136 40 244 336 108 32 272 132 380 312 68 184 52 168 144 124 192 184 28 276 96 144 88 316 112 212 220 244 228 92 104 188 96 12 248 88 92 88 124 28 52 60 56 204 324 80 300 96 308 324 324 208 520 24 352 112 76 156 184 12 96 168 324 168 364 320 196 44 80 268 292 24 68 232 124 96 112 84 228 224 212 8 260 72 172 212 56 220 112 108 296 224 32 232 236 0 496 252 32 4 160 432 296 132 32 224 288 96 176 52 404 84 32 52 96 344 132 212 16 140 312 116 40 236 184 328 108 180 64 304 84 128 208 400 516 36 224 492 356 60 468 308 128 224 532 472 140 244 120 120 252 84 188 96 96 276 268 244 164 140 20 292 108 140 116 132 244 28 364 100 36 248 168 192 60 12 56 212 232 144 64 248 24 148 288 128 280 128 56 212 76 108 24 40 124 44 296 56 60 312 88 152 92 164 288 68 200 192 140 120 12 224 396 84 196 232 16 96 92 312 264 8 344 384 36 120 268 212 200 160 404 264 32 404 132 396 244 12 72 176 196 24 32 432 456 440 456 80 352 0 224 8 132 264 356 312 196 296 132 404 436 480 320 40 176 172 232 192 192 112 0 268 132 52 96 364 132 308 312 124 56 68 324 128 172 172 52 308 36 272 12 116 236 60 92 284 4 288 88 156 108 88 76 244 60 204 284 240 292 164 64 236 116 148 132 232 44 108 140 128 132 84 296 268 132 104 368 512 84 476 252 56 180 252 256 180 216 192 224 164 268 40 28 116 132 256 168 104 144 76 188 184 28 304 104 116 220 216 92 92 228 132 28 76 116 404 132 120 340 140 68 308 44 76 196 232 52 144 300 120 120 116 88 64 104 188 320 80 144 148 40 264 24 420 36 76 416 56 172 124 124 172 84 80 308 60 124 64 140 52 356 216 128 80 48 304 232 44 296 44 228 92 40 4 232 444 308 36 236 136 76 460 68 460 84 56 0 136 100 240 324 128 412 72 160 76 0 68 0 312 128 152 376 120 156 80 288 88 104 124 28 320 76 28 220 112 100 44 156 320 272 256 272 196 36 148 116 264 44 244 224 220 8 132 136 120 52 332 156 204 108 56 144 292 292 216 60 332 124 292 364 128 392 272 536 96 208 204 272 144 288 168 100 88 208 240 276 20 192 340 108 148 104 104 68 164 340 20 116 72 140 24 120 380 212 124 444 152 424 84 304 200 24 252 260 4 0 476 28 36 292 412 8 140 388 476 480 184 396 64 132 160 276 312 112 152 336 320 152 336 140 192 60 100 68 176 396 24 36 24 396 164 108 140 292 176 4 264 188 160 44 252 136 232 76 192 32 56 116 172 180 248 124 172 212 56 68 40 16 172 128 252 228 240 92 56 220 100 216 28 248 228 68 116 272 180 264 128 80 244 152 144 148 124 272 124 40 204 72 252 12 308 144 192 228 40 212 444 448 232 380 320 268 268 248 208 32 96 304 0 220 64 136 328 176 280 220 4 216 324 432 384 24 300 332 64 300 296 180 104 388 256 220 432 252 76 444 60 16 0 292 168 56 368 152 408 424 320 72 192 256 44 124 24 100 324 432 8 24 356 300 328 372 76 216 344 304 4 68 156 76 452 16 448 268 132 228 440 496 104 212 260 128 160 248 180 236 0 28 196 20 96 332 300 248 136 100 140 32 36 208 52 128 60 28 92 260 472 240 188 296 292 84 332 320 360 256 316 428 344 276 168 356 164 268 308 272 252 392 376 156 0 496 296 88 272 500 352 80 432 384 320 104 424 272 276 88 248 356 168 264 296 232 224 116 32 152 120 128 216 136 76 280 116 48 480 220 8 364 76 188 404 480 396 448 432 88 404 260 84 180 76 156 112 236 412 108 112 256 148 76 300 236 348 56 8 444 8 380 184 352 104 456 440 148 304 44 72 24 184 112 96 188 488 184 96 268 376 20 164 16 152 152 220 212 188 220 192 312 352 40 184 144 344 192 164 140 196 156 20 156 300 212 248 340 156 196 60 180 36 88 144 92 64 32 40 416 392 484 188 496 292 400 52 284 172 120 244 76 92 88 44 292 12 496 32 4 104 48 368 292 16 224 492 28 92 120 40 100 196 304 124 324 148 108 112 228 228 112 348 140 124 476 36 28 144 412 140 184 396 148 216 164 108 156 12 164 152 60 172 188 96 4 184 312 108 252 204 276 68 220 56 376 392 392 124 144 352 248 448 28 64 336 88 0 292 64 4 220 120 116 456 4 72 136 444 460 308 444 264 336 492 40 496 160 272 104 168 224 104 108 80 156 36 128 100 308 172 324 272 40 4 304 172 180 112 200 172 52 144 124 92 272 264 172 164 40 268 40 496 496 120 116 36 172 148 312 472 112 536 160 156 240 268 212 264 432 20 340 208 424 64 68 320 220 180 28 92 16 0 376 232 168 448 192 0 100 144 416 96 140 88 124 44 156 4 304 180 104 268 100 128 68 124 96 100 316 296 376 8 216 204 96 196 308 380 404 156 300 4 160 224 176 64 192 328 448 44 176 424 220 432 340 256 140 12 252 472 256 448 336 368 496 312 160 160 344 300 220 248 292 364 276 420 232 108 184 224 196 352 64 180 312 116 436 0 192 316 72 372 44 48 432 160 488 164 244 152 96 56 0 212 140 252 4 432 296 256 88 336 16 480 184 272 136 52 436 472 140 260 92 340 4 296 140 400 84 232 352 52 328 124 336 16 348 236 380 108 48 80 240 52 188 48 76 8 96 44 20 44 184 480 132 36 216 216 376 4 44 536 532 352 272 536 184 392 300 300 200 304 224 180 272 100 108 108 372 256 112 176 468 260 236 28 100 96 32 224 120 64 172 416 480 116 336 308 44 168 408 464 536 96 372 44 344 448 432 160 36 72 236 120 276 284 132 8 208 216 152 152 96 96 268 100 100 324 324 52 56 324 72 0 212 24 364 24 220 176 68 72 100 316 92 360 224 172 8 256 16 88 440 480 284 432 308 128 168 168 328 108 376 104 456 232 168 300 264 472 108 404 80 140 60 328 164 68 160 312 148 104 436 464 148 172 144 244 160 248 512 120 72 208 212 128 72 188 272 328 64 136 284 272 264 80 96 0 56 184 128 68 184 48 0 264 360 448 0 76 72 44 184 144 276 232 276 276 272 220 88 4 84 188 12 296 292 200 52 56 240 200 20 40 112 16 224 192 220 148 192 220 272 44 216 204 208 188 180 412 48 288 76 8 132 264 44 356 36 16 328 332 200 88 336 68 192 372 268 288 76 140 216 184 212 204 168 100 248 52 364 372 32 20 408 264 392 236 136 12 128 104 96 32 120 200 424 36 76 100 32 136 220 220 28 144 80 12 28 124 80 92 32 456 232 24 208 288 300 80 48 124 328 108 256 120 28 416 440 96 80 360 456 148 4 348 348 312 140 60 84 320 448 444 88 132 212 8 396 172 228 344 136 400 100 120 228 264 48 172 352 440 272 156 140 76 100 264 288 264 208 412 20 76 112 108 152 284 8 396 344 68 88 84 268 280 408 332 108 380 484 12 468 196 100 244 196 204 28 76 176 216 280 24 200 192 320 120 24 72 124 308 340 180 404 220 64 272 252 176 100 172 60 132 120 284 152 188 108 104 16 192 96 40 124 116 140 12 68 24 192 272 68 280 228 160 132 468 472 176 388 456 4 128 368 404 72 320 348 156 228 196 40 16 0 380 192 144 64 148 68 92 264 88 248 256 40 232 188 248 156 88 36 340 52 332 144 140 388 68 144 80 336 192 160 56 140 28 528 336 68 204 256 80 8 20 0 372 116 380 192 336 220 84 52 80 188 280 148 108 200 156 8 120 96 128 368 280 4 268 460 136 112 220 168 336 208 136 132 52 16 80 436 276 252 96 72 112 300 112 124 256 488 192 44 348 252 296 84 296 12 172 128 44 136 56 400 220 224 64 224 180 372 108 324 204 196 440 256 28 280 212 176 416 60 336 224 200 180 188 312 148 72 8 284 340 52 180 12 100 4 76 356 140 156 32 260 92 264 232 148 416 76 276 156 212 232 356 96 52 148 328 52 40 104 96 212 276 92 360 96 312 364 96 156 240 248 308 372 376 160 268 140 180 140 204 340 76 296 200 244 136 136 156 0 144 168 260 92 160 48 216 164 228 264 4 404 124 108 280 236 188 80 56 312 108 72 172 440 220 520 268 132 80 172 176 4 128 308 240 76 80 224 36 112 400 52 356 176 180 148 276 80 296 88 436 288 4 500 352 144 24 224 316 248 168 200 408 60 224 148 104 184 204 308 28 336 168 144 60 32 84 28 8 192 124 396 36 48 52 472 528 532 296 36 56 208 88 72 240 228 68 20 228 20 208 24 204 324 256 432 188 48 232 160 132 132 172 124 80 184 264 200 132 204 48 144 172 56 56 396 104 236 340 16 152 384 164 116 4 480 136 468 64 468 268 96 384 320 292 480 296 344 84 440 200 184 136 476 148 212 44 156 20 136 208 96 60 224 96 52 388 144 36 156 348 256 232 296 100 12 232 392 200 180 100 196 96 92 308 332 356 216 344 312 80 240 300 60
252.03/207.44	v       </values>
252.03/207.44	v     </instantiation>
252.03/207.44	s SATISFIABLE

Verifier Data 

OK	525597929

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302599-1532896643/watcher-4302599-1532896643 -o /tmp/evaluation-result-4302599-1532896643/solver-4302599-1532896643 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532895510-17593 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=136493297 HOME/instance-4302599-1532896643.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
Current StackSize limit: 8192 KiB

solver pid=18907, runsolver pid=18904

[startup+0.100096 s]*
/proc/loadavg: 1.49 1.51 1.50 3/206 18964
/proc/meminfo: memFree=20480284/32770624 swapFree=67108860/67108860
[pid=18907] ppid=18904 vsize=10005480 memory=18956 CPUtime=0.08 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 6396 0 -1 1077944320 4363 13260 0 0 1 0 5 2 20 0 6 0 107227575 10245611520 4739 33554432000 4194304 4196468 140724590886016 140724590868560 139819750473463 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
/proc/18907/statm: 2501370 4739 1935 1 0 2489808 0
[pid=18907/tid=18960] ppid=18904 vsize=10005480 memory=4279135704013833871 CPUtime=0.08 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 6396 0 -1 4202560 2168 13260 0 0 1 0 5 2 20 0 6 0 107227584 10245611520 4739 33554432000 4194304 4196468 140724590886016 139819722310224 139819742710590 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18961] ppid=18904 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 6 0 107227585 10245611520 4739 33554432000 4194304 4196468 140724590886016 139819754715920 139819750483669 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18962] ppid=18904 vsize=10005480 memory=139816076809856 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 6 0 107227585 10245611520 4739 33554432000 4194304 4196468 140724590886016 139819642121104 139819750483669 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18963] ppid=18904 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 6 0 107227585 10245611520 4739 33554432000 4194304 4196468 140724590886016 139819288964112 139819750483669 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18964] ppid=18904 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 6396 0 -1 1077944384 2 13260 0 0 0 0 5 2 20 0 6 0 107227585 10245611520 4739 33554432000 4194304 4196468 140724590886016 139819287911568 139819750483669 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18956 KiB

[startup+0.20994 s]*
/proc/loadavg: 1.49 1.51 1.50 3/215 18973
/proc/meminfo: memFree=20455192/32770624 swapFree=67108860/67108860
[pid=18907] ppid=18904 vsize=10982744 memory=46696 CPUtime=0.25 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 6396 0 -1 1077944320 7911 13260 0 0 17 1 5 2 20 0 15 0 107227575 11246329856 11674 33554432000 4194304 4196468 140724590886016 140724590868560 139819750473463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
/proc/18907/statm: 2745686 11674 2947 1 0 2708109 0
[pid=18907/tid=18960] ppid=18904 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 6396 0 -1 4202560 4456 13260 0 0 11 0 5 2 20 0 15 0 107227584 11246329856 11674 33554432000 4194304 4196468 140724590886016 139819722278544 139819750495389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18961] ppid=18904 vsize=10982744 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227585 11246329856 11674 33554432000 4194304 4196468 140724590886016 139819754715920 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18962] ppid=18904 vsize=10982744 memory=139816077453397 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227585 11246329856 11674 33554432000 4194304 4196468 140724590886016 139819642121104 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18963] ppid=18904 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227585 11246329856 11674 33554432000 4194304 4196468 140724590886016 139819288964112 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18964] ppid=18904 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 6396 0 -1 1077944384 2 13260 0 0 0 0 5 2 20 0 15 0 107227585 11246329856 11674 33554432000 4194304 4196468 140724590886016 139819287911568 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18965] ppid=18904 vsize=10982744 memory=139816076809856 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 6396 0 -1 1077944384 2 13260 0 0 0 0 5 2 20 0 15 0 107227586 11246329856 11674 33554432000 4194304 4196468 140724590886016 139819243603952 139819750484610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18966] ppid=18904 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 6396 0 -1 1077944384 13 13260 0 0 0 0 5 2 20 0 15 0 107227587 11246329856 11674 33554432000 4194304 4196468 140724590886016 139818566673312 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18967] ppid=18904 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227587 11246329856 11674 33554432000 4194304 4196468 140724590886016 139818365346800 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18968] ppid=18904 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11246329856 11674 33554432000 4194304 4196468 140724590886016 139818057947344 139819750492059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18969] ppid=18904 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) S 18904 18907 6396 0 -1 1077944384 484 13260 0 0 1 0 5 2 20 0 15 0 107227590 11246329856 11674 33554432000 4194304 4196468 140724590886016 139819242551792 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18970] ppid=18904 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) S 18904 18907 6396 0 -1 1077944384 131 13260 0 0 0 0 5 2 20 0 15 0 107227590 11246329856 11674 33554432000 4194304 4196468 140724590886016 139819241499248 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18971] ppid=18904 vsize=10982744 memory=139816076809856 CPUtime=0.1 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) R 18904 18907 6396 0 -1 4202560 622 13260 0 0 3 0 5 2 20 0 15 0 107227590 11246329856 11674 33554432000 4194304 4196468 140724590886016 139819240446704 139819729100145 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18972] ppid=18904 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11246329856 11674 33554432000 4194304 4196468 140724590886016 139817627151456 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18973] ppid=18904 vsize=10982744 memory=139816076809856 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227590 11246329856 11674 33554432000 4194304 4196468 140724590886016 139819239393584 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46696 KiB

[startup+0.31019 s]*
/proc/loadavg: 1.49 1.51 1.50 3/215 18973
/proc/meminfo: memFree=20443532/32770624 swapFree=67108860/67108860
[pid=18907] ppid=18904 vsize=10983192 memory=57408 CPUtime=0.38 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 6396 0 -1 1077944320 10419 13260 0 0 29 2 5 2 20 0 15 0 107227575 11246788608 14352 33554432000 4194304 4196468 140724590886016 140724590868560 139819750473463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
/proc/18907/statm: 2745798 14352 3066 1 0 2708109 0
[pid=18907/tid=18960] ppid=18904 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 6396 0 -1 4202560 6946 13260 0 0 20 1 5 2 20 0 15 0 107227584 11246788608 14352 33554432000 4194304 4196468 140724590886016 139819722285472 139819734553950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18961] ppid=18904 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227585 11246788608 14352 33554432000 4194304 4196468 140724590886016 139819754715920 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18962] ppid=18904 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227585 11246788608 14352 33554432000 4194304 4196468 140724590886016 139819642121104 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18963] ppid=18904 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227585 11246788608 14352 33554432000 4194304 4196468 140724590886016 139819288964112 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18964] ppid=18904 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 6396 0 -1 1077944384 2 13260 0 0 0 0 5 2 20 0 15 0 107227585 11246788608 14352 33554432000 4194304 4196468 140724590886016 139819287911568 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18965] ppid=18904 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 6396 0 -1 1077944384 2 13260 0 0 0 0 5 2 20 0 15 0 107227586 11246788608 14352 33554432000 4194304 4196468 140724590886016 139819243603952 139819750484610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18966] ppid=18904 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 6396 0 -1 1077944384 13 13260 0 0 0 0 5 2 20 0 15 0 107227587 11246788608 14352 33554432000 4194304 4196468 140724590886016 139818566673312 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18967] ppid=18904 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227587 11246788608 14352 33554432000 4194304 4196468 140724590886016 139818365346800 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18968] ppid=18904 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11246788608 14352 33554432000 4194304 4196468 140724590886016 139818057947344 139819750492059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18969] ppid=18904 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) S 18904 18907 6396 0 -1 1077944384 485 13260 0 0 2 0 5 2 20 0 15 0 107227590 11246788608 14352 33554432000 4194304 4196468 140724590886016 139819242551792 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18970] ppid=18904 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) S 18904 18907 6396 0 -1 1077944384 131 13260 0 0 1 0 5 2 20 0 15 0 107227590 11246788608 14352 33554432000 4194304 4196468 140724590886016 139819241499248 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18971] ppid=18904 vsize=10983192 memory=139816076809856 CPUtime=0.12 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 6396 0 -1 1077944384 637 13260 0 0 5 0 5 2 20 0 15 0 107227590 11246788608 14352 33554432000 4194304 4196468 140724590886016 139819240446704 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18972] ppid=18904 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11246788608 14352 33554432000 4194304 4196468 140724590886016 139817627151456 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18973] ppid=18904 vsize=10983192 memory=139816076809856 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227590 11246788608 14352 33554432000 4194304 4196468 140724590886016 139819239393584 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57408 KiB

[startup+0.700738 s]
/proc/loadavg: 1.49 1.51 1.50 3/215 18973
/proc/meminfo: memFree=20431384/32770624 swapFree=67108860/67108860
[pid=18907] ppid=18904 vsize=10983192 memory=90488 CPUtime=0.98 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 6396 0 -1 1077944320 16768 13260 0 0 87 4 5 2 20 0 15 0 107227575 11246788608 22622 33554432000 4194304 4196468 140724590886016 140724590868560 139819750473463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
/proc/18907/statm: 2745798 22622 3242 1 0 2708109 0
[pid=18907/tid=18960] ppid=18904 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 6396 0 -1 4202560 12237 13260 0 0 56 3 5 2 20 0 15 0 107227584 11246788608 22622 33554432000 4194304 4196468 140724590886016 139819722294288 139819733660272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18961] ppid=18904 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227585 11246788608 22622 33554432000 4194304 4196468 140724590886016 139819754715920 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18962] ppid=18904 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227585 11246788608 22622 33554432000 4194304 4196468 140724590886016 139819642121104 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18963] ppid=18904 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227585 11246788608 22622 33554432000 4194304 4196468 140724590886016 139819288964112 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18964] ppid=18904 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 6396 0 -1 1077944384 2 13260 0 0 0 0 5 2 20 0 15 0 107227585 11246788608 22622 33554432000 4194304 4196468 140724590886016 139819287911568 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18965] ppid=18904 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 6396 0 -1 1077944384 6 13260 0 0 0 0 5 2 20 0 15 0 107227586 11246788608 22622 33554432000 4194304 4196468 140724590886016 139819243603952 139819750484610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18966] ppid=18904 vsize=10983192 memory=139815949578960 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 6396 0 -1 1077944384 13 13260 0 0 0 0 5 2 20 0 15 0 107227587 11246788608 22622 33554432000 4194304 4196468 140724590886016 139818566673312 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18967] ppid=18904 vsize=10983192 memory=139818365354595 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227587 11246788608 22622 33554432000 4194304 4196468 140724590886016 139818365346800 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18968] ppid=18904 vsize=10983192 memory=8600 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11246788608 22622 33554432000 4194304 4196468 140724590886016 139818057947344 139819750492059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18969] ppid=18904 vsize=10983192 memory=7234564758908855872 CPUtime=0.14 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) S 18904 18907 6396 0 -1 1077944384 866 13260 0 0 7 0 5 2 20 0 15 0 107227590 11246788608 22622 33554432000 4194304 4196468 140724590886016 139819242551792 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18970] ppid=18904 vsize=10983192 memory=7597685182856913236 CPUtime=0.16 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) S 18904 18907 6396 0 -1 1077944384 720 13260 0 0 9 0 5 2 20 0 15 0 107227590 11246788608 22622 33554432000 4194304 4196468 140724590886016 139819241499248 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18971] ppid=18904 vsize=10983192 memory=5787220445994897765 CPUtime=0.2 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 6396 0 -1 1077944384 718 13260 0 0 13 0 5 2 20 0 15 0 107227590 11246788608 22622 33554432000 4194304 4196468 140724590886016 139819240446704 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18972] ppid=18904 vsize=10983192 memory=4128 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11246788608 22622 33554432000 4194304 4196468 140724590886016 139817627151456 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18973] ppid=18904 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227590 11246788608 22622 33554432000 4194304 4196468 140724590886016 139819239393584 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90488 KiB

[startup+1.50067 s]
/proc/loadavg: 1.49 1.51 1.50 3/215 18973
/proc/meminfo: memFree=20385300/32770624 swapFree=67108860/67108860
[pid=18907] ppid=18904 vsize=10991872 memory=480756 CPUtime=2.86 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 6396 0 -1 1077944320 23078 13260 0 0 238 41 5 2 20 0 15 0 107227575 11255676928 120189 33554432000 4194304 4196468 140724590886016 140724590868560 139819750473463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
/proc/18907/statm: 2747968 120189 3455 1 0 2709645 0
[pid=18907/tid=18960] ppid=18904 vsize=10991872 memory=12813 CPUtime=1.3 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) S 18904 18907 6396 0 -1 1077944384 14551 13260 0 0 115 8 5 2 20 0 15 0 107227584 11255676928 120189 33554432000 4194304 4196468 140724590886016 139819722309152 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18961] ppid=18904 vsize=10991872 memory=6791534058613427641 CPUtime=0.2 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 6396 0 -1 1077944384 255 13260 0 0 6 7 5 2 20 0 15 0 107227585 11255676928 120189 33554432000 4194304 4196468 140724590886016 139819754715920 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18962] ppid=18904 vsize=10991872 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 6396 0 -1 1077944384 727 13260 0 0 6 7 5 2 20 0 15 0 107227585 11255676928 120189 33554432000 4194304 4196468 140724590886016 139819642121104 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18963] ppid=18904 vsize=10991872 memory=313 CPUtime=0.2 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 6396 0 -1 1077944384 580 13260 0 0 6 7 5 2 20 0 15 0 107227585 11255676928 120189 33554432000 4194304 4196468 140724590886016 139819288964112 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18964] ppid=18904 vsize=10991872 memory=90488 CPUtime=0.2 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 6396 0 -1 1077944384 469 13260 0 0 6 7 5 2 20 0 15 0 107227585 11255676928 120189 33554432000 4194304 4196468 140724590886016 139819287911568 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18965] ppid=18904 vsize=10991872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) R 18904 18907 6396 0 -1 4202560 100 13260 0 0 0 0 5 2 20 0 15 0 107227586 11255676928 120189 33554432000 4194304 4196468 140724590886016 139819243602272 139819732111801 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18966] ppid=18904 vsize=10991872 memory=279631899099632 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 6396 0 -1 1077944384 14 13260 0 0 0 0 5 2 20 0 15 0 107227587 11255676928 120189 33554432000 4194304 4196468 140724590886016 139818566673376 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18967] ppid=18904 vsize=10991872 memory=279631899150432 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 6396 0 -1 1077944384 2 13260 0 0 0 0 5 2 20 0 15 0 107227587 11255676928 120189 33554432000 4194304 4196468 140724590886016 139818365346816 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18968] ppid=18904 vsize=10991872 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11255676928 120189 33554432000 4194304 4196468 140724590886016 139818057947344 139819750492059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18969] ppid=18904 vsize=10991872 memory=4638778398332698720 CPUtime=0.37 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) S 18904 18907 6396 0 -1 1077944384 1311 13260 0 0 30 0 5 2 20 0 15 0 107227590 11255676928 120189 33554432000 4194304 4196468 140724590886016 139819242551792 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18970] ppid=18904 vsize=10991872 memory=279631899433856 CPUtime=0.43 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) S 18904 18907 6396 0 -1 1077944384 1798 13260 0 0 36 0 5 2 20 0 15 0 107227590 11255676928 120189 33554432000 4194304 4196468 140724590886016 139819241499248 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18971] ppid=18904 vsize=10991872 memory=-7531822216213012384 CPUtime=0.35 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 6396 0 -1 1077944384 1069 13260 0 0 28 0 5 2 20 0 15 0 107227590 11255676928 120189 33554432000 4194304 4196468 140724590886016 139819240446704 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18972] ppid=18904 vsize=10991872 memory=-7531822216213012384 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11255676928 120189 33554432000 4194304 4196468 140724590886016 139817627151456 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18973] ppid=18904 vsize=10991872 memory=1399101730491701635 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 6396 0 -1 1077944384 1 13260 0 0 0 0 5 2 20 0 15 0 107227590 11255676928 120189 33554432000 4194304 4196468 140724590886016 139819239393584 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 10991872 KiB

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

/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 6396 0 -1 4202560 56030 13260 0 0 9525 47 5 2 20 0 15 0 107227584 11280941056 872322 33554432000 4194304 4196468 140724590886016 139819722306760 139819325905451 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18961] ppid=18904 vsize=11016544 memory=840 CPUtime=6.19 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 6396 0 -1 1077944384 5921 13260 0 0 556 56 5 2 20 0 15 0 107227585 11280941056 872322 33554432000 4194304 4196468 140724590886016 139819754715920 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18962] ppid=18904 vsize=11016544 memory=1796 CPUtime=6.19 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 6396 0 -1 1077944384 4602 13260 0 0 554 58 5 2 20 0 15 0 107227585 11280941056 872322 33554432000 4194304 4196468 140724590886016 139819642121104 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18963] ppid=18904 vsize=11016544 memory=916 CPUtime=6.16 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 6396 0 -1 1077944384 3517 13260 0 0 551 58 5 2 20 0 15 0 107227585 11280941056 872322 33554432000 4194304 4196468 140724590886016 139819288964112 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18964] ppid=18904 vsize=11016544 memory=3848 CPUtime=6.16 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 6396 0 -1 1077944384 3978 13260 0 0 553 56 5 2 20 0 15 0 107227585 11280941056 872322 33554432000 4194304 4196468 140724590886016 139819287911568 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18965] ppid=18904 vsize=11016544 memory=4100 CPUtime=0.34 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 6396 0 -1 1077944384 9564 13260 0 0 25 2 5 2 20 0 15 0 107227586 11280941056 872322 33554432000 4194304 4196468 140724590886016 139819243603952 139819750484610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18966] ppid=18904 vsize=11016544 memory=2592 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 6396 0 -1 1077944384 23 13260 0 0 0 0 5 2 20 0 15 0 107227587 11280941056 872322 33554432000 4194304 4196468 140724590886016 139818566673376 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18967] ppid=18904 vsize=11016544 memory=2592 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 6396 0 -1 1077944384 5 13260 0 0 0 0 5 2 20 0 15 0 107227587 11280941056 872322 33554432000 4194304 4196468 140724590886016 139818365346816 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18968] ppid=18904 vsize=11016544 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11280941056 872322 33554432000 4194304 4196468 140724590886016 139818057947344 139819750492059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18969] ppid=18904 vsize=11016544 memory=2980 CPUtime=9.17 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) S 18904 18907 6396 0 -1 1077944384 15996 13260 0 0 906 4 5 2 20 0 15 0 107227590 11280941056 872322 33554432000 4194304 4196468 140724590886016 139819242551792 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18970] ppid=18904 vsize=11016544 memory=4264564 CPUtime=9.09 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) S 18904 18907 6396 0 -1 1077944384 17574 13260 0 0 899 3 5 2 20 0 15 0 107227590 11280941056 872322 33554432000 4194304 4196468 140724590886016 139819241499248 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18971] ppid=18904 vsize=11016544 memory=1404 CPUtime=3.08 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 6396 0 -1 1077944384 17173 13260 0 0 295 6 5 2 20 0 15 0 107227590 11280941056 872322 33554432000 4194304 4196468 140724590886016 139819240446704 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18972] ppid=18904 vsize=11016544 memory=2928 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11280941056 872322 33554432000 4194304 4196468 140724590886016 139817627151456 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18973] ppid=18904 vsize=11016544 memory=3809000 CPUtime=0.13 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 6396 0 -1 1077944384 1259 13260 0 0 3 3 5 2 20 0 15 0 107227590 11280941056 872322 33554432000 4194304 4196468 140724590886016 139819239393584 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
Current children cumulated CPU time: 141.77 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3489288 KiB

[startup+162.301 s]
/proc/loadavg: 2.06 1.79 1.61 3/215 19242
/proc/meminfo: memFree=16487504/32770624 swapFree=67108860/67108860
[pid=18907] ppid=18904 vsize=11016544 memory=3489896 CPUtime=205.78 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 6396 0 -1 1077944320 156065 13260 0 0 20270 301 5 2 20 0 15 0 107227575 11280941056 872474 33554432000 4194304 4196468 140724590886016 140724590868560 139819750473463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
/proc/18907/statm: 2754136 872474 3538 1 0 2715789 0
[pid=18907/tid=18960] ppid=18904 vsize=11016544 memory=3489892 CPUtime=155.03 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 6396 0 -1 4202560 60419 13260 0 0 15448 48 5 2 20 0 15 0 107227584 11280941056 872474 33554432000 4194304 4196468 140724590886016 139819722307184 139819344283351 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18961] ppid=18904 vsize=11016544 memory=4128 CPUtime=6.91 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 6396 0 -1 1077944384 7120 13260 0 0 628 56 5 2 20 0 15 0 107227585 11280941056 872474 33554432000 4194304 4196468 140724590886016 139819754715920 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18962] ppid=18904 vsize=11016544 memory=30456 CPUtime=6.91 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 6396 0 -1 1077944384 4884 13260 0 0 625 59 5 2 20 0 15 0 107227585 11280941056 872474 33554432000 4194304 4196468 140724590886016 139819642121104 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18963] ppid=18904 vsize=11016544 memory=8600 CPUtime=6.88 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 6396 0 -1 1077944384 3743 13260 0 0 623 58 5 2 20 0 15 0 107227585 11280941056 872474 33554432000 4194304 4196468 140724590886016 139819288964112 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18964] ppid=18904 vsize=11016544 memory=4616 CPUtime=6.88 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 6396 0 -1 1077944384 4798 13260 0 0 625 56 5 2 20 0 15 0 107227585 11280941056 872474 33554432000 4194304 4196468 140724590886016 139819287911568 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18965] ppid=18904 vsize=11016544 memory=4128 CPUtime=0.36 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 6396 0 -1 1077944384 9884 13260 0 0 27 2 5 2 20 0 15 0 107227586 11280941056 872474 33554432000 4194304 4196468 140724590886016 139819243603952 139819750484610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18966] ppid=18904 vsize=11016544 memory=30460 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 6396 0 -1 1077944384 23 13260 0 0 0 0 5 2 20 0 15 0 107227587 11280941056 872474 33554432000 4194304 4196468 140724590886016 139818566673376 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18967] ppid=18904 vsize=11016544 memory=1292 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 6396 0 -1 1077944384 5 13260 0 0 0 0 5 2 20 0 15 0 107227587 11280941056 872474 33554432000 4194304 4196468 140724590886016 139818365346816 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18968] ppid=18904 vsize=11016544 memory=2416 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11280941056 872474 33554432000 4194304 4196468 140724590886016 139818057947344 139819750492059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18969] ppid=18904 vsize=11016544 memory=288230574492221466 CPUtime=9.91 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) S 18904 18907 6396 0 -1 1077944384 19918 13260 0 0 980 4 5 2 20 0 15 0 107227590 11280941056 872474 33554432000 4194304 4196468 140724590886016 139819242551792 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18970] ppid=18904 vsize=11016544 memory=288230621803970871 CPUtime=10.09 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) S 18904 18907 6396 0 -1 1077944384 20450 13260 0 0 999 3 5 2 20 0 15 0 107227590 11280941056 872474 33554432000 4194304 4196468 140724590886016 139819241499248 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18971] ppid=18904 vsize=11016544 memory=14134428972616243 CPUtime=3.18 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 6396 0 -1 1077944384 21159 13260 0 0 304 7 5 2 20 0 15 0 107227590 11280941056 872474 33554432000 4194304 4196468 140724590886016 139819240446704 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18972] ppid=18904 vsize=11016544 memory=1796 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11280941056 872474 33554432000 4194304 4196468 140724590886016 139817627151456 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18973] ppid=18904 vsize=11016544 memory=6791534058613427641 CPUtime=0.16 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 6396 0 -1 1077944384 1461 13260 0 0 5 4 5 2 20 0 15 0 107227590 11280941056 872474 33554432000 4194304 4196468 140724590886016 139819239393584 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
Current children cumulated CPU time: 205.78 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3489896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+207.401 s]
/proc/loadavg: 2.07 1.83 1.63 3/215 19243
/proc/meminfo: memFree=15838008/32770624 swapFree=67108860/67108860
[pid=18907] ppid=18904 vsize=11016544 memory=3489916 CPUtime=252.03 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 6396 0 -1 1077944320 171044 13260 0 0 24892 304 5 2 20 0 15 0 107227575 11280941056 872479 33554432000 4194304 4196468 140724590886016 140724590868560 139819750473463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
/proc/18907/statm: 2754136 872479 3538 1 0 2715789 0
[pid=18907/tid=18960] ppid=18904 vsize=11016544 memory=3489948 CPUtime=199.77 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 6396 0 -1 4202560 64761 13260 0 0 19922 48 5 2 20 0 15 0 107227584 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819722305424 139819344287903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18961] ppid=18904 vsize=11016544 memory=3489916 CPUtime=7.25 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 6396 0 -1 1077944384 7865 13260 0 0 662 56 5 2 20 0 15 0 107227585 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819754715920 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18962] ppid=18904 vsize=11016544 memory=3489916 CPUtime=7.25 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 6396 0 -1 1077944384 6118 13260 0 0 659 59 5 2 20 0 15 0 107227585 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819642121104 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18963] ppid=18904 vsize=11016544 memory=3489940 CPUtime=7.22 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 6396 0 -1 1077944384 4053 13260 0 0 657 58 5 2 20 0 15 0 107227585 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819288964112 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18964] ppid=18904 vsize=11016544 memory=3489924 CPUtime=7.23 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 6396 0 -1 1077944384 5020 13260 0 0 659 57 5 2 20 0 15 0 107227585 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819287911568 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18965] ppid=18904 vsize=11016544 memory=3489924 CPUtime=0.37 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 6396 0 -1 1077944384 10246 13260 0 0 28 2 5 2 20 0 15 0 107227586 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819243603952 139819750484610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18966] ppid=18904 vsize=11016544 memory=3489880 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 6396 0 -1 1077944384 23 13260 0 0 0 0 5 2 20 0 15 0 107227587 11280941056 872479 33554432000 4194304 4196468 140724590886016 139818566673376 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18967] ppid=18904 vsize=11016544 memory=3489880 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 6396 0 -1 1077944384 5 13260 0 0 0 0 5 2 20 0 15 0 107227587 11280941056 872479 33554432000 4194304 4196468 140724590886016 139818365346816 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18968] ppid=18904 vsize=11016544 memory=30460 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11280941056 872479 33554432000 4194304 4196468 140724590886016 139818057947344 139819750492059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18969] ppid=18904 vsize=11016544 memory=1292 CPUtime=9.98 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) S 18904 18907 6396 0 -1 1077944384 24057 13260 0 0 986 5 5 2 20 0 15 0 107227590 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819242551792 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18970] ppid=18904 vsize=11016544 memory=2344 CPUtime=10.12 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) S 18904 18907 6396 0 -1 1077944384 23582 13260 0 0 1002 3 5 2 20 0 15 0 107227590 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819241499248 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18971] ppid=18904 vsize=11016544 memory=932 CPUtime=3.19 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 6396 0 -1 1077944384 21621 13260 0 0 305 7 5 2 20 0 15 0 107227590 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819240446704 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18972] ppid=18904 vsize=11016544 memory=916 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11280941056 872479 33554432000 4194304 4196468 140724590886016 139817627151456 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18973] ppid=18904 vsize=11016544 memory=3848 CPUtime=0.19 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 6396 0 -1 1077944384 1492 13260 0 0 5 7 5 2 20 0 15 0 107227590 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819239393584 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3489916 KiB

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

[startup+207.48 s]
# the end of solver process 18907 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.027 s, system=3.10081 s

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

[startup+207.401 s]
/proc/loadavg: 2.07 1.83 1.63 3/215 19243
/proc/meminfo: memFree=15838008/32770624 swapFree=67108860/67108860
[pid=18907] ppid=18904 vsize=11016544 memory=3489916 CPUtime=252.03 cores=1,3,5,7
/proc/18907/stat : 18907 (java) S 18904 18907 6396 0 -1 1077944320 171044 13260 0 0 24892 304 5 2 20 0 15 0 107227575 11280941056 872479 33554432000 4194304 4196468 140724590886016 140724590868560 139819750473463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
/proc/18907/statm: 2754136 872479 3538 1 0 2715789 0
[pid=18907/tid=18960] ppid=18904 vsize=11016544 memory=3489948 CPUtime=199.77 cores=1,3,5,7
/proc/18907/task/18960/stat : 18960 (java) R 18904 18907 6396 0 -1 4202560 64761 13260 0 0 19922 48 5 2 20 0 15 0 107227584 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819722305424 139819344287903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18961] ppid=18904 vsize=11016544 memory=3489916 CPUtime=7.25 cores=1,3,5,7
/proc/18907/task/18961/stat : 18961 (java) S 18904 18907 6396 0 -1 1077944384 7865 13260 0 0 662 56 5 2 20 0 15 0 107227585 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819754715920 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18962] ppid=18904 vsize=11016544 memory=3489916 CPUtime=7.25 cores=1,3,5,7
/proc/18907/task/18962/stat : 18962 (java) S 18904 18907 6396 0 -1 1077944384 6118 13260 0 0 659 59 5 2 20 0 15 0 107227585 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819642121104 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18963] ppid=18904 vsize=11016544 memory=3489940 CPUtime=7.22 cores=1,3,5,7
/proc/18907/task/18963/stat : 18963 (java) S 18904 18907 6396 0 -1 1077944384 4053 13260 0 0 657 58 5 2 20 0 15 0 107227585 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819288964112 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18964] ppid=18904 vsize=11016544 memory=3489924 CPUtime=7.23 cores=1,3,5,7
/proc/18907/task/18964/stat : 18964 (java) S 18904 18907 6396 0 -1 1077944384 5020 13260 0 0 659 57 5 2 20 0 15 0 107227585 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819287911568 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18965] ppid=18904 vsize=11016544 memory=3489924 CPUtime=0.37 cores=1,3,5,7
/proc/18907/task/18965/stat : 18965 (java) S 18904 18907 6396 0 -1 1077944384 10246 13260 0 0 28 2 5 2 20 0 15 0 107227586 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819243603952 139819750484610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18966] ppid=18904 vsize=11016544 memory=3489880 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18966/stat : 18966 (java) S 18904 18907 6396 0 -1 1077944384 23 13260 0 0 0 0 5 2 20 0 15 0 107227587 11280941056 872479 33554432000 4194304 4196468 140724590886016 139818566673376 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18967] ppid=18904 vsize=11016544 memory=3489880 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18967/stat : 18967 (java) S 18904 18907 6396 0 -1 1077944384 5 13260 0 0 0 0 5 2 20 0 15 0 107227587 11280941056 872479 33554432000 4194304 4196468 140724590886016 139818365346816 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18968] ppid=18904 vsize=11016544 memory=30460 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18968/stat : 18968 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11280941056 872479 33554432000 4194304 4196468 140724590886016 139818057947344 139819750492059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18969] ppid=18904 vsize=11016544 memory=1292 CPUtime=9.98 cores=1,3,5,7
/proc/18907/task/18969/stat : 18969 (java) S 18904 18907 6396 0 -1 1077944384 24057 13260 0 0 986 5 5 2 20 0 15 0 107227590 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819242551792 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18970] ppid=18904 vsize=11016544 memory=2344 CPUtime=10.12 cores=1,3,5,7
/proc/18907/task/18970/stat : 18970 (java) S 18904 18907 6396 0 -1 1077944384 23582 13260 0 0 1002 3 5 2 20 0 15 0 107227590 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819241499248 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18971] ppid=18904 vsize=11016544 memory=932 CPUtime=3.19 cores=1,3,5,7
/proc/18907/task/18971/stat : 18971 (java) S 18904 18907 6396 0 -1 1077944384 21621 13260 0 0 305 7 5 2 20 0 15 0 107227590 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819240446704 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18972] ppid=18904 vsize=11016544 memory=916 CPUtime=0.07 cores=1,3,5,7
/proc/18907/task/18972/stat : 18972 (java) S 18904 18907 6396 0 -1 1077944384 3 13260 0 0 0 0 5 2 20 0 15 0 107227590 11280941056 872479 33554432000 4194304 4196468 140724590886016 139817627151456 139819750483669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
[pid=18907/tid=18973] ppid=18904 vsize=11016544 memory=3848 CPUtime=0.19 cores=1,3,5,7
/proc/18907/task/18973/stat : 18973 (java) S 18904 18907 6396 0 -1 1077944384 1492 13260 0 0 5 7 5 2 20 0 15 0 107227590 11280941056 872479 33554432000 4194304 4196468 140724590886016 139819239393584 139819750484610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140724590889586 140724590892385 140724590892385 140724590895055 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3489916 KiB

Child status: 143
Real time (s): 207.48
CPU time (s): 252.127
CPU user time (s): 249.027
CPU system time (s): 3.10081
CPU usage (%): 121.519
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 4264564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.027
system time used= 3.10081
maximum resident set size= 4264568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185299
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17549
involuntary context switches= 621


# summary of solver processes directly reported to runsolver:
#   pid: 18907
#   total CPU time (s): 252.127
#   total CPU user time (s): 249.027
#   total CPU system time (s): 3.10081

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45197 second user time and 1.80634 second system time

The end

Launcher Data 

Begin job on node139 at 2018-07-29 22:37:24
IDJOB=4302599
IDBENCH=141270
IDSOLVER=2776
FILE ID=node139/4302599-1532896643
RUNJOBID= node139-1532895510-17593
PBS_JOBID= 21022510
Free space on /tmp= 44832 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-05-0350_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302599-1532896643/watcher-4302599-1532896643 -o /tmp/evaluation-result-4302599-1532896643/solver-4302599-1532896643 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532895510-17593 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=136493297 HOME/instance-4302599-1532896643.xml

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

MD5SUM BENCH= 51c3d091a7e4b0716a15e9a29832b849
RANDOM SEED=136493297

node139.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.80
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.80
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.80
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.80
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:        20487520 kB
MemAvailable:   28740348 kB
Buffers:          253796 kB
Cached:          8112628 kB
SwapCached:            0 kB
Active:          6459756 kB
Inactive:        5146008 kB
Active(anon):    3193732 kB
Inactive(anon):    73544 kB
Active(file):    3266024 kB
Inactive(file):  5072464 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            175084 kB
Writeback:             0 kB
AnonPages:       3244924 kB
Mapped:            58164 kB
Shmem:             25228 kB
Slab:             372040 kB
SReclaimable:     342800 kB
SUnreclaim:        29240 kB
KernelStack:        3568 kB
PageTables:        11608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4002252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2975744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 44732 MiB
End job on node139 at 2018-07-29 22:40:52