Trace number 4304444

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)524813477 2527.64 992.725

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

Verifier Data 

OK	524813477

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304444-1534091274/watcher-4304444-1534091274 -o /tmp/evaluation-result-4304444-1534091274/solver-4304444-1534091274 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21372 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=483199560 -superng HOME/instance-4304444-1534091274.xml 

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

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


[startup+0.100084 s]*
/proc/loadavg: 1.71 1.84 1.84 3/201 25985
/proc/meminfo: memFree=8511456/32770624 swapFree=67108404/67108860
[pid=25936] ppid=25933 vsize=425712 memory=7664 CPUtime=0.08 cores=1,3,5,7
/proc/25936/stat : 25936 (java) S 25933 25936 21340 0 -1 1077944320 2601 13024 0 0 0 0 5 3 20 0 2 0 226690646 435929088 1916 33554432000 4194304 4196468 140720540485440 140720540467984 140620127330039 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
/proc/25936/statm: 106428 1916 1064 1 0 95339 0
[pid=25936/tid=25989] ppid=25933 vsize=425712 memory=3054156605335569294 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25989/stat : 25989 (java) S 25933 25936 21340 0 -1 1077944384 405 13024 0 0 0 0 5 3 20 0 2 0 226690656 435929088 1916 33554432000 4194304 4196468 140720540485440 140620099172768 140620127341186 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 425712 KiB
Current children cumulated memory: 7664 KiB

[startup+0.209973 s]*
/proc/loadavg: 1.71 1.84 1.84 3/215 26002
/proc/meminfo: memFree=8483408/32770624 swapFree=67108404/67108860
[pid=25936] ppid=25933 vsize=10982744 memory=41508 CPUtime=0.25 cores=1,3,5,7
/proc/25936/stat : 25936 (java) S 25933 25936 21340 0 -1 1077944320 6554 13024 0 0 15 2 5 3 20 0 15 0 226690646 11246329856 10377 33554432000 4194304 4196468 140720540485440 140720540467984 140620127330039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
/proc/25936/statm: 2745686 10377 2957 1 0 2708109 0
[pid=25936/tid=25989] ppid=25933 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/25936/task/25989/stat : 25989 (java) R 25933 25936 21340 0 -1 4202560 3108 13024 0 0 9 1 5 3 20 0 15 0 226690656 11246329856 10377 33554432000 4194304 4196468 140720540485440 140620099153000 140620127343888 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25990] ppid=25933 vsize=10982744 memory=364 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25990/stat : 25990 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690657 11246329856 10377 33554432000 4194304 4196468 140720540485440 140620131572880 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25991] ppid=25933 vsize=10982744 memory=140645879372541 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25991/stat : 25991 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690657 11246329856 10377 33554432000 4194304 4196468 140720540485440 140619986291728 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25992] ppid=25933 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25992/stat : 25992 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690657 11246329856 10377 33554432000 4194304 4196468 140720540485440 140619985238928 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25993] ppid=25933 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25993/stat : 25993 (java) S 25933 25936 21340 0 -1 1077944384 2 13024 0 0 0 0 5 3 20 0 15 0 226690657 11246329856 10377 33554432000 4194304 4196468 140720540485440 140619984186128 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25994] ppid=25933 vsize=10982744 memory=140645879350912 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25994/stat : 25994 (java) S 25933 25936 21340 0 -1 1077944384 2 13024 0 0 0 0 5 3 20 0 15 0 226690658 11246329856 10377 33554432000 4194304 4196468 140720540485440 140619553012080 140620127341186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25995] ppid=25933 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25995/stat : 25995 (java) S 25933 25936 21340 0 -1 1077944384 13 13024 0 0 0 0 5 3 20 0 15 0 226690659 11246329856 10377 33554432000 4194304 4196468 140720540485440 140618974094368 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25996] ppid=25933 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25996/stat : 25996 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690659 11246329856 10377 33554432000 4194304 4196468 140720540485440 140618772767600 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25997] ppid=25933 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25997/stat : 25997 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11246329856 10377 33554432000 4194304 4196468 140720540485440 140618465367888 140620127348635 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25998] ppid=25933 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25936/task/25998/stat : 25998 (java) S 25933 25936 21340 0 -1 1077944384 414 13024 0 0 1 0 5 3 20 0 15 0 226690662 11246329856 10377 33554432000 4194304 4196468 140720540485440 140619551959920 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25999] ppid=25933 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/25936/task/25999/stat : 25999 (java) S 25933 25936 21340 0 -1 1077944384 186 13024 0 0 1 0 5 3 20 0 15 0 226690662 11246329856 10377 33554432000 4194304 4196468 140720540485440 140619550907120 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26000] ppid=25933 vsize=10982744 memory=140645879350912 CPUtime=0.11 cores=1,3,5,7
/proc/25936/task/26000/stat : 26000 (java) S 25933 25936 21340 0 -1 1077944384 622 13024 0 0 3 0 5 3 20 0 15 0 226690662 11246329856 10377 33554432000 4194304 4196468 140720540485440 140619549854320 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26001] ppid=25933 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/26001/stat : 26001 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11246329856 10377 33554432000 4194304 4196468 140720540485440 140618034572000 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26002] ppid=25933 vsize=10982744 memory=140645879350912 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/26002/stat : 26002 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690662 11246329856 10377 33554432000 4194304 4196468 140720540485440 140619548801712 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41508 KiB

[startup+0.310224 s]*
/proc/loadavg: 1.71 1.84 1.84 4/215 26002
/proc/meminfo: memFree=8470268/32770624 swapFree=67108404/67108860
[pid=25936] ppid=25933 vsize=10983192 memory=54692 CPUtime=0.37 cores=1,3,5,7
/proc/25936/stat : 25936 (java) S 25933 25936 21340 0 -1 1077944320 9718 13024 0 0 26 3 5 3 20 0 15 0 226690646 11246788608 13673 33554432000 4194304 4196468 140720540485440 140720540467984 140620127330039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
/proc/25936/statm: 2745798 13673 3076 1 0 2708109 0
[pid=25936/tid=25989] ppid=25933 vsize=10983192 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/25936/task/25989/stat : 25989 (java) R 25933 25936 21340 0 -1 4202560 6262 13024 0 0 18 2 5 3 20 0 15 0 226690656 11246788608 13673 33554432000 4194304 4196468 140720540485440 140620099142048 140620108893577 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25990] ppid=25933 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25990/stat : 25990 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690657 11246788608 13673 33554432000 4194304 4196468 140720540485440 140620131572880 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25991] ppid=25933 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25991/stat : 25991 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690657 11246788608 13673 33554432000 4194304 4196468 140720540485440 140619986291728 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25992] ppid=25933 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25992/stat : 25992 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690657 11246788608 13673 33554432000 4194304 4196468 140720540485440 140619985238928 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25993] ppid=25933 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25993/stat : 25993 (java) S 25933 25936 21340 0 -1 1077944384 2 13024 0 0 0 0 5 3 20 0 15 0 226690657 11246788608 13673 33554432000 4194304 4196468 140720540485440 140619984186128 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25994] ppid=25933 vsize=10983192 memory=140645879350912 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25994/stat : 25994 (java) S 25933 25936 21340 0 -1 1077944384 2 13024 0 0 0 0 5 3 20 0 15 0 226690658 11246788608 13673 33554432000 4194304 4196468 140720540485440 140619553012080 140620127341186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25995] ppid=25933 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25995/stat : 25995 (java) S 25933 25936 21340 0 -1 1077944384 13 13024 0 0 0 0 5 3 20 0 15 0 226690659 11246788608 13673 33554432000 4194304 4196468 140720540485440 140618974094368 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25996] ppid=25933 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25996/stat : 25996 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690659 11246788608 13673 33554432000 4194304 4196468 140720540485440 140618772767600 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25997] ppid=25933 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25997/stat : 25997 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11246788608 13673 33554432000 4194304 4196468 140720540485440 140618465367888 140620127348635 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25998] ppid=25933 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25936/task/25998/stat : 25998 (java) S 25933 25936 21340 0 -1 1077944384 417 13024 0 0 1 0 5 3 20 0 15 0 226690662 11246788608 13673 33554432000 4194304 4196468 140720540485440 140619551959920 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25999] ppid=25933 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/25936/task/25999/stat : 25999 (java) S 25933 25936 21340 0 -1 1077944384 187 13024 0 0 1 0 5 3 20 0 15 0 226690662 11246788608 13673 33554432000 4194304 4196468 140720540485440 140619550907120 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26000] ppid=25933 vsize=10983192 memory=140645879350912 CPUtime=0.12 cores=1,3,5,7
/proc/25936/task/26000/stat : 26000 (java) S 25933 25936 21340 0 -1 1077944384 628 13024 0 0 4 0 5 3 20 0 15 0 226690662 11246788608 13673 33554432000 4194304 4196468 140720540485440 140619549854320 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26001] ppid=25933 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/26001/stat : 26001 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11246788608 13673 33554432000 4194304 4196468 140720540485440 140618034572000 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26002] ppid=25933 vsize=10983192 memory=140645879350912 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/26002/stat : 26002 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690662 11246788608 13673 33554432000 4194304 4196468 140720540485440 140619548801712 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54692 KiB

[startup+0.700764 s]
/proc/loadavg: 1.71 1.84 1.84 3/215 26002
/proc/meminfo: memFree=8459600/32770624 swapFree=67108404/67108860
[pid=25936] ppid=25933 vsize=10983192 memory=89216 CPUtime=0.98 cores=1,3,5,7
/proc/25936/stat : 25936 (java) S 25933 25936 21340 0 -1 1077944320 16361 13024 0 0 86 4 5 3 20 0 15 0 226690646 11246788608 22304 33554432000 4194304 4196468 140720540485440 140720540467984 140620127330039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
/proc/25936/statm: 2745798 22304 3242 1 0 2708109 0
[pid=25936/tid=25989] ppid=25933 vsize=10983192 memory=916 CPUtime=0.65 cores=1,3,5,7
/proc/25936/task/25989/stat : 25989 (java) R 25933 25936 21340 0 -1 4202560 11843 13024 0 0 55 2 5 3 20 0 15 0 226690656 11246788608 22304 33554432000 4194304 4196468 140720540485440 140620099157920 140620112495632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25990] ppid=25933 vsize=10983192 memory=3848 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25990/stat : 25990 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690657 11246788608 22304 33554432000 4194304 4196468 140720540485440 140620131572880 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25991] ppid=25933 vsize=10983192 memory=2876 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25991/stat : 25991 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690657 11246788608 22304 33554432000 4194304 4196468 140720540485440 140619986291728 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25992] ppid=25933 vsize=10983192 memory=2772 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25992/stat : 25992 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690657 11246788608 22304 33554432000 4194304 4196468 140720540485440 140619985238928 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25993] ppid=25933 vsize=10983192 memory=4108 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25993/stat : 25993 (java) S 25933 25936 21340 0 -1 1077944384 2 13024 0 0 0 0 5 3 20 0 15 0 226690657 11246788608 22304 33554432000 4194304 4196468 140720540485440 140619984186128 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25994] ppid=25933 vsize=10983192 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25994/stat : 25994 (java) S 25933 25936 21340 0 -1 1077944384 5 13024 0 0 0 0 5 3 20 0 15 0 226690658 11246788608 22304 33554432000 4194304 4196468 140720540485440 140619553012080 140620127341186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25995] ppid=25933 vsize=10983192 memory=3108 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25995/stat : 25995 (java) S 25933 25936 21340 0 -1 1077944384 13 13024 0 0 0 0 5 3 20 0 15 0 226690659 11246788608 22304 33554432000 4194304 4196468 140720540485440 140618974094368 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25996] ppid=25933 vsize=10983192 memory=4462916 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25996/stat : 25996 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690659 11246788608 22304 33554432000 4194304 4196468 140720540485440 140618772767600 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25997] ppid=25933 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25997/stat : 25997 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11246788608 22304 33554432000 4194304 4196468 140720540485440 140618465367888 140620127348635 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25998] ppid=25933 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/25936/task/25998/stat : 25998 (java) S 25933 25936 21340 0 -1 1077944384 815 13024 0 0 7 0 5 3 20 0 15 0 226690662 11246788608 22304 33554432000 4194304 4196468 140720540485440 140619551959920 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25999] ppid=25933 vsize=10983192 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/25936/task/25999/stat : 25999 (java) S 25933 25936 21340 0 -1 1077944384 796 13024 0 0 9 0 5 3 20 0 15 0 226690662 11246788608 22304 33554432000 4194304 4196468 140720540485440 140619550907120 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26000] ppid=25933 vsize=10983192 memory=34032 CPUtime=0.21 cores=1,3,5,7
/proc/25936/task/26000/stat : 26000 (java) S 25933 25936 21340 0 -1 1077944384 680 13024 0 0 13 0 5 3 20 0 15 0 226690662 11246788608 22304 33554432000 4194304 4196468 140720540485440 140619549854320 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26001] ppid=25933 vsize=10983192 memory=14644 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/26001/stat : 26001 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11246788608 22304 33554432000 4194304 4196468 140720540485440 140618034572000 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26002] ppid=25933 vsize=10983192 memory=1720 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/26002/stat : 26002 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690662 11246788608 22304 33554432000 4194304 4196468 140720540485440 140619548801712 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89216 KiB

[startup+1.50142 s]
/proc/loadavg: 1.71 1.84 1.84 3/215 26002
/proc/meminfo: memFree=8416308/32770624 swapFree=67108404/67108860
[pid=25936] ppid=25933 vsize=10991872 memory=455084 CPUtime=2.81 cores=1,3,5,7
/proc/25936/stat : 25936 (java) S 25933 25936 21340 0 -1 1077944320 22022 13024 0 0 232 41 5 3 20 0 15 0 226690646 11255676928 113259 33554432000 4194304 4196468 140720540485440 140720540467984 140620127330039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
/proc/25936/statm: 2747968 113771 3446 1 0 2709645 0
[pid=25936/tid=25989] ppid=25933 vsize=10991872 memory=0 CPUtime=1.31 cores=1,3,5,7
/proc/25936/task/25989/stat : 25989 (java) S 25933 25936 21340 0 -1 1077944384 14162 13024 0 0 115 8 5 3 20 0 15 0 226690656 11255676928 113771 33554432000 4194304 4196468 140720540485440 140620099165728 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25990] ppid=25933 vsize=10991872 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/25936/task/25990/stat : 25990 (java) R 25933 25936 21340 0 -1 4202560 264 13024 0 0 6 7 5 3 20 0 15 0 226690657 11255676928 113771 33554432000 4194304 4196468 140720540485440 140620131572880 140620120432756 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25991] ppid=25933 vsize=10991872 memory=6946049682258814547 CPUtime=0.21 cores=1,3,5,7
/proc/25936/task/25991/stat : 25991 (java) R 25933 25936 21340 0 -1 4202560 326 13024 0 0 5 8 5 3 20 0 15 0 226690657 11255676928 113771 33554432000 4194304 4196468 140720540485440 140619986291728 140620120429739 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25992] ppid=25933 vsize=10991872 memory=7885359111685237334 CPUtime=0.2 cores=1,3,5,7
/proc/25936/task/25992/stat : 25992 (java) R 25933 25936 21340 0 -1 4202560 174 13024 0 0 5 7 5 3 20 0 15 0 226690657 11255676928 113771 33554432000 4194304 4196468 140720540485440 140619985239128 140620120432756 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25993] ppid=25933 vsize=10991872 memory=7374200669926680167 CPUtime=0.21 cores=1,3,5,7
/proc/25936/task/25993/stat : 25993 (java) R 25933 25936 21340 0 -1 4202560 419 13024 0 0 6 7 5 3 20 0 15 0 226690657 11255676928 113771 33554432000 4194304 4196468 140720540485440 140619984186328 140620120433082 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25994] ppid=25933 vsize=10991872 memory=5787504188646319192 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25994/stat : 25994 (java) S 25933 25936 21340 0 -1 1077944384 95 13024 0 0 0 0 5 3 20 0 15 0 226690658 11255676928 113771 33554432000 4194304 4196468 140720540485440 140619553010592 140620127340245 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25995] ppid=25933 vsize=10991872 memory=7163654054316631396 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25995/stat : 25995 (java) S 25933 25936 21340 0 -1 1077944384 15 13024 0 0 0 0 5 3 20 0 15 0 226690659 11255676928 113771 33554432000 4194304 4196468 140720540485440 140618974094368 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25996] ppid=25933 vsize=10991872 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25996/stat : 25996 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690659 11255676928 113771 33554432000 4194304 4196468 140720540485440 140618772767600 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25997] ppid=25933 vsize=10991872 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25997/stat : 25997 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11255676928 113771 33554432000 4194304 4196468 140720540485440 140618465367888 140620127348635 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25998] ppid=25933 vsize=10991872 memory=0 CPUtime=0.4 cores=1,3,5,7
/proc/25936/task/25998/stat : 25998 (java) S 25933 25936 21340 0 -1 1077944384 1308 13024 0 0 32 0 5 3 20 0 15 0 226690662 11255676928 113771 33554432000 4194304 4196468 140720540485440 140619551949120 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25999] ppid=25933 vsize=10991872 memory=12966506269086 CPUtime=0.4 cores=1,3,5,7
/proc/25936/task/25999/stat : 25999 (java) S 25933 25936 21340 0 -1 1077944384 1796 13024 0 0 32 0 5 3 20 0 15 0 226690662 11255676928 113771 33554432000 4194304 4196468 140720540485440 140619550907120 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26000] ppid=25933 vsize=10991872 memory=281288749613176 CPUtime=0.35 cores=1,3,5,7
/proc/25936/task/26000/stat : 26000 (java) S 25933 25936 21340 0 -1 1077944384 1260 13024 0 0 27 0 5 3 20 0 15 0 226690662 11255676928 113771 33554432000 4194304 4196468 140720540485440 140619549854320 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26001] ppid=25933 vsize=10991872 memory=302585824174940995 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/26001/stat : 26001 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11255676928 113771 33554432000 4194304 4196468 140720540485440 140618034572000 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26002] ppid=25933 vsize=10991872 memory=302927780885393085 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/26002/stat : 26002 (java) S 25933 25936 21340 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 226690662 11255676928 113771 33554432000 4194304 4196468 140720540485440 140619548801712 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 10991872 KiB
Current children cumulated memory: 455084 KiB

[startup+3.11018 s]
/proc/loadavg: 1.90 1.88 1.85 6/215 26002
/proc/meminfo: memFree=7595972/32770624 swapFree=67108404/67108860
[pid=25936] ppid=25933 vsize=10991948 memory=942884 CPUtime=6.37 cores=1,3,5,7
/proc/25936/stat : 25936 (java) S 25933 25936 21340 0 -1 1077944320 29741 13024 0 0 557 72 5 3 20 0 15 0 226690646 11255754752 235721 33554432000 4194304 4196468 140720540485440 140720540467984 140620127330039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
/proc/25936/statm: 2747987 235721 3503 1 0 2709645 0

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

[pid=25936/tid=25994] ppid=25933 vsize=11082080 memory=8412268 CPUtime=4.78 cores=1,3,5,7
/proc/25936/task/25994/stat : 25994 (java) S 25933 25936 21340 0 -1 1077944384 274498 13024 0 0 455 15 5 3 20 0 15 0 226690658 11348049920 2103067 33554432000 4194304 4196468 140720540485440 140619553010400 140620127340245 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25995] ppid=25933 vsize=11082080 memory=8412268 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25995/stat : 25995 (java) S 25933 25936 21340 0 -1 1077944384 29 13024 0 0 0 0 5 3 20 0 15 0 226690659 11348049920 2103067 33554432000 4194304 4196468 140720540485440 140618974094432 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25996] ppid=25933 vsize=11082080 memory=8412268 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25996/stat : 25996 (java) S 25933 25936 21340 0 -1 1077944384 13 13024 0 0 0 0 5 3 20 0 15 0 226690659 11348049920 2103067 33554432000 4194304 4196468 140720540485440 140618772767616 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25997] ppid=25933 vsize=11082080 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25997/stat : 25997 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11348049920 2103067 33554432000 4194304 4196468 140720540485440 140618465367888 140620127348635 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25998] ppid=25933 vsize=11082080 memory=2216 CPUtime=10.12 cores=1,3,5,7
/proc/25936/task/25998/stat : 25998 (java) S 25933 25936 21340 0 -1 1077944384 33594 13024 0 0 999 5 5 3 20 0 15 0 226690662 11348049920 2103067 33554432000 4194304 4196468 140720540485440 140619551959920 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25999] ppid=25933 vsize=11082080 memory=8412268 CPUtime=10.5 cores=1,3,5,7
/proc/25936/task/25999/stat : 25999 (java) S 25933 25936 21340 0 -1 1077944384 28139 13024 0 0 1037 5 5 3 20 0 15 0 226690662 11348049920 2103067 33554432000 4194304 4196468 140720540485440 140619550907120 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26000] ppid=25933 vsize=11082080 memory=8412268 CPUtime=3.35 cores=1,3,5,7
/proc/25936/task/26000/stat : 26000 (java) S 25933 25936 21340 0 -1 1077944384 36926 13024 0 0 318 9 5 3 20 0 15 0 226690662 11348049920 2103067 33554432000 4194304 4196468 140720540485440 140619549854320 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26001] ppid=25933 vsize=11082080 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/26001/stat : 26001 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11348049920 2103067 33554432000 4194304 4196468 140720540485440 140618034572000 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26002] ppid=25933 vsize=11082080 memory=6339371730082 CPUtime=0.63 cores=1,3,5,7
/proc/25936/task/26002/stat : 26002 (java) S 25933 25936 21340 0 -1 1077944384 2213 13024 0 0 28 27 5 3 20 0 15 0 226690662 11348049920 2103067 33554432000 4194304 4196468 140720540485440 140619548801712 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
Current children cumulated CPU time: 2354.5 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 8412268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+990.601 s]
/proc/loadavg: 4.68 3.85 2.86 6/216 26034
/proc/meminfo: memFree=225320/32770624 swapFree=67108404/67108860
[pid=25936] ppid=25933 vsize=11082080 memory=8412276 CPUtime=2520.14 cores=1,3,5,7
/proc/25936/stat : 25936 (java) S 25933 25936 21340 0 -1 1077944320 4915555 13024 0 0 250602 1404 5 3 20 0 15 0 226690646 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140720540467984 140620127330039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
/proc/25936/statm: 2770520 2103069 3544 1 0 2732173 0
[pid=25936/tid=25989] ppid=25933 vsize=11082080 memory=1404 CPUtime=469.81 cores=1,3,5,7
/proc/25936/task/25989/stat : 25989 (java) S 25933 25936 21340 0 -1 1077944384 220161 13024 0 0 46919 54 5 3 20 0 15 0 226690656 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140620099164832 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25990] ppid=25933 vsize=11082080 memory=4000 CPUtime=506.62 cores=1,3,5,7
/proc/25936/task/25990/stat : 25990 (java) R 25933 25936 21340 0 -1 4202560 1684287 13024 0 0 50312 342 5 3 20 0 15 0 226690657 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140620131573000 140620119958247 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25991] ppid=25933 vsize=11082080 memory=6791534058613427641 CPUtime=505.59 cores=1,3,5,7
/proc/25936/task/25991/stat : 25991 (java) R 25933 25936 21340 0 -1 4202560 1097992 13024 0 0 50235 316 5 3 20 0 15 0 226690657 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619986291928 140620108939822 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25992] ppid=25933 vsize=11082080 memory=15212 CPUtime=504.7 cores=1,3,5,7
/proc/25936/task/25992/stat : 25992 (java) R 25933 25936 21340 0 -1 4202560 918664 13024 0 0 50137 325 5 3 20 0 15 0 226690657 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619985238736 140620119958247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25993] ppid=25933 vsize=11082080 memory=4044 CPUtime=504.32 cores=1,3,5,7
/proc/25936/task/25993/stat : 25993 (java) R 25933 25936 21340 0 -1 4202560 593193 13024 0 0 50109 315 5 3 20 0 15 0 226690657 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619984185936 140620119958247 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25994] ppid=25933 vsize=11082080 memory=34044 CPUtime=5.09 cores=1,3,5,7
/proc/25936/task/25994/stat : 25994 (java) S 25933 25936 21340 0 -1 1077944384 298077 13024 0 0 485 16 5 3 20 0 15 0 226690658 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619553010624 140620127340245 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25995] ppid=25933 vsize=11082080 memory=14644 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25995/stat : 25995 (java) S 25933 25936 21340 0 -1 1077944384 29 13024 0 0 0 0 5 3 20 0 15 0 226690659 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140618974094432 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25996] ppid=25933 vsize=11082080 memory=8412276 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25996/stat : 25996 (java) S 25933 25936 21340 0 -1 1077944384 13 13024 0 0 0 0 5 3 20 0 15 0 226690659 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140618772767616 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25997] ppid=25933 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25997/stat : 25997 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140618465367888 140620127348635 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25998] ppid=25933 vsize=11082080 memory=508 CPUtime=10.12 cores=1,3,5,7
/proc/25936/task/25998/stat : 25998 (java) S 25933 25936 21340 0 -1 1077944384 33599 13024 0 0 999 5 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619551959968 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25999] ppid=25933 vsize=11082080 memory=928 CPUtime=10.5 cores=1,3,5,7
/proc/25936/task/25999/stat : 25999 (java) S 25933 25936 21340 0 -1 1077944384 28142 13024 0 0 1037 5 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619550907168 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26000] ppid=25933 vsize=11082080 memory=1172 CPUtime=3.35 cores=1,3,5,7
/proc/25936/task/26000/stat : 26000 (java) S 25933 25936 21340 0 -1 1077944384 36932 13024 0 0 318 9 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619549854080 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26001] ppid=25933 vsize=11082080 memory=2404 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/26001/stat : 26001 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140618034572000 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26002] ppid=25933 vsize=11082080 memory=1576 CPUtime=0.65 cores=1,3,5,7
/proc/25936/task/26002/stat : 26002 (java) S 25933 25936 21340 0 -1 1077944384 2264 13024 0 0 29 28 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619548801712 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
Current children cumulated CPU time: 2520.14 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 8412276 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

[startup+992.725 s]
# the end of solver process 25936 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.38 s, system=14.2557 s

Solver just ended.
Dumping a history of the last processes samples

[startup+992.001 s]*
/proc/loadavg: 4.68 3.85 2.86 6/216 26034
/proc/meminfo: memFree=225320/32770624 swapFree=67108404/67108860
[pid=25936] ppid=25933 vsize=11082080 memory=8412276 CPUtime=2525.59 cores=1,3,5,7
/proc/25936/stat : 25936 (java) S 25933 25936 21340 0 -1 1077944320 4915560 13024 0 0 251146 1405 5 3 20 0 15 0 226690646 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140720540467984 140620127330039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
/proc/25936/statm: 2770520 2103069 3544 1 0 2732173 0
[pid=25936/tid=25989] ppid=25933 vsize=11082080 memory=6791534058613427641 CPUtime=469.81 cores=1,3,5,7
/proc/25936/task/25989/stat : 25989 (java) S 25933 25936 21340 0 -1 1077944384 220161 13024 0 0 46919 54 5 3 20 0 15 0 226690656 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140620099164832 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25990] ppid=25933 vsize=11082080 memory=4872558044660077418 CPUtime=507.96 cores=1,3,5,7
/proc/25936/task/25990/stat : 25990 (java) S 25933 25936 21340 0 -1 1077944384 1684287 13024 0 0 50445 343 5 3 20 0 15 0 226690657 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140620131572688 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25991] ppid=25933 vsize=11082080 memory=3848 CPUtime=507 cores=1,3,5,7
/proc/25936/task/25991/stat : 25991 (java) R 25933 25936 21340 0 -1 4202560 1097992 13024 0 0 50376 316 5 3 20 0 15 0 226690657 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619986291928 140620111787642 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25992] ppid=25933 vsize=11082080 memory=2876 CPUtime=506.05 cores=1,3,5,7
/proc/25936/task/25992/stat : 25992 (java) R 25933 25936 21340 0 -1 4202560 918664 13024 0 0 50272 325 5 3 20 0 15 0 226690657 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619985239048 140620119958247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25993] ppid=25933 vsize=11082080 memory=2772 CPUtime=505.67 cores=1,3,5,7
/proc/25936/task/25993/stat : 25993 (java) R 25933 25936 21340 0 -1 4202560 593193 13024 0 0 50244 315 5 3 20 0 15 0 226690657 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619984185936 140620119958247 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25994] ppid=25933 vsize=11082080 memory=4108 CPUtime=5.09 cores=1,3,5,7
/proc/25936/task/25994/stat : 25994 (java) S 25933 25936 21340 0 -1 1077944384 298077 13024 0 0 485 16 5 3 20 0 15 0 226690658 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619553010624 140620127340245 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25995] ppid=25933 vsize=11082080 memory=8412276 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25995/stat : 25995 (java) S 25933 25936 21340 0 -1 1077944384 29 13024 0 0 0 0 5 3 20 0 15 0 226690659 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140618974094432 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25996] ppid=25933 vsize=11082080 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25996/stat : 25996 (java) S 25933 25936 21340 0 -1 1077944384 13 13024 0 0 0 0 5 3 20 0 15 0 226690659 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140618772767616 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25997] ppid=25933 vsize=11082080 memory=3280 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25997/stat : 25997 (java) S 25933 25936 21340 0 -1 1077944384 6 13024 0 0 0 0 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140618465367536 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25998] ppid=25933 vsize=11082080 memory=4821008 CPUtime=10.12 cores=1,3,5,7
/proc/25936/task/25998/stat : 25998 (java) S 25933 25936 21340 0 -1 1077944384 33599 13024 0 0 999 5 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619551959968 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25999] ppid=25933 vsize=11082080 memory=1408 CPUtime=10.5 cores=1,3,5,7
/proc/25936/task/25999/stat : 25999 (java) S 25933 25936 21340 0 -1 1077944384 28142 13024 0 0 1037 5 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619550907168 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26000] ppid=25933 vsize=11082080 memory=3220 CPUtime=3.35 cores=1,3,5,7
/proc/25936/task/26000/stat : 26000 (java) S 25933 25936 21340 0 -1 1077944384 36932 13024 0 0 318 9 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619549854080 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26001] ppid=25933 vsize=11082080 memory=8412276 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/26001/stat : 26001 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140618034572000 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26002] ppid=25933 vsize=11082080 memory=4044 CPUtime=0.65 cores=1,3,5,7
/proc/25936/task/26002/stat : 26002 (java) S 25933 25936 21340 0 -1 1077944384 2264 13024 0 0 29 28 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619548801712 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
Current children cumulated CPU time: 2525.59 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 8412276 KiB

[startup+992.401 s]
/proc/loadavg: 4.68 3.85 2.86 6/216 26034
/proc/meminfo: memFree=225320/32770624 swapFree=67108404/67108860
[pid=25936] ppid=25933 vsize=11082080 memory=8412276 CPUtime=2527.11 cores=1,3,5,7
/proc/25936/stat : 25936 (java) S 25933 25936 21340 0 -1 1077944320 4915560 13024 0 0 251297 1406 5 3 20 0 15 0 226690646 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140720540467984 140620127330039 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
/proc/25936/statm: 2770520 2103069 3544 1 0 2732173 0
[pid=25936/tid=25989] ppid=25933 vsize=11082080 memory=4000 CPUtime=469.81 cores=1,3,5,7
/proc/25936/task/25989/stat : 25989 (java) S 25933 25936 21340 0 -1 1077944384 220161 13024 0 0 46919 54 5 3 20 0 15 0 226690656 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140620099164832 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25990] ppid=25933 vsize=11082080 memory=6791534058613427641 CPUtime=508.33 cores=1,3,5,7
/proc/25936/task/25990/stat : 25990 (java) R 25933 25936 21340 0 -1 4202560 1684287 13024 0 0 50482 343 5 3 20 0 15 0 226690657 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140620131573000 140620119958247 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25991] ppid=25933 vsize=11082080 memory=34044 CPUtime=507.39 cores=1,3,5,7
/proc/25936/task/25991/stat : 25991 (java) R 25933 25936 21340 0 -1 4202560 1097992 13024 0 0 50415 316 5 3 20 0 15 0 226690657 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619986291928 140620112029955 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25992] ppid=25933 vsize=11082080 memory=14644 CPUtime=506.43 cores=1,3,5,7
/proc/25936/task/25992/stat : 25992 (java) R 25933 25936 21340 0 -1 4202560 918664 13024 0 0 50309 326 5 3 20 0 15 0 226690657 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619985238736 140620119958247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25993] ppid=25933 vsize=11082080 memory=1720 CPUtime=506.05 cores=1,3,5,7
/proc/25936/task/25993/stat : 25993 (java) R 25933 25936 21340 0 -1 4202560 593193 13024 0 0 50281 316 5 3 20 0 15 0 226690657 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619984185936 140620119958247 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25994] ppid=25933 vsize=11082080 memory=508 CPUtime=5.09 cores=1,3,5,7
/proc/25936/task/25994/stat : 25994 (java) S 25933 25936 21340 0 -1 1077944384 298077 13024 0 0 485 16 5 3 20 0 15 0 226690658 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619553010624 140620127340245 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25995] ppid=25933 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25995/stat : 25995 (java) S 25933 25936 21340 0 -1 1077944384 29 13024 0 0 0 0 5 3 20 0 15 0 226690659 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140618974094432 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25996] ppid=25933 vsize=11082080 memory=14644 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25996/stat : 25996 (java) S 25933 25936 21340 0 -1 1077944384 13 13024 0 0 0 0 5 3 20 0 15 0 226690659 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140618772767616 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25997] ppid=25933 vsize=11082080 memory=1720 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/25997/stat : 25997 (java) S 25933 25936 21340 0 -1 1077944384 6 13024 0 0 0 0 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140618465367536 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25998] ppid=25933 vsize=11082080 memory=508 CPUtime=10.12 cores=1,3,5,7
/proc/25936/task/25998/stat : 25998 (java) S 25933 25936 21340 0 -1 1077944384 33599 13024 0 0 999 5 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619551959968 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=25999] ppid=25933 vsize=11082080 memory=928 CPUtime=10.5 cores=1,3,5,7
/proc/25936/task/25999/stat : 25999 (java) S 25933 25936 21340 0 -1 1077944384 28142 13024 0 0 1037 5 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619550907168 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26000] ppid=25933 vsize=11082080 memory=1172 CPUtime=3.35 cores=1,3,5,7
/proc/25936/task/26000/stat : 26000 (java) S 25933 25936 21340 0 -1 1077944384 36932 13024 0 0 318 9 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619549854080 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26001] ppid=25933 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/25936/task/26001/stat : 26001 (java) S 25933 25936 21340 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140618034572000 140620127340245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
[pid=25936/tid=26002] ppid=25933 vsize=11082080 memory=928 CPUtime=0.65 cores=1,3,5,7
/proc/25936/task/26002/stat : 26002 (java) S 25933 25936 21340 0 -1 1077944384 2264 13024 0 0 29 28 5 3 20 0 15 0 226690662 11348049920 2103069 33554432000 4194304 4196468 140720540485440 140619548801712 140620127341186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21082112 140720540490340 140720540493148 140720540493148 140720540495823 0
Current children cumulated CPU time: 2527.11 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 8412276 KiB

[startup+992.601 s]*
/proc/loadavg: 4.71 3.87 2.87 3/202 26036
/proc/meminfo: memFree=4187288/32770624 swapFree=67108404/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 992.725
CPU time (s): 2527.64
CPU user time (s): 2513.38
CPU system time (s): 14.2557
CPU usage (%): 254.616
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 8412276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.38
system time used= 14.2557
maximum resident set size= 8412700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4929145
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68011
involuntary context switches= 31382


# summary of solver processes directly reported to runsolver:
#   pid: 25936
#   total CPU time (s): 2527.64
#   total CPU user time (s): 2513.38
#   total CPU system time (s): 14.2557

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79615 second user time and 9.79982 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-12 18:27:55
IDJOB=4304444
IDBENCH=141270
IDSOLVER=2781
FILE ID=node148/4304444-1534091274
RUNJOBID= node148-1534062012-21372
PBS_JOBID= 21036979
Free space on /tmp= 33672 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-05-0350_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304444-1534091274/watcher-4304444-1534091274 -o /tmp/evaluation-result-4304444-1534091274/solver-4304444-1534091274 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534062012-21372 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=483199560 -superng HOME/instance-4304444-1534091274.xml

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

MD5SUM BENCH= 51c3d091a7e4b0716a15e9a29832b849
RANDOM SEED=483199560

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         8513540 kB
MemAvailable:   27452176 kB
Buffers:          249808 kB
Cached:         18662900 kB
SwapCached:          352 kB
Active:         13442624 kB
Inactive:        9971152 kB
Active(anon):    4452300 kB
Inactive(anon):   101192 kB
Active(file):    8990324 kB
Inactive(file):  9869960 kB
Unevictable:        7340 kB
Mlocked:            7340 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:            174688 kB
Writeback:             0 kB
AnonPages:       4508092 kB
Mapped:            67476 kB
Shmem:             49592 kB
Slab:             535460 kB
SReclaimable:     506812 kB
SUnreclaim:        28648 kB
KernelStack:        3504 kB
PageTables:        14188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5866556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4241408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 33644 MiB
End job on node148 at 2018-08-12 18:44:28