Trace number 4403247

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.3SAT (TO)526643608 2400.3 1922.4

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.92/0.62	c Concrete v3.12.3.1568965526260 running
1034.76/574.33	o 526643618
1035.05/574.43	o 526643616
1035.05/574.46	o 526643615
1035.05/574.48	o 526643614
1035.27/574.58	o 526643613
1035.45/574.60	o 526643611
1035.45/574.63	o 526643610
1035.87/575.00	o 526643609
1036.06/575.03	o 526643608
2400.08/1922.21	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2400.08/1922.21		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2400.08/1922.21		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:57)
2400.08/1922.21		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:110)
2400.08/1922.21		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:249)
2400.08/1922.21		at bitvectors.LargeBitVector.filter(LargeBitVector.scala:16)
2400.08/1922.21		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:110)
2400.08/1922.21		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2400.08/1922.21		at concrete.heuristic.value.BestCost.select(BestCost.scala:57)
2400.08/1922.21		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.08/1922.21		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.08/1922.21		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.08/1922.21		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.08/1922.21		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.08/1922.21		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.08/1922.21		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.08/1922.21		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2400.08/1922.21		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2400.08/1922.21		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2400.08/1922.21		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2400.08/1922.21		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2400.08/1922.21		at scala.Option.map(Option.scala:242)
2400.08/1922.21		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2400.08/1922.21		at concrete.MAC.mac(MAC.scala:216)
2400.08/1922.21		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.08/1922.21		at scala.util.Try$.apply(Try.scala:210)
2400.08/1922.21		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.08/1922.21		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.08/1922.21		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.08/1922.21		at concrete.MAC.oneRun(MAC.scala:265)
2400.08/1922.21		at concrete.MAC.nextSolution(MAC.scala:284)
2400.08/1922.21		at concrete.MAC.nextSolution(MAC.scala:369)
2400.08/1922.21		at concrete.Solver.hasNext(Solver.scala:160)
2400.08/1922.21		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.08/1922.21		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.08/1922.21		at concrete.Solver.foreach(Solver.scala:67)
2400.08/1922.21		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.08/1922.21		at scala.util.Success.map(Try.scala:262)
2400.08/1922.21		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.08/1922.21		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.08/1922.21		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.08/1922.21		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.08/1922.21		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.08/1922.21		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.08/1922.21		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.08/1922.21		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.08/1922.21		at scala.App.$anonfun$main$1(App.scala:73)
2400.08/1922.21		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2400.08/1922.21		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2400.08/1922.21		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2400.08/1922.21		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2400.08/1922.21		at scala.App.main(App.scala:73)
2400.08/1922.21		at scala.App.main$(App.scala:71)
2400.08/1922.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.08/1922.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.08/1922.22	v <instantiation
2400.08/1922.22	v         cost = '526643608'>
2400.08/1922.22	v       <list>
2400.08/1922.22	v         f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] f[250] f[251] f[252] f[253] f[254] f[255] f[256] f[257] f[258] f[259] f[260] f[261] f[262] f[263] f[264] f[265] f[266] f[267] f[268] f[269] f[270] f[271] f[272] f[273] f[274] f[275] f[276] f[277] f[278] f[279] f[280] f[281] f[282] f[283] f[284] f[285] f[286] f[287] f[288] f[289] f[290] f[291] f[292] f[293] f[294] f[295] f[296] f[297] f[298] f[299] f[300] f[301] f[302] f[303] f[304] f[305] f[306] f[307] f[308] f[309] f[310] f[311] f[312] f[313] f[314] f[315] f[316] f[317] f[318] f[319] f[320] f[321] f[322] f[323] f[324] f[325] f[326] f[327] f[328] f[329] f[330] f[331] f[332] f[333] f[334] f[335] f[336] f[337] f[338] f[339] f[340] f[341] f[342] f[343] f[344] f[345] f[346] f[347] f[348] f[349] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] p[250] p[251] p[252] p[253] p[254] p[255] p[256] p[257] p[258] p[259] p[260] p[261] p[262] p[263] p[264] p[265] p[266] p[267] p[268] p[269] p[270] p[271] p[272] p[273] p[274] p[275] p[276] p[277] p[278] p[279] p[280] p[281] p[282] p[283] p[284] p[285] p[286] p[287] p[288] p[289] p[290] p[291] p[292] p[293] p[294] p[295] p[296] p[297] p[298] p[299] p[300] p[301] p[302] p[303] p[304] p[305] p[306] p[307] p[308] p[309] p[310] p[311] p[312] p[313] p[314] p[315] p[316] p[317] p[318] p[319] p[320] p[321] p[322] p[323] p[324] p[325] p[326] p[327] p[328] p[329] p[330] p[331] p[332] p[333] p[334] p[335] p[336] p[337] p[338] p[339] p[340] p[341] p[342] p[343] p[344] p[345] p[346] p[347] p[348] p[349] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] v1[1419] v1[1420] v1[1421] v1[1422] v1[1423] v1[1424] v1[1425] v1[1426] v1[1427] v1[1428] v1[1429] v1[1430] v1[1431] v1[1432] v1[1433] v1[1434] v1[1435] v1[1436] v1[1437] v1[1438] v1[1439] v1[1440] v1[1441] v1[1442] v1[1443] v1[1444] v1[1445] v1[1446] v1[1447] v1[1448] v1[1449] v1[1450] v1[1451] v1[1452] v1[1453] v1[1454] v1[1455] v1[1456] v1[1457] v1[1458] v1[1459] v1[1460] v1[1461] v1[1462] v1[1463] v1[1464] v1[1465] v1[1466] v1[1467] v1[1468] v1[1469] v1[1470] v1[1471] v1[1472] v1[1473] v1[1474] v1[1475] v1[1476] v1[1477] v1[1478] v1[1479] v1[1480] v1[1481] v1[1482] v1[1483] v1[1484] v1[1485] v1[1486] v1[1487] v1[1488] v1[1489] v1[1490] v1[1491] v1[1492] v1[1493] v1[1494] v1[1495] v1[1496] v1[1497] v1[1498] v1[1499] v1[1500] v1[1501] v1[1502] v1[1503] v1[1504] v1[1505] v1[1506] v1[1507] v1[1508] v1[1509] v1[1510] v1[1511] v1[1512] v1[1513] v1[1514] v1[1515] v1[1516] v1[1517] v1[1518] v1[1519] v1[1520] v1[1521] v1[1522] v1[1523] v1[1524] v1[1525] v1[1526] v1[1527] v1[1528] v1[1529] v1[1530] v1[1531] v1[1532] v1[1533] v1[1534] v1[1535] v1[1536] v1[1537] v1[1538] v1[1539] v1[1540] v1[1541] v1[1542] v1[1543] v1[1544] v1[1545] v1[1546] v1[1547] v1[1548] v1[1549] v1[1550] v1[1551] v1[1552] v1[1553] v1[1554] v1[1555] v1[1556] v1[1557] v1[1558] v1[1559] v1[1560] v1[1561] v1[1562] v1[1563] v1[1564] v1[1565] v1[1566] v1[1567] v1[1568] v1[1569] v1[1570] v1[1571] v1[1572] v1[1573] v1[1574] v1[1575] v1[1576] v1[1577] v1[1578] v1[1579] v1[1580] v1[1581] v1[1582] v1[1583] v1[1584] v1[1585] v1[1586] v1[1587] v1[1588] v1[1589] v1[1590] v1[1591] v1[1592] v1[1593] v1[1594] v1[1595] v1[1596] v1[1597] v1[1598] v1[1599] v1[1600] v1[1601] v1[1602] v1[1603] v1[1604] v1[1605] v1[1606] v1[1607] v1[1608] v1[1609] v1[1610] v1[1611] v1[1612] v1[1613] v1[1614] v1[1615] v1[1616] v1[1617] v1[1618] v1[1619] v1[1620] v1[1621] v1[1622] v1[1623] v1[1624] v1[1625] v1[1626] v1[1627] v1[1628] v1[1629] v1[1630] v1[1631] v1[1632] v1[1633] v1[1634] v1[1635] v1[1636] v1[1637] v1[1638] v1[1639] v1[1640] v1[1641] v1[1642] v1[1643] v1[1644] v1[1645] v1[1646] v1[1647] v1[1648] v1[1649] v1[1650] v1[1651] v1[1652] v1[1653] v1[1654] v1[1655] v1[1656] v1[1657] v1[1658] v1[1659] v1[1660] v1[1661] v1[1662] v1[1663] v1[1664] v1[1665] v1[1666] v1[1667] v1[1668] v1[1669] v1[1670] v1[1671] v1[1672] v1[1673] v1[1674] v1[1675] v1[1676] v1[1677] v1[1678] v1[1679] v1[1680] v1[1681] v1[1682] v1[1683] v1[1684] v1[1685] v1[1686] v1[1687] v1[1688] v1[1689] v1[1690] v1[1691] v1[1692] v1[1693] v1[1694] v1[1695] v1[1696] v1[1697] v1[1698] v1[1699] v1[1700] v1[1701] v1[1702] v1[1703] v1[1704] v1[1705] v1[1706] v1[1707] v1[1708] v1[1709] v1[1710] v1[1711] v1[1712] v1[1713] v1[1714] v1[1715] v1[1716] v1[1717] v1[1718] v1[1719] v1[1720] v1[1721] v1[1722] v1[1723] v1[1724] v1[1725] v1[1726] v1[1727] v1[1728] v1[1729] v1[1730] v1[1731] v1[1732] v1[1733] v1[1734] v1[1735] v1[1736] v1[1737] v1[1738] v1[1739] v1[1740] v1[1741] v1[1742] v1[1743] v1[1744] v1[1745] v1[1746] v1[1747] v1[1748] v1[1749] v1[1750] v1[1751] v1[1752] v1[1753] v1[1754] v1[1755] v1[1756] v1[1757] v1[1758] v1[1759] v1[1760] v1[1761] v1[1762] v1[1763] v1[1764] v1[1765] v1[1766] v1[1767] v1[1768] v1[1769] v1[1770] v1[1771] v1[1772] v1[1773] v1[1774] v1[1775] v1[1776] v1[1777] v1[1778] v1[1779] v1[1780] v1[1781] v1[1782] v1[1783] v1[1784] v1[1785] v1[1786] v1[1787] v1[1788] v1[1789] v1[1790] v1[1791] v1[1792] v1[1793] v1[1794] v1[1795] v1[1796] v1[1797] v1[1798] v1[1799] v1[1800] v1[1801] v1[1802] v1[1803] v1[1804] v1[1805] v1[1806] v1[1807] v1[1808] v1[1809] v1[1810] v1[1811] v1[1812] v1[1813] v1[1814] v1[1815] v1[1816] v1[1817] v1[1818] v1[1819] v1[1820] v1[1821] v1[1822] v1[1823] v1[1824] v1[1825] v1[1826] v1[1827] v1[1828] v1[1829] v1[1830] v1[1831] v1[1832] v1[1833] v1[1834] v1[1835] v1[1836] v1[1837] v1[1838] v1[1839] v1[1840] v1[1841] v1[1842] v1[1843] v1[1844] v1[1845] v1[1846] v1[1847] v1[1848] v1[1849] v1[1850] v1[1851] v1[1852] v1[1853] v1[1854] v1[1855] v1[1856] v1[1857] v1[1858] v1[1859] v1[1860] v1[1861] v1[1862] v1[1863] v1[1864] v1[1865] v1[1866] v1[1867] v1[1868] v1[1869] v1[1870] v1[1871] v1[1872] v1[1873] v1[1874] v1[1875] v1[1876] v1[1877] v1[1878] v1[1879] v1[1880] v1[1881] v1[1882] v1[1883] v1[1884] v1[1885] v1[1886] v1[1887] v1[1888] v1[1889] v1[1890] v1[1891] v1[1892] v1[1893] v1[1894] v1[1895] v1[1896] v1[1897] v1[1898] v1[1899] v1[1900] v1[1901] v1[1902] v1[1903] v1[1904] v1[1905] v1[1906] v1[1907] v1[1908] v1[1909] v1[1910] v1[1911] v1[1912] v1[1913] v1[1914] v1[1915] v1[1916] v1[1917] v1[1918] v1[1919] v1[1920] v1[1921] v1[1922] v1[1923] v1[1924] v1[1925] v1[1926] v1[1927] v1[1928] v1[1929] v1[1930] v1[1931] v1[1932] v1[1933] v1[1934] v1[1935] v1[1936] v1[1937] v1[1938] v1[1939] v1[1940] v1[1941] v1[1942] v1[1943] v1[1944] v1[1945] v1[1946] v1[1947] v1[1948] v1[1949] v1[1950] v1[1951] v1[1952] v1[1953] v1[1954] v1[1955] v1[1956] v1[1957] v1[1958] v1[1959] v1[1960] v1[1961] v1[1962] v1[1963] v1[1964] v1[1965] v1[1966] v1[1967] v1[1968] v1[1969] v1[1970] v1[1971] v1[1972] v1[1973] v1[1974] v1[1975] v1[1976] v1[1977] v1[1978] v1[1979] v1[1980] v1[1981] v1[1982] v1[1983] v1[1984] v1[1985] v1[1986] v1[1987] v1[1988] v1[1989] v1[1990] v1[1991] v1[1992] v1[1993] v1[1994] v1[1995] v1[1996] v1[1997] v1[1998] v1[1999] v1[2000] v1[2001] v1[2002] v1[2003] v1[2004] v1[2005] v1[2006] v1[2007] v1[2008] v1[2009] v1[2010] v1[2011] v1[2012] v1[2013] v1[2014] v1[2015] v1[2016] v1[2017] v1[2018] v1[2019] v1[2020] v1[2021] v1[2022] v1[2023] v1[2024] v1[2025] v1[2026] v1[2027] v1[2028] v1[2029] v1[2030] v1[2031] v1[2032] v1[2033] v1[2034] v1[2035] v1[2036] v1[2037] v1[2038] v1[2039] v1[2040] v1[2041] v1[2042] v1[2043] v1[2044] v1[2045] v1[2046] v1[2047] v1[2048] v1[2049] v1[2050] v1[2051] v1[2052] v1[2053] v1[2054] v1[2055] v1[2056] v1[2057] v1[2058] v1[2059] v1[2060] v1[2061] v1[2062] v1[2063] v1[2064] v1[2065] v1[2066] v1[2067] v1[2068] v1[2069] v1[2070] v1[2071] v1[2072] v1[2073] v1[2074] v1[2075] v1[2076] v1[2077] v1[2078] v1[2079] v1[2080] v1[2081] v1[2082] v1[2083] v1[2084] v1[2085] v1[2086] v1[2087] v1[2088] v1[2089] v1[2090] v1[2091] v1[2092] v1[2093] v1[2094] v1[2095] v1[2096] v1[2097] v1[2098] v1[2099] v1[2100] v1[2101] v1[2102] v1[2103] v1[2104] v1[2105] v1[2106] v1[2107] v1[2108] v1[2109] v1[2110] v1[2111] v1[2112] v1[2113] v1[2114] v1[2115] v1[2116] v1[2117] v1[2118] v1[2119] v1[2120] v1[2121] v1[2122] v1[2123] v1[2124] v1[2125] v1[2126] v1[2127] v1[2128] v1[2129] v1[2130] v1[2131] v1[2132] v1[2133] v1[2134] v1[2135] v1[2136] v1[2137] v1[2138] v1[2139] v1[2140] v1[2141] v1[2142] v1[2143] v1[2144] v1[2145] v1[2146] v1[2147] v1[2148] v1[2149] v1[2150] v1[2151] v1[2152] v1[2153] v1[2154] v1[2155] v1[2156] v1[2157] v1[2158] v1[2159] v1[2160] v1[2161] v1[2162] v1[2163] v1[2164] v1[2165] v1[2166] v1[2167] v1[2168] v1[2169] v1[2170] v1[2171] v1[2172] v1[2173] v1[2174] v1[2175] v1[2176] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] v2[1419] v2[1420] v2[1421] v2[1422] v2[1423] v2[1424] v2[1425] v2[1426] v2[1427] v2[1428] v2[1429] v2[1430] v2[1431] v2[1432] v2[1433] v2[1434] v2[1435] v2[1436] v2[1437] v2[1438] v2[1439] v2[1440] v2[1441] v2[1442] v2[1443] v2[1444] v2[1445] v2[1446] v2[1447] v2[1448] v2[1449] v2[1450] v2[1451] v2[1452] v2[1453] v2[1454] v2[1455] v2[1456] v2[1457] v2[1458] v2[1459] v2[1460] v2[1461] v2[1462] v2[1463] v2[1464] v2[1465] v2[1466] v2[1467] v2[1468] v2[1469] v2[1470] v2[1471] v2[1472] v2[1473] v2[1474] v2[1475] v2[1476] v2[1477] v2[1478] v2[1479] v2[1480] v2[1481] v2[1482] v2[1483] v2[1484] v2[1485] v2[1486] v2[1487] v2[1488] v2[1489] v2[1490] v2[1491] v2[1492] v2[1493] v2[1494] v2[1495] v2[1496] v2[1497] v2[1498] v2[1499] v2[1500] v2[1501] v2[1502] v2[1503] v2[1504] v2[1505] v2[1506] v2[1507] v2[1508] v2[1509] v2[1510] v2[1511] v2[1512] v2[1513] v2[1514] v2[1515] v2[1516] v2[1517] v2[1518] v2[1519] v2[1520] v2[1521] v2[1522] v2[1523] v2[1524] v2[1525] v2[1526] v2[1527] v2[1528] v2[1529] v2[1530] v2[1531] v2[1532] v2[1533] v2[1534] v2[1535] v2[1536] v2[1537] v2[1538] v2[1539] v2[1540] v2[1541] v2[1542] v2[1543] v2[1544] v2[1545] v2[1546] v2[1547] v2[1548] v2[1549] v2[1550] v2[1551] v2[1552] v2[1553] v2[1554] v2[1555] v2[1556] v2[1557] v2[1558] v2[1559] v2[1560] v2[1561] v2[1562] v2[1563] v2[1564] v2[1565] v2[1566] v2[1567] v2[1568] v2[1569] v2[1570] v2[1571] v2[1572] v2[1573] v2[1574] v2[1575] v2[1576] v2[1577] v2[1578] v2[1579] v2[1580] v2[1581] v2[1582] v2[1583] v2[1584] v2[1585] v2[1586] v2[1587] v2[1588] v2[1589] v2[1590] v2[1591] v2[1592] v2[1593] v2[1594] v2[1595] v2[1596] v2[1597] v2[1598] v2[1599] v2[1600] v2[1601] v2[1602] v2[1603] v2[1604] v2[1605] v2[1606] v2[1607] v2[1608] v2[1609] v2[1610] v2[1611] v2[1612] v2[1613] v2[1614] v2[1615] v2[1616] v2[1617] v2[1618] v2[1619] v2[1620] v2[1621] v2[1622] v2[1623] v2[1624] v2[1625] v2[1626] v2[1627] v2[1628] v2[1629] v2[1630] v2[1631] v2[1632] v2[1633] v2[1634] v2[1635] v2[1636] v2[1637] v2[1638] v2[1639] v2[1640] v2[1641] v2[1642] v2[1643] v2[1644] v2[1645] v2[1646] v2[1647] v2[1648] v2[1649] v2[1650] v2[1651] v2[1652] v2[1653] v2[1654] v2[1655] v2[1656] v2[1657] v2[1658] v2[1659] v2[1660] v2[1661] v2[1662] v2[1663] v2[1664] v2[1665] v2[1666] v2[1667] v2[1668] v2[1669] v2[1670] v2[1671] v2[1672] v2[1673] v2[1674] v2[1675] v2[1676] v2[1677] v2[1678] v2[1679] v2[1680] v2[1681] v2[1682] v2[1683] v2[1684] v2[1685] v2[1686] v2[1687] v2[1688] v2[1689] v2[1690] v2[1691] v2[1692] v2[1693] v2[1694] v2[1695] v2[1696] v2[1697] v2[1698] v2[1699] v2[1700] v2[1701] v2[1702] v2[1703] v2[1704] v2[1705] v2[1706] v2[1707] v2[1708] v2[1709] v2[1710] v2[1711] v2[1712] v2[1713] v2[1714] v2[1715] v2[1716] v2[1717] v2[1718] v2[1719] v2[1720] v2[1721] v2[1722] v2[1723] v2[1724] v2[1725] v2[1726] v2[1727] v2[1728] v2[1729] v2[1730] v2[1731] v2[1732] v2[1733] v2[1734] v2[1735] v2[1736] v2[1737] v2[1738] v2[1739] v2[1740] v2[1741] v2[1742] v2[1743] v2[1744] v2[1745] v2[1746] v2[1747] v2[1748] v2[1749] v2[1750] v2[1751] v2[1752] v2[1753] v2[1754] v2[1755] v2[1756] v2[1757] v2[1758] v2[1759] v2[1760] v2[1761] v2[1762] v2[1763] v2[1764] v2[1765] v2[1766] v2[1767] v2[1768] v2[1769] v2[1770] v2[1771] v2[1772] v2[1773] v2[1774] v2[1775] v2[1776] v2[1777] v2[1778] v2[1779] v2[1780] v2[1781] v2[1782] v2[1783] v2[1784] v2[1785] v2[1786] v2[1787] v2[1788] v2[1789] v2[1790] v2[1791] v2[1792] v2[1793] v2[1794] v2[1795] v2[1796] v2[1797] v2[1798] v2[1799] v2[1800] v2[1801] v2[1802] v2[1803] v2[1804] v2[1805] v2[1806] v2[1807] v2[1808] v2[1809] v2[1810] v2[1811] v2[1812] v2[1813] v2[1814] v2[1815] v2[1816] v2[1817] v2[1818] v2[1819] v2[1820] v2[1821] v2[1822] v2[1823] v2[1824] v2[1825] v2[1826] v2[1827] v2[1828] v2[1829] v2[1830] v2[1831] v2[1832] v2[1833] v2[1834] v2[1835] v2[1836] v2[1837] v2[1838] v2[1839] v2[1840] v2[1841] v2[1842] v2[1843] v2[1844] v2[1845] v2[1846] v2[1847] v2[1848] v2[1849] v2[1850] v2[1851] v2[1852] v2[1853] v2[1854] v2[1855] v2[1856] v2[1857] v2[1858] v2[1859] v2[1860] v2[1861] v2[1862] v2[1863] v2[1864] v2[1865] v2[1866] v2[1867] v2[1868] v2[1869] v2[1870] v2[1871] v2[1872] v2[1873] v2[1874] v2[1875] v2[1876] v2[1877] v2[1878] v2[1879] v2[1880] v2[1881] v2[1882] v2[1883] v2[1884] v2[1885] v2[1886] v2[1887] v2[1888] v2[1889] v2[1890] v2[1891] v2[1892] v2[1893] v2[1894] v2[1895] v2[1896] v2[1897] v2[1898] v2[1899] v2[1900] v2[1901] v2[1902] v2[1903] v2[1904] v2[1905] v2[1906] v2[1907] v2[1908] v2[1909] v2[1910] v2[1911] v2[1912] v2[1913] v2[1914] v2[1915] v2[1916] v2[1917] v2[1918] v2[1919] v2[1920] v2[1921] v2[1922] v2[1923] v2[1924] v2[1925] v2[1926] v2[1927] v2[1928] v2[1929] v2[1930] v2[1931] v2[1932] v2[1933] v2[1934] v2[1935] v2[1936] v2[1937] v2[1938] v2[1939] v2[1940] v2[1941] v2[1942] v2[1943] v2[1944] v2[1945] v2[1946] v2[1947] v2[1948] v2[1949] v2[1950] v2[1951] v2[1952] v2[1953] v2[1954] v2[1955] v2[1956] v2[1957] v2[1958] v2[1959] v2[1960] v2[1961] v2[1962] v2[1963] v2[1964] v2[1965] v2[1966] v2[1967] v2[1968] v2[1969] v2[1970] v2[1971] v2[1972] v2[1973] v2[1974] v2[1975] v2[1976] v2[1977] v2[1978] v2[1979] v2[1980] v2[1981] v2[1982] v2[1983] v2[1984] v2[1985] v2[1986] v2[1987] v2[1988] v2[1989] v2[1990] v2[1991] v2[1992] v2[1993] v2[1994] v2[1995] v2[1996] v2[1997] v2[1998] v2[1999] v2[2000] v2[2001] v2[2002] v2[2003] v2[2004] v2[2005] v2[2006] v2[2007] v2[2008] v2[2009] v2[2010] v2[2011] v2[2012] v2[2013] v2[2014] v2[2015] v2[2016] v2[2017] v2[2018] v2[2019] v2[2020] v2[2021] v2[2022] v2[2023] v2[2024] v2[2025] v2[2026] v2[2027] v2[2028] v2[2029] v2[2030] v2[2031] v2[2032] v2[2033] v2[2034] v2[2035] v2[2036] v2[2037] v2[2038] v2[2039] v2[2040] v2[2041] v2[2042] v2[2043] v2[2044] v2[2045] v2[2046] v2[2047] v2[2048] v2[2049] v2[2050] v2[2051] v2[2052] v2[2053] v2[2054] v2[2055] v2[2056] v2[2057] v2[2058] v2[2059] v2[2060] v2[2061] v2[2062] v2[2063] v2[2064] v2[2065] v2[2066] v2[2067] v2[2068] v2[2069] v2[2070] v2[2071] v2[2072] v2[2073] v2[2074] v2[2075] v2[2076] v2[2077] v2[2078] v2[2079] v2[2080] v2[2081] v2[2082] v2[2083] v2[2084] v2[2085] v2[2086] v2[2087] v2[2088] v2[2089] v2[2090] v2[2091] v2[2092] v2[2093] v2[2094] v2[2095] v2[2096] v2[2097] v2[2098] v2[2099] v2[2100] v2[2101] v2[2102] v2[2103] v2[2104] v2[2105] v2[2106] v2[2107] v2[2108] v2[2109] v2[2110] v2[2111] v2[2112] v2[2113] v2[2114] v2[2115] v2[2116] v2[2117] v2[2118] v2[2119] v2[2120] v2[2121] v2[2122] v2[2123] v2[2124] v2[2125] v2[2126] v2[2127] v2[2128] v2[2129] v2[2130] v2[2131] v2[2132] v2[2133] v2[2134] v2[2135] v2[2136] v2[2137] v2[2138] v2[2139] v2[2140] v2[2141] v2[2142] v2[2143] v2[2144] v2[2145] v2[2146] v2[2147] v2[2148] v2[2149] v2[2150] v2[2151] v2[2152] v2[2153] v2[2154] v2[2155] v2[2156] v2[2157] v2[2158] v2[2159] v2[2160] v2[2161] v2[2162] v2[2163] v2[2164] v2[2165] v2[2166] v2[2167] v2[2168] v2[2169] v2[2170] v2[2171] v2[2172] v2[2173] v2[2174] v2[2175] v2[2176] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] d[1419] d[1420] d[1421] d[1422] d[1423] d[1424] d[1425] d[1426] d[1427] d[1428] d[1429] d[1430] d[1431] d[1432] d[1433] d[1434] d[1435] d[1436] d[1437] d[1438] d[1439] d[1440] d[1441] d[1442] d[1443] d[1444] d[1445] d[1446] d[1447] d[1448] d[1449] d[1450] d[1451] d[1452] d[1453] d[1454] d[1455] d[1456] d[1457] d[1458] d[1459] d[1460] d[1461] d[1462] d[1463] d[1464] d[1465] d[1466] d[1467] d[1468] d[1469] d[1470] d[1471] d[1472] d[1473] d[1474] d[1475] d[1476] d[1477] d[1478] d[1479] d[1480] d[1481] d[1482] d[1483] d[1484] d[1485] d[1486] d[1487] d[1488] d[1489] d[1490] d[1491] d[1492] d[1493] d[1494] d[1495] d[1496] d[1497] d[1498] d[1499] d[1500] d[1501] d[1502] d[1503] d[1504] d[1505] d[1506] d[1507] d[1508] d[1509] d[1510] d[1511] d[1512] d[1513] d[1514] d[1515] d[1516] d[1517] d[1518] d[1519] d[1520] d[1521] d[1522] d[1523] d[1524] d[1525] d[1526] d[1527] d[1528] d[1529] d[1530] d[1531] d[1532] d[1533] d[1534] d[1535] d[1536] d[1537] d[1538] d[1539] d[1540] d[1541] d[1542] d[1543] d[1544] d[1545] d[1546] d[1547] d[1548] d[1549] d[1550] d[1551] d[1552] d[1553] d[1554] d[1555] d[1556] d[1557] d[1558] d[1559] d[1560] d[1561] d[1562] d[1563] d[1564] d[1565] d[1566] d[1567] d[1568] d[1569] d[1570] d[1571] d[1572] d[1573] d[1574] d[1575] d[1576] d[1577] d[1578] d[1579] d[1580] d[1581] d[1582] d[1583] d[1584] d[1585] d[1586] d[1587] d[1588] d[1589] d[1590] d[1591] d[1592] d[1593] d[1594] d[1595] d[1596] d[1597] d[1598] d[1599] d[1600] d[1601] d[1602] d[1603] d[1604] d[1605] d[1606] d[1607] d[1608] d[1609] d[1610] d[1611] d[1612] d[1613] d[1614] d[1615] d[1616] d[1617] d[1618] d[1619] d[1620] d[1621] d[1622] d[1623] d[1624] d[1625] d[1626] d[1627] d[1628] d[1629] d[1630] d[1631] d[1632] d[1633] d[1634] d[1635] d[1636] d[1637] d[1638] d[1639] d[1640] d[1641] d[1642] d[1643] d[1644] d[1645] d[1646] d[1647] d[1648] d[1649] d[1650] d[1651] d[1652] d[1653] d[1654] d[1655] d[1656] d[1657] d[1658] d[1659] d[1660] d[1661] d[1662] d[1663] d[1664] d[1665] d[1666] d[1667] d[1668] d[1669] d[1670] d[1671] d[1672] d[1673] d[1674] d[1675] d[1676] d[1677] d[1678] d[1679] d[1680] d[1681] d[1682] d[1683] d[1684] d[1685] d[1686] d[1687] d[1688] d[1689] d[1690] d[1691] d[1692] d[1693] d[1694] d[1695] d[1696] d[1697] d[1698] d[1699] d[1700] d[1701] d[1702] d[1703] d[1704] d[1705] d[1706] d[1707] d[1708] d[1709] d[1710] d[1711] d[1712] d[1713] d[1714] d[1715] d[1716] d[1717] d[1718] d[1719] d[1720] d[1721] d[1722] d[1723] d[1724] d[1725] d[1726] d[1727] d[1728] d[1729] d[1730] d[1731] d[1732] d[1733] d[1734] d[1735] d[1736] d[1737] d[1738] d[1739] d[1740] d[1741] d[1742] d[1743] d[1744] d[1745] d[1746] d[1747] d[1748] d[1749] d[1750] d[1751] d[1752] d[1753] d[1754] d[1755] d[1756] d[1757] d[1758] d[1759] d[1760] d[1761] d[1762] d[1763] d[1764] d[1765] d[1766] d[1767] d[1768] d[1769] d[1770] d[1771] d[1772] d[1773] d[1774] d[1775] d[1776] d[1777] d[1778] d[1779] d[1780] d[1781] d[1782] d[1783] d[1784] d[1785] d[1786] d[1787] d[1788] d[1789] d[1790] d[1791] d[1792] d[1793] d[1794] d[1795] d[1796] d[1797] d[1798] d[1799] d[1800] d[1801] d[1802] d[1803] d[1804] d[1805] d[1806] d[1807] d[1808] d[1809] d[1810] d[1811] d[1812] d[1813] d[1814] d[1815] d[1816] d[1817] d[1818] d[1819] d[1820] d[1821] d[1822] d[1823] d[1824] d[1825] d[1826] d[1827] d[1828] d[1829] d[1830] d[1831] d[1832] d[1833] d[1834] d[1835] d[1836] d[1837] d[1838] d[1839] d[1840] d[1841] d[1842] d[1843] d[1844] d[1845] d[1846] d[1847] d[1848] d[1849] d[1850] d[1851] d[1852] d[1853] d[1854] d[1855] d[1856] d[1857] d[1858] d[1859] d[1860] d[1861] d[1862] d[1863] d[1864] d[1865] d[1866] d[1867] d[1868] d[1869] d[1870] d[1871] d[1872] d[1873] d[1874] d[1875] d[1876] d[1877] d[1878] d[1879] d[1880] d[1881] d[1882] d[1883] d[1884] d[1885] d[1886] d[1887] d[1888] d[1889] d[1890] d[1891] d[1892] d[1893] d[1894] d[1895] d[1896] d[1897] d[1898] d[1899] d[1900] d[1901] d[1902] d[1903] d[1904] d[1905] d[1906] d[1907] d[1908] d[1909] d[1910] d[1911] d[1912] d[1913] d[1914] d[1915] d[1916] d[1917] d[1918] d[1919] d[1920] d[1921] d[1922] d[1923] d[1924] d[1925] d[1926] d[1927] d[1928] d[1929] d[1930] d[1931] d[1932] d[1933] d[1934] d[1935] d[1936] d[1937] d[1938] d[1939] d[1940] d[1941] d[1942] d[1943] d[1944] d[1945] d[1946] d[1947] d[1948] d[1949] d[1950] d[1951] d[1952] d[1953] d[1954] d[1955] d[1956] d[1957] d[1958] d[1959] d[1960] d[1961] d[1962] d[1963] d[1964] d[1965] d[1966] d[1967] d[1968] d[1969] d[1970] d[1971] d[1972] d[1973] d[1974] d[1975] d[1976] d[1977] d[1978] d[1979] d[1980] d[1981] d[1982] d[1983] d[1984] d[1985] d[1986] d[1987] d[1988] d[1989] d[1990] d[1991] d[1992] d[1993] d[1994] d[1995] d[1996] d[1997] d[1998] d[1999] d[2000] d[2001] d[2002] d[2003] d[2004] d[2005] d[2006] d[2007] d[2008] d[2009] d[2010] d[2011] d[2012] d[2013] d[2014] d[2015] d[2016] d[2017] d[2018] d[2019] d[2020] d[2021] d[2022] d[2023] d[2024] d[2025] d[2026] d[2027] d[2028] d[2029] d[2030] d[2031] d[2032] d[2033] d[2034] d[2035] d[2036] d[2037] d[2038] d[2039] d[2040] d[2041] d[2042] d[2043] d[2044] d[2045] d[2046] d[2047] d[2048] d[2049] d[2050] d[2051] d[2052] d[2053] d[2054] d[2055] d[2056] d[2057] d[2058] d[2059] d[2060] d[2061] d[2062] d[2063] d[2064] d[2065] d[2066] d[2067] d[2068] d[2069] d[2070] d[2071] d[2072] d[2073] d[2074] d[2075] d[2076] d[2077] d[2078] d[2079] d[2080] d[2081] d[2082] d[2083] d[2084] d[2085] d[2086] d[2087] d[2088] d[2089] d[2090] d[2091] d[2092] d[2093] d[2094] d[2095] d[2096] d[2097] d[2098] d[2099] d[2100] d[2101] d[2102] d[2103] d[2104] d[2105] d[2106] d[2107] d[2108] d[2109] d[2110] d[2111] d[2112] d[2113] d[2114] d[2115] d[2116] d[2117] d[2118] d[2119] d[2120] d[2121] d[2122] d[2123] d[2124] d[2125] d[2126] d[2127] d[2128] d[2129] d[2130] d[2131] d[2132] d[2133] d[2134] d[2135] d[2136] d[2137] d[2138] d[2139] d[2140] d[2141] d[2142] d[2143] d[2144] d[2145] d[2146] d[2147] d[2148] d[2149] d[2150] d[2151] d[2152] d[2153] d[2154] d[2155] d[2156] d[2157] d[2158] d[2159] d[2160] d[2161] d[2162] d[2163] d[2164] d[2165] d[2166] d[2167] d[2168] d[2169] d[2170] d[2171] d[2172] d[2173] d[2174] d[2175] d[2176]
2400.08/1922.22	v       </list>
2400.08/1922.22	v       <values>
2400.08/1922.22	v         2612 2400 2304 2500 2664 2688 2528 2180 2356 2544 2220 2528 2628 2464 2180 2316 2644 2452 2364 2316 2464 2212 2348 2408 2448 2396 2416 2200 2304 2488 2676 2452 2312 2220 2424 2200 2384 2220 2244 2412 2684 2336 2308 2716 2584 2364 2672 2312 2404 2540 2676 2532 2300 2260 2592 2452 2180 2460 2456 2400 2496 2368 2456 2220 2500 2184 2180 2264 2232 2208 2388 2488 2236 2416 2404 2456 2336 2636 2716 2220 2428 2236 2420 2196 2180 2424 2716 2220 2288 2232 2400 2180 2316 2412 2280 2532 2448 2472 2372 2584 2604 2592 2364 2388 2536 2388 2612 2476 2708 2576 2716 2504 2484 2572 2500 2240 2676 2584 2212 2468 2236 2492 2296 2564 2508 2420 2220 2388 2676 2688 2496 2676 2388 2348 2220 2220 2180 2404 2496 2220 2468 2560 2540 2228 2484 2332 2596 2636 2568 2596 2528 2256 2484 2180 2584 2592 2240 2676 2192 2500 2472 2380 2632 2536 2536 2648 2208 2600 2676 2252 2248 2456 2456 2216 2592 2384 2204 2716 2304 2668 2716 2716 2200 2540 2544 2360 2544 2652 2440 2364 2460 2412 2660 2516 2364 2420 2320 2620 2180 2444 2580 2524 2404 2676 2324 2356 2704 2416 2432 2500 2180 2600 2256 2608 2716 2712 2244 2416 2576 2632 2180 2460 2444 2220 2348 2420 2188 2676 2240 2224 2340 2716 2500 2676 2672 2296 2492 2580 2536 2540 2492 2632 2704 2500 2196 2352 2532 2488 2452 2512 2716 2360 2284 2460 2264 2488 2424 2664 2536 2716 2256 2540 2248 2676 2196 2540 2220 2584 2640 2716 2412 2492 2180 2676 2412 2572 2404 2648 2528 2668 2716 2488 2328 2708 2504 2384 2180 2352 2568 2380 2340 2272 2716 2276 2600 2240 2608 2552 2276 2240 2324 2676 2700 2292 2452 2632 2284 2488 2620 2252 2220 2428 2296 2512 2704 2624 2660 2444 2716 2576 2220 2544 2540 2560 2532 2492 2348 2452 2716 2264 2676 2524 2668 2440 2676 2180 2532 2220 2552 2664 2220 2180 2412 2676 2376 2564 2580 2200 2508 2540 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 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 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 9 0 10 1 0 4 0 9 0 0 0 0 0 0 0 0 4 0 10 0 9 1 10 10 0 7 0 10 0 0 10 0 0 1 0 0 0 0 0 10 10 0 0 1 0 0 1 0 0 0 7 0 0 10 0 10 0 0 8 0 8 0 0 0 10 3 0 10 0 0 0 2 5 0 1 0 1 0 0 0 0 0 0 0 10 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 5 0 1 0 7 0 8 10 9 1 5 0 0 10 1 10 0 0 0 3 0 0 0 4 0 0 0 0 0 0 1 0 7 0 8 10 0 0 0 0 0 0 0 0 0 10 0 3 10 0 10 0 0 10 8 4 0 0 0 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 10 8 0 1 10 10 0 0 0 1 10 1 9 0 8 0 0 1 0 10 0 10 10 10 10 0 0 1 0 0 0 0 0 0 6 0 1 4 10 0 0 1 9 0 0 0 0 7 0 0 0 9 0 0 1 0 10 0 0 0 10 1 0 0 1 1 0 0 0 10 0 0 0 0 0 0 1 0 0 10 1 10 0 0 5 0 0 10 0 1 0 1 0 8 0 0 0 10 0 0 0 3 10 0 0 0 0 1 10 9 0 10 10 5 0 0 0 10 10 10 0 0 9 10 0 0 0 8 0 0 10 0 0 0 10 0 10 0 0 0 9 10 0 0 0 10 10 0 0 4 7 1 1 1 0 0 0 0 0 0 0 0 10 9 1 0 1 0 7 1 10 0 10 1 8 10 0 0 0 1 0 10 5 9 0 0 10 0 1 0 0 1 0 0 0 2 0 10 0 2 2 0 0 7 5 8 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 10 10 0 10 0 3 0 0 0 10 0 0 0 0 0 0 1 7 0 10 0 0 6 0 0 0 0 0 7 0 0 0 0 1 5 0 1 1 2 10 0 0 9 0 0 0 0 0 0 1 0 7 0 10 10 0 0 1 10 5 0 1 0 0 0 0 10 0 8 0 0 10 0 0 1 0 0 0 0 10 1 7 10 0 10 9 0 1 9 10 0 10 10 0 10 0 0 0 0 0 0 9 0 1 0 0 1 0 0 0 5 0 0 0 0 0 0 0 0 4 0 9 1 1 0 0 7 0 10 10 0 10 0 0 0 3 0 0 8 10 0 10 0 0 0 0 0 1 0 0 0 0 0 10 0 0 10 0 0 0 0 0 9 0 0 10 10 0 0 0 10 10 0 1 10 1 0 0 1 0 0 10 0 0 1 0 10 0 0 10 1 0 0 0 9 0 0 0 0 0 1 0 0 9 0 10 0 10 0 0 1 10 10 0 0 0 0 1 0 1 10 0 10 1 0 0 0 10 0 0 0 4 0 0 0 0 0 6 6 8 0 10 1 0 0 0 7 0 1 0 1 1 10 0 4 0 0 4 9 0 9 10 0 0 9 0 10 0 0 0 0 0 9 10 0 0 1 0 3 0 3 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 9 0 0 0 10 0 1 9 10 0 0 0 10 1 0 0 4 0 0 0 0 6 0 0 10 0 9 0 0 0 10 0 10 0 1 10 1 8 0 1 1 0 10 0 10 8 8 0 10 0 0 0 0 0 0 9 0 10 6 0 10 0 0 4 0 0 0 10 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 1 0 10 7 0 1 0 5 0 0 10 7 0 10 10 0 0 0 10 0 0 0 0 0 0 1 0 3 0 0 0 9 0 0 0 10 0 0 1 0 0 6 0 0 0 0 0 10 0 8 0 10 1 0 0 0 0 0 8 1 0 0 0 0 0 1 0 0 0 0 0 5 0 9 10 0 0 1 9 0 1 0 1 3 1 0 0 0 0 0 10 0 0 3 10 0 0 1 5 10 0 1 1 0 10 0 0 0 0 0 0 0 0 0 6 0 7 0 1 0 10 9 5 0 0 10 0 0 0 0 2 0 7 0 9 7 2 4 0 0 0 0 0 1 0 0 10 0 0 0 0 0 10 0 0 0 9 9 0 0 0 0 6 0 10 7 0 10 0 0 0 0 1 10 1 0 0 10 0 9 10 1 0 0 0 0 0 10 0 0 0 7 0 0 0 10 9 0 0 0 1 0 10 0 0 10 0 1 1 0 10 0 0 8 10 1 10 1 0 10 0 0 7 0 0 0 0 0 0 0 0 1 0 10 8 10 0 8 0 10 0 1 0 10 0 0 0 0 0 0 0 10 0 3 1 0 1 0 2 0 10 9 0 0 0 0 0 0 10 10 0 0 0 5 0 0 9 10 1 0 10 0 0 0 1 0 2 0 0 0 0 0 0 4 10 10 1 7 10 8 10 0 8 10 10 0 1 1 7 1 0 0 0 1 10 1 1 10 10 8 0 0 0 0 0 1 0 0 4 0 10 10 0 10 8 0 7 2 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 5 10 0 1 0 0 9 0 1 1 8 1 4 0 0 0 0 0 0 0 0 0 9 0 0 10 6 1 0 0 1 10 0 0 0 0 3 0 10 10 0 5 0 2 0 0 10 10 10 0 1 0 0 6 0 0 10 0 10 0 0 1 0 0 0 0 0 9 0 0 10 0 10 0 0 3 3 2 0 0 0 1 0 0 0 0 10 0 0 10 0 0 10 10 0 9 10 0 0 0 10 0 0 0 8 0 0 0 4 0 3 5 0 0 0 10 0 0 0 0 0 0 7 0 8 0 1 10 1 1 10 0 0 3 0 0 0 9 1 0 4 0 8 0 1 0 0 0 0 0 0 0 0 0 0 10 9 0 8 0 0 0 0 1 0 0 0 0 7 0 0 10 7 7 0 0 10 0 0 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 1 2 1 0 10 0 10 0 4 0 0 1 8 10 0 0 1 0 6 0 0 0 0 6 0 1 0 0 0 10 10 0 8 10 10 0 10 0 4 9 10 0 9 0 0 0 0 0 10 10 10 0 0 0 10 0 0 0 0 10 10 10 10 0 10 0 0 10 0 10 0 0 0 10 0 0 0 6 0 1 0 0 0 0 1 0 0 10 0 0 0 10 0 8 1 1 0 0 0 0 0 5 0 0 0 0 0 1 0 1 0 0 0 0 4 0 10 0 0 0 10 10 1 0 10 9 9 2 10 0 0 2 1 0 0 0 0 0 10 0 0 0 1 10 0 0 10 0 10 0 1 10 0 1 1 0 1 0 0 0 0 0 0 0 0 10 0 10 10 0 8 6 0 0 0 0 7 1 1 1 0 0 0 0 5 9 0 5 0 0 5 0 1 0 0 10 10 0 0 10 10 0 0 0 10 1 1 0 10 0 1 1 6 0 0 4 10 10 0 10 0 10 0 0 0 0 2 8 10 0 0 0 0 0 0 2 0 0 7 0 1 0 1 0 0 0 0 0 0 2 0 0 4 0 0 0 1 0 10 0 0 10 10 0 10 10 1 0 0 0 1 0 10 0 0 0 0 0 0 0 6 0 0 10 0 0 1 0 7 0 0 0 10 0 0 0 0 8 1 0 0 0 0 0 0 3 0 0 0 0 0 5 0 0 0 10 0 0 0 0 0 4 0 0 1 0 0 10 10 0 0 0 0 0 0 0 0 10 7 0 10 1 1 0 8 1 0 8 3 5 0 0 9 0 0 0 0 0 0 10 8 0 0 0 0 10 1 0 0 0 4 0 1 1 7 10 3 0 10 10 0 0 0 0 10 1 0 8 0 9 10 9 0 0 1 0 0 0 10 0 0 0 0 1 10 10 0 0 0 0 0 6 0 7 0 10 0 0 0 0 1 0 1 10 10 0 0 10 1 9 1 0 1 3 10 0 0 0 8 0 0 0 0 0 10 0 0 0 6 10 0 1 0 10 10 7 1 10 0 0 1 9 0 7 0 0 0 0 0 1 0 10 10 0 0 0 0 9 10 0 1 3 0 0 0 0 0 0 0 0 0 0 7 0 2 1 0 0 10 10 0 0 10 10 0 0 0 0 0 0 0 0 10 0 0 1 0 0 10 0 0 0 0 10 8 0 0 0 6 10 0 1 0 1 1 10 0 0 0 0 10 1 0 0 10 0 2 0 9 0 0 1 0 10 6 0 0 0 0 0 0 0 0 10 0 0 10 2 0 10 1 10 0 9 10 10 0 0 7 8 0 10 0 0 0 1 0 4 0 0 9 1 10 0 10 0 1 1 0 10 0 8 10 10 0 0 8 0 1 0 0 0 0 0 0 10 10 0 9 0 10 0 0 0 0 0 3 10 4 0 4 1 0 9 0 1 0 10 10 10 10 0 3 10 2 0 10 5 0 1 0 0 10 8 0 0 9 10 9 10 0 7 1 9 0 0 0 0 0 0 6 0 1 1 0 0 0 1 9 0 4 0 3 10 10 1 0 10 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 10 0 6 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 1 10 10 0 0 0 10 10 1 0 0 0 1 0 4 0 1 0 1 10 0 0 10 10 10 0 0 10 9 0 5 7 10 0 1 0 0 1 0 0 0 0 0 0 1 0 10 4 0 0 0 0 7 10 3 10 0 0 0 10 0 9 10 0 0 0 10 0 0 0 1 10 0 0 10 0 6 0 1 0 10 10 0 1 0 10 0 0 0 0 0 10 0 0 10 0 0 6 0 0 8 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 148 164 188 404 224 128 144 16 44 420 76 424 100 104 432 64 200 92 168 180 220 88 276 140 92 220 224 268 276 32 200 64 148 124 136 248 300 12 200 240 216 260 176 36 44 244 140 88 168 160 80 484 328 204 484 432 444 292 196 12 4 344 12 64 416 124 392 372 44 304 504 288 192 36 68 28 432 276 40 348 148 188 16 16 228 76 356 420 20 260 184 420 536 0 488 40 372 48 144 360 48 320 360 100 320 264 320 156 132 236 308 264 8 164 76 48 296 240 124 184 52 296 172 424 80 44 416 352 40 432 240 456 20 232 272 64 292 308 60 140 16 284 108 272 76 92 32 148 348 312 220 368 228 264 136 88 172 104 372 56 80 408 88 48 16 212 76 20 132 8 32 4 216 12 156 280 136 192 288 496 348 60 24 480 240 140 420 400 92 88 84 72 180 220 360 360 332 212 348 432 72 240 424 244 148 388 32 32 4 380 192 4 140 92 88 20 40 252 232 148 168 48 84 220 148 352 96 184 168 352 184 208 124 68 296 76 180 244 332 360 140 100 344 212 36 136 284 176 120 64 144 244 124 76 52 212 252 212 204 156 24 204 380 84 136 44 504 228 152 456 116 504 456 140 288 72 60 188 264 368 168 32 144 144 316 328 140 216 176 8 188 48 192 152 268 168 188 176 300 80 144 240 60 60 148 120 228 256 220 44 92 264 204 260 96 268 84 276 240 32 164 312 176 64 320 104 216 320 132 176 108 136 260 40 48 40 180 176 236 160 168 216 128 24 252 88 208 100 60 516 516 304 148 392 256 140 20 120 104 96 372 112 232 364 240 100 408 116 236 32 88 84 156 228 36 308 216 152 104 64 144 72 468 288 192 80 108 0 484 140 272 456 488 324 384 496 52 44 272 88 116 176 80 52 324 220 64 296 88 360 48 260 192 20 28 40 204 0 168 0 320 252 224 224 24 44 496 104 412 224 332 108 264 120 180 76 0 148 88 20 108 240 340 20 32 292 20 392 516 476 212 20 292 64 104 48 28 188 176 20 128 0 320 240 456 496 268 356 340 456 12 288 264 24 144 24 116 52 256 396 136 376 268 460 92 96 232 44 304 52 156 256 172 172 128 40 0 36 404 296 72 208 20 408 400 24 108 120 20 28 116 96 324 84 340 96 264 12 244 124 184 128 16 152 324 224 128 392 68 40 228 312 124 96 180 256 460 228 432 176 52 152 8 128 196 20 196 44 92 52 208 272 64 352 132 212 132 180 184 116 208 140 64 76 184 36 44 36 452 444 44 148 492 64 44 180 100 168 180 80 20 160 36 224 320 200 112 116 52 188 80 164 208 180 224 0 304 52 312 272 84 320 128 68 300 136 128 40 68 360 440 340 184 380 176 40 40 8 348 76 52 232 0 296 144 88 140 40 120 48 80 120 244 404 416 48 128 120 280 196 244 336 8 276 364 4 276 220 228 84 188 208 48 68 172 412 244 180 320 268 24 232 272 32 264 200 252 48 224 40 232 80 224 272 276 324 356 276 36 312 160 104 496 328 224 144 88 96 220 76 200 40 140 216 140 280 112 120 188 276 44 120 124 240 256 276 260 132 260 236 16 276 236 96 136 112 180 144 60 276 160 4 300 316 200 264 80 108 40 244 48 176 36 272 84 276 148 68 44 132 224 348 4 252 144 40 300 36 28 192 44 12 236 276 108 4 220 220 288 340 36 316 380 212 444 496 20 448 332 72 100 128 208 216 288 280 84 308 212 40 0 216 260 280 264 492 236 408 16 220 528 316 228 368 100 340 136 496 40 40 360 60 72 480 496 144 400 320 536 60 156 68 272 240 308 232 316 236 160 412 452 268 52 12 308 252 444 64 148 92 388 484 52 32 180 388 360 16 460 196 148 504 36 12 20 84 36 208 180 324 200 328 180 96 96 276 192 124 188 188 60 152 20 36 304 204 92 56 388 432 220 8 88 204 176 52 192 28 260 92 248 56 164 132 244 140 140 260 44 68 232 236 248 0 132 176 276 116 136 52 32 136 304 136 272 80 208 92 520 212 220 172 12 376 152 68 256 200 32 236 36 24 364 184 488 496 456 332 196 148 192 180 96 248 288 144 164 112 144 0 80 232 4 148 32 424 184 440 364 56 36 316 440 304 224 56 240 200 240 292 68 24 44 192 412 16 264 60 52 16 132 40 296 404 384 40 200 396 160 452 16 360 360 172 496 84 36 204 128 292 216 292 44 100 196 280 12 224 104 260 272 392 364 0 160 200 272 320 456 428 60 32 388 48 68 296 420 388 476 344 12 292 472 52 484 300 272 96 128 252 220 136 276 248 160 152 220 240 208 288 412 204 360 360 76 68 104 284 32 264 348 68 44 84 192 48 168 188 264 100 132 152 304 408 124 368 396 28 436 436 104 4 172 16 60 56 12 8 100 144 144 168 312 144 268 88 136 268 228 204 116 244 8 96 132 168 48 304 208 100 56 172 36 124 84 120 364 52 184 84 72 48 112 112 60 220 72 44 296 124 152 228 412 368 72 264 32 372 76 124 172 56 312 236 184 216 288 0 96 316 104 328 288 188 76 152 140 332 216 136 168 356 124 40 188 180 288 196 280 32 324 36 28 232 208 400 76 112 64 104 308 172 336 316 80 48 240 236 248 200 268 104 252 16 172 84 132 124 8 184 100 8 424 136 204 256 356 396 328 52 140 292 172 248 72 148 232 40 232 40 48 476 32 32 136 164 16 76 112 84 192 80 128 264 132 232 192 304 96 104 96 84 36 32 128 84 128 216 116 280 436 344 396 140 336 16 300 252 368 204 20 76 216 40 188 392 188 456 364 204 152 8 208 228 12 192 48 148 208 132 112 196 28 280 216 440 204 140 4 292 8 184 84 60 172 188 420 68 68 284 380 116 192 328 156 4 72 32 112 100 24 384 344 56 120 288 36 68 92 212 8 232 184 124 152 256 116 72 112 68 8 68 68 240 168 0 308 496 420 496 160 56 480 412 484 340 168 28 192 328 252 328 64 232 316 24 472 16 256 356 76 96 404 12 384 364 88 16 508 200 220 48 176 172 156 176 220 84 276 328 136 328 176 96 208 80 92 196 148 148 228 284 284 316 192 292 92 160 28 40 388 272 316 284 324 492 140 316 320 320 456 488 440 144 320 160 308 496 40 188 36 40 128 152 108 44 240 180 180 144 256 232 76 280 420 160 104 412 192 132 236 108 272 380 156 148 156 180 284 136 48 52 160 364 152 296 380 488 56 436 264 276 48 312 52 124 56 72 136 108 276 84 68 240 172 96 228 200 28 404 60 72 352 376 408 416 272 412 100 40 108 376 32 164 212 324 104 108 152 96 72 268 4 16 16 76 176 308 148 4 460 56 184 460 420 72 84 172 368 412 116 108 264 4 100 132 276 308 480 168 272 484 48 152 92 96 172 112 132 232 124 140 124 420 360 60 112 432 456 336 324 140 384 496 220 520 224 4 160 100 132 40 40 136 104 12 40 68 148 208 252 192 76 24 228 36 196 40 160 268 220 356 80 100 412 32 180 44 180 180 176 316 348 184 180 244 28 68 344 468 28 56 68 468 196 428 208 360 508 356 188 168 184 376 260 72 116 40 372 40 496 400 232 236 272 424 12 288 32 332 152 240 464 424 276 184 284 256 240 316 200 220 84 236 52 72 164 220 84 40 244 4 188 492 500 336 40 52 24 100 372 180 276 20 64 236 204 116 76 112 276 456 472 460 456 412 176 284 216 0 52 420 140 496 228 412 124 108 224 28 356 272 136 72 128 264 448 480 488 256 84 432 224 144 148 288 276 0 304 48 536 92 264 164 164 184 20 244 468 164 48 52 36 184 64 164 180 280 20 84 36 272 160 20 124 164 92 12 32 428 116 456 112 24 412 12 276 16 228 260 236 80 16 352 184 304 80 208 244 88 80 152 240 340 16 312 80 388 192 188 96 20 44 64 352 168 36 128 304 256 72 80 160 280 356 140 28 260 48 84 364 56 56 28 204 536 96 104 312 64 88 128 300 240 260 144 48 308 160 216 56 224 76 404 32 48 352 144 168 48 128 420 260 192 168 192 236 8 280 96 216 160 224 32 8 40 428 84 392 324 248 32 328 164 420 16 280 16 344 56 356 144 212 468 360 420 24 108 48 64 296 208 260 148 236 124 88 40 224 284 324 140 452 412 84 100 412 124 484 92 232 120 72 216 48 88 16 96 32 132 444 184 428 72 328 144 76 204 168 72 212 200 8 284 156 112 72 72 104 8 436 0 400 184 124 468 476 436 284 20 312 316 452 288 492 124 76 0 336 48 388 332 536 92 48 340 32 72 28 68 204 136 116 136 416 180 292 96 452 204 100 420 156 336 324 176 60 88 0 140 112 296 48 48 344 176 176 284 12 320 320 4 140 108 12 104 408 44 128 144 264 40 216 132 204 80 8 520 372 128 436 424 508 344 296 216 60 136 172 24 144 28 232 112 536 420 276 208 128 20 288 220 316 144 128 68 196 240 84 308 240 164 212 176 276 172 112 36 4 0 440 96 516 392 8 136 160 32 28 28 32 208 512 372 88 100 480 356 44 364 184 164 496 332 180 124 16 132 44 260 8 20 228 188 392 0 140 304 516 100 304 4 108 40 168 0 40 96 496 116 480 260 28 324 328 144 12 188 136 288 128 212 152 304 312 272 188 32 488 228 8 264 368 212 228 64 340 212 256 156 144 128 276 164 156 372 96 20 348 24 220 304 56 324 180 200 176 332 384 360 360 304 24 64 320 164 388 176 48 424 428 136 24 424 376 380 100 256 288 112 200 12 72 56 432 168 392 392 224 192 88 44 84 440 320 144 292 72 28 504 44 312 272 232 120 184 496 232 364 352 176 116 328 164 400 156 24
2400.08/1922.22	v       </values>
2400.08/1922.22	v     </instantiation>
2400.08/1922.22	s SATISFIABLE

Verifier Data 

OK	526643608

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403247-1568985789/watcher-4403247-1568985789 -o /tmp/evaluation-result-4403247-1568985789/solver-4403247-1568985789 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568967597-23755 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=801022688 HOME/instance-4403247-1568985789.xml 

running on 4 cores: 0-3

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=29528, runsolver pid=29525

[startup+0.100058 s]*
/proc/loadavg: 1.40 1.35 1.42 3/215 29581
/proc/meminfo: memFree=2737656/32770688 swapFree=66971596/67108860
[pid=29528] ppid=29525 vsize=9972712 memory=13860 CPUtime=0.1 cores=0-3
/proc/29528/stat : 29528 (java) S 29525 29528 23724 0 -1 1077944320 4239 13153 0 0 1 0 6 3 20 0 6 0 474520766 10212057088 3465 33554432000 4194304 4196468 140721394003120 140721393985664 140346106838775 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
/proc/29528/statm: 2493178 3465 1833 1 0 2481616 0
[pid=29528/tid=29581] ppid=29525 vsize=9972712 memory=4279135703913235850 CPUtime=0.09 cores=0-3
/proc/29528/task/29581/stat : 29581 (java) R 29525 29528 23724 0 -1 4202560 2052 13153 0 0 0 0 6 3 20 0 6 0 474520776 10212057088 3531 33554432000 4194304 4196468 140721394003120 140346078675536 140346106860701 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29582] ppid=29525 vsize=9972712 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29582/stat : 29582 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 6 0 474520777 10212057088 3531 33554432000 4194304 4196468 140721394003120 140346111081616 140346106848981 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29583] ppid=29525 vsize=9972712 memory=140649191589504 CPUtime=0.09 cores=0-3
/proc/29528/task/29583/stat : 29583 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 6 0 474520777 10212057088 3531 33554432000 4194304 4196468 140721394003120 140345679940624 140346106848981 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29584] ppid=29525 vsize=9972712 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29584/stat : 29584 (java) S 29525 29528 23724 0 -1 1077944384 2 13153 0 0 0 0 6 3 20 0 6 0 474520777 10212057088 3531 33554432000 4194304 4196468 140721394003120 140345678887824 140346106848981 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29585] ppid=29525 vsize=9972712 memory=-1 CPUtime=0.09 cores=0-3
/proc/29528/task/29585/stat : 29585 (java) S 29525 29528 23724 0 -1 1077944384 2 13153 0 0 0 0 6 3 20 0 6 0 474520777 10212057088 3531 33554432000 4194304 4196468 140721394003120 140345677835024 140346106848981 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 13860 KiB

[startup+0.211189 s]*
/proc/loadavg: 1.40 1.35 1.42 5/228 29594
/proc/meminfo: memFree=2720552/32770688 swapFree=66971596/67108860
[pid=29528] ppid=29525 vsize=10819716 memory=36184 CPUtime=0.27 cores=0-3
/proc/29528/stat : 29528 (java) S 29525 29528 23724 0 -1 1077944320 7418 13153 0 0 17 1 6 3 20 0 15 0 474520766 11079389184 9046 33554432000 4194304 4196468 140721394003120 140721393985664 140346106838775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
/proc/29528/statm: 2704929 9046 3182 1 0 2667149 0
[pid=29528/tid=29581] ppid=29525 vsize=10819716 memory=7022364594140610616 CPUtime=0.19 cores=0-3
/proc/29528/task/29581/stat : 29581 (java) R 29525 29528 23724 0 -1 4202560 3855 13153 0 0 10 0 6 3 20 0 15 0 474520776 11079389184 9046 33554432000 4194304 4196468 140721394003120 140346078669784 140346090919262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29582] ppid=29525 vsize=10819716 memory=365 CPUtime=0.09 cores=0-3
/proc/29528/task/29582/stat : 29582 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 15 0 474520777 11079389184 9046 33554432000 4194304 4196468 140721394003120 140346111081616 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29583] ppid=29525 vsize=10819716 memory=140649195081203 CPUtime=0.09 cores=0-3
/proc/29528/task/29583/stat : 29583 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 15 0 474520777 11079389184 9046 33554432000 4194304 4196468 140721394003120 140345679940624 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29584] ppid=29525 vsize=10819716 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29584/stat : 29584 (java) S 29525 29528 23724 0 -1 1077944384 2 13153 0 0 0 0 6 3 20 0 15 0 474520777 11079389184 9046 33554432000 4194304 4196468 140721394003120 140345678887824 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29585] ppid=29525 vsize=10819716 memory=-1 CPUtime=0.09 cores=0-3
/proc/29528/task/29585/stat : 29585 (java) S 29525 29528 23724 0 -1 1077944384 2 13153 0 0 0 0 6 3 20 0 15 0 474520777 11079389184 9046 33554432000 4194304 4196468 140721394003120 140345677835024 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29586] ppid=29525 vsize=10819716 memory=140649191589504 CPUtime=0.09 cores=0-3
/proc/29528/task/29586/stat : 29586 (java) S 29525 29528 23724 0 -1 1077944384 2 13153 0 0 0 0 6 3 20 0 15 0 474520778 11079389184 9046 33554432000 4194304 4196468 140721394003120 140345566267760 140346106849922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29587] ppid=29525 vsize=10819716 memory=-1 CPUtime=0.09 cores=0-3
/proc/29528/task/29587/stat : 29587 (java) S 29525 29528 23724 0 -1 1077944384 33 13153 0 0 0 0 6 3 20 0 15 0 474520779 11079389184 9046 33554432000 4194304 4196468 140721394003120 140345565213728 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29588] ppid=29525 vsize=10819716 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29588/stat : 29588 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 15 0 474520779 11079389184 9046 33554432000 4194304 4196468 140721394003120 140344968602480 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29589] ppid=29525 vsize=10819716 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29589/stat : 29589 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11079389184 9046 33554432000 4194304 4196468 140721394003120 140344661202768 140346106857371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29590] ppid=29525 vsize=10819716 memory=0 CPUtime=0.1 cores=0-3
/proc/29528/task/29590/stat : 29590 (java) S 29525 29528 23724 0 -1 1077944384 472 13153 0 0 1 0 6 3 20 0 15 0 474520782 11079389184 9046 33554432000 4194304 4196468 140721394003120 140345531657072 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29591] ppid=29525 vsize=10819716 memory=-1 CPUtime=0.09 cores=0-3
/proc/29528/task/29591/stat : 29591 (java) S 29525 29528 23724 0 -1 1077944384 181 13153 0 0 0 0 6 3 20 0 15 0 474520782 11079389184 9046 33554432000 4194304 4196468 140721394003120 140345530604272 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29592] ppid=29525 vsize=10819716 memory=140649191589504 CPUtime=0.12 cores=0-3
/proc/29528/task/29592/stat : 29592 (java) S 29525 29528 23724 0 -1 1077944384 654 13153 0 0 3 0 6 3 20 0 15 0 474520782 11079389184 9046 33554432000 4194304 4196468 140721394003120 140345529551472 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29593] ppid=29525 vsize=10819716 memory=-1 CPUtime=0.09 cores=0-3
/proc/29528/task/29593/stat : 29593 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11079389184 9046 33554432000 4194304 4196468 140721394003120 140344627645152 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29594] ppid=29525 vsize=10819716 memory=140649191589504 CPUtime=0.09 cores=0-3
/proc/29528/task/29594/stat : 29594 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 15 0 474520782 11079389184 9046 33554432000 4194304 4196468 140721394003120 140345528498864 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 36184 KiB

[startup+0.31137 s]*
/proc/loadavg: 1.40 1.35 1.42 3/228 29594
/proc/meminfo: memFree=2713844/32770688 swapFree=66971596/67108860
[pid=29528] ppid=29525 vsize=10820196 memory=47380 CPUtime=0.4 cores=0-3
/proc/29528/stat : 29528 (java) S 29525 29528 23724 0 -1 1077944320 10613 13153 0 0 29 2 6 3 20 0 15 0 474520766 11079880704 11845 33554432000 4194304 4196468 140721394003120 140721393985664 140346106838775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
/proc/29528/statm: 2705049 11845 3314 1 0 2667149 0
[pid=29528/tid=29581] ppid=29525 vsize=10820196 memory=6791534058613427641 CPUtime=0.3 cores=0-3
/proc/29528/task/29581/stat : 29581 (java) R 29525 29528 23724 0 -1 4202560 6989 13153 0 0 19 2 6 3 20 0 15 0 474520776 11079880704 11845 33554432000 4194304 4196468 140721394003120 140346078640560 140346090919262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29582] ppid=29525 vsize=10820196 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29582/stat : 29582 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 15 0 474520777 11079880704 11845 33554432000 4194304 4196468 140721394003120 140346111081616 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29583] ppid=29525 vsize=10820196 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29583/stat : 29583 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 15 0 474520777 11079880704 11845 33554432000 4194304 4196468 140721394003120 140345679940624 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29584] ppid=29525 vsize=10820196 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29584/stat : 29584 (java) S 29525 29528 23724 0 -1 1077944384 2 13153 0 0 0 0 6 3 20 0 15 0 474520777 11079880704 11845 33554432000 4194304 4196468 140721394003120 140345678887824 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29585] ppid=29525 vsize=10820196 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29585/stat : 29585 (java) S 29525 29528 23724 0 -1 1077944384 2 13153 0 0 0 0 6 3 20 0 15 0 474520777 11079880704 11845 33554432000 4194304 4196468 140721394003120 140345677835024 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29586] ppid=29525 vsize=10820196 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29586/stat : 29586 (java) S 29525 29528 23724 0 -1 1077944384 2 13153 0 0 0 0 6 3 20 0 15 0 474520778 11079880704 11845 33554432000 4194304 4196468 140721394003120 140345566267760 140346106849922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29587] ppid=29525 vsize=10820196 memory=-1 CPUtime=0.09 cores=0-3
/proc/29528/task/29587/stat : 29587 (java) S 29525 29528 23724 0 -1 1077944384 33 13153 0 0 0 0 6 3 20 0 15 0 474520779 11079880704 11845 33554432000 4194304 4196468 140721394003120 140345565213728 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29588] ppid=29525 vsize=10820196 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29588/stat : 29588 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 15 0 474520779 11079880704 11845 33554432000 4194304 4196468 140721394003120 140344968602480 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29589] ppid=29525 vsize=10820196 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29589/stat : 29589 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11079880704 11845 33554432000 4194304 4196468 140721394003120 140344661202768 140346106857371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29590] ppid=29525 vsize=10820196 memory=0 CPUtime=0.11 cores=0-3
/proc/29528/task/29590/stat : 29590 (java) R 29525 29528 23724 0 -1 1077944384 491 13153 0 0 2 0 6 3 20 0 15 0 474520782 11079880704 11845 33554432000 4194304 4196468 140721394003120 140345531657072 140346106849922 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29591] ppid=29525 vsize=10820196 memory=-1 CPUtime=0.1 cores=0-3
/proc/29528/task/29591/stat : 29591 (java) R 29525 29528 23724 0 -1 4202560 181 13153 0 0 1 0 6 3 20 0 15 0 474520782 11079880704 11845 33554432000 4194304 4196468 140721394003120 140345530604272 140346088359650 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29592] ppid=29525 vsize=10820196 memory=140649191589504 CPUtime=0.14 cores=0-3
/proc/29528/task/29592/stat : 29592 (java) R 29525 29528 23724 0 -1 4202560 697 13153 0 0 5 0 6 3 20 0 15 0 474520782 11079880704 11845 33554432000 4194304 4196468 140721394003120 140345529551472 140346106850710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29593] ppid=29525 vsize=10820196 memory=-1 CPUtime=0.09 cores=0-3
/proc/29528/task/29593/stat : 29593 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11079880704 11845 33554432000 4194304 4196468 140721394003120 140344627645152 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29594] ppid=29525 vsize=10820196 memory=140649191589504 CPUtime=0.09 cores=0-3
/proc/29528/task/29594/stat : 29594 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 15 0 474520782 11079880704 11845 33554432000 4194304 4196468 140721394003120 140345528498864 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 47380 KiB

[startup+0.710159 s]
/proc/loadavg: 1.40 1.35 1.42 4/228 29594
/proc/meminfo: memFree=2697696/32770688 swapFree=66971596/67108860
[pid=29528] ppid=29525 vsize=10822316 memory=76496 CPUtime=1.12 cores=0-3
/proc/29528/stat : 29528 (java) S 29525 29528 23724 0 -1 1077944320 14893 13153 0 0 98 5 6 3 20 0 15 0 474520766 11082051584 19124 33554432000 4194304 4196468 140721394003120 140721393985664 140346106838775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
/proc/29528/statm: 2705579 19124 3498 1 0 2667661 0
[pid=29528/tid=29581] ppid=29525 vsize=10822316 memory=0 CPUtime=0.68 cores=0-3
/proc/29528/task/29581/stat : 29581 (java) R 29525 29528 23724 0 -1 4202560 10044 13153 0 0 55 4 6 3 20 0 15 0 474520776 11082051584 19124 33554432000 4194304 4196468 140721394003120 140346078667632 140345710560448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29582] ppid=29525 vsize=10822316 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29582/stat : 29582 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 15 0 474520777 11082051584 19124 33554432000 4194304 4196468 140721394003120 140346111081616 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29583] ppid=29525 vsize=10822316 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29583/stat : 29583 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 15 0 474520777 11082051584 19124 33554432000 4194304 4196468 140721394003120 140345679940624 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29584] ppid=29525 vsize=10822316 memory=140649039016720 CPUtime=0.09 cores=0-3
/proc/29528/task/29584/stat : 29584 (java) S 29525 29528 23724 0 -1 1077944384 2 13153 0 0 0 0 6 3 20 0 15 0 474520777 11082051584 19124 33554432000 4194304 4196468 140721394003120 140345678887824 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29585] ppid=29525 vsize=10822316 memory=140651589009999 CPUtime=0.09 cores=0-3
/proc/29528/task/29585/stat : 29585 (java) S 29525 29528 23724 0 -1 1077944384 2 13153 0 0 0 0 6 3 20 0 15 0 474520777 11082051584 19124 33554432000 4194304 4196468 140721394003120 140345677835024 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29586] ppid=29525 vsize=10822316 memory=1564 CPUtime=0.09 cores=0-3
/proc/29528/task/29586/stat : 29586 (java) S 29525 29528 23724 0 -1 1077944384 5 13153 0 0 0 0 6 3 20 0 15 0 474520778 11082051584 19124 33554432000 4194304 4196468 140721394003120 140345566267760 140346106849922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29587] ppid=29525 vsize=10822316 memory=7518026621751088993 CPUtime=0.09 cores=0-3
/proc/29528/task/29587/stat : 29587 (java) S 29525 29528 23724 0 -1 1077944384 33 13153 0 0 0 0 6 3 20 0 15 0 474520779 11082051584 19124 33554432000 4194304 4196468 140721394003120 140345565213728 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29588] ppid=29525 vsize=10822316 memory=6081102367496366441 CPUtime=0.09 cores=0-3
/proc/29528/task/29588/stat : 29588 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 15 0 474520779 11082051584 19124 33554432000 4194304 4196468 140721394003120 140344968602480 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29589] ppid=29525 vsize=10822316 memory=27064 CPUtime=0.09 cores=0-3
/proc/29528/task/29589/stat : 29589 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11082051584 19124 33554432000 4194304 4196468 140721394003120 140344661202768 140346106857371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29590] ppid=29525 vsize=10822316 memory=14068 CPUtime=0.19 cores=0-3
/proc/29528/task/29590/stat : 29590 (java) R 29525 29528 23724 0 -1 4202560 981 13153 0 0 10 0 6 3 20 0 15 0 474520782 11082051584 19124 33554432000 4194304 4196468 140721394003120 140345531643392 140346088383256 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29591] ppid=29525 vsize=10822316 memory=2120 CPUtime=0.22 cores=0-3
/proc/29528/task/29591/stat : 29591 (java) R 29525 29528 23724 0 -1 4202560 678 13153 0 0 13 0 6 3 20 0 15 0 474520782 11082051584 19124 33554432000 4194304 4196468 140721394003120 140345530581632 140346086532483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29592] ppid=29525 vsize=10822316 memory=496 CPUtime=0.26 cores=0-3
/proc/29528/task/29592/stat : 29592 (java) S 29525 29528 23724 0 -1 1077944384 931 13153 0 0 17 0 6 3 20 0 15 0 474520782 11082051584 19124 33554432000 4194304 4196468 140721394003120 140345529551472 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29593] ppid=29525 vsize=10822316 memory=1556 CPUtime=0.09 cores=0-3
/proc/29528/task/29593/stat : 29593 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11082051584 19124 33554432000 4194304 4196468 140721394003120 140344627645152 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29594] ppid=29525 vsize=10822316 memory=928 CPUtime=0.09 cores=0-3
/proc/29528/task/29594/stat : 29594 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 15 0 474520782 11082051584 19124 33554432000 4194304 4196468 140721394003120 140345528498864 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 76496 KiB

[startup+1.5012 s]
/proc/loadavg: 1.40 1.35 1.42 5/228 29594
/proc/meminfo: memFree=2583236/32770688 swapFree=66971596/67108860
[pid=29528] ppid=29525 vsize=10824364 memory=470956 CPUtime=2.94 cores=0-3
/proc/29528/stat : 29528 (java) S 29525 29528 23724 0 -1 1077944320 18932 13153 0 0 243 42 6 3 20 0 15 0 474520766 11084148736 117739 33554432000 4194304 4196468 140721394003120 140721393985664 140346106838775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
/proc/29528/statm: 2706091 117739 3561 1 0 2668173 0
[pid=29528/tid=29581] ppid=29525 vsize=10824364 memory=61896 CPUtime=1.28 cores=0-3
/proc/29528/task/29581/stat : 29581 (java) R 29525 29528 23724 0 -1 4202560 11139 13153 0 0 109 10 6 3 20 0 15 0 474520776 11084148736 117739 33554432000 4194304 4196468 140721394003120 140346078667520 140345713397502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29582] ppid=29525 vsize=10824364 memory=6791534058613427641 CPUtime=0.23 cores=0-3
/proc/29528/task/29582/stat : 29582 (java) S 29525 29528 23724 0 -1 1077944384 367 13153 0 0 8 6 6 3 20 0 15 0 474520777 11084148736 117739 33554432000 4194304 4196468 140721394003120 140346111081616 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29583] ppid=29525 vsize=10824364 memory=281298078064800 CPUtime=0.25 cores=0-3
/proc/29528/task/29583/stat : 29583 (java) S 29525 29528 23724 0 -1 1077944384 240 13153 0 0 8 8 6 3 20 0 15 0 474520777 11084148736 117739 33554432000 4194304 4196468 140721394003120 140345679940624 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29584] ppid=29525 vsize=10824364 memory=0 CPUtime=0.25 cores=0-3
/proc/29528/task/29584/stat : 29584 (java) S 29525 29528 23724 0 -1 1077944384 457 13153 0 0 9 7 6 3 20 0 15 0 474520777 11084148736 117739 33554432000 4194304 4196468 140721394003120 140345678887824 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29585] ppid=29525 vsize=10824364 memory=0 CPUtime=0.25 cores=0-3
/proc/29528/task/29585/stat : 29585 (java) S 29525 29528 23724 0 -1 1077944384 465 13153 0 0 9 7 6 3 20 0 15 0 474520777 11084148736 117739 33554432000 4194304 4196468 140721394003120 140345677835024 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29586] ppid=29525 vsize=10824364 memory=0 CPUtime=0.1 cores=0-3
/proc/29528/task/29586/stat : 29586 (java) S 29525 29528 23724 0 -1 1077944384 262 13153 0 0 1 0 6 3 20 0 15 0 474520778 11084148736 117739 33554432000 4194304 4196468 140721394003120 140345566267760 140346106849922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29587] ppid=29525 vsize=10824364 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29587/stat : 29587 (java) S 29525 29528 23724 0 -1 1077944384 33 13153 0 0 0 0 6 3 20 0 15 0 474520779 11084148736 117739 33554432000 4194304 4196468 140721394003120 140345565213728 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29588] ppid=29525 vsize=10824364 memory=0 CPUtime=0.09 cores=0-3
/proc/29528/task/29588/stat : 29588 (java) S 29525 29528 23724 0 -1 1077944384 2 13153 0 0 0 0 6 3 20 0 15 0 474520779 11084148736 117739 33554432000 4194304 4196468 140721394003120 140344968602496 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29589] ppid=29525 vsize=10824364 memory=-2245088631185882904 CPUtime=0.09 cores=0-3
/proc/29528/task/29589/stat : 29589 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11084148736 117739 33554432000 4194304 4196468 140721394003120 140344661202768 140346106857371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29590] ppid=29525 vsize=10824364 memory=0 CPUtime=0.48 cores=0-3
/proc/29528/task/29590/stat : 29590 (java) S 29525 29528 23724 0 -1 1077944384 1826 13153 0 0 39 0 6 3 20 0 15 0 474520782 11084148736 117739 33554432000 4194304 4196468 140721394003120 140345531657072 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29591] ppid=29525 vsize=10824364 memory=0 CPUtime=0.4 cores=0-3
/proc/29528/task/29591/stat : 29591 (java) S 29525 29528 23724 0 -1 1077944384 817 13153 0 0 31 0 6 3 20 0 15 0 474520782 11084148736 117739 33554432000 4194304 4196468 140721394003120 140345530604272 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29592] ppid=29525 vsize=10824364 memory=6791534058613427641 CPUtime=0.36 cores=0-3
/proc/29528/task/29592/stat : 29592 (java) S 29525 29528 23724 0 -1 1077944384 1110 13153 0 0 27 0 6 3 20 0 15 0 474520782 11084148736 117739 33554432000 4194304 4196468 140721394003120 140345529551472 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29593] ppid=29525 vsize=10824364 memory=4638778398332698720 CPUtime=0.09 cores=0-3
/proc/29528/task/29593/stat : 29593 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11084148736 117739 33554432000 4194304 4196468 140721394003120 140344627645152 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29594] ppid=29525 vsize=10824364 memory=281298078309248 CPUtime=0.09 cores=0-3
/proc/29528/task/29594/stat : 29594 (java) S 29525 29528 23724 0 -1 1077944384 1 13153 0 0 0 0 6 3 20 0 15 0 474520782 11084148736 117739 33554432000 4194304 4196468 140721394003120 140345528498864 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
Current children cumulated CPU time: 2.94 s
Current children cumulated vsize: 10824364 KiB

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

[pid=29528/tid=29585] ppid=29525 vsize=10849036 memory=15314 CPUtime=153.3 cores=0-3
/proc/29528/task/29585/stat : 29585 (java) S 29525 29528 23724 0 -1 1077944384 1823585 13153 0 0 14738 583 6 3 20 0 15 0 474520777 11109412864 1161937 33554432000 4194304 4196468 140721394003120 140345677835024 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29586] ppid=29525 vsize=10849036 memory=4641532 CPUtime=5.45 cores=0-3
/proc/29528/task/29586/stat : 29586 (java) S 29525 29528 23724 0 -1 1077944384 148280 13153 0 0 488 48 6 3 20 0 15 0 474520778 11109412864 1161937 33554432000 4194304 4196468 140721394003120 140345566267760 140346106849922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29587] ppid=29525 vsize=10849036 memory=984 CPUtime=0.09 cores=0-3
/proc/29528/task/29587/stat : 29587 (java) S 29525 29528 23724 0 -1 1077944384 78 13153 0 0 0 0 6 3 20 0 15 0 474520779 11109412864 1161937 33554432000 4194304 4196468 140721394003120 140345565213856 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29588] ppid=29525 vsize=10849036 memory=4643624 CPUtime=0.09 cores=0-3
/proc/29528/task/29588/stat : 29588 (java) S 29525 29528 23724 0 -1 1077944384 15 13153 0 0 0 0 6 3 20 0 15 0 474520779 11109412864 1161937 33554432000 4194304 4196468 140721394003120 140344968602496 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29589] ppid=29525 vsize=10849036 memory=4643624 CPUtime=0.09 cores=0-3
/proc/29528/task/29589/stat : 29589 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11109412864 1161937 33554432000 4194304 4196468 140721394003120 140344661202768 140346106857371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29590] ppid=29525 vsize=10849036 memory=4643624 CPUtime=7.76 cores=0-3
/proc/29528/task/29590/stat : 29590 (java) S 29525 29528 23724 0 -1 1077944384 54953 13153 0 0 760 7 6 3 20 0 15 0 474520782 11109412864 1161937 33554432000 4194304 4196468 140721394003120 140345531657072 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29591] ppid=29525 vsize=10849036 memory=4645140 CPUtime=8.03 cores=0-3
/proc/29528/task/29591/stat : 29591 (java) S 29525 29528 23724 0 -1 1077944384 59416 13153 0 0 787 7 6 3 20 0 15 0 474520782 11109412864 1161937 33554432000 4194304 4196468 140721394003120 140345530604272 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29592] ppid=29525 vsize=10849036 memory=4645216 CPUtime=2.84 cores=0-3
/proc/29528/task/29592/stat : 29592 (java) S 29525 29528 23724 0 -1 1077944384 43493 13153 0 0 268 7 6 3 20 0 15 0 474520782 11109412864 1161937 33554432000 4194304 4196468 140721394003120 140345529551472 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29593] ppid=29525 vsize=10849036 memory=4647748 CPUtime=0.09 cores=0-3
/proc/29528/task/29593/stat : 29593 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11109412864 1161937 33554432000 4194304 4196468 140721394003120 140344627645152 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29594] ppid=29525 vsize=10849036 memory=4645216 CPUtime=1.12 cores=0-3
/proc/29528/task/29594/stat : 29594 (java) S 29525 29528 23724 0 -1 1077944384 1787 13153 0 0 54 49 6 3 20 0 15 0 474520782 11109412864 1161937 33554432000 4194304 4196468 140721394003120 140345528498864 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
Current children cumulated CPU time: 2258.98 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4647748 KiB

[startup+1842.3 s]
/proc/loadavg: 1.53 1.53 1.57 3/227 29763
/proc/meminfo: memFree=3088424/32770688 swapFree=66971740/67108860
[pid=29528] ppid=29525 vsize=10849036 memory=4672020 CPUtime=2319.49 cores=0-3
/proc/29528/stat : 29528 (java) S 29525 29528 23724 0 -1 1077944320 18442789 13153 0 0 228808 3132 6 3 20 0 15 0 474520766 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140721393985664 140346106838775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
/proc/29528/statm: 2712259 1168005 3649 1 0 2674317 0
[pid=29528/tid=29581] ppid=29525 vsize=10849036 memory=4666132 CPUtime=1681.44 cores=0-3
/proc/29528/task/29581/stat : 29581 (java) R 29525 29528 23724 0 -1 4202560 10705254 13153 0 0 167467 668 6 3 20 0 15 0 474520776 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140346078672832 140345727542611 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29582] ppid=29525 vsize=10849036 memory=4662380 CPUtime=153.51 cores=0-3
/proc/29528/task/29582/stat : 29582 (java) S 29525 29528 23724 0 -1 1077944384 2407246 13153 0 0 14734 608 6 3 20 0 15 0 474520777 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140346111081616 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29583] ppid=29525 vsize=10849036 memory=4660224 CPUtime=153.18 cores=0-3
/proc/29528/task/29583/stat : 29583 (java) S 29525 29528 23724 0 -1 1077944384 1600123 13153 0 0 14696 613 6 3 20 0 15 0 474520777 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140345679940624 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29584] ppid=29525 vsize=10849036 memory=15314 CPUtime=153.34 cores=0-3
/proc/29528/task/29584/stat : 29584 (java) S 29525 29528 23724 0 -1 1077944384 1589903 13153 0 0 14777 548 6 3 20 0 15 0 474520777 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140345678887824 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29585] ppid=29525 vsize=10849036 memory=4641532 CPUtime=153.47 cores=0-3
/proc/29528/task/29585/stat : 29585 (java) S 29525 29528 23724 0 -1 1077944384 1829653 13153 0 0 14754 584 6 3 20 0 15 0 474520777 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140345677835024 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29586] ppid=29525 vsize=10849036 memory=56 CPUtime=5.47 cores=0-3
/proc/29528/task/29586/stat : 29586 (java) S 29525 29528 23724 0 -1 1077944384 148606 13153 0 0 490 48 6 3 20 0 15 0 474520778 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140345566267760 140346106849922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29587] ppid=29525 vsize=10849036 memory=4649744 CPUtime=0.09 cores=0-3
/proc/29528/task/29587/stat : 29587 (java) S 29525 29528 23724 0 -1 1077944384 78 13153 0 0 0 0 6 3 20 0 15 0 474520779 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140345565213856 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29588] ppid=29525 vsize=10849036 memory=4649744 CPUtime=0.09 cores=0-3
/proc/29528/task/29588/stat : 29588 (java) S 29525 29528 23724 0 -1 1077944384 15 13153 0 0 0 0 6 3 20 0 15 0 474520779 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140344968602496 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29589] ppid=29525 vsize=10849036 memory=4654040 CPUtime=0.09 cores=0-3
/proc/29528/task/29589/stat : 29589 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140344661202768 140346106857371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29590] ppid=29525 vsize=10849036 memory=4669940 CPUtime=7.76 cores=0-3
/proc/29528/task/29590/stat : 29590 (java) S 29525 29528 23724 0 -1 1077944384 54956 13153 0 0 760 7 6 3 20 0 15 0 474520782 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140345531657072 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29591] ppid=29525 vsize=10849036 memory=4670172 CPUtime=8.03 cores=0-3
/proc/29528/task/29591/stat : 29591 (java) S 29525 29528 23724 0 -1 1077944384 59420 13153 0 0 787 7 6 3 20 0 15 0 474520782 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140345530604272 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29592] ppid=29525 vsize=10849036 memory=4664196 CPUtime=2.84 cores=0-3
/proc/29528/task/29592/stat : 29592 (java) S 29525 29528 23724 0 -1 1077944384 43501 13153 0 0 268 7 6 3 20 0 15 0 474520782 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140345529551472 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29593] ppid=29525 vsize=10849036 memory=4672020 CPUtime=0.09 cores=0-3
/proc/29528/task/29593/stat : 29593 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140344627645152 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29594] ppid=29525 vsize=10849036 memory=4670172 CPUtime=1.16 cores=0-3
/proc/29528/task/29594/stat : 29594 (java) S 29525 29528 23724 0 -1 1077944384 1821 13153 0 0 56 51 6 3 20 0 15 0 474520782 11109412864 1168005 33554432000 4194304 4196468 140721394003120 140345528498864 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 16 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
Current children cumulated CPU time: 2319.49 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4672020 KiB

[startup+1902.3 s]
/proc/loadavg: 1.62 1.57 1.59 3/228 29769
/proc/meminfo: memFree=3062676/32770688 swapFree=66971740/67108860
[pid=29528] ppid=29525 vsize=10849036 memory=4695592 CPUtime=2380.02 cores=0-3
/proc/29528/stat : 29528 (java) S 29525 29528 23724 0 -1 1077944320 18754821 13153 0 0 234841 3152 6 3 20 0 15 0 474520766 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140721393985664 140346106838775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
/proc/29528/statm: 2712259 1173898 3649 1 0 2674317 0
[pid=29528/tid=29581] ppid=29525 vsize=10849036 memory=4694644 CPUtime=1741.24 cores=0-3
/proc/29528/task/29581/stat : 29581 (java) R 29525 29528 23724 0 -1 4202560 10991500 13153 0 0 173432 683 6 3 20 0 15 0 474520776 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140346078663232 140345724583012 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29582] ppid=29525 vsize=10849036 memory=4692492 CPUtime=153.67 cores=0-3
/proc/29528/task/29582/stat : 29582 (java) S 29525 29528 23724 0 -1 1077944384 2412704 13153 0 0 14750 608 6 3 20 0 15 0 474520777 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140346111081616 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29583] ppid=29525 vsize=10849036 memory=4695336 CPUtime=153.34 cores=0-3
/proc/29528/task/29583/stat : 29583 (java) S 29525 29528 23724 0 -1 1077944384 1605855 13153 0 0 14711 614 6 3 20 0 15 0 474520777 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140345679940624 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29584] ppid=29525 vsize=10849036 memory=4695336 CPUtime=153.5 cores=0-3
/proc/29528/task/29584/stat : 29584 (java) S 29525 29528 23724 0 -1 1077944384 1595906 13153 0 0 14793 548 6 3 20 0 15 0 474520777 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140345678887824 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29585] ppid=29525 vsize=10849036 memory=9 CPUtime=153.63 cores=0-3
/proc/29528/task/29585/stat : 29585 (java) S 29525 29528 23724 0 -1 1077944384 1836583 13153 0 0 14770 584 6 3 20 0 15 0 474520777 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140345677835024 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29586] ppid=29525 vsize=10849036 memory=281298078619232 CPUtime=5.49 cores=0-3
/proc/29528/task/29586/stat : 29586 (java) S 29525 29528 23724 0 -1 1077944384 148943 13153 0 0 492 48 6 3 20 0 15 0 474520778 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140345566267760 140346106849922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29587] ppid=29525 vsize=10849036 memory=4694572 CPUtime=0.09 cores=0-3
/proc/29528/task/29587/stat : 29587 (java) S 29525 29528 23724 0 -1 1077944384 78 13153 0 0 0 0 6 3 20 0 15 0 474520779 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140345565213856 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29588] ppid=29525 vsize=10849036 memory=4695336 CPUtime=0.09 cores=0-3
/proc/29528/task/29588/stat : 29588 (java) S 29525 29528 23724 0 -1 1077944384 15 13153 0 0 0 0 6 3 20 0 15 0 474520779 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140344968602496 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29589] ppid=29525 vsize=10849036 memory=4694644 CPUtime=0.09 cores=0-3
/proc/29528/task/29589/stat : 29589 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140344661202768 140346106857371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29590] ppid=29525 vsize=10849036 memory=6068 CPUtime=7.76 cores=0-3
/proc/29528/task/29590/stat : 29590 (java) S 29525 29528 23724 0 -1 1077944384 54958 13153 0 0 760 7 6 3 20 0 15 0 474520782 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140345531657072 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29591] ppid=29525 vsize=10849036 memory=4694644 CPUtime=8.03 cores=0-3
/proc/29528/task/29591/stat : 29591 (java) S 29525 29528 23724 0 -1 1077944384 60717 13153 0 0 787 7 6 3 20 0 15 0 474520782 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140345530604272 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29592] ppid=29525 vsize=10849036 memory=3612 CPUtime=2.84 cores=0-3
/proc/29528/task/29592/stat : 29592 (java) S 29525 29528 23724 0 -1 1077944384 43503 13153 0 0 268 7 6 3 20 0 15 0 474520782 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140345529551472 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29593] ppid=29525 vsize=10849036 memory=4692876 CPUtime=0.09 cores=0-3
/proc/29528/task/29593/stat : 29593 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140344627645152 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29594] ppid=29525 vsize=10849036 memory=4692872 CPUtime=1.19 cores=0-3
/proc/29528/task/29594/stat : 29594 (java) S 29525 29528 23724 0 -1 1077944384 1846 13153 0 0 57 53 6 3 20 0 15 0 474520782 11109412864 1173898 33554432000 4194304 4196468 140721394003120 140345528498864 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
Current children cumulated CPU time: 2380.02 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4695592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1922.2 s]
/proc/loadavg: 1.54 1.55 1.58 3/227 29770
/proc/meminfo: memFree=3052500/32770688 swapFree=66971740/67108860
[pid=29528] ppid=29525 vsize=10849036 memory=4705568 CPUtime=2400.08 cores=0-3
/proc/29528/stat : 29528 (java) S 29525 29528 23724 0 -1 1077944320 18906779 13153 0 0 236838 3161 6 3 20 0 15 0 474520766 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140721393985664 140346106838775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
/proc/29528/statm: 2712259 1176392 3649 1 0 2674317 0
[pid=29528/tid=29581] ppid=29525 vsize=10849036 memory=2608 CPUtime=1761.09 cores=0-3
/proc/29528/task/29581/stat : 29581 (java) R 29525 29528 23724 0 -1 4202560 11137356 13153 0 0 175409 691 6 3 20 0 15 0 474520776 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140346078666112 140345727626549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29582] ppid=29525 vsize=10849036 memory=2608 CPUtime=153.71 cores=0-3
/proc/29528/task/29582/stat : 29582 (java) S 29525 29528 23724 0 -1 1077944384 2413909 13153 0 0 14754 608 6 3 20 0 15 0 474520777 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140346111081616 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29583] ppid=29525 vsize=10849036 memory=1732 CPUtime=153.39 cores=0-3
/proc/29528/task/29583/stat : 29583 (java) S 29525 29528 23724 0 -1 1077944384 1607262 13153 0 0 14716 614 6 3 20 0 15 0 474520777 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140345679940624 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29584] ppid=29525 vsize=10849036 memory=4104 CPUtime=153.55 cores=0-3
/proc/29528/task/29584/stat : 29584 (java) S 29525 29528 23724 0 -1 1077944384 1597919 13153 0 0 14798 548 6 3 20 0 15 0 474520777 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140345678887824 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29585] ppid=29525 vsize=10849036 memory=1408 CPUtime=153.68 cores=0-3
/proc/29528/task/29585/stat : 29585 (java) S 29525 29528 23724 0 -1 1077944384 1837689 13153 0 0 14774 585 6 3 20 0 15 0 474520777 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140345677835024 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29586] ppid=29525 vsize=10849036 memory=3188 CPUtime=5.51 cores=0-3
/proc/29528/task/29586/stat : 29586 (java) S 29525 29528 23724 0 -1 1077944384 149264 13153 0 0 493 49 6 3 20 0 15 0 474520778 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140345566267760 140346106849922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29587] ppid=29525 vsize=10849036 memory=3139052 CPUtime=0.09 cores=0-3
/proc/29528/task/29587/stat : 29587 (java) S 29525 29528 23724 0 -1 1077944384 78 13153 0 0 0 0 6 3 20 0 15 0 474520779 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140345565213856 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29588] ppid=29525 vsize=10849036 memory=3848 CPUtime=0.09 cores=0-3
/proc/29528/task/29588/stat : 29588 (java) S 29525 29528 23724 0 -1 1077944384 15 13153 0 0 0 0 6 3 20 0 15 0 474520779 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140344968602496 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29589] ppid=29525 vsize=10849036 memory=2608 CPUtime=0.09 cores=0-3
/proc/29528/task/29589/stat : 29589 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140344661202768 140346106857371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29590] ppid=29525 vsize=10849036 memory=2608 CPUtime=7.76 cores=0-3
/proc/29528/task/29590/stat : 29590 (java) S 29525 29528 23724 0 -1 1077944384 54963 13153 0 0 760 7 6 3 20 0 15 0 474520782 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140345531657072 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29591] ppid=29525 vsize=10849036 memory=1732 CPUtime=8.03 cores=0-3
/proc/29528/task/29591/stat : 29591 (java) S 29525 29528 23724 0 -1 1077944384 60720 13153 0 0 787 7 6 3 20 0 15 0 474520782 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140345530604272 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29592] ppid=29525 vsize=10849036 memory=4104 CPUtime=2.84 cores=0-3
/proc/29528/task/29592/stat : 29592 (java) S 29525 29528 23724 0 -1 1077944384 43510 13153 0 0 268 7 6 3 20 0 15 0 474520782 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140345529551472 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29593] ppid=29525 vsize=10849036 memory=1408 CPUtime=0.09 cores=0-3
/proc/29528/task/29593/stat : 29593 (java) S 29525 29528 23724 0 -1 1077944384 3 13153 0 0 0 0 6 3 20 0 15 0 474520782 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140344627645152 140346106848981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
[pid=29528/tid=29594] ppid=29525 vsize=10849036 memory=3188 CPUtime=1.2 cores=0-3
/proc/29528/task/29594/stat : 29594 (java) S 29525 29528 23724 0 -1 1077944384 1881 13153 0 0 58 53 6 3 20 0 15 0 474520782 11109412864 1176392 33554432000 4194304 4196468 140721394003120 140345528498864 140346106849922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 33124352 140721394006768 140721394009285 140721394009285 140721394012111 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4705568 KiB

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

[startup+1922.4 s]
# the end of solver process 29528 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2368.47 s, system=31.8296 s

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

[startup+1922.31 s]*
/proc/loadavg: 1.54 1.55 1.58 3/214 29772
/proc/meminfo: memFree=6023936/32770688 swapFree=66971740/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 1922.4
CPU time (s): 2400.3
CPU user time (s): 2368.47
CPU system time (s): 31.8296
CPU usage (%): 124.86
Max. virtual memory (cumulated for all children) (KiB): 10849652
Max. memory (cumulated for all children) (KiB): 8324688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2368.47
system time used= 31.8296
maximum resident set size= 8324688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18923921
page faults= 0
swaps= 0
block input operations= 0
block output operations= 48112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73554
involuntary context switches= 9628


# summary of solver processes directly reported to runsolver:
#   pid: 29528
#   total CPU time (s): 2400.3
#   total CPU user time (s): 2368.47
#   total CPU system time (s): 31.8296

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.699 second user time and 20.3995 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-20 15:22:30
IDJOB=4403247
IDBENCH=141284
IDSOLVER=2862
FILE ID=node116/4403247-1568985789
RUNJOBID= node116-1568967597-23755
PBS_JOBID= 21704630
Free space on /tmp= 5676 MiB

SOLVER NAME= Concrete 3.12.3
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-4403247-1568985789/watcher-4403247-1568985789 -o /tmp/evaluation-result-4403247-1568985789/solver-4403247-1568985789 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568967597-23755 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=801022688 HOME/instance-4403247-1568985789.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=801022688

node116.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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:         2745784 kB
MemAvailable:   29033736 kB
Buffers:          135556 kB
Cached:         26101212 kB
SwapCached:        35492 kB
Active:         16123984 kB
Inactive:       12891984 kB
Active(anon):    2739560 kB
Inactive(anon):    88204 kB
Active(file):   13384424 kB
Inactive(file): 12803780 kB
Unevictable:      107888 kB
Mlocked:          107888 kB
SwapTotal:      67108860 kB
SwapFree:       66971596 kB
Dirty:            486520 kB
Writeback:         72136 kB
AnonPages:       2861584 kB
Mapped:            65056 kB
Shmem:             39668 kB
Slab:             597600 kB
SReclaimable:     528208 kB
SUnreclaim:        69392 kB
KernelStack:        3712 kB
PageTables:        11316 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    3917504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2703360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 5640 MiB
End job on node116 at 2019-09-20 15:54:32