Trace number 4402947

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)525554465 2520.41 2069.02

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 benchmark521763705
Best CPU time to get the best result obtained on this benchmark2520.1
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.79/0.54	c Concrete v3.12.3.1568965526260 running
885.11/455.66	o 525598045
885.11/455.69	o 525598044
885.39/455.73	o 525598038
885.39/455.75	o 525576268
885.39/455.78	o 525576258
885.61/455.85	o 525576253
885.61/455.88	o 525576251
885.79/456.00	o 525554481
885.93/456.02	o 525554473
885.93/456.04	o 525554472
885.93/456.07	o 525554471
886.14/456.29	o 525554467
886.28/456.31	o 525554465
2520.08/2068.80	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.08/2068.80		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:28)
2520.08/2068.80		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:57)
2520.08/2068.80		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:110)
2520.08/2068.80		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.18/2068.80		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.18/2068.80		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:110)
2520.18/2068.80		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.18/2068.80		at concrete.heuristic.value.BestCost.select(BestCost.scala:57)
2520.18/2068.80		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.18/2068.80		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.18/2068.80		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.18/2068.80		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.18/2068.80		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.18/2068.80		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.18/2068.80		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.18/2068.80		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:89)
2520.18/2068.80		at scala.Function2.$anonfun$tupled$1(Function2.scala:53)
2520.18/2068.80		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:89)
2520.18/2068.80		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:95)
2520.18/2068.80		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.18/2068.80		at scala.Option.map(Option.scala:242)
2520.18/2068.80		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.18/2068.80		at concrete.MAC.mac(MAC.scala:216)
2520.18/2068.80		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2520.18/2068.80		at scala.util.Try$.apply(Try.scala:210)
2520.18/2068.80		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2520.18/2068.80		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2520.18/2068.80		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2520.18/2068.80		at concrete.MAC.oneRun(MAC.scala:265)
2520.18/2068.80		at concrete.MAC.nextSolution(MAC.scala:284)
2520.18/2068.80		at concrete.MAC.nextSolution(MAC.scala:369)
2520.18/2068.80		at concrete.Solver.hasNext(Solver.scala:160)
2520.18/2068.80		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.18/2068.80		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.18/2068.80		at concrete.Solver.foreach(Solver.scala:67)
2520.18/2068.80		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2520.18/2068.80		at scala.util.Success.map(Try.scala:262)
2520.18/2068.80		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.18/2068.80		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2520.18/2068.80		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.18/2068.80		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.18/2068.80		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.18/2068.80		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2520.18/2068.80		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2520.18/2068.80		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2520.18/2068.80		at scala.App.$anonfun$main$1(App.scala:73)
2520.18/2068.80		at scala.App.$anonfun$main$1$adapted(App.scala:73)
2520.18/2068.80		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:553)
2520.18/2068.80		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:551)
2520.18/2068.80		at scala.collection.AbstractIterable.foreach(Iterable.scala:921)
2520.18/2068.80		at scala.App.main(App.scala:73)
2520.18/2068.80		at scala.App.main$(App.scala:71)
2520.18/2068.80		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.18/2068.80		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.18/2068.81	v <instantiation
2520.18/2068.81	v         cost = '525554465'>
2520.18/2068.81	v       <list>
2520.18/2068.81	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]
2520.18/2068.81	v       </list>
2520.18/2068.81	v       <values>
2520.18/2068.81	v         2328 2676 2220 2468 2436 2244 2528 2352 2676 2536 2652 2596 2692 2648 2488 2380 2428 2412 2544 2716 2632 2220 2420 2676 2356 2388 2620 2292 2620 2316 2716 2560 2388 2448 2424 2364 2384 2284 2396 2412 2388 2396 2580 2348 2544 2244 2712 2712 2216 2500 2220 2528 2544 2384 2624 2424 2216 2440 2424 2460 2492 2716 2472 2180 2528 2220 2260 2180 2560 2516 2232 2556 2220 2540 2584 2500 2276 2668 2224 2312 2192 2628 2704 2648 2424 2656 2624 2344 2524 2412 2676 2220 2220 2412 2716 2528 2648 2348 2580 2456 2712 2588 2520 2632 2308 2308 2676 2512 2352 2580 2376 2592 2580 2580 2488 2252 2288 2532 2716 2716 2608 2600 2276 2672 2676 2428 2340 2188 2668 2240 2460 2716 2380 2672 2236 2256 2272 2180 2348 2300 2500 2560 2488 2516 2596 2276 2628 2560 2180 2520 2500 2524 2384 2324 2576 2500 2288 2184 2452 2528 2480 2488 2716 2272 2540 2204 2516 2600 2388 2180 2476 2580 2420 2564 2676 2616 2436 2180 2612 2312 2676 2664 2360 2568 2492 2220 2416 2716 2420 2256 2468 2384 2316 2472 2512 2320 2180 2180 2352 2220 2516 2540 2204 2468 2676 2428 2712 2432 2388 2584 2480 2236 2236 2220 2224 2672 2676 2384 2232 2460 2300 2220 2424 2440 2228 2180 2476 2716 2400 2180 2584 2676 2460 2604 2216 2356 2488 2612 2540 2556 2488 2256 2540 2480 2668 2348 2528 2488 2452 2540 2572 2716 2716 2664 2660 2608 2560 2672 2532 2428 2580 2664 2556 2532 2180 2428 2220 2556 2196 2708 2452 2488 2612 2220 2492 2368 2472 2280 2528 2676 2248 2568 2564 2716 2688 2600 2180 2672 2572 2280 2448 2600 2676 2420 2228 2404 2612 2580 2180 2676 2560 2184 2356 2316 2452 2584 2716 2540 2572 2676 2312 2348 2540 2520 2476 2516 2220 2556 2644 2500 2220 2584 2544 2188 2540 2532 2620 2532 2180 2572 2704 2424 2652 2716 2416 2196 2492 2312 2628 2580 2384 2180 2540 2584 2316 2384 2704 2248 2540 2448 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 1 1 1 0 0 1 0 1 1 1 1 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 1 1 0 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 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 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 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 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 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 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 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 1 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 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 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 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 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 1 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 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 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 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 4 0 2 0 0 1 10 0 0 0 9 8 0 0 0 9 1 9 1 0 5 0 10 1 10 10 10 0 0 0 10 10 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 4 0 0 0 0 0 8 0 0 0 9 0 0 0 0 0 0 10 0 0 1 0 2 0 0 10 1 10 0 0 0 0 0 0 7 0 0 0 4 0 3 9 9 0 0 0 0 0 0 8 1 1 0 0 0 7 0 0 0 10 0 9 0 1 10 10 0 0 2 0 0 7 0 0 0 0 0 0 10 0 0 0 0 9 8 7 10 0 0 0 0 9 0 0 0 10 1 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 1 0 0 0 0 8 1 0 0 0 10 7 1 1 0 0 0 0 8 0 0 1 0 10 1 10 0 5 0 10 10 0 0 2 10 0 10 0 0 8 0 0 10 10 7 10 10 0 0 0 8 1 7 0 0 0 0 0 0 0 1 1 10 0 1 3 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 6 10 0 0 1 0 0 10 0 0 0 10 0 0 0 7 5 10 0 1 7 1 0 6 10 8 0 0 10 0 0 0 10 0 0 1 10 7 0 3 0 1 0 10 10 0 0 0 0 2 1 0 0 0 0 10 8 0 0 8 0 10 6 0 0 1 10 0 0 1 0 0 1 0 0 0 0 10 0 10 0 0 0 0 0 10 0 0 0 0 1 9 0 0 10 0 0 0 0 0 0 0 9 0 0 1 1 0 0 10 0 0 0 0 0 1 0 0 0 6 10 0 0 0 0 0 0 10 0 10 0 0 4 0 9 0 0 0 0 0 0 0 0 9 0 0 0 10 1 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 7 0 0 0 0 0 0 0 0 1 4 7 0 0 0 10 0 0 10 0 0 7 10 1 5 0 0 0 2 9 0 0 9 0 0 0 8 0 0 0 0 0 0 7 8 0 0 1 0 0 0 0 0 0 0 0 9 0 0 0 10 0 9 0 1 1 1 0 0 2 0 0 10 0 1 9 10 8 0 0 10 10 0 10 0 0 0 10 0 1 0 1 0 0 0 0 10 10 0 0 0 1 0 0 0 0 10 1 0 0 0 0 10 0 0 1 0 0 1 0 0 0 6 1 0 10 0 0 8 0 0 8 0 1 0 0 9 7 0 0 0 0 0 10 0 0 10 0 0 3 9 0 0 0 0 10 9 10 1 1 0 10 6 1 10 0 0 9 4 1 0 0 0 0 0 0 1 1 10 9 0 1 0 0 10 7 0 10 10 0 1 0 0 0 10 10 0 10 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 10 10 0 0 1 0 10 0 1 0 0 0 10 0 1 0 9 10 0 0 10 0 8 0 0 0 5 0 0 0 1 0 0 4 0 0 0 0 0 0 9 9 0 0 10 0 0 1 0 0 0 0 0 0 10 1 10 10 10 0 0 0 0 0 10 8 0 0 0 8 5 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 3 6 0 2 4 0 6 0 0 6 9 0 10 0 9 0 0 0 1 1 10 1 7 10 0 9 0 0 0 0 1 0 10 0 0 0 0 0 8 10 0 0 0 8 0 0 0 8 9 7 1 10 0 0 0 0 0 0 0 0 0 0 9 0 10 0 0 0 0 0 10 10 0 0 0 0 0 0 10 0 0 0 10 0 2 0 0 1 0 0 1 0 0 0 10 10 10 0 0 1 10 0 0 1 0 0 0 0 0 10 0 0 0 0 0 10 0 9 0 0 0 0 10 7 0 10 0 10 10 0 0 8 10 0 0 8 0 0 0 10 0 4 10 10 1 0 1 0 10 0 10 10 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 10 7 0 9 1 1 0 0 0 0 8 0 0 0 1 0 0 0 8 4 0 10 9 8 0 1 0 0 0 0 0 10 0 0 0 9 0 10 1 2 0 0 10 0 0 10 0 6 10 0 0 0 0 0 10 4 0 0 9 0 0 0 7 0 10 0 10 0 1 0 0 10 0 0 0 10 0 0 0 0 0 10 0 1 0 0 0 0 0 1 0 0 8 0 0 0 9 0 1 1 1 0 0 10 0 0 0 0 0 10 10 0 0 1 0 0 10 0 0 5 1 10 0 0 0 0 0 1 0 0 0 0 0 9 0 10 0 0 0 0 10 0 0 6 0 1 8 0 0 1 1 0 0 0 10 1 10 1 1 1 0 0 10 1 0 0 0 0 0 0 1 0 0 0 4 0 10 1 4 10 0 0 0 0 10 0 0 0 0 0 0 0 1 0 0 6 10 0 1 0 0 0 0 0 0 0 9 10 0 7 10 0 0 0 0 0 1 0 0 1 10 0 0 0 0 0 0 0 0 1 0 10 0 0 1 0 0 10 1 10 0 10 0 1 0 1 0 0 0 10 0 7 0 0 5 0 10 0 0 1 7 3 8 0 0 0 0 10 0 0 0 0 10 0 1 0 0 10 10 0 0 0 10 8 0 10 0 0 0 1 1 0 0 0 0 5 0 1 0 0 0 0 0 0 10 0 0 0 9 0 1 0 0 0 1 1 0 0 0 0 10 10 0 0 1 10 0 0 0 1 0 0 0 10 0 10 10 10 9 0 10 1 0 0 0 10 0 10 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 9 0 0 1 0 0 6 0 0 0 4 0 0 1 0 1 0 0 10 0 0 0 6 0 4 10 0 5 10 10 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 10 10 9 10 8 0 0 0 0 10 0 10 10 0 0 0 0 0 0 3 0 9 9 0 0 0 10 10 0 4 0 0 0 7 0 0 0 0 10 0 6 2 0 0 1 9 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 10 0 0 10 8 0 0 10 0 9 6 0 5 1 10 0 0 1 10 0 0 0 0 0 8 0 0 6 8 1 0 0 10 0 0 0 2 8 0 1 8 0 6 8 0 0 0 8 5 0 0 0 0 6 10 0 0 0 0 0 0 0 0 10 0 0 0 0 10 2 10 0 0 0 0 0 0 0 0 9 10 0 0 0 0 0 0 0 0 0 6 10 9 8 0 0 0 1 0 1 1 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 2 0 0 10 10 10 9 0 5 1 0 1 0 0 0 0 0 0 1 0 0 1 10 8 0 0 0 0 0 0 1 0 1 3 0 0 0 0 9 0 10 0 0 0 0 4 6 0 0 0 0 0 0 0 0 1 0 0 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 9 0 0 0 0 10 0 0 0 0 10 10 10 0 0 0 0 0 0 1 0 0 0 1 0 10 0 10 9 0 0 0 0 0 0 1 1 10 0 0 0 8 1 1 0 0 0 6 0 1 0 0 1 0 0 10 0 0 10 10 10 0 0 0 10 0 0 0 0 3 0 4 8 0 0 0 0 0 0 0 0 0 0 0 10 1 0 0 1 0 0 1 0 10 8 0 0 0 0 10 10 0 10 0 2 7 10 0 10 0 0 7 0 0 10 1 0 0 0 0 0 0 10 10 0 0 0 0 0 10 0 0 10 6 10 0 1 9 0 0 0 0 1 0 0 10 0 0 0 0 1 0 10 0 1 0 0 10 9 0 0 0 0 1 10 10 0 0 0 1 10 0 0 0 0 0 0 0 6 1 10 0 1 10 0 0 0 0 0 10 10 10 0 0 0 0 0 10 0 1 0 10 0 0 0 0 0 8 0 0 0 0 0 0 0 10 1 10 1 0 0 9 0 0 10 7 10 0 10 0 0 0 9 0 0 0 1 0 0 10 0 0 0 1 7 0 0 1 0 1 0 10 8 0 0 0 0 0 0 10 0 0 0 0 0 0 1 1 0 10 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 8 10 0 0 10 0 0 0 5 0 0 0 0 0 10 0 6 0 0 0 0 0 0 0 9 0 4 0 0 10 9 1 0 0 1 10 0 0 0 0 0 0 10 0 0 10 0 8 3 1 1 6 0 0 10 0 0 0 0 0 1 1 10 0 0 0 3 0 0 0 10 10 1 0 0 0 0 1 1 0 7 0 6 10 10 1 0 0 0 9 0 0 0 0 2 1 0 0 9 0 0 0 9 4 1 0 0 1 10 9 0 1 0 0 1 0 0 0 0 10 0 0 0 0 1 0 0 0 0 0 0 0 10 0 7 1 0 10 10 8 0 10 4 1 0 0 4 0 10 1 0 0 0 10 1 0 4 0 0 0 0 0 0 0 0 0 4 8 10 0 0 1 3 0 1 0 10 10 6 8 0 1 10 0 0 0 0 10 1 0 0 0 10 1 0 0 0 0 1 0 9 0 0 0 0 0 0 0 0 1 1 2 0 0 0 0 1 0 0 0 10 0 0 0 0 0 0 0 0 1 0 10 0 0 0 0 0 0 0 1 0 10 0 0 0 0 0 0 0 0 0 0 8 0 6 5 0 7 10 0 10 0 1 9 0 0 0 1 0 10 0 0 10 1 5 0 0 0 4 5 0 0 8 0 0 0 0 0 0 1 0 0 0 5 9 0 0 10 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 10 0 1 10 0 320 28 96 188 20 252 172 300 148 124 212 148 212 100 132 44 384 96 116 332 404 68 144 248 188 104 160 24 260 176 372 32 232 128 496 408 176 152 76 84 244 216 248 196 24 232 272 24 208 20 236 52 40 4 176 124 92 144 280 232 120 256 32 200 120 8 164 136 184 140 24 432 104 472 64 328 336 208 36 204 204 148 112 8 324 172 188 248 8 68 96 116 324 172 300 40 276 460 148 52 496 288 248 96 144 104 92 428 124 44 316 180 228 184 180 76 60 76 224 316 48 20 356 224 108 472 16 72 328 64 432 432 24 200 120 52 376 284 120 284 180 80 416 16 144 24 408 180 416 24 16 308 232 172 92 204 112 152 456 324 24 472 512 12 292 68 416 68 20 68 260 428 92 196 92 48 268 92 228 180 12 200 52 172 168 308 252 124 112 204 296 72 32 160 152 160 100 148 200 208 80 156 84 248 80 152 104 208 148 144 28 236 88 192 156 24 76 128 192 184 104 132 172 32 20 364 76 244 16 28 68 176 140 4 324 172 368 156 512 328 296 152 400 188 44 264 208 108 100 132 412 192 48 204 140 448 452 48 400 496 0 320 368 56 452 304 444 200 36 456 344 424 432 104 248 284 104 112 256 44 96 68 68 68 252 236 120 36 132 216 364 256 112 440 40 276 456 120 40 136 264 160 124 48 272 176 172 96 44 152 72 316 320 120 8 160 0 324 280 196 24 36 152 112 288 196 92 164 272 20 300 152 400 196 96 148 400 32 348 96 144 260 204 200 56 56 104 252 92 68 332 300 380 208 128 292 92 196 256 104 436 168 80 308 128 416 52 144 192 156 264 264 40 360 224 164 224 120 284 264 268 128 200 484 136 88 536 532 264 176 512 276 240 368 400 520 116 100 208 4 12 140 68 144 280 140 88 168 208 172 272 20 300 72 328 64 208 108 260 148 40 32 228 24 220 212 20 112 136 108 180 104 184 68 252 56 136 244 96 132 116 156 136 148 48 236 108 312 312 144 128 184 168 208 172 108 28 196 132 128 148 216 216 184 432 288 256 216 96 420 164 132 280 56 208 96 176 40 84 200 116 176 124 80 180 264 88 8 188 304 168 264 8 264 132 120 128 96 328 244 288 124 152 32 328 168 112 104 176 124 160 108 80 76 72 8 160 168 308 360 20 308 96 360 324 52 400 224 264 128 208 236 328 168 192 316 232 220 368 196 232 36 80 72 312 168 88 56 128 52 228 424 52 380 168 336 104 248 236 312 124 444 104 472 64 44 88 360 476 196 36 172 232 492 488 224 344 24 180 300 436 232 484 172 456 172 464 308 364 348 460 184 36 340 396 256 500 456 36 488 28 188 88 152 248 168 116 16 112 320 0 56 380 56 308 444 456 456 344 8 296 336 0 80 188 104 312 160 328 128 308 272 52 168 296 132 196 364 160 88 208 136 204 148 132 188 404 44 104 44 444 8 132 308 304 144 396 132 24 204 88 168 152 40 244 292 288 36 180 64 204 116 280 244 284 376 56 204 348 272 232 500 200 324 188 220 140 80 152 176 124 120 260 28 204 140 212 172 160 204 12 156 148 140 64 56 176 136 220 204 292 228 112 32 280 64 204 224 240 256 60 12 104 280 212 68 48 140 220 312 0 312 272 312 120 272 128 108 44 496 128 52 204 536 536 152 64 44 88 268 88 252 252 140 148 60 56 112 496 380 344 92 420 208 492 496 496 472 448 336 148 52 176 152 188 292 48 76 144 308 68 280 124 144 428 68 208 456 140 16 452 240 272 360 496 204 40 408 24 4 228 28 80 56 208 416 352 220 168 144 524 468 128 412 400 168 336 280 380 352 496 312 288 260 72 36 172 204 280 0 12 84 380 312 208 112 336 64 204 312 88 156 160 76 40 200 424 396 52 440 244 476 340 84 100 160 280 300 88 48 56 160 304 140 348 200 344 40 296 432 108 116 52 176 136 284 320 116 64 236 132 116 184 44 304 0 12 4 88 192 260 264 16 80 176 40 200 20 204 212 44 180 392 140 156 444 320 84 424 368 236 268 316 224 160 212 200 116 132 268 76 132 244 160 404 132 392 316 220 388 416 284 348 288 32 524 468 236 176 156 408 88 340 12 192 312 308 160 392 328 28 48 212 180 56 184 432 404 352 32 96 148 388 460 428 348 16 68 92 36 84 80 88 108 248 168 64 192 160 168 244 240 4 248 240 20 468 356 300 228 460 52 376 96 84 180 116 408 52 204 404 64 188 88 144 164 144 320 160 148 8 288 192 124 304 32 192 180 60 168 176 128 300 68 188 116 276 328 176 40 496 136 456 396 0 48 496 208 160 280 280 396 336 448 68 396 100 16 8 392 452 380 380 48 156 156 104 232 120 108 172 28 260 476 536 512 328 536 536 144 116 296 264 176 60 16 112 28 272 4 344 172 308 112 424 68 92 400 264 60 80 296 60 136 292 144 260 112 32 20 44 72 276 236 220 20 236 84 284 472 324 4 224 140 40 112 528 524 312 76 168 76 288 408 84 24 72 368 64 232 248 200 52 284 220 92 36 252 248 92 84 384 72 384 368 68 80 128 128 92 232 304 88 192 312 128 124 144 4 120 364 40 408 264 112 40 436 148 288 496 64 256 256 136 136 292 136 260 4 328 4 4 332 152 232 324 228 180 324 188 132 128 364 16 336 180 344 256 104 40 356 136 108 16 108 232 204 340 220 228 300 300 112 320 396 144 52 112 48 400 396 376 152 140 232 332 264 384 124 136 268 92 48 152 224 40 24 84 112 268 36 280 308 236 20 72 412 236 360 304 60 312 68 388 200 428 280 96 276 44 144 300 288 428 296 400 396 536 248 480 104 116 92 136 76 96 108 292 140 240 16 380 100 28 224 108 388 20 236 240 56 96 264 240 256 112 112 152 44 0 8 60 452 132 488 376 196 256 292 320 196 496 116 92 456 244 112 60 100 60 24 244 112 248 152 40 160 88 144 368 60 160 16 244 136 152 112 32 480 240 8 520 372 384 288 352 232 352 348 488 432 56 68 148 372 436 4 300 372 328 216 44 280 216 124 244 248 8 148 44 228 488 256 12 108 120 24 176 296 324 440 212 416 0 244 476 44 132 240 244 16 252 304 452 348 416 460 276 408 172 72 40 92 404 312 312 336 432 112 384 240 76 240 496 340 140 232 184 128 324 328 224 56 180 104 20 260 284 240 100 212 216 320 80 336 108 116 268 252 228 0 80 208 16 28 24 296 292 200 156 28 172 336 68 56 120 168 104 24 144 56 108 384 92 412 72 88 264 448 176 88 316 48 188 152 432 48 380 20 376 4 272 360 24 248 496 36 236 96 40 156 44 292 184 8 48 24 280 204 76 140 164 104 152 8 40 76 176 8 128 216 292 56 184 216 288 96 216 104 296 208 256 304 188 88 88 124 212 280 216 252 48 144 28 52 12 384 492 256 400 164 348 132 12 68 220 68 24 104 136 272 136 16 260 248 260 60 52 80 92 168 100 68 60 268 104 256 96 176 208 264 296 136 224 404 136 372 432 360 112 132 100 64 192 136 224 184 24 408 148 400 336 368 408 248 108 132 56 128 132 216 212 216 420 16 384 76 208 224 184 224 32 168 328 360 536 220 376 40 376 292 352 0 404 64 88 52 212 64 92 344 136 24 360 108 52 8 124 244 328 344 344 92 152 384 64 216 120 104 144 292 180 300 104 436 436 316 156 48 16 396 120 32 236 216 432 388 208 300 392 492 360 320 132 84 40 0 120 84 192 392 112 104 296 256 108 128 164 116 456 420 40 188 308 104 328 244 12 212 12 484 148 132 36 152 240 180 196 292 28 80 28 212 196 136 448 444 24 60 40 340 364 28 124 260 136 36 76 536 536 176 48 52 496 40 136 256 140 256 240 4 168 28 420 76 396 188 208 8 292 148 0 4 136 152 88 296 284 204 240 292 60 284 60 164 16 52 20 140 148 92 140 292 36 288 120 48 432 420 360 400 352 40 100 248 324 68 364 180 320 28 16 360 176 120 112 224 468 472 272 460 8 232 132 248 256 492 496 48 44 480 4 156 212 124 12 208 96 364 112 336 136 404 92 44 136 260 180 112 208 132 224 364 56 480 164 296 440 440 360 492 144 464 4 324 356 236 328 360 480 228 132 32 0 352 220 440 300 440 84 444 412 160 240 248 32 148 80 372 300 240 364 308 364 64 104 240 24 36 92 232 32 160 124 376 260 372 352 48 308 76 132 168 296 320 360 352 440 160 280 316 112 296 184 88 316 220 304 24 88 228 484 4 340 464 440 76 136 400 0 112 76 496 160 24 360 68 92 68 112 80 48 416 316 364 272 64 284 168 124 312 352 96 228 216 188 92 80 92 8 260 136 0 68 112 16 128 24 24 244 336 80 184 260 32 312 0 320 40 352 176 52 228 104 4 224 60 40 96 108 84 96 192 124 136 128 32 192 152 32 112 176 92 68 40 32 144 144 176 56 348 28 488 368 176 136 92 352 348 292 28 312 188 332 204 116 92 316 84 280 248 144 180 300 8 480 308 124 336 252 184 292 536 392 536 360 524 448 128 336 252 380 40 408 84 160 16 376 108 84 388 376 344 180 148 64 208 168 460 68 192 80 112 36 268 44 44 192 428 72 392 104 60 452 400 272 360 264 312 136 224 24 108 244 292 232 280 340 496 40 468 204 372 388 388 8 88 116 264 88 332 80 380 216 152 400 0 68 352 12 48 0 280 196 32 0 132 192 200 176 448 312 288 352 216 56 228 264 380 176 296 360 104 96 204 84 316 200 184 120 224 12 108 84 336 184 300 132 176 0 40 0 96 392 136 176 300 196 72 228 136 400 376 28 172 152 332 312 404 360 120 216 204 448 8 4 64
2520.18/2068.81	v       </values>
2520.18/2068.81	v     </instantiation>
2520.18/2068.81	s SATISFIABLE

Verifier Data

OK	525554465

Watcher Data

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (705 MiB free)
  memory of node 1: 16384 MiB (765 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402947-1568987847/watcher-4402947-1568987847 -o /var/tmp/evaluation-result-4402947-1568987847/solver-4402947-1568987847 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568967598-20069 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=270642407 HOME/instance-4402947-1568987847.xml 

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

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


[startup+0.100122 s]*
/proc/loadavg: 1.64 1.59 1.58 3/218 28644
/proc/meminfo: memFree=1496520/32770624 swapFree=66956624/67108860
[pid=28587] ppid=28584 vsize=10055356 memory=18856 CPUtime=0.09 cores=1,3,5,7
/proc/28587/stat : 28587 (java) S 28584 28587 20037 0 -1 1077944320 4450 13296 0 0 1 0 5 3 20 0 7 0 475023594 10296684544 4714 33554432000 4194304 4196468 140721792205824 140721792188368 140390180970231 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
/proc/28587/statm: 2513839 4714 1972 1 0 2502277 0
[pid=28587/tid=28640] ppid=28584 vsize=10055356 memory=4279135704013833615 CPUtime=0.09 cores=1,3,5,7
/proc/28587/task/28640/stat : 28640 (java) R 28584 28587 20037 0 -1 4202560 2239 13296 0 0 1 0 5 3 20 0 7 0 475023603 10296684544 4714 33554432000 4194304 4196468 140721792205824 140390152813328 140390166653462 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28641] ppid=28584 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28641/stat : 28641 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 7 0 475023604 10296684544 4714 33554432000 4194304 4196468 140721792205824 140390185212688 140390180980437 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28642] ppid=28584 vsize=10055356 memory=139746994579072 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28642/stat : 28642 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 7 0 475023604 10296684544 4714 33554432000 4194304 4196468 140721792205824 140390073486224 140390180980437 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28643] ppid=28584 vsize=10055356 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28643/stat : 28643 (java) S 28584 28587 20037 0 -1 1077944384 1 13296 0 0 0 0 5 3 20 0 7 0 475023604 10296684544 4714 33554432000 4194304 4196468 140721792205824 140390072433680 140390180980437 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28644] ppid=28584 vsize=10055356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28644/stat : 28644 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 7 0 475023604 10296684544 4780 33554432000 4194304 4196468 140721792205824 140390071381136 140390180980437 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28645] ppid=28584 vsize=10055356 memory=139746994579072 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28645/stat : 28645 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 7 0 475023605 10296684544 4780 33554432000 4194304 4196468 140721792205824 140389639981040 140390180981378 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 18856 KiB

[startup+0.210065 s]*
/proc/loadavg: 1.64 1.59 1.58 3/227 28653
/proc/meminfo: memFree=1474600/32770624 swapFree=66956624/67108860
[pid=28587] ppid=28584 vsize=10820196 memory=45020 CPUtime=0.27 cores=1,3,5,7
/proc/28587/stat : 28587 (java) S 28584 28587 20037 0 -1 1077944320 7255 13296 0 0 18 1 5 3 20 0 15 0 475023594 11079880704 11255 33554432000 4194304 4196468 140721792205824 140721792188368 140390180970231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
/proc/28587/statm: 2705049 11255 3294 1 0 2667149 0
[pid=28587/tid=28640] ppid=28584 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/28587/task/28640/stat : 28640 (java) R 28584 28587 20037 0 -1 4202560 3750 13296 0 0 11 0 5 3 20 0 15 0 475023603 11079880704 11255 33554432000 4194304 4196468 140721792205824 140390152781264 140390162363965 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28641] ppid=28584 vsize=10820196 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28641/stat : 28641 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023604 11079880704 11255 33554432000 4194304 4196468 140721792205824 140390185212688 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28642] ppid=28584 vsize=10820196 memory=4050058002588001952 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28642/stat : 28642 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023604 11079880704 11255 33554432000 4194304 4196468 140721792205824 140390073486224 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28643] ppid=28584 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28643/stat : 28643 (java) S 28584 28587 20037 0 -1 1077944384 1 13296 0 0 0 0 5 3 20 0 15 0 475023604 11079880704 11255 33554432000 4194304 4196468 140721792205824 140390072433680 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28644] ppid=28584 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28644/stat : 28644 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023604 11079880704 11255 33554432000 4194304 4196468 140721792205824 140390071381136 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28645] ppid=28584 vsize=10820196 memory=139746994579072 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28645/stat : 28645 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023605 11079880704 11255 33554432000 4194304 4196468 140721792205824 140389639981040 140390180981378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28646] ppid=28584 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28646/stat : 28646 (java) S 28584 28587 20037 0 -1 1077944384 33 13296 0 0 0 0 5 3 20 0 15 0 475023606 11079880704 11255 33554432000 4194304 4196468 140721792205824 140389638927264 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28647] ppid=28584 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28647/stat : 28647 (java) S 28584 28587 20037 0 -1 1077944384 1 13296 0 0 0 0 5 3 20 0 15 0 475023606 11079880704 11255 33554432000 4194304 4196468 140721792205824 140389528888304 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28648] ppid=28584 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28648/stat : 28648 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023608 11079880704 11255 33554432000 4194304 4196468 140721792205824 140388924909776 140390180988827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28649] ppid=28584 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/28587/task/28649/stat : 28649 (java) S 28584 28587 20037 0 -1 1077944384 351 13296 0 0 1 0 5 3 20 0 15 0 475023608 11079880704 11255 33554432000 4194304 4196468 140721792205824 140389605370352 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28650] ppid=28584 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/28587/task/28650/stat : 28650 (java) S 28584 28587 20037 0 -1 1077944384 311 13296 0 0 1 0 5 3 20 0 15 0 475023608 11079880704 11255 33554432000 4194304 4196468 140721792205824 140389604317808 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28651] ppid=28584 vsize=10820196 memory=139746994579072 CPUtime=0.11 cores=1,3,5,7
/proc/28587/task/28651/stat : 28651 (java) S 28584 28587 20037 0 -1 1077944384 593 13296 0 0 3 0 5 3 20 0 15 0 475023608 11079880704 11255 33554432000 4194304 4196468 140721792205824 140389603265264 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28652] ppid=28584 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28652/stat : 28652 (java) S 28584 28587 20037 0 -1 1077944384 3 13296 0 0 0 0 5 3 20 0 15 0 475023609 11079880704 11255 33554432000 4194304 4196468 140721792205824 140388455148640 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28653] ppid=28584 vsize=10820196 memory=139746994579072 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28653/stat : 28653 (java) S 28584 28587 20037 0 -1 1077944384 1 13296 0 0 0 0 5 3 20 0 15 0 475023609 11079880704 11255 33554432000 4194304 4196468 140721792205824 140389602212144 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45020 KiB

[startup+0.311061 s]*
/proc/loadavg: 1.64 1.59 1.58 3/227 28653
/proc/meminfo: memFree=1464348/32770624 swapFree=66956624/67108860
[pid=28587] ppid=28584 vsize=10820196 memory=53728 CPUtime=0.41 cores=1,3,5,7
/proc/28587/stat : 28587 (java) S 28584 28587 20037 0 -1 1077944320 10599 13296 0 0 29 4 5 3 20 0 15 0 475023594 11079880704 13432 33554432000 4194304 4196468 140721792205824 140721792188368 140390180970231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
/proc/28587/statm: 2705049 13432 3318 1 0 2667149 0
[pid=28587/tid=28640] ppid=28584 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/28587/task/28640/stat : 28640 (java) R 28584 28587 20037 0 -1 4202560 7084 13296 0 0 19 2 5 3 20 0 15 0 475023603 11079880704 13432 33554432000 4194304 4196468 140721792205824 140390152776368 140390180992157 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28641] ppid=28584 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28641/stat : 28641 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023604 11079880704 13432 33554432000 4194304 4196468 140721792205824 140390185212688 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28642] ppid=28584 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28642/stat : 28642 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023604 11079880704 13432 33554432000 4194304 4196468 140721792205824 140390073486224 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28643] ppid=28584 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28643/stat : 28643 (java) S 28584 28587 20037 0 -1 1077944384 1 13296 0 0 0 0 5 3 20 0 15 0 475023604 11079880704 13432 33554432000 4194304 4196468 140721792205824 140390072433680 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28644] ppid=28584 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28644/stat : 28644 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023604 11079880704 13432 33554432000 4194304 4196468 140721792205824 140390071381136 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28645] ppid=28584 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28645/stat : 28645 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023605 11079880704 13432 33554432000 4194304 4196468 140721792205824 140389639981040 140390180981378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28646] ppid=28584 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28646/stat : 28646 (java) S 28584 28587 20037 0 -1 1077944384 33 13296 0 0 0 0 5 3 20 0 15 0 475023606 11079880704 13432 33554432000 4194304 4196468 140721792205824 140389638927264 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28647] ppid=28584 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28647/stat : 28647 (java) S 28584 28587 20037 0 -1 1077944384 1 13296 0 0 0 0 5 3 20 0 15 0 475023606 11079880704 13432 33554432000 4194304 4196468 140721792205824 140389528888304 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28648] ppid=28584 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28648/stat : 28648 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023608 11079880704 13432 33554432000 4194304 4196468 140721792205824 140388924909776 140390180988827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28649] ppid=28584 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/28587/task/28649/stat : 28649 (java) S 28584 28587 20037 0 -1 1077944384 352 13296 0 0 2 0 5 3 20 0 15 0 475023608 11079880704 13432 33554432000 4194304 4196468 140721792205824 140389605370352 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28650] ppid=28584 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/28587/task/28650/stat : 28650 (java) S 28584 28587 20037 0 -1 1077944384 311 13296 0 0 1 0 5 3 20 0 15 0 475023608 11079880704 13432 33554432000 4194304 4196468 140721792205824 140389604317808 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28651] ppid=28584 vsize=10820196 memory=139746994579072 CPUtime=0.13 cores=1,3,5,7
/proc/28587/task/28651/stat : 28651 (java) S 28584 28587 20037 0 -1 1077944384 601 13296 0 0 5 0 5 3 20 0 15 0 475023608 11079880704 13432 33554432000 4194304 4196468 140721792205824 140389603265264 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28652] ppid=28584 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28652/stat : 28652 (java) S 28584 28587 20037 0 -1 1077944384 3 13296 0 0 0 0 5 3 20 0 15 0 475023609 11079880704 13432 33554432000 4194304 4196468 140721792205824 140388455148640 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28653] ppid=28584 vsize=10820196 memory=139746994579072 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28653/stat : 28653 (java) S 28584 28587 20037 0 -1 1077944384 1 13296 0 0 0 0 5 3 20 0 15 0 475023609 11079880704 13432 33554432000 4194304 4196468 140721792205824 140389602212144 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53728 KiB

[startup+0.700692 s]
/proc/loadavg: 1.64 1.59 1.58 3/227 28653
/proc/meminfo: memFree=1449924/32770624 swapFree=66956624/67108860
[pid=28587] ppid=28584 vsize=10824364 memory=86092 CPUtime=1.16 cores=1,3,5,7
/proc/28587/stat : 28587 (java) S 28584 28587 20037 0 -1 1077944320 14704 13296 0 0 101 7 5 3 20 0 15 0 475023594 11084148736 21523 33554432000 4194304 4196468 140721792205824 140721792188368 140390180970231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
/proc/28587/statm: 2706091 21523 3515 1 0 2668173 0
[pid=28587/tid=28640] ppid=28584 vsize=10825388 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/28587/task/28640/stat : 28640 (java) R 28584 28587 20037 0 -1 4202560 10106 13296 0 0 54 5 5 3 20 0 15 0 475023603 11085197312 21523 33554432000 4194304 4196468 140721792205824 140390152788160 140390173649949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28641] ppid=28584 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28641/stat : 28641 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023604 11085197312 21588 33554432000 4194304 4196468 140721792205824 140390185212688 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28642] ppid=28584 vsize=10825388 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28642/stat : 28642 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023604 11085197312 21588 33554432000 4194304 4196468 140721792205824 140390073486224 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28643] ppid=28584 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28643/stat : 28643 (java) S 28584 28587 20037 0 -1 1077944384 1 13296 0 0 0 0 5 3 20 0 15 0 475023604 11084148736 21565 33554432000 4194304 4196468 140721792205824 140390072433680 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28644] ppid=28584 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28644/stat : 28644 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023604 11084148736 21565 33554432000 4194304 4196468 140721792205824 140390071381136 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28645] ppid=28584 vsize=10824364 memory=139749645877825 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28645/stat : 28645 (java) S 28584 28587 20037 0 -1 1077944384 6 13296 0 0 0 0 5 3 20 0 15 0 475023605 11084148736 21565 33554432000 4194304 4196468 140721792205824 140389639981040 140390180981378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28646] ppid=28584 vsize=10824364 memory=139749645877832 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28646/stat : 28646 (java) S 28584 28587 20037 0 -1 1077944384 33 13296 0 0 0 0 5 3 20 0 15 0 475023606 11084148736 21565 33554432000 4194304 4196468 140721792205824 140389638927264 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28647] ppid=28584 vsize=10825388 memory=139749645877836 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28647/stat : 28647 (java) S 28584 28587 20037 0 -1 1077944384 1 13296 0 0 0 0 5 3 20 0 15 0 475023606 11085197312 21565 33554432000 4194304 4196468 140721792205824 140389528888304 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28648] ppid=28584 vsize=10825388 memory=139749645877837 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28648/stat : 28648 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023608 11085197312 21565 33554432000 4194304 4196468 140721792205824 140388924909776 140390180988827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28649] ppid=28584 vsize=10825388 memory=139749645877844 CPUtime=0.25 cores=1,3,5,7
/proc/28587/task/28649/stat : 28649 (java) S 28584 28587 20037 0 -1 1077944384 840 13296 0 0 17 0 5 3 20 0 15 0 475023608 11085197312 21565 33554432000 4194304 4196468 140721792205824 140389605370352 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28650] ppid=28584 vsize=10825388 memory=139749645877846 CPUtime=0.18 cores=1,3,5,7
/proc/28587/task/28650/stat : 28650 (java) S 28584 28587 20037 0 -1 1077944384 781 13296 0 0 10 0 5 3 20 0 15 0 475023608 11085197312 21565 33554432000 4194304 4196468 140721792205824 140389604317808 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28651] ppid=28584 vsize=10824364 memory=139749645877866 CPUtime=0.25 cores=1,3,5,7
/proc/28587/task/28651/stat : 28651 (java) S 28584 28587 20037 0 -1 1077944384 743 13296 0 0 17 0 5 3 20 0 15 0 475023608 11084148736 21565 33554432000 4194304 4196468 140721792205824 140389603265264 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28652] ppid=28584 vsize=10824364 memory=14012 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28652/stat : 28652 (java) S 28584 28587 20037 0 -1 1077944384 3 13296 0 0 0 0 5 3 20 0 15 0 475023609 11084148736 21565 33554432000 4194304 4196468 140721792205824 140388455148640 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28653] ppid=28584 vsize=10825388 memory=2112 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28653/stat : 28653 (java) S 28584 28587 20037 0 -1 1077944384 1 13296 0 0 0 0 5 3 20 0 15 0 475023609 11085197312 21565 33554432000 4194304 4196468 140721792205824 140389602212144 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 86092 KiB

[startup+1.50107 s]
/proc/loadavg: 1.64 1.59 1.58 3/227 28653
/proc/meminfo: memFree=1229236/32770624 swapFree=66956624/67108860
[pid=28587] ppid=28584 vsize=10824364 memory=533840 CPUtime=2.9 cores=1,3,5,7
/proc/28587/stat : 28587 (java) S 28584 28587 20037 0 -1 1077944320 18288 13296 0 0 234 48 5 3 20 0 15 0 475023594 11084148736 133460 33554432000 4194304 4196468 140721792205824 140721792188368 140390180970231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
/proc/28587/statm: 2706091 133460 3563 1 0 2668173 0
[pid=28587/tid=28640] ppid=28584 vsize=10824364 memory=291024 CPUtime=1.27 cores=1,3,5,7
/proc/28587/task/28640/stat : 28640 (java) R 28584 28587 20037 0 -1 4202560 10722 13296 0 0 105 14 5 3 20 0 15 0 475023603 11084148736 133460 33554432000 4194304 4196468 140721792205824 140390152798976 140389747335978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28641] ppid=28584 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/28587/task/28641/stat : 28641 (java) S 28584 28587 20037 0 -1 1077944384 454 13296 0 0 9 8 5 3 20 0 15 0 475023604 11084148736 133460 33554432000 4194304 4196468 140721792205824 140390185212688 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28642] ppid=28584 vsize=10824364 memory=-6421031960926448530 CPUtime=0.24 cores=1,3,5,7
/proc/28587/task/28642/stat : 28642 (java) S 28584 28587 20037 0 -1 1077944384 366 13296 0 0 9 7 5 3 20 0 15 0 475023604 11084148736 133460 33554432000 4194304 4196468 140721792205824 140390073486224 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28643] ppid=28584 vsize=10824364 memory=6944656592455360604 CPUtime=0.25 cores=1,3,5,7
/proc/28587/task/28643/stat : 28643 (java) S 28584 28587 20037 0 -1 1077944384 484 13296 0 0 9 8 5 3 20 0 15 0 475023604 11084148736 133460 33554432000 4194304 4196468 140721792205824 140390072433680 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28644] ppid=28584 vsize=10824364 memory=6655300316396806240 CPUtime=0.23 cores=1,3,5,7
/proc/28587/task/28644/stat : 28644 (java) S 28584 28587 20037 0 -1 1077944384 244 13296 0 0 9 6 5 3 20 0 15 0 475023604 11084148736 133460 33554432000 4194304 4196468 140721792205824 140390071381136 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28645] ppid=28584 vsize=10824364 memory=279493789027312 CPUtime=0.09 cores=1,3,5,7
/proc/28587/task/28645/stat : 28645 (java) S 28584 28587 20037 0 -1 1077944384 337 13296 0 0 1 0 5 3 20 0 15 0 475023605 11084148736 133460 33554432000 4194304 4196468 140721792205824 140389639981040 140390180981378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28646] ppid=28584 vsize=10824364 memory=1943562 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28646/stat : 28646 (java) S 28584 28587 20037 0 -1 1077944384 33 13296 0 0 0 0 5 3 20 0 15 0 475023606 11084148736 133460 33554432000 4194304 4196468 140721792205824 140389638927264 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28647] ppid=28584 vsize=10824364 memory=1944740 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28647/stat : 28647 (java) S 28584 28587 20037 0 -1 1077944384 3 13296 0 0 0 0 5 3 20 0 15 0 475023606 11084148736 133460 33554432000 4194304 4196468 140721792205824 140389528888304 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28648] ppid=28584 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28648/stat : 28648 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023608 11084148736 133460 33554432000 4194304 4196468 140721792205824 140388924909776 140390180988827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28649] ppid=28584 vsize=10824364 memory=320425177016018691 CPUtime=0.4 cores=1,3,5,7
/proc/28587/task/28649/stat : 28649 (java) S 28584 28587 20037 0 -1 1077944384 939 13296 0 0 32 0 5 3 20 0 15 0 475023608 11084148736 133460 33554432000 4194304 4196468 140721792205824 140389605370352 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28650] ppid=28584 vsize=10824364 memory=288287779348129636 CPUtime=0.4 cores=1,3,5,7
/proc/28587/task/28650/stat : 28650 (java) S 28584 28587 20037 0 -1 1077944384 1598 13296 0 0 32 0 5 3 20 0 15 0 475023608 11084148736 133972 33554432000 4194304 4196468 140721792205824 140389604317808 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28651] ppid=28584 vsize=10824364 memory=6656426216303648864 CPUtime=0.33 cores=1,3,5,7
/proc/28587/task/28651/stat : 28651 (java) S 28584 28587 20037 0 -1 1077944384 900 13296 0 0 24 1 5 3 20 0 15 0 475023608 11084148736 133972 33554432000 4194304 4196468 140721792205824 140389603265264 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28652] ppid=28584 vsize=10824364 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28652/stat : 28652 (java) S 28584 28587 20037 0 -1 1077944384 3 13296 0 0 0 0 5 3 20 0 15 0 475023609 11084148736 133972 33554432000 4194304 4196468 140721792205824 140388455148640 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28653] ppid=28584 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28653/stat : 28653 (java) S 28584 28587 20037 0 -1 1077944384 1 13296 0 0 0 0 5 3 20 0 15 0 475023609 11084148736 133972 33554432000 4194304 4196468 140721792205824 140389602212144 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0

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

[pid=28587/tid=28644] ppid=28584 vsize=10849036 memory=4733444 CPUtime=144.79 cores=1,3,5,7
/proc/28587/task/28644/stat : 28644 (java) S 28584 28587 20037 0 -1 1077944384 2987995 13296 0 0 13871 600 5 3 20 0 15 0 475023604 11109412864 1183362 33554432000 4194304 4196468 140721792205824 140390071381136 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28645] ppid=28584 vsize=10849036 memory=4733444 CPUtime=5.12 cores=1,3,5,7
/proc/28587/task/28645/stat : 28645 (java) S 28584 28587 20037 0 -1 1077944384 231458 13296 0 0 441 63 5 3 20 0 15 0 475023605 11109412864 1183362 33554432000 4194304 4196468 140721792205824 140389639981040 140390180981378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28646] ppid=28584 vsize=10849036 memory=4733448 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28646/stat : 28646 (java) S 28584 28587 20037 0 -1 1077944384 63 13296 0 0 0 0 5 3 20 0 15 0 475023606 11109412864 1183362 33554432000 4194304 4196468 140721792205824 140389638927392 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28647] ppid=28584 vsize=10849036 memory=4733448 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28647/stat : 28647 (java) S 28584 28587 20037 0 -1 1077944384 40 13296 0 0 0 0 5 3 20 0 15 0 475023606 11109412864 1183362 33554432000 4194304 4196468 140721792205824 140389528888320 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28648] ppid=28584 vsize=10849036 memory=4733448 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28648/stat : 28648 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023608 11109412864 1183362 33554432000 4194304 4196468 140721792205824 140388924909776 140390180988827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28649] ppid=28584 vsize=10849036 memory=4733448 CPUtime=6.79 cores=1,3,5,7
/proc/28587/task/28649/stat : 28649 (java) S 28584 28587 20037 0 -1 1077944384 45732 13296 0 0 663 8 5 3 20 0 15 0 475023608 11109412864 1183362 33554432000 4194304 4196468 140721792205824 140389605370352 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28650] ppid=28584 vsize=10849036 memory=4725232 CPUtime=7.36 cores=1,3,5,7
/proc/28587/task/28650/stat : 28650 (java) S 28584 28587 20037 0 -1 1077944384 51863 13296 0 0 719 9 5 3 20 0 15 0 475023608 11109412864 1183362 33554432000 4194304 4196468 140721792205824 140389604317808 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28651] ppid=28584 vsize=10849036 memory=4733444 CPUtime=2.66 cores=1,3,5,7
/proc/28587/task/28651/stat : 28651 (java) S 28584 28587 20037 0 -1 1077944384 43415 13296 0 0 252 6 5 3 20 0 15 0 475023608 11109412864 1183362 33554432000 4194304 4196468 140721792205824 140389603265264 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28652] ppid=28584 vsize=10849036 memory=4733444 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28652/stat : 28652 (java) S 28584 28587 20037 0 -1 1077944384 3 13296 0 0 0 0 5 3 20 0 15 0 475023609 11109412864 1183362 33554432000 4194304 4196468 140721792205824 140388455148640 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28653] ppid=28584 vsize=10849036 memory=6791534058613427641 CPUtime=1.3 cores=1,3,5,7
/proc/28587/task/28653/stat : 28653 (java) S 28584 28587 20037 0 -1 1077944384 2265 13296 0 0 52 70 5 3 20 0 15 0 475023609 11109412864 1183362 33554432000 4194304 4196468 140721792205824 140389602212144 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
Current children cumulated CPU time: 2412.51 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4733448 KiB

[startup+2022.3 s]
/proc/loadavg: 0.80 1.10 1.39 2/207 28917
/proc/meminfo: memFree=6521080/32770624 swapFree=66956676/67108860
[pid=28587] ppid=28584 vsize=10849036 memory=4766272 CPUtime=2473.18 cores=1,3,5,7
/proc/28587/stat : 28587 (java) S 28584 28587 20037 0 -1 1077944320 26469527 13296 0 0 243860 3450 5 3 20 0 15 0 475023594 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140721792188368 140390180970231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
/proc/28587/statm: 2712259 1191568 3644 1 0 2674317 0
[pid=28587/tid=28640] ppid=28584 vsize=10849036 memory=4743700 CPUtime=1869.72 cores=1,3,5,7
/proc/28587/task/28640/stat : 28640 (java) R 28584 28587 20037 0 -1 4202560 15548276 13296 0 0 186126 838 5 3 20 0 15 0 475023603 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140390152781104 140389760650312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28641] ppid=28584 vsize=10849036 memory=4764220 CPUtime=145.11 cores=1,3,5,7
/proc/28587/task/28641/stat : 28641 (java) S 28584 28587 20037 0 -1 1077944384 2459597 13296 0 0 13887 616 5 3 20 0 15 0 475023604 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140390185212688 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28642] ppid=28584 vsize=10849036 memory=4764224 CPUtime=145.49 cores=1,3,5,7
/proc/28587/task/28642/stat : 28642 (java) S 28584 28587 20037 0 -1 1077944384 2694970 13296 0 0 13907 634 5 3 20 0 15 0 475023604 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140390073486224 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28643] ppid=28584 vsize=10849036 memory=4766272 CPUtime=145.18 cores=1,3,5,7
/proc/28587/task/28643/stat : 28643 (java) S 28584 28587 20037 0 -1 1077944384 2390129 13296 0 0 13894 616 5 3 20 0 15 0 475023604 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140390072433680 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28644] ppid=28584 vsize=10849036 memory=4766272 CPUtime=144.99 cores=1,3,5,7
/proc/28587/task/28644/stat : 28644 (java) S 28584 28587 20037 0 -1 1077944384 2996669 13296 0 0 13890 601 5 3 20 0 15 0 475023604 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140390071381136 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28645] ppid=28584 vsize=10849036 memory=4743700 CPUtime=5.14 cores=1,3,5,7
/proc/28587/task/28645/stat : 28645 (java) S 28584 28587 20037 0 -1 1077944384 231805 13296 0 0 443 63 5 3 20 0 15 0 475023605 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140389639981040 140390180981378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28646] ppid=28584 vsize=10849036 memory=164 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28646/stat : 28646 (java) S 28584 28587 20037 0 -1 1077944384 63 13296 0 0 0 0 5 3 20 0 15 0 475023606 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140389638927392 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28647] ppid=28584 vsize=10849036 memory=4751912 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28647/stat : 28647 (java) S 28584 28587 20037 0 -1 1077944384 40 13296 0 0 0 0 5 3 20 0 15 0 475023606 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140389528888320 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28648] ppid=28584 vsize=10849036 memory=4760124 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28648/stat : 28648 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023608 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140388924909776 140390180988827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28649] ppid=28584 vsize=10849036 memory=3620 CPUtime=6.79 cores=1,3,5,7
/proc/28587/task/28649/stat : 28649 (java) S 28584 28587 20037 0 -1 1077944384 45734 13296 0 0 663 8 5 3 20 0 15 0 475023608 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140389605370352 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28650] ppid=28584 vsize=10849036 memory=3620 CPUtime=7.38 cores=1,3,5,7
/proc/28587/task/28650/stat : 28650 (java) S 28584 28587 20037 0 -1 1077944384 54323 13296 0 0 721 9 5 3 20 0 15 0 475023608 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140389604317808 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28651] ppid=28584 vsize=10849036 memory=54612 CPUtime=2.66 cores=1,3,5,7
/proc/28587/task/28651/stat : 28651 (java) S 28584 28587 20037 0 -1 1077944384 43418 13296 0 0 252 6 5 3 20 0 15 0 475023608 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140389603265264 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28652] ppid=28584 vsize=10849036 memory=1988 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28652/stat : 28652 (java) S 28584 28587 20037 0 -1 1077944384 3 13296 0 0 0 0 5 3 20 0 15 0 475023609 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140388455148640 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28653] ppid=28584 vsize=10849036 memory=988 CPUtime=1.34 cores=1,3,5,7
/proc/28587/task/28653/stat : 28653 (java) S 28584 28587 20037 0 -1 1077944384 2296 13296 0 0 54 72 5 3 20 0 15 0 475023609 11109412864 1191568 33554432000 4194304 4196468 140721792205824 140389602212144 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
Current children cumulated CPU time: 2473.18 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4766272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2068.7 s]
/proc/loadavg: 0.78 1.05 1.37 2/207 28920
/proc/meminfo: memFree=6509316/32770624 swapFree=66956676/67108860
[pid=28587] ppid=28584 vsize=10849036 memory=4778596 CPUtime=2520.08 cores=1,3,5,7
/proc/28587/stat : 28587 (java) S 28584 28587 20037 0 -1 1077944320 26957402 13296 0 0 248525 3475 5 3 20 0 15 0 475023594 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140721792188368 140390180970231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
/proc/28587/statm: 2712259 1194649 3644 1 0 2674317 0
[pid=28587/tid=28640] ppid=28584 vsize=10849036 memory=4778596 CPUtime=1915.93 cores=1,3,5,7
/proc/28587/task/28640/stat : 28640 (java) R 28584 28587 20037 0 -1 4202560 16010478 13296 0 0 190727 858 5 3 20 0 15 0 475023603 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140390152785136 140389760650276 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28641] ppid=28584 vsize=10849036 memory=6791534058613427641 CPUtime=145.27 cores=1,3,5,7
/proc/28587/task/28641/stat : 28641 (java) S 28584 28587 20037 0 -1 1077944384 2466087 13296 0 0 13902 617 5 3 20 0 15 0 475023604 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140390185212688 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28642] ppid=28584 vsize=10849036 memory=4778596 CPUtime=145.65 cores=1,3,5,7
/proc/28587/task/28642/stat : 28642 (java) S 28584 28587 20037 0 -1 1077944384 2702186 13296 0 0 13922 635 5 3 20 0 15 0 475023604 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140390073486224 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28643] ppid=28584 vsize=10849036 memory=4778596 CPUtime=145.34 cores=1,3,5,7
/proc/28587/task/28643/stat : 28643 (java) S 28584 28587 20037 0 -1 1077944384 2395903 13296 0 0 13909 617 5 3 20 0 15 0 475023604 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140390072433680 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28644] ppid=28584 vsize=10849036 memory=4776544 CPUtime=145.16 cores=1,3,5,7
/proc/28587/task/28644/stat : 28644 (java) S 28584 28587 20037 0 -1 1077944384 3002498 13296 0 0 13906 602 5 3 20 0 15 0 475023604 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140390071381136 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28645] ppid=28584 vsize=10849036 memory=4774496 CPUtime=5.16 cores=1,3,5,7
/proc/28587/task/28645/stat : 28645 (java) S 28584 28587 20037 0 -1 1077944384 232130 13296 0 0 444 64 5 3 20 0 15 0 475023605 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140389639981040 140390180981378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28646] ppid=28584 vsize=10849036 memory=4776544 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28646/stat : 28646 (java) S 28584 28587 20037 0 -1 1077944384 63 13296 0 0 0 0 5 3 20 0 15 0 475023606 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140389638927392 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28647] ppid=28584 vsize=10849036 memory=4776544 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28647/stat : 28647 (java) S 28584 28587 20037 0 -1 1077944384 40 13296 0 0 0 0 5 3 20 0 15 0 475023606 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140389528888320 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28648] ppid=28584 vsize=10849036 memory=4776544 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28648/stat : 28648 (java) S 28584 28587 20037 0 -1 1077944384 2 13296 0 0 0 0 5 3 20 0 15 0 475023608 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140388924909776 140390180988827 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28649] ppid=28584 vsize=10849036 memory=4778596 CPUtime=6.79 cores=1,3,5,7
/proc/28587/task/28649/stat : 28649 (java) S 28584 28587 20037 0 -1 1077944384 45742 13296 0 0 663 8 5 3 20 0 15 0 475023608 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140389605370352 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28650] ppid=28584 vsize=10849036 memory=4778596 CPUtime=7.38 cores=1,3,5,7
/proc/28587/task/28650/stat : 28650 (java) S 28584 28587 20037 0 -1 1077944384 54326 13296 0 0 721 9 5 3 20 0 15 0 475023608 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140389604317808 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28651] ppid=28584 vsize=10849036 memory=7450168062717749080 CPUtime=2.66 cores=1,3,5,7
/proc/28587/task/28651/stat : 28651 (java) S 28584 28587 20037 0 -1 1077944384 43422 13296 0 0 252 6 5 3 20 0 15 0 475023608 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140389603265264 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28652] ppid=28584 vsize=10849036 memory=288230574492221466 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28652/stat : 28652 (java) S 28584 28587 20037 0 -1 1077944384 3 13296 0 0 0 0 5 3 20 0 15 0 475023609 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140388455148640 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28653] ppid=28584 vsize=10849036 memory=288230583166042426 CPUtime=1.37 cores=1,3,5,7
/proc/28587/task/28653/stat : 28653 (java) S 28584 28587 20037 0 -1 1077944384 2320 13296 0 0 56 73 5 3 20 0 15 0 475023609 11109412864 1194649 33554432000 4194304 4196468 140721792205824 140389602212144 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 4778596 KiB

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

[startup+2069.02 s]
# the end of solver process 28587 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2485.42 s, system=34.9879 s

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

[startup+2068.81 s]
/proc/loadavg: 0.78 1.05 1.37 2/207 28920
/proc/meminfo: memFree=6509316/32770624 swapFree=66956676/67108860
[pid=28587] ppid=28584 vsize=11045652 memory=4782712 CPUtime=2520.18 cores=1,3,5,7
/proc/28587/stat : 28587 (java) S 28584 28587 20037 0 -1 1077944320 26958084 13296 0 0 248535 3475 5 3 20 0 17 0 475023594 11310747648 1195676 33554432000 4194304 4196468 140721792205824 140721792188368 140390180970231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
/proc/28587/statm: 2761413 1195676 3644 1 0 2723471 0
[pid=28587/tid=28640] ppid=28584 vsize=11045652 memory=-8773164308154395822 CPUtime=1916.03 cores=1,3,5,7
/proc/28587/task/28640/stat : 28640 (java) R 28584 28587 20037 0 -1 4202560 16010801 13296 0 0 190737 858 5 3 20 0 17 0 475023603 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140390152785136 140389750873090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28641] ppid=28584 vsize=11045652 memory=6655300316396806240 CPUtime=145.27 cores=1,3,5,7
/proc/28587/task/28641/stat : 28641 (java) S 28584 28587 20037 0 -1 1077944384 2466087 13296 0 0 13902 617 5 3 20 0 17 0 475023604 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140390185212688 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28642] ppid=28584 vsize=11045652 memory=6791534058613427641 CPUtime=145.65 cores=1,3,5,7
/proc/28587/task/28642/stat : 28642 (java) S 28584 28587 20037 0 -1 1077944384 2702186 13296 0 0 13922 635 5 3 20 0 17 0 475023604 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140390073486224 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28643] ppid=28584 vsize=11045652 memory=1408 CPUtime=145.34 cores=1,3,5,7
/proc/28587/task/28643/stat : 28643 (java) S 28584 28587 20037 0 -1 1077944384 2395903 13296 0 0 13909 617 5 3 20 0 17 0 475023604 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140390072433680 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28644] ppid=28584 vsize=11045652 memory=3296 CPUtime=145.16 cores=1,3,5,7
/proc/28587/task/28644/stat : 28644 (java) S 28584 28587 20037 0 -1 1077944384 3002498 13296 0 0 13906 602 5 3 20 0 17 0 475023604 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140390071381136 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28645] ppid=28584 vsize=11045652 memory=4776544 CPUtime=5.16 cores=1,3,5,7
/proc/28587/task/28645/stat : 28645 (java) S 28584 28587 20037 0 -1 1077944384 232130 13296 0 0 444 64 5 3 20 0 17 0 475023605 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140389639981040 140390180981378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28646] ppid=28584 vsize=11045652 memory=4778596 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28646/stat : 28646 (java) S 28584 28587 20037 0 -1 1077944384 63 13296 0 0 0 0 5 3 20 0 17 0 475023606 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140389638927392 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28647] ppid=28584 vsize=11045652 memory=4778596 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28647/stat : 28647 (java) S 28584 28587 20037 0 -1 1077944384 40 13296 0 0 0 0 5 3 20 0 17 0 475023606 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140389528888320 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28648] ppid=28584 vsize=11045652 memory=4778596 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28648/stat : 28648 (java) S 28584 28587 20037 0 -1 1077944384 212 13296 0 0 0 0 5 3 20 0 17 0 475023608 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140388924909776 140390180988827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28649] ppid=28584 vsize=11045652 memory=4778596 CPUtime=6.79 cores=1,3,5,7
/proc/28587/task/28649/stat : 28649 (java) S 28584 28587 20037 0 -1 1077944384 45742 13296 0 0 663 8 5 3 20 0 17 0 475023608 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140389605370352 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28650] ppid=28584 vsize=11045652 memory=4778596 CPUtime=7.38 cores=1,3,5,7
/proc/28587/task/28650/stat : 28650 (java) S 28584 28587 20037 0 -1 1077944384 54326 13296 0 0 721 9 5 3 20 0 17 0 475023608 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140389604317808 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28651] ppid=28584 vsize=11045652 memory=928 CPUtime=2.66 cores=1,3,5,7
/proc/28587/task/28651/stat : 28651 (java) S 28584 28587 20037 0 -1 1077944384 43422 13296 0 0 252 6 5 3 20 0 17 0 475023608 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140389603265264 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28652] ppid=28584 vsize=11045652 memory=1720 CPUtime=0.08 cores=1,3,5,7
/proc/28587/task/28652/stat : 28652 (java) S 28584 28587 20037 0 -1 1077944384 3 13296 0 0 0 0 5 3 20 0 17 0 475023609 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140388455148640 140390180980437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
[pid=28587/tid=28653] ppid=28584 vsize=11045652 memory=1976 CPUtime=1.37 cores=1,3,5,7
/proc/28587/task/28653/stat : 28653 (java) S 28584 28587 20037 0 -1 1077944384 2320 13296 0 0 56 73 5 3 20 0 17 0 475023609 11310747648 1195678 33554432000 4194304 4196468 140721792205824 140389602212144 140390180981378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31588352 140721792211556 140721792214197 140721792214197 140721792217039 0
Current children cumulated CPU time: 2520.18 s
Current children cumulated vsize: 11045652 KiB
Current children cumulated memory: 4782712 KiB

[startup+2069.01 s]*
/proc/loadavg: 0.78 1.05 1.37 3/194 28922
/proc/meminfo: memFree=11280072/32770624 swapFree=66956676/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): 2069.02
CPU time (s): 2520.41
CPU user time (s): 2485.42
CPU system time (s): 34.9879
CPU usage (%): 121.817
Max. virtual memory (cumulated for all children) (KiB): 11045652
Max. memory (cumulated for all children) (KiB): 8338092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2485.42
system time used= 34.9879
maximum resident set size= 8338100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26974198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 60592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 81350
involuntary context switches= 11320


# summary of solver processes directly reported to runsolver:
#   pid: 28587
#   total CPU time (s): 2520.41
#   total CPU user time (s): 2485.42
#   total CPU system time (s): 34.9879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1583 second user time and 20.3514 second system time

The end

Launcher Data

Begin job on node149 at 2019-09-20 15:56:51
IDJOB=4402947
IDBENCH=141284
IDSOLVER=2861
FILE ID=node149/4402947-1568987847
RUNJOBID= node149-1568967598-20069
PBS_JOBID= 21704611
Free space on /var/tmp= 12876 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 /var/tmp/evaluation-result-4402947-1568987847/watcher-4402947-1568987847 -o /var/tmp/evaluation-result-4402947-1568987847/solver-4402947-1568987847 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1568967598-20069 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=270642407 HOME/instance-4402947-1568987847.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=270642407

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         1506772 kB
MemAvailable:   29297100 kB
Buffers:          153016 kB
Cached:         27557100 kB
SwapCached:        41600 kB
Active:         16643948 kB
Inactive:       13629036 kB
Active(anon):    2521320 kB
Inactive(anon):    86144 kB
Active(file):   14122628 kB
Inactive(file): 13542892 kB
Unevictable:      109700 kB
Mlocked:          109700 kB
SwapTotal:      67108860 kB
SwapFree:       66956624 kB
Dirty:            619360 kB
Writeback:             0 kB
AnonPages:       2632868 kB
Mapped:            65396 kB
Shmem:             35640 kB
Slab:             582300 kB
SReclaimable:     553268 kB
SUnreclaim:        29032 kB
KernelStack:        3696 kB
PageTables:        10764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3750388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2437120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /var/tmp at the end= 12876 MiB
End job on node149 at 2019-09-20 16:31:20