Trace number 4302950

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)163903545 252.14 179.06

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test03-0400_c18.xml
MD5SUMa5fe7a04cb5002912ef3d870057982e3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark163903545
Best CPU time to get the best result obtained on this benchmark252.14
Satisfiable
(Un)Satisfiability was proved
Number of variables6864
Number of constraints4370
Number of domains85
Minimum domain size1
Maximum domain size175
Distribution of domain sizes[{"size":1,"count":8},{"size":2,"count":2413},{"size":11,"count":2021},{"size":12,"count":1},{"size":21,"count":15},{"size":26,"count":8},{"size":29,"count":37},{"size":31,"count":9},{"size":32,"count":9},{"size":33,"count":36},{"size":35,"count":22},{"size":37,"count":62},{"size":41,"count":51},{"size":43,"count":13},{"size":44,"count":6},{"size":47,"count":16},{"size":49,"count":20},{"size":51,"count":47},{"size":53,"count":8},{"size":55,"count":14},{"size":56,"count":16},{"size":57,"count":3},{"size":59,"count":3},{"size":61,"count":30},{"size":63,"count":21},"...",{"size":91,"count":18}, {"size":93,"count":6}, {"size":94,"count":7}, {"size":97,"count":4}, {"size":99,"count":11}, {"size":101,"count":31}, {"size":103,"count":5}, {"size":105,"count":6}, {"size":107,"count":14}, {"size":109,"count":15}, {"size":113,"count":11}, {"size":115,"count":20}, {"size":117,"count":3}, {"size":123,"count":35}, {"size":127,"count":5}, {"size":135,"count":20}, {"size":136,"count":127}, {"size":137,"count":28}, {"size":153,"count":82}, {"size":158,"count":107}, {"size":160,"count":191}, {"size":163,"count":78}, {"size":165,"count":126}, {"size":167,"count":89}, {"size":175,"count":655}]
Minimum variable degree2
Maximum variable degree2022
Distribution of variable degrees[{"degree":2,"count":6063},{"degree":3,"count":3},{"degree":4,"count":12},{"degree":5,"count":22},{"degree":6,"count":42},{"degree":7,"count":47},{"degree":8,"count":59},{"degree":9,"count":62},{"degree":10,"count":77},{"degree":11,"count":88},{"degree":12,"count":91},{"degree":13,"count":96},{"degree":14,"count":131},{"degree":15,"count":70},{"degree":2022,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":328},{"arity":3,"count":2021},{"arity":6,"count":2021}]
Number of extensional constraints2021
Number of intensional constraints2349
Distribution of constraint types[{"type":"extension","count":2021},{"type":"intension","count":2349}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.99/0.74	c Concrete v3.9.2.1532736233296 running
149.40/97.65	o 163903547
149.88/97.95	o 163903546
149.88/97.98	o 163903545
252.07/179.02	Exception in thread "main" java.util.concurrent.TimeoutException
252.07/179.02		at concrete.MAC.mac(MAC.scala:188)
252.07/179.02		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.07/179.02		at scala.util.Try$.apply(Try.scala:209)
252.07/179.02		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.07/179.02		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.07/179.02		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.07/179.02		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.07/179.02		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.07/179.02		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.07/179.02		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.07/179.02		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.07/179.02		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.07/179.02		at concrete.MAC.oneRun(MAC.scala:253)
252.07/179.02		at concrete.MAC.nextSolution(MAC.scala:272)
252.07/179.02		at concrete.MAC.nextSolution(MAC.scala:355)
252.07/179.02		at concrete.Solver.hasNext(Solver.scala:166)
252.07/179.02		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.07/179.02		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.07/179.02		at concrete.Solver.foreach(Solver.scala:68)
252.07/179.02		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.07/179.02		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.07/179.02		at scala.util.Success.map(Try.scala:209)
252.07/179.02		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.07/179.02		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.07/179.02		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.07/179.02		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.07/179.02		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.07/179.02		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.07/179.02		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.07/179.02		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.07/179.02		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.07/179.02		at scala.collection.immutable.List.foreach(List.scala:389)
252.07/179.02		at scala.App.main(App.scala:76)
252.07/179.02		at scala.App.main$(App.scala:74)
252.07/179.02		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.07/179.02		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.07/179.02	v <instantiation cost="163903545">
252.07/179.02	v       <list>
252.07/179.02	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] f[350] f[351] f[352] f[353] f[354] f[355] f[356] f[357] f[358] f[359] f[360] f[361] f[362] f[363] f[364] f[365] f[366] f[367] f[368] f[369] f[370] f[371] f[372] f[373] f[374] f[375] f[376] f[377] f[378] f[379] f[380] f[381] f[382] f[383] f[384] f[385] f[386] f[387] f[388] f[389] f[390] f[391] f[392] f[393] f[394] f[395] f[396] f[397] f[398] f[399] 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] p[350] p[351] p[352] p[353] p[354] p[355] p[356] p[357] p[358] p[359] p[360] p[361] p[362] p[363] p[364] p[365] p[366] p[367] p[368] p[369] p[370] p[371] p[372] p[373] p[374] p[375] p[376] p[377] p[378] p[379] p[380] p[381] p[382] p[383] p[384] p[385] p[386] p[387] p[388] p[389] p[390] p[391] p[392] p[393] p[394] p[395] p[396] p[397] p[398] p[399] 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] 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] 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]
252.07/179.03	v       </list>
252.07/179.03	v       <values>
252.07/179.03	v         2408 2776 2712 2284 2848 2864 2804 2304 2260 2596 2220 2436 2524 2796 2504 2812 2708 2916 2876 2376 2408 2488 2624 2376 2260 2772 2876 2424 2808 2412 2716 2512 2756 2344 2616 2876 2588 2364 2756 2916 2824 2576 2260 2868 2552 2584 2696 2852 2852 2500 2500 2292 2640 2640 2832 2608 2796 2556 2876 2260 2220 2288 2844 2912 2780 2592 2460 2224 2668 2676 2804 2732 2392 2748 2572 2804 2588 2756 2884 2240 2732 2264 2824 2680 2220 2356 2772 2432 2500 2844 2764 2836 2724 2712 2636 2396 2384 2260 2352 2624 2504 2728 2596 2300 2648 2460 2708 2836 2840 2584 2748 2328 2424 2572 2448 2444 2320 2312 2708 2584 2584 2416 2540 2432 2812 2348 2596 2388 2784 2220 2744 2836 2444 2260 2348 2700 2428 2864 2280 2844 2656 2904 2636 2876 2820 2624 2876 2836 2764 2628 2556 2544 2852 2432 2756 2796 2400 2248 2280 2360 2708 2756 2756 2852 2916 2288 2220 2484 2876 2440 2764 2892 2484 2348 2820 2512 2420 2916 2732 2812 2584 2300 2448 2872 2916 2452 2644 2288 2704 2892 2548 2288 2612 2376 2376 2624 2448 2732 2376 2320 2328 2916 2812 2472 2736 2684 2684 2876 2416 2416 2464 2836 2332 2828 2328 2460 2828 2560 2568 2456 2684 2864 2880 2816 2360 2404 2408 2220 2384 2408 2308 2324 2448 2784 2448 2840 2636 2376 2876 2684 2568 2460 2500 2296 2460 2384 2220 2260 2632 2796 2864 2916 2668 2416 2504 2324 2408 2220 2324 2888 2400 2320 2332 2424 2416 2800 2836 2224 2876 2824 2392 2280 2444 2464 2260 2504 2320 2904 2772 2672 2848 2756 2724 2852 2736 2784 2528 2608 2756 2268 2220 2796 2600 2672 2464 2544 2820 2876 2676 2548 2772 2680 2796 2812 2780 2284 2388 2824 2336 2624 2840 2280 2320 2500 2220 2340 2260 2464 2344 2916 2416 2876 2228 2868 2732 2384 2584 2292 2876 2264 2288 2876 2488 2868 2772 2280 2800 2776 2688 2552 2472 2624 2804 2828 2344 2584 2876 2748 2260 2596 2348 2404 2684 2512 2772 2464 2772 2724 2616 2884 2308 2404 2872 2308 2320 2324 2660 2448 2524 2860 2732 2824 2760 2304 2360 2908 2316 2836 2916 2716 2416 2852 2868 2220 2396 2248 2716 2436 2724 2260 2532 2556 2340 2584 2712 2608 2264 2752 2880 2364 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 1 0 1 1 1 0 1 1 0 1 1 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 0 0 1 0 0 0 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 1 1 0 1 0 0 1 1 1 1 1 0 1 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 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 1 0 3 1 0 0 1 0 0 0 0 2 0 0 3 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 3 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 2 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 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 1 0 0 0 0 0 0 3 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 3 0 0 0 0 0 0 0 0 1 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 3 0 1 0 0 3 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 3 0 0 0 0 3 0 1 1 0 0 3 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 3 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 3 3 0 0 0 0 0 0 1 0 0 3 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 0 3 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 3 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 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 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 3 1 0 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 3 0 0 0 0 0 2 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 3 0 0 1 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 3 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 2 1 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 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 1 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 2 0 0 0 0 3 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 3 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 1 0 0 3 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 1 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 2 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 2 0 0 3 3 0 0 0 0 2 1 0 0 1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 1 0 0 0 0 0 3 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 3 0 0 2 1 0 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 3 1 0 0 0 0 0 3 0 0 3 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 28 80 508 428 60 20 356 468 20 116 468 188 60 56 72 92 536 68 68 360 44 192 44 416 100 116 112 124 76 124 168 264 452 320 24 36 448 364 628 304 440 140 104 528 340 400 544 172 592 388 36 440 224 28 336 24 588 140 448 68 164 432 508 604 572 624 240 404 456 64 140 104 48 544 32 48 220 120 340 196 44 284 500 424 120 460 568 148 100 144 84 536 132 244 324 560 224 204 200 580 512 100 248 280 40 248 320 268 28 68 136 192 92 416 576 364 52 344 244 136 140 116 144 172 184 356 220 80 208 116 572 444 96 64 296 40 40 72 44 280 168 372 156 88 104 424 64 80 104 24 516 128 48 52 548 60 204 40 276 4 84 128 24 488 284 488 168 236 8 108 48 332 276 492 596 180 232 456 160 368 304 444 528 24 528 252 548 128 248 292 304 156 48 500 452 184 296 540 400 500 60 476 300 124 88 148 28 28 356 160 72 328 28 144 240 16 180 296 248 252 256 300 292 344 148 244 176 36 492 152 468 460 368 488 96 540 156 356 88 296 336 84 416 616 408 328 148 220 424 524 292 192 40 308 580 144 596 160 400 32 288 388 32 348 200 76 116 336 588 184 24 588 344 264 68 8 284 468 100 188 160 152 504 52 92 76 104 248 304 128 452 56 68 428 72 104 260 384 156 412 356 272 332 252 196 196 164 92 52 56 68 24 252 160 44 120 468 308 124 340 92 496 492 204 212 56 88 456 60 532 84 252 328 356 12 120 152 272 192 196 116 260 188 156 296 180 80 412 548 140 144 296 236 236 368 280 288 260 288 224 124 68 192 104 44 220 488 352 348 516 60 308 48 116 24 372 84 84 528 244 696 564 568 488 40 496 444 468 532 636 604 200 500 604 504 604 484 564 292 64 116 152 132 176 48 192 316 248 240 296 280 368 632 200 72 616 420 264 656 644 484 608 48 648 468 208 116 120 292 148 152 340 104 324 264 220 288 228 356 308 28 288 176 364 260 304 276 148 320 88 344 384 152 60 408 60 376 88 180 376 56 96 396 64 228 524 492 512 32 72 324 272 252 108 68 156 312 200 416 236 236 136 552 60 152 584 624 116 16 156 504 584 264 320 32 176 332 380 340 188 312 196 416 176 132 100 260 176 72 44 368 60 232 76 268 284 288 408 120 476 452 188 124 228 244 296 176 180 224 200 320 224 176 212 164 40 128 544 192 192 552 452 616 656 404 160 336 448 172 156 40 188 584 60 656 236 596 448 196 536 552 404 44 552 556 348 336 68 160 88 100 460 244 516 72 208 428 584 520 484 164 76 564 60 208 228 112 440 52 156 152 32 196 232 452 364 20 96 72 512 24 20 152 244 20 44 88 268 424 296 352 40 172 320 424 140 156 64 620 484 372 4 652 456 264 300 252 128 128 56 204 204 164 260 160 292 228 148 164 76 584 104 376 524 72 396 84 36 104 92 136 52 144 80 404 64 136 112 72 72 268 296 412 128 120 164 112 312 212 268 348 240 168 268 296 152 208 372 88 120 356 584 60 32 64 48 64 368 224 160 44 104 300 140 184 20 232 300 136 356 24 468 496 416 176 436 180 200 468 276 112 8 160 132 468 676 20 88 248 532 444 100 60 416 168 168 208 144 52 452 100 400 380 536 12 360 136 112 104 252 116 28 332 160 100 460 56 564 324 632 348 184 216 44 240 68 520 440 416 512 528 48 168 512 188 176 228 492 192 144 252 392 152 140 440 124 176 68 344 264 68 124 124 28 320 240 212 52 216 368 240 136 136 496 136 624 356 160 24 408 88 364 300 504 448 508 392 412 164 64 412 292 324 396 140 504 444 36 52 336 116 28 28 452 100 328 240 212 280 96 100 308 276 416 244 224 52 312 200 36 116 96 104 68 428 228 128 56 508 488 260 288 372 124 200 92 40 128 80 40 536 228 400 204 48 460 132 372 112 68 264 132 152 204 292 276 284 80 228 184 64 60 236 308 216 296 400 152 408 312 420 152 240 376 188 132 200 52 28 136 280 288 288 276 456 148 76 144 380 96 64 400 164 272 80 244 324 352 424 148 324 40 16 240 56 24 248 364 220 384 48 332 104 420 528 492 12 620 560 560 316 620 164 252 136 244 192 320 44 64 340 324 480 284 120 276 468 548 536 296 136 544 432 588 320 396 480 184 352 332 304 120 112 248 304 128 24 124 288 324 240 232 104 120 128 224 532 96 356 304 540 36 20 144 356 500 412 540 52 136 140 384 76 168 168 140 72 176 364 292 212 292 192 288 336 132 324 52 244 176 360 268 56 316 36 108 96 340 196 72 168 408 20 152 56 252 44 164 28 180 92 96 240 220 368 380 384 484 292 124 328 56 436 352 88 472 544 276 116 100 28 260 68 100 160 236 240 88 196 132 280 28 476 140 504 180 368 384 324 564 140 464 452 92 492 20 244 552 600 228 148 184 172 72 484 340 436 32 80 72 156 104 16 472 448 16 124 152 96 568 556 48 408 628 268 128 60 616 512 100 324 100 16 488 68 268 28 476 128 100 420 120 284 188 152 364 436 72 296 148 20 448 252 156 408 488 52 320 644 64 312 392 116 276 120 96 168 404 624 60 40 452 596 524 84 32 556 160 160 520 44 500 132 180 224 436 436 572 120 232 520 276 228 188 348 164 328 276 104 120 172 372 92 192 560 160 64 88 20 500 560 472 372 304 60 176 264 24 628 392 528 292 416 596 476 396 536 512 516 80 372 420 136 152 48 356 76 88 444 544 84 408 172 220 308 288 60 44 96 224 272 248 112 220 280 228 252 204 80 180 564 448 352 452 96 544 28 100 460 132 272 56 56 236 404 44 436 24 120 68 84 40 516 112 44 436 8 396 468 112 56 316 36 668 48 476 200 484 172 96 136 608 16 492 628 276 140 516 80 148 116 428 264 440 88 448 156 364 96 272 72 292 316 336 448 432 80 84 204 112 360 496 592 408 180 380 320 696 184 532 416 624 116 256 32 88 260 176 176 296 392 604 100 440 252 384 140 392 384 56 472 552 76 140 268 188 8 152 476 220 236 400 60 144 148 176 280 80 348 484 64 32 672 16 88 428 56 108 340 368 268 452 248 384 88 260 532 404 364 36 64 48 136 356 512 500 224 200 52 40 52 500 692 472 96 532 68 288 344 444 128 92 136 32 592 464 452 396 40 40 332 180 252 244 148 252 188 76 32 60 116 144 472 232 56 188 404 308 428 392 132 44 200 32 612 644 528 148 540 104 512 540 592 524 596 244 580 92 124 364 216 436 320 456 420 132 336 536 80 436 232 384 12 148 484 292 220 268 172 328 304 248 276 328 76 368 496 160 128 36 292 188 144 328 352 32 84 96 380 532 52 88 304 68 484 216 200 108 136 316 468 84 144 412 316 144 60 88 184 96 72 88 440 72 156 156 348 396 96 340 68 136 196 104 348 52 308 240 384 652 404 348 80 592 228 212 356 88 212 300 264 444 208 376 328 60 116 4 180 116 268 156 88 152 356 228 276 204 96 232 200 196 416 60 552 208 348 40 612 144 108 380 120 96 108 400 40 388 68 428 528 372 616 44 36 68 516 132 284 284 8 508 96 40 388 52 416 164 116 420 244 116 112 356 112 120 300 332 216 188 48 220 68 308 204 264 228 432 232 224 356 112 460 140 140 504 96 84 12 324 596 400 288 596 476 552 140 88 372 556 84 388 56 316 304 448 100 552 600 84 284 436 492 488 164 16 340 196 88 96 8 560 152 80 332 352 56 564 320 320 160 104 380 340 580 68 56 500 612 64 108 192 408 304 492 340 156 76 120 8 536 416 464 84 184 268 300 32 104 248 164 116 304 260 192 404 344 112 120 92 280 84 416 444 80 564 312 60 536 76 212 600 312 40 140 412 24 368 248 116 108 12 68 584 248 44 508 688 168 252 204 240 472 404 96 280 220 48 196 68 472 140 96 64 656 564 656 472 12 592 504 360 624 116 20 396 516 304 412 28 508 268 492 384 156 176 48 292 188 356 356 44 492 496 48 228 304 552 580 36 172 540 52 612 512 44 504 564 52 52 64 108 380 452 432 328 88 160 248 512 80 512 40 224 184 268 284 108 476 296 36 368 108 412 204 444 200 76 76 44 540 508 484 16 104 52 260 376 180 28 392 272 332 132 520 64 96 244 244 144 112 44 572 584 364 252 496 212 204 204 412 172 252 324 284 72 144 356 512 40 52 292 260 204 4 304 188 32 396 56 92 504 172 32 380 400 548 44 24 256 384 268 552 248 124 196 44 312 360 344 72 264 108 380 168 548 84 84 120 504 228 364 32 84 64 600 176 284 116 56 84 528 380 592 200 48 108 156 116 520 284 112 548 28 124 276 348 332 32 276 260 156 424 568 572 508 320 76 116 172 64 48 648 620 156 144 28 60 84 84 88 188 28 180 408 260 48 404 136 116 40 152 356 236 256 12 96 432 136 112 464 212 244 168 556 44 140 56 528 544 60 224 220 412 276 24 520 92 92 512 176 280 492 124 652 128 364 660 452 116 268
252.07/179.03	v       </values>
252.07/179.03	v     </instantiation>
252.07/179.03	s SATISFIABLE

Verifier Data 

OK	163903545

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302950-1532896698/watcher-4302950-1532896698 -o /tmp/evaluation-result-4302950-1532896698/solver-4302950-1532896698 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13580 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1572738672 -superng HOME/instance-4302950-1532896698.xml 

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

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


[startup+0.100089 s]*
/proc/loadavg: 1.66 1.80 1.85 3/206 18885
/proc/meminfo: memFree=19878832/32770624 swapFree=67108404/67108860
[pid=18828] ppid=18825 vsize=10005480 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/18828/stat : 18828 (java) S 18825 18828 12222 0 -1 1077944320 4354 13246 0 0 1 0 5 3 20 0 6 0 107232985 10245611520 4203 33554432000 4194304 4196468 140726392829376 140726392811920 139769237855991 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
/proc/18828/statm: 2501370 4203 1935 1 0 2489808 0
[pid=18828/tid=18881] ppid=18825 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18881/stat : 18881 (java) R 18825 18828 12222 0 -1 4202560 2183 13246 0 0 0 0 5 3 20 0 6 0 107232994 10245611520 4203 33554432000 4194304 4196468 140726392829376 139769209692752 139769221936478 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18882] ppid=18825 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18882/stat : 18882 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 6 0 107232995 10245611520 4203 33554432000 4194304 4196468 140726392829376 139769242098320 139769237866197 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18883] ppid=18825 vsize=10005480 memory=139883433019008 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18883/stat : 18883 (java) S 18825 18828 12222 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 6 0 107232995 10245611520 4203 33554432000 4194304 4196468 140726392829376 139769112746512 139769237866197 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18884] ppid=18825 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18884/stat : 18884 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 6 0 107232995 10245611520 4203 33554432000 4194304 4196468 140726392829376 139769111693712 139769237866197 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18885] ppid=18825 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18885/stat : 18885 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 6 0 107232995 10245611520 4203 33554432000 4194304 4196468 140726392829376 139769110640912 139769237866197 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB

[startup+0.209981 s]*
/proc/loadavg: 1.66 1.80 1.85 3/215 18894
/proc/meminfo: memFree=19855256/32770624 swapFree=67108404/67108860
[pid=18828] ppid=18825 vsize=10982744 memory=43624 CPUtime=0.26 cores=0,2,4,6
/proc/18828/stat : 18828 (java) S 18825 18828 12222 0 -1 1077944320 7639 13246 0 0 17 1 5 3 20 0 15 0 107232985 11246329856 10906 33554432000 4194304 4196468 140726392829376 140726392811920 139769237855991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
/proc/18828/statm: 2745686 10906 2943 1 0 2708109 0
[pid=18828/tid=18881] ppid=18825 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/18828/task/18881/stat : 18881 (java) R 18825 18828 12222 0 -1 4202560 4354 13246 0 0 10 1 5 3 20 0 15 0 107232994 11246329856 11038 33554432000 4194304 4196468 140726392829376 139769209678952 139769218131740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18882] ppid=18825 vsize=10982744 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18882/stat : 18882 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 107232995 11246329856 11038 33554432000 4194304 4196468 140726392829376 139769242098320 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18883] ppid=18825 vsize=10982744 memory=3691179747021801120 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18883/stat : 18883 (java) S 18825 18828 12222 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 107232995 11246329856 11038 33554432000 4194304 4196468 140726392829376 139769112746512 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18884] ppid=18825 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18884/stat : 18884 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 107232995 11246329856 11038 33554432000 4194304 4196468 140726392829376 139769111693712 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18885] ppid=18825 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18885/stat : 18885 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 107232995 11246329856 11038 33554432000 4194304 4196468 140726392829376 139769110640912 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18886] ppid=18825 vsize=10982744 memory=139883433019008 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18886/stat : 18886 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 107232997 11246329856 11038 33554432000 4194304 4196468 140726392829376 139768662748016 139769237867138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18887] ppid=18825 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18887/stat : 18887 (java) S 18825 18828 12222 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 107232997 11246329856 11038 33554432000 4194304 4196468 140726392829376 139768047330848 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18888] ppid=18825 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18888/stat : 18888 (java) S 18825 18828 12222 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 107232997 11246329856 11038 33554432000 4194304 4196468 140726392829376 139767899481456 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18889] ppid=18825 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18889/stat : 18889 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11246329856 11038 33554432000 4194304 4196468 140726392829376 139767592081744 139769237874587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18890] ppid=18825 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18828/task/18890/stat : 18890 (java) S 18825 18828 12222 0 -1 1077944384 358 13246 0 0 1 0 5 3 20 0 15 0 107233000 11246329856 11104 33554432000 4194304 4196468 140726392829376 139768661694832 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18891] ppid=18825 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18891/stat : 18891 (java) S 18825 18828 12222 0 -1 1077944384 254 13246 0 0 0 0 5 3 20 0 15 0 107233000 11246329856 11104 33554432000 4194304 4196468 140726392829376 139768660642032 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18892] ppid=18825 vsize=10982744 memory=139883433019008 CPUtime=0.11 cores=0,2,4,6
/proc/18828/task/18892/stat : 18892 (java) S 18825 18828 12222 0 -1 1077944384 593 13246 0 0 3 0 5 3 20 0 15 0 107233000 11246329856 11104 33554432000 4194304 4196468 140726392829376 139768659589232 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18893] ppid=18825 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18893/stat : 18893 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11246329856 11104 33554432000 4194304 4196468 140726392829376 139767161284832 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18894] ppid=18825 vsize=10982744 memory=139883433019008 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18894/stat : 18894 (java) S 18825 18828 12222 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 107233001 11246329856 11104 33554432000 4194304 4196468 140726392829376 139768658537648 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43624 KiB

[startup+0.310333 s]*
/proc/loadavg: 1.66 1.80 1.85 3/215 18894
/proc/meminfo: memFree=19843100/32770624 swapFree=67108404/67108860
[pid=18828] ppid=18825 vsize=10983192 memory=56192 CPUtime=0.39 cores=0,2,4,6
/proc/18828/stat : 18828 (java) S 18825 18828 12222 0 -1 1077944320 10589 13246 0 0 29 2 5 3 20 0 15 0 107232985 11246788608 14048 33554432000 4194304 4196468 140726392829376 140726392811920 139769237855991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
/proc/18828/statm: 2745798 14048 3076 1 0 2708109 0
[pid=18828/tid=18881] ppid=18825 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/18828/task/18881/stat : 18881 (java) R 18825 18828 12222 0 -1 4202560 7151 13246 0 0 19 2 5 3 20 0 15 0 107232994 11246788608 14048 33554432000 4194304 4196468 140726392829376 139769209668000 139769218131872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18882] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18882/stat : 18882 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 107232995 11246788608 14048 33554432000 4194304 4196468 140726392829376 139769242098320 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18883] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18883/stat : 18883 (java) S 18825 18828 12222 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 107232995 11246788608 14048 33554432000 4194304 4196468 140726392829376 139769112746512 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18884] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18884/stat : 18884 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 107232995 11246788608 14048 33554432000 4194304 4196468 140726392829376 139769111693712 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18885] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18885/stat : 18885 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 107232995 11246788608 14048 33554432000 4194304 4196468 140726392829376 139769110640912 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18886] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18886/stat : 18886 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 107232997 11246788608 14048 33554432000 4194304 4196468 140726392829376 139768662748016 139769237867138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18887] ppid=18825 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18887/stat : 18887 (java) S 18825 18828 12222 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 107232997 11246788608 14048 33554432000 4194304 4196468 140726392829376 139768047330848 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18888] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18888/stat : 18888 (java) S 18825 18828 12222 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 107232997 11246788608 14048 33554432000 4194304 4196468 140726392829376 139767899481456 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18889] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18889/stat : 18889 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11246788608 14048 33554432000 4194304 4196468 140726392829376 139767592081744 139769237874587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18890] ppid=18825 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18828/task/18890/stat : 18890 (java) S 18825 18828 12222 0 -1 1077944384 359 13246 0 0 1 0 5 3 20 0 15 0 107233000 11246788608 14048 33554432000 4194304 4196468 140726392829376 139768661694832 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18891] ppid=18825 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/18828/task/18891/stat : 18891 (java) S 18825 18828 12222 0 -1 1077944384 257 13246 0 0 1 0 5 3 20 0 15 0 107233000 11246788608 14048 33554432000 4194304 4196468 140726392829376 139768660642032 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18892] ppid=18825 vsize=10983192 memory=139883433019008 CPUtime=0.13 cores=0,2,4,6
/proc/18828/task/18892/stat : 18892 (java) S 18825 18828 12222 0 -1 1077944384 600 13246 0 0 5 0 5 3 20 0 15 0 107233000 11246788608 14048 33554432000 4194304 4196468 140726392829376 139768659589232 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18893] ppid=18825 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18893/stat : 18893 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11246788608 14048 33554432000 4194304 4196468 140726392829376 139767161284832 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18894] ppid=18825 vsize=10983192 memory=139883433019008 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18894/stat : 18894 (java) S 18825 18828 12222 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 107233001 11246788608 14048 33554432000 4194304 4196468 140726392829376 139768658537648 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56192 KiB

[startup+0.700733 s]
/proc/loadavg: 1.66 1.80 1.85 4/215 18894
/proc/meminfo: memFree=19832060/32770624 swapFree=67108404/67108860
[pid=18828] ppid=18825 vsize=10983192 memory=88604 CPUtime=0.99 cores=0,2,4,6
/proc/18828/stat : 18828 (java) S 18825 18828 12222 0 -1 1077944320 16745 13246 0 0 87 4 5 3 20 0 15 0 107232985 11246788608 22151 33554432000 4194304 4196468 140726392829376 140726392811920 139769237855991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
/proc/18828/statm: 2745798 22151 3240 1 0 2708109 0
[pid=18828/tid=18881] ppid=18825 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/18828/task/18881/stat : 18881 (java) R 18825 18828 12222 0 -1 4202560 12230 13246 0 0 56 3 5 3 20 0 15 0 107232994 11246788608 22151 33554432000 4194304 4196468 140726392829376 139769209676816 139769237877917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18882] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18882/stat : 18882 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 107232995 11246788608 22151 33554432000 4194304 4196468 140726392829376 139769242098320 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18883] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18883/stat : 18883 (java) S 18825 18828 12222 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 107232995 11246788608 22215 33554432000 4194304 4196468 140726392829376 139769112746512 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18884] ppid=18825 vsize=10983192 memory=488 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18884/stat : 18884 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 107232995 11246788608 22215 33554432000 4194304 4196468 140726392829376 139769111693712 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18885] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18885/stat : 18885 (java) S 18825 18828 12222 0 -1 1077944384 2 13246 0 0 0 0 5 3 20 0 15 0 107232995 11246788608 22215 33554432000 4194304 4196468 140726392829376 139769110640912 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18886] ppid=18825 vsize=10983192 memory=7301570131460772950 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18886/stat : 18886 (java) S 18825 18828 12222 0 -1 1077944384 5 13246 0 0 0 0 5 3 20 0 15 0 107232997 11246788608 22215 33554432000 4194304 4196468 140726392829376 139768662748016 139769237867138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18887] ppid=18825 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18887/stat : 18887 (java) S 18825 18828 12222 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 107232997 11246788608 22215 33554432000 4194304 4196468 140726392829376 139768047330848 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18888] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18888/stat : 18888 (java) S 18825 18828 12222 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 107232997 11246788608 22215 33554432000 4194304 4196468 140726392829376 139767899481456 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18889] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18889/stat : 18889 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11246788608 22215 33554432000 4194304 4196468 140726392829376 139767592081744 139769237874587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18890] ppid=18825 vsize=10983192 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/18828/task/18890/stat : 18890 (java) S 18825 18828 12222 0 -1 1077944384 994 13246 0 0 10 0 5 3 20 0 15 0 107233000 11246788608 22215 33554432000 4194304 4196468 140726392829376 139768661694832 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18891] ppid=18825 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/18828/task/18891/stat : 18891 (java) S 18825 18828 12222 0 -1 1077944384 629 13246 0 0 7 0 5 3 20 0 15 0 107233000 11246788608 22215 33554432000 4194304 4196468 140726392829376 139768660642032 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18892] ppid=18825 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/18828/task/18892/stat : 18892 (java) R 18825 18828 12222 0 -1 4202560 668 13246 0 0 13 0 5 3 20 0 15 0 107233000 11246788608 22215 33554432000 4194304 4196468 140726392829376 139768659589232 139769221936478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18893] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18893/stat : 18893 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11246788608 22215 33554432000 4194304 4196468 140726392829376 139767161284832 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18894] ppid=18825 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18894/stat : 18894 (java) S 18825 18828 12222 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 107233001 11246788608 22215 33554432000 4194304 4196468 140726392829376 139768658537648 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88604 KiB

[startup+1.50377 s]
/proc/loadavg: 1.66 1.80 1.85 4/215 18894
/proc/meminfo: memFree=19761156/32770624 swapFree=67108404/67108860
[pid=18828] ppid=18825 vsize=10991872 memory=498472 CPUtime=3.04 cores=0,2,4,6
/proc/18828/stat : 18828 (java) S 18825 18828 12222 0 -1 1077944320 23280 13246 0 0 264 32 5 3 20 0 15 0 107232985 11255676928 124618 33554432000 4194304 4196468 140726392829376 140726392811920 139769237855991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
/proc/18828/statm: 2747968 124618 3448 1 0 2709645 0
[pid=18828/tid=18881] ppid=18825 vsize=10991872 memory=4951091520830867572 CPUtime=1.31 cores=0,2,4,6
/proc/18828/task/18881/stat : 18881 (java) S 18825 18828 12222 0 -1 1077944384 14589 13246 0 0 115 8 5 3 20 0 15 0 107232994 11255676928 124618 33554432000 4194304 4196468 140726392829376 139769209691680 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18882] ppid=18825 vsize=10991872 memory=4134606225630022328 CPUtime=0.18 cores=0,2,4,6
/proc/18828/task/18882/stat : 18882 (java) R 18825 18828 12222 0 -1 4202560 233 13246 0 0 6 4 5 3 20 0 15 0 107232995 11255676928 124618 33554432000 4194304 4196468 140726392829376 139769242098320 139769222851937 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18883] ppid=18825 vsize=10991872 memory=-5153075247754915999 CPUtime=0.2 cores=0,2,4,6
/proc/18828/task/18883/stat : 18883 (java) R 18825 18828 12222 0 -1 4202560 211 13246 0 0 7 5 5 3 20 0 15 0 107232995 11255676928 124618 33554432000 4194304 4196468 140726392829376 139769112746712 139769230955659 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18884] ppid=18825 vsize=10991872 memory=-7881675805250329519 CPUtime=0.18 cores=0,2,4,6
/proc/18828/task/18884/stat : 18884 (java) R 18825 18828 12222 0 -1 4202560 425 13246 0 0 5 5 5 3 20 0 15 0 107232995 11255676928 124618 33554432000 4194304 4196468 140726392829376 139769111693712 139769230958963 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18885] ppid=18825 vsize=10991872 memory=148048 CPUtime=0.22 cores=0,2,4,6
/proc/18828/task/18885/stat : 18885 (java) R 18825 18828 12222 0 -1 4202560 306 13246 0 0 8 6 5 3 20 0 15 0 107232995 11255676928 124618 33554432000 4194304 4196468 140726392829376 139769110640912 139769230958984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18886] ppid=18825 vsize=10991872 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18828/task/18886/stat : 18886 (java) S 18825 18828 12222 0 -1 1077944384 119 13246 0 0 1 0 5 3 20 0 15 0 107232997 11255676928 124618 33554432000 4194304 4196468 140726392829376 139768662746560 139769237866197 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18887] ppid=18825 vsize=10991872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18887/stat : 18887 (java) S 18825 18828 12222 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 107232997 11255676928 124618 33554432000 4194304 4196468 140726392829376 139768047330848 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18888] ppid=18825 vsize=10991872 memory=279766653534496 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18888/stat : 18888 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107232997 11255676928 124618 33554432000 4194304 4196468 140726392829376 139767899481472 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18889] ppid=18825 vsize=10991872 memory=279766653949440 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18889/stat : 18889 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11255676928 124618 33554432000 4194304 4196468 140726392829376 139767592081744 139769237874587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18890] ppid=18825 vsize=10991872 memory=139883326776960 CPUtime=0.59 cores=0,2,4,6
/proc/18828/task/18890/stat : 18890 (java) S 18825 18828 12222 0 -1 1077944384 2310 13246 0 0 51 0 5 3 20 0 15 0 107233000 11255676928 124618 33554432000 4194304 4196468 140726392829376 139768661679824 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18891] ppid=18825 vsize=10991872 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/18828/task/18891/stat : 18891 (java) S 18825 18828 12222 0 -1 1077944384 1831 13246 0 0 39 0 5 3 20 0 15 0 107233000 11255676928 124618 33554432000 4194304 4196468 140726392829376 139768660642032 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18892] ppid=18825 vsize=10991872 memory=1200 CPUtime=0.36 cores=0,2,4,6
/proc/18828/task/18892/stat : 18892 (java) S 18825 18828 12222 0 -1 1077944384 1044 13246 0 0 28 0 5 3 20 0 15 0 107233000 11255676928 124618 33554432000 4194304 4196468 140726392829376 139768659589232 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18893] ppid=18825 vsize=10991872 memory=15876 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18893/stat : 18893 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11255676928 124618 33554432000 4194304 4196468 140726392829376 139767161284832 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18894] ppid=18825 vsize=10991872 memory=4044 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18894/stat : 18894 (java) S 18825 18828 12222 0 -1 1077944384 1 13246 0 0 0 0 5 3 20 0 15 0 107233001 11255676928 124618 33554432000 4194304 4196468 140726392829376 139768658537648 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10991872 KiB

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

/proc/18828/task/18881/stat : 18881 (java) R 18825 18828 12222 0 -1 4202560 35492 13246 0 0 4646 35 5 3 20 0 15 0 107232994 11272552448 969154 33554432000 4194304 4196468 140726392829376 139769209689360 139768794940224 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18882] ppid=18825 vsize=11008352 memory=279766654217984 CPUtime=3.95 cores=0,2,4,6
/proc/18828/task/18882/stat : 18882 (java) S 18825 18828 12222 0 -1 1077944384 2704 13246 0 0 336 51 5 3 20 0 15 0 107232995 11272552448 969154 33554432000 4194304 4196468 140726392829376 139769242098320 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18883] ppid=18825 vsize=11008352 memory=3804928 CPUtime=4.02 cores=0,2,4,6
/proc/18828/task/18883/stat : 18883 (java) S 18825 18828 12222 0 -1 1077944384 3055 13246 0 0 347 47 5 3 20 0 15 0 107232995 11272552448 969154 33554432000 4194304 4196468 140726392829376 139769112746512 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18884] ppid=18825 vsize=11008352 memory=4012 CPUtime=3.93 cores=0,2,4,6
/proc/18828/task/18884/stat : 18884 (java) S 18825 18828 12222 0 -1 1077944384 2463 13246 0 0 334 51 5 3 20 0 15 0 107232995 11272552448 969154 33554432000 4194304 4196468 140726392829376 139769111693712 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18885] ppid=18825 vsize=11008352 memory=409 CPUtime=4.02 cores=0,2,4,6
/proc/18828/task/18885/stat : 18885 (java) S 18825 18828 12222 0 -1 1077944384 4039 13246 0 0 344 50 5 3 20 0 15 0 107232995 11272552448 969154 33554432000 4194304 4196468 140726392829376 139769110640912 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18886] ppid=18825 vsize=11008352 memory=352 CPUtime=0.24 cores=0,2,4,6
/proc/18828/task/18886/stat : 18886 (java) S 18825 18828 12222 0 -1 1077944384 6183 13246 0 0 16 0 5 3 20 0 15 0 107232997 11272552448 969154 33554432000 4194304 4196468 140726392829376 139768662748016 139769237867138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18887] ppid=18825 vsize=11008352 memory=279766653967760 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18887/stat : 18887 (java) S 18825 18828 12222 0 -1 1077944384 21 13246 0 0 0 0 5 3 20 0 15 0 107232997 11272552448 969154 33554432000 4194304 4196468 140726392829376 139768047330912 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18888] ppid=18825 vsize=11008352 memory=7666090164672425317 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18888/stat : 18888 (java) S 18825 18828 12222 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 107232997 11272552448 969154 33554432000 4194304 4196468 140726392829376 139767899481472 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18889] ppid=18825 vsize=11008352 memory=7668897248090809177 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18889/stat : 18889 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11272552448 969154 33554432000 4194304 4196468 140726392829376 139767592081744 139769237874587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18890] ppid=18825 vsize=11008352 memory=56 CPUtime=4.17 cores=0,2,4,6
/proc/18828/task/18890/stat : 18890 (java) S 18825 18828 12222 0 -1 1077944384 9855 13246 0 0 407 2 5 3 20 0 15 0 107233000 11272552448 969154 33554432000 4194304 4196468 140726392829376 139768661694832 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18891] ppid=18825 vsize=11008352 memory=6944652177228980320 CPUtime=3.6 cores=0,2,4,6
/proc/18828/task/18891/stat : 18891 (java) S 18825 18828 12222 0 -1 1077944384 6849 13246 0 0 351 1 5 3 20 0 15 0 107233000 11272552448 969154 33554432000 4194304 4196468 140726392829376 139768660642032 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18892] ppid=18825 vsize=11008352 memory=6944656592455359580 CPUtime=1.62 cores=0,2,4,6
/proc/18828/task/18892/stat : 18892 (java) S 18825 18828 12222 0 -1 1077944384 8034 13246 0 0 153 1 5 3 20 0 15 0 107233000 11272552448 969154 33554432000 4194304 4196468 140726392829376 139768659589232 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18893] ppid=18825 vsize=11008352 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18893/stat : 18893 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11272552448 969154 33554432000 4194304 4196468 140726392829376 139767161284832 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18894] ppid=18825 vsize=11008352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/18828/task/18894/stat : 18894 (java) S 18825 18828 12222 0 -1 1077944384 1468 13246 0 0 1 1 5 3 20 0 15 0 107233001 11272552448 969154 33554432000 4194304 4196468 140726392829376 139768658537648 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
Current children cumulated CPU time: 71.92 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 3876616 KiB

[startup+102.301 s]
/proc/loadavg: 2.06 1.87 1.87 3/215 18895
/proc/meminfo: memFree=16176128/32770624 swapFree=67108404/67108860
[pid=18828] ppid=18825 vsize=11082080 memory=3970992 CPUtime=156.33 cores=0,2,4,6
/proc/18828/stat : 18828 (java) S 18825 18828 12222 0 -1 1077944320 158417 13246 0 0 15329 296 5 3 20 0 15 0 107232985 11348049920 992748 33554432000 4194304 4196468 140726392829376 140726392811920 139769237855991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
/proc/18828/statm: 2770520 992748 3541 1 0 2732173 0
[pid=18828/tid=18881] ppid=18825 vsize=11082080 memory=3961208 CPUtime=90.91 cores=0,2,4,6
/proc/18828/task/18881/stat : 18881 (java) R 18825 18828 12222 0 -1 4202560 64151 13246 0 0 9044 39 5 3 20 0 15 0 107232994 11348049920 992748 33554432000 4194304 4196468 140726392829376 139769209687792 139768813572386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18882] ppid=18825 vsize=11082080 memory=3970992 CPUtime=10.39 cores=0,2,4,6
/proc/18828/task/18882/stat : 18882 (java) S 18825 18828 12222 0 -1 1077944384 6938 13246 0 0 970 61 5 3 20 0 15 0 107232995 11348049920 992748 33554432000 4194304 4196468 140726392829376 139769242098320 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18883] ppid=18825 vsize=11082080 memory=3649240 CPUtime=10.4 cores=0,2,4,6
/proc/18828/task/18883/stat : 18883 (java) S 18825 18828 12222 0 -1 1077944384 6429 13246 0 0 975 57 5 3 20 0 15 0 107232995 11348049920 992748 33554432000 4194304 4196468 140726392829376 139769112746512 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18884] ppid=18825 vsize=11082080 memory=497 CPUtime=10.38 cores=0,2,4,6
/proc/18828/task/18884/stat : 18884 (java) S 18825 18828 12222 0 -1 1077944384 6536 13246 0 0 970 60 5 3 20 0 15 0 107232995 11348049920 992748 33554432000 4194304 4196468 140726392829376 139769111693712 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18885] ppid=18825 vsize=11082080 memory=3963232 CPUtime=10.5 cores=0,2,4,6
/proc/18828/task/18885/stat : 18885 (java) S 18825 18828 12222 0 -1 1077944384 8847 13246 0 0 981 61 5 3 20 0 15 0 107232995 11348049920 992748 33554432000 4194304 4196468 140726392829376 139769110640912 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18886] ppid=18825 vsize=11082080 memory=279766654064928 CPUtime=0.89 cores=0,2,4,6
/proc/18828/task/18886/stat : 18886 (java) S 18825 18828 12222 0 -1 1077944384 10617 13246 0 0 80 1 5 3 20 0 15 0 107232997 11348049920 992748 33554432000 4194304 4196468 140726392829376 139768662748016 139769237867138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18887] ppid=18825 vsize=11082080 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18887/stat : 18887 (java) S 18825 18828 12222 0 -1 1077944384 21 13246 0 0 0 0 5 3 20 0 15 0 107232997 11348049920 992748 33554432000 4194304 4196468 140726392829376 139768047330976 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18888] ppid=18825 vsize=11082080 memory=4785954429024298545 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18888/stat : 18888 (java) S 18825 18828 12222 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 107232997 11348049920 992748 33554432000 4194304 4196468 140726392829376 139767899481472 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18889] ppid=18825 vsize=11082080 memory=3970988 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18889/stat : 18889 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11348049920 992748 33554432000 4194304 4196468 140726392829376 139767592081744 139769237874587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18890] ppid=18825 vsize=11082080 memory=3970988 CPUtime=10.24 cores=0,2,4,6
/proc/18828/task/18890/stat : 18890 (java) S 18825 18828 12222 0 -1 1077944384 15864 13246 0 0 1013 3 5 3 20 0 15 0 107233000 11348049920 992748 33554432000 4194304 4196468 140726392829376 139768661694832 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18891] ppid=18825 vsize=11082080 memory=1277 CPUtime=9.81 cores=0,2,4,6
/proc/18828/task/18891/stat : 18891 (java) S 18825 18828 12222 0 -1 1077944384 14907 13246 0 0 970 3 5 3 20 0 15 0 107233000 11348049920 992748 33554432000 4194304 4196468 140726392829376 139768660642032 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18892] ppid=18825 vsize=11082080 memory=1042 CPUtime=3.26 cores=0,2,4,6
/proc/18828/task/18892/stat : 18892 (java) S 18825 18828 12222 0 -1 1077944384 20047 13246 0 0 315 3 5 3 20 0 15 0 107233000 11348049920 992748 33554432000 4194304 4196468 140726392829376 139768659589232 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18893] ppid=18825 vsize=11082080 memory=3962928 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18893/stat : 18893 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11348049920 992748 33554432000 4194304 4196468 140726392829376 139767161284832 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18894] ppid=18825 vsize=11082080 memory=3962756 CPUtime=0.13 cores=0,2,4,6
/proc/18828/task/18894/stat : 18894 (java) S 18825 18828 12222 0 -1 1077944384 1849 13246 0 0 2 3 5 3 20 0 15 0 107233001 11348049920 992748 33554432000 4194304 4196468 140726392829376 139768658537648 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
Current children cumulated CPU time: 156.33 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3970992 KiB

[startup+162.301 s]
/proc/loadavg: 2.20 1.92 1.88 3/215 18935
/proc/meminfo: memFree=17207708/32770624 swapFree=67108404/67108860
[pid=18828] ppid=18825 vsize=11082080 memory=3961176 CPUtime=229.79 cores=0,2,4,6
/proc/18828/stat : 18828 (java) S 18825 18828 12222 0 -1 1077944320 197132 13246 0 0 22666 305 5 3 20 0 15 0 107232985 11348049920 990294 33554432000 4194304 4196468 140726392829376 140726392811920 139769237855991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
/proc/18828/statm: 2770520 990294 3542 1 0 2732173 0
[pid=18828/tid=18881] ppid=18825 vsize=11082080 memory=3961012 CPUtime=146.7 cores=0,2,4,6
/proc/18828/task/18881/stat : 18881 (java) R 18825 18828 12222 0 -1 4202560 70114 13246 0 0 14622 40 5 3 20 0 15 0 107232994 11348049920 990294 33554432000 4194304 4196468 140726392829376 139769209690312 139768790754175 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18882] ppid=18825 vsize=11082080 memory=3961012 CPUtime=14.47 cores=0,2,4,6
/proc/18828/task/18882/stat : 18882 (java) S 18825 18828 12222 0 -1 1077944384 7838 13246 0 0 1377 62 5 3 20 0 15 0 107232995 11348049920 990294 33554432000 4194304 4196468 140726392829376 139769242098320 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18883] ppid=18825 vsize=11082080 memory=3961176 CPUtime=14.51 cores=0,2,4,6
/proc/18828/task/18883/stat : 18883 (java) S 18825 18828 12222 0 -1 1077944384 8069 13246 0 0 1385 58 5 3 20 0 15 0 107232995 11348049920 990294 33554432000 4194304 4196468 140726392829376 139769112746512 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18884] ppid=18825 vsize=11082080 memory=3961176 CPUtime=14.49 cores=0,2,4,6
/proc/18828/task/18884/stat : 18884 (java) S 18825 18828 12222 0 -1 1077944384 9215 13246 0 0 1379 62 5 3 20 0 15 0 107232995 11348049920 990294 33554432000 4194304 4196468 140726392829376 139769111693712 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18885] ppid=18825 vsize=11082080 memory=3961176 CPUtime=14.6 cores=0,2,4,6
/proc/18828/task/18885/stat : 18885 (java) S 18825 18828 12222 0 -1 1077944384 10945 13246 0 0 1390 62 5 3 20 0 15 0 107232995 11348049920 990294 33554432000 4194304 4196468 140726392829376 139769110640912 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18886] ppid=18825 vsize=11082080 memory=3961176 CPUtime=0.99 cores=0,2,4,6
/proc/18828/task/18886/stat : 18886 (java) S 18825 18828 12222 0 -1 1077944384 19917 13246 0 0 89 2 5 3 20 0 15 0 107232997 11348049920 990294 33554432000 4194304 4196468 140726392829376 139768662748016 139769237867138 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18887] ppid=18825 vsize=11082080 memory=3961176 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18887/stat : 18887 (java) S 18825 18828 12222 0 -1 1077944384 21 13246 0 0 0 0 5 3 20 0 15 0 107232997 11348049920 990294 33554432000 4194304 4196468 140726392829376 139768047330976 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18888] ppid=18825 vsize=11082080 memory=3961176 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18888/stat : 18888 (java) S 18825 18828 12222 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 107232997 11348049920 990294 33554432000 4194304 4196468 140726392829376 139767899481472 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18889] ppid=18825 vsize=11082080 memory=1338 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18889/stat : 18889 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11348049920 990294 33554432000 4194304 4196468 140726392829376 139767592081744 139769237874587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18890] ppid=18825 vsize=11082080 memory=3961176 CPUtime=10.74 cores=0,2,4,6
/proc/18828/task/18890/stat : 18890 (java) S 18825 18828 12222 0 -1 1077944384 20872 13246 0 0 1062 4 5 3 20 0 15 0 107233000 11348049920 990294 33554432000 4194304 4196468 140726392829376 139768661694832 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18891] ppid=18825 vsize=11082080 memory=3961012 CPUtime=10.41 cores=0,2,4,6
/proc/18828/task/18891/stat : 18891 (java) S 18825 18828 12222 0 -1 1077944384 21651 13246 0 0 1029 4 5 3 20 0 15 0 107233000 11348049920 990294 33554432000 4194304 4196468 140726392829376 139768660642032 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18892] ppid=18825 vsize=11082080 memory=1300 CPUtime=3.33 cores=0,2,4,6
/proc/18828/task/18892/stat : 18892 (java) S 18825 18828 12222 0 -1 1077944384 24237 13246 0 0 321 4 5 3 20 0 15 0 107233000 11348049920 990294 33554432000 4194304 4196468 140726392829376 139768659589232 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18893] ppid=18825 vsize=11082080 memory=4012 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18893/stat : 18893 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11348049920 990294 33554432000 4194304 4196468 140726392829376 139767161284832 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18894] ppid=18825 vsize=11082080 memory=30588 CPUtime=0.16 cores=0,2,4,6
/proc/18828/task/18894/stat : 18894 (java) S 18825 18828 12222 0 -1 1077944384 2042 13246 0 0 4 4 5 3 20 0 15 0 107233001 11348049920 990294 33554432000 4194304 4196468 140726392829376 139768658537648 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
Current children cumulated CPU time: 229.79 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3961176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+179.001 s]*
/proc/loadavg: 2.52 2.00 1.91 3/216 19165
/proc/meminfo: memFree=19622704/32770624 swapFree=67108404/67108860
[pid=18828] ppid=18825 vsize=11082080 memory=3982680 CPUtime=252.07 cores=0,2,4,6
/proc/18828/stat : 18828 (java) S 18825 18828 12222 0 -1 1077944320 200424 13246 0 0 24889 310 5 3 20 0 15 0 107232985 11348049920 995670 33554432000 4194304 4196468 140726392829376 140726392811920 139769237855991 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
/proc/18828/statm: 2770520 995670 3542 1 0 2732173 0
[pid=18828/tid=18881] ppid=18825 vsize=11082080 memory=7022364594140610616 CPUtime=161.58 cores=0,2,4,6
/proc/18828/task/18881/stat : 18881 (java) R 18825 18828 12222 0 -1 4202560 70858 13246 0 0 16108 42 5 3 20 0 15 0 107232994 11348049920 995670 33554432000 4194304 4196468 140726392829376 139769209690752 139768805813272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18882] ppid=18825 vsize=11082080 memory=345 CPUtime=16.26 cores=0,2,4,6
/proc/18828/task/18882/stat : 18882 (java) S 18825 18828 12222 0 -1 1077944384 8100 13246 0 0 1556 62 5 3 20 0 15 0 107232995 11348049920 995670 33554432000 4194304 4196468 140726392829376 139769242098320 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18883] ppid=18825 vsize=11082080 memory=3691179747021801120 CPUtime=16.32 cores=0,2,4,6
/proc/18828/task/18883/stat : 18883 (java) S 18825 18828 12222 0 -1 1077944384 8497 13246 0 0 1565 59 5 3 20 0 15 0 107232995 11348049920 995670 33554432000 4194304 4196468 140726392829376 139769112746512 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18884] ppid=18825 vsize=11082080 memory=6945231701495145814 CPUtime=16.3 cores=0,2,4,6
/proc/18828/task/18884/stat : 18884 (java) S 18825 18828 12222 0 -1 1077944384 9707 13246 0 0 1560 62 5 3 20 0 15 0 107232995 11348049920 995670 33554432000 4194304 4196468 140726392829376 139769111693712 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18885] ppid=18825 vsize=11082080 memory=3616988859385198643 CPUtime=16.4 cores=0,2,4,6
/proc/18828/task/18885/stat : 18885 (java) S 18825 18828 12222 0 -1 1077944384 11564 13246 0 0 1570 62 5 3 20 0 15 0 107232995 11348049920 995670 33554432000 4194304 4196468 140726392829376 139769110640912 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18886] ppid=18825 vsize=11082080 memory=4050057030911065268 CPUtime=0.99 cores=0,2,4,6
/proc/18828/task/18886/stat : 18886 (java) S 18825 18828 12222 0 -1 1077944384 19921 13246 0 0 89 2 5 3 20 0 15 0 107232997 11348049920 995670 33554432000 4194304 4196468 140726392829376 139768662748016 139769237867138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18887] ppid=18825 vsize=11082080 memory=3762813805155268127 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18887/stat : 18887 (java) S 18825 18828 12222 0 -1 1077944384 21 13246 0 0 0 0 5 3 20 0 15 0 107232997 11348049920 995670 33554432000 4194304 4196468 140726392829376 139768047330976 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18888] ppid=18825 vsize=11082080 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18888/stat : 18888 (java) S 18825 18828 12222 0 -1 1077944384 13 13246 0 0 0 0 5 3 20 0 15 0 107232997 11348049920 995670 33554432000 4194304 4196468 140726392829376 139767899481472 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18889] ppid=18825 vsize=11082080 memory=7012779064476852837 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18889/stat : 18889 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11348049920 995670 33554432000 4194304 4196468 140726392829376 139767592081744 139769237874587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18890] ppid=18825 vsize=11082080 memory=0 CPUtime=10.84 cores=0,2,4,6
/proc/18828/task/18890/stat : 18890 (java) S 18825 18828 12222 0 -1 1077944384 21375 13246 0 0 1072 4 5 3 20 0 15 0 107233000 11348049920 995670 33554432000 4194304 4196468 140726392829376 139768661694832 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18891] ppid=18825 vsize=11082080 memory=43757090611 CPUtime=10.46 cores=0,2,4,6
/proc/18828/task/18891/stat : 18891 (java) S 18825 18828 12222 0 -1 1077944384 21731 13246 0 0 1034 4 5 3 20 0 15 0 107233000 11348049920 995670 33554432000 4194304 4196468 140726392829376 139768660642032 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18892] ppid=18825 vsize=11082080 memory=7019572999057778638 CPUtime=3.34 cores=0,2,4,6
/proc/18828/task/18892/stat : 18892 (java) S 18825 18828 12222 0 -1 1077944384 24394 13246 0 0 322 4 5 3 20 0 15 0 107233000 11348049920 995670 33554432000 4194304 4196468 140726392829376 139768659589232 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18893] ppid=18825 vsize=11082080 memory=3618413826336109368 CPUtime=0.08 cores=0,2,4,6
/proc/18828/task/18893/stat : 18893 (java) S 18825 18828 12222 0 -1 1077944384 3 13246 0 0 0 0 5 3 20 0 15 0 107233000 11348049920 995670 33554432000 4194304 4196468 140726392829376 139767161284832 139769237866197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
[pid=18828/tid=18894] ppid=18825 vsize=11082080 memory=139883433019008 CPUtime=0.17 cores=0,2,4,6
/proc/18828/task/18894/stat : 18894 (java) S 18825 18828 12222 0 -1 1077944384 2046 13246 0 0 4 5 5 3 20 0 15 0 107233001 11348049920 995670 33554432000 4194304 4196468 140726392829376 139768658537648 139769237867138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18984960 140726392830568 140726392833377 140726392833377 140726392836047 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 3982680 KiB

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

[startup+179.06 s]
# the end of solver process 18828 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=248.971 s, system=3.16943 s

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

Child status: 143
Real time (s): 179.06
CPU time (s): 252.14
CPU user time (s): 248.971
CPU system time (s): 3.16943
CPU usage (%): 140.813
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 4265548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.971
system time used= 3.16943
maximum resident set size= 4265548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17820
involuntary context switches= 1186


# summary of solver processes directly reported to runsolver:
#   pid: 18828
#   total CPU time (s): 252.14
#   total CPU user time (s): 248.971
#   total CPU system time (s): 3.16943

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.47103 second user time and 1.39361 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-29 22:38:18
IDJOB=4302950
IDBENCH=141268
IDSOLVER=2777
FILE ID=node148/4302950-1532896698
RUNJOBID= node148-1532892979-13580
PBS_JOBID= 21022520
Free space on /tmp= 47512 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test03-0400_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302950-1532896698/watcher-4302950-1532896698 -o /tmp/evaluation-result-4302950-1532896698/solver-4302950-1532896698 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13580 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1572738672 -superng HOME/instance-4302950-1532896698.xml

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

MD5SUM BENCH= a5fe7a04cb5002912ef3d870057982e3
RANDOM SEED=1572738672

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:        19884180 kB
MemAvailable:   28205572 kB
Buffers:          247792 kB
Cached:          8224420 kB
SwapCached:          352 kB
Active:          5868060 kB
Inactive:        6376072 kB
Active(anon):    3725724 kB
Inactive(anon):    74228 kB
Active(file):    2142336 kB
Inactive(file):  6301844 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:            174504 kB
Writeback:             0 kB
AnonPages:       3778928 kB
Mapped:            57972 kB
Shmem:             25016 kB
Slab:             334616 kB
SReclaimable:     305672 kB
SUnreclaim:        28944 kB
KernelStack:        3504 kB
PageTables:        12696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4861008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3588096 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= 47548 MiB
End job on node148 at 2018-07-29 22:41:18