Trace number 4392187

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.10SAT (TO)529170024 2400.12 2051.99

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.71/0.55	c Concrete v3.10.1560635388952 running
785.94/464.84	o 529213575
786.67/465.33	o 529213561
786.93/465.42	o 529191821
786.93/465.44	o 529191810
786.93/465.46	o 529191809
786.93/465.48	o 529191808
787.20/465.51	o 529191804
787.20/465.53	o 529191799
787.20/465.59	o 529191795
787.69/465.77	o 529170024
2400.01/2051.92	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2400.01/2051.92		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2400.01/2051.92		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:57)
2400.01/2051.92		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2400.01/2051.92		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:249)
2400.01/2051.92		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16)
2400.01/2051.92		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2400.01/2051.92		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2400.01/2051.92		at concrete.heuristic.value.BestCost.select(BestCost.scala:57)
2400.01/2051.92		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.01/2051.92		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.01/2051.92		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.01/2051.93		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.01/2051.93		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.01/2051.93		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.01/2051.93		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.01/2051.93		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.01/2051.93		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.01/2051.93		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.01/2051.93		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2400.01/2051.93		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2400.01/2051.93		at scala.Option.map(Option.scala:243)
2400.01/2051.93		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2400.01/2051.93		at concrete.MAC.mac(MAC.scala:204)
2400.01/2051.93		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:253)
2400.01/2051.93		at scala.util.Try$.apply(Try.scala:212)
2400.01/2051.93		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.01/2051.93		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.01/2051.93		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.01/2051.93		at concrete.MAC.oneRun(MAC.scala:253)
2400.01/2051.93		at concrete.MAC.nextSolution(MAC.scala:272)
2400.01/2051.93		at concrete.MAC.nextSolution(MAC.scala:355)
2400.01/2051.93		at concrete.Solver.hasNext(Solver.scala:160)
2400.01/2051.93		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.01/2051.93		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.01/2051.93		at concrete.Solver.foreach(Solver.scala:67)
2400.01/2051.93		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:72)
2400.01/2051.93		at scala.util.Success.map(Try.scala:264)
2400.01/2051.93		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:67)
2400.01/2051.93		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.01/2051.93		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.01/2051.93		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.01/2051.93		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.01/2051.93		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.01/2051.93		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.01/2051.93		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.01/2051.93		at scala.App.$anonfun$main$1(App.scala:75)
2400.01/2051.93		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2400.01/2051.93		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.01/2051.93		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.01/2051.93		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2400.01/2051.93		at scala.App.main(App.scala:75)
2400.01/2051.93		at scala.App.main$(App.scala:73)
2400.01/2051.93		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.01/2051.93		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.01/2051.94	v <instantiation
2400.01/2051.94	v         cost = '529170024'>
2400.01/2051.94	v       <list>
2400.01/2051.94	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.01/2051.94	v       </list>
2400.01/2051.94	v       <values>
2400.01/2051.94	v         2184 2692 2292 2544 2192 2388 2500 2252 2684 2540 2392 2504 2672 2576 2452 2620 2180 2504 2376 2644 2440 2676 2180 2496 2180 2460 2308 2668 2260 2220 2676 2696 2308 2412 2600 2512 2560 2540 2248 2412 2220 2552 2180 2188 2584 2668 2284 2464 2684 2488 2404 2532 2532 2600 2676 2452 2436 2540 2412 2504 2412 2456 2540 2312 2528 2668 2180 2332 2528 2440 2492 2464 2324 2412 2336 2452 2676 2256 2180 2292 2532 2296 2420 2300 2708 2600 2488 2560 2336 2420 2692 2272 2264 2412 2180 2584 2372 2440 2472 2600 2256 2424 2468 2336 2248 2372 2436 2468 2440 2316 2448 2400 2296 2488 2500 2708 2632 2280 2300 2452 2340 2656 2676 2296 2412 2452 2632 2524 2624 2600 2500 2660 2220 2296 2444 2396 2412 2244 2208 2220 2220 2560 2584 2716 2432 2184 2296 2340 2236 2300 2540 2588 2556 2500 2580 2624 2644 2180 2380 2544 2512 2180 2228 2556 2356 2348 2716 2600 2228 2716 2400 2268 2540 2548 2188 2560 2208 2276 2620 2400 2716 2440 2200 2568 2320 2220 2560 2476 2544 2644 2412 2412 2332 2508 2508 2332 2180 2476 2672 2284 2528 2256 2708 2692 2576 2500 2312 2500 2400 2544 2480 2616 2716 2196 2220 2244 2324 2452 2596 2584 2672 2512 2516 2440 2484 2472 2676 2476 2240 2708 2492 2436 2448 2180 2228 2592 2544 2528 2272 2488 2584 2188 2560 2500 2256 2348 2544 2540 2452 2528 2460 2652 2364 2460 2220 2332 2424 2352 2452 2652 2604 2568 2676 2420 2364 2584 2180 2192 2656 2584 2464 2572 2432 2316 2456 2224 2468 2560 2528 2648 2672 2488 2376 2688 2616 2384 2220 2424 2340 2372 2220 2488 2620 2580 2256 2472 2300 2488 2304 2220 2508 2220 2372 2224 2452 2716 2536 2580 2488 2340 2712 2412 2644 2472 2232 2232 2436 2392 2220 2312 2636 2544 2504 2296 2528 2584 2220 2416 2364 2580 2400 2484 2712 2652 2408 2404 2544 2372 2464 2600 2668 2676 2432 2448 2716 2444 2528 2684 2180 2540 0 0 1 1 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 0 1 1 0 1 1 1 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 11 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 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 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 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 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 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 1 0 1 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 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 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 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 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 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 0 0 1 0 0 1 1 0 0 1 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 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 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 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 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 1 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 1 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 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 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 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 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 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 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 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 10 0 0 8 0 5 0 1 3 0 1 0 0 0 1 0 0 2 0 0 9 10 0 7 9 10 1 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 8 10 0 0 0 1 0 0 0 8 10 0 9 0 0 9 5 0 10 8 1 0 0 0 0 10 0 2 0 0 10 6 0 0 0 10 1 9 1 0 10 0 10 4 10 0 1 0 0 0 0 0 0 0 10 0 0 0 10 1 8 9 0 5 0 7 1 0 1 0 1 1 10 0 10 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 0 7 0 0 0 0 10 0 10 0 10 1 0 10 0 0 10 0 0 0 0 0 0 10 1 0 0 8 4 0 0 0 0 8 10 0 0 0 0 7 10 9 8 0 0 7 10 0 0 0 0 10 10 8 0 1 0 10 10 0 1 0 0 0 0 0 0 1 0 0 10 0 0 0 10 7 10 2 0 0 0 3 0 10 10 0 10 10 7 10 10 0 10 10 0 10 0 0 0 0 0 9 0 0 1 0 1 0 0 0 10 0 0 10 10 10 0 1 7 0 0 0 1 10 0 0 8 10 10 10 0 0 0 10 8 10 0 0 0 1 0 10 0 1 1 10 0 0 10 0 0 4 10 7 3 0 0 10 0 0 9 0 0 10 10 0 10 10 9 1 10 6 0 0 0 10 0 0 0 0 0 0 10 0 10 10 0 0 0 0 10 1 0 0 1 10 0 0 1 0 9 1 0 10 9 7 10 0 0 7 0 9 0 0 1 5 10 0 9 0 0 5 10 0 9 0 0 0 0 10 0 0 0 0 0 0 10 0 4 0 0 1 0 0 0 0 0 1 0 0 0 0 10 0 1 0 0 10 0 9 0 9 0 10 10 0 0 0 0 0 10 0 0 4 0 0 0 0 0 10 1 0 0 10 10 6 0 0 0 4 0 0 0 0 0 0 10 10 10 0 10 10 4 0 6 10 10 10 0 8 0 0 10 10 0 0 10 0 0 10 0 0 5 0 0 1 0 0 0 0 1 10 1 0 1 0 0 0 10 10 0 8 0 1 0 1 0 10 10 10 0 0 0 0 10 10 10 10 0 0 0 0 1 0 1 1 0 10 0 0 9 0 0 4 10 0 10 0 0 10 0 0 0 0 9 0 0 0 1 0 0 0 4 1 0 1 1 1 3 0 0 0 10 0 8 8 7 0 0 0 0 0 1 6 0 10 0 0 0 0 6 0 10 9 10 0 3 10 0 9 10 9 0 7 10 0 1 10 1 0 7 4 1 0 0 10 8 10 0 10 0 0 0 0 9 10 10 9 0 0 10 10 0 0 0 0 9 0 1 0 10 0 0 1 0 10 0 10 5 9 7 10 0 10 0 0 0 0 9 0 0 10 0 10 10 0 0 0 0 10 0 10 8 10 1 0 0 1 0 0 0 0 10 1 0 0 0 1 9 0 4 0 1 2 2 1 1 8 9 0 0 0 0 0 6 1 0 1 10 0 10 1 0 6 0 10 0 0 0 10 0 1 0 0 4 1 0 0 10 0 0 0 10 1 10 10 0 0 10 0 7 0 0 0 0 0 1 10 3 10 4 0 7 10 0 0 10 0 10 5 0 10 1 10 10 10 0 0 7 0 9 9 0 0 7 10 5 0 1 1 0 10 10 0 0 0 0 0 0 0 10 10 0 10 10 9 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 1 10 10 1 7 0 0 0 5 0 4 10 10 0 10 0 0 0 10 10 1 7 0 0 10 0 10 0 0 10 0 0 0 10 1 0 0 7 0 0 0 0 0 0 1 10 1 0 0 0 1 0 10 0 10 10 0 10 0 0 0 0 0 0 1 0 0 10 0 0 0 1 0 1 1 0 5 0 10 0 0 10 0 9 9 10 10 0 0 0 1 10 7 10 0 10 10 0 1 0 0 7 0 0 0 10 0 10 0 0 0 0 0 10 0 10 0 0 7 1 10 0 10 0 0 0 0 0 0 3 9 1 1 7 0 0 10 1 0 1 0 1 0 0 0 0 0 7 0 0 0 0 0 0 8 10 1 9 1 1 0 0 0 6 10 10 10 0 0 0 0 0 10 0 10 0 10 0 10 0 0 0 0 5 0 10 0 0 0 10 0 0 10 1 0 0 10 10 0 9 0 0 10 10 10 9 10 10 8 10 0 1 0 10 10 0 2 0 0 0 0 1 1 0 4 0 0 10 0 7 1 0 0 0 0 0 10 0 8 0 10 0 0 6 0 0 0 10 0 8 0 0 0 0 0 0 10 10 1 2 10 10 10 10 0 0 0 10 10 0 0 5 0 1 1 0 0 8 10 8 10 10 0 1 0 10 0 2 0 1 0 7 0 0 6 0 10 1 9 10 10 10 0 5 8 1 0 0 0 4 3 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 1 0 0 0 0 0 10 0 9 9 0 1 2 10 0 0 0 0 10 10 0 0 10 6 2 10 5 0 1 1 0 0 0 0 7 0 10 3 8 0 0 0 0 0 0 10 7 0 1 0 9 0 1 0 6 6 10 10 6 1 0 0 0 9 10 10 0 10 0 5 7 2 0 9 10 0 10 0 7 0 1 8 9 0 7 9 0 0 0 10 0 0 0 5 10 0 0 0 10 10 0 0 0 3 0 1 0 5 0 10 10 0 9 0 0 0 0 10 10 10 0 10 0 10 10 0 0 0 10 1 0 0 10 1 0 0 0 1 0 0 0 0 0 6 1 0 0 0 0 8 0 0 10 0 5 1 0 10 0 10 0 0 1 0 10 10 0 1 0 0 0 0 0 0 1 0 0 0 0 10 0 0 0 10 0 10 0 1 1 10 0 0 10 1 1 0 5 0 1 1 10 3 10 0 0 0 0 0 10 10 0 0 0 0 10 10 0 0 0 1 10 10 7 0 0 0 10 0 4 0 1 0 7 0 2 10 0 6 1 0 6 0 10 1 3 0 10 1 0 0 10 0 10 9 8 10 8 10 10 1 1 0 0 9 5 0 0 0 0 0 10 0 8 0 0 1 0 0 0 0 8 10 10 0 8 0 0 0 9 0 0 10 0 0 0 8 0 0 0 0 5 0 10 0 10 6 0 0 0 1 0 0 3 10 0 10 1 10 0 10 0 2 0 0 0 0 0 0 0 1 0 9 0 0 0 10 8 0 0 0 0 9 0 0 0 0 9 6 0 0 0 0 1 8 0 0 0 0 0 0 0 0 0 0 0 10 0 1 10 10 1 0 10 0 0 6 1 5 0 3 0 0 0 0 0 0 1 1 0 0 10 10 1 0 0 0 0 0 0 10 1 0 0 0 1 10 1 10 0 0 0 0 5 0 0 6 0 0 0 0 0 0 10 0 1 0 10 10 0 0 1 0 6 0 10 0 1 0 9 10 10 0 10 7 1 0 10 0 0 1 0 0 10 0 7 10 10 0 0 0 0 0 3 0 0 0 10 0 0 10 0 0 10 0 4 0 2 0 1 0 6 0 10 0 10 0 0 1 0 0 0 0 0 0 10 0 10 0 0 1 0 7 0 0 0 0 0 9 10 10 1 7 0 0 0 10 0 1 0 0 1 1 0 0 0 0 10 8 0 10 0 1 0 10 0 10 0 0 4 1 1 0 0 0 0 0 1 0 0 10 0 0 0 10 0 0 0 0 0 1 0 10 1 10 0 1 0 10 0 8 3 0 0 0 0 10 0 0 1 0 0 10 10 0 1 0 10 10 10 10 0 0 10 0 10 10 0 1 0 10 9 7 0 0 0 1 0 2 0 10 0 0 0 0 0 0 10 0 0 0 0 1 0 1 0 10 9 10 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 10 1 10 10 0 0 10 1 0 0 0 10 3 10 0 0 0 0 1 8 0 0 0 1 2 0 0 10 10 0 0 6 0 9 0 0 10 0 1 9 0 0 10 9 10 8 0 0 10 0 0 0 0 1 0 0 9 0 0 10 0 1 0 10 0 0 0 0 10 10 0 10 1 10 9 0 0 0 10 0 0 0 0 1 0 0 0 7 1 0 1 0 0 10 0 9 0 0 0 1 0 10 1 10 1 1 0 0 0 0 1 0 10 0 10 0 10 10 10 6 8 8 0 0 6 0 0 0 0 4 0 0 0 10 0 9 9 1 0 10 0 1 0 0 0 0 0 10 10 1 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 10 0 0 0 9 1 0 10 9 10 0 0 0 10 0 10 10 0 0 8 0 0 0 0 0 0 0 0 0 0 0 1 8 10 10 9 0 2 0 9 5 10 0 0 0 0 1 0 10 0 6 0 0 0 0 0 10 0 0 0 1 0 0 0 0 10 10 0 0 1 0 9 1 0 4 10 10 1 1 0 7 0 0 0 0 10 9 0 1 10 10 10 0 0 0 3 0 10 10 0 10 0 0 0 0 10 1 0 10 10 0 6 7 0 0 6 0 0 0 10 0 0 0 0 0 10 0 7 0 0 10 0 10 10 0 0 10 2 10 1 0 0 10 8 10 0 0 0 0 0 0 0 0 10 1 0 0 0 0 0 10 0 10 0 0 0 0 7 0 1 0 0 0 1 0 0 10 0 10 0 0 10 0 0 0 0 0 10 10 8 0 10 10 1 10 10 9 9 0 0 10 0 0 0 0 0 10 0 0 8 5 7 3 1 0 10 10 0 0 0 0 10 0 10 0 10 10 10 0 9 0 0 1 0 0 0 0 10 2 10 0 1 0 0 9 0 10 0 0 0 7 0 8 10 10 392 4 416 256 188 112 36 112 52 196 172 492 344 468 220 252 24 512 164 132 280 360 272 108 120 204 460 20 284 260 108 416 160 120 360 172 124 324 12 56 364 164 116 12 224 172 112 88 104 324 16 260 360 348 12 336 368 280 260 432 140 12 500 424 484 392 296 232 208 172 280 304 180 88 88 72 216 76 172 168 152 216 60 28 244 336 104 348 52 292 392 364 184 32 460 120 212 0 156 196 440 456 32 80 264 196 236 0 128 360 216 360 292 100 88 40 140 80 140 320 4 136 176 212 140 60 136 96 108 84 120 76 172 60 192 72 180 212 52 104 56 180 32 100 52 16 208 96 172 28 176 72 168 204 16 88 404 416 44 448 16 36 308 272 396 100 84 280 280 308 176 64 100 124 100 88 188 20 0 172 88 192 244 120 120 272 164 76 36 284 72 248 412 348 200 304 60 92 20 496 8 156 380 512 28 424 240 136 380 400 96 132 120 284 140 104 40 56 324 248 76 36 196 204 172 100 36 296 168 84 56 152 96 268 60 276 436 84 296 416 104 96 312 116 220 192 268 104 160 100 244 0 52 144 16 220 76 8 368 220 352 264 252 0 380 88 236 132 32 28 300 456 36 40 76 240 156 68 256 268 320 0 364 404 172 40 400 264 88 8 204 44 52 220 20 256 316 304 192 84 80 260 312 192 116 56 0 200 220 528 320 64 144 496 168 224 152 176 204 72 40 20 16 276 256 84 20 240 240 236 156 68 96 104 148 232 16 116 104 280 92 108 252 236 340 68 76 136 68 488 180 268 372 44 128 176 0 340 252 180 80 120 96 140 60 448 16 416 324 320 96 268 36 496 36 260 340 436 164 268 496 76 236 184 380 380 440 496 296 320 32 236 0 328 452 272 4 196 24 208 356 116 152 360 52 276 92 112 400 80 88 84 308 84 228 188 188 220 112 192 172 100 128 104 156 192 240 96 304 20 52 16 0 280 276 100 176 296 128 208 72 0 24 76 92 144 116 324 204 196 56 292 72 68 96 116 148 72 156 84 156 176 52 128 64 80 40 228 244 140 280 336 164 384 276 28 28 344 252 408 124 240 224 16 12 0 88 128 192 240 192 236 60 192 92 4 20 304 40 116 216 248 340 360 316 216 92 100 288 84 108 92 220 220 140 152 64 68 24 488 476 232 396 332 8 364 40 192 536 216 276 148 0 288 84 272 416 300 348 316 412 256 92 44 92 328 248 0 176 40 132 412 136 180 248 352 460 348 188 8 444 52 256 16 8 28 204 156 160 432 432 28 196 88 64 260 60 332 300 44 280 48 20 192 276 64 220 348 416 136 108 444 320 492 252 216 4 260 320 284 52 196 76 48 220 136 76 40 188 188 80 272 252 272 140 36 32 244 28 148 172 12 52 192 128 16 304 68 96 236 88 120 212 220 140 192 120 144 4 60 200 300 116 148 368 20 412 204 208 52 432 116 356 344 344 196 192 220 188 216 16 56 40 104 176 24 140 4 272 132 272 76 52 224 16 36 120 104 112 108 216 100 28 256 244 276 68 72 104 20 208 208 360 152 76 132 56 12 52 140 0 96 228 136 212 68 260 96 192 224 240 8 40 92 172 168 108 212 8 28 264 36 132 140 180 116 0 76 144 304 92 232 100 296 116 224 192 32 128 132 32 16 52 20 252 80 256 88 16 192 128 256 360 108 320 124 132 92 100 248 276 244 288 88 40 308 92 400 152 4 164 56 88 80 228 84 52 148 284 16 80 144 56 140 296 36 216 480 468 40 424 220 212 180 132 184 84 444 264 216 404 464 536 152 512 396 348 320 472 292 88 32 84 68 156 124 196 116 92 88 288 212 116 308 56 96 300 64 156 20 40 308 148 156 68 144 204 60 40 268 60 196 116 0 236 216 108 196 256 248 184 92 152 268 136 164 212 180 228 284 352 104 264 124 244 220 52 104 92 388 112 188 12 112 224 232 216 104 232 128 140 76 96 64 224 208 244 264 40 80 148 8 264 88 124 132 220 280 164 344 0 244 72 288 252 36 156 288 120 220 320 140 380 40 264 44 176 160 424 24 424 72 100 176 396 72 108 172 112 216 192 132 276 52 312 168 312 52 308 120 32 156 348 264 88 36 36 396 320 376 192 192 112 244 120 48 8 200 252 176 88 28 296 224 104 372 160 304 376 132 76 148 240 428 412 312 528 112 216 520 452 140 124 284 488 188 76 380 8 52 56 16 228 92 112 368 168 84 52 52 204 20 280 164 380 88 24 8 340 112 380 380 140 96 156 144 352 64 20 104 24 164 108 60 200 124 196 484 152 216 216 420 376 132 472 228 16 180 52 52 352 288 216 360 380 296 68 352 220 264 88 120 224 88 16 232 116 296 8 60 132 32 420 420 64 168 48 536 96 280 204 400 272 464 160 116 24 96 396 164 364 212 52 176 152 280 180 300 296 192 60 220 4 20 172 264 140 220 56 16 60 188 124 88 48 368 36 72 196 344 28 220 328 204 96 128 36 40 252 16 120 84 248 284 72 48 192 212 288 176 88 136 224 148 204 60 288 116 220 224 28 336 64 348 188 352 20 40 68 20 312 184 188 64 28 136 192 8 28 128 128 24 280 116 32 136 164 108 208 160 184 108 144 208 92 8 20 240 248 288 248 60 240 8 92 172 124 160 276 184 244 220 76 216 176 24 128 184 84 60 96 48 152 60 300 96 152 212 16 268 200 228 112 156 256 180 180 128 0 60 116 412 204 144 52 376 72 108 232 172 88 52 36 96 116 92 96 40 116 136 76 428 368 528 112 0 140 136 408 316 336 32 120 196 92 268 144 36 116 100 120 316 152 192 88 120 120 272 240 164 76 36 376 168 76 60 312 376 156 456 112 340 344 192 456 120 236 32 168 148 360 456 96 444 260 264 44 4 180 56 272 136 340 116 112 192 100 132 40 180 88 108 96 304 24 272 96 92 92 88 12 28 128 224 108 412 92 20 24 48 260 328 260 84 400 336 304 304 268 128 132 60 16 36 292 92 416 292 292 444 8 96 136 372 20 24 16 40 168 112 216 60 320 76 8 272 84 36 128 364 76 176 212 132 192 0 372 28 0 88 300 288 108 56 288 360 356 116 44 36 248 100 172 172 100 152 256 56 172 188 176 12 64 164 132 80 80 12 256 304 300 400 336 96 228 376 396 212 108 216 12 372 372 280 436 152 288 496 212 380 92 432 144 80 340 96 60 364 132 108 40 96 212 92 536 460 520 496 352 364 144 100 412 176 160 220 152 24 212 360 12 268 36 40 432 228 112 344 60 84 60 104 28 144 380 108 168 368 68 120 56 144 120 472 264 88 8 172 216 200 348 76 44 228 220 88 308 96 140 56 148 388 44 152 168 212 368 176 356 124 44 368 116 68 172 132 40 80 64 280 84 100 24 180 36 40 116 312 112 28 48 172 404 312 28 28 220 144 260 312 168 272 44 224 32 136 72 296 32 156 356 84 40 316 84 0 16 72 4 68 140 88 360 320 16 272 416 312 388 380 236 352 260 316 144 372 336 28 80 144 112 84 320 8 264 132 120 72 272 324 168 212 112 84 104 364 264 376 496 272 188 200 148 108 108 372 20 48 392 232 204 352 164 424 460 240 476 228 536 524 248 132 352 268 144 0 144 216 180 44 448 208 220 88 200 260 220 132 28 168 36 368 80 140 184 84 396 300 152 396 480 352 228 52 380 84 112 112 100 72 124 124 484 144 228 344 292 124 224 184 76 368 36 96 76 160 188 164 92 40 184 308 32 96 168 308 40 276 4 204 528 352 144 492 376 304 104 4 24 208 220 208 24 24 308 184 20 192 512 8 4 12 208 340 372 36 348 436 152 84 288 496 464 304 88 188 108 16 0 232 204 220 92 160 256 124 108 120 104 324 136 128 160 208 424 68 40 72 180 164 172 32 0 152 360 152 196 156 68 196 36 56 212 92 72 36 132 76 204 360 152 116 196 40 512 492 304 348 308 204 128 56 160 84 288 52 92 136 88 104 16 112 452 108 36 456 208 464 384 32 248 304 76 204 76 4 356 100 176 32 284 52 80 304 176 160 36 40 364 76 128 324 240 0 364 4 284 260 256 136 68 32 128 244 240 476 264 496 24 404 432 4 396 80 104 20 116 24 100 80 216 220 44 8 104 144 244 144 172 372 256 376 88 404 0 40 212 404 320 184 240 20 32 64 68 28 56 24 236 92 88 28 120 216 304 100 4 4 192 112 284 240 60 240 160 56 112 252 452 272 236 296 104 108 12 448 124 160 244 132 224 140 488 236 488 488 272 272 272 212 60 52 216 204 276 280 96 224 80 108 196 308 116 224 376 344 144 84 440 92 336 8 140 124 104 104 56 56 0 148 288 52 308 96 232 28 164 116 0 224 148 96 160 328 100 304 84 124 248 264 92 84 84 216 268 28 320 328 84 252 460 232 24 248 328 176 124 232 56 368 136 80 64 8 28 184 192 312 72 144 140 252 108 48 68 68 120 88 256 4 396 192 248 168 52 84 136 20 88 68 348 164 32 44 24 348 196 388 40 140 268 104 324 24 172 280 36 100 392 12 288 204 184 284 276 496 148 172 348 284 60 168 224 56 76 364 272 152 100 8 244 84 188 120 136 12 156 148 212 212 4 220 244 108 96 228 284 200 152 84 80 224 12 220 104 68 144 232 428 4 16 220 452 184 124 204 336 164 236 224 244 88 52 284 156 268 84 464 296 204 120 240 136 140 312 320 116 280 144 216 36 388 24 344 176 92 368 228 204 68 72 128 360 380 136 276 92 20 60 180 112 228 484 404 32 120 128 88 356 64 268 52 256 188 172 8 164 180 68 452 480 216 28 56 52 324 152 220 132 148 128 132 188 100 20 344 96
2400.01/2051.94	v       </values>
2400.01/2051.94	v     </instantiation>
2400.01/2051.94	s SATISFIABLE

Verifier Data

OK	529170024

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392187-1568331749/watcher-4392187-1568331749 -o /tmp/evaluation-result-4392187-1568331749/solver-4392187-1568331749 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568301260-5610 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1981904235 HOME/instance-4392187-1568331749.xml 

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

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
Current StackSize limit: 8192 KiB

solver pid=14783, runsolver pid=14780

[startup+0.100132 s]*
/proc/loadavg: 2.18 1.89 1.67 2/214 14836
/proc/meminfo: memFree=26820620/32770624 swapFree=66999864/67108860
[pid=14783] ppid=14780 vsize=9972712 memory=16376 CPUtime=0.09 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14780 14783 5578 0 -1 1077944320 4371 13394 0 0 1 0 5 3 20 0 6 0 409089113 10212057088 4094 33554432000 4194304 4196468 140735031424048 140735031406592 139777773149943 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
/proc/14783/statm: 2493178 4094 1920 1 0 2481616 0
[pid=14783/tid=14836] ppid=14780 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14836/stat : 14836 (java) R 14780 14783 5578 0 -1 4202560 2184 13394 0 0 0 0 5 3 20 0 6 0 409089122 10212057088 4160 33554432000 4194304 4196468 140735031424048 139777744986704 139777754543677 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14837] ppid=14780 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14837/stat : 14837 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 6 0 409089123 10212057088 4160 33554432000 4194304 4196468 140735031424048 139777777391888 139777773160149 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14838] ppid=14780 vsize=9972712 memory=140640106694272 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14838/stat : 14838 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 6 0 409089123 10212057088 4160 33554432000 4194304 4196468 140735031424048 139777345923472 139777773160149 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14839] ppid=14780 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14839/stat : 14839 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 6 0 409089123 10212057088 4160 33554432000 4194304 4196468 140735031424048 139777344870928 139777773160149 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14840] ppid=14780 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14840/stat : 14840 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 6 0 409089123 10212057088 4160 33554432000 4194304 4196468 140735031424048 139777343818384 139777773160149 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16376 KiB

[startup+0.211011 s]*
/proc/loadavg: 2.18 1.89 1.67 4/227 14849
/proc/meminfo: memFree=26791740/32770624 swapFree=66999864/67108860
[pid=14783] ppid=14780 vsize=10818940 memory=42724 CPUtime=0.26 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14780 14783 5578 0 -1 1077944320 7044 13394 0 0 17 1 5 3 20 0 15 0 409089113 11078594560 10681 33554432000 4194304 4196468 140735031424048 140735031406592 139777773149943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
/proc/14783/statm: 2704735 10681 2943 1 0 2667149 0
[pid=14783/tid=14836] ppid=14780 vsize=10818940 memory=5450916389569530688 CPUtime=0.19 cores=1,3,5,7
/proc/14783/task/14836/stat : 14836 (java) R 14780 14783 5578 0 -1 4202560 3565 13394 0 0 10 1 5 3 20 0 15 0 409089122 11078594560 10681 33554432000 4194304 4196468 140735031424048 139777744973104 139777773171869 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14837] ppid=14780 vsize=10818940 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14837/stat : 14837 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089123 11078594560 10681 33554432000 4194304 4196468 140735031424048 139777777391888 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14838] ppid=14780 vsize=10818940 memory=140640106694272 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14838/stat : 14838 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089123 11078594560 10681 33554432000 4194304 4196468 140735031424048 139777345923472 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14839] ppid=14780 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14839/stat : 14839 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089123 11078594560 10681 33554432000 4194304 4196468 140735031424048 139777344870928 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14840] ppid=14780 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14840/stat : 14840 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089123 11078594560 10681 33554432000 4194304 4196468 140735031424048 139777343818384 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14841] ppid=14780 vsize=10818940 memory=140640106694272 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14841/stat : 14841 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089124 11078594560 10681 33554432000 4194304 4196468 140735031424048 139777299724784 139777773161090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14842] ppid=14780 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14842/stat : 14842 (java) S 14780 14783 5578 0 -1 1077944384 13 13394 0 0 0 0 5 3 20 0 15 0 409089125 11078594560 10681 33554432000 4194304 4196468 140735031424048 139777227613600 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14843] ppid=14780 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14843/stat : 14843 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089125 11078594560 10681 33554432000 4194304 4196468 140735031424048 139777093395952 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14844] ppid=14780 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14844/stat : 14844 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089128 11078594560 10681 33554432000 4194304 4196468 140735031424048 139776489417424 139777773168539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14845] ppid=14780 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14783/task/14845/stat : 14845 (java) S 14780 14783 5578 0 -1 1077944384 447 13394 0 0 1 0 5 3 20 0 15 0 409089128 11078594560 10681 33554432000 4194304 4196468 140735031424048 139777298671600 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14846] ppid=14780 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14846/stat : 14846 (java) R 14780 14783 5578 0 -1 4202560 180 13394 0 0 0 0 5 3 20 0 15 0 409089128 11078594560 10681 33554432000 4194304 4196468 140735031424048 139777297619056 139777773171290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14847] ppid=14780 vsize=10818940 memory=140640106694272 CPUtime=0.11 cores=1,3,5,7
/proc/14783/task/14847/stat : 14847 (java) R 14780 14783 5578 0 -1 4202560 621 13394 0 0 3 0 5 3 20 0 15 0 409089128 11078594560 10681 33554432000 4194304 4196468 140735031424048 139777296566512 139777773171290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14848] ppid=14780 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14848/stat : 14848 (java) S 14780 14783 5578 0 -1 1077944384 3 13394 0 0 0 0 5 3 20 0 15 0 409089128 11078594560 10681 33554432000 4194304 4196468 140735031424048 139776019655264 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14849] ppid=14780 vsize=10818940 memory=140640106694272 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14849/stat : 14849 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089128 11078594560 10681 33554432000 4194304 4196468 140735031424048 139777194056496 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 42724 KiB

[startup+0.31195 s]*
/proc/loadavg: 2.18 1.89 1.67 3/227 14849
/proc/meminfo: memFree=26781556/32770624 swapFree=66999864/67108860
[pid=14783] ppid=14780 vsize=10820096 memory=52348 CPUtime=0.4 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14780 14783 5578 0 -1 1077944320 10852 13394 0 0 29 3 5 3 20 0 15 0 409089113 11079778304 13087 33554432000 4194304 4196468 140735031424048 140735031406592 139777773149943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
/proc/14783/statm: 2705024 13087 3207 1 0 2667149 0
[pid=14783/tid=14836] ppid=14780 vsize=10820096 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/14783/task/14836/stat : 14836 (java) R 14780 14783 5578 0 -1 4202560 7358 13394 0 0 19 2 5 3 20 0 15 0 409089122 11079778304 13087 33554432000 4194304 4196468 140735031424048 139777744964456 139777377703316 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14837] ppid=14780 vsize=10820096 memory=5793142475835139174 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14837/stat : 14837 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089123 11079778304 13087 33554432000 4194304 4196468 140735031424048 139777777391888 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14838] ppid=14780 vsize=10820096 memory=5787214926858707008 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14838/stat : 14838 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089123 11079778304 13087 33554432000 4194304 4196468 140735031424048 139777345923472 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14839] ppid=14780 vsize=10820096 memory=7649540011426663105 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14839/stat : 14839 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089123 11079778304 13087 33554432000 4194304 4196468 140735031424048 139777344870928 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14840] ppid=14780 vsize=10820096 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14840/stat : 14840 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089123 11079778304 13087 33554432000 4194304 4196468 140735031424048 139777343818384 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14841] ppid=14780 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14841/stat : 14841 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089124 11079778304 13087 33554432000 4194304 4196468 140735031424048 139777299724784 139777773161090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14842] ppid=14780 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14842/stat : 14842 (java) S 14780 14783 5578 0 -1 1077944384 13 13394 0 0 0 0 5 3 20 0 15 0 409089125 11079778304 13599 33554432000 4194304 4196468 140735031424048 139777227613600 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14843] ppid=14780 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14843/stat : 14843 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089125 11079778304 13599 33554432000 4194304 4196468 140735031424048 139777093395952 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14844] ppid=14780 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14844/stat : 14844 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089128 11079778304 13599 33554432000 4194304 4196468 140735031424048 139776489417424 139777773168539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14845] ppid=14780 vsize=10820096 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/14783/task/14845/stat : 14845 (java) S 14780 14783 5578 0 -1 1077944384 447 13394 0 0 2 0 5 3 20 0 15 0 409089128 11079778304 13599 33554432000 4194304 4196468 140735031424048 139777298671600 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14846] ppid=14780 vsize=10820096 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14783/task/14846/stat : 14846 (java) S 14780 14783 5578 0 -1 1077944384 182 13394 0 0 1 0 5 3 20 0 15 0 409089128 11079778304 13599 33554432000 4194304 4196468 140735031424048 139777297619056 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14847] ppid=14780 vsize=10820096 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/14783/task/14847/stat : 14847 (java) S 14780 14783 5578 0 -1 1077944384 633 13394 0 0 5 0 5 3 20 0 15 0 409089128 11079778304 13599 33554432000 4194304 4196468 140735031424048 139777296566512 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14848] ppid=14780 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14848/stat : 14848 (java) S 14780 14783 5578 0 -1 1077944384 3 13394 0 0 0 0 5 3 20 0 15 0 409089128 11079778304 13599 33554432000 4194304 4196468 140735031424048 139776019655264 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14849] ppid=14780 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14849/stat : 14849 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089128 11079778304 13599 33554432000 4194304 4196468 140735031424048 139777194056496 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 52348 KiB

[startup+0.700693 s]
/proc/loadavg: 2.18 1.89 1.67 6/227 14849
/proc/meminfo: memFree=26768640/32770624 swapFree=66999864/67108860
[pid=14783] ppid=14780 vsize=10824340 memory=84540 CPUtime=1.13 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14780 14783 5578 0 -1 1077944320 14820 13394 0 0 100 5 5 3 20 0 15 0 409089113 11084124160 21135 33554432000 4194304 4196468 140735031424048 140735031406592 139777773149943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
/proc/14783/statm: 2706085 21135 3508 1 0 2668173 0
[pid=14783/tid=14836] ppid=14780 vsize=10824340 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/14783/task/14836/stat : 14836 (java) R 14780 14783 5578 0 -1 4202560 10535 13394 0 0 55 4 5 3 20 0 15 0 409089122 11084124160 21135 33554432000 4194304 4196468 140735031424048 139777744979520 139777757230430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14837] ppid=14780 vsize=10824340 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14837/stat : 14837 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089123 11084124160 21135 33554432000 4194304 4196468 140735031424048 139777777391888 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14838] ppid=14780 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14838/stat : 14838 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089123 11084124160 21135 33554432000 4194304 4196468 140735031424048 139777345923472 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14839] ppid=14780 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14839/stat : 14839 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089123 11084124160 21135 33554432000 4194304 4196468 140735031424048 139777344870928 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14840] ppid=14780 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14840/stat : 14840 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089123 11084124160 21135 33554432000 4194304 4196468 140735031424048 139777343818384 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14841] ppid=14780 vsize=10824340 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14841/stat : 14841 (java) S 14780 14783 5578 0 -1 1077944384 5 13394 0 0 0 0 5 3 20 0 15 0 409089124 11084124160 21135 33554432000 4194304 4196468 140735031424048 139777299724784 139777773161090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14842] ppid=14780 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14842/stat : 14842 (java) S 14780 14783 5578 0 -1 1077944384 13 13394 0 0 0 0 5 3 20 0 15 0 409089125 11084124160 21135 33554432000 4194304 4196468 140735031424048 139777227613600 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14843] ppid=14780 vsize=10824340 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14843/stat : 14843 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089125 11084124160 21135 33554432000 4194304 4196468 140735031424048 139777093395952 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14844] ppid=14780 vsize=10824340 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14844/stat : 14844 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089128 11084124160 21135 33554432000 4194304 4196468 140735031424048 139776489417424 139777773168539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14845] ppid=14780 vsize=10824340 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/14783/task/14845/stat : 14845 (java) R 14780 14783 5578 0 -1 4202560 840 13394 0 0 15 0 5 3 20 0 15 0 409089128 11084124160 21135 33554432000 4194304 4196468 140735031424048 139777298671600 139777773161878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14846] ppid=14780 vsize=10824340 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/14783/task/14846/stat : 14846 (java) R 14780 14783 5578 0 -1 1077944384 413 13394 0 0 12 0 5 3 20 0 15 0 409089128 11084124160 21135 33554432000 4194304 4196468 140735031424048 139777297619056 139777773161090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14847] ppid=14780 vsize=10824340 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/14783/task/14847/stat : 14847 (java) S 14780 14783 5578 0 -1 1077944384 800 13394 0 0 17 0 5 3 20 0 15 0 409089128 11084124160 21135 33554432000 4194304 4196468 140735031424048 139777296566512 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14848] ppid=14780 vsize=10824340 memory=140639979210736 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14848/stat : 14848 (java) S 14780 14783 5578 0 -1 1077944384 3 13394 0 0 0 0 5 3 20 0 15 0 409089128 11084124160 21135 33554432000 4194304 4196468 140735031424048 139776019655264 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14849] ppid=14780 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14849/stat : 14849 (java) S 14780 14783 5578 0 -1 1077944384 1 13394 0 0 0 0 5 3 20 0 15 0 409089128 11084124160 21135 33554432000 4194304 4196468 140735031424048 139777194056496 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 84540 KiB

[startup+1.50076 s]
/proc/loadavg: 2.18 1.89 1.67 3/227 14849
/proc/meminfo: memFree=26506768/32770624 swapFree=66999864/67108860
[pid=14783] ppid=14780 vsize=10824340 memory=540760 CPUtime=2.83 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14780 14783 5578 0 -1 1077944320 18959 13394 0 0 232 43 5 3 20 0 15 0 409089113 11084124160 135190 33554432000 4194304 4196468 140735031424048 140735031406592 139777773149943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
/proc/14783/statm: 2706085 135190 3552 1 0 2668173 0
[pid=14783/tid=14836] ppid=14780 vsize=10824340 memory=24 CPUtime=1.28 cores=1,3,5,7
/proc/14783/task/14836/stat : 14836 (java) R 14780 14783 5578 0 -1 4202560 11218 13394 0 0 109 11 5 3 20 0 15 0 409089122 11084124160 135190 33554432000 4194304 4196468 140735031424048 139777744986256 139777773171869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14837] ppid=14780 vsize=10824340 memory=23 CPUtime=0.24 cores=1,3,5,7
/proc/14783/task/14837/stat : 14837 (java) S 14780 14783 5578 0 -1 1077944384 430 13394 0 0 8 8 5 3 20 0 15 0 409089123 11084124160 135190 33554432000 4194304 4196468 140735031424048 139777777391888 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14838] ppid=14780 vsize=10824340 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/14783/task/14838/stat : 14838 (java) S 14780 14783 5578 0 -1 1077944384 395 13394 0 0 7 6 5 3 20 0 15 0 409089123 11084124160 135190 33554432000 4194304 4196468 140735031424048 139777345923472 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14839] ppid=14780 vsize=10824340 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/14783/task/14839/stat : 14839 (java) S 14780 14783 5578 0 -1 1077944384 403 13394 0 0 7 6 5 3 20 0 15 0 409089123 11084124160 135190 33554432000 4194304 4196468 140735031424048 139777344870928 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14840] ppid=14780 vsize=10824340 memory=177912 CPUtime=0.24 cores=1,3,5,7
/proc/14783/task/14840/stat : 14840 (java) S 14780 14783 5578 0 -1 1077944384 262 13394 0 0 9 7 5 3 20 0 15 0 409089123 11084124160 135190 33554432000 4194304 4196468 140735031424048 139777343818384 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14841] ppid=14780 vsize=10824340 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14783/task/14841/stat : 14841 (java) S 14780 14783 5578 0 -1 1077944384 340 13394 0 0 1 0 5 3 20 0 15 0 409089124 11084124160 135190 33554432000 4194304 4196468 140735031424048 139777299724784 139777773161090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14842] ppid=14780 vsize=10824340 memory=6298398794875491176 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14842/stat : 14842 (java) S 14780 14783 5578 0 -1 1077944384 13 13394 0 0 0 0 5 3 20 0 15 0 409089125 11084124160 135190 33554432000 4194304 4196468 140735031424048 139777227613600 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14843] ppid=14780 vsize=10824340 memory=7452158195828549474 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14843/stat : 14843 (java) S 14780 14783 5578 0 -1 1077944384 4 13394 0 0 0 0 5 3 20 0 15 0 409089125 11084124160 135190 33554432000 4194304 4196468 140735031424048 139777093395952 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14844] ppid=14780 vsize=10824340 memory=7662989563659184743 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14844/stat : 14844 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089128 11084124160 135190 33554432000 4194304 4196468 140735031424048 139776489417424 139777773168539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14845] ppid=14780 vsize=10824340 memory=5788630088553161816 CPUtime=0.35 cores=1,3,5,7
/proc/14783/task/14845/stat : 14845 (java) S 14780 14783 5578 0 -1 1077944384 1096 13394 0 0 27 0 5 3 20 0 15 0 409089128 11084124160 135190 33554432000 4194304 4196468 140735031424048 139777298671600 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14846] ppid=14780 vsize=10824340 memory=7309168920711356781 CPUtime=0.43 cores=1,3,5,7
/proc/14783/task/14846/stat : 14846 (java) S 14780 14783 5578 0 -1 1077944384 1612 13394 0 0 35 0 5 3 20 0 15 0 409089128 11084124160 135190 33554432000 4194304 4196468 140735031424048 139777297619056 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14847] ppid=14780 vsize=10824340 memory=6298398794875491176 CPUtime=0.32 cores=1,3,5,7
/proc/14783/task/14847/stat : 14847 (java) S 14780 14783 5578 0 -1 1077944384 974 13394 0 0 24 0 5 3 20 0 15 0 409089128 11084124160 135190 33554432000 4194304 4196468 140735031424048 139777296566512 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14848] ppid=14780 vsize=10824340 memory=6298398794875491176 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14848/stat : 14848 (java) S 14780 14783 5578 0 -1 1077944384 3 13394 0 0 0 0 5 3 20 0 15 0 409089128 11084124160 135190 33554432000 4194304 4196468 140735031424048 139776019655264 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14849] ppid=14780 vsize=10824340 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14849/stat : 14849 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089128 11084124160 135190 33554432000 4194304 4196468 140735031424048 139777194056496 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 10824340 KiB

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

/proc/14783/task/14836/stat : 14836 (java) R 14780 14783 5578 0 -1 4202560 1144395 13394 0 0 184691 108 5 3 20 0 15 0 409089122 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139777744968512 139777390172836 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14837] ppid=14780 vsize=10849012 memory=5249240 CPUtime=109.06 cores=1,3,5,7
/proc/14783/task/14837/stat : 14837 (java) S 14780 14783 5578 0 -1 1077944384 77637 13394 0 0 10700 198 5 3 20 0 15 0 409089123 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139777777391888 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14838] ppid=14780 vsize=10849012 memory=5224644 CPUtime=108.7 cores=1,3,5,7
/proc/14783/task/14838/stat : 14838 (java) S 14780 14783 5578 0 -1 1077944384 81957 13394 0 0 10673 189 5 3 20 0 15 0 409089123 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139777345923472 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14839] ppid=14780 vsize=10849012 memory=5238988 CPUtime=108.86 cores=1,3,5,7
/proc/14783/task/14839/stat : 14839 (java) S 14780 14783 5578 0 -1 1077944384 75827 13394 0 0 10681 197 5 3 20 0 15 0 409089123 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139777344870928 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14840] ppid=14780 vsize=10849012 memory=5249240 CPUtime=108.88 cores=1,3,5,7
/proc/14783/task/14840/stat : 14840 (java) S 14780 14783 5578 0 -1 1077944384 74248 13394 0 0 10679 201 5 3 20 0 15 0 409089123 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139777343818384 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14841] ppid=14780 vsize=10849012 memory=5249248 CPUtime=4.13 cores=1,3,5,7
/proc/14783/task/14841/stat : 14841 (java) S 14780 14783 5578 0 -1 1077944384 62271 13394 0 0 390 15 5 3 20 0 15 0 409089124 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139777299724784 139777773161090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14842] ppid=14780 vsize=10849012 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14842/stat : 14842 (java) S 14780 14783 5578 0 -1 1077944384 42 13394 0 0 0 0 5 3 20 0 15 0 409089125 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139777227613664 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14843] ppid=14780 vsize=10849012 memory=5249240 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14843/stat : 14843 (java) S 14780 14783 5578 0 -1 1077944384 11 13394 0 0 0 0 5 3 20 0 15 0 409089125 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139777093395968 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14844] ppid=14780 vsize=10849012 memory=5205832 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14844/stat : 14844 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089128 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139776489417424 139777773168539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14845] ppid=14780 vsize=10849012 memory=5238988 CPUtime=8.07 cores=1,3,5,7
/proc/14783/task/14845/stat : 14845 (java) S 14780 14783 5578 0 -1 1077944384 51940 13394 0 0 790 9 5 3 20 0 15 0 409089128 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139777298671600 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14846] ppid=14780 vsize=10849012 memory=3616 CPUtime=8.57 cores=1,3,5,7
/proc/14783/task/14846/stat : 14846 (java) S 14780 14783 5578 0 -1 1077944384 57933 13394 0 0 840 9 5 3 20 0 15 0 409089128 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139777297619056 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14847] ppid=14780 vsize=10849012 memory=6791534058613427641 CPUtime=4.44 cores=1,3,5,7
/proc/14783/task/14847/stat : 14847 (java) S 14780 14783 5578 0 -1 1077944384 43634 13394 0 0 426 10 5 3 20 0 15 0 409089128 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139777296566512 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14848] ppid=14780 vsize=10849012 memory=1980 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14848/stat : 14848 (java) S 14780 14783 5578 0 -1 1077944384 3 13394 0 0 0 0 5 3 20 0 15 0 409089128 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139776019655264 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14849] ppid=14780 vsize=10849012 memory=5249240 CPUtime=1.32 cores=1,3,5,7
/proc/14783/task/14849/stat : 14849 (java) S 14780 14783 5578 0 -1 1077944384 1824 13394 0 0 52 72 5 3 20 0 15 0 409089128 11109388288 1312312 33554432000 4194304 4196468 140735031424048 139777194056496 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
Current children cumulated CPU time: 2309.46 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 5249248 KiB

[startup+2022.3 s]
/proc/loadavg: 1.40 1.40 1.50 3/227 15188
/proc/meminfo: memFree=24995128/32770624 swapFree=66999880/67108860
[pid=14783] ppid=14780 vsize=10849012 memory=5265652 CPUtime=2370.12 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14780 14783 5578 0 -1 1077944320 1752633 13394 0 0 236007 997 5 3 20 0 15 0 409089113 11109388288 1316413 33554432000 4194304 4196468 140735031424048 140735031406592 139777773149943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
/proc/14783/statm: 2712253 1316413 3640 1 0 2674317 0
[pid=14783/tid=14836] ppid=14780 vsize=10849012 memory=5265652 CPUtime=1907.82 cores=1,3,5,7
/proc/14783/task/14836/stat : 14836 (java) R 14780 14783 5578 0 -1 4202560 1215135 13394 0 0 190663 111 5 3 20 0 15 0 409089122 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139777744976784 139777392483073 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14837] ppid=14780 vsize=10849012 memory=5265652 CPUtime=109.26 cores=1,3,5,7
/proc/14783/task/14837/stat : 14837 (java) S 14780 14783 5578 0 -1 1077944384 79479 13394 0 0 10720 198 5 3 20 0 15 0 409089123 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139777777391888 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14838] ppid=14780 vsize=10849012 memory=5265652 CPUtime=108.9 cores=1,3,5,7
/proc/14783/task/14838/stat : 14838 (java) S 14780 14783 5578 0 -1 1077944384 84283 13394 0 0 10693 189 5 3 20 0 15 0 409089123 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139777345923472 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14839] ppid=14780 vsize=10849012 memory=5253360 CPUtime=109.07 cores=1,3,5,7
/proc/14783/task/14839/stat : 14839 (java) S 14780 14783 5578 0 -1 1077944384 77391 13394 0 0 10701 198 5 3 20 0 15 0 409089123 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139777344870928 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14840] ppid=14780 vsize=10849012 memory=281279960288912 CPUtime=109.09 cores=1,3,5,7
/proc/14783/task/14840/stat : 14840 (java) S 14780 14783 5578 0 -1 1077944384 76124 13394 0 0 10699 202 5 3 20 0 15 0 409089123 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139777343818384 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14841] ppid=14780 vsize=10849012 memory=5263604 CPUtime=4.14 cores=1,3,5,7
/proc/14783/task/14841/stat : 14841 (java) S 14780 14783 5578 0 -1 1077944384 62584 13394 0 0 391 15 5 3 20 0 15 0 409089124 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139777299724784 139777773161090 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14842] ppid=14780 vsize=10849012 memory=5908 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14842/stat : 14842 (java) S 14780 14783 5578 0 -1 1077944384 42 13394 0 0 0 0 5 3 20 0 15 0 409089125 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139777227613664 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14843] ppid=14780 vsize=10849012 memory=772 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14843/stat : 14843 (java) S 14780 14783 5578 0 -1 1077944384 11 13394 0 0 0 0 5 3 20 0 15 0 409089125 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139777093395968 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14844] ppid=14780 vsize=10849012 memory=5261556 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14844/stat : 14844 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089128 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139776489417424 139777773168539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14845] ppid=14780 vsize=10849012 memory=1935 CPUtime=8.07 cores=1,3,5,7
/proc/14783/task/14845/stat : 14845 (java) S 14780 14783 5578 0 -1 1077944384 51946 13394 0 0 790 9 5 3 20 0 15 0 409089128 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139777298671600 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14846] ppid=14780 vsize=10849012 memory=5257456 CPUtime=8.57 cores=1,3,5,7
/proc/14783/task/14846/stat : 14846 (java) S 14780 14783 5578 0 -1 1077944384 57939 13394 0 0 840 9 5 3 20 0 15 0 409089128 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139777297619056 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14847] ppid=14780 vsize=10849012 memory=2832 CPUtime=4.44 cores=1,3,5,7
/proc/14783/task/14847/stat : 14847 (java) S 14780 14783 5578 0 -1 1077944384 43639 13394 0 0 426 10 5 3 20 0 15 0 409089128 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139777296566512 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14848] ppid=14780 vsize=10849012 memory=5263604 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14848/stat : 14848 (java) S 14780 14783 5578 0 -1 1077944384 3 13394 0 0 0 0 5 3 20 0 15 0 409089128 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139776019655264 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14849] ppid=14780 vsize=10849012 memory=3220 CPUtime=1.36 cores=1,3,5,7
/proc/14783/task/14849/stat : 14849 (java) S 14780 14783 5578 0 -1 1077944384 1850 13394 0 0 54 74 5 3 20 0 15 0 409089128 11109388288 1316413 33554432000 4194304 4196468 140735031424048 139777194056496 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
Current children cumulated CPU time: 2370.12 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 5265652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2051.9 s]
/proc/loadavg: 1.39 1.40 1.49 3/227 15191
/proc/meminfo: memFree=24981336/32770624 swapFree=66999880/67108860
[pid=14783] ppid=14780 vsize=10849012 memory=5277948 CPUtime=2400.01 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14780 14783 5578 0 -1 1077944320 1759379 13394 0 0 238993 1000 5 3 20 0 15 0 409089113 11109388288 1319487 33554432000 4194304 4196468 140735031424048 140735031406592 139777773149943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
/proc/14783/statm: 2712253 1319487 3640 1 0 2674317 0
[pid=14783/tid=14836] ppid=14780 vsize=10849012 memory=5275900 CPUtime=1937.32 cores=1,3,5,7
/proc/14783/task/14836/stat : 14836 (java) R 14780 14783 5578 0 -1 4202560 1221456 13394 0 0 193612 112 5 3 20 0 15 0 409089122 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777744969056 139777392483024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14837] ppid=14780 vsize=10849012 memory=5275900 CPUtime=109.36 cores=1,3,5,7
/proc/14783/task/14837/stat : 14837 (java) S 14780 14783 5578 0 -1 1077944384 79545 13394 0 0 10729 199 5 3 20 0 15 0 409089123 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777777391888 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14838] ppid=14780 vsize=10849012 memory=5275900 CPUtime=109 cores=1,3,5,7
/proc/14783/task/14838/stat : 14838 (java) S 14780 14783 5578 0 -1 1077944384 84363 13394 0 0 10703 189 5 3 20 0 15 0 409089123 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777345923472 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14839] ppid=14780 vsize=10849012 memory=0 CPUtime=109.16 cores=1,3,5,7
/proc/14783/task/14839/stat : 14839 (java) S 14780 14783 5578 0 -1 1077944384 77547 13394 0 0 10710 198 5 3 20 0 15 0 409089123 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777344870928 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14840] ppid=14780 vsize=10849012 memory=5277948 CPUtime=109.18 cores=1,3,5,7
/proc/14783/task/14840/stat : 14840 (java) S 14780 14783 5578 0 -1 1077944384 76222 13394 0 0 10708 202 5 3 20 0 15 0 409089123 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777343818384 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14841] ppid=14780 vsize=10849012 memory=5277948 CPUtime=4.15 cores=1,3,5,7
/proc/14783/task/14841/stat : 14841 (java) S 14780 14783 5578 0 -1 1077944384 62607 13394 0 0 392 15 5 3 20 0 15 0 409089124 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777299724784 139777773161090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14842] ppid=14780 vsize=10849012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14842/stat : 14842 (java) S 14780 14783 5578 0 -1 1077944384 42 13394 0 0 0 0 5 3 20 0 15 0 409089125 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777227613664 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14843] ppid=14780 vsize=10849012 memory=5277948 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14843/stat : 14843 (java) S 14780 14783 5578 0 -1 1077944384 11 13394 0 0 0 0 5 3 20 0 15 0 409089125 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777093395968 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14844] ppid=14780 vsize=10849012 memory=288230574492221466 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14844/stat : 14844 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089128 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139776489417424 139777773168539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14845] ppid=14780 vsize=10849012 memory=302585819863187771 CPUtime=8.07 cores=1,3,5,7
/proc/14783/task/14845/stat : 14845 (java) S 14780 14783 5578 0 -1 1077944384 51946 13394 0 0 790 9 5 3 20 0 15 0 409089128 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777298671600 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14846] ppid=14780 vsize=10849012 memory=849 CPUtime=8.57 cores=1,3,5,7
/proc/14783/task/14846/stat : 14846 (java) S 14780 14783 5578 0 -1 1077944384 57939 13394 0 0 840 9 5 3 20 0 15 0 409089128 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777297619056 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14847] ppid=14780 vsize=10849012 memory=436 CPUtime=4.44 cores=1,3,5,7
/proc/14783/task/14847/stat : 14847 (java) S 14780 14783 5578 0 -1 1077944384 43639 13394 0 0 426 10 5 3 20 0 15 0 409089128 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777296566512 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14848] ppid=14780 vsize=10849012 memory=5275900 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14848/stat : 14848 (java) S 14780 14783 5578 0 -1 1077944384 3 13394 0 0 0 0 5 3 20 0 15 0 409089128 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139776019655264 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14849] ppid=14780 vsize=10849012 memory=6656426216303648864 CPUtime=1.37 cores=1,3,5,7
/proc/14783/task/14849/stat : 14849 (java) S 14780 14783 5578 0 -1 1077944384 1852 13394 0 0 54 75 5 3 20 0 15 0 409089128 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777194056496 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 5277948 KiB

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

[startup+2051.99 s]
# the end of solver process 14783 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2390.04 s, system=10.0846 s

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

[startup+2051.9 s]
/proc/loadavg: 1.39 1.40 1.49 3/227 15191
/proc/meminfo: memFree=24981336/32770624 swapFree=66999880/67108860
[pid=14783] ppid=14780 vsize=10849012 memory=5277948 CPUtime=2400.01 cores=1,3,5,7
/proc/14783/stat : 14783 (java) S 14780 14783 5578 0 -1 1077944320 1759379 13394 0 0 238993 1000 5 3 20 0 15 0 409089113 11109388288 1319487 33554432000 4194304 4196468 140735031424048 140735031406592 139777773149943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
/proc/14783/statm: 2712253 1319487 3640 1 0 2674317 0
[pid=14783/tid=14836] ppid=14780 vsize=10849012 memory=5275900 CPUtime=1937.32 cores=1,3,5,7
/proc/14783/task/14836/stat : 14836 (java) R 14780 14783 5578 0 -1 4202560 1221456 13394 0 0 193612 112 5 3 20 0 15 0 409089122 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777744969056 139777392483024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14837] ppid=14780 vsize=10849012 memory=5275900 CPUtime=109.36 cores=1,3,5,7
/proc/14783/task/14837/stat : 14837 (java) S 14780 14783 5578 0 -1 1077944384 79545 13394 0 0 10729 199 5 3 20 0 15 0 409089123 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777777391888 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14838] ppid=14780 vsize=10849012 memory=5275900 CPUtime=109 cores=1,3,5,7
/proc/14783/task/14838/stat : 14838 (java) S 14780 14783 5578 0 -1 1077944384 84363 13394 0 0 10703 189 5 3 20 0 15 0 409089123 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777345923472 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14839] ppid=14780 vsize=10849012 memory=0 CPUtime=109.16 cores=1,3,5,7
/proc/14783/task/14839/stat : 14839 (java) S 14780 14783 5578 0 -1 1077944384 77547 13394 0 0 10710 198 5 3 20 0 15 0 409089123 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777344870928 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14840] ppid=14780 vsize=10849012 memory=5277948 CPUtime=109.18 cores=1,3,5,7
/proc/14783/task/14840/stat : 14840 (java) S 14780 14783 5578 0 -1 1077944384 76222 13394 0 0 10708 202 5 3 20 0 15 0 409089123 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777343818384 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14841] ppid=14780 vsize=10849012 memory=5277948 CPUtime=4.15 cores=1,3,5,7
/proc/14783/task/14841/stat : 14841 (java) S 14780 14783 5578 0 -1 1077944384 62607 13394 0 0 392 15 5 3 20 0 15 0 409089124 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777299724784 139777773161090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14842] ppid=14780 vsize=10849012 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14842/stat : 14842 (java) S 14780 14783 5578 0 -1 1077944384 42 13394 0 0 0 0 5 3 20 0 15 0 409089125 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777227613664 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14843] ppid=14780 vsize=10849012 memory=5277948 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14843/stat : 14843 (java) S 14780 14783 5578 0 -1 1077944384 11 13394 0 0 0 0 5 3 20 0 15 0 409089125 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777093395968 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14844] ppid=14780 vsize=10849012 memory=288230574492221466 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14844/stat : 14844 (java) S 14780 14783 5578 0 -1 1077944384 2 13394 0 0 0 0 5 3 20 0 15 0 409089128 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139776489417424 139777773168539 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14845] ppid=14780 vsize=10849012 memory=302585819863187771 CPUtime=8.07 cores=1,3,5,7
/proc/14783/task/14845/stat : 14845 (java) S 14780 14783 5578 0 -1 1077944384 51946 13394 0 0 790 9 5 3 20 0 15 0 409089128 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777298671600 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14846] ppid=14780 vsize=10849012 memory=849 CPUtime=8.57 cores=1,3,5,7
/proc/14783/task/14846/stat : 14846 (java) S 14780 14783 5578 0 -1 1077944384 57939 13394 0 0 840 9 5 3 20 0 15 0 409089128 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777297619056 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14847] ppid=14780 vsize=10849012 memory=436 CPUtime=4.44 cores=1,3,5,7
/proc/14783/task/14847/stat : 14847 (java) S 14780 14783 5578 0 -1 1077944384 43639 13394 0 0 426 10 5 3 20 0 15 0 409089128 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777296566512 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14848] ppid=14780 vsize=10849012 memory=5275900 CPUtime=0.08 cores=1,3,5,7
/proc/14783/task/14848/stat : 14848 (java) S 14780 14783 5578 0 -1 1077944384 3 13394 0 0 0 0 5 3 20 0 15 0 409089128 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139776019655264 139777773160149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
[pid=14783/tid=14849] ppid=14780 vsize=10849012 memory=6656426216303648864 CPUtime=1.37 cores=1,3,5,7
/proc/14783/task/14849/stat : 14849 (java) S 14780 14783 5578 0 -1 1077944384 1852 13394 0 0 54 75 5 3 20 0 15 0 409089128 11109388288 1319487 33554432000 4194304 4196468 140735031424048 139777194056496 139777773161090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26296320 140735031425781 140735031428293 140735031428293 140735031431119 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 5277948 KiB

Child status: 143
Real time (s): 2051.99
CPU time (s): 2400.12
CPU user time (s): 2390.04
CPU system time (s): 10.0846
CPU usage (%): 116.966
Max. virtual memory (cumulated for all children) (KiB): 10849700
Max. memory (cumulated for all children) (KiB): 8309532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2390.04
system time used= 10.0846
maximum resident set size= 8309532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1777670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83972
involuntary context switches= 6517


# summary of solver processes directly reported to runsolver:
#   pid: 14783
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2390.04
#   total CPU system time (s): 10.0846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8417 second user time and 19.8792 second system time

The end

Launcher Data

Begin job on node146 at 2019-09-13 01:41:50
IDJOB=4392187
IDBENCH=141284
IDSOLVER=2837
FILE ID=node146/4392187-1568331749
RUNJOBID= node146-1568301260-5610
PBS_JOBID= 21701109
Free space on /tmp= 56092 MiB

SOLVER NAME= Concrete 3.10
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-4392187-1568331749/watcher-4392187-1568331749 -o /tmp/evaluation-result-4392187-1568331749/solver-4392187-1568331749 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568301260-5610 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1981904235 HOME/instance-4392187-1568331749.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=1981904235

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        26824652 kB
MemAvailable:   27709980 kB
Buffers:          136360 kB
Cached:          1022940 kB
SwapCached:         5256 kB
Active:          5076656 kB
Inactive:         266368 kB
Active(anon):    4201272 kB
Inactive(anon):    20904 kB
Active(file):     875384 kB
Inactive(file):   245464 kB
Unevictable:      111000 kB
Mlocked:          111000 kB
SwapTotal:      67108860 kB
SwapFree:       66999864 kB
Dirty:            618584 kB
Writeback:             0 kB
AnonPages:       4292196 kB
Mapped:            54116 kB
Shmem:             29224 kB
Slab:             190244 kB
SReclaimable:     160632 kB
SUnreclaim:        29612 kB
KernelStack:        3696 kB
PageTables:        14004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5249048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4083712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 56060 MiB
End job on node146 at 2019-09-13 02:16:03