Trace number 4293933

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.8 2018-06-13SAT (TO)163762036 2520.1 2459.35

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.99/0.74	c Concrete v3.8.1528841891564 running
145.66/109.47	o 163863048
146.42/109.81	o 163863047
146.42/109.85	o 163863046
146.66/109.90	o 163842834
146.66/109.93	o 163842833
146.66/109.97	o 163842832
146.79/110.01	o 163842831
1745.87/1695.64	o 163782279
1745.87/1695.69	o 163782276
1745.97/1695.74	o 163782274
1745.97/1695.78	o 163782273
1746.15/1695.83	o 163782272
1746.15/1695.88	o 163782271
1746.26/1695.92	o 163782270
1746.26/1695.98	o 163782268
1746.36/1696.08	o 163782267
1746.45/1696.12	o 163782266
1746.62/1696.21	o 163782265
1746.62/1696.29	o 163782264
1747.05/1696.43	o 163782263
1747.27/1696.60	o 163782262
1747.27/1696.69	o 163782261
1747.60/1696.98	o 163782259
1748.63/1697.92	o 163782258
1749.96/1699.25	o 163782257
1750.06/1699.30	o 163782256
1753.01/1702.22	o 163782255
1756.49/1705.69	o 163782254
1759.34/1708.47	o 163782253
1762.26/1711.32	o 163762047
1762.26/1711.37	o 163762046
1762.36/1711.42	o 163762045
1762.36/1711.47	o 163762044
1762.58/1711.60	o 163762043
1762.69/1711.76	o 163762042
1762.79/1711.88	o 163762041
1762.90/1711.99	o 163762040
1763.01/1712.04	o 163762039
1763.30/1712.36	o 163762038
1763.40/1712.48	o 163762037
1763.50/1712.53	o 163762036
2520.02/2459.32	Exception in thread "main" java.util.concurrent.TimeoutException
2520.02/2459.32		at concrete.MAC.mac(MAC.scala:188)
2520.02/2459.32		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2459.32		at scala.util.Try$.apply(Try.scala:209)
2520.02/2459.32		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2459.32		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2459.32		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2459.32		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2459.32		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2459.32		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2459.32		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2459.32		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2459.32		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2459.32		at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2459.32		at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2459.32		at concrete.MAC.nextSolution(MAC.scala:355)
2520.02/2459.32		at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2459.32		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2459.32		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2459.32		at concrete.Solver.foreach(Solver.scala:68)
2520.02/2459.32		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2459.32		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2459.32		at scala.util.Success.map(Try.scala:209)
2520.02/2459.32		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2459.32		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2459.32		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2459.32		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2459.32		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2459.32		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2459.32		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2459.32		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2459.32		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2459.32		at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2459.32		at scala.App.main(App.scala:76)
2520.02/2459.32		at scala.App.main$(App.scala:74)
2520.02/2459.32		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2459.32		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2459.33	v <instantiation cost="163762036">
2520.02/2459.33	v       <list>
2520.02/2459.33	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.02/2459.33	v       </list>
2520.02/2459.33	v       <values>
2520.02/2459.33	v         2408 2844 2716 2320 2876 2876 2864 2280 2260 2588 2220 2448 2460 2804 2408 2884 2648 2880 2852 2376 2268 2492 2616 2372 2336 2716 2840 2436 2808 2416 2716 2492 2784 2276 2568 2876 2596 2284 2620 2912 2824 2696 2220 2904 2532 2564 2696 2844 2844 2576 2312 2328 2640 2620 2836 2536 2796 2524 2860 2220 2268 2284 2844 2900 2780 2704 2536 2260 2680 2688 2816 2736 2376 2736 2520 2756 2624 2748 2844 2264 2740 2224 2832 2680 2248 2292 2816 2432 2480 2776 2796 2820 2736 2676 2548 2376 2408 2308 2308 2636 2444 2708 2524 2304 2652 2444 2680 2836 2844 2596 2700 2344 2472 2584 2308 2436 2320 2348 2696 2564 2584 2496 2520 2416 2676 2348 2560 2264 2792 2232 2600 2860 2456 2260 2364 2684 2376 2844 2280 2884 2608 2908 2728 2868 2816 2624 2908 2832 2824 2640 2520 2556 2876 2476 2756 2776 2408 2304 2304 2284 2660 2736 2764 2816 2916 2260 2220 2420 2860 2432 2796 2836 2552 2224 2804 2592 2572 2892 2768 2856 2580 2288 2432 2860 2868 2456 2656 2344 2640 2884 2584 2288 2480 2416 2376 2604 2448 2776 2376 2296 2324 2768 2876 2436 2736 2692 2684 2876 2428 2416 2504 2824 2328 2868 2328 2532 2828 2544 2576 2456 2708 2868 2884 2804 2448 2440 2392 2376 2396 2320 2308 2244 2360 2788 2448 2868 2636 2388 2872 2696 2576 2440 2484 2292 2352 2316 2260 2360 2664 2776 2824 2900 2720 2412 2464 2324 2408 2424 2280 2916 2392 2320 2288 2368 2416 2732 2828 2252 2864 2864 2472 2280 2400 2484 2272 2552 2324 2916 2776 2716 2848 2756 2732 2856 2740 2784 2512 2692 2760 2260 2368 2824 2584 2740 2432 2592 2820 2876 2676 2556 2700 2660 2800 2816 2776 2348 2416 2828 2332 2620 2840 2280 2320 2560 2320 2344 2328 2448 2240 2752 2416 2872 2220 2868 2732 2420 2596 2288 2792 2220 2304 2808 2552 2828 2728 2336 2828 2780 2748 2552 2220 2604 2756 2868 2380 2576 2820 2688 2288 2564 2348 2416 2696 2260 2780 2512 2772 2724 2656 2884 2308 2396 2876 2324 2344 2308 2644 2452 2512 2844 2740 2804 2772 2264 2304 2864 2332 2816 2916 2660 2376 2836 2828 2260 2408 2220 2708 2416 2748 2384 2624 2564 2328 2632 2700 2616 2292 2756 2880 2364 0 1 1 1 1 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 1 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 3 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 1 1 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 3 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 3 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 1 0 0 1 0 0 3 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 3 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 2 3 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 2 0 0 0 0 3 2 1 0 0 0 0 0 0 3 0 1 0 0 0 0 3 0 0 0 1 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 3 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 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 0 0 0 0 0 0 3 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 3 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 3 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 3 1 0 0 0 0 0 0 0 3 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 3 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 1 0 1 0 0 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 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 3 0 1 0 0 1 0 0 0 0 0 0 3 1 0 0 3 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 1 0 1 0 3 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 3 0 1 1 0 0 0 0 0 0 0 0 1 0 0 3 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 3 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 3 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 3 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 2 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 3 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 2 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 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 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 3 0 0 0 0 0 0 0 3 2 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 40 84 504 412 60 144 416 468 8 120 412 156 60 104 32 60 580 68 164 348 76 264 68 396 168 200 116 120 12 108 168 268 356 244 24 40 496 368 580 304 416 152 56 536 284 372 508 136 552 420 24 428 260 36 384 52 568 196 468 40 184 460 548 656 548 612 240 432 484 144 144 104 80 644 32 100 284 156 380 172 56 316 536 428 192 544 580 176 160 80 88 544 116 184 336 556 292 244 272 608 440 44 224 320 68 364 280 260 12 76 144 192 128 416 580 412 44 332 232 136 156 128 160 156 188 424 196 88 208 96 544 496 80 28 320 48 44 68 124 380 76 412 60 32 188 620 24 48 116 60 592 188 40 112 592 128 252 52 232 8 44 176 48 388 280 280 144 428 12 72 24 316 240 408 560 144 172 528 120 324 332 420 504 24 628 248 524 164 240 304 304 128 32 532 492 168 364 376 404 444 40 576 428 80 76 116 44 48 392 168 64 312 52 172 272 80 140 272 200 260 268 372 328 336 160 212 164 44 532 112 404 464 228 472 92 544 152 396 28 368 328 60 352 528 432 260 112 164 368 532 276 148 16 264 548 108 504 132 388 60 240 420 36 340 168 88 112 336 560 172 16 588 324 216 68 20 296 480 76 156 104 108 500 32 96 136 92 228 292 128 492 100 76 456 60 236 260 428 160 452 412 228 284 184 188 204 268 80 40 84 92 60 108 128 108 124 524 352 100 368 64 456 564 232 248 8 140 456 72 516 12 284 284 260 72 168 64 348 200 248 164 224 188 212 224 180 100 372 548 136 144 268 236 288 220 288 276 252 280 340 20 132 236 76 40 312 552 424 416 596 76 312 40 240 156 224 96 120 400 360 664 604 564 536 52 340 476 464 596 576 576 200 580 564 504 504 480 440 208 56 252 224 240 288 76 276 408 108 92 304 300 420 664 132 68 656 440 292 696 644 496 596 12 684 512 260 148 100 272 152 124 304 84 344 272 168 312 224 332 272 84 272 156 140 284 284 240 176 272 160 388 348 140 60 408 60 372 88 124 352 60 108 388 92 220 516 396 500 40 56 256 240 272 104 120 296 544 24 556 424 20 52 516 20 108 532 540 64 20 120 448 464 252 320 52 208 316 256 332 164 296 204 368 136 156 100 316 228 72 72 404 108 308 172 336 256 192 532 96 472 556 180 156 180 176 292 244 108 236 236 352 252 208 144 184 24 160 532 152 164 580 492 588 492 640 200 304 476 196 196 156 228 548 36 608 188 536 452 144 488 432 352 48 460 512 444 320 92 76 104 132 404 340 500 76 208 432 556 536 540 200 40 536 84 260 204 168 680 56 156 140 76 200 196 456 364 48 84 76 520 24 120 104 340 224 148 44 396 308 200 320 52 128 240 348 192 272 128 516 420 300 40 616 400 292 252 184 160 96 200 176 168 156 192 144 292 228 140 428 68 568 132 440 512 60 408 100 24 48 96 212 56 124 140 408 64 92 68 128 108 268 280 404 56 92 160 108 324 268 348 268 296 124 256 308 228 156 340 128 48 308 496 68 20 112 80 72 376 52 248 68 72 336 176 184 48 196 320 124 356 28 444 364 420 148 412 204 160 416 152 144 24 96 88 416 652 44 64 288 508 480 76 24 456 208 252 212 168 108 484 96 360 376 572 16 384 84 132 112 304 96 20 456 188 96 360 76 544 308 568 328 148 292 56 268 32 584 484 408 536 592 32 220 536 220 256 260 512 192 144 252 396 164 144 444 132 184 68 296 316 64 104 92 32 340 152 176 72 180 348 96 116 96 412 116 556 224 80 52 360 20 404 348 508 464 476 384 452 80 40 388 320 328 412 88 368 400 24 148 300 192 32 20 404 140 256 456 76 344 220 188 220 100 288 76 296 68 320 184 92 216 88 108 108 452 244 136 48 428 452 248 308 352 80 188 120 28 148 104 88 492 244 336 212 100 568 116 424 140 116 352 128 200 192 348 288 308 152 332 148 132 44 184 372 140 232 380 176 388 292 384 172 336 148 116 40 300 68 96 208 284 216 200 180 460 128 72 96 356 104 56 348 232 236 76 212 408 360 400 172 348 128 44 184 116 88 328 440 128 372 36 372 96 460 496 480 28 584 564 508 332 584 104 264 148 272 124 324 60 4 292 332 440 252 128 480 432 516 480 260 168 532 428 572 128 332 444 144 352 324 276 128 232 304 280 184 28 64 432 392 272 240 120 128 104 236 496 68 356 300 524 124 20 108 372 468 376 488 16 188 120 372 88 180 124 108 28 244 140 300 236 244 216 312 344 144 180 60 244 176 332 272 72 272 40 188 172 264 176 256 100 308 80 204 40 260 60 144 56 72 72 120 256 176 344 460 388 484 308 108 356 88 300 324 72 348 536 256 156 100 40 344 68 128 196 276 264 136 168 128 232 44 580 40 572 312 492 516 436 560 136 472 504 72 504 36 252 544 588 220 236 56 300 116 272 184 292 100 124 64 200 128 24 460 380 16 136 108 108 568 544 48 460 656 252 156 60 612 468 44 372 84 36 464 84 292 20 440 104 144 380 120 272 232 172 352 464 44 288 96 56 500 284 220 440 540 48 252 524 16 292 624 156 240 128 136 168 412 636 88 40 452 512 476 84 24 596 192 176 604 56 504 184 216 276 232 348 580 120 168 488 280 320 136 424 508 420 424 104 132 228 404 84 172 536 208 80 48 84 492 528 468 364 328 68 204 320 32 604 356 684 328 376 628 548 400 544 508 512 72 384 456 184 56 52 504 44 32 480 564 84 380 92 208 320 296 108 64 16 192 348 212 80 240 308 220 268 212 108 192 532 436 392 484 120 568 72 120 360 188 164 100 88 244 352 60 352 20 120 92 108 16 440 80 20 416 88 392 460 104 28 300 44 588 12 428 148 436 152 112 108 612 84 424 560 260 92 580 52 116 204 380 260 400 140 332 108 280 80 184 44 232 332 192 456 484 88 76 212 64 356 380 456 416 76 596 192 696 148 520 432 628 88 272 36 128 296 188 252 372 260 644 100 424 320 448 184 400 408 56 420 616 128 120 168 112 32 144 336 64 244 408 128 164 144 212 244 88 380 460 72 56 412 28 80 324 20 136 252 284 204 604 340 516 160 392 460 388 348 16 44 64 108 292 496 460 144 108 136 20 68 476 640 492 72 472 36 368 352 464 172 60 180 80 536 508 552 480 20 24 188 140 248 236 152 236 172 88 40 160 124 112 484 336 40 160 424 328 444 408 100 40 144 20 532 640 480 136 492 8 428 480 588 396 544 152 536 64 128 348 264 460 272 408 404 396 348 460 36 380 420 296 20 76 476 300 144 264 168 292 272 240 244 224 20 332 500 160 128 20 184 112 276 132 96 24 64 136 344 448 96 108 284 52 468 212 236 128 52 296 304 84 96 456 360 88 36 44 24 92 132 128 428 72 116 48 356 324 80 396 52 188 188 108 192 56 76 92 144 476 484 392 136 616 244 256 432 120 164 340 304 316 216 288 344 40 120 4 180 116 280 148 88 124 356 228 276 232 92 68 200 196 344 72 632 156 364 124 656 136 120 396 124 96 108 364 136 352 96 504 516 376 564 56 36 64 520 184 328 276 48 548 136 40 332 212 340 88 292 508 252 128 184 356 172 116 216 324 164 144 284 216 92 300 196 312 252 460 204 204 360 216 296 156 96 420 96 60 16 320 544 392 292 436 460 584 72 88 292 468 120 384 120 332 308 344 52 400 444 112 324 424 476 480 136 152 368 156 12 108 44 640 68 152 416 468 80 420 356 340 184 208 420 384 508 92 84 524 648 88 128 232 396 272 440 272 128 140 116 44 544 436 328 112 136 280 276 36 92 256 160 120 300 252 196 384 316 92 112 76 60 108 512 552 52 524 364 40 464 28 140 484 340 52 108 404 48 372 216 116 68 52 24 488 168 40 492 680 212 308 208 144 504 408 56 212 116 88 140 148 500 124 104 168 440 360 396 544 52 472 588 404 696 188 52 432 508 300 412 32 548 296 540 372 108 216 148 292 196 312 332 28 424 468 24 136 204 528 504 36 156 532 60 572 500 88 544 536 8 72 92 156 228 460 420 336 224 136 216 428 72 500 40 216 196 220 292 144 476 332 36 360 60 388 156 496 496 28 120 92 540 520 484 16 88 8 300 384 116 28 360 228 344 132 492 80 108 216 260 260 68 68 580 576 228 148 292 228 176 80 452 144 276 276 276 64 144 372 512 24 72 256 300 316 4 280 104 56 312 40 120 512 196 68 424 392 596 52 20 264 368 204 468 276 196 216 40 568 316 340 68 316 100 364 172 548 144 16 24 404 132 312 108 52 20 516 88 240 100 64 48 636 508 444 44 96 96 32 160 468 40 108 524 40 132 224 320 240 44 272 264 164 420 484 528 508 312 20 36 92 72 88 568 608 128 188 12 8 56 168 128 72 88 80 660 240 80 308 124 48 96 72 368 260 272 68 356 452 92 92 340 260 188 176 544 40 128 40 528 520 16 228 236 392 292 28 516 112 64 552 140 368 532 116 624 88 372 620 416 132 332
2520.02/2459.33	v       </values>
2520.02/2459.33	v     </instantiation>
2520.02/2459.33	s SATISFIABLE

Verifier Data 

OK	163762036

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293933-1532390859/watcher-4293933-1532390859 -o /tmp/evaluation-result-4293933-1532390859/solver-4293933-1532390859 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15152 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=583705530 HOME/instance-4293933-1532390859.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=18494, runsolver pid=18491
Current StackSize limit: 8192 KiB


[startup+0.10078 s]*
/proc/loadavg: 1.54 1.61 1.62 2/206 18551
/proc/meminfo: memFree=20197692/32770624 swapFree=67108860/67108860
[pid=18494] ppid=18491 vsize=9972712 memory=17076 CPUtime=0.09 cores=0,2,4,6
/proc/18494/stat : 18494 (java) S 18491 18494 15121 0 -1 1077944320 4401 12785 0 0 1 1 5 2 20 0 6 0 56649177 10212057088 4269 33554432000 4194304 4196468 140736794892288 140736794874832 140610495196919 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
/proc/18494/statm: 2493178 4269 1934 1 0 2481616 0
[pid=18494/tid=18547] ppid=18491 vsize=9972712 memory=4279135704013962638 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18547/stat : 18547 (java) R 18491 18494 15121 0 -1 4202560 2219 12785 0 0 0 0 5 2 20 0 6 0 56649186 10212057088 4269 33554432000 4194304 4196468 140736794892288 140610467033680 140610495218845 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18548] ppid=18491 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18548/stat : 18548 (java) S 18491 18494 15121 0 -1 1077944384 2 12785 0 0 0 0 5 2 20 0 6 0 56649187 10212057088 4269 33554432000 4194304 4196468 140736794892288 140610499438992 140610495207125 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18549] ppid=18491 vsize=9972712 memory=140474878248576 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18549/stat : 18549 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 6 0 56649187 10212057088 4269 33554432000 4194304 4196468 140736794892288 140610387712272 140610495207125 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18550] ppid=18491 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18550/stat : 18550 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 6 0 56649187 10212057088 4269 33554432000 4194304 4196468 140736794892288 140610386659984 140610495207125 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18551] ppid=18491 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18551/stat : 18551 (java) S 18491 18494 15121 0 -1 1077944384 2 12785 0 0 0 0 5 2 20 0 6 0 56649187 10212057088 4269 33554432000 4194304 4196468 140736794892288 140610385607184 140610495207125 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB

[startup+0.210027 s]*
/proc/loadavg: 1.54 1.61 1.62 3/215 18560
/proc/meminfo: memFree=20174808/32770624 swapFree=67108860/67108860
[pid=18494] ppid=18491 vsize=10818904 memory=40912 CPUtime=0.26 cores=0,2,4,6
/proc/18494/stat : 18494 (java) S 18491 18494 15121 0 -1 1077944320 7952 12785 0 0 17 2 5 2 20 0 15 0 56649177 11078557696 10228 33554432000 4194304 4196468 140736794892288 140736794874832 140610495196919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
/proc/18494/statm: 2704726 10228 2954 1 0 2667149 0
[pid=18494/tid=18547] ppid=18491 vsize=10818904 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/18494/task/18547/stat : 18547 (java) R 18491 18494 15121 0 -1 4202560 4573 12785 0 0 10 1 5 2 20 0 15 0 56649186 11078557696 10294 33554432000 4194304 4196468 140736794892288 140610466993648 140610475472747 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18548] ppid=18491 vsize=10818904 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18548/stat : 18548 (java) S 18491 18494 15121 0 -1 1077944384 2 12785 0 0 0 0 5 2 20 0 15 0 56649187 11078557696 10294 33554432000 4194304 4196468 140736794892288 140610499438992 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18549] ppid=18491 vsize=10818904 memory=140474878248576 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18549/stat : 18549 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 15 0 56649187 11078557696 10294 33554432000 4194304 4196468 140736794892288 140610387712272 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18550] ppid=18491 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18550/stat : 18550 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 15 0 56649187 11078557696 10294 33554432000 4194304 4196468 140736794892288 140610386659984 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18551] ppid=18491 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18551/stat : 18551 (java) S 18491 18494 15121 0 -1 1077944384 2 12785 0 0 0 0 5 2 20 0 15 0 56649187 11078557696 10294 33554432000 4194304 4196468 140736794892288 140610385607184 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18552] ppid=18491 vsize=10818904 memory=140474878248576 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18552/stat : 18552 (java) S 18491 18494 15121 0 -1 1077944384 2 12785 0 0 0 0 5 2 20 0 15 0 56649188 11078557696 10294 33554432000 4194304 4196468 140736794892288 140609498573424 140610495208066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18553] ppid=18491 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18553/stat : 18553 (java) S 18491 18494 15121 0 -1 1077944384 33 12785 0 0 0 0 5 2 20 0 15 0 56649189 11078557696 10294 33554432000 4194304 4196468 140736794892288 140609497519392 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18554] ppid=18491 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18554/stat : 18554 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 15 0 56649189 11078557696 10294 33554432000 4194304 4196468 140736794892288 140609377527408 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18555] ppid=18491 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18555/stat : 18555 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11078557696 10294 33554432000 4194304 4196468 140736794892288 140609070127696 140610495215515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18556] ppid=18491 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18494/task/18556/stat : 18556 (java) S 18491 18494 15121 0 -1 1077944384 426 12785 0 0 1 0 5 2 20 0 15 0 56649192 11078557696 10294 33554432000 4194304 4196468 140736794892288 140609463961712 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18557] ppid=18491 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18494/task/18557/stat : 18557 (java) S 18491 18494 15121 0 -1 1077944384 183 12785 0 0 1 0 5 2 20 0 15 0 56649192 11078557696 10294 33554432000 4194304 4196468 140736794892288 140609462908912 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18558] ppid=18491 vsize=10818904 memory=140474878248576 CPUtime=0.1 cores=0,2,4,6
/proc/18494/task/18558/stat : 18558 (java) S 18491 18494 15121 0 -1 1077944384 608 12785 0 0 3 0 5 2 20 0 15 0 56649192 11078557696 10294 33554432000 4194304 4196468 140736794892288 140609461856624 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18559] ppid=18491 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18559/stat : 18559 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11078557696 10294 33554432000 4194304 4196468 140736794892288 140609036569056 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18560] ppid=18491 vsize=10818904 memory=140474878248576 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18560/stat : 18560 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 15 0 56649192 11078557696 10294 33554432000 4194304 4196468 140736794892288 140609460804528 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 40912 KiB

[startup+0.310231 s]*
/proc/loadavg: 1.54 1.61 1.62 3/215 18560
/proc/meminfo: memFree=20165688/32770624 swapFree=67108860/67108860
[pid=18494] ppid=18491 vsize=10819352 memory=51888 CPUtime=0.38 cores=0,2,4,6
/proc/18494/stat : 18494 (java) S 18491 18494 15121 0 -1 1077944320 10566 12785 0 0 29 2 5 2 20 0 15 0 56649177 11079016448 12972 33554432000 4194304 4196468 140736794892288 140736794874832 140610495196919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
/proc/18494/statm: 2704838 12972 3073 1 0 2667149 0
[pid=18494/tid=18547] ppid=18491 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/18494/task/18547/stat : 18547 (java) R 18491 18494 15121 0 -1 4202560 7096 12785 0 0 19 1 5 2 20 0 15 0 56649186 11079016448 12972 33554432000 4194304 4196468 140736794892288 140610467008928 140610476570469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18548] ppid=18491 vsize=10819352 memory=7300986251812819024 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18548/stat : 18548 (java) S 18491 18494 15121 0 -1 1077944384 2 12785 0 0 0 0 5 2 20 0 15 0 56649187 11079016448 12972 33554432000 4194304 4196468 140736794892288 140610499438992 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18549] ppid=18491 vsize=10819352 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18549/stat : 18549 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 15 0 56649187 11079016448 12972 33554432000 4194304 4196468 140736794892288 140610387712272 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18550] ppid=18491 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18550/stat : 18550 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 15 0 56649187 11079016448 12972 33554432000 4194304 4196468 140736794892288 140610386659984 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18551] ppid=18491 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18551/stat : 18551 (java) S 18491 18494 15121 0 -1 1077944384 2 12785 0 0 0 0 5 2 20 0 15 0 56649187 11079016448 12972 33554432000 4194304 4196468 140736794892288 140610385607184 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18552] ppid=18491 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18552/stat : 18552 (java) S 18491 18494 15121 0 -1 1077944384 2 12785 0 0 0 0 5 2 20 0 15 0 56649188 11079016448 12972 33554432000 4194304 4196468 140736794892288 140609498573424 140610495208066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18553] ppid=18491 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18553/stat : 18553 (java) S 18491 18494 15121 0 -1 1077944384 33 12785 0 0 0 0 5 2 20 0 15 0 56649189 11079016448 12972 33554432000 4194304 4196468 140736794892288 140609497519392 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18554] ppid=18491 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18554/stat : 18554 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 15 0 56649189 11079016448 12972 33554432000 4194304 4196468 140736794892288 140609377527408 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18555] ppid=18491 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18555/stat : 18555 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11079016448 12972 33554432000 4194304 4196468 140736794892288 140609070127696 140610495215515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18556] ppid=18491 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18494/task/18556/stat : 18556 (java) S 18491 18494 15121 0 -1 1077944384 426 12785 0 0 1 0 5 2 20 0 15 0 56649192 11079016448 12972 33554432000 4194304 4196468 140736794892288 140609463961712 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18557] ppid=18491 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18494/task/18557/stat : 18557 (java) S 18491 18494 15121 0 -1 1077944384 184 12785 0 0 1 0 5 2 20 0 15 0 56649192 11079016448 12972 33554432000 4194304 4196468 140736794892288 140609462908912 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18558] ppid=18491 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18494/task/18558/stat : 18558 (java) S 18491 18494 15121 0 -1 1077944384 618 12785 0 0 5 0 5 2 20 0 15 0 56649192 11079016448 12972 33554432000 4194304 4196468 140736794892288 140609461856624 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18559] ppid=18491 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18559/stat : 18559 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11079016448 12972 33554432000 4194304 4196468 140736794892288 140609036569056 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18560] ppid=18491 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18560/stat : 18560 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 15 0 56649192 11079016448 12972 33554432000 4194304 4196468 140736794892288 140609460804528 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51888 KiB

[startup+0.700794 s]
/proc/loadavg: 1.54 1.61 1.62 4/215 18560
/proc/meminfo: memFree=20156256/32770624 swapFree=67108860/67108860
[pid=18494] ppid=18491 vsize=10819352 memory=84244 CPUtime=0.99 cores=0,2,4,6
/proc/18494/stat : 18494 (java) S 18491 18494 15121 0 -1 1077944320 16799 12785 0 0 88 4 5 2 20 0 15 0 56649177 11079016448 21061 33554432000 4194304 4196468 140736794892288 140736794874832 140610495196919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
/proc/18494/statm: 2704838 21061 3238 1 0 2667149 0
[pid=18494/tid=18547] ppid=18491 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/18494/task/18547/stat : 18547 (java) R 18491 18494 15121 0 -1 4202560 12189 12785 0 0 56 3 5 2 20 0 15 0 56649186 11079016448 21061 33554432000 4194304 4196468 140736794892288 140610466999200 140610478383687 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18548] ppid=18491 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18548/stat : 18548 (java) S 18491 18494 15121 0 -1 1077944384 2 12785 0 0 0 0 5 2 20 0 15 0 56649187 11079016448 21061 33554432000 4194304 4196468 140736794892288 140610499438992 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18549] ppid=18491 vsize=10819352 memory=4136 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18549/stat : 18549 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 15 0 56649187 11079016448 21061 33554432000 4194304 4196468 140736794892288 140610387712272 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18550] ppid=18491 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18550/stat : 18550 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 15 0 56649187 11079016448 21061 33554432000 4194304 4196468 140736794892288 140610386659984 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18551] ppid=18491 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18551/stat : 18551 (java) S 18491 18494 15121 0 -1 1077944384 2 12785 0 0 0 0 5 2 20 0 15 0 56649187 11079016448 21061 33554432000 4194304 4196468 140736794892288 140610385607184 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18552] ppid=18491 vsize=10819352 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18552/stat : 18552 (java) S 18491 18494 15121 0 -1 1077944384 5 12785 0 0 0 0 5 2 20 0 15 0 56649188 11079016448 21061 33554432000 4194304 4196468 140736794892288 140609498573424 140610495208066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18553] ppid=18491 vsize=10819352 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18553/stat : 18553 (java) S 18491 18494 15121 0 -1 1077944384 33 12785 0 0 0 0 5 2 20 0 15 0 56649189 11079016448 21061 33554432000 4194304 4196468 140736794892288 140609497519392 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18554] ppid=18491 vsize=10819352 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18554/stat : 18554 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 15 0 56649189 11079016448 21061 33554432000 4194304 4196468 140736794892288 140609377527408 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18555] ppid=18491 vsize=10819352 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18555/stat : 18555 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11079016448 21061 33554432000 4194304 4196468 140736794892288 140609070127696 140610495215515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18556] ppid=18491 vsize=10819352 memory=13252 CPUtime=0.16 cores=0,2,4,6
/proc/18494/task/18556/stat : 18556 (java) S 18491 18494 15121 0 -1 1077944384 1089 12785 0 0 9 0 5 2 20 0 15 0 56649192 11079016448 21061 33554432000 4194304 4196468 140736794892288 140609463961712 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18557] ppid=18491 vsize=10819352 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/18494/task/18557/stat : 18557 (java) S 18491 18494 15121 0 -1 1077944384 575 12785 0 0 8 0 5 2 20 0 15 0 56649192 11079016448 21061 33554432000 4194304 4196468 140736794892288 140609462908912 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18558] ppid=18491 vsize=10819352 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/18494/task/18558/stat : 18558 (java) S 18491 18494 15121 0 -1 1077944384 701 12785 0 0 13 0 5 2 20 0 15 0 56649192 11079016448 21061 33554432000 4194304 4196468 140736794892288 140609461856624 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18559] ppid=18491 vsize=10819352 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18559/stat : 18559 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11079016448 21061 33554432000 4194304 4196468 140736794892288 140609036569056 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18560] ppid=18491 vsize=10819352 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18560/stat : 18560 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 15 0 56649192 11079016448 21061 33554432000 4194304 4196468 140736794892288 140609460804528 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84244 KiB

[startup+1.50161 s]
/proc/loadavg: 1.54 1.61 1.62 3/215 18560
/proc/meminfo: memFree=20132488/32770624 swapFree=67108860/67108860
[pid=18494] ppid=18491 vsize=10828032 memory=462964 CPUtime=3 cores=0,2,4,6
/proc/18494/stat : 18494 (java) S 18491 18494 15121 0 -1 1077944320 23274 12785 0 0 253 40 5 2 20 0 15 0 56649177 11087904768 115741 33554432000 4194304 4196468 140736794892288 140736794874832 140610495196919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
/proc/18494/statm: 2707008 115741 3446 1 0 2668685 0
[pid=18494/tid=18547] ppid=18491 vsize=10828032 memory=0 CPUtime=1.31 cores=0,2,4,6
/proc/18494/task/18547/stat : 18547 (java) S 18491 18494 15121 0 -1 1077944384 14525 12785 0 0 114 10 5 2 20 0 15 0 56649186 11087904768 115741 33554432000 4194304 4196468 140736794892288 140610467032608 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18548] ppid=18491 vsize=10828032 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/18494/task/18548/stat : 18548 (java) R 18491 18494 15121 0 -1 4202560 262 12785 0 0 5 6 5 2 20 0 15 0 56649187 11087904768 115741 33554432000 4194304 4196468 140736794892288 140610499438880 140610488299636 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18549] ppid=18491 vsize=10828032 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/18494/task/18549/stat : 18549 (java) R 18491 18494 15121 0 -1 4202560 322 12785 0 0 6 7 5 2 20 0 15 0 56649187 11087904768 115741 33554432000 4194304 4196468 140736794892288 140610387712272 140610487825127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18550] ppid=18491 vsize=10828032 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/18494/task/18550/stat : 18550 (java) R 18491 18494 15121 0 -1 4202560 444 12785 0 0 6 6 5 2 20 0 15 0 56649187 11087904768 115741 33554432000 4194304 4196468 140736794892288 140610386660184 140610487825127 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18551] ppid=18491 vsize=10828032 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/18494/task/18551/stat : 18551 (java) R 18491 18494 15121 0 -1 4202560 115 12785 0 0 6 5 5 2 20 0 15 0 56649187 11087904768 115741 33554432000 4194304 4196468 140736794892288 140610385607384 140610487825127 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18552] ppid=18491 vsize=10828032 memory=1399103955520229747 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18552/stat : 18552 (java) S 18491 18494 15121 0 -1 1077944384 93 12785 0 0 0 0 5 2 20 0 15 0 56649188 11087904768 115741 33554432000 4194304 4196468 140736794892288 140609498571936 140610495207125 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18553] ppid=18491 vsize=10828032 memory=280949514381568 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18553/stat : 18553 (java) S 18491 18494 15121 0 -1 1077944384 33 12785 0 0 0 0 5 2 20 0 15 0 56649189 11087904768 115741 33554432000 4194304 4196468 140736794892288 140609497519392 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18554] ppid=18491 vsize=10828032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18554/stat : 18554 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649189 11087904768 115741 33554432000 4194304 4196468 140736794892288 140609377527408 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18555] ppid=18491 vsize=10828032 memory=1228 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18555/stat : 18555 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11087904768 115741 33554432000 4194304 4196468 140736794892288 140609070127696 140610495215515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18556] ppid=18491 vsize=10828032 memory=1704 CPUtime=0.43 cores=0,2,4,6
/proc/18494/task/18556/stat : 18556 (java) S 18491 18494 15121 0 -1 1077944384 2173 12785 0 0 36 0 5 2 20 0 15 0 56649192 11087904768 115741 33554432000 4194304 4196468 140736794892288 140609463961712 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18557] ppid=18491 vsize=10828032 memory=9924 CPUtime=0.55 cores=0,2,4,6
/proc/18494/task/18557/stat : 18557 (java) S 18491 18494 15121 0 -1 1077944384 2049 12785 0 0 48 0 5 2 20 0 15 0 56649192 11087904768 115741 33554432000 4194304 4196468 140736794892288 140609462893904 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18558] ppid=18491 vsize=10828032 memory=5788 CPUtime=0.36 cores=0,2,4,6
/proc/18494/task/18558/stat : 18558 (java) S 18491 18494 15121 0 -1 1077944384 1057 12785 0 0 29 0 5 2 20 0 15 0 56649192 11087904768 115741 33554432000 4194304 4196468 140736794892288 140609461856624 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18559] ppid=18491 vsize=10828032 memory=1936 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18559/stat : 18559 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11087904768 115741 33554432000 4194304 4196468 140736794892288 140609036569056 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18560] ppid=18491 vsize=10828032 memory=1196 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18560/stat : 18560 (java) S 18491 18494 15121 0 -1 1077944384 1 12785 0 0 0 0 5 2 20 0 15 0 56649192 11087904768 115741 33554432000 4194304 4196468 140736794892288 140609460804528 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 10828032 KiB

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

/proc/18494/task/18547/stat : 18547 (java) R 18491 18494 15121 0 -1 4202560 217870 12785 0 0 230882 66 5 2 20 0 15 0 56649186 11180277760 444472 33554432000 4194304 4196468 140736794892288 140610467027024 140610080798430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18548] ppid=18491 vsize=10918240 memory=16102554786335041 CPUtime=11.49 cores=0,2,4,6
/proc/18494/task/18548/stat : 18548 (java) S 18491 18494 15121 0 -1 1077944384 25285 12785 0 0 1063 79 5 2 20 0 15 0 56649187 11180277760 444472 33554432000 4194304 4196468 140736794892288 140610499438992 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18549] ppid=18491 vsize=10918240 memory=920 CPUtime=11.48 cores=0,2,4,6
/proc/18494/task/18549/stat : 18549 (java) S 18491 18494 15121 0 -1 1077944384 25752 12785 0 0 1066 75 5 2 20 0 15 0 56649187 11180277760 444472 33554432000 4194304 4196468 140736794892288 140610387712272 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18550] ppid=18491 vsize=10918240 memory=3848 CPUtime=11.51 cores=0,2,4,6
/proc/18494/task/18550/stat : 18550 (java) S 18491 18494 15121 0 -1 1077944384 29798 12785 0 0 1064 80 5 2 20 0 15 0 56649187 11180277760 444472 33554432000 4194304 4196468 140736794892288 140610386659984 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18551] ppid=18491 vsize=10918240 memory=2900 CPUtime=11.5 cores=0,2,4,6
/proc/18494/task/18551/stat : 18551 (java) S 18491 18494 15121 0 -1 1077944384 32589 12785 0 0 1067 76 5 2 20 0 15 0 56649187 11180277760 444472 33554432000 4194304 4196468 140736794892288 140610385607184 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18552] ppid=18491 vsize=10918240 memory=2796 CPUtime=1.09 cores=0,2,4,6
/proc/18494/task/18552/stat : 18552 (java) S 18491 18494 15121 0 -1 1077944384 23870 12785 0 0 87 15 5 2 20 0 15 0 56649188 11180277760 444472 33554432000 4194304 4196468 140736794892288 140609498573424 140610495208066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18553] ppid=18491 vsize=10918240 memory=4100 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18553/stat : 18553 (java) S 18491 18494 15121 0 -1 1077944384 48 12785 0 0 0 0 5 2 20 0 15 0 56649189 11180277760 444472 33554432000 4194304 4196468 140736794892288 140609497519520 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18554] ppid=18491 vsize=10918240 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18554/stat : 18554 (java) S 18491 18494 15121 0 -1 1077944384 12 12785 0 0 0 0 5 2 20 0 15 0 56649189 11180277760 444472 33554432000 4194304 4196468 140736794892288 140609377527424 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18555] ppid=18491 vsize=10918240 memory=3300 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18555/stat : 18555 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11180277760 444472 33554432000 4194304 4196468 140736794892288 140609070127696 140610495215515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18556] ppid=18491 vsize=10918240 memory=1783528 CPUtime=10.02 cores=0,2,4,6
/proc/18494/task/18556/stat : 18556 (java) S 18491 18494 15121 0 -1 1077944384 84795 12785 0 0 987 8 5 2 20 0 15 0 56649192 11180277760 444472 33554432000 4194304 4196468 140736794892288 140609463961712 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18557] ppid=18491 vsize=10918240 memory=1408 CPUtime=9.91 cores=0,2,4,6
/proc/18494/task/18557/stat : 18557 (java) S 18491 18494 15121 0 -1 1077944384 75050 12785 0 0 976 8 5 2 20 0 15 0 56649192 11180277760 444472 33554432000 4194304 4196468 140736794892288 140609462908912 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18558] ppid=18491 vsize=10918240 memory=3164 CPUtime=3.45 cores=0,2,4,6
/proc/18494/task/18558/stat : 18558 (java) S 18491 18494 15121 0 -1 1077944384 60385 12785 0 0 331 7 5 2 20 0 15 0 56649192 11180277760 444472 33554432000 4194304 4196468 140736794892288 140609461856624 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18559] ppid=18491 vsize=10918240 memory=4616 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18559/stat : 18559 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11180277760 444472 33554432000 4194304 4196468 140736794892288 140609036569056 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18560] ppid=18491 vsize=10918240 memory=4616 CPUtime=1.5 cores=0,2,4,6
/proc/18494/task/18560/stat : 18560 (java) S 18491 18494 15121 0 -1 1077944384 3551 12785 0 0 68 75 5 2 20 0 15 0 56649192 11180277760 444472 33554432000 4194304 4196468 140736794892288 140609460804528 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
Current children cumulated CPU time: 2380.99 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1777888 KiB

[startup+2382.3 s]
/proc/loadavg: 1.48 1.60 1.66 3/215 18916
/proc/meminfo: memFree=18369820/32770624 swapFree=67108860/67108860
[pid=18494] ppid=18491 vsize=10918240 memory=1815684 CPUtime=2441.91 cores=0,2,4,6
/proc/18494/stat : 18494 (java) S 18491 18494 15121 0 -1 1077944320 590131 12785 0 0 243702 482 5 2 20 0 15 0 56649177 11180277760 453921 33554432000 4194304 4196468 140736794892288 140736794874832 140610495196919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
/proc/18494/statm: 2729560 453921 3535 1 0 2691213 0
[pid=18494/tid=18547] ppid=18491 vsize=10918240 memory=2420 CPUtime=2369.2 cores=0,2,4,6
/proc/18494/task/18547/stat : 18547 (java) R 18491 18494 15121 0 -1 4202560 221378 12785 0 0 236846 67 5 2 20 0 15 0 56649186 11180277760 453921 33554432000 4194304 4196468 140736794892288 140610467026384 140610076640953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18548] ppid=18491 vsize=10918240 memory=1292 CPUtime=11.79 cores=0,2,4,6
/proc/18494/task/18548/stat : 18548 (java) S 18491 18494 15121 0 -1 1077944384 25700 12785 0 0 1090 82 5 2 20 0 15 0 56649187 11180277760 453921 33554432000 4194304 4196468 140736794892288 140610499438992 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18549] ppid=18491 vsize=10918240 memory=1728 CPUtime=11.78 cores=0,2,4,6
/proc/18494/task/18549/stat : 18549 (java) S 18491 18494 15121 0 -1 1077944384 26163 12785 0 0 1094 77 5 2 20 0 15 0 56649187 11180277760 453921 33554432000 4194304 4196468 140736794892288 140610387712272 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18550] ppid=18491 vsize=10918240 memory=796 CPUtime=11.8 cores=0,2,4,6
/proc/18494/task/18550/stat : 18550 (java) S 18491 18494 15121 0 -1 1077944384 30856 12785 0 0 1091 82 5 2 20 0 15 0 56649187 11180277760 453921 33554432000 4194304 4196468 140736794892288 140610386659984 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18551] ppid=18491 vsize=10918240 memory=1580 CPUtime=11.8 cores=0,2,4,6
/proc/18494/task/18551/stat : 18551 (java) S 18491 18494 15121 0 -1 1077944384 32934 12785 0 0 1094 79 5 2 20 0 15 0 56649187 11180277760 453921 33554432000 4194304 4196468 140736794892288 140610385607184 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18552] ppid=18491 vsize=10918240 memory=2240 CPUtime=1.12 cores=0,2,4,6
/proc/18494/task/18552/stat : 18552 (java) S 18491 18494 15121 0 -1 1077944384 24229 12785 0 0 90 15 5 2 20 0 15 0 56649188 11180277760 453921 33554432000 4194304 4196468 140736794892288 140609498573424 140610495208066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18553] ppid=18491 vsize=10918240 memory=1821840 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18553/stat : 18553 (java) S 18491 18494 15121 0 -1 1077944384 48 12785 0 0 0 0 5 2 20 0 15 0 56649189 11180277760 453921 33554432000 4194304 4196468 140736794892288 140609497519520 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18554] ppid=18491 vsize=10918240 memory=2200 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18554/stat : 18554 (java) S 18491 18494 15121 0 -1 1077944384 12 12785 0 0 0 0 5 2 20 0 15 0 56649189 11180277760 453921 33554432000 4194304 4196468 140736794892288 140609377527424 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18555] ppid=18491 vsize=10918240 memory=7528 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18555/stat : 18555 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11180277760 453921 33554432000 4194304 4196468 140736794892288 140609070127696 140610495215515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18556] ppid=18491 vsize=10918240 memory=844 CPUtime=10.03 cores=0,2,4,6
/proc/18494/task/18556/stat : 18556 (java) S 18491 18494 15121 0 -1 1077944384 86229 12785 0 0 988 8 5 2 20 0 15 0 56649192 11180277760 453921 33554432000 4194304 4196468 140736794892288 140609463961712 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18557] ppid=18491 vsize=10918240 memory=1800 CPUtime=9.92 cores=0,2,4,6
/proc/18494/task/18557/stat : 18557 (java) S 18491 18494 15121 0 -1 1077944384 75840 12785 0 0 977 8 5 2 20 0 15 0 56649192 11180277760 453921 33554432000 4194304 4196468 140736794892288 140609462908912 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18558] ppid=18491 vsize=10918240 memory=920 CPUtime=3.45 cores=0,2,4,6
/proc/18494/task/18558/stat : 18558 (java) S 18491 18494 15121 0 -1 1077944384 60968 12785 0 0 331 7 5 2 20 0 15 0 56649192 11180277760 453921 33554432000 4194304 4196468 140736794892288 140609461856624 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18559] ppid=18491 vsize=10918240 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18559/stat : 18559 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11180277760 453921 33554432000 4194304 4196468 140736794892288 140609036569056 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18560] ppid=18491 vsize=10918240 memory=2900 CPUtime=1.54 cores=0,2,4,6
/proc/18494/task/18560/stat : 18560 (java) S 18491 18494 15121 0 -1 1077944384 3575 12785 0 0 70 77 5 2 20 0 15 0 56649192 11180277760 453921 33554432000 4194304 4196468 140736794892288 140609460804528 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
Current children cumulated CPU time: 2441.91 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1815684 KiB

[startup+2442.3 s]
/proc/loadavg: 1.69 1.64 1.67 3/215 18917
/proc/meminfo: memFree=18537932/32770624 swapFree=67108860/67108860
[pid=18494] ppid=18491 vsize=10918240 memory=1651820 CPUtime=2502.77 cores=0,2,4,6
/proc/18494/stat : 18494 (java) S 18491 18494 15121 0 -1 1077944320 593733 12785 0 0 249785 485 5 2 20 0 15 0 56649177 11180277760 412955 33554432000 4194304 4196468 140736794892288 140736794874832 140610495196919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
/proc/18494/statm: 2729560 412955 3535 1 0 2691213 0
[pid=18494/tid=18547] ppid=18491 vsize=10918240 memory=302022895662793015 CPUtime=2428.86 cores=0,2,4,6
/proc/18494/task/18547/stat : 18547 (java) R 18491 18494 15121 0 -1 4202560 222362 12785 0 0 242812 67 5 2 20 0 15 0 56649186 11180277760 412955 33554432000 4194304 4196468 140736794892288 140610467032352 140610080798639 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18548] ppid=18491 vsize=10918240 memory=16102554786335041 CPUtime=12.06 cores=0,2,4,6
/proc/18494/task/18548/stat : 18548 (java) S 18491 18494 15121 0 -1 1077944384 25975 12785 0 0 1117 82 5 2 20 0 15 0 56649187 11180277760 412955 33554432000 4194304 4196468 140736794892288 140610499438992 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18549] ppid=18491 vsize=10918240 memory=7595110096576210802 CPUtime=12.06 cores=0,2,4,6
/proc/18494/task/18549/stat : 18549 (java) S 18491 18494 15121 0 -1 1077944384 26540 12785 0 0 1121 78 5 2 20 0 15 0 56649187 11180277760 412955 33554432000 4194304 4196468 140736794892288 140610387712272 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18550] ppid=18491 vsize=10918240 memory=7381797156419823720 CPUtime=12.07 cores=0,2,4,6
/proc/18494/task/18550/stat : 18550 (java) S 18491 18494 15121 0 -1 1077944384 31149 12785 0 0 1118 82 5 2 20 0 15 0 56649187 11180277760 412955 33554432000 4194304 4196468 140736794892288 140610386659984 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18551] ppid=18491 vsize=10918240 memory=5860987879314321769 CPUtime=12.07 cores=0,2,4,6
/proc/18494/task/18551/stat : 18551 (java) S 18491 18494 15121 0 -1 1077944384 33191 12785 0 0 1121 79 5 2 20 0 15 0 56649187 11180277760 412955 33554432000 4194304 4196468 140736794892288 140610385607184 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18552] ppid=18491 vsize=10918240 memory=5860987879314321769 CPUtime=1.17 cores=0,2,4,6
/proc/18494/task/18552/stat : 18552 (java) S 18491 18494 15121 0 -1 1077944384 24429 12785 0 0 94 16 5 2 20 0 15 0 56649188 11180277760 412955 33554432000 4194304 4196468 140736794892288 140609498573424 140610495208066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18553] ppid=18491 vsize=10918240 memory=7516884263848076913 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18553/stat : 18553 (java) S 18491 18494 15121 0 -1 1077944384 48 12785 0 0 0 0 5 2 20 0 15 0 56649189 11180277760 412955 33554432000 4194304 4196468 140736794892288 140609497519520 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18554] ppid=18491 vsize=10918240 memory=8172176525100607591 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18554/stat : 18554 (java) S 18491 18494 15121 0 -1 1077944384 12 12785 0 0 0 0 5 2 20 0 15 0 56649189 11180277760 412955 33554432000 4194304 4196468 140736794892288 140609377527424 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18555] ppid=18491 vsize=10918240 memory=7381797156419823720 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18555/stat : 18555 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11180277760 412955 33554432000 4194304 4196468 140736794892288 140609070127696 140610495215515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18556] ppid=18491 vsize=10918240 memory=8172176525100607591 CPUtime=10.04 cores=0,2,4,6
/proc/18494/task/18556/stat : 18556 (java) S 18491 18494 15121 0 -1 1077944384 86555 12785 0 0 989 8 5 2 20 0 15 0 56649192 11180277760 412955 33554432000 4194304 4196468 140736794892288 140609463961712 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18557] ppid=18491 vsize=10918240 memory=7516884263848076913 CPUtime=9.93 cores=0,2,4,6
/proc/18494/task/18557/stat : 18557 (java) S 18491 18494 15121 0 -1 1077944384 76284 12785 0 0 978 8 5 2 20 0 15 0 56649192 11180277760 412955 33554432000 4194304 4196468 140736794892288 140609462908912 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18558] ppid=18491 vsize=10918240 memory=7100839878645619564 CPUtime=3.46 cores=0,2,4,6
/proc/18494/task/18558/stat : 18558 (java) S 18491 18494 15121 0 -1 1077944384 61397 12785 0 0 332 7 5 2 20 0 15 0 56649192 11180277760 412955 33554432000 4194304 4196468 140736794892288 140609461856624 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18559] ppid=18491 vsize=10918240 memory=7751995073768813331 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18559/stat : 18559 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11180277760 412955 33554432000 4194304 4196468 140736794892288 140609036569056 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18560] ppid=18491 vsize=10918240 memory=4572164749098055210 CPUtime=1.57 cores=0,2,4,6
/proc/18494/task/18560/stat : 18560 (java) S 18491 18494 15121 0 -1 1077944384 3592 12785 0 0 71 79 5 2 20 0 15 0 56649192 11180277760 412955 33554432000 4194304 4196468 140736794892288 140609460804528 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
Current children cumulated CPU time: 2502.77 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1651820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2459.3 s]
/proc/loadavg: 1.63 1.63 1.67 3/215 18918
/proc/meminfo: memFree=18563964/32770624 swapFree=67108860/67108860
[pid=18494] ppid=18491 vsize=10918240 memory=1625656 CPUtime=2520.02 cores=0,2,4,6
/proc/18494/stat : 18494 (java) S 18491 18494 15121 0 -1 1077944320 593989 12785 0 0 251509 486 5 2 20 0 15 0 56649177 11180277760 406414 33554432000 4194304 4196468 140736794892288 140736794874832 140610495196919 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
/proc/18494/statm: 2729560 406414 3535 1 0 2691213 0
[pid=18494/tid=18547] ppid=18491 vsize=10918240 memory=1638996 CPUtime=2445.76 cores=0,2,4,6
/proc/18494/task/18547/stat : 18547 (java) R 18491 18494 15121 0 -1 4202560 222592 12785 0 0 244502 67 5 2 20 0 15 0 56649186 11180277760 406414 33554432000 4194304 4196468 140736794892288 140610467032544 140610090048385 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18548] ppid=18491 vsize=10918240 memory=1687728 CPUtime=12.14 cores=0,2,4,6
/proc/18494/task/18548/stat : 18548 (java) S 18491 18494 15121 0 -1 1077944384 25979 12785 0 0 1125 82 5 2 20 0 15 0 56649187 11180277760 406414 33554432000 4194304 4196468 140736794892288 140610499438992 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18549] ppid=18491 vsize=10918240 memory=1936 CPUtime=12.14 cores=0,2,4,6
/proc/18494/task/18549/stat : 18549 (java) S 18491 18494 15121 0 -1 1077944384 26548 12785 0 0 1129 78 5 2 20 0 15 0 56649187 11180277760 406414 33554432000 4194304 4196468 140736794892288 140610387712272 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18550] ppid=18491 vsize=10918240 memory=1196 CPUtime=12.15 cores=0,2,4,6
/proc/18494/task/18550/stat : 18550 (java) S 18491 18494 15121 0 -1 1077944384 31156 12785 0 0 1126 82 5 2 20 0 15 0 56649187 11180277760 406414 33554432000 4194304 4196468 140736794892288 140610386659984 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18551] ppid=18491 vsize=10918240 memory=280949514833408 CPUtime=12.15 cores=0,2,4,6
/proc/18494/task/18551/stat : 18551 (java) S 18491 18494 15121 0 -1 1077944384 33198 12785 0 0 1129 79 5 2 20 0 15 0 56649187 11180277760 406414 33554432000 4194304 4196468 140736794892288 140610385607184 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18552] ppid=18491 vsize=10918240 memory=0 CPUtime=1.19 cores=0,2,4,6
/proc/18494/task/18552/stat : 18552 (java) S 18491 18494 15121 0 -1 1077944384 24429 12785 0 0 96 16 5 2 20 0 15 0 56649188 11180277760 406414 33554432000 4194304 4196468 140736794892288 140609498573424 140610495208066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18553] ppid=18491 vsize=10918240 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18553/stat : 18553 (java) S 18491 18494 15121 0 -1 1077944384 48 12785 0 0 0 0 5 2 20 0 15 0 56649189 11180277760 406414 33554432000 4194304 4196468 140736794892288 140609497519520 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18554] ppid=18491 vsize=10918240 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18554/stat : 18554 (java) S 18491 18494 15121 0 -1 1077944384 12 12785 0 0 0 0 5 2 20 0 15 0 56649189 11180277760 406414 33554432000 4194304 4196468 140736794892288 140609377527424 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18555] ppid=18491 vsize=10918240 memory=576460758198939444 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18555/stat : 18555 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11180277760 406414 33554432000 4194304 4196468 140736794892288 140609070127696 140610495215515 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18556] ppid=18491 vsize=10918240 memory=576587670020715552 CPUtime=10.04 cores=0,2,4,6
/proc/18494/task/18556/stat : 18556 (java) S 18491 18494 15121 0 -1 1077944384 86555 12785 0 0 989 8 5 2 20 0 15 0 56649192 11180277760 406414 33554432000 4194304 4196468 140736794892288 140609463961712 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18557] ppid=18491 vsize=10918240 memory=280945958129172 CPUtime=9.93 cores=0,2,4,6
/proc/18494/task/18557/stat : 18557 (java) S 18491 18494 15121 0 -1 1077944384 76284 12785 0 0 978 8 5 2 20 0 15 0 56649192 11180277760 406414 33554432000 4194304 4196468 140736794892288 140609462908912 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18558] ppid=18491 vsize=10918240 memory=7309167735419596644 CPUtime=3.46 cores=0,2,4,6
/proc/18494/task/18558/stat : 18558 (java) S 18491 18494 15121 0 -1 1077944384 61397 12785 0 0 332 7 5 2 20 0 15 0 56649192 11180277760 406414 33554432000 4194304 4196468 140736794892288 140609461856624 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18559] ppid=18491 vsize=10918240 memory=7309167735419596644 CPUtime=0.07 cores=0,2,4,6
/proc/18494/task/18559/stat : 18559 (java) S 18491 18494 15121 0 -1 1077944384 3 12785 0 0 0 0 5 2 20 0 15 0 56649192 11180277760 406414 33554432000 4194304 4196468 140736794892288 140609036569056 140610495207125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
[pid=18494/tid=18560] ppid=18491 vsize=10918240 memory=6791534058613427641 CPUtime=1.59 cores=0,2,4,6
/proc/18494/task/18560/stat : 18560 (java) S 18491 18494 15121 0 -1 1077944384 3592 12785 0 0 72 80 5 2 20 0 15 0 56649192 11180277760 406414 33554432000 4194304 4196468 140736794892288 140609460804528 140610495208066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 29 0 0 6293624 6294260 17821696 140736794897007 140736794899804 140736794899804 140736794902479 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1625656 KiB

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

[startup+2459.35 s]
# the end of solver process 18494 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.2 s, system=4.90558 s

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

Child status: 143
Real time (s): 2459.35
CPU time (s): 2520.1
CPU user time (s): 2515.2
CPU system time (s): 4.90558
CPU usage (%): 102.47
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 4230300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.2
system time used= 4.90558
maximum resident set size= 4234396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 607639
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79978
involuntary context switches= 3352


# summary of solver processes directly reported to runsolver:
#   pid: 18494
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.2
#   total CPU system time (s): 4.90558

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1544 second user time and 23.3973 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-24 02:07:40
IDJOB=4293933
IDBENCH=141268
IDSOLVER=2750
FILE ID=node105/4293933-1532390859
RUNJOBID= node105-1532371073-15152
PBS_JOBID= 21021573
Free space on /tmp= 44588 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test03-0400_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293933-1532390859/watcher-4293933-1532390859 -o /tmp/evaluation-result-4293933-1532390859/solver-4293933-1532390859 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15152 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=583705530 HOME/instance-4293933-1532390859.xml

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

MD5SUM BENCH= a5fe7a04cb5002912ef3d870057982e3
RANDOM SEED=583705530

node105.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.32
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.32
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.32
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.32
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:        20201472 kB
MemAvailable:   28395460 kB
Buffers:          205716 kB
Cached:          8131696 kB
SwapCached:            0 kB
Active:          5211696 kB
Inactive:        6673520 kB
Active(anon):    3501884 kB
Inactive(anon):    65652 kB
Active(file):    1709812 kB
Inactive(file):  6607868 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             59792 kB
Writeback:         79472 kB
AnonPages:       3555152 kB
Mapped:            50676 kB
Shmem:             17036 kB
Slab:             376688 kB
SReclaimable:     304768 kB
SUnreclaim:        71920 kB
KernelStack:        3488 kB
PageTables:        12080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4119252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3266560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44512 MiB
End job on node105 at 2018-07-24 02:48:40