Trace number 4401447

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.12.2SAT (TO)525314977 2400.18 2098.48

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-05-0350_c18.xml
MD5SUM51b7f32ab0afbf3da7a228f765e579fa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark521763735
Best CPU time to get the best result obtained on this benchmark2400.14
Satisfiable
(Un)Satisfiability was proved
Number of variables7232
Number of constraints4665
Number of domains18
Minimum domain size1
Maximum domain size135
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}]
Minimum variable degree2
Maximum variable degree2178
Distribution of variable degrees[{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}]
Number of extensional constraints4665
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4665}]
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.75/0.55	c Concrete v3.12.2.1568631193530 running
686.68/405.67	o 525315002
686.96/405.73	o 525314994
686.96/405.75	o 525314985
686.96/405.78	o 525314984
687.21/405.80	o 525314978
687.21/405.82	o 525314977
2400.08/2098.43	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2400.08/2098.43		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2400.08/2098.43		at concrete.heuristic.value.BestCost.$anonfun$select$1(BestCost.scala:55)
2400.08/2098.43		at concrete.BitVectorDomain.$anonfun$filterBounds$1(BitVectorDomain.scala:27)
2400.08/2098.43		at bitvectors.LargeBitVector.filterBounds(LargeBitVector.scala:267)
2400.08/2098.43		at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:27)
2400.08/2098.43		at concrete.BitVectorDomain.filterBounds(BitVectorDomain.scala:8)
2400.08/2098.43		at concrete.heuristic.value.BestCost.select(BestCost.scala:55)
2400.08/2098.43		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.08/2098.43		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.08/2098.43		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.08/2098.43		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.08/2098.43		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.08/2098.43		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.08/2098.43		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.08/2098.43		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.08/2098.43		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.08/2098.43		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.08/2098.43		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2400.08/2098.43		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2400.08/2098.43		at scala.Option.map(Option.scala:243)
2400.08/2098.43		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2400.08/2098.43		at concrete.MAC.mac(MAC.scala:216)
2400.08/2098.43		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.08/2098.43		at scala.util.Try$.apply(Try.scala:212)
2400.08/2098.43		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.08/2098.43		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.08/2098.43		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.08/2098.43		at concrete.MAC.oneRun(MAC.scala:265)
2400.08/2098.43		at concrete.MAC.nextSolution(MAC.scala:284)
2400.08/2098.43		at concrete.MAC.nextSolution(MAC.scala:369)
2400.08/2098.43		at concrete.Solver.hasNext(Solver.scala:160)
2400.08/2098.43		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.08/2098.43		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.08/2098.43		at concrete.Solver.foreach(Solver.scala:67)
2400.08/2098.43		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.08/2098.43		at scala.util.Success.map(Try.scala:264)
2400.08/2098.43		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.08/2098.43		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.08/2098.43		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.08/2098.43		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.08/2098.43		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.08/2098.43		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.08/2098.43		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.08/2098.43		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.08/2098.43		at scala.App.$anonfun$main$1(App.scala:75)
2400.08/2098.43		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2400.08/2098.43		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.08/2098.43		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.08/2098.43		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2400.08/2098.43		at scala.App.main(App.scala:75)
2400.08/2098.43		at scala.App.main$(App.scala:73)
2400.08/2098.43		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.08/2098.43		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.08/2098.44	v <instantiation
2400.08/2098.44	v         cost = '525314977'>
2400.08/2098.44	v       <list>
2400.08/2098.44	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] 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] 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] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] 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] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] 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] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176]
2400.08/2098.44	v       </list>
2400.08/2098.44	v       <values>
2400.08/2098.44	v         2300 2716 2292 2324 2640 2716 2528 2180 2364 2544 2312 2548 2312 2468 2312 2376 2536 2456 2180 2404 2292 2672 2308 2372 2672 2380 2560 2604 2660 2712 2676 2624 2716 2352 2528 2372 2488 2220 2392 2412 2576 2368 2516 2716 2580 2256 2676 2220 2676 2428 2440 2528 2420 2192 2700 2560 2712 2260 2544 2244 2520 2412 2412 2384 2552 2312 2224 2332 2632 2544 2180 2588 2180 2476 2220 2516 2324 2500 2180 2220 2220 2392 2556 2384 2224 2224 2180 2232 2392 2236 2716 2424 2324 2416 2668 2544 2596 2644 2220 2384 2300 2616 2700 2248 2584 2236 2592 2456 2356 2232 2180 2332 2240 2568 2444 2644 2332 2416 2464 2260 2344 2664 2220 2340 2220 2540 2560 2216 2548 2480 2452 2716 2348 2208 2440 2672 2188 2444 2544 2264 2248 2560 2488 2464 2348 2656 2460 2284 2560 2244 2528 2500 2516 2180 2584 2636 2304 2184 2196 2528 2484 2312 2352 2220 2192 2676 2388 2600 2676 2712 2584 2520 2412 2540 2392 2184 2432 2512 2324 2396 2716 2676 2236 2512 2456 2260 2424 2552 2284 2716 2500 2600 2472 2416 2488 2180 2220 2404 2296 2404 2544 2200 2216 2464 2544 2340 2716 2452 2684 2584 2352 2292 2180 2600 2224 2716 2508 2504 2180 2676 2520 2384 2476 2392 2256 2344 2504 2512 2196 2352 2460 2552 2468 2676 2388 2408 2584 2608 2644 2584 2488 2428 2612 2220 2432 2676 2528 2488 2456 2540 2260 2676 2548 2596 2700 2636 2556 2676 2480 2504 2180 2660 2348 2220 2220 2364 2684 2304 2252 2508 2496 2568 2352 2472 2504 2260 2448 2520 2544 2460 2292 2584 2352 2500 2508 2596 2644 2180 2180 2220 2352 2672 2676 2336 2360 2412 2220 2500 2364 2628 2660 2220 2432 2696 2452 2660 2584 2488 2648 2424 2256 2196 2220 2444 2680 2344 2364 2308 2716 2604 2200 2540 2544 2400 2528 2488 2556 2464 2400 2284 2716 2428 2272 2676 2220 2480 2528 2228 2576 2652 2184 2240 2180 2220 2364 2388 2620 2344 2288 2484 1 0 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 1 1 1 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 0 1 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 1 0 1 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 1 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 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 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 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 8 0 0 0 0 0 0 0 0 10 1 8 8 10 0 0 0 1 0 7 0 10 0 7 0 10 10 1 0 0 1 1 0 0 0 10 10 0 0 0 0 2 0 0 0 10 0 0 0 0 1 0 0 8 3 0 10 1 0 1 5 10 1 0 10 10 0 4 0 10 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 10 10 0 0 0 0 0 1 3 10 0 10 10 5 0 1 0 0 0 8 10 0 10 8 0 1 9 10 3 0 0 0 0 0 0 0 0 0 0 0 0 10 1 0 1 6 8 0 2 0 0 10 0 0 0 0 0 0 10 0 0 0 0 0 0 10 10 0 9 0 0 0 8 0 0 0 0 0 0 0 8 0 0 0 0 1 7 0 0 10 0 0 0 0 0 0 0 0 10 1 9 1 5 0 0 0 0 1 7 1 0 0 9 0 0 1 0 0 7 7 0 0 1 0 0 10 0 0 0 0 10 1 0 0 0 8 0 0 0 6 0 0 0 10 0 0 0 10 0 0 1 10 0 1 9 0 6 0 0 0 0 0 0 0 3 0 0 1 0 0 0 7 0 8 0 1 1 5 0 0 0 3 0 0 0 0 0 2 0 0 0 0 10 0 10 10 0 10 0 10 0 10 0 0 0 0 10 0 0 0 0 0 7 10 10 0 1 0 0 0 10 0 10 0 0 9 1 0 0 0 0 0 1 0 0 0 0 0 0 0 5 0 10 0 0 0 0 1 10 4 10 0 0 10 0 0 0 0 9 0 0 0 0 0 0 10 1 0 0 0 0 1 6 0 0 0 10 8 0 10 10 0 0 6 0 10 0 0 4 0 0 0 10 7 0 0 10 0 1 4 4 1 0 0 10 10 0 0 0 0 10 10 0 0 10 0 0 0 0 7 10 0 0 0 0 0 0 6 10 1 10 1 0 9 0 0 0 7 0 0 0 0 0 0 1 1 1 1 10 1 0 5 0 0 10 0 0 0 0 0 10 1 0 8 9 0 10 0 10 5 0 0 0 0 0 0 9 0 10 9 0 7 0 0 0 0 10 0 0 2 9 0 6 0 1 9 0 0 0 0 0 0 0 8 0 0 0 0 0 10 0 10 0 10 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 4 0 0 10 10 0 10 1 0 0 10 10 8 6 0 0 0 0 7 0 0 1 0 10 0 0 0 1 1 0 0 0 0 0 0 9 0 0 10 5 10 1 0 0 0 3 0 0 10 0 10 0 0 1 0 10 0 0 0 1 9 1 0 0 1 10 0 0 10 0 10 1 0 0 9 0 0 0 7 0 0 1 0 1 0 0 10 0 0 9 0 0 0 1 0 0 1 0 5 1 0 1 4 0 0 1 0 10 0 1 0 0 0 0 0 0 2 0 0 0 6 5 0 9 0 10 0 0 4 0 0 2 0 0 1 9 0 10 0 0 10 0 10 10 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 9 0 0 1 0 0 0 0 2 0 0 0 0 1 10 0 9 0 0 5 1 1 0 0 2 5 10 10 1 0 0 0 0 7 0 1 8 0 5 10 0 0 0 1 0 0 0 0 0 1 0 10 0 2 2 0 0 1 0 0 0 6 0 0 0 0 10 0 8 10 0 10 4 0 0 0 0 6 0 0 0 0 0 0 0 1 0 1 0 0 0 0 10 10 0 0 10 3 0 0 0 4 1 7 0 0 0 0 8 0 0 1 0 9 0 0 0 0 0 0 0 0 0 0 1 0 6 2 0 10 0 0 0 4 0 0 10 0 0 0 0 0 0 10 10 1 1 0 0 1 1 0 8 0 0 0 0 5 7 0 0 0 4 9 10 9 1 0 0 1 10 1 3 0 10 0 0 10 6 0 0 6 10 0 0 1 10 10 8 10 0 0 3 0 10 5 0 0 0 0 0 4 10 0 10 0 0 1 0 0 0 0 10 0 0 0 0 0 0 0 1 0 7 10 0 0 0 1 0 8 9 0 1 0 0 0 1 0 4 0 10 0 0 0 0 0 0 10 0 0 0 0 0 8 5 0 1 9 0 0 8 0 0 0 10 0 0 0 0 10 0 0 9 10 1 0 9 1 0 0 0 0 1 0 0 6 0 0 10 0 0 1 5 0 0 2 0 0 8 10 10 0 10 0 10 0 0 10 0 3 0 0 0 0 7 0 0 0 1 10 1 0 0 6 0 1 8 0 0 8 0 0 0 1 1 0 0 0 10 0 10 1 10 10 0 0 0 0 7 0 0 0 1 10 0 0 0 7 0 0 0 0 1 0 0 10 0 0 8 1 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 3 1 8 0 0 0 0 0 10 0 0 9 10 0 10 0 0 10 0 0 0 0 1 8 0 0 0 0 1 0 0 0 0 0 0 0 1 1 6 10 2 0 0 0 1 0 0 0 0 0 10 6 2 7 0 0 1 10 0 0 0 0 1 0 0 2 5 0 0 0 9 0 0 1 0 10 0 0 0 1 0 0 0 0 10 8 10 10 0 1 0 0 10 0 0 0 1 5 10 0 0 9 1 10 7 10 0 0 0 10 0 0 7 0 0 9 0 6 0 0 0 5 1 1 10 2 10 1 0 0 0 3 0 0 5 5 0 1 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 1 8 0 10 9 10 0 0 0 0 1 10 1 0 0 0 0 0 0 1 1 8 0 0 1 0 0 0 0 0 1 0 0 0 1 0 8 0 9 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 5 0 9 1 1 0 10 10 0 0 0 8 0 0 0 0 0 0 0 2 0 1 9 0 0 1 0 0 0 0 0 0 0 0 0 0 0 7 0 10 7 0 0 0 7 10 0 0 0 0 0 0 0 0 0 8 0 0 10 10 0 0 6 1 0 6 9 1 1 10 0 2 3 0 9 10 0 0 6 0 0 0 0 0 1 0 0 5 0 0 1 0 1 10 1 0 5 0 1 0 0 10 0 0 1 0 0 0 1 0 0 9 1 0 0 0 0 0 1 0 1 0 0 0 2 0 0 0 0 0 10 1 0 0 0 1 0 10 0 9 0 0 0 0 10 7 0 1 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 10 0 0 6 1 5 1 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 3 10 0 0 0 9 0 0 0 0 9 0 0 6 0 1 0 0 0 0 1 0 10 0 10 1 6 0 10 7 10 6 6 0 1 10 0 0 0 0 0 7 1 0 0 1 0 1 10 0 10 0 0 0 0 2 0 0 10 10 5 0 1 0 1 0 0 0 0 1 8 0 10 10 10 0 10 10 10 0 1 9 10 1 10 0 0 1 10 10 10 0 0 1 0 0 0 0 0 0 7 0 10 10 0 0 10 0 0 0 0 0 2 0 10 9 0 8 10 0 0 8 10 0 4 10 0 1 0 0 0 4 0 10 1 1 4 1 0 0 10 2 0 0 8 10 0 0 0 0 0 0 0 0 0 0 0 10 8 0 0 3 0 0 0 10 0 10 0 0 0 0 0 10 1 9 0 0 0 10 0 0 4 0 10 0 6 10 0 10 0 0 0 8 1 0 3 9 10 0 5 0 0 0 0 10 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 8 10 0 0 0 0 0 0 0 0 5 1 0 1 10 0 0 0 7 0 0 0 0 0 0 1 7 10 1 5 1 0 0 10 2 0 0 10 8 0 0 0 0 0 0 0 0 10 0 0 0 0 0 9 0 10 0 1 1 0 9 10 0 8 0 0 10 0 0 6 1 0 0 0 0 9 0 1 1 2 7 10 0 0 0 8 0 0 0 0 7 0 0 1 0 0 0 0 1 0 10 10 0 0 1 0 1 1 0 5 0 10 0 0 0 10 0 1 1 0 10 10 8 0 0 0 0 9 0 0 0 10 10 0 0 0 0 10 0 10 1 1 0 6 2 10 10 0 0 0 0 0 10 0 0 0 0 0 0 7 0 0 0 0 0 10 0 9 0 0 3 1 10 6 0 0 0 0 0 1 0 0 0 10 0 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 10 0 1 5 0 0 0 0 0 0 0 0 1 10 5 10 9 6 0 0 9 4 0 0 0 0 6 1 0 6 10 6 10 0 10 0 8 10 2 10 10 5 0 0 0 0 1 10 0 0 1 3 0 0 0 0 0 10 4 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 4 0 0 0 0 0 0 0 0 0 1 0 10 10 10 1 8 0 0 0 0 0 0 0 0 1 0 0 10 0 0 0 0 0 1 0 2 1 4 0 0 0 2 0 1 0 10 0 10 0 0 0 10 1 1 0 0 0 0 4 0 0 1 1 0 0 0 0 0 0 9 1 2 0 10 10 0 0 10 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 10 0 1 1 1 0 0 0 9 9 1 0 0 0 0 0 9 0 0 10 0 1 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 10 9 0 10 0 0 0 0 0 0 10 0 1 10 0 0 0 0 0 0 7 0 0 1 7 0 0 0 10 168 372 228 244 64 60 52 160 260 104 108 204 240 204 180 424 112 200 84 484 528 80 496 352 148 68 372 444 496 76 40 352 160 96 384 284 280 388 96 132 144 320 392 104 132 144 72 180 136 28 296 328 272 380 416 8 408 420 380 92 168 420 176 348 292 276 32 340 180 228 404 0 172 164 312 456 536 220 196 364 232 188 104 84 192 320 12 420 56 104 536 112 372 464 92 48 396 312 188 184 80 312 140 184 144 284 144 20 132 28 364 124 40 188 284 92 40 220 148 284 40 196 144 224 108 20 188 256 132 240 72 160 316 140 176 80 368 328 288 152 124 40 204 368 96 100 148 328 308 92 60 120 68 388 352 176 208 112 132 52 188 112 88 404 204 208 288 228 8 52 216 84 120 16 56 52 12 92 52 236 216 8 120 160 132 92 20 296 360 156 340 140 168 268 156 96 144 168 276 136 180 316 304 180 8 356 316 64 16 252 264 140 180 196 260 228 128 156 228 96 204 236 488 404 360 332 320 340 348 80 172 80 232 40 184 496 140 156 272 272 8 136 68 140 224 48 68 100 124 236 308 100 168 72 212 72 108 72 112 260 492 196 56 452 464 172 4 388 44 212 320 44 400 404 192 248 84 276 284 128 128 4 276 180 368 88 180 80 208 128 152 40 168 192 140 176 312 68 128 116 12 128 492 436 212 112 488 476 276 456 332 44 164 168 4 192 336 296 120 160 144 24 60 276 336 204 28 156 320 120 128 148 120 16 148 148 380 56 372 60 24 324 136 276 100 208 216 184 412 424 424 272 396 32 192 144 420 132 288 116 476 464 468 264 204 444 56 156 296 300 480 144 56 4 512 360 100 460 116 212 52 312 132 496 436 216 116 492 480 484 460 284 172 0 20 196 92 172 328 40 444 288 96 460 216 172 132 116 364 328 16 456 208 20 132 160 128 208 136 88 136 132 52 124 80 348 152 308 308 44 224 16 48 72 20 308 28 164 84 220 0 124 56 340 136 292 300 20 344 100 132 272 116 88 100 164 72 80 100 228 308 108 208 280 292 40 268 384 180 496 240 152 172 168 176 128 132 16 172 140 172 256 52 288 80 192 232 0 188 264 232 48 0 216 132 52 232 48 92 328 16 120 36 240 8 212 28 148 44 332 72 64 104 188 96 316 76 112 252 204 148 328 28 132 88 12 128 84 152 276 128 496 324 312 72 120 536 132 132 172 64 328 120 168 400 280 332 92 360 52 216 244 36 76 20 24 288 200 96 92 4 252 60 420 16 176 496 320 236 212 40 476 324 76 452 92 416 168 188 16 436 264 36 424 208 320 124 284 156 136 132 480 456 372 324 228 176 496 276 40 16 208 12 216 216 120 172 116 208 188 260 116 224 220 88 236 112 20 88 80 96 132 16 184 188 52 140 228 292 212 20 232 36 296 128 4 224 180 200 220 140 52 520 288 152 92 376 480 0 152 256 516 244 228 520 348 444 196 28 248 104 112 372 44 48 8 156 92 116 72 124 32 156 320 196 380 492 300 172 128 360 128 492 424 132 64 40 440 44 76 212 80 40 204 32 260 4 348 412 120 128 312 112 4 308 192 252 116 172 344 132 64 316 276 88 148 428 64 140 268 48 204 188 156 100 112 44 272 300 192 64 300 136 168 88 320 36 132 36 232 204 264 76 8 60 60 140 128 104 264 188 8 272 60 144 52 192 192 164 176 116 164 216 300 292 292 244 112 192 332 164 332 196 372 88 112 32 356 164 168 84 260 140 368 284 20 228 80 76 96 404 156 192 188 272 116 100 324 216 448 264 80 488 248 240 320 384 4 280 188 224 52 252 0 236 212 212 136 224 112 344 196 444 368 144 284 44 224 412 28 16 84 392 288 308 84 16 348 148 328 204 172 36 152 40 152 44 280 380 536 324 328 0 516 204 124 368 128 124 88 40 168 320 56 332 104 172 464 164 92 92 252 144 12 84 240 124 0 200 324 332 280 24 424 300 320 64 432 100 280 36 76 128 104 28 160 4 348 160 116 200 56 156 28 12 276 304 40 204 152 272 276 432 172 208 172 236 320 492 300 40 0 84 228 280 180 496 356 16 12 124 364 20 132 4 328 480 144 40 24 68 132 88 208 40 80 212 72 100 128 280 108 172 92 172 144 368 292 260 160 80 248 192 168 216 136 212 204 36 32 32 8 232 192 116 448 88 44 236 204 208 436 140 44 4 4 8 40 184 280 28 284 4 436 424 456 44 120 412 232 224 480 184 440 80 112 256 428 12 212 72 212 120 196 292 88 108 324 120 4 204 36 480 116 12 292 272 172 188 164 312 72 244 196 88 140 476 116 76 176 212 240 160 224 20 140 144 32 68 284 352 272 348 36 256 300 128 64 196 28 124 28 284 188 224 8 8 44 156 408 72 332 216 448 72 88 120 40 116 324 324 112 344 324 372 80 292 304 412 312 304 72 480 40 84 212 40 244 388 452 144 216 20 0 76 296 184 144 240 180 376 252 188 40 376 296 80 100 396 60 332 128 96 264 60 264 272 416 344 396 480 520 236 408 180 92 300 100 268 364 300 44 468 96 8 104 92 152 364 196 28 232 220 20 28 324 52 40 160 104 480 440 440 412 244 128 112 64 84 80 268 308 256 372 64 204 276 188 8 272 68 88 104 140 64 56 124 60 360 156 244 132 192 96 152 108 208 52 352 32 8 316 216 120 276 36 60 536 168 496 280 448 152 112 80 20 156 288 220 320 56 24 100 152 436 52 456 240 380 148 172 80 88 204 136 80 260 184 152 244 312 228 360 332 464 292 16 76 424 336 416 268 52 220 156 216 252 148 256 104 268 236 76 44 152 212 80 40 204 32 348 412 44 72 120 372 332 20 212 428 80 192 60 88 28 296 456 496 268 324 252 424 268 124 244 220 56 96 172 336 320 12 140 52 4 44 264 64 284 188 0 144 440 440 144 356 348 44 12 52 44 360 52 300 344 296 32 56 308 52 340 196 128 100 120 160 48 44 216 288 36 292 444 432 464 36 116 76 368 328 256 60 124 196 156 64 188 132 128 104 264 28 232 92 8 64 56 44 224 508 228 460 248 96 160 100 60 44 280 336 28 468 220 468 156 44 468 80 144 88 160 144 204 68 100 44 4 192 12 308 452 208 216 356 396 272 448 528 4 96 160 272 108 20 0 56 364 324 72 364 84 260 144 44 12 44 396 396 84 352 468 428 28 208 336 64 116 228 308 24 96 96 268 172 152 264 136 240 84 212 104 44 100 20 296 328 16 156 208 372 56 152 44 396 148 460 256 128 100 264 268 64 48 68 44 20 204 68 360 64 376 364 368 344 220 52 172 340 232 24 216 108 116 376 72 72 152 328 188 100 176 264 216 52 280 148 148 304 156 228 84 124 124 68 80 336 232 308 184 376 284 472 364 100 0 96 88 80 252 40 344 184 80 168 12 216 124 324 208 276 492 296 512 296 404 520 308 308 480 500 100 68 16 116 304 100 56 120 176 200 256 168 100 28 288 192 132 148 348 208 144 16 148 176 124 300 496 400 320 148 524 200 312 484 484 504 0 164 352 380 0 64 416 324 224 420 116 208 328 0 0 84 96 248 140 212 76 164 352 416 324 340 368 0 512 200 516 128 28 408 264 224 312 492 384 100 56 76 96 196 340 8 64 164 72 24 128 196 248 360 156 144 92 40 140 36 284 192 212 96 208 248 288 304 36 220 336 284 412 488 180 40 32 244 68 188 0 172 292 252 164 292 92 284 204 64 28 180 220 12 40 280 352 40 116 180 4 108 84 332 288 168 148 456 536 520 392 124 180 216 32 332 212 100 252 360 408 72 36 100 56 24 164 164 148 172 400 8 40 104 400 400 84 224 36 204 28 104 148 200 92 120 108 80 76 100 268 272 176 360 64 240 460 164 72 444 280 76 180 56 112 212 292 252 8 216 136 200 128 300 72 64 16 48 64 40 136 0 216 284 76 288 428 252 244 300 36 388 452 240 224 184 68 116 300 380 40 288 192 116 40 80 152 348 500 72 124 500 292 288 380 264 172 208 204 208 324 304 164 108 536 168 408 148 104 488 464 96 100 136 292 232 220 56 296 100 248 348 92 156 156 384 380 164 332 16 300 448 100 52 452 36 284 208 40 20 116 168 188 28 24 160 284 116 280 276 496 300 0 516 244 536 156 8 168 148 448 388 156 152 340 76 144 164 12 52 120 8 112 284 284 56 128 304 420 232 416 244 16 144 84 88 148 336 260 184 144 212 192 24 316 164 176 24 64 304 204 520 232 32 380 308 132 92 364 204 240 108 240 92 200 44 92 208 280 188 60 208 76 288 248 92 276 92 208 180 168 216 204 188 24 100 44 252 240 124 84 120 12 424 124 16 156 96 152 324 80 404 84 328 384 96 308 128 352 252 392 248 8 212 64 144 288 440 460 400 68 76 252 228 228 216 248 112 56 252 20 188 196 312 308 108 308 68 92 40 416 496 188 152 288 40 188 352 368 52 312 368 232 440 192 504 300 196 124 132 176 244 4 4 140 144 160 340 104 440 228 372 148 300 280 228 280 40 364 0 496 356 60 380 236 88 284 108 144 196 124 96 180 32 408 396 72 36 152 208 96 328 164 52 220 16 28 116 204 80 104 16 132 132 12 324 48 292 84 56 180 144 140 72 80 160 116 52 48 268 252 144 184 216 208 160 264 220 184 68 80 132 48 76 112 152 232 412 112 144 280 300 20 360 376 104 440 460 124 132 132 116 28 52 268 140 16 292 12 88 36 136 296 68 316 184 344 24 228 20 384 124 252 216 28 12 20 56 316 120 364 364 296 268 116 40 32 408 228 456 244 232 40 336 72 192 92 88 80 188 488 264 300 288 216 124 336 176 368 136 96
2400.08/2098.44	v       </values>
2400.08/2098.44	v     </instantiation>
2400.08/2098.44	s SATISFIABLE

Verifier Data 

OK	525314977

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401447-1568692108/watcher-4401447-1568692108 -o /tmp/evaluation-result-4401447-1568692108/solver-4401447-1568692108 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568669113-17367 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1989346547 HOME/instance-4401447-1568692108.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=22997, runsolver pid=22994
Current StackSize limit: 8192 KiB


[startup+0.101893 s]*
/proc/loadavg: 1.46 1.43 1.45 3/217 23054
/proc/meminfo: memFree=29524820/32770624 swapFree=66977404/67108860
[pid=22997] ppid=22994 vsize=9972712 memory=17084 CPUtime=0.09 cores=0,2,4,6
/proc/22997/stat : 22997 (java) S 22994 22997 17336 0 -1 1077944320 4530 13270 0 0 1 0 5 3 20 0 6 0 445468061 10212057088 4271 33554432000 4194304 4196468 140725771328560 140725771311104 139802764607223 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
/proc/22997/statm: 2493178 4271 1935 1 0 2481616 0
[pid=22997/tid=23050] ppid=22994 vsize=9972712 memory=720575944405811505 CPUtime=0.09 cores=0,2,4,6
/proc/22997/task/23050/stat : 23050 (java) R 22994 22997 17336 0 -1 4202560 2329 13270 0 0 1 0 5 3 20 0 6 0 445468070 10212057088 4271 33554432000 4194304 4196468 140725771328560 139802736443984 139802742624464 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23051] ppid=22994 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23051/stat : 23051 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 6 0 445468071 10212057088 4271 33554432000 4194304 4196468 140725771328560 139802768849424 139802764617429 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23052] ppid=22994 vsize=9972712 memory=139988204846822 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23052/stat : 23052 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 6 0 445468071 10212057088 4271 33554432000 4194304 4196468 140725771328560 139802667739792 139802764617429 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23053] ppid=22994 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23053/stat : 23053 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 6 0 445468071 10212057088 4271 33554432000 4194304 4196468 140725771328560 139802666686736 139802764617429 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23054] ppid=22994 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23054/stat : 23054 (java) S 22994 22997 17336 0 -1 1077944384 2 13270 0 0 0 0 5 3 20 0 6 0 445468071 10212057088 4271 33554432000 4194304 4196468 140725771328560 139802665634192 139802764617429 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17084 KiB

[startup+0.212414 s]*
/proc/loadavg: 1.50 1.44 1.45 4/226 23063
/proc/meminfo: memFree=29507276/32770624 swapFree=66977404/67108860
[pid=22997] ppid=22994 vsize=10820196 memory=42296 CPUtime=0.28 cores=0,2,4,6
/proc/22997/stat : 22997 (java) S 22994 22997 17336 0 -1 1077944320 7405 13270 0 0 18 2 5 3 20 0 15 0 445468061 11079880704 10574 33554432000 4194304 4196468 140725771328560 140725771311104 139802764607223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
/proc/22997/statm: 2705049 10574 3272 1 0 2667149 0
[pid=22997/tid=23050] ppid=22994 vsize=10820196 memory=729618466009055537 CPUtime=0.19 cores=0,2,4,6
/proc/22997/task/23050/stat : 23050 (java) R 22994 22997 17336 0 -1 4202560 3917 13270 0 0 11 0 5 3 20 0 15 0 445468070 11079880704 10640 33554432000 4194304 4196468 140725771328560 139802736424336 139802756844350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23051] ppid=22994 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23051/stat : 23051 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468071 11079880704 10640 33554432000 4194304 4196468 140725771328560 139802768849424 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23052] ppid=22994 vsize=10820196 memory=139988204846822 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23052/stat : 23052 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468071 11079880704 10640 33554432000 4194304 4196468 140725771328560 139802667739792 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23053] ppid=22994 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23053/stat : 23053 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468071 11079880704 10640 33554432000 4194304 4196468 140725771328560 139802666686736 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23054] ppid=22994 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23054/stat : 23054 (java) S 22994 22997 17336 0 -1 1077944384 2 13270 0 0 0 0 5 3 20 0 15 0 445468071 11079880704 10640 33554432000 4194304 4196468 140725771328560 139802665634192 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23055] ppid=22994 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23055/stat : 23055 (java) S 22994 22997 17336 0 -1 1077944384 2 13270 0 0 0 0 5 3 20 0 15 0 445468072 11079880704 10640 33554432000 4194304 4196468 140725771328560 139802224110320 139802764618370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23056] ppid=22994 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23056/stat : 23056 (java) S 22994 22997 17336 0 -1 1077944384 13 13270 0 0 0 0 5 3 20 0 15 0 445468073 11079880704 10640 33554432000 4194304 4196468 140725771328560 139801655240352 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23057] ppid=22994 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23057/stat : 23057 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468073 11079880704 10640 33554432000 4194304 4196468 140725771328560 139801521022192 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23058] ppid=22994 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23058/stat : 23058 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11079880704 10640 33554432000 4194304 4196468 140725771328560 139801280731600 139802764625819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23059] ppid=22994 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22997/task/23059/stat : 23059 (java) S 22994 22997 17336 0 -1 1077944384 492 13270 0 0 1 0 5 3 20 0 15 0 445468076 11079880704 10640 33554432000 4194304 4196468 140725771328560 139802223057136 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23060] ppid=22994 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22997/task/23060/stat : 23060 (java) R 22994 22997 17336 0 -1 4202560 173 13270 0 0 1 0 5 3 20 0 15 0 445468076 11079880704 10640 33554432000 4194304 4196468 140725771328560 139802222004592 139802746151327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23061] ppid=22994 vsize=10820196 memory=139988201694848 CPUtime=0.11 cores=0,2,4,6
/proc/22997/task/23061/stat : 23061 (java) S 22994 22997 17336 0 -1 1077944384 598 13270 0 0 3 0 5 3 20 0 15 0 445468076 11079880704 10640 33554432000 4194304 4196468 140725771328560 139802220951536 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23062] ppid=22994 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23062/stat : 23062 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11079880704 10640 33554432000 4194304 4196468 140725771328560 139801247172960 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23063] ppid=22994 vsize=10820196 memory=139988201694848 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23063/stat : 23063 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468076 11079880704 10640 33554432000 4194304 4196468 140725771328560 139802219899952 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42296 KiB

[startup+0.311417 s]*
/proc/loadavg: 1.50 1.44 1.45 3/226 23063
/proc/meminfo: memFree=29494192/32770624 swapFree=66977404/67108860
[pid=22997] ppid=22994 vsize=10820196 memory=50588 CPUtime=0.4 cores=0,2,4,6
/proc/22997/stat : 22997 (java) S 22994 22997 17336 0 -1 1077944320 10857 13270 0 0 29 3 5 3 20 0 15 0 445468061 11079880704 12647 33554432000 4194304 4196468 140725771328560 140725771311104 139802764607223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
/proc/22997/statm: 2705049 12647 3319 1 0 2667149 0
[pid=22997/tid=23050] ppid=22994 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/22997/task/23050/stat : 23050 (java) R 22994 22997 17336 0 -1 4202560 7353 13270 0 0 19 2 5 3 20 0 15 0 445468070 11079880704 12647 33554432000 4194304 4196468 140725771328560 139802736410688 139802742959536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23051] ppid=22994 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23051/stat : 23051 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468071 11079880704 12647 33554432000 4194304 4196468 140725771328560 139802768849424 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23052] ppid=22994 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23052/stat : 23052 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468071 11079880704 12647 33554432000 4194304 4196468 140725771328560 139802667739792 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23053] ppid=22994 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23053/stat : 23053 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468071 11079880704 12647 33554432000 4194304 4196468 140725771328560 139802666686736 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23054] ppid=22994 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23054/stat : 23054 (java) S 22994 22997 17336 0 -1 1077944384 2 13270 0 0 0 0 5 3 20 0 15 0 445468071 11079880704 12647 33554432000 4194304 4196468 140725771328560 139802665634192 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23055] ppid=22994 vsize=10820196 memory=139988201694847 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23055/stat : 23055 (java) S 22994 22997 17336 0 -1 1077944384 2 13270 0 0 0 0 5 3 20 0 15 0 445468072 11079880704 12647 33554432000 4194304 4196468 140725771328560 139802224110320 139802764618370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23056] ppid=22994 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23056/stat : 23056 (java) S 22994 22997 17336 0 -1 1077944384 13 13270 0 0 0 0 5 3 20 0 15 0 445468073 11079880704 12647 33554432000 4194304 4196468 140725771328560 139801655240352 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23057] ppid=22994 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23057/stat : 23057 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468073 11079880704 12647 33554432000 4194304 4196468 140725771328560 139801521022192 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23058] ppid=22994 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23058/stat : 23058 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11079880704 12647 33554432000 4194304 4196468 140725771328560 139801280731600 139802764625819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23059] ppid=22994 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/22997/task/23059/stat : 23059 (java) S 22994 22997 17336 0 -1 1077944384 493 13270 0 0 2 0 5 3 20 0 15 0 445468076 11079880704 12647 33554432000 4194304 4196468 140725771328560 139802223057136 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23060] ppid=22994 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/22997/task/23060/stat : 23060 (java) S 22994 22997 17336 0 -1 1077944384 174 13270 0 0 1 0 5 3 20 0 15 0 445468076 11079880704 12647 33554432000 4194304 4196468 140725771328560 139802222004592 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23061] ppid=22994 vsize=10820196 memory=139988201694848 CPUtime=0.13 cores=0,2,4,6
/proc/22997/task/23061/stat : 23061 (java) S 22994 22997 17336 0 -1 1077944384 605 13270 0 0 5 0 5 3 20 0 15 0 445468076 11079880704 12647 33554432000 4194304 4196468 140725771328560 139802220951536 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23062] ppid=22994 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23062/stat : 23062 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11079880704 12647 33554432000 4194304 4196468 140725771328560 139801247172960 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23063] ppid=22994 vsize=10820196 memory=139988201694848 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23063/stat : 23063 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468076 11079880704 12647 33554432000 4194304 4196468 140725771328560 139802219899952 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50588 KiB

[startup+0.700674 s]
/proc/loadavg: 1.50 1.44 1.45 3/226 23063
/proc/meminfo: memFree=29480072/32770624 swapFree=66977404/67108860
[pid=22997] ppid=22994 vsize=10824364 memory=83532 CPUtime=1.1 cores=0,2,4,6
/proc/22997/stat : 22997 (java) S 22994 22997 17336 0 -1 1077944320 15078 13270 0 0 97 5 5 3 20 0 15 0 445468061 11084148736 20883 33554432000 4194304 4196468 140725771328560 140725771311104 139802764607223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
/proc/22997/statm: 2706091 20883 3512 1 0 2668173 0
[pid=22997/tid=23050] ppid=22994 vsize=10824364 memory=7810487918915055718 CPUtime=0.67 cores=0,2,4,6
/proc/22997/task/23050/stat : 23050 (java) R 22994 22997 17336 0 -1 4202560 10414 13270 0 0 55 4 5 3 20 0 15 0 445468070 11084148736 20883 33554432000 4194304 4196468 140725771328560 139802736436768 139802756844350 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23051] ppid=22994 vsize=10824364 memory=1416 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23051/stat : 23051 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468071 11084148736 20883 33554432000 4194304 4196468 140725771328560 139802768849424 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23052] ppid=22994 vsize=10824364 memory=1716 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23052/stat : 23052 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468071 11084148736 20883 33554432000 4194304 4196468 140725771328560 139802667739792 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23053] ppid=22994 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23053/stat : 23053 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468071 11084148736 20883 33554432000 4194304 4196468 140725771328560 139802666686736 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23054] ppid=22994 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23054/stat : 23054 (java) S 22994 22997 17336 0 -1 1077944384 2 13270 0 0 0 0 5 3 20 0 15 0 445468071 11084148736 20883 33554432000 4194304 4196468 140725771328560 139802665634192 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23055] ppid=22994 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23055/stat : 23055 (java) S 22994 22997 17336 0 -1 1077944384 5 13270 0 0 0 0 5 3 20 0 15 0 445468072 11084148736 20883 33554432000 4194304 4196468 140725771328560 139802224110320 139802764618370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23056] ppid=22994 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23056/stat : 23056 (java) S 22994 22997 17336 0 -1 1077944384 13 13270 0 0 0 0 5 3 20 0 15 0 445468073 11084148736 20883 33554432000 4194304 4196468 140725771328560 139801655240352 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23057] ppid=22994 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23057/stat : 23057 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468073 11084148736 20883 33554432000 4194304 4196468 140725771328560 139801521022192 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23058] ppid=22994 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23058/stat : 23058 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11084148736 20883 33554432000 4194304 4196468 140725771328560 139801280731600 139802764625819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23059] ppid=22994 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/22997/task/23059/stat : 23059 (java) R 22994 22997 17336 0 -1 4202560 943 13270 0 0 12 0 5 3 20 0 15 0 445468076 11084148736 20883 33554432000 4194304 4196468 140725771328560 139802223057136 139802748138706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23060] ppid=22994 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/22997/task/23060/stat : 23060 (java) R 22994 22997 17336 0 -1 4202560 635 13270 0 0 12 0 5 3 20 0 15 0 445468076 11084148736 20883 33554432000 4194304 4196468 140725771328560 139802222004592 139802748768312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23061] ppid=22994 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/22997/task/23061/stat : 23061 (java) S 22994 22997 17336 0 -1 1077944384 849 13270 0 0 16 0 5 3 20 0 15 0 445468076 11084148736 20883 33554432000 4194304 4196468 140725771328560 139802220951536 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23062] ppid=22994 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23062/stat : 23062 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11084148736 20883 33554432000 4194304 4196468 140725771328560 139801247172960 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23063] ppid=22994 vsize=10824364 memory=3616 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23063/stat : 23063 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468076 11084148736 20883 33554432000 4194304 4196468 140725771328560 139802219899952 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83532 KiB

[startup+1.50086 s]
/proc/loadavg: 1.50 1.44 1.45 3/226 23063
/proc/meminfo: memFree=29258456/32770624 swapFree=66977404/67108860
[pid=22997] ppid=22994 vsize=10824364 memory=539824 CPUtime=2.85 cores=0,2,4,6
/proc/22997/stat : 22997 (java) S 22994 22997 17336 0 -1 1077944320 18868 13270 0 0 231 46 5 3 20 0 15 0 445468061 11084148736 134956 33554432000 4194304 4196468 140725771328560 140725771311104 139802764607223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
/proc/22997/statm: 2706091 134956 3563 1 0 2668173 0
[pid=22997/tid=23050] ppid=22994 vsize=10824364 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/22997/task/23050/stat : 23050 (java) R 22994 22997 17336 0 -1 4202560 11107 13270 0 0 107 13 5 3 20 0 15 0 445468070 11084148736 134956 33554432000 4194304 4196468 140725771328560 139802736443504 139802764629149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23051] ppid=22994 vsize=10824364 memory=-7531822216213012384 CPUtime=0.24 cores=0,2,4,6
/proc/22997/task/23051/stat : 23051 (java) S 22994 22997 17336 0 -1 1077944384 387 13270 0 0 9 7 5 3 20 0 15 0 445468071 11084148736 134956 33554432000 4194304 4196468 140725771328560 139802768849424 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23052] ppid=22994 vsize=10824364 memory=7378113797262698329 CPUtime=0.22 cores=0,2,4,6
/proc/22997/task/23052/stat : 23052 (java) S 22994 22997 17336 0 -1 1077944384 530 13270 0 0 8 6 5 3 20 0 15 0 445468071 11084148736 134956 33554432000 4194304 4196468 140725771328560 139802667739792 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23053] ppid=22994 vsize=10824364 memory=7737858540125317208 CPUtime=0.24 cores=0,2,4,6
/proc/22997/task/23053/stat : 23053 (java) S 22994 22997 17336 0 -1 1077944384 521 13270 0 0 9 7 5 3 20 0 15 0 445468071 11084148736 134956 33554432000 4194304 4196468 140725771328560 139802666686736 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23054] ppid=22994 vsize=10824364 memory=279976167778656 CPUtime=0.23 cores=0,2,4,6
/proc/22997/task/23054/stat : 23054 (java) S 22994 22997 17336 0 -1 1077944384 230 13270 0 0 7 8 5 3 20 0 15 0 445468071 11084148736 134956 33554432000 4194304 4196468 140725771328560 139802665634192 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23055] ppid=22994 vsize=10824364 memory=238744347128809 CPUtime=0.09 cores=0,2,4,6
/proc/22997/task/23055/stat : 23055 (java) S 22994 22997 17336 0 -1 1077944384 338 13270 0 0 1 0 5 3 20 0 15 0 445468072 11084148736 134956 33554432000 4194304 4196468 140725771328560 139802224110320 139802764618370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23056] ppid=22994 vsize=10824364 memory=238744347128810 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23056/stat : 23056 (java) S 22994 22997 17336 0 -1 1077944384 13 13270 0 0 0 0 5 3 20 0 15 0 445468073 11084148736 134956 33554432000 4194304 4196468 140725771328560 139801655240352 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23057] ppid=22994 vsize=10824364 memory=238744347128811 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23057/stat : 23057 (java) S 22994 22997 17336 0 -1 1077944384 2 13270 0 0 0 0 5 3 20 0 15 0 445468073 11084148736 134956 33554432000 4194304 4196468 140725771328560 139801521022192 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23058] ppid=22994 vsize=10824364 memory=238744347128812 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23058/stat : 23058 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11084148736 134956 33554432000 4194304 4196468 140725771328560 139801280731600 139802764625819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23059] ppid=22994 vsize=10824364 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/22997/task/23059/stat : 23059 (java) S 22994 22997 17336 0 -1 1077944384 1615 13270 0 0 35 0 5 3 20 0 15 0 445468076 11084148736 134956 33554432000 4194304 4196468 140725771328560 139802223057136 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23060] ppid=22994 vsize=10824364 memory=279976167372720 CPUtime=0.35 cores=0,2,4,6
/proc/22997/task/23060/stat : 23060 (java) S 22994 22997 17336 0 -1 1077944384 892 13270 0 0 27 0 5 3 20 0 15 0 445468076 11084148736 134956 33554432000 4194304 4196468 140725771328560 139802222004592 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23061] ppid=22994 vsize=10824364 memory=279976167370864 CPUtime=0.32 cores=0,2,4,6
/proc/22997/task/23061/stat : 23061 (java) S 22994 22997 17336 0 -1 1077944384 1019 13270 0 0 24 0 5 3 20 0 15 0 445468076 11084148736 134956 33554432000 4194304 4196468 140725771328560 139802220951536 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23062] ppid=22994 vsize=10824364 memory=279976167370928 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23062/stat : 23062 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11084148736 134956 33554432000 4194304 4196468 140725771328560 139801247172960 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23063] ppid=22994 vsize=10824364 memory=279976167818448 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23063/stat : 23063 (java) S 22994 22997 17336 0 -1 1077944384 1 13270 0 0 0 0 5 3 20 0 15 0 445468076 11084148736 134956 33554432000 4194304 4196468 140725771328560 139802219899952 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 10824364 KiB

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

/proc/22997/task/23050/stat : 23050 (java) R 22994 22997 17336 0 -1 4202560 382172 13270 0 0 186157 81 5 3 20 0 15 0 445468070 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139802736421808 139802359900468 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23051] ppid=22994 vsize=10849036 memory=14048 CPUtime=94.51 cores=0,2,4,6
/proc/22997/task/23051/stat : 23051 (java) S 22994 22997 17336 0 -1 1077944384 73237 13270 0 0 9259 184 5 3 20 0 15 0 445468071 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139802768849424 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23052] ppid=22994 vsize=10849036 memory=4807528 CPUtime=94.42 cores=0,2,4,6
/proc/22997/task/23052/stat : 23052 (java) S 22994 22997 17336 0 -1 1077944384 81091 13270 0 0 9251 183 5 3 20 0 15 0 445468071 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139802667739792 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23053] ppid=22994 vsize=10849036 memory=4806560 CPUtime=94.56 cores=0,2,4,6
/proc/22997/task/23053/stat : 23053 (java) S 22994 22997 17336 0 -1 1077944384 72291 13270 0 0 9255 193 5 3 20 0 15 0 445468071 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139802666686736 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23054] ppid=22994 vsize=10849036 memory=4778772 CPUtime=94.56 cores=0,2,4,6
/proc/22997/task/23054/stat : 23054 (java) S 22994 22997 17336 0 -1 1077944384 73763 13270 0 0 9248 200 5 3 20 0 15 0 445468071 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139802665634192 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23055] ppid=22994 vsize=10849036 memory=4785952 CPUtime=3.73 cores=0,2,4,6
/proc/22997/task/23055/stat : 23055 (java) S 22994 22997 17336 0 -1 1077944384 55623 13270 0 0 353 12 5 3 20 0 15 0 445468072 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139802224110320 139802764618370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23056] ppid=22994 vsize=10849036 memory=279976168453360 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23056/stat : 23056 (java) S 22994 22997 17336 0 -1 1077944384 28 13270 0 0 0 0 5 3 20 0 15 0 445468073 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139801655240416 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23057] ppid=22994 vsize=10849036 memory=4802444 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23057/stat : 23057 (java) S 22994 22997 17336 0 -1 1077944384 13 13270 0 0 0 0 5 3 20 0 15 0 445468073 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139801521022208 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23058] ppid=22994 vsize=10849036 memory=4802452 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23058/stat : 23058 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139801280731600 139802764625819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23059] ppid=22994 vsize=10849036 memory=4806560 CPUtime=7.72 cores=0,2,4,6
/proc/22997/task/23059/stat : 23059 (java) S 22994 22997 17336 0 -1 1077944384 56065 13270 0 0 758 6 5 3 20 0 15 0 445468076 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139802223057136 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23060] ppid=22994 vsize=10849036 memory=4807528 CPUtime=7.34 cores=0,2,4,6
/proc/22997/task/23060/stat : 23060 (java) S 22994 22997 17336 0 -1 1077944384 53016 13270 0 0 720 6 5 3 20 0 15 0 445468076 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139802222004592 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23061] ppid=22994 vsize=10849036 memory=4802444 CPUtime=2.71 cores=0,2,4,6
/proc/22997/task/23061/stat : 23061 (java) S 22994 22997 17336 0 -1 1077944384 43925 13270 0 0 254 9 5 3 20 0 15 0 445468076 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139802220951536 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23062] ppid=22994 vsize=10849036 memory=4807528 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23062/stat : 23062 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139801247172960 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23063] ppid=22994 vsize=10849036 memory=4807528 CPUtime=1.31 cores=0,2,4,6
/proc/22997/task/23063/stat : 23063 (java) S 22994 22997 17336 0 -1 1077944384 1622 13270 0 0 60 63 5 3 20 0 15 0 445468076 11109412864 1201882 33554432000 4194304 4196468 140725771328560 139802219899952 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
Current children cumulated CPU time: 2262.72 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4807528 KiB

[startup+2022.3 s]
/proc/loadavg: 0.69 0.76 0.95 2/205 23328
/proc/meminfo: memFree=25809256/32770624 swapFree=66977404/67108860
[pid=22997] ppid=22994 vsize=10849036 memory=4842980 CPUtime=2323.29 cores=0,2,4,6
/proc/22997/stat : 22997 (java) S 22994 22997 17336 0 -1 1077944320 929407 13270 0 0 231393 928 5 3 20 0 15 0 445468061 11109412864 1210745 33554432000 4194304 4196468 140725771328560 140725771311104 139802764607223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
/proc/22997/statm: 2712259 1210745 3644 1 0 2674317 0
[pid=22997/tid=23050] ppid=22994 vsize=10849036 memory=4820928 CPUtime=1922.23 cores=0,2,4,6
/proc/22997/task/23050/stat : 23050 (java) R 22994 22997 17336 0 -1 4202560 407240 13270 0 0 192132 83 5 3 20 0 15 0 445468070 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139802736424336 139802357220004 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23051] ppid=22994 vsize=10849036 memory=4841440 CPUtime=94.7 cores=0,2,4,6
/proc/22997/task/23051/stat : 23051 (java) S 22994 22997 17336 0 -1 1077944384 76810 13270 0 0 9277 185 5 3 20 0 15 0 445468071 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139802768849424 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23052] ppid=22994 vsize=10849036 memory=4842980 CPUtime=94.6 cores=0,2,4,6
/proc/22997/task/23052/stat : 23052 (java) S 22994 22997 17336 0 -1 1077944384 83048 13270 0 0 9269 183 5 3 20 0 15 0 445468071 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139802667739792 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23053] ppid=22994 vsize=10849036 memory=7309171141278262098 CPUtime=94.73 cores=0,2,4,6
/proc/22997/task/23053/stat : 23053 (java) S 22994 22997 17336 0 -1 1077944384 73408 13270 0 0 9271 194 5 3 20 0 15 0 445468071 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139802666686736 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23054] ppid=22994 vsize=10849036 memory=4831180 CPUtime=94.74 cores=0,2,4,6
/proc/22997/task/23054/stat : 23054 (java) S 22994 22997 17336 0 -1 1077944384 76015 13270 0 0 9266 200 5 3 20 0 15 0 445468071 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139802665634192 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23055] ppid=22994 vsize=10849036 memory=47544 CPUtime=3.76 cores=0,2,4,6
/proc/22997/task/23055/stat : 23055 (java) S 22994 22997 17336 0 -1 1077944384 55961 13270 0 0 355 13 5 3 20 0 15 0 445468072 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139802224110320 139802764618370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23056] ppid=22994 vsize=10849036 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23056/stat : 23056 (java) S 22994 22997 17336 0 -1 1077944384 28 13270 0 0 0 0 5 3 20 0 15 0 445468073 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139801655240416 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23057] ppid=22994 vsize=10849036 memory=8317482817917895235 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23057/stat : 23057 (java) S 22994 22997 17336 0 -1 1077944384 13 13270 0 0 0 0 5 3 20 0 15 0 445468073 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139801521022208 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23058] ppid=22994 vsize=10849036 memory=780 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23058/stat : 23058 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139801280731600 139802764625819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23059] ppid=22994 vsize=10849036 memory=3616 CPUtime=7.72 cores=0,2,4,6
/proc/22997/task/23059/stat : 23059 (java) S 22994 22997 17336 0 -1 1077944384 56069 13270 0 0 758 6 5 3 20 0 15 0 445468076 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139802223057136 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23060] ppid=22994 vsize=10849036 memory=47544 CPUtime=7.35 cores=0,2,4,6
/proc/22997/task/23060/stat : 23060 (java) S 22994 22997 17336 0 -1 1077944384 53018 13270 0 0 721 6 5 3 20 0 15 0 445468076 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139802222004592 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23061] ppid=22994 vsize=10849036 memory=164 CPUtime=2.71 cores=0,2,4,6
/proc/22997/task/23061/stat : 23061 (java) S 22994 22997 17336 0 -1 1077944384 43927 13270 0 0 254 9 5 3 20 0 15 0 445468076 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139802220951536 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23062] ppid=22994 vsize=10849036 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23062/stat : 23062 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139801247172960 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23063] ppid=22994 vsize=10849036 memory=4833236 CPUtime=1.35 cores=0,2,4,6
/proc/22997/task/23063/stat : 23063 (java) S 22994 22997 17336 0 -1 1077944384 1657 13270 0 0 61 66 5 3 20 0 15 0 445468076 11109412864 1210745 33554432000 4194304 4196468 140725771328560 139802219899952 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
Current children cumulated CPU time: 2323.29 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4842980 KiB

[startup+2082.3 s]
/proc/loadavg: 0.72 0.76 0.94 2/205 23332
/proc/meminfo: memFree=25777416/32770624 swapFree=66977404/67108860
[pid=22997] ppid=22994 vsize=10849036 memory=4876392 CPUtime=2383.85 cores=0,2,4,6
/proc/22997/stat : 22997 (java) S 22994 22997 17336 0 -1 1077944320 970104 13270 0 0 237444 933 5 3 20 0 15 0 445468061 11109412864 1219098 33554432000 4194304 4196468 140725771328560 140725771311104 139802764607223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
/proc/22997/statm: 2712259 1219098 3644 1 0 2674317 0
[pid=22997/tid=23050] ppid=22994 vsize=10849036 memory=4876368 CPUtime=1982.01 cores=0,2,4,6
/proc/22997/task/23050/stat : 23050 (java) R 22994 22997 17336 0 -1 4202560 436008 13270 0 0 198108 85 5 3 20 0 15 0 445468070 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139802736422160 139802359905476 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23051] ppid=22994 vsize=10849036 memory=4857252 CPUtime=94.88 cores=0,2,4,6
/proc/22997/task/23051/stat : 23051 (java) S 22994 22997 17336 0 -1 1077944384 79538 13270 0 0 9295 185 5 3 20 0 15 0 445468071 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139802768849424 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23052] ppid=22994 vsize=10849036 memory=4864036 CPUtime=94.77 cores=0,2,4,6
/proc/22997/task/23052/stat : 23052 (java) S 22994 22997 17336 0 -1 1077944384 85122 13270 0 0 9286 183 5 3 20 0 15 0 445468071 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139802667739792 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23053] ppid=22994 vsize=10849036 memory=4873024 CPUtime=94.91 cores=0,2,4,6
/proc/22997/task/23053/stat : 23053 (java) S 22994 22997 17336 0 -1 1077944384 76578 13270 0 0 9289 194 5 3 20 0 15 0 445468071 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139802666686736 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23054] ppid=22994 vsize=10849036 memory=0 CPUtime=94.92 cores=0,2,4,6
/proc/22997/task/23054/stat : 23054 (java) S 22994 22997 17336 0 -1 1077944384 77638 13270 0 0 9283 201 5 3 20 0 15 0 445468071 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139802665634192 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23055] ppid=22994 vsize=10849036 memory=4874292 CPUtime=3.79 cores=0,2,4,6
/proc/22997/task/23055/stat : 23055 (java) S 22994 22997 17336 0 -1 1077944384 56309 13270 0 0 358 13 5 3 20 0 15 0 445468072 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139802224110320 139802764618370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23056] ppid=22994 vsize=10849036 memory=4876368 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23056/stat : 23056 (java) S 22994 22997 17336 0 -1 1077944384 33 13270 0 0 0 0 5 3 20 0 15 0 445468073 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139801655240416 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23057] ppid=22994 vsize=10849036 memory=4876368 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23057/stat : 23057 (java) S 22994 22997 17336 0 -1 1077944384 13 13270 0 0 0 0 5 3 20 0 15 0 445468073 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139801521022208 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23058] ppid=22994 vsize=10849036 memory=1164 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23058/stat : 23058 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139801280731600 139802764625819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23059] ppid=22994 vsize=10849036 memory=4876368 CPUtime=7.73 cores=0,2,4,6
/proc/22997/task/23059/stat : 23059 (java) S 22994 22997 17336 0 -1 1077944384 57252 13270 0 0 759 6 5 3 20 0 15 0 445468076 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139802223057136 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23060] ppid=22994 vsize=10849036 memory=4876368 CPUtime=7.35 cores=0,2,4,6
/proc/22997/task/23060/stat : 23060 (java) S 22994 22997 17336 0 -1 1077944384 53023 13270 0 0 721 6 5 3 20 0 15 0 445468076 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139802222004592 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23061] ppid=22994 vsize=10849036 memory=4873024 CPUtime=2.72 cores=0,2,4,6
/proc/22997/task/23061/stat : 23061 (java) S 22994 22997 17336 0 -1 1077944384 44678 13270 0 0 255 9 5 3 20 0 15 0 445468076 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139802220951536 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23062] ppid=22994 vsize=10849036 memory=4870492 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23062/stat : 23062 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139801247172960 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23063] ppid=22994 vsize=10849036 memory=2780 CPUtime=1.38 cores=0,2,4,6
/proc/22997/task/23063/stat : 23063 (java) S 22994 22997 17336 0 -1 1077944384 1699 13270 0 0 63 67 5 3 20 0 15 0 445468076 11109412864 1219098 33554432000 4194304 4196468 140725771328560 139802219899952 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
Current children cumulated CPU time: 2383.85 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4876392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2098.4 s]
/proc/loadavg: 0.70 0.75 0.94 2/205 23332
/proc/meminfo: memFree=25767052/32770624 swapFree=66977404/67108860
[pid=22997] ppid=22994 vsize=10849036 memory=4886224 CPUtime=2400.08 cores=0,2,4,6
/proc/22997/stat : 22997 (java) S 22994 22997 17336 0 -1 1077944320 992489 13270 0 0 239065 935 5 3 20 0 15 0 445468061 11109412864 1221556 33554432000 4194304 4196468 140725771328560 140725771311104 139802764607223 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
/proc/22997/statm: 2712259 1221556 3644 1 0 2674317 0
[pid=22997/tid=23050] ppid=22994 vsize=10849036 memory=4886224 CPUtime=1998.05 cores=0,2,4,6
/proc/22997/task/23050/stat : 23050 (java) R 22994 22997 17336 0 -1 4202560 458299 13270 0 0 199711 86 5 3 20 0 15 0 445468070 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139802736427344 139802359897296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23051] ppid=22994 vsize=10849036 memory=7162764532348643186 CPUtime=94.92 cores=0,2,4,6
/proc/22997/task/23051/stat : 23051 (java) S 22994 22997 17336 0 -1 1077944384 79571 13270 0 0 9299 185 5 3 20 0 15 0 445468071 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139802768849424 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23052] ppid=22994 vsize=10849036 memory=6791534058613427641 CPUtime=94.81 cores=0,2,4,6
/proc/22997/task/23052/stat : 23052 (java) S 22994 22997 17336 0 -1 1077944384 85130 13270 0 0 9290 183 5 3 20 0 15 0 445468071 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139802667739792 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23053] ppid=22994 vsize=10849036 memory=111632 CPUtime=94.95 cores=0,2,4,6
/proc/22997/task/23053/stat : 23053 (java) S 22994 22997 17336 0 -1 1077944384 76601 13270 0 0 9293 194 5 3 20 0 15 0 445468071 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139802666686736 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23054] ppid=22994 vsize=10849036 memory=796 CPUtime=94.97 cores=0,2,4,6
/proc/22997/task/23054/stat : 23054 (java) S 22994 22997 17336 0 -1 1077944384 77655 13270 0 0 9288 201 5 3 20 0 15 0 445468071 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139802665634192 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23055] ppid=22994 vsize=10849036 memory=1808 CPUtime=3.79 cores=0,2,4,6
/proc/22997/task/23055/stat : 23055 (java) S 22994 22997 17336 0 -1 1077944384 56318 13270 0 0 358 13 5 3 20 0 15 0 445468072 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139802224110320 139802764618370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23056] ppid=22994 vsize=10849036 memory=920 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23056/stat : 23056 (java) S 22994 22997 17336 0 -1 1077944384 33 13270 0 0 0 0 5 3 20 0 15 0 445468073 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139801655240416 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23057] ppid=22994 vsize=10849036 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23057/stat : 23057 (java) S 22994 22997 17336 0 -1 1077944384 13 13270 0 0 0 0 5 3 20 0 15 0 445468073 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139801521022208 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23058] ppid=22994 vsize=10849036 memory=1440 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23058/stat : 23058 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139801280731600 139802764625819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23059] ppid=22994 vsize=10849036 memory=912 CPUtime=7.73 cores=0,2,4,6
/proc/22997/task/23059/stat : 23059 (java) S 22994 22997 17336 0 -1 1077944384 57252 13270 0 0 759 6 5 3 20 0 15 0 445468076 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139802223057136 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23060] ppid=22994 vsize=10849036 memory=1984 CPUtime=7.35 cores=0,2,4,6
/proc/22997/task/23060/stat : 23060 (java) S 22994 22997 17336 0 -1 1077944384 53023 13270 0 0 721 6 5 3 20 0 15 0 445468076 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139802222004592 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23061] ppid=22994 vsize=10849036 memory=2480 CPUtime=2.72 cores=0,2,4,6
/proc/22997/task/23061/stat : 23061 (java) S 22994 22997 17336 0 -1 1077944384 44678 13270 0 0 255 9 5 3 20 0 15 0 445468076 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139802220951536 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23062] ppid=22994 vsize=10849036 memory=1768 CPUtime=0.08 cores=0,2,4,6
/proc/22997/task/23062/stat : 23062 (java) S 22994 22997 17336 0 -1 1077944384 3 13270 0 0 0 0 5 3 20 0 15 0 445468076 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139801247172960 139802764617429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
[pid=22997/tid=23063] ppid=22994 vsize=10849036 memory=111632 CPUtime=1.4 cores=0,2,4,6
/proc/22997/task/23063/stat : 23063 (java) S 22994 22997 17336 0 -1 1077944384 1703 13270 0 0 64 68 5 3 20 0 15 0 445468076 11109412864 1221556 33554432000 4194304 4196468 140725771328560 139802219899952 139802764618370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11030528 140725771336431 140725771338949 140725771338949 140725771341775 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4886224 KiB

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

[startup+2098.48 s]
# the end of solver process 22997 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2390.75 s, system=9.42796 s

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

Child status: 143
Real time (s): 2098.48
CPU time (s): 2400.18
CPU user time (s): 2390.75
CPU system time (s): 9.42796
CPU usage (%): 114.377
Max. virtual memory (cumulated for all children) (KiB): 10849632
Max. memory (cumulated for all children) (KiB): 8326680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.75
system time used= 9.42796
maximum resident set size= 8326680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1008806
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73386
involuntary context switches= 7057


# summary of solver processes directly reported to runsolver:
#   pid: 22997
#   total CPU time (s): 2400.18
#   total CPU user time (s): 2390.75
#   total CPU system time (s): 9.42796

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2428 second user time and 19.2486 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-17 04:38:11
IDJOB=4401447
IDBENCH=141284
IDSOLVER=2858
FILE ID=node104/4401447-1568692108
RUNJOBID= node104-1568669113-17367
PBS_JOBID= 21703796
Free space on /tmp= 58408 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4401447-1568692108/watcher-4401447-1568692108 -o /tmp/evaluation-result-4401447-1568692108/solver-4401447-1568692108 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568669113-17367 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1989346547 HOME/instance-4401447-1568692108.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=1989346547

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:        29535204 kB
MemAvailable:   30783372 kB
Buffers:           95424 kB
Cached:          1446472 kB
SwapCached:        32300 kB
Active:          2310316 kB
Inactive:         346264 kB
Active(anon):    1082892 kB
Inactive(anon):    80728 kB
Active(file):    1227424 kB
Inactive(file):   265536 kB
Unevictable:      109416 kB
Mlocked:          109416 kB
SwapTotal:      67108860 kB
SwapFree:       66977404 kB
Dirty:            618292 kB
Writeback:             0 kB
AnonPages:       1193616 kB
Mapped:            61744 kB
Shmem:             40480 kB
Slab:             171692 kB
SReclaimable:     142088 kB
SUnreclaim:        29604 kB
KernelStack:        3696 kB
PageTables:         7992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2281492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1011712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 58408 MiB
End job on node104 at 2019-09-17 05:13:09