Trace number 4302600

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2SAT (TO)164044993 252.084 209.561

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

Solver Data 

1.00/0.75	c Concrete v3.9.2.1532736233296 running
124.29/87.52	o 164044993
252.02/209.50	Exception in thread "main" java.util.concurrent.TimeoutException
252.02/209.50		at concrete.MAC.mac(MAC.scala:188)
252.02/209.50		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.02/209.50		at scala.util.Try$.apply(Try.scala:209)
252.02/209.50		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.02/209.50		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.02/209.50		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.02/209.50		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.02/209.50		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.02/209.50		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.02/209.50		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.02/209.50		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.02/209.50		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.02/209.50		at concrete.MAC.oneRun(MAC.scala:253)
252.02/209.50		at concrete.MAC.nextSolution(MAC.scala:272)
252.02/209.50		at concrete.MAC.nextSolution(MAC.scala:355)
252.02/209.50		at concrete.Solver.hasNext(Solver.scala:166)
252.02/209.50		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.02/209.50		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.02/209.50		at concrete.Solver.foreach(Solver.scala:68)
252.02/209.50		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.02/209.50		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.02/209.50		at scala.util.Success.map(Try.scala:209)
252.02/209.50		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.02/209.50		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.02/209.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.02/209.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.02/209.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.02/209.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.02/209.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.02/209.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.02/209.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.02/209.51		at scala.collection.immutable.List.foreach(List.scala:389)
252.02/209.51		at scala.App.main(App.scala:76)
252.02/209.51		at scala.App.main$(App.scala:74)
252.02/209.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.02/209.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.02/209.52	v <instantiation cost="164044993">
252.02/209.52	v       <list>
252.02/209.52	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.02/209.52	v       </list>
252.02/209.52	v       <values>
252.02/209.52	v         2408 2832 2636 2280 2812 2836 2808 2300 2260 2588 2220 2436 2496 2796 2504 2884 2744 2916 2884 2376 2404 2508 2624 2456 2260 2804 2876 2424 2824 2412 2716 2504 2756 2328 2544 2876 2596 2220 2708 2832 2780 2716 2220 2876 2544 2584 2696 2844 2844 2396 2304 2288 2640 2640 2848 2584 2872 2544 2868 2260 2220 2280 2840 2908 2844 2596 2436 2232 2680 2744 2804 2732 2376 2744 2596 2756 2604 2736 2884 2268 2736 2244 2824 2680 2224 2288 2776 2432 2480 2764 2796 2836 2724 2704 2548 2404 2388 2260 2348 2580 2456 2684 2596 2328 2592 2464 2664 2836 2884 2620 2696 2320 2440 2584 2364 2384 2320 2308 2704 2540 2580 2420 2572 2416 2844 2348 2596 2388 2864 2220 2760 2820 2480 2260 2348 2668 2436 2876 2280 2844 2504 2704 2704 2876 2824 2620 2904 2876 2848 2640 2556 2544 2796 2432 2756 2788 2396 2220 2228 2376 2656 2760 2756 2852 2916 2260 2220 2456 2876 2444 2796 2836 2496 2348 2804 2568 2392 2844 2764 2812 2528 2288 2392 2868 2864 2452 2820 2260 2720 2804 2564 2288 2556 2396 2376 2624 2448 2736 2384 2324 2320 2764 2872 2472 2656 2688 2724 2876 2416 2424 2500 2828 2328 2828 2328 2432 2816 2564 2544 2460 2684 2744 2844 2792 2356 2388 2432 2220 2384 2364 2308 2260 2404 2788 2448 2824 2636 2376 2836 2780 2572 2440 2504 2288 2344 2368 2220 2260 2636 2800 2868 2908 2704 2416 2460 2404 2408 2220 2320 2852 2404 2320 2328 2348 2416 2776 2836 2220 2788 2828 2472 2280 2428 2496 2260 2480 2336 2876 2772 2664 2864 2912 2728 2792 2732 2740 2436 2632 2756 2264 2220 2796 2524 2776 2480 2532 2804 2916 2676 2556 2696 2680 2796 2832 2784 2280 2396 2828 2328 2568 2840 2280 2320 2532 2220 2288 2260 2464 2340 2916 2416 2872 2224 2856 2764 2380 2584 2288 2876 2272 2280 2804 2476 2868 2724 2284 2784 2772 2724 2528 2476 2580 2756 2828 2340 2584 2860 2784 2264 2584 2348 2440 2684 2516 2776 2520 2804 2684 2676 2880 2308 2424 2888 2308 2300 2320 2628 2468 2536 2844 2736 2836 2736 2284 2340 2916 2328 2828 2876 2668 2436 2832 2868 2260 2396 2220 2696 2444 2724 2260 2624 2556 2328 2572 2736 2612 2260 2596 2880 2364 0 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 1 1 1 0 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 0 1 0 0 1 0 0 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 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 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 0 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 1 0 0 0 0 0 0 0 1 0 0 0 3 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 3 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 3 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 3 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 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 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 3 1 1 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 2 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 3 0 0 1 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 3 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 2 0 0 1 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 3 0 0 1 0 3 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 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 3 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 1 0 0 0 0 1 0 1 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 3 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 1 0 0 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 0 1 0 0 0 0 1 0 0 0 0 3 3 0 0 1 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 1 0 0 0 0 1 0 0 1 0 0 0 3 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 3 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 3 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 3 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 3 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 1 1 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 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 3 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 3 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 1 0 1 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 3 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 1 3 0 0 0 0 3 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 2 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 2 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 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 1 1 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 28 100 424 428 60 20 440 508 12 120 452 176 60 112 20 44 564 68 168 412 68 304 96 476 156 204 188 200 68 192 208 188 376 164 96 40 364 288 628 324 444 160 108 532 344 408 536 180 556 496 20 444 188 64 308 32 552 148 416 104 124 396 484 616 548 568 256 372 404 60 108 100 52 548 68 52 280 124 312 176 40 296 504 384 140 548 568 152 88 104 80 536 116 196 360 564 236 240 172 564 436 80 240 316 32 240 276 260 44 152 176 164 88 416 576 352 72 408 244 148 148 116 148 176 248 348 212 80 200 112 564 448 8 60 292 116 40 72 72 284 176 356 156 68 180 496 20 48 120 56 596 200 40 148 624 288 164 48 328 24 120 84 36 524 396 524 132 268 76 92 40 332 276 476 596 260 232 572 160 360 288 452 536 88 536 260 556 100 248 304 304 152 56 528 452 188 400 540 396 484 68 480 300 124 104 144 72 44 336 188 92 284 68 128 288 40 132 304 228 252 220 364 296 344 148 244 156 44 420 224 308 380 304 420 176 460 236 308 196 320 280 68 484 528 584 324 180 276 456 528 336 188 48 304 588 112 592 180 356 48 280 388 48 348 156 76 116 312 600 244 40 604 328 292 92 40 288 496 92 180 184 152 504 56 92 64 104 216 284 124 472 60 148 456 104 160 256 388 172 432 376 236 260 244 160 200 156 112 72 68 76 28 244 76 52 148 496 364 88 340 108 496 484 228 216 48 88 448 48 548 64 324 264 284 96 112 44 308 196 288 220 332 212 232 244 180 88 376 548 144 112 308 228 248 376 288 240 268 320 384 48 196 336 40 116 364 612 476 516 660 12 344 52 160 28 324 44 68 484 192 608 484 484 396 44 440 360 384 464 548 556 160 520 560 460 560 492 520 160 76 252 276 236 320 148 336 452 120 84 324 352 420 584 124 108 696 460 316 656 644 488 616 40 656 472 248 280 112 284 124 148 292 96 332 248 152 272 224 372 252 28 296 176 364 264 304 276 152 324 112 348 388 152 60 408 60 360 44 164 396 100 84 384 72 224 516 488 556 36 200 428 380 176 76 128 200 508 16 560 352 44 60 552 60 96 588 576 144 20 160 512 588 264 320 8 160 332 380 352 188 320 188 420 144 132 116 252 344 144 56 368 124 300 100 252 264 284 484 28 536 532 260 136 224 236 308 220 148 216 212 372 240 220 204 164 32 172 540 184 88 548 520 608 648 392 200 336 444 156 164 40 188 584 8 656 240 572 484 196 692 476 348 52 504 552 424 344 60 124 96 116 504 344 520 76 204 424 576 520 500 212 88 560 56 188 128 132 432 64 224 204 32 316 280 524 428 68 56 52 580 88 12 164 248 40 40 84 276 448 324 376 68 200 348 444 136 152 40 532 432 364 12 684 448 244 304 260 108 108 124 180 160 140 324 132 360 132 84 228 148 580 136 368 576 72 396 48 36 112 92 136 132 144 140 404 64 136 80 124 120 252 292 416 132 124 160 100 288 192 228 376 236 172 312 272 128 232 340 48 72 308 536 112 16 100 76 112 380 240 168 60 108 316 156 216 32 200 324 120 332 48 456 476 408 180 492 164 160 468 252 188 24 160 288 396 648 48 60 208 536 476 100 72 436 188 188 228 188 84 452 100 384 344 564 8 360 100 88 184 244 108 24 332 144 104 460 100 640 320 628 320 200 296 20 308 28 588 512 408 580 592 20 248 580 156 180 232 548 188 144 292 396 152 144 456 124 180 68 284 316 64 96 104 44 324 220 200 48 188 388 220 116 100 416 108 544 288 80 104 320 56 392 332 532 468 516 452 488 60 60 416 308 328 404 144 504 440 8 144 328 124 20 76 444 128 324 228 108 296 216 108 220 192 328 76 296 40 300 192 28 164 116 100 92 424 164 132 76 448 480 432 276 368 128 196 100 48 128 132 40 536 216 368 208 48 524 128 380 116 24 204 176 108 236 252 232 252 164 280 132 116 28 192 376 176 252 356 160 364 268 376 196 224 376 188 100 200 64 28 168 208 288 288 296 428 64 56 100 352 68 28 372 136 196 48 204 332 304 372 204 400 72 36 204 132 100 320 324 188 344 36 376 100 400 576 536 32 664 604 600 348 624 76 200 172 208 148 260 24 84 288 348 432 232 172 220 468 556 548 260 200 568 416 556 320 364 436 172 364 120 292 132 240 264 204 156 28 104 368 332 300 292 172 64 56 224 532 100 356 248 524 40 20 152 396 524 376 524 56 140 132 300 36 212 156 60 28 176 320 248 256 264 232 348 320 156 280 84 236 172 360 212 144 344 32 112 84 336 200 80 164 416 24 160 24 312 44 196 28 216 124 144 212 272 344 456 376 492 268 108 320 88 460 500 120 516 456 276 152 100 28 284 68 128 160 220 232 184 192 116 280 16 488 168 448 184 524 388 348 644 44 544 536 76 576 108 276 552 584 248 76 196 148 96 500 320 452 24 60 24 140 56 12 436 356 40 160 104 132 556 532 48 444 592 176 136 60 612 464 80 312 100 20 488 68 328 48 488 88 128 440 136 252 184 124 340 396 56 244 156 44 480 244 148 392 440 32 344 656 92 348 400 92 276 116 116 168 408 596 60 40 484 596 476 84 32 556 156 160 524 60 504 108 324 340 284 284 376 84 72 324 348 296 124 424 228 396 364 80 116 156 416 136 192 548 208 64 60 48 488 560 476 356 296 68 164 280 108 684 408 556 376 472 624 500 432 588 472 556 120 412 440 208 84 24 484 24 56 548 588 96 420 136 224 320 352 84 56 16 228 272 248 112 252 284 228 252 256 80 180 536 408 292 392 116 488 40 200 404 144 288 48 56 272 404 36 436 20 120 44 56 32 504 104 192 432 32 400 460 116 56 300 32 624 68 508 248 516 224 168 188 624 44 496 688 328 156 412 92 92 172 376 228 392 140 396 128 316 92 264 72 260 312 364 448 436 80 84 228 112 360 496 592 424 76 376 228 696 152 532 412 628 132 288 64 116 296 204 260 312 336 608 100 408 276 400 124 404 412 72 488 616 100 144 244 152 8 156 320 224 232 396 88 140 156 172 300 112 380 512 32 60 616 32 80 316 8 100 340 336 100 436 236 388 88 264 544 380 344 16 48 52 120 284 496 504 88 168 80 8 24 428 624 416 40 464 12 336 368 484 88 64 136 28 592 464 472 376 20 96 236 140 308 240 236 300 132 88 40 68 128 140 516 336 80 132 400 364 524 448 64 40 204 28 608 644 528 184 488 8 476 488 544 392 528 200 536 28 124 340 252 400 272 464 600 304 512 576 96 456 244 420 52 164 396 280 28 236 168 312 228 232 264 240 16 312 500 160 128 32 232 208 356 276 296 36 52 116 360 520 56 120 304 68 468 192 276 140 148 316 468 84 100 416 320 52 40 68 180 92 108 116 408 64 164 164 344 312 112 384 60 200 216 108 220 104 132 88 140 504 440 376 136 612 300 216 356 104 212 300 260 444 200 300 224 144 136 80 220 144 272 152 88 140 396 264 316 128 60 192 156 156 444 84 616 172 440 40 604 140 108 380 136 104 116 244 152 292 104 464 520 364 568 52 40 76 536 192 348 296 24 508 64 40 340 68 404 136 92 452 232 80 160 344 100 116 304 340 224 220 48 236 40 372 260 260 224 392 240 220 372 120 456 144 152 388 56 48 12 288 572 376 356 572 504 520 136 48 380 520 68 368 88 252 304 484 116 552 584 64 320 420 488 504 124 108 420 152 88 132 68 620 116 32 380 380 36 568 308 324 208 108 380 320 564 52 84 536 600 52 88 192 364 304 492 292 116 60 76 32 508 516 560 256 248 364 400 112 76 252 132 112 316 264 164 428 316 92 112 96 284 68 444 460 84 520 404 60 536 68 216 584 300 28 168 376 24 376 244 120 44 48 72 584 192 48 500 684 124 288 184 212 436 388 52 240 180 68 152 68 392 60 180 68 568 520 640 476 8 596 508 416 580 128 64 392 516 248 444 32 508 196 500 340 84 176 128 320 192 308 348 20 468 492 180 204 212 552 536 44 176 460 48 528 424 44 508 568 44 48 92 132 224 456 456 332 196 72 240 436 28 544 52 196 244 324 220 84 460 340 40 332 120 404 208 440 188 120 140 108 556 536 500 108 68 48 248 380 16 36 392 212 308 136 480 44 132 288 368 152 112 28 576 568 364 256 448 212 128 84 512 192 216 324 296 144 128 340 496 40 80 296 240 216 28 276 112 60 400 112 96 508 216 32 360 400 560 44 28 248 388 248 548 344 124 176 28 312 308 288 40 228 104 348 188 536 116 52 68 464 248 352 36 80 60 584 184 320 116 60 76 548 384 596 220 104 120 156 116 560 292 104 556 28 116 248 356 288 56 276 240 180 408 568 592 452 332 20 68 152 112 8 608 648 132 152 24 44 96 116 48 136 56 144 404 216 76 444 116 124 16 136 412 244 248 12 96 448 112 144 424 252 168 184 560 12 160 56 512 548 60 184 252 376 316 16 516 40 96 516 164 288 492 92 616 108 312 620 436 112 364
252.02/209.52	v       </values>
252.02/209.52	v     </instantiation>
252.02/209.52	s SATISFIABLE

Verifier Data 

OK	164044993

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302600-1532896613/watcher-4302600-1532896613 -o /tmp/evaluation-result-4302600-1532896613/solver-4302600-1532896613 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16078 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=273276195 HOME/instance-4302600-1532896613.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=19594, runsolver pid=19591
Current StackSize limit: 8192 KiB


[startup+0.100102 s]*
/proc/loadavg: 1.49 1.58 1.72 5/206 19651
/proc/meminfo: memFree=21662596/32770624 swapFree=67028828/67108860
[pid=19594] ppid=19591 vsize=10005480 memory=16816 CPUtime=0.09 cores=0,2,4,6
/proc/19594/stat : 19594 (java) S 19591 19594 10029 0 -1 1077944320 4321 13164 0 0 1 0 5 3 20 0 6 0 107224564 10245611520 4138 33554432000 4194304 4196468 140736060091040 140736060073584 140539437989623 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
/proc/19594/statm: 2501370 4138 1933 1 0 2489808 0
[pid=19594/tid=19647] ppid=19591 vsize=10005480 memory=4279135704013571469 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19647/stat : 19647 (java) R 19591 19594 10029 0 -1 4202560 2148 13164 0 0 0 0 5 3 20 0 6 0 107224573 10245611520 4204 33554432000 4194304 4196468 140736060091040 140539409826384 140539422070110 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19648] ppid=19591 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19648/stat : 19648 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 6 0 107224574 10245611520 4204 33554432000 4194304 4196468 140736060091040 140539442232208 140539437999829 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19649] ppid=19591 vsize=10005480 memory=140056264648320 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19649/stat : 19649 (java) S 19591 19594 10029 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 6 0 107224574 10245611520 4204 33554432000 4194304 4196468 140736060091040 140539323497232 140539437999829 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19650] ppid=19591 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19650/stat : 19650 (java) S 19591 19594 10029 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 6 0 107224574 10245611520 4204 33554432000 4194304 4196468 140736060091040 140539322444944 140539437999829 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19651] ppid=19591 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19651/stat : 19651 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 6 0 107224574 10245611520 4204 33554432000 4194304 4196468 140736060091040 140539321392144 140539437999829 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB

[startup+0.210013 s]*
/proc/loadavg: 1.49 1.58 1.72 4/215 19660
/proc/meminfo: memFree=21639236/32770624 swapFree=67028828/67108860
[pid=19594] ppid=19591 vsize=10982744 memory=43140 CPUtime=0.26 cores=0,2,4,6
/proc/19594/stat : 19594 (java) S 19591 19594 10029 0 -1 1077944320 7512 13164 0 0 17 1 5 3 20 0 15 0 107224564 11246329856 10785 33554432000 4194304 4196468 140736060091040 140736060073584 140539437989623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
/proc/19594/statm: 2745686 10785 2949 1 0 2708109 0
[pid=19594/tid=19647] ppid=19591 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/19594/task/19647/stat : 19647 (java) R 19591 19594 10029 0 -1 4202560 4148 13164 0 0 10 1 5 3 20 0 15 0 107224573 11246329856 10851 33554432000 4194304 4196468 140736060091040 140539409813280 140539418265437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19648] ppid=19591 vsize=10982744 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19648/stat : 19648 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 107224574 11246329856 10917 33554432000 4194304 4196468 140736060091040 140539442232208 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19649] ppid=19591 vsize=10982744 memory=140056265297329 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19649/stat : 19649 (java) S 19591 19594 10029 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 107224574 11246329856 10917 33554432000 4194304 4196468 140736060091040 140539323497232 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19650] ppid=19591 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19650/stat : 19650 (java) S 19591 19594 10029 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 107224574 11246329856 10917 33554432000 4194304 4196468 140736060091040 140539322444944 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19651] ppid=19591 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19651/stat : 19651 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 107224574 11246329856 10917 33554432000 4194304 4196468 140736060091040 140539321392144 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19652] ppid=19591 vsize=10982744 memory=140056264648320 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19652/stat : 19652 (java) S 19591 19594 10029 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 107224575 11246329856 10917 33554432000 4194304 4196468 140736060091040 140538931103856 140539438000770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19653] ppid=19591 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19653/stat : 19653 (java) S 19591 19594 10029 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 107224575 11246329856 10917 33554432000 4194304 4196468 140736060091040 140538188653344 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19654] ppid=19591 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19654/stat : 19654 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 107224576 11246329856 10917 33554432000 4194304 4196468 140736060091040 140538040804464 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19655] ppid=19591 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19655/stat : 19655 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224578 11246329856 10917 33554432000 4194304 4196468 140736060091040 140537733404752 140539438008219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19656] ppid=19591 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19594/task/19656/stat : 19656 (java) S 19591 19594 10029 0 -1 1077944384 363 13164 0 0 1 0 5 3 20 0 15 0 107224578 11246329856 10917 33554432000 4194304 4196468 140736060091040 140538930051696 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19657] ppid=19591 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19657/stat : 19657 (java) S 19591 19594 10029 0 -1 1077944384 254 13164 0 0 0 0 5 3 20 0 15 0 107224578 11246329856 10917 33554432000 4194304 4196468 140736060091040 140538928998896 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19658] ppid=19591 vsize=10982744 memory=140056264648320 CPUtime=0.11 cores=0,2,4,6
/proc/19594/task/19658/stat : 19658 (java) S 19591 19594 10029 0 -1 1077944384 605 13164 0 0 3 0 5 3 20 0 15 0 107224578 11246329856 10917 33554432000 4194304 4196468 140736060091040 140538927946608 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19659] ppid=19591 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19659/stat : 19659 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224579 11246329856 10917 33554432000 4194304 4196468 140736060091040 140537302608864 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19660] ppid=19591 vsize=10982744 memory=140056264648320 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19660/stat : 19660 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 107224579 11246329856 10917 33554432000 4194304 4196468 140736060091040 140538926893488 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43140 KiB

[startup+0.310117 s]*
/proc/loadavg: 1.49 1.58 1.72 5/215 19660
/proc/meminfo: memFree=21626552/32770624 swapFree=67028828/67108860
[pid=19594] ppid=19591 vsize=10983192 memory=55428 CPUtime=0.39 cores=0,2,4,6
/proc/19594/stat : 19594 (java) S 19591 19594 10029 0 -1 1077944320 10410 13164 0 0 29 2 5 3 20 0 15 0 107224564 11246788608 13857 33554432000 4194304 4196468 140736060091040 140736060073584 140539437989623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
/proc/19594/statm: 2745798 13857 3068 1 0 2708109 0
[pid=19594/tid=19647] ppid=19591 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/19594/task/19647/stat : 19647 (java) R 19591 19594 10029 0 -1 4202560 6959 13164 0 0 19 1 5 3 20 0 15 0 107224573 11246788608 13857 33554432000 4194304 4196468 140736060091040 140539409801632 140539419553139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19648] ppid=19591 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19648/stat : 19648 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 107224574 11246788608 13857 33554432000 4194304 4196468 140736060091040 140539442232208 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19649] ppid=19591 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19649/stat : 19649 (java) S 19591 19594 10029 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 107224574 11246788608 13857 33554432000 4194304 4196468 140736060091040 140539323497232 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19650] ppid=19591 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19650/stat : 19650 (java) S 19591 19594 10029 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 107224574 11246788608 13857 33554432000 4194304 4196468 140736060091040 140539322444944 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19651] ppid=19591 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19651/stat : 19651 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 107224574 11246788608 13857 33554432000 4194304 4196468 140736060091040 140539321392144 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19652] ppid=19591 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19652/stat : 19652 (java) S 19591 19594 10029 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 107224575 11246788608 13857 33554432000 4194304 4196468 140736060091040 140538931103856 140539438000770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19653] ppid=19591 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19653/stat : 19653 (java) S 19591 19594 10029 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 107224575 11246788608 13857 33554432000 4194304 4196468 140736060091040 140538188653344 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19654] ppid=19591 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19654/stat : 19654 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 107224576 11246788608 13857 33554432000 4194304 4196468 140736060091040 140538040804464 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19655] ppid=19591 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19655/stat : 19655 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224578 11246788608 13857 33554432000 4194304 4196468 140736060091040 140537733404752 140539438008219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19656] ppid=19591 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19594/task/19656/stat : 19656 (java) S 19591 19594 10029 0 -1 1077944384 365 13164 0 0 1 0 5 3 20 0 15 0 107224578 11246788608 13857 33554432000 4194304 4196468 140736060091040 140538930051696 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19657] ppid=19591 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/19594/task/19657/stat : 19657 (java) S 19591 19594 10029 0 -1 1077944384 257 13164 0 0 1 0 5 3 20 0 15 0 107224578 11246788608 13857 33554432000 4194304 4196468 140736060091040 140538928998896 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19658] ppid=19591 vsize=10983192 memory=140056264648320 CPUtime=0.13 cores=0,2,4,6
/proc/19594/task/19658/stat : 19658 (java) S 19591 19594 10029 0 -1 1077944384 611 13164 0 0 5 0 5 3 20 0 15 0 107224578 11246788608 13857 33554432000 4194304 4196468 140736060091040 140538927946608 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19659] ppid=19591 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19659/stat : 19659 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224579 11246788608 13857 33554432000 4194304 4196468 140736060091040 140537302608864 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19660] ppid=19591 vsize=10983192 memory=140056264648320 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19660/stat : 19660 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 107224579 11246788608 13857 33554432000 4194304 4196468 140736060091040 140538926893488 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55428 KiB

[startup+0.700758 s]
/proc/loadavg: 1.49 1.58 1.72 3/215 19660
/proc/meminfo: memFree=21615264/32770624 swapFree=67028828/67108860
[pid=19594] ppid=19591 vsize=10983192 memory=88252 CPUtime=1 cores=0,2,4,6
/proc/19594/stat : 19594 (java) S 19591 19594 10029 0 -1 1077944320 16739 13164 0 0 88 4 5 3 20 0 15 0 107224564 11246788608 22063 33554432000 4194304 4196468 140736060091040 140736060073584 140539437989623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
/proc/19594/statm: 2745798 22063 3238 1 0 2708109 0
[pid=19594/tid=19647] ppid=19591 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/19594/task/19647/stat : 19647 (java) R 19591 19594 10029 0 -1 4202560 12201 13164 0 0 56 3 5 3 20 0 15 0 107224573 11246788608 22063 33554432000 4194304 4196468 140736060091040 140539409809680 140539422070110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19648] ppid=19591 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19648/stat : 19648 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 107224574 11246788608 22063 33554432000 4194304 4196468 140736060091040 140539442232208 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19649] ppid=19591 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19649/stat : 19649 (java) S 19591 19594 10029 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 107224574 11246788608 22063 33554432000 4194304 4196468 140736060091040 140539323497232 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19650] ppid=19591 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19650/stat : 19650 (java) S 19591 19594 10029 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 107224574 11246788608 22063 33554432000 4194304 4196468 140736060091040 140539322444944 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19651] ppid=19591 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19651/stat : 19651 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 107224574 11246788608 22063 33554432000 4194304 4196468 140736060091040 140539321392144 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19652] ppid=19591 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19652/stat : 19652 (java) S 19591 19594 10029 0 -1 1077944384 5 13164 0 0 0 0 5 3 20 0 15 0 107224575 11246788608 22063 33554432000 4194304 4196468 140736060091040 140538931103856 140539438000770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19653] ppid=19591 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19653/stat : 19653 (java) S 19591 19594 10029 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 107224575 11246788608 22063 33554432000 4194304 4196468 140736060091040 140538188653344 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19654] ppid=19591 vsize=10983192 memory=140056132203280 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19654/stat : 19654 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 107224576 11246788608 22063 33554432000 4194304 4196468 140736060091040 140538040804464 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19655] ppid=19591 vsize=10983192 memory=140058883523145 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19655/stat : 19655 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224578 11246788608 22063 33554432000 4194304 4196468 140736060091040 140537733404752 140539438008219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19656] ppid=19591 vsize=10983192 memory=796 CPUtime=0.18 cores=0,2,4,6
/proc/19594/task/19656/stat : 19656 (java) S 19591 19594 10029 0 -1 1077944384 985 13164 0 0 10 0 5 3 20 0 15 0 107224578 11246788608 22063 33554432000 4194304 4196468 140736060091040 140538930051696 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19657] ppid=19591 vsize=10983192 memory=7014751519650764113 CPUtime=0.15 cores=0,2,4,6
/proc/19594/task/19657/stat : 19657 (java) S 19591 19594 10029 0 -1 1077944384 634 13164 0 0 7 0 5 3 20 0 15 0 107224578 11246788608 22063 33554432000 4194304 4196468 140736060091040 140538928998896 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19658] ppid=19591 vsize=10983192 memory=7597123233646858610 CPUtime=0.21 cores=0,2,4,6
/proc/19594/task/19658/stat : 19658 (java) S 19591 19594 10029 0 -1 1077944384 698 13164 0 0 13 0 5 3 20 0 15 0 107224578 11246788608 22063 33554432000 4194304 4196468 140736060091040 140538927946608 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19659] ppid=19591 vsize=10983192 memory=3544 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19659/stat : 19659 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224579 11246788608 22063 33554432000 4194304 4196468 140736060091040 140537302608864 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19660] ppid=19591 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19660/stat : 19660 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 107224579 11246788608 22063 33554432000 4194304 4196468 140736060091040 140538926893488 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88252 KiB

[startup+1.50077 s]
/proc/loadavg: 1.49 1.58 1.72 4/215 19660
/proc/meminfo: memFree=21571344/32770624 swapFree=67028828/67108860
[pid=19594] ppid=19591 vsize=10991872 memory=479288 CPUtime=3 cores=0,2,4,6
/proc/19594/stat : 19594 (java) S 19591 19594 10029 0 -1 1077944320 22653 13164 0 0 252 40 5 3 20 0 15 0 107224564 11255676928 119822 33554432000 4194304 4196468 140736060091040 140736060073584 140539437989623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
/proc/19594/statm: 2747968 119822 3448 1 0 2709645 0
[pid=19594/tid=19647] ppid=19591 vsize=10991872 memory=9169 CPUtime=1.31 cores=0,2,4,6
/proc/19594/task/19647/stat : 19647 (java) S 19591 19594 10029 0 -1 1077944384 14566 13164 0 0 115 8 5 3 20 0 15 0 107224573 11255676928 119822 33554432000 4194304 4196468 140736060091040 140539409825312 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19648] ppid=19591 vsize=10991872 memory=6791534058613427641 CPUtime=0.18 cores=0,2,4,6
/proc/19594/task/19648/stat : 19648 (java) S 19591 19594 10029 0 -1 1077944384 415 13164 0 0 4 6 5 3 20 0 15 0 107224574 11255676928 119822 33554432000 4194304 4196468 140736060091040 140539442232208 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19649] ppid=19591 vsize=10991872 memory=1408 CPUtime=0.21 cores=0,2,4,6
/proc/19594/task/19649/stat : 19649 (java) S 19591 19594 10029 0 -1 1077944384 228 13164 0 0 6 7 5 3 20 0 15 0 107224574 11255676928 119822 33554432000 4194304 4196468 140736060091040 140539323497232 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19650] ppid=19591 vsize=10991872 memory=2948 CPUtime=0.22 cores=0,2,4,6
/proc/19594/task/19650/stat : 19650 (java) S 19591 19594 10029 0 -1 1077944384 254 13164 0 0 7 7 5 3 20 0 15 0 107224574 11255676928 119822 33554432000 4194304 4196468 140736060091040 140539322444944 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19651] ppid=19591 vsize=10991872 memory=88252 CPUtime=0.21 cores=0,2,4,6
/proc/19594/task/19651/stat : 19651 (java) S 19591 19594 10029 0 -1 1077944384 296 13164 0 0 6 7 5 3 20 0 15 0 107224574 11255676928 119822 33554432000 4194304 4196468 140736060091040 140539321392144 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19652] ppid=19591 vsize=10991872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19652/stat : 19652 (java) R 19591 19594 10029 0 -1 4202560 98 13164 0 0 0 0 5 3 20 0 15 0 107224575 11255676928 119822 33554432000 4194304 4196468 140736060091040 140538931102176 140539416616000 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19653] ppid=19591 vsize=10991872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19653/stat : 19653 (java) S 19591 19594 10029 0 -1 1077944384 15 13164 0 0 0 0 5 3 20 0 15 0 107224575 11255676928 119822 33554432000 4194304 4196468 140736060091040 140538188653344 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19654] ppid=19591 vsize=10991872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19654/stat : 19654 (java) S 19591 19594 10029 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 107224576 11255676928 119822 33554432000 4194304 4196468 140736060091040 140538040804464 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19655] ppid=19591 vsize=10991872 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19655/stat : 19655 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224578 11255676928 119822 33554432000 4194304 4196468 140736060091040 140537733404752 140539438008219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19656] ppid=19591 vsize=10991872 memory=4638778398332698720 CPUtime=0.55 cores=0,2,4,6
/proc/19594/task/19656/stat : 19656 (java) R 19591 19594 10029 0 -1 4202560 2401 13164 0 0 47 0 5 3 20 0 15 0 107224578 11255676928 119822 33554432000 4194304 4196468 140736060091040 140538930037720 140539417246288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19657] ppid=19591 vsize=10991872 memory=280112264682368 CPUtime=0.43 cores=0,2,4,6
/proc/19594/task/19657/stat : 19657 (java) S 19591 19594 10029 0 -1 1077944384 1117 13164 0 0 35 0 5 3 20 0 15 0 107224578 11255676928 119822 33554432000 4194304 4196468 140736060091040 140538928998896 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19658] ppid=19591 vsize=10991872 memory=6944656592452807323 CPUtime=0.36 cores=0,2,4,6
/proc/19594/task/19658/stat : 19658 (java) S 19591 19594 10029 0 -1 1077944384 1065 13164 0 0 28 0 5 3 20 0 15 0 107224578 11255676928 119822 33554432000 4194304 4196468 140736060091040 140538927946608 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19659] ppid=19591 vsize=10991872 memory=1399101730491701635 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19659/stat : 19659 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224579 11255676928 119822 33554432000 4194304 4196468 140736060091040 140537302608864 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19660] ppid=19591 vsize=10991872 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19660/stat : 19660 (java) S 19591 19594 10029 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 107224579 11255676928 119822 33554432000 4194304 4196468 140736060091040 140538926893488 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 10991872 KiB

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

/proc/19594/task/19647/stat : 19647 (java) R 19591 19594 10029 0 -1 4202560 35057 13164 0 0 4653 33 5 3 20 0 15 0 107224573 11272552448 969268 33554432000 4194304 4196468 140736060091040 140539409820672 140539005047899 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19648] ppid=19591 vsize=11008352 memory=14412609709410693 CPUtime=3.93 cores=0,2,4,6
/proc/19594/task/19648/stat : 19648 (java) S 19591 19594 10029 0 -1 1077944384 4042 13164 0 0 333 52 5 3 20 0 15 0 107224574 11272552448 969268 33554432000 4194304 4196468 140736060091040 140539442232208 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19649] ppid=19591 vsize=11008352 memory=6768 CPUtime=3.98 cores=0,2,4,6
/proc/19594/task/19649/stat : 19649 (java) S 19591 19594 10029 0 -1 1077944384 3027 13164 0 0 334 56 5 3 20 0 15 0 107224574 11272552448 969268 33554432000 4194304 4196468 140736060091040 140539323497232 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19650] ppid=19591 vsize=11008352 memory=824 CPUtime=3.97 cores=0,2,4,6
/proc/19594/task/19650/stat : 19650 (java) S 19591 19594 10029 0 -1 1077944384 3338 13164 0 0 338 51 5 3 20 0 15 0 107224574 11272552448 969268 33554432000 4194304 4196468 140736060091040 140539322444944 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19651] ppid=19591 vsize=11008352 memory=1692 CPUtime=3.92 cores=0,2,4,6
/proc/19594/task/19651/stat : 19651 (java) S 19591 19594 10029 0 -1 1077944384 2973 13164 0 0 331 53 5 3 20 0 15 0 107224574 11272552448 969268 33554432000 4194304 4196468 140736060091040 140539321392144 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19652] ppid=19591 vsize=11008352 memory=916 CPUtime=0.25 cores=0,2,4,6
/proc/19594/task/19652/stat : 19652 (java) S 19591 19594 10029 0 -1 1077944384 5960 13164 0 0 16 1 5 3 20 0 15 0 107224575 11272552448 969268 33554432000 4194304 4196468 140736060091040 140538931103856 140539438000770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19653] ppid=19591 vsize=11008352 memory=3852 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19653/stat : 19653 (java) S 19591 19594 10029 0 -1 1077944384 20 13164 0 0 0 0 5 3 20 0 15 0 107224575 11272552448 969268 33554432000 4194304 4196468 140736060091040 140538188653408 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19654] ppid=19591 vsize=11008352 memory=4096 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19654/stat : 19654 (java) S 19591 19594 10029 0 -1 1077944384 14 13164 0 0 0 0 5 3 20 0 15 0 107224576 11272552448 969268 33554432000 4194304 4196468 140736060091040 140538040804480 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19655] ppid=19591 vsize=11008352 memory=2592 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19655/stat : 19655 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224578 11272552448 969268 33554432000 4194304 4196468 140736060091040 140537733404752 140539438008219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19656] ppid=19591 vsize=11008352 memory=2592 CPUtime=3.71 cores=0,2,4,6
/proc/19594/task/19656/stat : 19656 (java) S 19591 19594 10029 0 -1 1077944384 11831 13164 0 0 361 2 5 3 20 0 15 0 107224578 11272552448 969268 33554432000 4194304 4196468 140736060091040 140538930051696 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19657] ppid=19591 vsize=11008352 memory=0 CPUtime=3.44 cores=0,2,4,6
/proc/19594/task/19657/stat : 19657 (java) S 19591 19594 10029 0 -1 1077944384 10140 13164 0 0 335 1 5 3 20 0 15 0 107224578 11272552448 969268 33554432000 4194304 4196468 140736060091040 140538928998896 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19658] ppid=19591 vsize=11008352 memory=0 CPUtime=1.6 cores=0,2,4,6
/proc/19594/task/19658/stat : 19658 (java) S 19591 19594 10029 0 -1 1077944384 6313 13164 0 0 150 2 5 3 20 0 15 0 107224578 11272552448 969268 33554432000 4194304 4196468 140736060091040 140538927946608 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19659] ppid=19591 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19659/stat : 19659 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224579 11272552448 969268 33554432000 4194304 4196468 140736060091040 140537302608864 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19660] ppid=19591 vsize=11008352 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19594/task/19660/stat : 19660 (java) S 19591 19594 10029 0 -1 1077944384 1403 13164 0 0 1 1 5 3 20 0 15 0 107224579 11272552448 969268 33554432000 4194304 4196468 140736060091040 140538926893488 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
Current children cumulated CPU time: 71.24 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 3877072 KiB

[startup+102.301 s]*
/proc/loadavg: 2.64 1.99 1.85 3/215 19789
/proc/meminfo: memFree=19240808/32770624 swapFree=67028828/67108860
[pid=19594] ppid=19591 vsize=11016544 memory=4175824 CPUtime=141.05 cores=0,2,4,6
/proc/19594/stat : 19594 (java) S 19591 19594 10029 0 -1 1077944320 133923 13164 0 0 13816 281 5 3 20 0 15 0 107224564 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140736060073584 140539437989623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
/proc/19594/statm: 2754136 1043956 3535 1 0 2715789 0
[pid=19594/tid=19647] ppid=19591 vsize=11016544 memory=6791534058613427641 CPUtime=96.36 cores=0,2,4,6
/proc/19594/task/19647/stat : 19647 (java) R 19591 19594 10029 0 -1 4202560 56574 13164 0 0 9592 36 5 3 20 0 15 0 107224573 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140539409821720 140539010855188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19648] ppid=19591 vsize=11016544 memory=0 CPUtime=5.65 cores=0,2,4,6
/proc/19594/task/19648/stat : 19648 (java) S 19591 19594 10029 0 -1 1077944384 5803 13164 0 0 502 55 5 3 20 0 15 0 107224574 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140539442232208 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19649] ppid=19591 vsize=11016544 memory=0 CPUtime=5.7 cores=0,2,4,6
/proc/19594/task/19649/stat : 19649 (java) S 19591 19594 10029 0 -1 1077944384 4405 13164 0 0 503 59 5 3 20 0 15 0 107224574 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140539323497232 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19650] ppid=19591 vsize=11016544 memory=0 CPUtime=5.64 cores=0,2,4,6
/proc/19594/task/19650/stat : 19650 (java) S 19591 19594 10029 0 -1 1077944384 4037 13164 0 0 503 53 5 3 20 0 15 0 107224574 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140539322444944 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19651] ppid=19591 vsize=11016544 memory=0 CPUtime=5.62 cores=0,2,4,6
/proc/19594/task/19651/stat : 19651 (java) S 19591 19594 10029 0 -1 1077944384 3707 13164 0 0 498 56 5 3 20 0 15 0 107224574 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140539321392144 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19652] ppid=19591 vsize=11016544 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/19594/task/19652/stat : 19652 (java) S 19591 19594 10029 0 -1 1077944384 7388 13164 0 0 20 1 5 3 20 0 15 0 107224575 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140538931103856 140539438000770 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19653] ppid=19591 vsize=11016544 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19653/stat : 19653 (java) S 19591 19594 10029 0 -1 1077944384 22 13164 0 0 0 0 5 3 20 0 15 0 107224575 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140538188653408 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19654] ppid=19591 vsize=11016544 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19654/stat : 19654 (java) S 19591 19594 10029 0 -1 1077944384 15 13164 0 0 0 0 5 3 20 0 15 0 107224576 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140538040804480 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19655] ppid=19591 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19655/stat : 19655 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224578 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140537733404752 140539438008219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19656] ppid=19591 vsize=11016544 memory=0 CPUtime=9.95 cores=0,2,4,6
/proc/19594/task/19656/stat : 19656 (java) S 19591 19594 10029 0 -1 1077944384 18845 13164 0 0 983 4 5 3 20 0 15 0 107224578 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140538930051696 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19657] ppid=19591 vsize=11016544 memory=-1 CPUtime=9.16 cores=0,2,4,6
/proc/19594/task/19657/stat : 19657 (java) S 19591 19594 10029 0 -1 1077944384 14954 13164 0 0 905 3 5 3 20 0 15 0 107224578 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140538928998896 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19658] ppid=19591 vsize=11016544 memory=140056264648320 CPUtime=3.13 cores=0,2,4,6
/proc/19594/task/19658/stat : 19658 (java) S 19591 19594 10029 0 -1 1077944384 14537 13164 0 0 300 5 5 3 20 0 15 0 107224578 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140538927946608 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19659] ppid=19591 vsize=11016544 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19659/stat : 19659 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224579 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140537302608864 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19660] ppid=19591 vsize=11016544 memory=140056264648320 CPUtime=0.14 cores=0,2,4,6
/proc/19594/task/19660/stat : 19660 (java) S 19591 19594 10029 0 -1 1077944384 1441 13164 0 0 3 3 5 3 20 0 15 0 107224579 11280941056 1043956 33554432000 4194304 4196468 140736060091040 140538926893488 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
Current children cumulated CPU time: 141.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 4175824 KiB

[startup+162.301 s]*
/proc/loadavg: 2.06 1.93 1.84 3/215 19790
/proc/meminfo: memFree=19863452/32770624 swapFree=67028828/67108860
[pid=19594] ppid=19591 vsize=11016544 memory=3512216 CPUtime=204.19 cores=0,2,4,6
/proc/19594/stat : 19594 (java) S 19591 19594 10029 0 -1 1077944320 159179 13164 0 0 20120 291 5 3 20 0 15 0 107224564 11280941056 878054 33554432000 4194304 4196468 140736060091040 140736060073584 140539437989623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
/proc/19594/statm: 2754136 878054 3537 1 0 2715789 0
[pid=19594/tid=19647] ppid=19591 vsize=11016544 memory=6791534058613427641 CPUtime=155.41 cores=0,2,4,6
/proc/19594/task/19647/stat : 19647 (java) R 19591 19594 10029 0 -1 4202560 60700 13164 0 0 15495 38 5 3 20 0 15 0 107224573 11280941056 878054 33554432000 4194304 4196468 140736060091040 140539409821696 140539001384564 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19648] ppid=19591 vsize=11016544 memory=4872558044660077418 CPUtime=6.52 cores=0,2,4,6
/proc/19594/task/19648/stat : 19648 (java) S 19591 19594 10029 0 -1 1077944384 7979 13164 0 0 587 57 5 3 20 0 15 0 107224574 11280941056 878054 33554432000 4194304 4196468 140736060091040 140539442232208 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19649] ppid=19591 vsize=11016544 memory=2160 CPUtime=6.58 cores=0,2,4,6
/proc/19594/task/19649/stat : 19649 (java) S 19591 19594 10029 0 -1 1077944384 5395 13164 0 0 589 61 5 3 20 0 15 0 107224574 11280941056 878054 33554432000 4194304 4196468 140736060091040 140539323497232 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19650] ppid=19591 vsize=11016544 memory=6768 CPUtime=6.51 cores=0,2,4,6
/proc/19594/task/19650/stat : 19650 (java) S 19591 19594 10029 0 -1 1077944384 4642 13164 0 0 588 55 5 3 20 0 15 0 107224574 11280941056 878054 33554432000 4194304 4196468 140736060091040 140539322444944 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19651] ppid=19591 vsize=11016544 memory=824 CPUtime=6.48 cores=0,2,4,6
/proc/19594/task/19651/stat : 19651 (java) S 19591 19594 10029 0 -1 1077944384 5116 13164 0 0 582 58 5 3 20 0 15 0 107224574 11280941056 878054 33554432000 4194304 4196468 140736060091040 140539321392144 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19652] ppid=19591 vsize=11016544 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/19594/task/19652/stat : 19652 (java) S 19591 19594 10029 0 -1 1077944384 16604 13164 0 0 27 2 5 3 20 0 15 0 107224575 11280941056 878054 33554432000 4194304 4196468 140736060091040 140538931103856 140539438000770 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19653] ppid=19591 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19653/stat : 19653 (java) S 19591 19594 10029 0 -1 1077944384 22 13164 0 0 0 0 5 3 20 0 15 0 107224575 11280941056 878054 33554432000 4194304 4196468 140736060091040 140538188653408 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19654] ppid=19591 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19654/stat : 19654 (java) S 19591 19594 10029 0 -1 1077944384 15 13164 0 0 0 0 5 3 20 0 15 0 107224576 11280941056 878054 33554432000 4194304 4196468 140736060091040 140538040804480 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19655] ppid=19591 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19655/stat : 19655 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224578 11280941056 878054 33554432000 4194304 4196468 140736060091040 140537733404752 140539438008219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19656] ppid=19591 vsize=11016544 memory=0 CPUtime=10.21 cores=0,2,4,6
/proc/19594/task/19656/stat : 19656 (java) S 19591 19594 10029 0 -1 1077944384 20608 13164 0 0 1009 4 5 3 20 0 15 0 107224578 11280941056 878054 33554432000 4194304 4196468 140736060091040 140538930051696 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19657] ppid=19591 vsize=11016544 memory=0 CPUtime=9.4 cores=0,2,4,6
/proc/19594/task/19657/stat : 19657 (java) S 19591 19594 10029 0 -1 1077944384 18556 13164 0 0 929 3 5 3 20 0 15 0 107224578 11280941056 878054 33554432000 4194304 4196468 140736060091040 140538928998896 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19658] ppid=19591 vsize=11016544 memory=0 CPUtime=3.14 cores=0,2,4,6
/proc/19594/task/19658/stat : 19658 (java) S 19591 19594 10029 0 -1 1077944384 15874 13164 0 0 301 5 5 3 20 0 15 0 107224578 11280941056 878054 33554432000 4194304 4196468 140736060091040 140538927946608 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19659] ppid=19591 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19659/stat : 19659 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224579 11280941056 878054 33554432000 4194304 4196468 140736060091040 140537302608864 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19660] ppid=19591 vsize=11016544 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/19594/task/19660/stat : 19660 (java) S 19591 19594 10029 0 -1 1077944384 1473 13164 0 0 5 5 5 3 20 0 15 0 107224579 11280941056 878054 33554432000 4194304 4196468 140736060091040 140538926893488 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
Current children cumulated CPU time: 204.19 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3512216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+209.501 s]
/proc/loadavg: 1.85 1.89 1.83 3/216 19799
/proc/meminfo: memFree=20041916/32770624 swapFree=67028832/67108860
[pid=19594] ppid=19591 vsize=11016544 memory=3272712 CPUtime=252.02 cores=0,2,4,6
/proc/19594/stat : 19594 (java) S 19591 19594 10029 0 -1 1077944320 176070 13164 0 0 24900 294 5 3 20 0 15 0 107224564 11280941056 818178 33554432000 4194304 4196468 140736060091040 140736060073584 140539437989623 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
/proc/19594/statm: 2754136 818178 3537 1 0 2715789 0
[pid=19594/tid=19647] ppid=19591 vsize=11016544 memory=3272712 CPUtime=202.43 cores=0,2,4,6
/proc/19594/task/19647/stat : 19647 (java) R 19591 19594 10029 0 -1 4202560 65107 13164 0 0 20197 38 5 3 20 0 15 0 107224573 11280941056 818178 33554432000 4194304 4196468 140736060091040 140539409823680 140538998311894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19648] ppid=19591 vsize=11016544 memory=946 CPUtime=6.66 cores=0,2,4,6
/proc/19594/task/19648/stat : 19648 (java) S 19591 19594 10029 0 -1 1077944384 8084 13164 0 0 601 57 5 3 20 0 15 0 107224574 11280941056 818178 33554432000 4194304 4196468 140736060091040 140539442232208 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19649] ppid=19591 vsize=11016544 memory=6791534058613427641 CPUtime=6.72 cores=0,2,4,6
/proc/19594/task/19649/stat : 19649 (java) S 19591 19594 10029 0 -1 1077944384 7188 13164 0 0 603 61 5 3 20 0 15 0 107224574 11280941056 818178 33554432000 4194304 4196468 140736060091040 140539323497232 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19650] ppid=19591 vsize=11016544 memory=0 CPUtime=6.64 cores=0,2,4,6
/proc/19594/task/19650/stat : 19650 (java) S 19591 19594 10029 0 -1 1077944384 4703 13164 0 0 601 55 5 3 20 0 15 0 107224574 11280941056 818178 33554432000 4194304 4196468 140736060091040 140539322444944 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19651] ppid=19591 vsize=11016544 memory=0 CPUtime=6.63 cores=0,2,4,6
/proc/19594/task/19651/stat : 19651 (java) S 19591 19594 10029 0 -1 1077944384 5274 13164 0 0 597 58 5 3 20 0 15 0 107224574 11280941056 818178 33554432000 4194304 4196468 140736060091040 140539321392144 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19652] ppid=19591 vsize=11016544 memory=8 CPUtime=0.38 cores=0,2,4,6
/proc/19594/task/19652/stat : 19652 (java) S 19591 19594 10029 0 -1 1077944384 16879 13164 0 0 27 3 5 3 20 0 15 0 107224575 11280941056 818178 33554432000 4194304 4196468 140736060091040 140538931103856 140539438000770 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19653] ppid=19591 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19653/stat : 19653 (java) S 19591 19594 10029 0 -1 1077944384 22 13164 0 0 0 0 5 3 20 0 15 0 107224575 11280941056 818178 33554432000 4194304 4196468 140736060091040 140538188653408 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19654] ppid=19591 vsize=11016544 memory=123 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19654/stat : 19654 (java) S 19591 19594 10029 0 -1 1077944384 15 13164 0 0 0 0 5 3 20 0 15 0 107224576 11280941056 818178 33554432000 4194304 4196468 140736060091040 140538040804480 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19655] ppid=19591 vsize=11016544 memory=136 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19655/stat : 19655 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224578 11280941056 818178 33554432000 4194304 4196468 140736060091040 140537733404752 140539438008219 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19656] ppid=19591 vsize=11016544 memory=0 CPUtime=10.26 cores=0,2,4,6
/proc/19594/task/19656/stat : 19656 (java) S 19591 19594 10029 0 -1 1077944384 23603 13164 0 0 1014 4 5 3 20 0 15 0 107224578 11280941056 818178 33554432000 4194304 4196468 140736060091040 140538930051696 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19657] ppid=19591 vsize=11016544 memory=318 CPUtime=9.54 cores=0,2,4,6
/proc/19594/task/19657/stat : 19657 (java) S 19591 19594 10029 0 -1 1077944384 22835 13164 0 0 942 4 5 3 20 0 15 0 107224578 11280941056 818178 33554432000 4194304 4196468 140736060091040 140538928998896 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19658] ppid=19591 vsize=11016544 memory=24972 CPUtime=3.15 cores=0,2,4,6
/proc/19594/task/19658/stat : 19658 (java) S 19591 19594 10029 0 -1 1077944384 18565 13164 0 0 302 5 5 3 20 0 15 0 107224578 11280941056 818178 33554432000 4194304 4196468 140736060091040 140538927946608 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19659] ppid=19591 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19594/task/19659/stat : 19659 (java) S 19591 19594 10029 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 107224579 11280941056 818178 33554432000 4194304 4196468 140736060091040 140537302608864 140539437999829 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
[pid=19594/tid=19660] ppid=19591 vsize=11016544 memory=228 CPUtime=0.2 cores=0,2,4,6
/proc/19594/task/19660/stat : 19660 (java) S 19591 19594 10029 0 -1 1077944384 1600 13164 0 0 5 7 5 3 20 0 15 0 107224579 11280941056 818178 33554432000 4194304 4196468 140736060091040 140538926893488 140539438000770 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27439104 140736060095090 140736060097889 140736060097889 140736060100559 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3272712 KiB

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

[startup+209.561 s]
# the end of solver process 19594 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.073 s, system=3.01039 s

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

Child status: 143
Real time (s): 209.561
CPU time (s): 252.084
CPU user time (s): 249.073
CPU system time (s): 3.01039
CPU usage (%): 120.291
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 4299324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.073
system time used= 3.01039
maximum resident set size= 4299324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189910
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17744
involuntary context switches= 692


# summary of solver processes directly reported to runsolver:
#   pid: 19594
#   total CPU time (s): 252.084
#   total CPU user time (s): 249.073
#   total CPU system time (s): 3.01039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26815 second user time and 1.96884 second system time

The end

Launcher Data 

Begin job on node102 at 2018-07-29 22:36:54
IDJOB=4302600
IDBENCH=141268
IDSOLVER=2776
FILE ID=node102/4302600-1532896613
RUNJOBID= node102-1532894154-16078
PBS_JOBID= 21022526
Free space on /tmp= 52596 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test03-0400_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302600-1532896613/watcher-4302600-1532896613 -o /tmp/evaluation-result-4302600-1532896613/solver-4302600-1532896613 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16078 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=273276195 HOME/instance-4302600-1532896613.xml

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

MD5SUM BENCH= a5fe7a04cb5002912ef3d870057982e3
RANDOM SEED=273276195

node102.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.51
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.51
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.51
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.51
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:        21668948 kB
MemAvailable:   27314008 kB
Buffers:          234736 kB
Cached:          5653560 kB
SwapCached:        53024 kB
Active:          6243028 kB
Inactive:        4325352 kB
Active(anon):    4605592 kB
Inactive(anon):    99168 kB
Active(file):    1637436 kB
Inactive(file):  4226184 kB
Unevictable:        6644 kB
Mlocked:            6644 kB
SwapTotal:      67108860 kB
SwapFree:       67028828 kB
Dirty:            174328 kB
Writeback:             0 kB
AnonPages:       4633908 kB
Mapped:            51152 kB
Shmem:             22592 kB
Slab:             224152 kB
SReclaimable:     194548 kB
SUnreclaim:        29604 kB
KernelStack:        3552 kB
PageTables:        14604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5660968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4442112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 52744 MiB
End job on node102 at 2018-07-29 22:40:24