Trace number 4304440

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)164105684 2520.14 2368.88

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.98/0.75	c Concrete v3.9.2.1532736233296 running
153.14/102.16	o 164105693
153.96/102.52	o 164105692
261.17/186.25	o 164105691
261.31/186.35	o 164105690
261.42/186.45	o 164105689
261.54/186.54	o 164105688
261.64/186.69	o 164105687
1149.24/1019.26	o 164105686
1149.65/1019.65	o 164105685
1149.97/1019.96	o 164105684
2520.05/2368.82	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.05/2368.82		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.05/2368.82		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.05/2368.82		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.05/2368.82		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:254)
2520.05/2368.82		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16)
2520.05/2368.82		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.05/2368.82		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.05/2368.82		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.05/2368.82		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2368.82		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.05/2368.82		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2368.82		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2368.82		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.05/2368.82		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2368.82		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.05/2368.82		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.05/2368.82		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.05/2368.82		at scala.Option.map(Option.scala:146)
2520.05/2368.82		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.05/2368.82		at concrete.MAC.mac(MAC.scala:203)
2520.05/2368.82		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.05/2368.82		at scala.util.Try$.apply(Try.scala:209)
2520.05/2368.82		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2368.82		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2368.82		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2368.82		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2368.82		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.05/2368.82		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2368.82		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2368.82		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2368.82		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2368.82		at concrete.MAC.oneRun(MAC.scala:253)
2520.05/2368.82		at concrete.MAC.nextSolution(MAC.scala:272)
2520.05/2368.82		at concrete.MAC.nextSolution(MAC.scala:355)
2520.05/2368.82		at concrete.Solver.hasNext(Solver.scala:166)
2520.05/2368.82		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.05/2368.82		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.05/2368.82		at concrete.Solver.foreach(Solver.scala:68)
2520.05/2368.82		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.05/2368.82		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2368.82		at scala.util.Success.map(Try.scala:209)
2520.05/2368.82		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2368.82		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.05/2368.82		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.05/2368.82		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2368.82		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.05/2368.82		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2368.82		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2368.82		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2368.82		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2368.82		at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2368.82		at scala.App.main(App.scala:76)
2520.05/2368.82		at scala.App.main$(App.scala:74)
2520.05/2368.82		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.05/2368.82		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2368.83	v <instantiation cost="164105684">
2520.05/2368.83	v       <list>
2520.05/2368.83	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.05/2368.84	v       </list>
2520.05/2368.84	v       <values>
2520.05/2368.84	v         2408 2776 2712 2312 2812 2840 2856 2220 2276 2520 2236 2444 2500 2804 2408 2876 2720 2884 2820 2384 2456 2508 2620 2368 2368 2816 2844 2428 2812 2412 2716 2444 2796 2256 2588 2876 2596 2332 2624 2904 2852 2660 2220 2864 2484 2576 2696 2836 2836 2416 2388 2324 2600 2636 2876 2568 2736 2528 2876 2228 2312 2280 2844 2916 2792 2604 2456 2264 2672 2680 2916 2732 2376 2732 2596 2756 2616 2724 2820 2260 2756 2284 2828 2640 2244 2288 2784 2220 2496 2876 2796 2832 2740 2704 2480 2388 2260 2352 2308 2624 2440 2716 2596 2288 2660 2456 2640 2836 2844 2584 2676 2340 2552 2580 2416 2392 2320 2348 2692 2544 2624 2412 2556 2416 2856 2348 2596 2220 2788 2224 2756 2868 2440 2260 2360 2712 2416 2864 2280 2860 2628 2684 2640 2876 2820 2584 2916 2820 2816 2632 2556 2556 2876 2480 2756 2832 2396 2252 2300 2272 2716 2756 2764 2808 2916 2264 2220 2460 2872 2448 2796 2916 2536 2260 2848 2500 2384 2780 2676 2848 2584 2288 2380 2876 2876 2452 2832 2292 2716 2796 2576 2352 2556 2416 2388 2616 2448 2744 2376 2296 2320 2760 2852 2440 2736 2708 2720 2876 2416 2416 2504 2820 2316 2844 2312 2424 2828 2544 2528 2452 2692 2724 2884 2816 2356 2372 2420 2328 2388 2364 2308 2292 2404 2816 2428 2868 2636 2376 2860 2792 2584 2456 2496 2300 2348 2296 2268 2260 2644 2796 2868 2916 2680 2408 2464 2324 2388 2424 2352 2852 2408 2320 2364 2220 2424 2732 2836 2220 2860 2828 2260 2280 2412 2480 2264 2492 2232 2800 2772 2664 2852 2696 2748 2828 2740 2812 2452 2700 2760 2308 2352 2756 2584 2736 2512 2540 2832 2916 2676 2556 2716 2676 2800 2788 2780 2328 2376 2856 2340 2624 2820 2280 2320 2596 2220 2328 2312 2448 2260 2916 2428 2864 2268 2788 2732 2396 2596 2356 2876 2224 2300 2800 2492 2804 2636 2336 2828 2780 2756 2540 2484 2584 2756 2864 2436 2580 2828 2680 2284 2568 2348 2400 2700 2444 2796 2532 2772 2760 2620 2884 2308 2352 2916 2320 2280 2288 2672 2468 2496 2808 2756 2824 2772 2244 2320 2824 2328 2872 2876 2664 2376 2812 2824 2260 2404 2224 2684 2428 2732 2384 2620 2556 2328 2580 2696 2624 2260 2752 2860 2364 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 1 1 1 1 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 1 1 1 1 0 0 1 0 1 1 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 0 1 1 1 0 1 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 1 1 1 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1 0 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 1 1 1 1 0 1 1 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 3 0 1 1 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 3 0 1 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 1 0 3 0 0 1 0 0 0 1 0 0 0 3 0 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 3 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 2 0 1 3 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 3 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 3 1 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 3 0 0 0 0 0 1 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 3 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 1 0 0 0 0 0 1 3 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 3 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 3 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 1 0 0 0 1 0 3 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 3 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 3 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 3 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 1 1 0 0 0 0 0 0 1 0 0 2 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 0 0 0 0 1 1 3 0 0 0 1 0 0 0 0 0 0 0 0 3 0 0 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 2 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 3 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 1 0 0 0 0 3 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 2 3 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 3 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 3 0 0 1 0 0 3 0 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 3 1 1 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 1 0 0 3 0 1 0 1 2 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 3 0 1 0 0 3 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 2 0 0 3 3 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 3 1 1 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 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 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 36 100 496 424 60 188 408 508 32 52 420 160 60 124 36 88 516 100 136 364 100 192 32 420 100 104 116 124 72 108 172 284 452 452 28 36 488 364 604 304 428 240 92 536 304 396 516 140 548 424 32 420 192 32 368 40 460 172 416 104 104 384 484 620 516 580 216 384 420 108 92 68 60 628 36 92 272 164 376 156 148 376 696 496 332 596 656 232 152 184 132 528 100 164 308 544 260 228 148 592 440 44 160 396 36 260 356 208 8 68 212 168 112 400 564 344 64 348 196 136 144 124 88 184 220 384 256 88 208 112 540 496 8 60 308 108 44 72 16 408 68 420 60 32 184 656 40 40 116 56 576 176 68 104 616 124 196 44 304 4 104 100 72 452 500 368 156 236 56 72 20 308 284 332 564 148 192 536 124 328 224 600 472 56 560 204 508 140 236 288 256 140 44 532 460 160 352 532 396 444 44 364 236 128 176 72 52 52 352 188 92 308 52 136 284 52 136 280 204 256 264 328 256 340 152 184 152 44 496 104 508 468 388 496 88 548 148 308 76 368 328 112 312 492 484 376 200 276 468 536 300 136 24 260 544 112 508 160 424 52 276 420 168 344 156 80 108 344 568 188 24 592 332 272 104 16 316 484 32 148 184 60 504 56 92 80 92 260 272 128 432 68 72 452 116 160 264 352 200 472 396 184 432 92 196 248 184 60 20 140 32 48 60 108 92 120 532 416 88 372 56 484 572 256 272 24 160 476 72 620 28 256 308 236 44 148 84 264 368 200 144 288 168 208 308 180 44 372 564 136 144 272 232 288 268 288 264 256 320 284 72 84 224 72 100 264 480 352 364 528 72 208 92 252 120 236 40 112 356 180 660 596 556 488 32 520 464 476 608 568 608 268 560 584 532 632 524 468 204 60 204 108 220 264 36 264 376 164 168 308 336 412 576 128 144 696 456 276 656 600 604 512 52 644 456 192 112 264 224 228 88 432 36 392 332 232 260 196 340 340 20 276 188 152 224 296 256 180 316 128 388 348 140 60 344 60 464 116 132 416 56 80 384 80 252 524 480 508 48 180 412 368 164 156 168 240 460 100 488 348 128 24 520 16 68 548 552 96 16 104 472 552 224 280 100 88 280 216 348 184 316 184 416 156 136 144 280 248 192 40 364 240 276 124 292 216 288 516 44 504 476 112 112 188 180 280 148 112 164 232 388 252 204 92 172 40 200 560 184 84 524 656 612 524 392 212 368 464 188 188 100 200 604 12 564 140 504 368 96 384 404 312 88 324 468 360 336 48 124 96 96 400 340 504 84 208 436 560 556 524 240 48 556 108 200 124 184 432 108 208 160 56 208 216 472 368 60 68 36 484 36 24 152 244 48 48 72 316 364 300 392 40 188 324 428 176 212 52 612 376 332 44 652 412 228 232 260 116 160 116 168 140 164 268 140 292 120 176 236 72 672 204 500 616 40 528 64 96 92 96 136 56 140 120 420 68 72 64 128 104 296 280 392 144 72 152 76 224 220 272 376 192 244 352 228 136 232 340 40 64 328 488 112 16 32 56 68 372 240 200 60 80 264 168 244 32 216 316 116 316 56 424 340 396 128 440 104 100 404 120 104 8 88 68 380 656 40 52 232 512 492 112 92 356 64 196 156 136 44 400 88 276 388 564 40 380 72 132 148 224 192 76 380 228 140 420 56 544 312 564 284 108 292 60 308 24 588 508 428 516 596 32 208 536 200 188 228 484 364 132 500 636 376 136 696 336 404 144 380 300 80 120 120 44 336 184 196 44 168 328 112 132 236 516 160 656 384 176 52 448 12 388 348 512 468 492 440 612 96 36 392 324 344 420 128 388 404 28 112 316 140 12 88 440 84 308 220 72 300 196 256 168 124 212 220 328 28 304 208 116 112 100 108 92 468 236 108 60 656 616 572 404 500 52 336 96 176 184 272 132 448 140 320 248 88 544 116 440 140 68 352 140 184 204 260 276 296 144 304 144 144 28 132 348 140 236 404 168 396 288 396 144 272 268 208 116 160 56 28 136 204 288 276 316 476 92 88 124 388 116 76 408 200 244 132 288 368 360 440 96 332 72 44 196 156 36 292 380 148 352 32 372 80 460 496 484 36 576 564 508 348 584 92 284 136 260 324 260 40 116 288 456 368 228 128 192 492 532 528 244 192 576 432 536 204 296 248 72 356 104 292 128 232 228 280 168 24 124 324 300 300 284 164 104 64 236 488 100 356 304 488 88 32 104 332 440 412 464 16 168 108 368 120 224 136 104 44 180 120 316 256 256 236 372 320 140 160 76 204 236 404 204 172 264 40 104 180 348 192 152 184 412 16 152 40 292 28 168 28 200 128 144 224 276 268 436 400 500 344 108 356 92 480 508 124 528 448 268 156 80 28 352 68 124 160 324 224 196 188 84 280 12 644 32 696 364 476 576 476 564 44 468 424 72 432 32 256 548 608 244 160 212 160 92 444 356 448 60 112 72 192 136 56 476 476 16 120 128 92 568 556 48 420 592 192 116 60 604 376 60 320 88 44 476 80 260 80 464 100 136 412 136 304 140 116 372 488 76 360 136 36 500 260 180 456 460 84 324 644 36 324 380 184 276 116 136 168 428 520 72 40 452 596 476 84 12 508 152 168 508 32 424 164 192 256 300 360 368 132 52 288 284 252 188 340 156 332 320 20 120 160 412 64 176 548 212 64 144 88 588 536 472 352 288 124 244 264 40 664 380 656 332 492 636 548 372 532 496 500 60 372 444 184 56 36 452 52 12 536 556 76 364 100 220 312 304 124 52 12 240 288 248 76 240 272 216 200 228 108 192 584 504 380 468 180 568 52 124 436 192 236 104 104 200 356 104 324 12 120 108 52 72 496 132 80 424 32 404 392 96 40 288 32 528 48 496 216 504 152 116 108 552 76 336 524 256 56 588 64 172 112 436 304 408 84 404 176 280 52 220 48 252 316 380 456 412 88 56 224 60 360 380 548 396 72 324 188 696 240 528 420 560 88 244 32 112 292 184 268 316 336 608 100 452 280 328 124 368 364 24 500 580 140 132 172 116 48 96 312 96 228 372 148 148 92 224 260 104 372 460 68 40 492 116 160 384 44 120 288 276 216 568 308 496 124 364 556 432 396 32 88 60 148 316 540 568 236 196 56 80 88 356 560 368 52 384 56 264 300 376 128 48 172 68 628 500 528 472 36 32 176 212 252 256 148 288 180 100 28 68 120 124 484 332 120 116 448 380 536 440 52 40 212 56 564 608 440 116 488 24 504 500 524 616 644 212 536 52 140 364 228 400 184 372 612 388 524 532 100 408 232 436 52 160 408 212 60 172 160 300 252 180 280 224 8 300 464 76 76 64 260 336 140 228 172 4 68 136 344 408 36 92 288 68 420 196 396 116 124 308 468 84 116 424 320 116 8 88 172 120 72 128 440 52 108 48 372 340 80 360 56 212 176 92 232 108 60 84 140 500 432 372 96 592 272 268 404 144 176 332 300 476 216 380 316 60 92 20 140 180 300 112 88 164 408 268 332 132 60 196 164 140 452 60 584 196 424 40 652 120 108 340 116 96 108 220 284 324 100 456 512 372 560 40 16 92 536 216 304 304 12 524 112 20 352 60 436 200 164 464 248 132 140 372 120 132 232 276 108 136 100 216 32 388 244 284 240 400 232 224 336 192 464 136 132 368 68 128 96 328 548 408 364 464 488 592 28 48 400 520 52 376 112 340 276 352 96 444 504 84 292 444 476 528 128 104 316 156 88 92 72 592 104 48 376 424 52 464 304 368 232 168 436 372 608 96 56 540 600 88 112 228 436 300 428 288 116 128 164 56 532 484 440 208 196 364 396 128 104 264 184 116 332 264 188 412 300 108 128 108 72 120 512 568 52 544 352 60 496 80 224 548 412 20 128 384 20 384 216 120 172 48 68 532 248 44 528 648 236 272 148 144 444 424 76 244 136 76 144 64 432 124 56 128 436 388 404 404 12 564 512 400 628 216 28 348 516 304 412 36 544 220 492 300 88 364 264 444 156 212 320 28 424 488 20 136 216 560 536 64 184 520 36 600 496 48 508 516 36 48 56 144 456 476 416 344 208 144 216 452 64 508 48 156 264 280 232 88 568 388 32 372 116 352 200 396 180 16 216 96 544 524 488 76 112 12 236 400 92 28 304 208 388 64 552 60 172 184 320 188 44 68 512 504 244 132 312 160 180 92 452 156 172 248 324 80 156 384 524 24 92 280 300 296 16 256 120 40 348 52 120 444 216 64 424 396 564 76 24 284 376 212 544 292 152 204 68 412 324 344 84 304 64 392 188 468 168 16 108 540 248 360 44 124 24 496 116 232 100 40 24 656 472 628 232 104 68 44 168 412 176 60 508 40 112 276 360 268 56 276 184 112 328 568 632 412 324 28 28 180 48 72 544 580 108 240 16 8 56 164 132 72 92 68 376 220 56 244 112 56 48 96 336 248 244 12 180 468 52 112 376 268 188 200 588 40 148 44 524 536 28 244 188 340 272 64 480 52 40 548 192 336 492 176 616 80 320 600 424 108 360
2520.05/2368.84	v       </values>
2520.05/2368.84	v     </instantiation>
2520.05/2368.84	s SATISFIABLE

Verifier Data 

OK	164105684

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

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

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

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


[startup+0.100092 s]*
/proc/loadavg: 2.23 1.84 1.81 3/207 25856
/proc/meminfo: memFree=9258304/32770624 swapFree=67108404/67108860
[pid=25799] ppid=25796 vsize=10005480 memory=16812 CPUtime=0.08 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25796 25799 21340 0 -1 1077944320 4365 13225 0 0 1 0 4 3 20 0 6 0 226659780 10245611520 4203 33554432000 4194304 4196468 140730312315072 140730312297616 139935330033399 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
/proc/25799/statm: 2501370 4203 1934 1 0 2489808 0
[pid=25799/tid=25852] ppid=25796 vsize=10005480 memory=4279135703946462605 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25852/stat : 25852 (java) R 25796 25799 21340 0 -1 4202560 2169 13225 0 0 0 0 4 3 20 0 6 0 226659789 10245611520 4203 33554432000 4194304 4196468 140730312315072 139935301870160 139935314113916 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25853] ppid=25796 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25853/stat : 25853 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 6 0 226659790 10245611520 4203 33554432000 4194304 4196468 140730312315072 139935334275344 139935330043605 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25854] ppid=25796 vsize=10005480 memory=140012587120256 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25854/stat : 25854 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 6 0 226659790 10245611520 4203 33554432000 4194304 4196468 140730312315072 139935204923792 139935330043605 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25855] ppid=25796 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25855/stat : 25855 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 6 0 226659790 10245611520 4203 33554432000 4194304 4196468 140730312315072 139935203871248 139935330043605 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25856] ppid=25796 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25856/stat : 25856 (java) S 25796 25799 21340 0 -1 1077944384 1 13225 0 0 0 0 4 3 20 0 6 0 226659790 10245611520 4203 33554432000 4194304 4196468 140730312315072 139934867184272 139935330043605 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB

[startup+0.209917 s]*
/proc/loadavg: 2.23 1.84 1.81 3/216 25865
/proc/meminfo: memFree=9235052/32770624 swapFree=67108404/67108860
[pid=25799] ppid=25796 vsize=10982744 memory=44052 CPUtime=0.25 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25796 25799 21340 0 -1 1077944320 7712 13225 0 0 17 1 4 3 20 0 15 0 226659780 11246329856 11013 33554432000 4194304 4196468 140730312315072 140730312297616 139935330033399 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
/proc/25799/statm: 2745686 11013 2951 1 0 2708109 0
[pid=25799/tid=25852] ppid=25796 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/25799/task/25852/stat : 25852 (java) R 25796 25799 21340 0 -1 4202560 4301 13225 0 0 11 1 4 3 20 0 15 0 226659789 11246329856 11013 33554432000 4194304 4196468 140730312315072 139935301848240 139935310310224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25853] ppid=25796 vsize=10982744 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25853/stat : 25853 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 15 0 226659790 11246329856 11013 33554432000 4194304 4196468 140730312315072 139935334275344 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25854] ppid=25796 vsize=10982744 memory=140012587141885 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25854/stat : 25854 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 15 0 226659790 11246329856 11013 33554432000 4194304 4196468 140730312315072 139935204923792 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25855] ppid=25796 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25855/stat : 25855 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 15 0 226659790 11246329856 11013 33554432000 4194304 4196468 140730312315072 139935203871248 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25856] ppid=25796 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25856/stat : 25856 (java) S 25796 25799 21340 0 -1 1077944384 1 13225 0 0 0 0 4 3 20 0 15 0 226659790 11246329856 11079 33554432000 4194304 4196468 140730312315072 139934867184272 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25857] ppid=25796 vsize=10982744 memory=140012587120256 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25857/stat : 25857 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 15 0 226659791 11246329856 11079 33554432000 4194304 4196468 140730312315072 139934823090672 139935330044546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25858] ppid=25796 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25858/stat : 25858 (java) S 25796 25799 21340 0 -1 1077944384 13 13225 0 0 0 0 4 3 20 0 15 0 226659792 11246329856 11079 33554432000 4194304 4196468 140730312315072 139934128137632 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25859] ppid=25796 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25859/stat : 25859 (java) S 25796 25799 21340 0 -1 1077944384 1 13225 0 0 0 0 4 3 20 0 15 0 226659792 11246329856 11079 33554432000 4194304 4196468 140730312315072 139933926811120 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25860] ppid=25796 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25860/stat : 25860 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11246329856 11079 33554432000 4194304 4196468 140730312315072 139933619411664 139935330051995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25861] ppid=25796 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25799/task/25861/stat : 25861 (java) S 25796 25799 21340 0 -1 1077944384 426 13225 0 0 1 0 4 3 20 0 15 0 226659795 11246329856 11079 33554432000 4194304 4196468 140730312315072 139934822037488 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25862] ppid=25796 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25799/task/25862/stat : 25862 (java) S 25796 25799 21340 0 -1 1077944384 186 13225 0 0 1 0 4 3 20 0 15 0 226659795 11246329856 11079 33554432000 4194304 4196468 140730312315072 139934820984944 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25863] ppid=25796 vsize=10982744 memory=140012587120256 CPUtime=0.1 cores=0,2,4,6
/proc/25799/task/25863/stat : 25863 (java) S 25796 25799 21340 0 -1 1077944384 612 13225 0 0 3 0 4 3 20 0 15 0 226659795 11246329856 11079 33554432000 4194304 4196468 140730312315072 139934819932400 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25864] ppid=25796 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25864/stat : 25864 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11246329856 11079 33554432000 4194304 4196468 140730312315072 139933188614752 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25865] ppid=25796 vsize=10982744 memory=140012587120256 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25865/stat : 25865 (java) S 25796 25799 21340 0 -1 1077944384 1 13225 0 0 0 0 4 3 20 0 15 0 226659795 11246329856 11079 33554432000 4194304 4196468 140730312315072 139934818880304 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44052 KiB

[startup+0.31028 s]*
/proc/loadavg: 2.23 1.84 1.81 3/216 25865
/proc/meminfo: memFree=9222648/32770624 swapFree=67108404/67108860
[pid=25799] ppid=25796 vsize=10983192 memory=56340 CPUtime=0.37 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25796 25799 21340 0 -1 1077944320 10642 13225 0 0 28 2 4 3 20 0 15 0 226659780 11246788608 14085 33554432000 4194304 4196468 140730312315072 140730312297616 139935330033399 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
/proc/25799/statm: 2745798 14085 3070 1 0 2708109 0
[pid=25799/tid=25852] ppid=25796 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/25799/task/25852/stat : 25852 (java) R 25796 25799 21340 0 -1 4202560 7181 13225 0 0 19 2 4 3 20 0 15 0 226659789 11246788608 14085 33554432000 4194304 4196468 140730312315072 139935301845408 139935314113886 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25853] ppid=25796 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25853/stat : 25853 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 15 0 226659790 11246788608 14085 33554432000 4194304 4196468 140730312315072 139935334275344 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25854] ppid=25796 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25854/stat : 25854 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 15 0 226659790 11246788608 14085 33554432000 4194304 4196468 140730312315072 139935204923792 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25855] ppid=25796 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25855/stat : 25855 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 15 0 226659790 11246788608 14085 33554432000 4194304 4196468 140730312315072 139935203871248 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25856] ppid=25796 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25856/stat : 25856 (java) S 25796 25799 21340 0 -1 1077944384 1 13225 0 0 0 0 4 3 20 0 15 0 226659790 11246788608 14085 33554432000 4194304 4196468 140730312315072 139934867184272 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25857] ppid=25796 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25857/stat : 25857 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 15 0 226659791 11246788608 14085 33554432000 4194304 4196468 140730312315072 139934823090672 139935330044546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25858] ppid=25796 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25858/stat : 25858 (java) S 25796 25799 21340 0 -1 1077944384 13 13225 0 0 0 0 4 3 20 0 15 0 226659792 11246788608 14085 33554432000 4194304 4196468 140730312315072 139934128137632 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25859] ppid=25796 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25859/stat : 25859 (java) S 25796 25799 21340 0 -1 1077944384 1 13225 0 0 0 0 4 3 20 0 15 0 226659792 11246788608 14085 33554432000 4194304 4196468 140730312315072 139933926811120 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25860] ppid=25796 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25860/stat : 25860 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11246788608 14085 33554432000 4194304 4196468 140730312315072 139933619411664 139935330051995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25861] ppid=25796 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25799/task/25861/stat : 25861 (java) S 25796 25799 21340 0 -1 1077944384 428 13225 0 0 1 0 4 3 20 0 15 0 226659795 11246788608 14085 33554432000 4194304 4196468 140730312315072 139934822037488 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25862] ppid=25796 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/25799/task/25862/stat : 25862 (java) S 25796 25799 21340 0 -1 1077944384 189 13225 0 0 1 0 4 3 20 0 15 0 226659795 11246788608 14085 33554432000 4194304 4196468 140730312315072 139934820984944 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25863] ppid=25796 vsize=10983192 memory=140012587120256 CPUtime=0.12 cores=0,2,4,6
/proc/25799/task/25863/stat : 25863 (java) S 25796 25799 21340 0 -1 1077944384 618 13225 0 0 5 0 4 3 20 0 15 0 226659795 11246788608 14085 33554432000 4194304 4196468 140730312315072 139934819932400 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25864] ppid=25796 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25864/stat : 25864 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11246788608 14085 33554432000 4194304 4196468 140730312315072 139933188614752 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25865] ppid=25796 vsize=10983192 memory=140012587120256 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25865/stat : 25865 (java) S 25796 25799 21340 0 -1 1077944384 1 13225 0 0 0 0 4 3 20 0 15 0 226659795 11246788608 14085 33554432000 4194304 4196468 140730312315072 139934818880304 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56340 KiB

[startup+0.70081 s]
/proc/loadavg: 2.62 1.92 1.84 3/216 25865
/proc/meminfo: memFree=9211608/32770624 swapFree=67108404/67108860
[pid=25799] ppid=25796 vsize=10983192 memory=88548 CPUtime=0.98 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25796 25799 21340 0 -1 1077944320 16772 13225 0 0 87 4 4 3 20 0 15 0 226659780 11246788608 22137 33554432000 4194304 4196468 140730312315072 140730312297616 139935330033399 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
/proc/25799/statm: 2745798 22137 3238 1 0 2708109 0
[pid=25799/tid=25852] ppid=25796 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/25799/task/25852/stat : 25852 (java) R 25796 25799 21340 0 -1 4202560 12304 13225 0 0 56 3 4 3 20 0 15 0 226659789 11246788608 22137 33554432000 4194304 4196468 140730312315072 139935301861280 139935314113886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25853] ppid=25796 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25853/stat : 25853 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 15 0 226659790 11246788608 22137 33554432000 4194304 4196468 140730312315072 139935334275344 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25854] ppid=25796 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25854/stat : 25854 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 15 0 226659790 11246788608 22137 33554432000 4194304 4196468 140730312315072 139935204923792 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25855] ppid=25796 vsize=10983192 memory=140012444332848 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25855/stat : 25855 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 15 0 226659790 11246788608 22137 33554432000 4194304 4196468 140730312315072 139935203871248 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25856] ppid=25796 vsize=10983192 memory=140015933850188 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25856/stat : 25856 (java) S 25796 25799 21340 0 -1 1077944384 1 13225 0 0 0 0 4 3 20 0 15 0 226659790 11246788608 22137 33554432000 4194304 4196468 140730312315072 139934867184272 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25857] ppid=25796 vsize=10983192 memory=4000 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25857/stat : 25857 (java) S 25796 25799 21340 0 -1 1077944384 5 13225 0 0 0 0 4 3 20 0 15 0 226659791 11246788608 22137 33554432000 4194304 4196468 140730312315072 139934823090672 139935330044546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25858] ppid=25796 vsize=10983192 memory=4639098309541128813 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25858/stat : 25858 (java) S 25796 25799 21340 0 -1 1077944384 13 13225 0 0 0 0 4 3 20 0 15 0 226659792 11246788608 22137 33554432000 4194304 4196468 140730312315072 139934128137632 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25859] ppid=25796 vsize=10983192 memory=6082220498126138728 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25859/stat : 25859 (java) S 25796 25799 21340 0 -1 1077944384 1 13225 0 0 0 0 4 3 20 0 15 0 226659792 11246788608 22137 33554432000 4194304 4196468 140730312315072 139933926811120 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25860] ppid=25796 vsize=10983192 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25860/stat : 25860 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11246788608 22137 33554432000 4194304 4196468 140730312315072 139933619411664 139935330051995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25861] ppid=25796 vsize=10983192 memory=34024 CPUtime=0.15 cores=0,2,4,6
/proc/25799/task/25861/stat : 25861 (java) S 25796 25799 21340 0 -1 1077944384 1005 13225 0 0 8 0 4 3 20 0 15 0 226659795 11246788608 22137 33554432000 4194304 4196468 140730312315072 139934822037488 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25862] ppid=25796 vsize=10983192 memory=14644 CPUtime=0.15 cores=0,2,4,6
/proc/25799/task/25862/stat : 25862 (java) S 25796 25799 21340 0 -1 1077944384 562 13225 0 0 8 0 4 3 20 0 15 0 226659795 11246788608 22137 33554432000 4194304 4196468 140730312315072 139934820984944 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25863] ppid=25796 vsize=10983192 memory=1720 CPUtime=0.2 cores=0,2,4,6
/proc/25799/task/25863/stat : 25863 (java) S 25796 25799 21340 0 -1 1077944384 672 13225 0 0 13 0 4 3 20 0 15 0 226659795 11246788608 22137 33554432000 4194304 4196468 140730312315072 139934819932400 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25864] ppid=25796 vsize=10983192 memory=508 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25864/stat : 25864 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11246788608 22137 33554432000 4194304 4196468 140730312315072 139933188614752 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25865] ppid=25796 vsize=10983192 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25865/stat : 25865 (java) S 25796 25799 21340 0 -1 1077944384 1 13225 0 0 0 0 4 3 20 0 15 0 226659795 11246788608 22137 33554432000 4194304 4196468 140730312315072 139934818880304 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88548 KiB

[startup+1.50627 s]
/proc/loadavg: 2.62 1.92 1.84 3/216 25865
/proc/meminfo: memFree=9168500/32770624 swapFree=67108404/67108860
[pid=25799] ppid=25796 vsize=10991872 memory=490728 CPUtime=2.99 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25796 25799 21340 0 -1 1077944320 23600 13225 0 0 257 35 4 3 20 0 15 0 226659780 11255676928 122682 33554432000 4194304 4196468 140730312315072 140730312297616 139935330033399 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
/proc/25799/statm: 2747968 122682 3455 1 0 2709645 0
[pid=25799/tid=25852] ppid=25796 vsize=10991872 memory=64940 CPUtime=1.3 cores=0,2,4,6
/proc/25799/task/25852/stat : 25852 (java) S 25796 25799 21340 0 -1 1077944384 14638 13225 0 0 115 8 4 3 20 0 15 0 226659789 11255676928 122682 33554432000 4194304 4196468 140730312315072 139935301869088 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25853] ppid=25796 vsize=10991872 memory=6791534058613427641 CPUtime=0.16 cores=0,2,4,6
/proc/25799/task/25853/stat : 25853 (java) R 25796 25799 21340 0 -1 4202560 327 13225 0 0 3 6 4 3 20 0 15 0 226659790 11255676928 122682 33554432000 4194304 4196468 140730312315072 139935334275544 139935323133099 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25854] ppid=25796 vsize=10991872 memory=280024888696992 CPUtime=0.17 cores=0,2,4,6
/proc/25799/task/25854/stat : 25854 (java) R 25796 25799 21340 0 -1 4202560 555 13225 0 0 6 4 4 3 20 0 15 0 226659790 11255676928 122682 33554432000 4194304 4196468 140730312315072 139935204923792 139935323136392 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25855] ppid=25796 vsize=10991872 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/25799/task/25855/stat : 25855 (java) R 25796 25799 21340 0 -1 4202560 651 13225 0 0 7 7 4 3 20 0 15 0 226659790 11255676928 122682 33554432000 4194304 4196468 140730312315072 139935203871248 139935323133099 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25856] ppid=25796 vsize=10991872 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/25799/task/25856/stat : 25856 (java) R 25796 25799 21340 0 -1 4202560 514 13225 0 0 7 6 4 3 20 0 15 0 226659790 11255676928 122682 33554432000 4194304 4196468 140730312315072 139934867184272 139935323133172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25857] ppid=25796 vsize=10991872 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25799/task/25857/stat : 25857 (java) S 25796 25799 21340 0 -1 1077944384 129 13225 0 0 1 0 4 3 20 0 15 0 226659791 11255676928 122682 33554432000 4194304 4196468 140730312315072 139934823089216 139935330043605 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25858] ppid=25796 vsize=10991872 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25858/stat : 25858 (java) S 25796 25799 21340 0 -1 1077944384 14 13225 0 0 0 0 4 3 20 0 15 0 226659792 11255676928 122682 33554432000 4194304 4196468 140730312315072 139934128137632 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25859] ppid=25796 vsize=10991872 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25859/stat : 25859 (java) S 25796 25799 21340 0 -1 1077944384 2 13225 0 0 0 0 4 3 20 0 15 0 226659792 11255676928 122682 33554432000 4194304 4196468 140730312315072 139933926811136 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25860] ppid=25796 vsize=10991872 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25860/stat : 25860 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11255676928 122682 33554432000 4194304 4196468 140730312315072 139933619411664 139935330051995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25861] ppid=25796 vsize=10991872 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/25799/task/25861/stat : 25861 (java) S 25796 25799 21340 0 -1 1077944384 2537 13225 0 0 51 0 4 3 20 0 15 0 226659795 11255676928 122682 33554432000 4194304 4196468 140730312315072 139934822022480 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25862] ppid=25796 vsize=10991872 memory=10 CPUtime=0.42 cores=0,2,4,6
/proc/25799/task/25862/stat : 25862 (java) S 25796 25799 21340 0 -1 1077944384 1004 13225 0 0 35 0 4 3 20 0 15 0 226659795 11255676928 122682 33554432000 4194304 4196468 140730312315072 139934820984944 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25863] ppid=25796 vsize=10991872 memory=6791534058613427641 CPUtime=0.35 cores=0,2,4,6
/proc/25799/task/25863/stat : 25863 (java) S 25796 25799 21340 0 -1 1077944384 1026 13225 0 0 28 0 4 3 20 0 15 0 226659795 11255676928 122682 33554432000 4194304 4196468 140730312315072 139934819932400 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25864] ppid=25796 vsize=10991872 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25864/stat : 25864 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11255676928 122682 33554432000 4194304 4196468 140730312315072 139933188614752 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25865] ppid=25796 vsize=10991872 memory=280024888941440 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25865/stat : 25865 (java) S 25796 25799 21340 0 -1 1077944384 1 13225 0 0 0 0 4 3 20 0 15 0 226659795 11255676928 122682 33554432000 4194304 4196468 140730312315072 139934818880304 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 10991872 KiB

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

/proc/25799/task/25852/stat : 25852 (java) R 25796 25799 21340 0 -1 4202560 245797 13225 0 0 215760 72 4 3 20 0 15 0 226659789 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139935301868176 139934900123583 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25853] ppid=25796 vsize=11082080 memory=4838072 CPUtime=41.47 cores=0,2,4,6
/proc/25799/task/25853/stat : 25853 (java) S 25796 25799 21340 0 -1 1077944384 61809 13225 0 0 4040 100 4 3 20 0 15 0 226659790 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139935334275344 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25854] ppid=25796 vsize=11082080 memory=4838072 CPUtime=41.44 cores=0,2,4,6
/proc/25799/task/25854/stat : 25854 (java) S 25796 25799 21340 0 -1 1077944384 63350 13225 0 0 4041 96 4 3 20 0 15 0 226659790 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139935204923792 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25855] ppid=25796 vsize=11082080 memory=4838072 CPUtime=41.38 cores=0,2,4,6
/proc/25799/task/25855/stat : 25855 (java) S 25796 25799 21340 0 -1 1077944384 63933 13225 0 0 4027 104 4 3 20 0 15 0 226659790 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139935203871248 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25856] ppid=25796 vsize=11082080 memory=4838072 CPUtime=41.42 cores=0,2,4,6
/proc/25799/task/25856/stat : 25856 (java) S 25796 25799 21340 0 -1 1077944384 70336 13225 0 0 4037 98 4 3 20 0 15 0 226659790 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934867184272 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25857] ppid=25796 vsize=11082080 memory=4838072 CPUtime=1.94 cores=0,2,4,6
/proc/25799/task/25857/stat : 25857 (java) S 25796 25799 21340 0 -1 1077944384 68455 13225 0 0 176 11 4 3 20 0 15 0 226659791 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934823090672 139935330044546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25858] ppid=25796 vsize=11082080 memory=4837956 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25858/stat : 25858 (java) S 25796 25799 21340 0 -1 1077944384 18 13225 0 0 0 0 4 3 20 0 15 0 226659792 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934128137760 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25859] ppid=25796 vsize=11082080 memory=6005332774266496337 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25859/stat : 25859 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659792 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139933926811136 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25860] ppid=25796 vsize=11082080 memory=4837956 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25860/stat : 25860 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139933619411664 139935330051995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25861] ppid=25796 vsize=11082080 memory=1408 CPUtime=11.47 cores=0,2,4,6
/proc/25799/task/25861/stat : 25861 (java) S 25796 25799 21340 0 -1 1077944384 72085 13225 0 0 1132 8 4 3 20 0 15 0 226659795 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934822037488 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25862] ppid=25796 vsize=11082080 memory=4838072 CPUtime=10.87 cores=0,2,4,6
/proc/25799/task/25862/stat : 25862 (java) S 25796 25799 21340 0 -1 1077944384 59811 13225 0 0 1073 7 4 3 20 0 15 0 226659795 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934820984944 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25863] ppid=25796 vsize=11082080 memory=4838072 CPUtime=3.47 cores=0,2,4,6
/proc/25799/task/25863/stat : 25863 (java) S 25796 25799 21340 0 -1 1077944384 46571 13225 0 0 332 8 4 3 20 0 15 0 226659795 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934819932400 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25864] ppid=25796 vsize=11082080 memory=4838072 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25864/stat : 25864 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139933188614752 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25865] ppid=25796 vsize=11082080 memory=876 CPUtime=1.28 cores=0,2,4,6
/proc/25799/task/25865/stat : 25865 (java) S 25796 25799 21340 0 -1 1077944384 3419 13225 0 0 65 56 4 3 20 0 15 0 226659795 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934818880304 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
Current children cumulated CPU time: 2352.61 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 4838072 KiB

[startup+2262.3 s]
/proc/loadavg: 0.94 1.02 1.61 2/194 26116
/proc/meminfo: memFree=8803640/32770624 swapFree=67108404/67108860
[pid=25799] ppid=25796 vsize=11082080 memory=4838072 CPUtime=2412.93 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25796 25799 21340 0 -1 1077944320 773533 13225 0 0 240731 555 4 3 20 0 15 0 226659780 11348049920 1209518 33554432000 4194304 4196468 140730312315072 140730312297616 139935330033399 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
/proc/25799/statm: 2770520 1209518 3542 1 0 2732173 0
[pid=25799/tid=25852] ppid=25796 vsize=11082080 memory=4838072 CPUtime=2218.27 cores=0,2,4,6
/proc/25799/task/25852/stat : 25852 (java) R 25796 25799 21340 0 -1 4202560 254011 13225 0 0 221747 73 4 3 20 0 15 0 226659789 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139935301867984 139934897004441 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25853] ppid=25796 vsize=11082080 memory=4838072 CPUtime=41.56 cores=0,2,4,6
/proc/25799/task/25853/stat : 25853 (java) S 25796 25799 21340 0 -1 1077944384 62292 13225 0 0 4049 100 4 3 20 0 15 0 226659790 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139935334275344 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25854] ppid=25796 vsize=11082080 memory=4838072 CPUtime=41.53 cores=0,2,4,6
/proc/25799/task/25854/stat : 25854 (java) S 25796 25799 21340 0 -1 1077944384 64317 13225 0 0 4050 96 4 3 20 0 15 0 226659790 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139935204923792 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25855] ppid=25796 vsize=11082080 memory=7 CPUtime=41.47 cores=0,2,4,6
/proc/25799/task/25855/stat : 25855 (java) S 25796 25799 21340 0 -1 1077944384 65974 13225 0 0 4036 104 4 3 20 0 15 0 226659790 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139935203871248 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25856] ppid=25796 vsize=11082080 memory=4838072 CPUtime=41.53 cores=0,2,4,6
/proc/25799/task/25856/stat : 25856 (java) S 25796 25799 21340 0 -1 1077944384 71401 13225 0 0 4047 99 4 3 20 0 15 0 226659790 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934867184272 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25857] ppid=25796 vsize=11082080 memory=6992 CPUtime=1.95 cores=0,2,4,6
/proc/25799/task/25857/stat : 25857 (java) S 25796 25799 21340 0 -1 1077944384 68804 13225 0 0 177 11 4 3 20 0 15 0 226659791 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934823090672 139935330044546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25858] ppid=25796 vsize=11082080 memory=4838072 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25858/stat : 25858 (java) S 25796 25799 21340 0 -1 1077944384 18 13225 0 0 0 0 4 3 20 0 15 0 226659792 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934128137760 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25859] ppid=25796 vsize=11082080 memory=4838072 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25859/stat : 25859 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659792 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139933926811136 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25860] ppid=25796 vsize=11082080 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25860/stat : 25860 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139933619411664 139935330051995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25861] ppid=25796 vsize=11082080 memory=4838072 CPUtime=11.48 cores=0,2,4,6
/proc/25799/task/25861/stat : 25861 (java) S 25796 25799 21340 0 -1 1077944384 74032 13225 0 0 1133 8 4 3 20 0 15 0 226659795 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934822037488 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25862] ppid=25796 vsize=11082080 memory=4838072 CPUtime=10.87 cores=0,2,4,6
/proc/25799/task/25862/stat : 25862 (java) S 25796 25799 21340 0 -1 1077944384 59819 13225 0 0 1073 7 4 3 20 0 15 0 226659795 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934820984944 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25863] ppid=25796 vsize=11082080 memory=4838072 CPUtime=3.47 cores=0,2,4,6
/proc/25799/task/25863/stat : 25863 (java) S 25796 25799 21340 0 -1 1077944384 47166 13225 0 0 332 8 4 3 20 0 15 0 226659795 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934819932400 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25864] ppid=25796 vsize=11082080 memory=4838072 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25864/stat : 25864 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139933188614752 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25865] ppid=25796 vsize=11082080 memory=4838072 CPUtime=1.31 cores=0,2,4,6
/proc/25799/task/25865/stat : 25865 (java) S 25796 25799 21340 0 -1 1077944384 3494 13225 0 0 67 57 4 3 20 0 15 0 226659795 11348049920 1209518 33554432000 4194304 4196468 140730312315072 139934818880304 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
Current children cumulated CPU time: 2412.93 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 4838072 KiB

[startup+2322.3 s]
/proc/loadavg: 0.92 1.00 1.56 2/195 26140
/proc/meminfo: memFree=8803240/32770624 swapFree=67108404/67108860
[pid=25799] ppid=25796 vsize=11082080 memory=4839276 CPUtime=2473.3 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25796 25799 21340 0 -1 1077944320 789594 13225 0 0 246764 559 4 3 20 0 15 0 226659780 11348049920 1209819 33554432000 4194304 4196468 140730312315072 140730312297616 139935330033399 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
/proc/25799/statm: 2770520 1209819 3542 1 0 2732173 0
[pid=25799/tid=25852] ppid=25796 vsize=11082080 memory=4839056 CPUtime=2278.15 cores=0,2,4,6
/proc/25799/task/25852/stat : 25852 (java) R 25796 25799 21340 0 -1 4202560 262209 13225 0 0 227733 75 4 3 20 0 15 0 226659789 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139935301867792 139934907217112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25853] ppid=25796 vsize=11082080 memory=4839056 CPUtime=41.67 cores=0,2,4,6
/proc/25799/task/25853/stat : 25853 (java) S 25796 25799 21340 0 -1 1077944384 64623 13225 0 0 4060 100 4 3 20 0 15 0 226659790 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139935334275344 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25854] ppid=25796 vsize=11082080 memory=4839020 CPUtime=41.64 cores=0,2,4,6
/proc/25799/task/25854/stat : 25854 (java) S 25796 25799 21340 0 -1 1077944384 65430 13225 0 0 4061 96 4 3 20 0 15 0 226659790 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139935204923792 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25855] ppid=25796 vsize=11082080 memory=4839056 CPUtime=41.58 cores=0,2,4,6
/proc/25799/task/25855/stat : 25855 (java) S 25796 25799 21340 0 -1 1077944384 67248 13225 0 0 4047 104 4 3 20 0 15 0 226659790 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139935203871248 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25856] ppid=25796 vsize=11082080 memory=4839056 CPUtime=41.64 cores=0,2,4,6
/proc/25799/task/25856/stat : 25856 (java) S 25796 25799 21340 0 -1 1077944384 72434 13225 0 0 4058 99 4 3 20 0 15 0 226659790 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139934867184272 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25857] ppid=25796 vsize=11082080 memory=4839276 CPUtime=1.96 cores=0,2,4,6
/proc/25799/task/25857/stat : 25857 (java) S 25796 25799 21340 0 -1 1077944384 69162 13225 0 0 178 11 4 3 20 0 15 0 226659791 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139934823090672 139935330044546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25858] ppid=25796 vsize=11082080 memory=3684 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25858/stat : 25858 (java) S 25796 25799 21340 0 -1 1077944384 18 13225 0 0 0 0 4 3 20 0 15 0 226659792 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139934128137760 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25859] ppid=25796 vsize=11082080 memory=61764 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25859/stat : 25859 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659792 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139933926811136 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25860] ppid=25796 vsize=11082080 memory=4839020 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25860/stat : 25860 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139933619411664 139935330051995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25861] ppid=25796 vsize=11082080 memory=4838512 CPUtime=11.48 cores=0,2,4,6
/proc/25799/task/25861/stat : 25861 (java) S 25796 25799 21340 0 -1 1077944384 74036 13225 0 0 1133 8 4 3 20 0 15 0 226659795 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139934822037488 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25862] ppid=25796 vsize=11082080 memory=4839020 CPUtime=10.87 cores=0,2,4,6
/proc/25799/task/25862/stat : 25862 (java) S 25796 25799 21340 0 -1 1077944384 59825 13225 0 0 1073 7 4 3 20 0 15 0 226659795 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139934820984944 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25863] ppid=25796 vsize=11082080 memory=2148 CPUtime=3.48 cores=0,2,4,6
/proc/25799/task/25863/stat : 25863 (java) S 25796 25799 21340 0 -1 1077944384 48883 13225 0 0 333 8 4 3 20 0 15 0 226659795 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139934819932400 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25864] ppid=25796 vsize=11082080 memory=4839056 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25864/stat : 25864 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139933188614752 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25865] ppid=25796 vsize=11082080 memory=4839056 CPUtime=1.35 cores=0,2,4,6
/proc/25799/task/25865/stat : 25865 (java) S 25796 25799 21340 0 -1 1077944384 3521 13225 0 0 69 59 4 3 20 0 15 0 226659795 11348049920 1209819 33554432000 4194304 4196468 140730312315072 139934818880304 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
Current children cumulated CPU time: 2473.3 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 4839276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2368.8 s]
/proc/loadavg: 0.99 1.00 1.54 2/195 26141
/proc/meminfo: memFree=8803492/32770624 swapFree=67108404/67108860
[pid=25799] ppid=25796 vsize=11082080 memory=4839364 CPUtime=2520.05 cores=0,2,4,6
/proc/25799/stat : 25799 (java) S 25796 25799 21340 0 -1 1077944320 803337 13225 0 0 251436 562 4 3 20 0 15 0 226659780 11348049920 1209841 33554432000 4194304 4196468 140730312315072 140730312297616 139935330033399 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
/proc/25799/statm: 2770520 1209841 3542 1 0 2732173 0
[pid=25799/tid=25852] ppid=25796 vsize=11082080 memory=1160 CPUtime=2324.57 cores=0,2,4,6
/proc/25799/task/25852/stat : 25852 (java) R 25796 25799 21340 0 -1 4202560 269287 13225 0 0 232374 76 4 3 20 0 15 0 226659789 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139935301867728 139934907213008 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25853] ppid=25796 vsize=11082080 memory=4839364 CPUtime=41.74 cores=0,2,4,6
/proc/25799/task/25853/stat : 25853 (java) S 25796 25799 21340 0 -1 1077944384 65494 13225 0 0 4067 100 4 3 20 0 15 0 226659790 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139935334275344 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25854] ppid=25796 vsize=11082080 memory=4000 CPUtime=41.71 cores=0,2,4,6
/proc/25799/task/25854/stat : 25854 (java) S 25796 25799 21340 0 -1 1077944384 68005 13225 0 0 4068 96 4 3 20 0 15 0 226659790 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139935204923792 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25855] ppid=25796 vsize=11082080 memory=1156 CPUtime=41.65 cores=0,2,4,6
/proc/25799/task/25855/stat : 25855 (java) S 25796 25799 21340 0 -1 1077944384 67949 13225 0 0 4054 104 4 3 20 0 15 0 226659790 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139935203871248 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25856] ppid=25796 vsize=11082080 memory=6791534058613427641 CPUtime=41.71 cores=0,2,4,6
/proc/25799/task/25856/stat : 25856 (java) S 25796 25799 21340 0 -1 1077944384 72981 13225 0 0 4065 99 4 3 20 0 15 0 226659790 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139934867184272 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25857] ppid=25796 vsize=11082080 memory=928 CPUtime=1.97 cores=0,2,4,6
/proc/25799/task/25857/stat : 25857 (java) S 25796 25799 21340 0 -1 1077944384 69480 13225 0 0 179 11 4 3 20 0 15 0 226659791 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139934823090672 139935330044546 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25858] ppid=25796 vsize=11082080 memory=1172 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25858/stat : 25858 (java) S 25796 25799 21340 0 -1 1077944384 18 13225 0 0 0 0 4 3 20 0 15 0 226659792 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139934128137760 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25859] ppid=25796 vsize=11082080 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25859/stat : 25859 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659792 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139933926811136 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25860] ppid=25796 vsize=11082080 memory=4639948313719891052 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25860/stat : 25860 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139933619411664 139935330051995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25861] ppid=25796 vsize=11082080 memory=7235147594880805952 CPUtime=11.48 cores=0,2,4,6
/proc/25799/task/25861/stat : 25861 (java) S 25796 25799 21340 0 -1 1077944384 74039 13225 0 0 1133 8 4 3 20 0 15 0 226659795 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139934822037488 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25862] ppid=25796 vsize=11082080 memory=4639948313719891052 CPUtime=10.87 cores=0,2,4,6
/proc/25799/task/25862/stat : 25862 (java) S 25796 25799 21340 0 -1 1077944384 61427 13225 0 0 1073 7 4 3 20 0 15 0 226659795 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139934820984944 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25863] ppid=25796 vsize=11082080 memory=4839364 CPUtime=3.48 cores=0,2,4,6
/proc/25799/task/25863/stat : 25863 (java) S 25796 25799 21340 0 -1 1077944384 48887 13225 0 0 333 8 4 3 20 0 15 0 226659795 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139934819932400 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25864] ppid=25796 vsize=11082080 memory=1616 CPUtime=0.07 cores=0,2,4,6
/proc/25799/task/25864/stat : 25864 (java) S 25796 25799 21340 0 -1 1077944384 3 13225 0 0 0 0 4 3 20 0 15 0 226659795 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139933188614752 139935330043605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
[pid=25799/tid=25865] ppid=25796 vsize=11082080 memory=4839364 CPUtime=1.37 cores=0,2,4,6
/proc/25799/task/25865/stat : 25865 (java) S 25796 25799 21340 0 -1 1077944384 3565 13225 0 0 70 60 4 3 20 0 15 0 226659795 11348049920 1209841 33554432000 4194304 4196468 140730312315072 139934818880304 139935330044546 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18726912 140730312321636 140730312324444 140730312324444 140730312327119 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 4839364 KiB

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

[startup+2368.88 s]
# the end of solver process 25799 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.45 s, system=5.69191 s

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

Child status: 143
Real time (s): 2368.88
CPU time (s): 2520.14
CPU user time (s): 2514.45
CPU system time (s): 5.69191
CPU usage (%): 106.386
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 4961100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.45
system time used= 5.69191
maximum resident set size= 4961104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 819772
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72785
involuntary context switches= 5286


# summary of solver processes directly reported to runsolver:
#   pid: 25799
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2514.45
#   total CPU system time (s): 5.69191

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4326 second user time and 20.9296 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-12 18:22:46
IDJOB=4304440
IDBENCH=141268
IDSOLVER=2781
FILE ID=node148/4304440-1534090966
RUNJOBID= node148-1534062012-21371
PBS_JOBID= 21036979
Free space on /tmp= 33748 MiB

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

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

MD5SUM BENCH= a5fe7a04cb5002912ef3d870057982e3
RANDOM SEED=510902976

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         9264772 kB
MemAvailable:   28122456 kB
Buffers:          249652 kB
Cached:         18581840 kB
SwapCached:          352 kB
Active:         12691272 kB
Inactive:        9970792 kB
Active(anon):    3781684 kB
Inactive(anon):   101192 kB
Active(file):    8909588 kB
Inactive(file):  9869600 kB
Unevictable:        7340 kB
Mlocked:            7340 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:            174420 kB
Writeback:             0 kB
AnonPages:       3837608 kB
Mapped:            67536 kB
Shmem:             49592 kB
Slab:             535016 kB
SReclaimable:     506956 kB
SUnreclaim:        28060 kB
KernelStack:        3520 kB
PageTables:        12884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4880708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3567616 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 33816 MiB
End job on node148 at 2018-08-12 19:02:15