Trace number 4304439

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)164004631 2520.07 2462.26

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

Quality of the solution as a function of time


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

Solver Data 

0.97/0.74	c Concrete v3.9.2.1532736233296 running
158.89/120.05	o 164024798
159.39/120.33	o 164024797
159.39/120.37	o 164024796
159.58/120.42	o 164024794
159.58/120.47	o 164024793
2079.18/2025.07	o 164004659
2079.28/2025.12	o 164004657
2079.28/2025.16	o 164004656
2079.37/2025.21	o 164004654
2079.37/2025.26	o 164004653
2079.50/2025.31	o 164004652
2079.50/2025.36	o 164004651
2079.63/2025.41	o 164004650
2079.63/2025.46	o 164004649
2079.73/2025.55	o 164004648
2079.86/2025.66	o 164004647
2080.05/2025.71	o 164004646
2080.65/2026.17	o 164004645
2080.95/2026.48	o 164004644
2081.45/2026.90	o 164004643
2081.57/2027.09	o 164004641
2081.67/2027.17	o 164004640
2082.18/2027.61	o 164004639
2082.59/2028.10	o 164004638
2084.09/2029.57	o 164004637
2084.65/2030.09	o 164004636
2098.39/2043.65	o 164004635
2106.17/2051.33	o 164004634
2106.27/2051.42	o 164004633
2106.77/2051.95	o 164004632
2130.13/2075.03	o 164004631
2520.00/2462.21	Exception in thread "main" java.util.concurrent.TimeoutException
2520.00/2462.21		at concrete.MAC.mac(MAC.scala:188)
2520.00/2462.21		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.00/2462.21		at scala.util.Try$.apply(Try.scala:209)
2520.00/2462.21		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2462.21		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2462.21		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2462.21		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2462.21		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.00/2462.21		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2462.21		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2462.21		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2462.21		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2462.21		at concrete.MAC.oneRun(MAC.scala:253)
2520.00/2462.21		at concrete.MAC.nextSolution(MAC.scala:272)
2520.00/2462.21		at concrete.MAC.nextSolution(MAC.scala:355)
2520.00/2462.21		at concrete.Solver.hasNext(Solver.scala:166)
2520.00/2462.21		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.00/2462.21		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.00/2462.21		at concrete.Solver.foreach(Solver.scala:68)
2520.00/2462.21		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.00/2462.21		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2462.21		at scala.util.Success.map(Try.scala:209)
2520.00/2462.21		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2462.21		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.00/2462.21		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.00/2462.21		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2462.21		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.00/2462.21		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2462.21		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2462.21		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2462.21		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2462.21		at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2462.21		at scala.App.main(App.scala:76)
2520.00/2462.21		at scala.App.main$(App.scala:74)
2520.00/2462.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.00/2462.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2462.22	v <instantiation cost="164004631">
2520.00/2462.22	v       <list>
2520.00/2462.22	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]
2520.00/2462.22	v       </list>
2520.00/2462.22	v       <values>
2520.00/2462.22	v         2408 2788 2728 2296 2816 2840 2860 2300 2280 2624 2240 2436 2512 2796 2392 2884 2728 2912 2864 2380 2380 2508 2620 2396 2260 2852 2872 2404 2844 2444 2716 2488 2756 2328 2624 2876 2448 2392 2776 2828 2840 2692 2220 2876 2528 2564 2696 2844 2844 2568 2304 2352 2628 2636 2856 2548 2864 2544 2916 2228 2256 2280 2844 2892 2824 2636 2528 2264 2680 2648 2816 2732 2376 2724 2624 2868 2616 2724 2844 2224 2764 2244 2836 2668 2260 2336 2872 2432 2500 2856 2828 2836 2684 2672 2584 2376 2380 2296 2336 2648 2456 2752 2584 2296 2652 2460 2660 2836 2836 2608 2684 2320 2424 2536 2420 2408 2320 2376 2684 2524 2580 2440 2520 2416 2812 2348 2592 2388 2796 2220 2760 2876 2476 2220 2352 2672 2376 2792 2280 2884 2584 2612 2688 2876 2816 2620 2900 2772 2820 2640 2552 2556 2876 2464 2756 2792 2420 2348 2264 2372 2644 2752 2756 2816 2908 2220 2260 2472 2876 2440 2828 2916 2552 2348 2820 2484 2536 2904 2748 2856 2564 2288 2396 2852 2860 2404 2740 2308 2720 2804 2576 2328 2584 2392 2380 2604 2448 2832 2376 2324 2320 2744 2868 2424 2736 2700 2684 2868 2416 2416 2468 2836 2328 2848 2288 2496 2800 2548 2588 2480 2704 2652 2876 2748 2380 2404 2436 2220 2364 2400 2308 2352 2440 2784 2440 2876 2636 2376 2732 2780 2580 2460 2500 2288 2344 2368 2268 2220 2676 2792 2780 2876 2700 2436 2428 2324 2400 2220 2336 2856 2400 2320 2312 2340 2420 2792 2836 2264 2876 2820 2472 2280 2444 2496 2260 2560 2332 2800 2772 2712 2804 2904 2740 2856 2752 2800 2508 2612 2760 2228 2220 2796 2508 2700 2464 2484 2784 2916 2676 2488 2724 2676 2800 2816 2776 2300 2416 2824 2328 2604 2844 2280 2320 2560 2260 2336 2260 2432 2340 2916 2420 2868 2268 2760 2792 2368 2596 2288 2876 2224 2280 2784 2548 2808 2708 2284 2836 2792 2712 2524 2468 2564 2868 2756 2328 2580 2836 2688 2220 2584 2348 2436 2724 2508 2804 2520 2832 2724 2652 2884 2308 2448 2816 2312 2328 2340 2632 2468 2512 2860 2764 2832 2752 2284 2368 2916 2296 2832 2876 2736 2432 2828 2796 2260 2396 2260 2684 2416 2744 2260 2576 2544 2328 2524 2660 2540 2224 2768 2884 2364 0 0 0 0 1 0 1 1 0 1 1 1 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 0 1 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 1 0 1 1 1 1 0 1 1 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 1 0 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 0 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 0 1 1 1 0 1 0 1 0 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 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 3 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 3 0 0 0 0 0 0 1 3 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 2 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 3 3 0 0 0 0 3 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 1 0 0 0 0 0 0 0 0 0 0 3 0 3 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 2 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 2 0 0 1 0 3 1 1 1 0 0 0 0 0 3 0 1 0 0 3 0 0 0 0 0 3 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 1 1 0 0 0 0 3 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 1 2 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 3 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 3 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 0 0 2 0 0 0 0 0 0 0 0 3 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 3 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 3 1 0 1 0 0 0 0 0 0 0 1 1 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 3 0 1 0 0 0 0 0 1 0 3 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 3 0 0 3 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 3 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 1 0 0 0 3 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 3 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 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 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 1 3 0 3 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 3 0 0 1 0 3 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 1 0 3 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 3 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 3 0 1 3 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 3 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 3 1 3 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 1 0 1 0 0 2 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 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 3 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 3 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 3 0 0 1 0 0 2 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 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 3 0 3 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 2 3 0 3 1 0 0 1 0 0 0 3 2 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 28 100 420 428 60 20 412 508 8 120 428 176 60 112 28 88 564 68 128 348 40 224 44 408 112 156 108 108 40 108 148 288 508 256 24 52 504 380 596 320 388 128 92 560 308 404 504 184 436 404 32 448 196 56 328 24 520 156 396 92 116 396 488 620 488 616 192 380 404 48 100 88 104 632 88 104 296 156 364 248 40 148 516 452 124 520 552 104 104 140 80 516 96 176 328 536 272 188 216 596 444 88 272 276 72 276 236 336 36 116 168 176 136 396 560 284 72 388 232 100 148 116 148 212 216 364 228 80 348 96 532 460 8 36 296 108 36 72 104 392 64 444 44 40 200 496 16 32 140 48 596 160 24 132 660 116 164 44 312 8 124 108 52 460 388 508 148 260 8 68 36 348 284 488 592 176 208 568 152 424 240 432 516 12 516 260 576 176 240 300 288 120 60 520 468 168 320 536 412 456 36 464 304 80 52 120 20 48 376 188 92 240 48 168 248 72 248 300 228 248 256 268 308 340 152 188 152 48 480 132 460 440 364 396 116 512 136 352 88 304 264 68 388 616 460 376 248 328 504 536 348 172 36 292 584 80 588 188 436 28 268 452 68 368 160 56 92 348 584 196 48 584 348 360 72 8 332 516 44 180 180 148 464 64 124 104 132 188 240 128 472 156 80 496 24 132 236 404 100 432 348 264 368 192 172 196 140 48 8 92 44 60 228 72 84 144 536 360 120 336 48 496 532 232 216 48 88 464 28 548 108 232 344 328 16 112 156 232 284 192 168 252 244 180 296 180 84 408 588 124 84 96 388 112 228 140 284 356 468 224 168 24 160 172 60 204 436 292 268 492 80 356 132 76 56 412 64 76 508 268 568 492 480 452 48 292 404 388 460 544 580 220 488 572 520 580 504 580 184 64 232 268 216 272 88 324 472 140 84 324 300 420 584 124 92 696 456 292 656 612 496 580 32 616 476 244 108 96 308 144 108 388 80 340 220 196 304 188 388 352 20 276 164 344 228 284 252 200 340 148 360 320 140 60 368 60 364 104 140 368 72 92 364 72 224 556 464 508 40 56 268 304 220 96 128 280 552 16 556 432 80 60 492 16 56 524 508 84 44 88 440 524 252 308 16 164 316 368 348 232 316 200 372 140 136 124 232 272 244 44 392 148 288 156 184 212 220 476 40 532 524 324 124 224 168 272 204 152 232 216 372 232 248 216 244 80 232 588 212 136 580 576 656 696 448 180 356 456 188 188 8 212 560 8 612 224 492 444 180 648 468 348 32 452 536 408 324 60 160 96 136 408 296 524 100 208 408 624 504 476 208 16 540 76 172 112 100 424 32 204 184 32 260 248 504 404 32 52 32 596 44 100 124 284 52 148 40 296 316 224 328 28 148 248 356 200 244 132 592 396 328 4 652 412 284 248 240 160 112 96 212 160 188 208 124 284 152 176 140 120 556 144 440 552 52 416 40 28 100 104 148 64 144 136 444 68 76 80 92 120 256 320 396 152 84 144 136 220 160 252 360 192 176 340 172 120 260 452 64 164 428 600 88 96 108 40 72 356 196 240 60 64 288 168 212 36 168 336 128 324 52 444 464 396 160 448 124 160 428 232 120 8 100 76 436 684 36 64 324 608 544 88 52 424 188 220 180 192 52 440 152 412 360 616 20 404 124 176 128 292 124 24 320 208 108 408 104 536 296 556 328 188 200 40 256 116 532 456 388 472 548 24 176 460 264 280 316 608 188 104 252 392 164 144 384 112 108 68 356 328 84 124 124 8 284 240 220 24 236 296 240 136 196 504 212 596 308 132 60 440 12 428 396 608 532 516 428 496 136 32 308 268 264 364 96 464 400 12 148 292 176 32 108 412 144 304 204 160 320 164 152 296 204 316 112 276 44 308 216 4 108 88 124 120 448 228 136 48 536 472 360 332 380 120 216 92 52 128 140 36 504 252 336 216 84 532 116 404 96 96 276 108 224 152 336 300 320 152 376 132 124 12 228 360 176 288 464 124 432 332 440 132 292 364 184 88 212 100 20 208 200 276 272 256 460 100 80 148 380 100 44 304 180 260 64 248 300 364 388 144 336 76 16 200 168 88 316 320 112 320 28 408 72 404 460 484 20 568 556 552 324 576 76 268 160 240 136 308 36 96 284 344 456 252 124 216 472 556 460 244 200 496 432 556 336 396 376 116 316 76 340 132 192 200 340 92 48 68 332 304 296 268 80 68 112 236 496 56 356 284 540 28 48 104 324 440 348 452 12 200 104 360 116 232 152 48 40 124 304 352 276 260 268 292 264 160 264 52 220 180 316 276 72 308 36 132 108 320 180 100 156 392 24 216 72 300 44 140 68 140 80 76 256 192 396 452 332 460 308 108 336 56 436 468 68 484 456 256 120 92 28 264 68 88 164 220 244 188 192 128 284 28 404 40 528 192 516 416 272 576 56 476 484 80 508 72 276 552 564 248 156 212 116 48 500 324 452 100 124 48 200 84 48 432 440 16 156 108 128 580 528 88 480 636 288 196 100 648 488 148 304 96 24 484 72 300 24 480 92 92 408 148 236 184 184 344 448 36 224 96 20 540 300 220 456 500 112 308 532 44 268 324 104 272 140 112 168 420 520 60 40 512 596 588 84 8 556 184 180 548 48 556 224 252 292 364 316 284 172 88 244 308 288 132 408 220 380 320 112 124 156 448 76 152 580 140 64 68 24 484 596 468 348 296 80 216 252 24 552 348 552 336 404 620 400 332 484 448 452 12 340 340 180 76 48 420 56 36 492 560 84 372 152 164 320 304 72 60 64 224 296 244 92 272 264 216 240 220 124 192 568 472 376 476 28 568 44 108 452 176 256 88 88 236 372 48 344 76 120 140 84 32 508 68 24 416 20 380 340 140 92 264 56 556 60 392 120 416 140 128 172 592 40 444 652 280 152 504 88 96 176 364 200 416 156 384 120 316 64 200 52 284 316 220 448 420 80 88 232 40 360 496 596 372 116 348 240 648 160 544 408 620 72 276 104 156 268 212 300 304 324 560 60 372 280 288 92 364 324 56 472 524 84 124 264 164 80 112 304 220 236 404 120 156 152 216 276 124 408 544 72 64 696 132 48 396 84 160 280 276 216 488 236 416 88 192 512 404 340 36 60 60 96 300 512 492 252 176 112 172 124 484 640 460 120 536 44 304 332 468 172 56 180 80 596 508 488 424 28 40 180 160 272 228 228 268 168 92 40 92 148 156 544 288 76 136 460 364 520 448 100 24 140 8 592 584 524 128 480 8 456 484 524 388 528 148 532 28 116 344 296 452 304 512 476 232 432 524 116 492 252 392 16 176 404 296 104 200 184 292 280 220 248 208 12 300 456 112 92 12 260 244 320 284 324 44 48 112 368 524 44 116 296 68 480 168 264 188 56 296 468 84 100 512 412 44 132 48 84 76 200 92 372 64 108 156 364 348 108 380 60 200 192 124 156 36 132 68 168 520 432 372 104 608 344 276 424 56 164 348 328 492 200 356 300 56 120 28 140 112 264 144 104 132 396 204 284 172 92 232 200 200 372 120 516 168 360 48 644 104 108 380 128 96 108 184 128 388 72 436 528 404 576 48 40 72 476 192 324 364 64 528 56 52 448 96 236 108 156 400 220 140 108 328 164 128 288 280 220 140 40 220 88 328 244 304 224 376 216 196 336 140 436 116 128 272 92 80 116 332 480 312 240 528 412 524 160 60 384 496 84 356 84 288 224 480 112 552 564 64 336 420 504 452 104 72 288 120 48 128 40 532 152 68 336 396 92 564 320 352 220 100 316 376 656 104 76 540 608 84 112 120 424 300 432 360 116 60 172 76 404 552 560 272 220 360 412 44 84 260 144 144 236 268 172 320 408 112 132 100 280 68 532 388 84 532 308 100 576 108 248 640 344 36 156 416 136 452 208 116 124 136 20 496 128 136 476 608 188 264 180 216 420 348 28 164 128 96 116 148 472 108 56 60 656 580 616 460 8 580 420 348 632 148 60 396 516 284 472 32 436 196 512 424 112 168 128 396 152 288 348 32 484 508 24 224 260 528 604 44 132 548 44 652 512 44 500 560 48 56 68 136 252 484 380 260 132 108 164 464 76 572 76 276 152 272 300 164 468 320 20 336 64 452 156 444 244 24 96 64 496 476 440 72 44 40 276 392 156 32 424 232 304 76 576 44 96 200 324 148 48 76 616 600 376 248 516 200 112 136 480 176 220 276 272 168 108 352 476 76 84 308 244 148 36 340 128 144 376 72 128 512 236 44 368 404 592 48 92 264 380 224 532 276 192 108 64 316 304 324 80 236 80 352 188 440 140 20 76 464 208 264 8 68 80 600 156 256 84 60 120 476 404 576 232 100 92 160 60 420 240 60 432 40 148 264 396 368 72 284 236 180 396 568 592 484 260 52 32 84 60 68 548 548 148 168 28 44 48 100 176 124 24 84 416 200 40 360 112 84 40 92 432 216 244 60 32 476 84 108 464 204 208 200 520 60 156 52 488 456 116 216 252 392 252 28 532 44 76 492 228 240 460 172 652 84 264 624 460 204 352
2520.00/2462.22	v       </values>
2520.00/2462.22	v     </instantiation>
2520.00/2462.22	s SATISFIABLE

Verifier Data 

OK	164004631

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304439-1534088540/watcher-4304439-1534088540 -o /tmp/evaluation-result-4304439-1534088540/solver-4304439-1534088540 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534063810-20601 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=669273829 HOME/instance-4304439-1534088540.xml 

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

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

solver pid=24583, runsolver pid=24580

[startup+0.100111 s]*
/proc/loadavg: 1.63 1.69 1.67 3/206 24640
/proc/meminfo: memFree=6804844/32770624 swapFree=67108496/67108860
[pid=24583] ppid=24580 vsize=10005480 memory=19116 CPUtime=0.09 cores=1,3,5,7
/proc/24583/stat : 24583 (java) S 24580 24583 20569 0 -1 1077944320 4424 13118 0 0 1 1 5 2 20 0 6 0 226417259 10245611520 4779 33554432000 4194304 4196468 140737034596720 140737034579264 140590170521335 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
/proc/24583/statm: 2501370 4779 1935 1 0 2489808 0
[pid=24583/tid=24636] ppid=24580 vsize=10021560 memory=4279135704013569680 CPUtime=0.08 cores=1,3,5,7
/proc/24583/task/24636/stat : 24636 (java) R 24580 24583 20569 0 -1 4202560 2255 13118 0 0 1 0 5 2 20 0 6 0 226417268 10262077440 4779 33554432000 4194304 4196468 140737034596720 140590142358096 140590154569728 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24637] ppid=24580 vsize=10021560 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24637/stat : 24637 (java) S 24580 24583 20569 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 6 0 226417269 10262077440 4779 33554432000 4194304 4196468 140737034596720 140590174763280 140590170531541 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24638] ppid=24580 vsize=10021560 memory=140343406519936 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24638/stat : 24638 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 6 0 226417269 10262077440 4845 33554432000 4194304 4196468 140737034596720 140590056028560 140590170531541 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24639] ppid=24580 vsize=10021560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24639/stat : 24639 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 6 0 226417269 10262077440 4845 33554432000 4194304 4196468 140737034596720 140590054976016 140590170531541 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24640] ppid=24580 vsize=10021560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24640/stat : 24640 (java) S 24580 24583 20569 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 6 0 226417269 10262077440 4845 33554432000 4194304 4196468 140737034596720 140590053923472 140590170531541 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 19116 KiB

[startup+0.210455 s]*
/proc/loadavg: 1.74 1.72 1.67 3/215 24649
/proc/meminfo: memFree=6782708/32770624 swapFree=67108496/67108860
[pid=24583] ppid=24580 vsize=10982744 memory=43944 CPUtime=0.24 cores=1,3,5,7
/proc/24583/stat : 24583 (java) S 24580 24583 20569 0 -1 1077944320 7709 13118 0 0 16 1 5 2 20 0 15 0 226417259 11246329856 10986 33554432000 4194304 4196468 140737034596720 140737034579264 140590170521335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
/proc/24583/statm: 2745686 10986 2943 1 0 2708109 0
[pid=24583/tid=24636] ppid=24580 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/24583/task/24636/stat : 24636 (java) R 24580 24583 20569 0 -1 4202560 4304 13118 0 0 11 1 5 2 20 0 15 0 226417268 11246329856 11052 33554432000 4194304 4196468 140737034596720 140590142338448 140590150797149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24637] ppid=24580 vsize=10982744 memory=364 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24637/stat : 24637 (java) S 24580 24583 20569 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 226417269 11246329856 11052 33554432000 4194304 4196468 140737034596720 140590174763280 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24638] ppid=24580 vsize=10982744 memory=288370719558231680 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24638/stat : 24638 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 226417269 11246329856 11052 33554432000 4194304 4196468 140737034596720 140590056028560 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24639] ppid=24580 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24639/stat : 24639 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 226417269 11246329856 11052 33554432000 4194304 4196468 140737034596720 140590054976016 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24640] ppid=24580 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24640/stat : 24640 (java) S 24580 24583 20569 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 226417269 11246329856 11052 33554432000 4194304 4196468 140737034596720 140590053923472 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24641] ppid=24580 vsize=10982744 memory=140343406519936 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24641/stat : 24641 (java) S 24580 24583 20569 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 226417270 11246329856 11052 33554432000 4194304 4196468 140737034596720 140589663603184 140590170532482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24642] ppid=24580 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24642/stat : 24642 (java) S 24580 24583 20569 0 -1 1077944384 13 13118 0 0 0 0 5 2 20 0 15 0 226417271 11246329856 11052 33554432000 4194304 4196468 140737034596720 140588976432544 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24643] ppid=24580 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24643/stat : 24643 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 226417271 11246329856 11052 33554432000 4194304 4196468 140737034596720 140588775106032 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24644] ppid=24580 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24644/stat : 24644 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11246329856 11052 33554432000 4194304 4196468 140737034596720 140588467706576 140590170539931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24645] ppid=24580 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24583/task/24645/stat : 24645 (java) S 24580 24583 20569 0 -1 1077944384 434 13118 0 0 1 0 5 2 20 0 15 0 226417274 11246329856 11052 33554432000 4194304 4196468 140737034596720 140589662550000 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24646] ppid=24580 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24583/task/24646/stat : 24646 (java) S 24580 24583 20569 0 -1 1077944384 190 13118 0 0 1 0 5 2 20 0 15 0 226417274 11246329856 11118 33554432000 4194304 4196468 140737034596720 140589661497456 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24647] ppid=24580 vsize=10982744 memory=140343406519936 CPUtime=0.1 cores=1,3,5,7
/proc/24583/task/24647/stat : 24647 (java) S 24580 24583 20569 0 -1 1077944384 606 13118 0 0 3 0 5 2 20 0 15 0 226417274 11246329856 11118 33554432000 4194304 4196468 140737034596720 140589660444912 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24648] ppid=24580 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24648/stat : 24648 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11246329856 11118 33554432000 4194304 4196468 140737034596720 140588036909664 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24649] ppid=24580 vsize=10982744 memory=140343406519936 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24649/stat : 24649 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 226417274 11246329856 11118 33554432000 4194304 4196468 140737034596720 140589659392816 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43944 KiB

[startup+0.310234 s]*
/proc/loadavg: 1.74 1.72 1.67 3/215 24649
/proc/meminfo: memFree=6771792/32770624 swapFree=67108496/67108860
[pid=24583] ppid=24580 vsize=10983192 memory=55412 CPUtime=0.37 cores=1,3,5,7
/proc/24583/stat : 24583 (java) S 24580 24583 20569 0 -1 1077944320 10420 13118 0 0 28 2 5 2 20 0 15 0 226417259 11246788608 13853 33554432000 4194304 4196468 140737034596720 140737034579264 140590170521335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
/proc/24583/statm: 2745798 13853 3062 1 0 2708109 0
[pid=24583/tid=24636] ppid=24580 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/24583/task/24636/stat : 24636 (java) R 24580 24583 20569 0 -1 4202560 6957 13118 0 0 20 1 5 2 20 0 15 0 226417268 11246788608 13853 33554432000 4194304 4196468 140737034596720 140590142333344 140590150797163 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24637] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24637/stat : 24637 (java) S 24580 24583 20569 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 226417269 11246788608 13853 33554432000 4194304 4196468 140737034596720 140590174763280 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24638] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24638/stat : 24638 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 226417269 11246788608 13853 33554432000 4194304 4196468 140737034596720 140590056028560 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24639] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24639/stat : 24639 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 226417269 11246788608 13853 33554432000 4194304 4196468 140737034596720 140590054976016 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24640] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24640/stat : 24640 (java) S 24580 24583 20569 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 226417269 11246788608 13853 33554432000 4194304 4196468 140737034596720 140590053923472 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24641] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24641/stat : 24641 (java) S 24580 24583 20569 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 226417270 11246788608 13853 33554432000 4194304 4196468 140737034596720 140589663603184 140590170532482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24642] ppid=24580 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24642/stat : 24642 (java) S 24580 24583 20569 0 -1 1077944384 13 13118 0 0 0 0 5 2 20 0 15 0 226417271 11246788608 13853 33554432000 4194304 4196468 140737034596720 140588976432544 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24643] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24643/stat : 24643 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 226417271 11246788608 13853 33554432000 4194304 4196468 140737034596720 140588775106032 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24644] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24644/stat : 24644 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11246788608 13853 33554432000 4194304 4196468 140737034596720 140588467706576 140590170539931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24645] ppid=24580 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24583/task/24645/stat : 24645 (java) S 24580 24583 20569 0 -1 1077944384 438 13118 0 0 1 0 5 2 20 0 15 0 226417274 11246788608 13853 33554432000 4194304 4196468 140737034596720 140589662550000 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24646] ppid=24580 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24583/task/24646/stat : 24646 (java) S 24580 24583 20569 0 -1 1077944384 191 13118 0 0 1 0 5 2 20 0 15 0 226417274 11246788608 13853 33554432000 4194304 4196468 140737034596720 140589661497456 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24647] ppid=24580 vsize=10983192 memory=140343406519936 CPUtime=0.12 cores=1,3,5,7
/proc/24583/task/24647/stat : 24647 (java) S 24580 24583 20569 0 -1 1077944384 612 13118 0 0 5 0 5 2 20 0 15 0 226417274 11246788608 13853 33554432000 4194304 4196468 140737034596720 140589660444912 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24648] ppid=24580 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24648/stat : 24648 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11246788608 13853 33554432000 4194304 4196468 140737034596720 140588036909664 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24649] ppid=24580 vsize=10983192 memory=140343406519936 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24649/stat : 24649 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 226417274 11246788608 13853 33554432000 4194304 4196468 140737034596720 140589659392816 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55412 KiB

[startup+0.700704 s]
/proc/loadavg: 1.74 1.72 1.67 3/215 24649
/proc/meminfo: memFree=6760132/32770624 swapFree=67108496/67108860
[pid=24583] ppid=24580 vsize=10983192 memory=88808 CPUtime=0.97 cores=1,3,5,7
/proc/24583/stat : 24583 (java) S 24580 24583 20569 0 -1 1077944320 16791 13118 0 0 87 3 5 2 20 0 15 0 226417259 11246788608 22202 33554432000 4194304 4196468 140737034596720 140737034579264 140590170521335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
/proc/24583/statm: 2745798 22202 3250 1 0 2708109 0
[pid=24583/tid=24636] ppid=24580 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/24583/task/24636/stat : 24636 (java) R 24580 24583 20569 0 -1 4202560 12267 13118 0 0 56 2 5 2 20 0 15 0 226417268 11246788608 22202 33554432000 4194304 4196468 140737034596720 140590142342160 140590153708144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24637] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24637/stat : 24637 (java) S 24580 24583 20569 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 226417269 11246788608 22202 33554432000 4194304 4196468 140737034596720 140590174763280 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24638] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24638/stat : 24638 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 226417269 11246788608 22202 33554432000 4194304 4196468 140737034596720 140590056028560 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24639] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24639/stat : 24639 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 226417269 11246788608 22202 33554432000 4194304 4196468 140737034596720 140590054976016 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24640] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24640/stat : 24640 (java) S 24580 24583 20569 0 -1 1077944384 2 13118 0 0 0 0 5 2 20 0 15 0 226417269 11246788608 22202 33554432000 4194304 4196468 140737034596720 140590053923472 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24641] ppid=24580 vsize=10983192 memory=5788078056070932311 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24641/stat : 24641 (java) S 24580 24583 20569 0 -1 1077944384 5 13118 0 0 0 0 5 2 20 0 15 0 226417270 11246788608 22202 33554432000 4194304 4196468 140737034596720 140589663603184 140590170532482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24642] ppid=24580 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24642/stat : 24642 (java) S 24580 24583 20569 0 -1 1077944384 13 13118 0 0 0 0 5 2 20 0 15 0 226417271 11246788608 22202 33554432000 4194304 4196468 140737034596720 140588976432544 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24643] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24643/stat : 24643 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 226417271 11246788608 22202 33554432000 4194304 4196468 140737034596720 140588775106032 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24644] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24644/stat : 24644 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11246788608 22202 33554432000 4194304 4196468 140737034596720 140588467706576 140590170539931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24645] ppid=24580 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/24583/task/24645/stat : 24645 (java) S 24580 24583 20569 0 -1 1077944384 865 13118 0 0 7 0 5 2 20 0 15 0 226417274 11246788608 22202 33554432000 4194304 4196468 140737034596720 140589662550000 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24646] ppid=24580 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/24583/task/24646/stat : 24646 (java) S 24580 24583 20569 0 -1 1077944384 729 13118 0 0 9 0 5 2 20 0 15 0 226417274 11246788608 22202 33554432000 4194304 4196468 140737034596720 140589661497456 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24647] ppid=24580 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/24583/task/24647/stat : 24647 (java) S 24580 24583 20569 0 -1 1077944384 705 13118 0 0 13 0 5 2 20 0 15 0 226417274 11246788608 22202 33554432000 4194304 4196468 140737034596720 140589660444912 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24648] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24648/stat : 24648 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11246788608 22202 33554432000 4194304 4196468 140737034596720 140588036909664 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24649] ppid=24580 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24649/stat : 24649 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 226417274 11246788608 22202 33554432000 4194304 4196468 140737034596720 140589659392816 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88808 KiB

[startup+1.50204 s]
/proc/loadavg: 1.74 1.72 1.67 4/215 24649
/proc/meminfo: memFree=6714140/32770624 swapFree=67108496/67108860
[pid=24583] ppid=24580 vsize=10991872 memory=482704 CPUtime=2.96 cores=1,3,5,7
/proc/24583/stat : 24583 (java) S 24580 24583 20569 0 -1 1077944320 24357 13118 0 0 250 39 5 2 20 0 15 0 226417259 11255676928 120676 33554432000 4194304 4196468 140737034596720 140737034579264 140590170521335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
/proc/24583/statm: 2747968 120676 3456 1 0 2709645 0
[pid=24583/tid=24636] ppid=24580 vsize=10991872 memory=4951091520830867572 CPUtime=1.31 cores=1,3,5,7
/proc/24583/task/24636/stat : 24636 (java) S 24580 24583 20569 0 -1 1077944384 14652 13118 0 0 116 8 5 2 20 0 15 0 226417268 11255676928 120676 33554432000 4194304 4196468 140737034596720 140590142357024 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24637] ppid=24580 vsize=10991872 memory=-5153075608533367661 CPUtime=0.16 cores=1,3,5,7
/proc/24583/task/24637/stat : 24637 (java) S 24580 24583 20569 0 -1 1077944384 592 13118 0 0 4 5 5 2 20 0 15 0 226417269 11255676928 120676 33554432000 4194304 4196468 140737034596720 140590174763280 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24638] ppid=24580 vsize=10991872 memory=4495243791689148512 CPUtime=0.18 cores=1,3,5,7
/proc/24583/task/24638/stat : 24638 (java) S 24580 24583 20569 0 -1 1077944384 349 13118 0 0 4 7 5 2 20 0 15 0 226417269 11255676928 120676 33554432000 4194304 4196468 140737034596720 140590056028560 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24639] ppid=24580 vsize=10991872 memory=6720696446780543624 CPUtime=0.19 cores=1,3,5,7
/proc/24583/task/24639/stat : 24639 (java) S 24580 24583 20569 0 -1 1077944384 721 13118 0 0 5 7 5 2 20 0 15 0 226417269 11255676928 120676 33554432000 4194304 4196468 140737034596720 140590054976016 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24640] ppid=24580 vsize=10991872 memory=141916 CPUtime=0.2 cores=1,3,5,7
/proc/24583/task/24640/stat : 24640 (java) S 24580 24583 20569 0 -1 1077944384 358 13118 0 0 5 8 5 2 20 0 15 0 226417269 11255676928 120676 33554432000 4194304 4196468 140737034596720 140590053923472 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24641] ppid=24580 vsize=10991872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24641/stat : 24641 (java) R 24580 24583 20569 0 -1 4202560 106 13118 0 0 0 0 5 2 20 0 15 0 226417270 11255676928 120676 33554432000 4194304 4196468 140737034596720 140589663601504 140590148878537 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24642] ppid=24580 vsize=10991872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24642/stat : 24642 (java) S 24580 24583 20569 0 -1 1077944384 14 13118 0 0 0 0 5 2 20 0 15 0 226417271 11255676928 120676 33554432000 4194304 4196468 140737034596720 140588976432544 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24643] ppid=24580 vsize=10991872 memory=280686581842208 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24643/stat : 24643 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417271 11255676928 120676 33554432000 4194304 4196468 140737034596720 140588775106032 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24644] ppid=24580 vsize=10991872 memory=280686582257152 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24644/stat : 24644 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11255676928 120676 33554432000 4194304 4196468 140737034596720 140588467706576 140590170539931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24645] ppid=24580 vsize=10991872 memory=140343290930816 CPUtime=0.52 cores=1,3,5,7
/proc/24583/task/24645/stat : 24645 (java) S 24580 24583 20569 0 -1 1077944384 2256 13118 0 0 45 0 5 2 20 0 15 0 226417274 11255676928 120676 33554432000 4194304 4196468 140737034596720 140589662534992 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24646] ppid=24580 vsize=10991872 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/24583/task/24646/stat : 24646 (java) S 24580 24583 20569 0 -1 1077944384 1935 13118 0 0 39 0 5 2 20 0 15 0 226417274 11255676928 120676 33554432000 4194304 4196468 140737034596720 140589661497456 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24647] ppid=24580 vsize=10991872 memory=1128 CPUtime=0.35 cores=1,3,5,7
/proc/24583/task/24647/stat : 24647 (java) S 24580 24583 20569 0 -1 1077944384 1175 13118 0 0 28 0 5 2 20 0 15 0 226417274 11255676928 120676 33554432000 4194304 4196468 140737034596720 140589660444912 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24648] ppid=24580 vsize=10991872 memory=15188 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24648/stat : 24648 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11255676928 120676 33554432000 4194304 4196468 140737034596720 140588036909664 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24649] ppid=24580 vsize=10991872 memory=4000 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24649/stat : 24649 (java) S 24580 24583 20569 0 -1 1077944384 1 13118 0 0 0 0 5 2 20 0 15 0 226417274 11255676928 120676 33554432000 4194304 4196468 140737034596720 140589659392816 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
Current children cumulated CPU time: 2.96 s
Current children cumulated vsize: 10991872 KiB

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

/proc/24583/task/24636/stat : 24636 (java) R 24580 24583 20569 0 -1 4202560 239350 13118 0 0 231038 76 5 2 20 0 15 0 226417268 11280941056 852201 33554432000 4194304 4196468 140737034596720 140590142356624 140589755795054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24637] ppid=24580 vsize=11016544 memory=3408804 CPUtime=10.23 cores=1,3,5,7
/proc/24583/task/24637/stat : 24637 (java) S 24580 24583 20569 0 -1 1077944384 44072 13118 0 0 952 64 5 2 20 0 15 0 226417269 11280941056 852201 33554432000 4194304 4196468 140737034596720 140590174763280 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24638] ppid=24580 vsize=11016544 memory=3429836 CPUtime=10.24 cores=1,3,5,7
/proc/24583/task/24638/stat : 24638 (java) S 24580 24583 20569 0 -1 1077944384 43990 13118 0 0 954 63 5 2 20 0 15 0 226417269 11280941056 852201 33554432000 4194304 4196468 140737034596720 140590056028560 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24639] ppid=24580 vsize=11016544 memory=3426760 CPUtime=10.25 cores=1,3,5,7
/proc/24583/task/24639/stat : 24639 (java) S 24580 24583 20569 0 -1 1077944384 38287 13118 0 0 951 67 5 2 20 0 15 0 226417269 11280941056 852201 33554432000 4194304 4196468 140737034596720 140590054976016 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24640] ppid=24580 vsize=11016544 memory=3413936 CPUtime=10.29 cores=1,3,5,7
/proc/24583/task/24640/stat : 24640 (java) S 24580 24583 20569 0 -1 1077944384 45442 13118 0 0 957 65 5 2 20 0 15 0 226417269 11280941056 852201 33554432000 4194304 4196468 140737034596720 140590053923472 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24641] ppid=24580 vsize=11016544 memory=3413936 CPUtime=0.76 cores=1,3,5,7
/proc/24583/task/24641/stat : 24641 (java) S 24580 24583 20569 0 -1 1077944384 31882 13118 0 0 58 11 5 2 20 0 15 0 226417270 11280941056 852201 33554432000 4194304 4196468 140737034596720 140589663603184 140590170532482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24642] ppid=24580 vsize=11016544 memory=3408804 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24642/stat : 24642 (java) S 24580 24583 20569 0 -1 1077944384 33 13118 0 0 0 0 5 2 20 0 15 0 226417271 11280941056 852201 33554432000 4194304 4196468 140737034596720 140588976432672 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24643] ppid=24580 vsize=11016544 memory=3408804 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24643/stat : 24643 (java) S 24580 24583 20569 0 -1 1077944384 21 13118 0 0 0 0 5 2 20 0 15 0 226417271 11280941056 852201 33554432000 4194304 4196468 140737034596720 140588775106048 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24644] ppid=24580 vsize=11016544 memory=3408804 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24644/stat : 24644 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11280941056 852201 33554432000 4194304 4196468 140737034596720 140588467706576 140590170539931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24645] ppid=24580 vsize=11016544 memory=7888 CPUtime=10.68 cores=1,3,5,7
/proc/24583/task/24645/stat : 24645 (java) S 24580 24583 20569 0 -1 1077944384 92718 13118 0 0 1052 9 5 2 20 0 15 0 226417274 11280941056 852201 33554432000 4194304 4196468 140737034596720 140589662550000 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24646] ppid=24580 vsize=11016544 memory=3408804 CPUtime=10.89 cores=1,3,5,7
/proc/24583/task/24646/stat : 24646 (java) S 24580 24583 20569 0 -1 1077944384 88993 13118 0 0 1073 9 5 2 20 0 15 0 226417274 11280941056 852201 33554432000 4194304 4196468 140737034596720 140589661497456 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24647] ppid=24580 vsize=11016544 memory=3408804 CPUtime=3.44 cores=1,3,5,7
/proc/24583/task/24647/stat : 24647 (java) S 24580 24583 20569 0 -1 1077944384 60322 13118 0 0 328 9 5 2 20 0 15 0 226417274 11280941056 852201 33554432000 4194304 4196468 140737034596720 140589660444912 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24648] ppid=24580 vsize=11016544 memory=3408804 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24648/stat : 24648 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11280941056 852201 33554432000 4194304 4196468 140737034596720 140588036909664 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24649] ppid=24580 vsize=11016544 memory=3408804 CPUtime=1.44 cores=1,3,5,7
/proc/24583/task/24649/stat : 24649 (java) S 24580 24583 20569 0 -1 1077944384 3194 13118 0 0 53 84 5 2 20 0 15 0 226417274 11280941056 852201 33554432000 4194304 4196468 140737034596720 140589659392816 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
Current children cumulated CPU time: 2378.9 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3408804 KiB

[startup+2382.3 s]
/proc/loadavg: 1.47 1.56 1.63 3/216 24874
/proc/meminfo: memFree=4433456/32770624 swapFree=67108496/67108860
[pid=24583] ppid=24580 vsize=11016544 memory=3252916 CPUtime=2439.46 cores=1,3,5,7
/proc/24583/stat : 24583 (java) S 24580 24583 20569 0 -1 1077944320 700902 13118 0 0 243493 446 5 2 20 0 15 0 226417259 11280941056 813229 33554432000 4194304 4196468 140737034596720 140737034579264 140590170521335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
/proc/24583/statm: 2754136 813229 3538 1 0 2715789 0
[pid=24583/tid=24636] ppid=24580 vsize=11016544 memory=3332376 CPUtime=2371.02 cores=1,3,5,7
/proc/24583/task/24636/stat : 24636 (java) R 24580 24583 20569 0 -1 4202560 242099 13118 0 0 237018 77 5 2 20 0 15 0 226417268 11280941056 813229 33554432000 4194304 4196468 140737034596720 140590142356816 140589755798520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24637] ppid=24580 vsize=11016544 memory=12604 CPUtime=10.4 cores=1,3,5,7
/proc/24583/task/24637/stat : 24637 (java) S 24580 24583 20569 0 -1 1077944384 46084 13118 0 0 969 64 5 2 20 0 15 0 226417269 11280941056 813229 33554432000 4194304 4196468 140737034596720 140590174763280 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24638] ppid=24580 vsize=11016544 memory=3326256 CPUtime=10.41 cores=1,3,5,7
/proc/24583/task/24638/stat : 24638 (java) S 24580 24583 20569 0 -1 1077944384 44351 13118 0 0 971 63 5 2 20 0 15 0 226417269 11280941056 813229 33554432000 4194304 4196468 140737034596720 140590056028560 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24639] ppid=24580 vsize=11016544 memory=3298560 CPUtime=10.42 cores=1,3,5,7
/proc/24583/task/24639/stat : 24639 (java) S 24580 24583 20569 0 -1 1077944384 38636 13118 0 0 968 67 5 2 20 0 15 0 226417269 11280941056 813229 33554432000 4194304 4196468 140737034596720 140590054976016 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24640] ppid=24580 vsize=11016544 memory=3274976 CPUtime=10.46 cores=1,3,5,7
/proc/24583/task/24640/stat : 24640 (java) S 24580 24583 20569 0 -1 1077944384 45868 13118 0 0 974 65 5 2 20 0 15 0 226417269 11280941056 813229 33554432000 4194304 4196468 140737034596720 140590053923472 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24641] ppid=24580 vsize=11016544 memory=3264204 CPUtime=0.77 cores=1,3,5,7
/proc/24583/task/24641/stat : 24641 (java) S 24580 24583 20569 0 -1 1077944384 32244 13118 0 0 59 11 5 2 20 0 15 0 226417270 11280941056 813229 33554432000 4194304 4196468 140737034596720 140589663603184 140590170532482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24642] ppid=24580 vsize=11016544 memory=3252916 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24642/stat : 24642 (java) S 24580 24583 20569 0 -1 1077944384 33 13118 0 0 0 0 5 2 20 0 15 0 226417271 11280941056 813229 33554432000 4194304 4196468 140737034596720 140588976432672 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24643] ppid=24580 vsize=11016544 memory=12604 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24643/stat : 24643 (java) S 24580 24583 20569 0 -1 1077944384 21 13118 0 0 0 0 5 2 20 0 15 0 226417271 11280941056 813229 33554432000 4194304 4196468 140737034596720 140588775106048 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24644] ppid=24580 vsize=11016544 memory=3252916 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24644/stat : 24644 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11280941056 813229 33554432000 4194304 4196468 140737034596720 140588467706576 140590170539931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24645] ppid=24580 vsize=11016544 memory=1380 CPUtime=10.69 cores=1,3,5,7
/proc/24583/task/24645/stat : 24645 (java) S 24580 24583 20569 0 -1 1077944384 94990 13118 0 0 1053 9 5 2 20 0 15 0 226417274 11280941056 813229 33554432000 4194304 4196468 140737034596720 140589662550000 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24646] ppid=24580 vsize=11016544 memory=1224 CPUtime=10.9 cores=1,3,5,7
/proc/24583/task/24646/stat : 24646 (java) S 24580 24583 20569 0 -1 1077944384 89860 13118 0 0 1074 9 5 2 20 0 15 0 226417274 11280941056 813229 33554432000 4194304 4196468 140737034596720 140589661497456 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24647] ppid=24580 vsize=11016544 memory=2260 CPUtime=3.45 cores=1,3,5,7
/proc/24583/task/24647/stat : 24647 (java) S 24580 24583 20569 0 -1 1077944384 61213 13118 0 0 329 9 5 2 20 0 15 0 226417274 11280941056 813229 33554432000 4194304 4196468 140737034596720 140589660444912 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24648] ppid=24580 vsize=11016544 memory=3264204 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24648/stat : 24648 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11280941056 813229 33554432000 4194304 4196468 140737034596720 140588036909664 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24649] ppid=24580 vsize=11016544 memory=3872 CPUtime=1.48 cores=1,3,5,7
/proc/24583/task/24649/stat : 24649 (java) S 24580 24583 20569 0 -1 1077944384 3304 13118 0 0 54 87 5 2 20 0 15 0 226417274 11280941056 813229 33554432000 4194304 4196468 140737034596720 140589659392816 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
Current children cumulated CPU time: 2439.46 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3252916 KiB

[startup+2442.3 s]
/proc/loadavg: 1.46 1.54 1.62 3/216 24875
/proc/meminfo: memFree=4583204/32770624 swapFree=67108496/67108860
[pid=24583] ppid=24580 vsize=11016544 memory=3103344 CPUtime=2499.94 cores=1,3,5,7
/proc/24583/stat : 24583 (java) S 24580 24583 20569 0 -1 1077944320 711145 13118 0 0 249537 450 5 2 20 0 15 0 226417259 11280941056 775836 33554432000 4194304 4196468 140737034596720 140737034579264 140590170521335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
/proc/24583/statm: 2754136 775836 3538 1 0 2715789 0
[pid=24583/tid=24636] ppid=24580 vsize=11016544 memory=3224724 CPUtime=2430.86 cores=1,3,5,7
/proc/24583/task/24636/stat : 24636 (java) R 24580 24583 20569 0 -1 4202560 244834 13118 0 0 243001 78 5 2 20 0 15 0 226417268 11280941056 775836 33554432000 4194304 4196468 140737034596720 140590142356608 140589749027043 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24637] ppid=24580 vsize=11016544 memory=3124820 CPUtime=10.54 cores=1,3,5,7
/proc/24583/task/24637/stat : 24637 (java) S 24580 24583 20569 0 -1 1077944384 46977 13118 0 0 983 64 5 2 20 0 15 0 226417269 11280941056 775836 33554432000 4194304 4196468 140737034596720 140590174763280 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24638] ppid=24580 vsize=11016544 memory=3224724 CPUtime=10.55 cores=1,3,5,7
/proc/24583/task/24638/stat : 24638 (java) S 24580 24583 20569 0 -1 1077944384 45730 13118 0 0 985 63 5 2 20 0 15 0 226417269 11280941056 775836 33554432000 4194304 4196468 140737034596720 140590056028560 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24639] ppid=24580 vsize=11016544 memory=3218056 CPUtime=10.56 cores=1,3,5,7
/proc/24583/task/24639/stat : 24639 (java) S 24580 24583 20569 0 -1 1077944384 38938 13118 0 0 982 67 5 2 20 0 15 0 226417269 11280941056 775836 33554432000 4194304 4196468 140737034596720 140590054976016 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24640] ppid=24580 vsize=11016544 memory=3218056 CPUtime=10.59 cores=1,3,5,7
/proc/24583/task/24640/stat : 24640 (java) S 24580 24583 20569 0 -1 1077944384 46068 13118 0 0 987 65 5 2 20 0 15 0 226417269 11280941056 775836 33554432000 4194304 4196468 140737034596720 140590053923472 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24641] ppid=24580 vsize=11016544 memory=3120716 CPUtime=0.79 cores=1,3,5,7
/proc/24583/task/24641/stat : 24641 (java) S 24580 24583 20569 0 -1 1077944384 32580 13118 0 0 61 11 5 2 20 0 15 0 226417270 11280941056 775836 33554432000 4194304 4196468 140737034596720 140589663603184 140590170532482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24642] ppid=24580 vsize=11016544 memory=3106352 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24642/stat : 24642 (java) S 24580 24583 20569 0 -1 1077944384 33 13118 0 0 0 0 5 2 20 0 15 0 226417271 11280941056 775836 33554432000 4194304 4196468 140737034596720 140588976432672 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24643] ppid=24580 vsize=11016544 memory=3106352 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24643/stat : 24643 (java) S 24580 24583 20569 0 -1 1077944384 21 13118 0 0 0 0 5 2 20 0 15 0 226417271 11280941056 775836 33554432000 4194304 4196468 140737034596720 140588775106048 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24644] ppid=24580 vsize=11016544 memory=3103344 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24644/stat : 24644 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11280941056 775836 33554432000 4194304 4196468 140737034596720 140588467706576 140590170539931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24645] ppid=24580 vsize=11016544 memory=3103344 CPUtime=10.7 cores=1,3,5,7
/proc/24583/task/24645/stat : 24645 (java) S 24580 24583 20569 0 -1 1077944384 97162 13118 0 0 1054 9 5 2 20 0 15 0 226417274 11280941056 775836 33554432000 4194304 4196468 140737034596720 140589662550000 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24646] ppid=24580 vsize=11016544 memory=3103344 CPUtime=10.91 cores=1,3,5,7
/proc/24583/task/24646/stat : 24646 (java) S 24580 24583 20569 0 -1 1077944384 91040 13118 0 0 1075 9 5 2 20 0 15 0 226417274 11280941056 775836 33554432000 4194304 4196468 140737034596720 140589661497456 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24647] ppid=24580 vsize=11016544 memory=12604 CPUtime=3.45 cores=1,3,5,7
/proc/24583/task/24647/stat : 24647 (java) S 24580 24583 20569 0 -1 1077944384 62224 13118 0 0 329 9 5 2 20 0 15 0 226417274 11280941056 775836 33554432000 4194304 4196468 140737034596720 140589660444912 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24648] ppid=24580 vsize=11016544 memory=3103344 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24648/stat : 24648 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11280941056 775836 33554432000 4194304 4196468 140737034596720 140588036909664 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24649] ppid=24580 vsize=11016544 memory=3103344 CPUtime=1.51 cores=1,3,5,7
/proc/24583/task/24649/stat : 24649 (java) S 24580 24583 20569 0 -1 1077944384 3339 13118 0 0 55 89 5 2 20 0 15 0 226417274 11280941056 775836 33554432000 4194304 4196468 140737034596720 140589659392816 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
Current children cumulated CPU time: 2499.94 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3103344 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2462.2 s]
/proc/loadavg: 1.31 1.50 1.61 3/216 24875
/proc/meminfo: memFree=4641836/32770624 swapFree=67108496/67108860
[pid=24583] ppid=24580 vsize=11016544 memory=3044876 CPUtime=2520 cores=1,3,5,7
/proc/24583/stat : 24583 (java) S 24580 24583 20569 0 -1 1077944320 716675 13118 0 0 251541 452 5 2 20 0 15 0 226417259 11280941056 761219 33554432000 4194304 4196468 140737034596720 140737034579264 140590170521335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
/proc/24583/statm: 2754136 761219 3538 1 0 2715789 0
[pid=24583/tid=24636] ppid=24580 vsize=11016544 memory=288230583166042426 CPUtime=2450.7 cores=1,3,5,7
/proc/24583/task/24636/stat : 24636 (java) R 24580 24583 20569 0 -1 4202560 246325 13118 0 0 244985 78 5 2 20 0 15 0 226417268 11280941056 761219 33554432000 4194304 4196468 140737034596720 140590142356880 140589750571136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24637] ppid=24580 vsize=11016544 memory=16097078719811842 CPUtime=10.6 cores=1,3,5,7
/proc/24583/task/24637/stat : 24637 (java) S 24580 24583 20569 0 -1 1077944384 47818 13118 0 0 988 65 5 2 20 0 15 0 226417269 11280941056 761219 33554432000 4194304 4196468 140737034596720 140590174763280 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24638] ppid=24580 vsize=11016544 memory=3690758392923840889 CPUtime=10.6 cores=1,3,5,7
/proc/24583/task/24638/stat : 24638 (java) S 24580 24583 20569 0 -1 1077944384 45906 13118 0 0 990 63 5 2 20 0 15 0 226417269 11280941056 761219 33554432000 4194304 4196468 140737034596720 140590056028560 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24639] ppid=24580 vsize=11016544 memory=6656426216303648864 CPUtime=10.6 cores=1,3,5,7
/proc/24583/task/24639/stat : 24639 (java) S 24580 24583 20569 0 -1 1077944384 40137 13118 0 0 986 67 5 2 20 0 15 0 226417269 11280941056 761219 33554432000 4194304 4196468 140737034596720 140590054976016 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24640] ppid=24580 vsize=11016544 memory=590024537935931163 CPUtime=10.63 cores=1,3,5,7
/proc/24583/task/24640/stat : 24640 (java) S 24580 24583 20569 0 -1 1077944384 46283 13118 0 0 991 65 5 2 20 0 15 0 226417269 11280941056 761219 33554432000 4194304 4196468 140737034596720 140590053923472 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24641] ppid=24580 vsize=11016544 memory=24708 CPUtime=0.8 cores=1,3,5,7
/proc/24583/task/24641/stat : 24641 (java) S 24580 24583 20569 0 -1 1077944384 32912 13118 0 0 61 12 5 2 20 0 15 0 226417270 11280941056 761219 33554432000 4194304 4196468 140737034596720 140589663603184 140590170532482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24642] ppid=24580 vsize=11016544 memory=3690758392923840889 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24642/stat : 24642 (java) S 24580 24583 20569 0 -1 1077944384 33 13118 0 0 0 0 5 2 20 0 15 0 226417271 11280941056 761219 33554432000 4194304 4196468 140737034596720 140588976432672 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24643] ppid=24580 vsize=11016544 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24643/stat : 24643 (java) S 24580 24583 20569 0 -1 1077944384 21 13118 0 0 0 0 5 2 20 0 15 0 226417271 11280941056 761219 33554432000 4194304 4196468 140737034596720 140588775106048 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24644] ppid=24580 vsize=11016544 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24644/stat : 24644 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11280941056 761219 33554432000 4194304 4196468 140737034596720 140588467706576 140590170539931 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24645] ppid=24580 vsize=11016544 memory=6944656592455360604 CPUtime=10.7 cores=1,3,5,7
/proc/24583/task/24645/stat : 24645 (java) S 24580 24583 20569 0 -1 1077944384 97165 13118 0 0 1054 9 5 2 20 0 15 0 226417274 11280941056 761219 33554432000 4194304 4196468 140737034596720 140589662550000 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24646] ppid=24580 vsize=11016544 memory=6656426216303648864 CPUtime=10.91 cores=1,3,5,7
/proc/24583/task/24646/stat : 24646 (java) S 24580 24583 20569 0 -1 1077944384 91494 13118 0 0 1075 9 5 2 20 0 15 0 226417274 11280941056 761219 33554432000 4194304 4196468 140737034596720 140589661497456 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24647] ppid=24580 vsize=11016544 memory=288289956793942636 CPUtime=3.45 cores=1,3,5,7
/proc/24583/task/24647/stat : 24647 (java) S 24580 24583 20569 0 -1 1077944384 63009 13118 0 0 329 9 5 2 20 0 15 0 226417274 11280941056 761219 33554432000 4194304 4196468 140737034596720 140589660444912 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24648] ppid=24580 vsize=11016544 memory=300668258653222669 CPUtime=0.07 cores=1,3,5,7
/proc/24583/task/24648/stat : 24648 (java) S 24580 24583 20569 0 -1 1077944384 3 13118 0 0 0 0 5 2 20 0 15 0 226417274 11280941056 761219 33554432000 4194304 4196468 140737034596720 140588036909664 140590170531541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
[pid=24583/tid=24649] ppid=24580 vsize=11016544 memory=1796 CPUtime=1.53 cores=1,3,5,7
/proc/24583/task/24649/stat : 24649 (java) S 24580 24583 20569 0 -1 1077944384 3373 13118 0 0 56 90 5 2 20 0 15 0 226417274 11280941056 761219 33554432000 4194304 4196468 140737034596720 140589659392816 140590170532482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19202048 140737034599021 140737034601820 140737034601820 140737034604495 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 3044876 KiB

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

[startup+2462.26 s]
# the end of solver process 24583 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.49 s, system=4.58246 s

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

Child status: 143
Real time (s): 2462.26
CPU time (s): 2520.07
CPU user time (s): 2515.49
CPU system time (s): 4.58246
CPU usage (%): 102.348
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 4274036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.49
system time used= 4.58246
maximum resident set size= 4274036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 732576
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74296
involuntary context switches= 2322


# summary of solver processes directly reported to runsolver:
#   pid: 24583
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2515.49
#   total CPU system time (s): 4.58246

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9942 second user time and 23.4486 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-12 17:42:21
IDJOB=4304439
IDBENCH=141268
IDSOLVER=2780
FILE ID=node149/4304439-1534088540
RUNJOBID= node149-1534063810-20601
PBS_JOBID= 21036989
Free space on /tmp= 38780 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-4304439-1534088540/watcher-4304439-1534088540 -o /tmp/evaluation-result-4304439-1534088540/solver-4304439-1534088540 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534063810-20601 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=669273829 HOME/instance-4304439-1534088540.xml

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

MD5SUM BENCH= a5fe7a04cb5002912ef3d870057982e3
RANDOM SEED=669273829

node149.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.60
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.60
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.60
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.60
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:         6813564 kB
MemAvailable:   26029424 kB
Buffers:          197616 kB
Cached:         19050428 kB
SwapCached:           28 kB
Active:         13926920 kB
Inactive:       11241148 kB
Active(anon):    5869264 kB
Inactive(anon):   103080 kB
Active(file):    8057656 kB
Inactive(file): 11138068 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:            174464 kB
Writeback:             0 kB
AnonPages:       5927656 kB
Mapped:            67616 kB
Shmem:             49616 kB
Slab:             477136 kB
SReclaimable:     448596 kB
SUnreclaim:        28540 kB
KernelStack:        3504 kB
PageTables:        16992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    7234556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5056512 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 38760 MiB
End job on node149 at 2018-08-12 18:23:23